pith. sign in

arxiv: 2606.06849 · v1 · pith:JZK5KONTnew · submitted 2026-06-05 · 🧮 math.AG

Parabolic second-order tangent sets of semialgebraic sets and applications to polynomial optimization

Cong Trinh Le This is my paper

Pith reviewed 2026-06-27 21:19 UTC · model grok-4.3

classification 🧮 math.AG
keywords semialgebraic setsparabolic tangent setssecond-order conditionspolynomial optimizationquadratic growthalgebraic linearizationtangent cones
0
0 comments X

The pith

For semialgebraic sets under rank stability and arc-realizability, parabolic second-order tangent sets coincide with their algebraic models from gradients and Hessians.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper aims to show that the true parabolic second-order tangent sets of basic closed semialgebraic sets match an algebraic second-order linearized set under directional rank stability and semialgebraic parabolic arc-realizability. This coincidence holds for the outer, inner, and arc-generated tangent sets. It provides exact formulas for several standard classes of semialgebraic sets and leads to algebraically checkable second-order conditions for quadratic growth in polynomial optimization. The work also illustrates how the theory identifies curvature, flatness, and branch dependence in optimization examples.

Core claim

Under directional rank stability and semialgebraic parabolic arc-realizability, the outer, inner, and arc-generated tangent sets coincide with the algebraic second-order linearized set determined by gradients and Hessians of the active constraints. Exact formulas are obtained for smooth hypersurfaces, regular complete intersections, smooth inequality systems, and stratified semialgebraic sets. These formulas yield algebraically checkable second-order necessary conditions and sufficient conditions for quadratic growth in polynomial optimization.

What carries the argument

The algebraic second-order linearized set, constructed from gradients and Hessians of active constraints, which equals the true parabolic tangent sets when the stability and realizability conditions are met.

Load-bearing premise

Directional rank stability and semialgebraic parabolic arc-realizability hold for the basic closed semialgebraic set under consideration.

What would settle it

A concrete basic closed semialgebraic set that satisfies directional rank stability and arc-realizability but where any of the parabolic tangent sets differs from the algebraic model would disprove the coincidence.

read the original abstract

We study parabolic second-order tangent sets of semialgebraic sets and their use in local polynomial optimization. For a basic closed semialgebraic feasible set, we compare the true parabolic tangent set with the algebraic second-order linearized set determined by gradients and Hessians of the active constraints. Under directional rank stability and semialgebraic parabolic arc-realizability, the outer, inner, and arc-generated tangent sets coincide with this algebraic model. Exact formulas are obtained for smooth hypersurfaces, regular complete intersections, smooth inequality systems, and stratified semialgebraic sets. These formulas yield algebraically checkable second-order necessary conditions and sufficient conditions for quadratic growth in polynomial optimization. Examples show how the theory detects curvature, flatness, branch dependence, and the failure of ordinary quadratic scaling.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper studies parabolic second-order tangent sets of semialgebraic sets and their applications to local polynomial optimization. For a basic closed semialgebraic feasible set, it compares the true parabolic tangent set with the algebraic second-order linearized set determined by gradients and Hessians of the active constraints. Under the assumptions of directional rank stability and semialgebraic parabolic arc-realizability, the outer, inner, and arc-generated tangent sets are shown to coincide with this algebraic model. Exact formulas are derived for smooth hypersurfaces, regular complete intersections, smooth inequality systems, and stratified semialgebraic sets. These formulas are used to obtain algebraically checkable second-order necessary and sufficient conditions for quadratic growth, with examples illustrating detection of curvature, flatness, branch dependence, and failure of ordinary quadratic scaling.

Significance. If the directional rank stability and semialgebraic parabolic arc-realizability conditions hold as stated, the results provide a concrete algebraic bridge between geometric tangent-set constructions and computable second-order conditions in polynomial optimization over semialgebraic sets. The explicit formulas for standard classes (hypersurfaces, complete intersections, inequality systems) and the illustrative examples that detect curvature and flatness effects constitute a useful contribution to the literature on higher-order variational analysis.

minor comments (3)
  1. [Introduction] The abstract states that the main coincidence holds 'under directional rank stability and semialgebraic parabolic arc-realizability,' yet the introduction does not contain an early, self-contained paragraph listing the precise definitions or references for these two standing assumptions; adding such a paragraph would improve readability.
  2. [§2] Notation for the outer, inner, and arc-generated parabolic tangent sets is introduced without an explicit comparison table to the classical first-order tangent cone; a small table in §2 would clarify the distinction between first- and second-order objects.
  3. [Examples] The examples section is referenced in the abstract but the manuscript does not indicate how many examples are provided or whether they are numbered; consistent numbering and a brief summary table of what each example demonstrates would aid navigation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the clear summary of its contributions, and the recommendation for minor revision. No specific major comments appear in the report, so we have no point-by-point rebuttals to provide. We will prepare a revised version incorporating any minor editorial or typographical adjustments that may be identified during the revision process.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

This is a theoretical paper in semialgebraic geometry deriving comparisons between parabolic tangent sets and algebraic models under explicit assumptions (directional rank stability and semialgebraic parabolic arc-realizability). The exact formulas for hypersurfaces, complete intersections, and stratified sets are obtained conditionally from gradients/Hessians without any self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations. All steps are algebraically checkable and rest on standard external concepts in the field, rendering the derivation chain self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities are identifiable beyond standard background in real algebraic geometry and optimization theory.

pith-pipeline@v0.9.1-grok · 5656 in / 1083 out tokens · 13104 ms · 2026-06-27T21:19:20.069223+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 20 canonical work pages

  1. [1]

    Ben-Tal, Second-order and related extremality conditions in nonlinear program- ming,Journal of Optimization Theory and Applications31(1980), 143–165

    A. Ben-Tal, Second-order and related extremality conditions in nonlinear program- ming,Journal of Optimization Theory and Applications31(1980), 143–165. DOI: 10.1007/BF00933993

    work page doi:10.1007/bf00933993 1980

  2. [2]

    Ben-Tal and J

    A. Ben-Tal and J. Zowe, A unified theory of first and second order conditions for extremum problems in topological vector spaces,Mathematical Programming Study 19(1982), 39–76. DOI: 10.1007/BFb0120923

    work page doi:10.1007/bfb0120923 1982

  3. [3]

    J. F. Bonnans, R. Cominetti, and A. Shapiro, Second order optimality conditions based on parabolic second order tangent sets,SIAM Journal on Optimization9(1999), 466–492. DOI: 10.1137/S1052623496306760

    work page doi:10.1137/s1052623496306760 1999

  4. [4]

    J. F. Bonnans and A. Shapiro,Perturbation Analysis of Optimization Problems, Springer, New York, 2000. DOI: 10.1007/978-1-4612-1394-9

    work page doi:10.1007/978-1-4612-1394-9 2000

  5. [5]

    Bai and J.W

    J. Bochnak, M. Coste, and M.-F. Roy,Real Algebraic Geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 36, Springer, Berlin, 1998. DOI: 10.1007/978- 3-662-03718-8

    work page doi:10.1007/978- 1998

  6. [6]

    Coste,An Introduction to Semialgebraic Geometry, Dip

    M. Coste,An Introduction to Semialgebraic Geometry, Dip. Mat. Univ. Pisa, Dottorato di Ricerca in Matematica, 2000

    2000

  7. [7]

    C. G. Gibson, K. Wirthmueller, A. A. du Plessis, and E. J. N. Looijenga,Topological Stability of Smooth Mappings, Lecture Notes in Mathematics, vol. 552, Springer, Berlin,

  8. [8]

    DOI: 10.1007/BFb0082342

    work page doi:10.1007/bfb0082342

  9. [9]

    A. D. Ioffe, Variational analysis of a composite function: A formula for the lower second-order epi-derivative,Journal of Mathematical Analysis and Applications160 (1991), 379–405. DOI: 10.1016/0022-247X(91)90305-O

    work page doi:10.1016/0022-247x(91)90305-o 1991

  10. [10]

    Lojasiewicz,Ensembles semi-analytiques, IHES notes, 1965

    S. Lojasiewicz,Ensembles semi-analytiques, IHES notes, 1965

    1965

  11. [11]

    J. B. Lasserre, Global optimization with polynomials and the problem of moments, SIAM Journal on Optimization11(2001), 796–817. DOI: 10.1137/S1052623400366802

    work page doi:10.1137/s1052623400366802 2001

  12. [12]

    J. Nie, J. Demmel, and B. Sturmfels, Minimizing polynomials via sum of squares over the gradient ideal,Mathematical Programming106(2006), 587–606. DOI: 10.1007/s10107-005-0672-6

    work page doi:10.1007/s10107-005-0672-6 2006

  13. [13]

    Mohammadi, B

    A. Mohammadi, B. S. Mordukhovich, and M. E. Sarabi, Parabolic regularity in geometric variational analysis,Transactions of the American Mathematical Society 374(2021), 1711–1763. DOI: 10.1090/tran/8253

    work page doi:10.1090/tran/8253 2021

  14. [14]

    Mohammadi and M

    A. Mohammadi and M. E. Sarabi, Twice epi-differentiability of extended-real-valued functions with applications in composite optimization,SIAM Journal on Optimization 30(2020), 2379–2409. DOI: 10.1137/19M1300066

    work page doi:10.1137/19m1300066 2020

  15. [15]

    B. S. Mordukhovich,Variational Analysis and Generalized Differentiation I: Basic Theory, Springer, Berlin, 2006. DOI: 10.1007/3-540-31247-1

    work page doi:10.1007/3-540-31247-1 2006

  16. [16]

    B. S. Mordukhovich,Variational Analysis and Applications, Springer, Cham, 2018. DOI: 10.1007/978-3-319-92775-6

    work page doi:10.1007/978-3-319-92775-6 2018

  17. [17]

    R. A. Poliquin and R. T. Rockafellar, Prox-regular functions in variational analysis, Transactions of the American Mathematical Society348(1996), 1805–1838. DOI: 10.1090/S0002-9947-96-01596-1

    work page doi:10.1090/s0002-9947-96-01596-1 1996

  18. [18]

    R. T. Rockafellar, First- and second-order epi-differentiability in nonlinear program- ming,Transactions of the American Mathematical Society307(1988), 75–108. DOI: 10.1090/S0002-9947-1988-0936805-4

    work page doi:10.1090/s0002-9947-1988-0936805-4 1988

  19. [19]

    R. T. Rockafellar, Second-order optimality conditions in nonlinear programming obtained by way of epi-derivatives,Mathematics of Operations Research14(1989), 462–484. DOI: 10.1287/moor.14.3.462

    work page doi:10.1287/moor.14.3.462 1989

  20. [20]

    R. T. Rockafellar and R. J.-B. Wets,Variational Analysis, Springer, Berlin, 1998. DOI: 10.1007/978-3-642-02431-3

    work page doi:10.1007/978-3-642-02431-3 1998

  21. [21]

    Shapiro, First and second order analysis of nonlinear semidefinite programs, Mathematical Programming77(1997), 301–320

    A. Shapiro, First and second order analysis of nonlinear semidefinite programs, Mathematical Programming77(1997), 301–320. DOI: 10.1007/BF02614439. PARABOLIC SECOND-ORDER TANGENT SETS 21

    work page doi:10.1007/bf02614439 1997

  22. [22]

    1998 , PAGES =

    L. van den Dries,Tame Topology and O-minimal Structures, Cambridge University Press, 1998. DOI: 10.1017/CBO9780511525919

    work page doi:10.1017/cbo9780511525919 1998

  23. [23]

    Whitney, Tangents to an analytic variety,Annals of Mathematics81(1965), 496–549

    H. Whitney, Tangents to an analytic variety,Annals of Mathematics81(1965), 496–549. DOI: 10.2307/1970400. Department of Mathematics and Statistics, Quy Nhon University, Quy Nhon Nam W ard, Gia Lai, Vietnam Email address:lecongtrinh@qnu.edu.vn

    work page doi:10.2307/1970400 1965