Abstract:We prove decomposition theorems for sparse positive (semi)definite polynomial matrices that can be viewed as sparsity-exploiting versions of the Hilbert–Artin, Reznick, Putinar, and Putinar–Vasilescu Positivstellensätze. First, we establish that a polynomial matrix P(x) with chordal sparsity is positive semidefinite for all x∈ℝ^n if and only if there exists a sum-of-squares (SOS) polynomial σ (x) such that σ P is a sum of sparse SOS matrices. Second, we show that setting σ (x)=(x_1^2 + ⋯ + x_n^2)^ν for some integer ν suffices if P is homogeneous and positive definite globally. Third, we prove that if P is positive definite on a compact semialgebraic set 𝒦={x:g_1(x)≥ 0,… ,g_m(x)≥ 0} satisfying the Archimedean condition, then P(x) = S_0(x) + g_1(x)S_1(x) + ⋯ + g_m(x)S_m(x) for matrices S_i(x) that are sums of sparse SOS matrices. Finally, if 𝒦 is not compact or does not satisfy the Archimedean condition, we obtain a similar decomposition for (x_1^2 + ⋯ + x_n^2)^ν P(x) with some integer ν≥ 0 when P and g_1,… ,g_m are homogeneous of even degree. Using these results, we find sparse SOS representation theorems for polynomials that are quadratic and correlatively sparse in a subset of variables, and we construct new convergent hierarchies of sparsity-exploiting SOS reformulations for convex optimization problems with large and sparse polynomial matrix inequalities. Numerical examples demonstrate that these hierarchies can have a significantly lower computational complexity than traditional ones.

Sylvester's Minorant Criterion, Lagrange-Beltrami Identity, and Nonnegative Definiteness

Classically Integral Quadratic Forms Excepting at Most Two Values

A Pólya criterion for (strict) positive definiteness on the sphere

Positive values of non-homogeneous quadratic forms of type (1,4): A conjecture of Bambah, Dumir and Hans-Gill

Positive definiteness of fourth order three dimensional symmetric tensors

On Three-Term Linear Relations for Theta Series of Positive-Definite Binary Quadratic Forms

Sylvester–Kac matrices with quadratic spectra: A comprehensive note

Positive definiteness of a class of cyclic symmetric tensors

Determinantal Representations and the Image of the Principal Minor Map

Simultaneous symplectic reduction of quadratic forms into normal forms

Two nondeterministic positive definiteness tests for unidiagonal integral matrices

Positivity preservers forbidden to operate on diagonal blocks

(Positive) Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial

Positive Definiteness of a Class of Analytic Functions

Sum-of-squares Chordal Decomposition of Polynomial Matrix Inequalities

Partial Proof of a Conjecture with Implications for Spectral Majorization

On the set of values of a positive ternary quadratic form

Characterizing and Testing Principal Minor Equivalence of Matrices

Characterization of symmetric polyconvexity in higher dimensions

Geometry of the Discriminant Surface for Quadratic Forms

Polyak's convexity theorem, Yuan's lemma and S-lemma: extensions and applications