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.

On a Characterization of the Logarithmic Mean

The Logarithmic Minkowski Problem For Non-Symmetric Measures

On bounds of logarithmic mean and mean inequality chain

Wigner--Yanase--Dyson function and logarithmic mean

On certain new means generated by generalized trigonometric functions

A characterization of the Logarithmic Least Squares Method

Logarithmic-Sobolev inequalities on non-compact Euclidean submanifolds: sharpness and rigidity

On the Absolute Monotonicity of the Logarithmic of Gaussian Hypergeometric Function

The Logarithmic Sobolev Inequality for a Submanifold in Manifolds with Nonnegative Sectional Curvature

Hadamard's inequality in the mean

The Moments of the Maximum of Normalized Partial Sums Related to Laws of the Iterated Logarithm under the Sub-Linear Expectation

On the Rates of the Chung-Type Law of Logarithm

A Gaussian Convexity for Logarithmic Moment Generating Functions with Applications in Spin Glasses

Hankel and Toeplitz determinants of logarithmic coefficients of Inverse functions for certain classes of univalent functions

Double logarithmic inequality with a sharp constant in four space dimensions

Sum of squared logarithms - an inequality relating positive definite matrices and their matrix logarithm

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

Sharp weighted log-Sobolev inequalities: characterization of equality cases and applications

A Nonclassical Law of the Iterated Logarithm for Functions of Negatively Associated Random Variables

Generalized logarithmic Hardy-Littlewood-Sobolev inequality

Mean field approximations via log-concavity