A version of Putinar's Positivstellensatz for cylinders

DOI10.1016/J.JPAA.2020.106448zbMATH Open1465.12003arXiv1811.03586OpenAlexW3024015782MaRDI QIDQ2220198FDOQ2220198

Authors: Paula Escorcielo, Daniel Perrucci 

Publication date: 22 January 2021

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

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.

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

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

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)

Cites Work

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

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)