
The representation of positive polynomials on a semi-algebraic set in terms of sums of squares is a central question in real algebraic geometry, which the Positivstellensatz answers. In this paper, we study the effective Putinar's Positivestellensatz on a compact basic semi-algebraic set $S$ and provide a new proof and new improved bounds on the degree of the representation of positive polynomials. These new bounds involve a parameter $ε$ measuring the non-vanishing of the positive function, the constant $\mathfrak{c}$ and exponent $L$ of a Łojasiewicz inequality for the semi-algebraic distance function associated to the inequalities $\mathbf{g} = (g_1, \dots , g_r)$ defining $S$. They are polynomial in $\mathfrak{c}$ and $ε^{-1}$ with an exponent depending only on $L$. We analyse in details the Łojasiewicz inequality when the defining inequalities $\mathbf g$ satisfy the Constraint Qualification Condition. We show that, in this case, the Łojasiewicz exponent $L$ is $1$ and we relate the Łojasiewicz constant $\mathfrak{c}$ with the distance of $\mathbf g$ to the set of singular systems.
Final version, accepted in Journal of Algebra (2024)
Positive Polynomials, Łojasiewicz Inequalities, Approximation Theory, [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], Mathematics - Commutative Algebra, Commutative Algebra (math.AC), [MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC], Mathematics - Algebraic Geometry, Complexity Estimates, Optimization and Control (math.OC), FOS: Mathematics, Mathematics - Optimization and Control, Algebraic Geometry (math.AG)
Positive Polynomials, Łojasiewicz Inequalities, Approximation Theory, [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], Mathematics - Commutative Algebra, Commutative Algebra (math.AC), [MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC], Mathematics - Algebraic Geometry, Complexity Estimates, Optimization and Control (math.OC), FOS: Mathematics, Mathematics - Optimization and Control, Algebraic Geometry (math.AG)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
