Abstract:Linear matrix inequalities (LMIs) are ubiquitous in modern control theory, as well as in a variety of other fields in science and engineering. Their analytic centers, i.e. the maximum determinant elements of the feasible set spanned by these LMIs, are the solution of many well-known problems in statistics, communications, geometry, and control and can be approximated to arbitrary precision by semidefinite programs (SDPs). The quality of these approximations is measured with respect to the difference in log-determinant of both the exact and the approximate solution to these SDPs, a quantity that follows directly from the duality theory of semidefinite programming. However, in many applications the relevant parameters are functions of the entries of the LMI argument $X$. In these cases it is of interest to develop metrics that quantify the quality of approximate solutions based on the error on these parameters, something that the log-determinant error fails to capture due to the non-linear interaction of all the matrix entries. In this work we develop upper bounds on the Frobenius norm error between suboptimal solutions $X_f$ and the exact optimizer $X_*$ of maximum determinant problems, a metric that provides a direct translation to the entry-wise error of $X$ and thus to the relevant parameters of the application. We show that these bounds can be expressed through the use of the Lambert function $W(x)$, i.e. the solution of the equation $W(x) e^{W(x)}= x$, and derive novel bounds for one of its branches to generate efficient closed-form bounds on the Euclidean distance to the LMI analytic center. Finally, we test the quality of these bounds numerically in the context of interior point methods termination criteria.

Tight error bounds for log-determinant cones without constraint qualifications

Optimal Error Bounds in the Absence of Constraint Qualifications with Applications to p-Cones and Beyond

Generalized Power Cones: Optimal Error Bounds and Automorphisms

New Bounds for Restricted Isometry Constants with Coherent Tight Frames

Tight Error Bounds for the Sign-Constrained Stiefel Manifold

Error Bounds for Some Convex Functions and Distance Composite Functions

Error Bounds for Abstract Linear Inequality Systems

A Restriction Estimate with a Log-Concavity Assumption

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

Constraint Qualifications for Convex Inequality Systems with Applications in Constrained Optimization

Quantitative Analysis for Perturbed Abstract Inequality Systems in Banach Spaces

New error bounds for Legendre approximations of differentiable functions

Error Bounds For Convex Polynomials

Sharp Bounds on Toeplitz Determinants for Starlike and Convex Functions Associated with Bilinear Transformations

Generalized van Trees inequality: Local minimax bounds for non-smooth functionals and irregular statistical models

Computing sparse cones with bounded distortion for conformal parameterizations

Euclidean Distance Bounds for LMI Analytic Centers using a Novel Bound on the Lambert Function

Local Error Bounds for Affine Variational Inequalities on Hilbert Spaces

On Error Bounds of Inequalities in Asplund Spaces

Perturbation Analysis of Error Bounds for Convex Functions on Banach Spaces

Nonlocal error bounds for piecewise affine functions