The central curve in linear programming
Abstract
The central curve of a linear program is an algebraic curve specified by linear and quadratic constraints arising from complementary slackness. It is the union of the various central paths for minimizing or maximizing the cost function over any region in the associated hyperplane arrangement. We determine the degree, arithmetic genus and defining prime ideal of the central curve, thereby answering a question of Bayer and Lagarias. These invariants, along with the degree of the Gauss image of the curve, are expressed in terms of the matroid of the input matrix. Extending work of Dedieu, Malajovich and Shub, this yields an instance-specific bound on the total curvature of the central path, a quantity relevant for interior point methods. The global geometry of central curves is studied in detail.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2010
- DOI:
- 10.48550/arXiv.1012.3978
- arXiv:
- arXiv:1012.3978
- Bibcode:
- 2010arXiv1012.3978D
- Keywords:
-
- Mathematics - Optimization and Control;
- Mathematics - Algebraic Geometry;
- Mathematics - Combinatorics;
- 90C05 (Primary) 05B35;
- 13P25;
- 14H45;
- 52C35 (Secondary)
- E-Print:
- 26 pages, 5 figures, added section on average total curvature, minor revisions