Rational certificates of positivity on compact semialgebraic sets

DOI10.2140/PJM.2011.251.385MaRDI QIDQ635677zbMATH OpenOpenAlexFDO

Authors Victoria Powers

Publication date 22 August 2011

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0911.1331, http://msp.berkeley.edu/pjm/2011/251-2/p08.xhtml

zbMATH Keywords

certificates of positivityPutinar's theoremrational sums of squaresSchmüdgen's theorem

Mathematics Subject Classification ID

Sums of squares and representations by other particular quadratic forms (11E25) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Real algebra (13J30) Semialgebraic sets and related spaces (14P10)

Abstract: Schm"udgen's Theorem says that if a basic closed semialgebraic set K = {g_1 geq 0, ..., g_s geq 0} in R^n is compact, then any polynomial f which is strictly positive on K is in the preordering generated by the g_i's. Putinar's Theorem says that under a condition stronger than compactness, any f which is strictly positive on K is in the quadratic module generated by the g_i's. In this note we show that if the g_i's and the f have rational coefficients, then there is a representation of f in the preordering with sums of squares of polynomials over Q. We show that the same is true for Putinar's Theorem as long as we include among the generators a polynomial N - sum X_i^2, N a natural number.

Recommendations

• scientific article; zbMATH DE number 1944285
• An algorithmic approach to Schmüdgen's Positivstellensatz
• Positive polynomials on compact sets
• scientific article; zbMATH DE number 1824112
• scientific article; zbMATH DE number 527343

Cited in

(10)

• Certificates for nonnegativity of polynomials with zeros on compact semialgebraic sets
• An effective version of Schmüdgen's Positivstellensatz for the hypercube
• Constructive proofs of some positivstellensätze for compact semialgebraic subsets of \(\mathbb R^{d }\)
• Algebraic Certificates of (Semi)Definiteness for Polynomials Over Fields Containing the Rationals
• Dual certificates and efficient rational sum-of-squares decompositions for polynomial optimization over compact sets
• scientific article; zbMATH DE number 7300556 (Why is no real title available?)
• Positive polynomials on compact sets
• An algorithmic approach to Schmüdgen's Positivstellensatz
• Rational dual certificates for weighted sums-of-squares polynomials with boundable bit size
• Rational certificates of non-negativity on semialgebraic subsets of cylinders

This page was built for publication: Rational certificates of positivity on compact semialgebraic sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q635677)