Source author record

Tien-Son Pham

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
2topics
4close collaborators

Published work

7 publications

preprint2021arXiv

Global Łojasiewicz inequalities on comparing the rate of growth of polynomial functions

We present a global version of the Łojasiewicz inequality on comparing the rate of growth of two polynomial functions in the case the mapping defined by these functions is (Newton) non-degenerate at infinity. In addition, we show that the condition of non-degeneracy at infinity is generic in the sense that it holds in an open and dense semi-algebraic set of the entire space of input data.

preprint2020arXiv

Error bounds of regularized gap functions for polynomial variational inequalities

This paper is devoted to present new error bounds of regularized gap functions for polynomial variational inequalities with exponents explicitly determined by the dimension of the underlying space and the number/degree of the involved polynomials. The developed techniques are largely based on variational analysis and semialgebraic geometry, which allow us to establish a nonsmooth extension of the seminal Łojasiewicz's gradient inequality to regularized gap functions with explicitly calculated exponents.

preprint2020arXiv

Local minimizers of semi-algebraic functions from the viewpoint of tangencies

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

preprint2020arXiv

On types of KKT points in polynomial optimization

Let ff be a real polynomial function with nn variables and SS be a basic closed semialgebraic set in Rn\Bbb{R}^n. In this paper, we are interested in the problem of identifying the type (local minimizer, maximizer or not extremum point) of a given isolated KKT point x∗x^* of ff over S.S. To this end, we investigate some properties of the tangency variety of ff on SS at x∗,x^*, by which we introduce the definition of faithful radius of ff over SS at x∗.x^*. Then, we show that the type of x∗x^* can be determined by the global extrema of ff over the intersection of SS and the Euclidean ball centered at x∗x^* with a faithful radius. Finally, we propose an algorithm involving algebraic computations to compute a faithful radius of x∗x^* and determine its type.

preprint2020arXiv

Openness, Holder metric regularity and Holder continuity properties of semialgebraic set-valued maps

Given a semialgebraic set-valued map F ⁣:Rn⇉RmF \colon \mathbb{R}^n \rightrightarrows \mathbb{R}^m with closed graph, we show that the map FF is Holder metrically subregular and that the following conditions are equivalent: (i) FF is an open map from its domain into its range and the range of FF is locally closed; (ii) the map FF is Holder metrically regular; (iii) the inverse map F−1F^{-1} is pseudo-Holder continuous; (iv) the inverse map F−1F^{-1} is lower pseudo-Holder continuous. An application, via Robinson's normal map formulation, leads to the following result in the context of semialgebraic variational inequalities: if the solution map (as a map of the parameter vector) is lower semicontinuous then the solution map is finite and pseudo-Hölder continuous. In particular, we obtain a negative answer to a question mentioned in the paper of Dontchev and Rockafellar \cite{Dontchev1996}. As a byproduct, we show that for a (not necessarily semialgebraic) continuous single-valued map from Rn\mathbb{R}^n to R,\mathbb{R}, the openness and the non-extremality are equivalent. This fact improves the main result of Pühn \cite{Puhl1998}, which requires the convexity of the map in question.

preprint2017arXiv

Topological invariants of plane curve singularities: Polar quotients and Łojasiewicz gradient exponents

In this paper, we study polar quotients and Łojasiewicz exponents of plane curve singularities, which are {\em not necessarily reduced}. We first show that the polar quotients is a topological invariant. We next prove that the Łojasiewicz gradient exponent can be computed in terms of the polar quotients, and so it is also a topological invariant. As an application, we give effective estimates of the Łojasiewicz exponents in the gradient and classical inequalities of polynomials in two (real or complex) variables.

preprint2016arXiv

On tangent cones at infinity of algebraic varieties

In this paper, we establish the following version at infinity of Whitney's theorem [6, 7]: Geometric and algebraic tangent cones at infinity of complex algebraic varieties coincide. The proof of this fact is based on a geometric characterization of geometric tangent cones at infinity and using the global Łojasiewicz inequality with explicit exponents for complex algebraic varieties. We also show that tangent cones at infinity of complex algebraic varieties can be computed using Gröbner bases.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.