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.

Novel Theory for Polynomial and Rational Matrices at Infinity. Part1. Polynomial Matrices

Novel Theory for Polynomial and Rational Matrices at Infinity. Part 2. Rational Matrices

The Use of the Homogeneous Form in the Study of Singular Systems

Positivity of Matrix Coefficients of Representations with Real Infinitesimal Characters

Convex-Cyclic Matrices, Convex-Polynomial Interpolation & Invariant Convex Sets

A multivariate version of Polya-Carlson theorem

Intersection theoretic inequalities via Lorentzian polynomials

On Prime Factors of Nonsingular Rational Matrices

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets

Applications of infinite lower triangular matrices and their group structure in combinatorics and the theory of orthogonal polynomials

Two Matrix Model, the Riemann Hypothesis and Master Matrix Obstruction

Block Full Rank Linearizations of Rational Matrices

On minimal bases and indices of rational matrices and their linearizations

Bounds on the moduli of eigenvalues of rational matrices

Atypical values at infinity of real polynomial maps with $2$-dimensional fibers

Invariant rational functions under rational transformations

Rigidity for Real Polynomials

A new proof of the Perron-Frobeniuos theorem, a variational approach

Veronese sections and interlacing matrices of polynomials and formal power series

On the convergence of polynomial approximation of rational functions