Abstract:A widely used method for solving SOS (Sum Of Squares) decomposition problem is to reduce it to the problem of semi-definite programs (SDPs) which can be efficiently solved in theory. In practice, although many SDP solvers can work out some problems of big scale, the efficiency and reliability of such method decrease greatly while the input size increases. Recently, by exploiting the sparsity of the input SOS decomposition problem, some preprocessing algorithms were proposed [5,17], which first divide the input problem satisfying special definitions or properties into smaller SDP problems and then pass the smaller ones to SDP solvers to obtain reliable results efficiently. A natural question is that to what extent the above mentioned preprocessing algorithms work. That is, how many polynomials satisfying those definitions or properties are there in the SOS polynomials? In this paper, we define a concept of block SOS decomposable polynomials which is a generalization of those special classes in [5] and [17]. Roughly speaking, it is a class of polynomials whose SOS decomposition problem can be transformed into smaller ones (in other words, the corresponding SDP matrices can be block-diagnolized) by considering their supports only (coefficients are not considered). Then we prove that the set of block SOS decomposable polynomials has measure zero in the set of SOS polynomials. That means if we only consider supports (not with coefficients) of polynomials, such algorithms decreasing the size of SDPs for those SDP-based SOS solvers can only work on very few polynomials. As a result, this shows that the SOS decomposition problems that can be optimized by the above mentioned preprocessing algorithms are very few.

High-order sum-of-squares structured tensors: theory and applications

Sum-of-squares Chordal Decomposition of Polynomial Matrix Inequalities

Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials

Improving Efficiency and Scalability of Sum of Squares Optimization: Recent Advances and Limitations

Decomposition and Completion of Sum-of-Squares Matrices

On Difference-of-SOS and Difference-of-Convex-SOS Decompositions for Polynomials

A New Sparse SOS Decomposition Algorithm Based on Term Sparsity

Multiscale Analysis for Higher-order Tensors

Theory and applications of the Sum-Of-Squares technique

Exploiting Sparsity in SOS Programming and Sparse Polynomial Optimization

Sum-of-Squares Decomposition and Augmented Vandermonde Decomposition of Strong Hankel Tensors: Theory and Algorithms

Block SOS Decomposition

On the degree of varieties of sum of squares

Refined TSSOS

Symmetry & Critical Points for Symmetric Tensor Decomposition Problems

Tensor Decomposition for Signal Processing and Machine Learning

Inheritance properties and sum-of-squares decomposition of Hankel tensors: theory and algorithms

Empirical Evaluation of Four Tensor Decomposition Algorithms

On The Tensor Svd And The Optimal Low Rank Orthogonal Approximation Of Tensors

Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems