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.

Optimization and Positivity Certificates of Rational Functions using Bernstein Form

Bernstein Type Theorems for Minimal Surfaces in $(\Alpha,\beta)$-Space

Rational certificates of non-negativity on semialgebraic subsets of cylinders

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets

Nonnegativity certificates on real algebraic surfaces

Experiments with a Positivity Preserving Operator

Computing Optimality Certificates for Convex Mixed-Integer Nonlinear Problems

Rational numbers with small denominators in short intervals

Quantitatively hyper-positive real rational functions II

Positivity Certificates in Optimal Control

On the Rational Degree of Boolean Functions and Applications

Computation of Zolotarev rational functions

On the zeros of certain composite polynomials and an operator preserving inequalities

On a Class of Permutation Rational Functions Involving Trace Maps

Algebraic perspectives on signomial optimization

Primitive normal Values of rational functions with one prescribed norm and trace over finite fields

The Geometry of Locally Bounded Rational Functions

Extremal Problems of Bernstein-Type and an Operator Preserving Inequalities between Polynomials

Certification of Real Inequalities -- Templates and Sums of Squares

Bounds for Rational Points on Algebraic Curves, Optimal in the Degree, and Dimension Growth