A version of Putinar's Positivstellensatz for cylinders

DOI10.1016/J.JPAA.2020.106448MaRDI QIDQ2220198zbMATH OpenOpenAlexFDO

Authors Paula Escorcielo, Daniel Perrucci

Publication date 22 January 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1811.03586

zbMATH Keywords

degree boundssums of squaresquadratic modulePutinar's Positivstellensatz

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Real algebra (13J30)

Abstract: We prove that, under some additional assumption, Putinar's Positivstellensatz holds on cylinders of type $SimesmathbbR$ with $S=xin{mathbbR}^n|g_1(x)ge0,\mathrm{...},g_s(x)ge0$ such that the quadratic module generated by $g_1,\mathrm{...},g_s$ in $mathbbR[X_1,\mathrm{...},X_n]$ is archimedean, and we provide a degree bound for the representation of a polynomial $finmathbbR[X_1,\mathrm{...},X_n,Y]$ which is positive on $SimesmathbbR$ as an explicit element of the quadratic module generated by $g_1,\mathrm{...},g_s$ in $mathbbR[X_1,\mathrm{...},X_n,Y]$. We also include an example to show that an additional assumption is necessary for Putinar's Positivstellensatz to hold on cylinders of this type.

Recommendations

• Positivstellensatz for homogeneous semialgebraic sets
• A new proof for the existence of degree bounds for Putinar's positivstellensatz
• Positive polynomials and sums of squares
• An algorithmic approach to Schmüdgen's Positivstellensatz
• scientific article; zbMATH DE number 1824112
• Distinguished representations of non-negative polynomials
• Representations of Non-Negative Polynomials, Degree Bounds and Applications to Optimization
• Pure states, nonnegative polynomials and sums of squares
• Positive polynomials and polynomial inequalities

Cites work

• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 527343 (Why is no real title available?)
• A new bound for Pólya's theorem with applications to polynomials positive on polyhedra.
• Complexity estimates for the Schmüdgen Positivstellensatz
• Distinguished representations of strictly positive polynomials
• Error bounds for polynomial optimization over the hypercube using Putinar type representations
• Error bounds for some semidefinite programming approaches to polynomial minimization on the hypercube
• On the complexity of Putinar's Positivstellensatz
• On the complexity of Schmüdgen's Positivstellensatz
• Positive polynomials and sums of squares
• Positive polynomials and the moment problem for cylinders with compact cross-section.
• Positivity, sums of squares and the multi-dimensional moment problem
• Positivity, sums of squares and the multi-dimensional moment problem II
• The K-moment problem for compact semi-algebraic sets

Cited in

(5)

• On sum of squares certificates of non-negativity on a strip
• Concerning some cylindric algebra versions of the downward Löwenheim- Skolem theorem
• Representations of non-negative polynomials having finitely many zeros
• A few more extensions of Putinar's Positivstellensatz to non-compact sets
• Rational certificates of non-negativity on semialgebraic subsets of cylinders

This page was built for publication: A version of Putinar's Positivstellensatz for cylinders

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