Local minimizers of semi-algebraic functions from the viewpoint of tangencies
Consider a semi-algebraic function f:Rn→R, which is continuous around a point xˉ∈Rn. Using the so--called {\em tangency variety} of f at xˉ, we first provide necessary and sufficient conditions for xˉ to be a local minimizer of f, and then in the case where xˉ is an isolated local minimizer of f, we define a "tangency exponent" α∗>0 so that for any α∈R the following four conditions are always equivalent: (i) the inequality α≥α∗ holds; (ii) the point xˉ is an αth order sharp local minimizer of f; (iii) the limiting subdifferential ∂f of f is (α−1)th order strongly metrically subregular at xˉ for 0; and (iv) the function f satisfies the Łojaseiwcz gradient inequality at xˉ with the exponent 1−α1. Besides, we also present a counterexample to a conjecture posed by Drusvyatskiy and Ioffe [Math. Program. Ser. A, 153(2):635--653, 2015].