Distinguished representations of non-negative polynomials
This paper is devoted to the study of the representations in the quadratic module generated by \(g_1,\ldots,g_r\in {\mathbb R}[x]={\mathbb R}[x_1,\ldots,x_n]\) of a polynomial \(f\in {\mathbb R}[x]\) which is positive semidefinite on the basic compact set \(K=\{g_1\geq 0,\ldots,g_r\geq 0\}\). More precisely, the author looks for representations of \(f\) of the type \(f=s_0+s_1g_1+\cdots+s_rg_r\) with each \(s_i\) a sum of squares in \({\mathbb R}[x]\); and he is specially interested in the representation of those polynomials which have zeros at \(K\). The case when \(f\) is strictly positive in \(K\) was already solved by \textit{K. Schmüdgen} [Math. Ann. 289, 203--206 (1991; Zbl 0744.44008)]. In the case when the quadratic module generated by \(g_1,\ldots,g_r\) is archimedean, the author establishes a local-global condition for a polynomial having such a representation, which refers to the zero set of \(f\) in \(K\) and which is most useful when this zero set is discrete, hence finite. In this case, the existence of an identity of the type \(f=s_0+s_1g_1+\cdots+s_rg_r\) follows from the existence of such identities in the completed local rings of the zeros of \(f\) in \(K\). The author also presents a number of concrete situations where this local-global condition can be applied. As another application he solves an open problem from [\textit{S. Kuhlmann, M. Marshall} and \textit{N. Schwartz} [Adv. Geom. 5, No.4, 583--606 (2005; Zbl 1095.14055)] on one-dimensional quadratic modules. More precisely, he answers the question: Does there exist a quadratic module \(M\) in \({\mathbb R}[x] = {\mathbb R}[x_1]\) which is not a preordering, but whose associated set \(K\) is compact? (When \(K\) is allowed to be non-compact, or when \(n\geq 2\), the answer was well known to be yes.) In fact, in this article the author discusses this question more generally on algebraic curves, and uses his main result to show that the answer is NO if the curve has no real singular points and that the answer is YES if the curve has a non-isolated real singular point.
- Representations of non-negative polynomials having finitely many zeros
- Representation of nonnegative convex polynomials
- scientific article; zbMATH DE number 1944285
- Representations of Non-Negative Polynomials, Degree Bounds and Applications to Optimization
- Positive polynomials and sequential closures of quadratic modules
- A representation theorem for certain partially ordered commutative rings
- Distinguished representations of strictly positive polynomials
- scientific article; zbMATH DE number 1601019 (Why is no real title available?)
- scientific article; zbMATH DE number 4029737 (Why is no real title available?)
- scientific article; zbMATH DE number 527343 (Why is no real title available?)
- scientific article; zbMATH DE number 195158 (Why is no real title available?)
- Le théorème des zéros pour les variétés analytiques réelles de dimension 2
- On sums of squares in local rings
- Positive polynomials on compact sets
- Positivity and sums of squares: a guide to recent results
- Positivity, sums of squares and the multi-dimensional moment problem
- Positivity, sums of squares and the multi-dimensional moment problem II
- Sums of squares of regular functions on real algebraic varieties
- Sums of squares on real algebraic curves
- The K-moment problem for compact semi-algebraic sets
- When does a submodule of \((\mathbb{R}[x_1,\dots,x_k])^n\) contain a positive element?
- Convergence of the Lasserre hierarchy of SDP relaxations for convex polynomial programs without compactness
- Convergent conic linear programming relaxations for cone convex polynomial programs
- Convergent hierarchy of SDP relaxations for a class of semi-infinite convex polynomial programs and applications
- The membership problem for finitely generated quadratic modules in the univariate case
- Polynomials of almost normal arguments in \(C^*\)-algebras
- On the exactness of Lasserre relaxations and pure states over real closed fields
- Multi-objective convex polynomial optimization and semidefinite programming relaxations
- Positivstellensätze for polynomial matrices
- A version of Putinar's Positivstellensatz for cylinders
- Representations of non-negative polynomials having finitely many zeros
- Semidefinite relaxations for semi-infinite polynomial programming
- Global minimization of rational functions and the nearest GCDs
- Non-existence of degree bounds for weighted sums of squares representations
- Convergence of an SDP hierarchy and optimality of robust convex polynomial optimization problems
- Nonnegative Morse polynomial functions and polynomial optimization
- Representations of non-negative polynomials via KKT ideals
- Quadratic modules of polynomials in two variables
- Positive polynomials and sequential closures of quadratic modules
- Optimality conditions and finite convergence of Lasserre's hierarchy
- Some positivstellensätze for polynomial matrices
- scientific article; zbMATH DE number 7258448 (Why is no real title available?)
- Finite convergence of sum-of-squares hierarchies for the stability number of a graph
- Well-posedness in unconstrained polynomial optimization problems
- Matrix Fejér-Riesz theorem with gaps
- Degree Bounds for Putinar’s Positivstellensatz on the Hypercube
- On the hardness of deciding the finite convergence of Lasserre hierarchies
- Finite convergence of the moment-SOS hierarchy for polynomial matrix optimization
- On the complexity of matrix Putinar's Positivstellensätz
- Exact moment representation in polynomial optimization
- Semidefinite representation of convex sets
- On the complexity of Putinar's Positivstellensatz
- Representation of nonnegative convex polynomials
- Weighted sums of squares in local rings and their completions. I
This page was built for publication: Distinguished representations of non-negative polynomials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2386076)
