Abstract:We study the problem of representing multivariate polynomials with rational coefficients, which are nonnegative and strictly positive on finite semialgebraic sets, using rational sums of squares. We focus on the case of finite semialgebraic sets S defined by equality constraints, generating a zero-dimensional ideal I, and by nonnegative sign constraints. First, we obtain existential results. We prove that a strictly positive polynomial f with coefficients in a subfield K of R has a representation in terms of weighted Sums-of-Squares with coefficients in this field, even if the ideal I is not radical. We generalize this result to the case where f is nonnegative on S and (f ) + (I : f ) = 1. We deduce that nonnegative polynomials with coefficients in K can be represented in terms of Sum-of-Squares of polynomials with coefficients in K, when the ideal is radical. Second, we obtain degree bounds for such Sums-of-Squares representations, which depend linearly on the regularity of the ideal and the degree of the defining equations, when they form a graded basis. Finally, we analyze the bit complexity of the Sums-of-Squares representations for polynomials with coefficients in Q, in the case the ideal is radical. The bitsize bounds are quadratic or cubic in the Bezout bound, and linear in the regularity, generalizing and improving previous results obtained for special zero dimensional ideals. As an application in the context of polynomial optimization, we retrieve and improve results on the finite convergence and exactness of the moment/Sums-of-Squares hierarchy.

A Positivstellensatz on the Matrix Algebra of Finitely Generated Free Group

Positivity of Matrix Coefficients of Representations with Real Infinitesimal Characters

On the Archimedean Positivstellensatz in Real Algebraic Geometry

On the complexity of matrix Putinar's Positivstellensatz

Positivity is undecidable in tensor products of free algebras

Algebraically Positive Matrices

Positivity preservers over finite fields

Two Matrix Theorems Arising from Nilpotent Groups

Immanant Positivity for Catalan-Stieltjes Matrices

Positive positive-definite functions and measures on locally compact abelian groups

Dimension-free matricial Nullstellensätze for noncommutative polynomials

Positivity of denominator vectors of cluster algebras

A Conjecture on C-matrices of Cluster Algebras

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets

Positive Maps and Separable Matrices.

On Łojasiewicz Inequalities and the Effective Putinar's Positivstellensatz

Positivstellensätze for semi-algebraic sets in real closed valued fields

Notes on Completely Positive Matrices

On sufficient conditions for the total positivity and for the multiple positivity of matrices

Remarks on positive definite functions on a group

Positivity Proofs for Linear Recurrences through Contracted Cones