Abstract:A polynomial matrix inequality is a statement that a symmetric polynomial matrix is positive semidefinite over a given constraint set. Polynomial matrix optimization concerns minimizing the smallest eigenvalue of a symmetric polynomial matrix subject to a tuple of polynomial matrix inequalities. This work explores the use of sparsity methods in reducing the complexity of sum-of-squares based methods in verifying polynomial matrix inequalities or solving polynomial matrix optimization. In the unconstrained setting, Newton polytopes can be employed to sparsify the monomial basis, resulting in smaller semidefinite programs. In the general setting, we show how to exploit different types of sparsity (term sparsity, correlative sparsity, matrix sparsity) encoded in polynomial matrices to derive sparse semidefinite programming relaxations for polynomial matrix optimization. For term sparsity, one intriguing phenomenon is that the related block structures do not necessarily converge to the one determined by sign symmetries, which is significantly distinguished from the scalar case. For correlative sparsity, unlike the scalar case, we provide a counterexample showing that asymptotic convergence does not hold under the Archimedean condition and the running intersection property. By employing the theory of matrix-valued measures, we establish several results on detecting global optimality and retrieving optimal solutions under correlative sparsity. The effectiveness of sparsity methods on reducing computational complexity is demonstrated on various examples of polynomial matrix optimization.

Eigenvalue analysis of constrained minimization problem for homogeneous polynomial

Prescribing the symmetric function of the eigenvalues of the Schouten tensor

Analysis Of Max-Min Eigenvalue Of Constrained Linear Combinations Of Symmetric Matrices

Tensor Eigenvalue Complementarity Problems

Some variational principles for Z-eigenvalues of nonnegative tensors

The Multivariate Eigenvalues of Symmetric Tensors

Conditions for eigenvalue configurations of two real symmetric matrices: a symmetric function approach

Copositivity criteria of a class of fourth order 3-dimensional symmetric tensors

Strict Copositivity for a Class of 3rd Order Symmetric Tensors

A Newton-type Algorithm for the Tensor Eigenvalue Complementarity Problem and Some Applications

Modified Z-eigenvalue inclusion intervals for tensors with applications

On Eigenvalue Problems of Real Symmetric Tensors

An Inequality for the Perron Pair of an Irreducible and Symmetric Nonnegative Tensor with Application

Sparse Polynomial Matrix Optimization

A hierarchy of eigencomputations for polynomial optimization on the sphere

Notes on the Optimization Problems Corresponding to Polynomial Complementarity Problems

Spectrally Constrained Optimization

Z-eigenvalues Based Structured Tensors: $$\mathcal {M}_z$$-Tensors and Strong $$\mathcal {M}_z$$-Tensors.

M-Tensors and Some Applications.

Co-positivity of tensors and bounded from below conditions of CP conserving two-Higgs-doublet potential

M-tensors and the Positive Definiteness of a Multivariate Form