On an Extension of Condition Number Theory to Non-Conic Convex Optimization

The purpose of this paper is to extend, as much as possible, the modern theory of condition numbers for conic convex optimization: z_* = min cx subject to Ax-b \in C_Y , x \in C_X, to the more general non-conic format: (GP_d) z_* = min cx subject to Ax-b \in C_Y , x \in P, where P is any closed convex set, not necessarily a cone, which we call the ground-set. While the conic format has been essential to recent theoretical developments in convex optimization theory (particularly interior-point methods) and any convex problem can be transformed to conic form, such transformations are neither unique nor natural given the natural description and data for many problems, thereby diminishing the relevance of data-based condition number theory. Herein we extend the modern theory of condition numbers to the problem format (GP_d). As a byproduct, we are able state and prove natural extensions of many theorems from the conic-based theory of condition numbers to this broader problem format.

[1]  Jorge R. Vera,et al.  On the complexity of linear programming under finite precision arithmetic , 1998, Math. Program..

[2]  J. Pe Computing the Distance to Infeasibility: Theoretical and Practical Issues , 1998 .

[3]  Robert M. Freund,et al.  Condition-Based Complexity of Convex Optimization in Conic Linear Form via the Ellipsoid Algorithm , 1999, SIAM J. Optim..

[4]  James Renegar,et al.  Computing approximate solutions for convex conic systems of constraints , 2000, Math. Program..

[5]  Sharon Filipowski On the Complexity of Solving Sparse Symmetric Linear Programs Specified with Approximate Data , 1997, Math. Oper. Res..

[6]  Jean-Louis Goffin,et al.  The Relaxation Method for Solving Systems of Linear Inequalities , 1980, Math. Oper. Res..

[7]  Robert M. Freund,et al.  On the Complexity of Computing Estimates of Condition Measures of a Conic Linear System , 2003, Math. Oper. Res..

[8]  Sharon Filipowski,et al.  On the Complexity of Solving Feasible Linear Programs Specified with Approximate Data , 1999, SIAM J. Optim..

[9]  Fernando Ordóñez,et al.  Computational Experience and the Explanatory Value of Condition Measures for Linear Optimization , 2003, SIAM J. Optim..

[10]  Robert M. Freund,et al.  Some characterizations and properties of the “distance to ill-posedness” and the condition measure of a conic linear system , 1999, Math. Program..

[11]  J. Renegar Some perturbation theory for linear programming , 1994, Math. Program..

[12]  Robert M. Freund,et al.  Opera Tions Research Center Working Paper Condition-measure Bounds on the Behavior of the Central Trajectory of a Semi-definite Program , 2022 .

[13]  James Renegar,et al.  Linear programming, complexity theory and elementary functional analysis , 1995, Math. Program..

[14]  Jorge Rafael,et al.  Ill-posedness in mathematical programming and problem-solving with approximate data , 1992 .

[15]  Jorge R. Vera Ill-Posedness and the Complexity of Deciding Existence of Solutions to Linear Programs , 1996, SIAM J. Optim..

[16]  Robert M. Freund,et al.  Condition measures and properties of the central trajectory of a linear program , 1998, Math. Program..

[17]  丸山 徹 Convex Analysisの二,三の進展について , 1977 .

[18]  Fernando Ordóñez,et al.  On the explanatory value of condition numbers for convex optimization : theoretical issues and computational experience , 2002 .

[19]  Robert M. Freund,et al.  A New Condition Measure, Preconditioners, and Relations Between Different Measures of Conditioning for Conic Linear Systems , 2002, SIAM J. Optim..

[20]  Felipe Cucker,et al.  A Primal-Dual Algorithm for Solving Polyhedral Conic Systems with a Finite-Precision Machine , 2002, SIAM J. Optim..