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.

On Semi-Definiteness and Minimal H-eigenvalue of a Symmetric Space Tensor Using Nonnegative Polynomial Optimization Techniques.

Prescribing the symmetric function of the eigenvalues of the Schouten tensor

Eigenvalue analysis of constrained minimization problem for homogeneous polynomial

A Hierarchy of Semidefinite Relaxations for Completely Positive Tensor Optimization Problems.

Sharp Z-Eigenvalue Inclusion Set-Based Method for Testing the Positive Definiteness of Multivariate Homogeneous Forms

Some Advances in Tensor Analysis and Polynomial Optimization

Identifying the Positive Definiteness of Even-Order Weakly Symmetric Tensors Via Z-Eigenvalue Inclusion Sets

A hierarchy of eigencomputations for polynomial optimization on the sphere

Tensor Eigenvalue Complementarity Problems

Sparse Polynomial Matrix Optimization

Sum-of-squares Chordal Decomposition of Polynomial Matrix Inequalities

The Space Decomposition Theory for a Class of Eigenvalue Optimizations.

On Eigenvalue Problems of Real Symmetric Tensors

Differential Geometry with Extreme Eigenvalues in the Positive Semidefinite Cone

Symmetry & Critical Points for Symmetric Tensor Decomposition Problems

On semidefinite programming relaxations for a class of robust SOS-convex polynomial optimization problems

A power-like method for finding the spectral radius of a weakly irreducible nonnegative symmetric tensor

A Semidefinite Algorithm for Completely Positive Tensor Decomposition.

Subspace Methods with Local Refinements for Eigenvalue Computation Using Low-Rank Tensor-Train Format.

Elementary polytopes with high lift-and-project ranks for strong positive semidefinite operators