Abstract:SIAM Journal on Optimization, Volume 34, Issue 2, Page 1970-2006, June 2024. A nonnegativity certificate (NNC) is a way to write a polynomial so that its nonnegativity on a semialgebraic set becomes evident. Positivstellensätze (Psätze) guarantee the existence of NNCs. Both NNCs and Psätze underlie powerful algorithmic techniques for optimization. This paper proposes a universal approach to derive new Psätze for general semialgebraic sets from ones developed for simpler sets, such as a box, a simplex, or the nonnegative orthant. We provide several results illustrating the approach. First, by considering Handelman's Positivstellensatz (Psatz) over a box, we construct non-SOS Schmüdgen-type Psätze over any compact semialgebraic set, that is, a family of Psätze that follow the structure of the fundamental Schmüdgen's Psatz but where instead of SOS polynomials, any class of polynomials containing the nonnegative constants can be used, such as SONC, DSOS/SDSOS, hyperbolic, or sums of AM/GM polynomials. Second, by considering the simplex as the simple set, we derive a sparse Psatz over general compact sets which does not rely on any structural assumptions of the set. Finally, by considering Pólya's Psatz over the nonnegative orthant, we derive a new non-SOS Psatz over unbounded sets which satisfy some generic conditions. All these results contribute to the literature regarding the use of non-SOS polynomials and sparse NNCs to derive Psätze over compact and unbounded sets. Throughout the article, we illustrate our results with relevant examples and numerical experiments.

Nonnegativity certificates on real algebraic surfaces

Positivity and vanishing theorems in complex and algebraic geometry

Rational certificates of non-negativity on semialgebraic subsets of cylinders

Nonnegative Polynomials and Moment Problems on Algebraic Curves

Nonnegativity of signed Euler characteristics of moduli of curves and abelian varieties

On the local negativity of surfaces with numerically trivial canonical class

Positivity and nonstandard graded Betti numbers

Non-linear bi-algebraic curves and surfaces in moduli spaces of Abelian differentials

Fourier sum of squares certificates

Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

On arithmetic inequalities for points of bounded degree

Effective non-vanishing for algebraic surfaces in positive characteristic

A G ] 3 1 O ct 2 00 5 Effective Non-vanishing for Algebraic Surfaces in Positive Characteristic I ∗

Local Euler characteristics of $A_n$-singularities and their application to hyperbolicity

Positive semidefinite analytic functions on real analytic surfaces

Reducing non-negativity over general semialgebraic sets to non-negativity over simple sets

Proving Nonnegativity of Polynomial with Computer

Non-existence of Negative Weight Derivations on Positively Graded Artinian Algebras

Reducing Nonnegativity over General Semialgebraic Sets to Nonnegativity over Simple Sets

Positivity Functions for Curves on Algebraic Varieties