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.

The non-Archimedean Nirgendsnegativsemidefinitheitsstellensatz is not true

The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

A Positivstellensatz on the Matrix Algebra of Finitely Generated Free Group

On the Archimedean Positivstellensatz in Real Algebraic Geometry

The Nonvanishing Hypothesis at Infinity for Rankin-Selberg Convolutions

Reducing Nonnegativity over General Semialgebraic Sets to Nonnegativity over Simple Sets

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

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

NONEXISTENCE OF NEGATIVE WEIGHT DERIVATIONS OF THE LOCAL K-Th HESSIAN ALGEBRAS ASSOCIATED TO ISOLATED SINGULARITIES

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

Hilbert's tenth problem for lacunary entire functions of finite order

Almost all permutations and involutions are Kostant negative

On the Non-Existence of Negative Weight Derivations of the New Moduli Algebras of Singularities

Nonnegativity certificates on real algebraic surfaces

Dimension-free matricial Nullstellensätze for noncommutative polynomials

Non-existence of negative weight derivations of the local 1-st hessian algebras of singularities

A refinement of Reznick's Positivstellensatz with applications to quantum information theory

Proving Nonnegativity of Polynomial with Computer

Negativity of Perelman's Li-Yau-Hamilton type expression

On a conjecture of Khoroshkin and Tolstoy

The existence of solutions to the infinite dimensional algebraic Riccati equations with indefinite coefficients