Abstract:Let be a real closed field. Given a closed and bounded semialgebraic set and semialgebraic continuous functions such that , there exist an integer and such that the inequality (Łojasiewicz inequality) holds for all . In this paper, we consider the case when A is defined by a quantifier-free formula with atoms of the form for some finite subset of polynomials , and the graphs of are also defined by quantifier-free formulas with atoms of the form , for some finite set . We prove that the Łojasiewicz exponent in this case is bounded by . Our bound depends on d and n but is independent of the combinatorial parameters, namely the cardinalities of and . The previous best-known upper bound in this generality appeared in P. Solernó, Effective Łojasiewicz Inequalities in Semi-Algebraic Geometry, Applicable Algebra in Engineering, Communication and Computing (1991) and depended on the sum of degrees of the polynomials defining and thus implicitly on the cardinalities of and . As a consequence, we improve the current best error bounds for polynomial systems under some conditions. Finally, we prove a version of Łojasiewicz inequality in polynomially bounded o-minimal structures. We prove the existence of a common upper bound on the Łojasiewicz exponent for certain combinatorially defined infinite (but not necessarily definable) families of pairs of functions. This improves a prior result of Chris Miller (C. Miller, Expansions of the real field with power functions, Ann. Pure Appl. Logic (1994)).

Łojasiewicz Inequality for Weighted Homogeneous Polynomial with Isolated Singularity

Global Asymptotics for Polynomials Orthogonal with Exponential Quartic Weight.

Lojasiewicz inequalities in a certain class of smooth functions

Uniform Asymptotics for Orthogonal Polynomials with Exponential Weight on the Positive Real Axis

Reversed Hardy-Littlewood-Sobolev inequalities with vertical weights on the upper half space

Improved effective Łojasiewicz inequality and applications

Exact $L_2$ Bernstein-Markov inequalities for generalized weights

Sharp weighted log-Sobolev inequalities: characterization of equality cases and applications

Strengthening Lasserre's Hierarchy in Real and Complex Polynomial Optimization

Weighted Ehrhart Theory: Extending Stanley's nonnegativity theorem

Multiple Orthogonal Polynomials Associated with an Exponential Cubic Weight

THE NONEXISTENCE OF NEGATIVE WEIGHT DERIVATIONS ON POSITIVE DIMENSIONAL ISOLATED SINGULARITIES: GENERALIZED WAHL CONJECTURE

On Łojasiewicz Inequalities and the Effective Putinar's Positivstellensatz

Exactness and Effective Degree Bound of Lasserre's Relaxation for Polynomial Optimization over Finite Variety

On the weighted trigonometric Bojanov-Chebyshev extremal problem

Weighted norm inequalities of various square functions and Volterra integral operators on the unit ball

An asymptotic refinement of the Gauss-Lucas Theorem for random polynomials with i.i.d. roots

Lower Bounds for Weighted Chebyshev and Orthogonal Polynomials

On a doubly critical system involving fractional Laplacian with partial weight

Polynomials with exponents in compact convex sets and associated weighted extremal functions -- The Siciak-Zakharyuta theorem

Anisotropic Moser–Trudinger-Type Inequality with Logarithmic Weight