pith. sign in

arxiv: 2601.09991 · v2 · submitted 2026-01-15 · 🧮 math.AG · math.CV· math.OC

On directional second-order tangent sets of analytic sets and applications in optimization

Le Cong Trinh This is my paper

Pith reviewed 2026-05-16 14:44 UTC · model grok-4.3

classification 🧮 math.AG math.CVmath.OC
keywords directional tangent setsanalytic setssecond-order optimality conditionsrealizabilityalgebraic geometryoptimization on manifoldscomplete intersections
0
0 comments X

The pith

For several classes of analytic sets the geometric and algebraic directional second-order tangent sets coincide, so optimality conditions become computable from the defining equations.

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

The paper establishes that the geometric directional second-order tangent set of an analytic set is always contained inside the algebraic one obtained from the initial forms of its equations. Explicit examples demonstrate that this inclusion can be strict, because some algebraically allowed second-order coefficients cannot be realized by any analytic curve with given first-order term. Equality holds exactly when every such algebraically admissible coefficient is realized by a curve; the paper proves this realizability for smooth analytic germs, homogeneous analytic cones, hypersurfaces with nondegenerate tangent directions, and nondegenerate analytic complete intersections. When equality holds, the geometric objects appearing in second-order necessary and sufficient optimality conditions for C^2 optimization problems on closed sets may be replaced by their algebraic counterparts, yielding tests that are written directly from the equations of the feasible set.

Core claim

For an analytic set X and nonzero tangent vector u, the geometric set T^2_{0,u}X of second-order coefficients arising from analytic curves in X is contained in the algebraic set T^{2,a}_{0,u}X defined by the initial forms of the equations of X; the two sets are equal precisely when every algebraically admissible second-order coefficient is realized by an analytic curve in X whose first two Taylor terms are prescribed, and this realizability holds for smooth germs, homogeneous cones, nondegenerate hypersurfaces, and nondegenerate complete intersections.

What carries the argument

Realizability of algebraically admissible second-order coefficients by analytic curves with prescribed first two terms, which turns the equality of geometric and algebraic directional second-order tangent sets into a concrete curve-construction problem.

If this is right

  • Second-order necessary and sufficient optimality conditions for C^2 problems on closed sets become explicitly computable from the equations whenever the equality holds.
  • The algebraic tangent sets can be substituted directly into the optimality tests for smooth analytic germs, homogeneous cones, nondegenerate hypersurfaces, and nondegenerate complete intersections.
  • The gap between geometric and algebraic objects disappears exactly on the classes where the realizability property is verified.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same realizability lens could be used to classify larger families of analytic or semialgebraic sets for which algebraic second-order conditions remain valid.
  • In numerical optimization the replacement by algebraic sets would allow direct use of Gröbner-basis or resultant techniques to evaluate the conditions.
  • The strict-inclusion examples suggest that outside the listed classes one must retain geometric curve-searching steps in any second-order test.

Load-bearing premise

For the listed classes of analytic sets every algebraically admissible second-order coefficient can be realized by an analytic curve whose first two terms match the given direction and coefficient.

What would settle it

An explicit smooth analytic germ or nondegenerate complete intersection together with an algebraically admissible second-order coefficient for which no analytic curve in the set realizes that coefficient while having the prescribed first-order term.

read the original abstract

In this paper we study directional second-order tangent sets of real and complex analytic sets. For an analytic set $X\subseteq \mathbb K^n$ and a nonzero tangent direction $u\in T_0X$, we compare the geometric directional second-order tangent set $T^2_{0,u}X$, defined through second-order expansions of analytic curves in $X$, with the algebraic directional second-order tangent set $T^{2,a}_{0,u}X$, defined by the initial forms of the equations of $X$. We first prove the general inclusion $T^2_{0,u}X\subseteq T^{2,a}_{0,u}X$ and exhibit explicit real and complex analytic examples showing that this inclusion can be strict. These examples show that algebraically admissible second-order coefficients need not be geometrically realizable by analytic curves in $X$. To address this gap, we reformulate the equality $T^2_{0,u}X=T^{2,a}_{0,u}X$ as a realizability problem: the two sets coincide whenever every algebraically admissible second-order coefficient is realized by an analytic curve in $X$ with prescribed first two terms. We establish this realizability property for several important classes of analytic sets, including smooth analytic germs, homogeneous analytic cones, hypersurfaces with nondegenerate tangent directions, and nondegenerate analytic complete intersections. As an application, we derive second-order necessary and sufficient optimality conditions for $C^2$ optimization problems on closed sets. In the analytic setting, whenever the above equality holds, the geometric directional second-order tangent sets appearing in these conditions may be replaced by their algebraic counterparts, so that the second-order tests become explicitly computable from the defining equations of the feasible set.

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

2 major / 2 minor

Summary. The paper studies directional second-order tangent sets of real and complex analytic sets X ⊆ K^n. For nonzero u in the tangent space T_0 X, it defines the geometric set T²_{0,u}X via second-order expansions of analytic curves in X and the algebraic set T^{2,a}_{0,u}X via initial forms of the defining equations. It proves the inclusion T²_{0,u}X ⊆ T^{2,a}_{0,u}X in general, gives explicit real and complex examples where the inclusion is strict, and reformulates equality as a realizability question. Equality is established for smooth analytic germs, homogeneous analytic cones, hypersurfaces with nondegenerate tangent directions, and nondegenerate analytic complete intersections by lifting prescribed jets to analytic curves (via implicit-function theorem, homogeneity, and nondegeneracy of partials or Jacobian rank). The results are applied to obtain second-order necessary and sufficient optimality conditions for C² optimization problems on closed sets, allowing replacement of geometric tangent sets by algebraic ones when equality holds.

Significance. If the inclusion, strictness examples, and realizability theorems hold, the work supplies a precise bridge between geometric curve-based and algebraic initial-form descriptions of second-order tangents on analytic sets. This directly enables explicit, equation-based computation of second-order optimality conditions in analytic optimization, which is a practical advance for constrained problems whose feasible sets are analytic. The case-by-case realizability proofs (smooth germs, cones, nondegenerate hypersurfaces and complete intersections) identify broad classes where algebraic tests are valid, while the strict-inclusion examples delineate the limits of algebraic approximations. The absence of free parameters or circular reductions in the derivations adds to the result's reliability.

major comments (2)
  1. [§3] §3 (proof of general inclusion): the argument compares second-order curve expansions to initial forms of the defining equations. Confirm that the comparison is carried out uniformly for both real and complex analytic sets and that it does not inadvertently assume nondegeneracy; if the initial-form argument relies on a specific ordering of terms, state the precise multi-index ordering used.
  2. [Realizability theorem for complete intersections] Theorem on realizability for nondegenerate complete intersections: the lifting of prescribed first- and second-order jets is claimed to follow from non-vanishing of certain partial derivatives or full Jacobian rank. Provide the exact nondegeneracy hypothesis (e.g., the rank condition on the Jacobian matrix at the point) and verify that it is sufficient to apply the implicit-function theorem in the second-order jet space without additional transversality assumptions.
minor comments (2)
  1. [Optimization application] In the statement of the application to optimization, clarify whether the second-order necessary conditions remain valid when the equality T²_{0,u}X = T^{2,a}_{0,u}X holds only for some directions u and not others.
  2. [Examples section] The explicit strict-inclusion examples are described as real and complex analytic; add a short remark on the dimension or codimension of these examples to help readers assess their generality.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment, and recommendation for minor revision. We address the two major comments point by point below, providing the requested confirmations and clarifications. The revised manuscript incorporates explicit statements on uniformity, the multi-index ordering, the precise nondegeneracy hypothesis, and a verification of the implicit-function theorem application.

read point-by-point responses

  1. Referee: §3 (proof of general inclusion): the argument compares second-order curve expansions to initial forms of the defining equations. Confirm that the comparison is carried out uniformly for both real and complex analytic sets and that it does not inadvertently assume nondegeneracy; if the initial-form argument relies on a specific ordering of terms, state the precise multi-index ordering used.

    Authors: The proof in §3 is formulated uniformly for both real and complex analytic sets (K = ℝ or ℂ), relying only on the shared notion of analytic functions and their Taylor expansions; no nondegeneracy assumptions are used, and the inclusion T²_{0,u}X ⊆ T^{2,a}_{0,u}X holds in full generality by direct comparison of the second-order terms along any analytic curve γ(t) = tu + (t²/2)v + o(t²) with the initial forms of the defining equations. The multi-index ordering is the standard graded lexicographic order (first by total degree, then lex), so that after fixing the linear term corresponding to u we isolate the homogeneous quadratic part of each defining equation. A clarifying remark has been added to §3. revision: yes

  2. Referee: Theorem on realizability for nondegenerate complete intersections: the lifting of prescribed first- and second-order jets is claimed to follow from non-vanishing of certain partial derivatives or full Jacobian rank. Provide the exact nondegeneracy hypothesis (e.g., the rank condition on the Jacobian matrix at the point) and verify that it is sufficient to apply the implicit-function theorem in the second-order jet space without additional transversality assumptions.

    Authors: The exact nondegeneracy hypothesis is that the Jacobian matrix of the defining analytic functions f₁,…,fₖ at the origin has full rank k (equal to the codimension). This rank condition makes the differential of the map from the second-order jet space to the space of k-tuples of quadratic forms surjective. Consequently the implicit-function theorem applies directly in the jet space to lift any admissible first- and second-order jet to an analytic curve; no extra transversality conditions are required because the full-rank Jacobian at the base point already guarantees local solvability in suitable coordinates. The theorem statement and proof have been expanded to include this precise hypothesis and the IFT verification. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper derives the inclusion T^2_{0,u}X ⊆ T^{2,a}_{0,u}X directly from comparing second-order curve expansions in X against initial forms of its defining equations, exhibits explicit counterexamples for strictness, and proves realizability (hence equality) for the listed classes via the implicit-function theorem, homogeneity, and nondegeneracy of Jacobians or partial derivatives. These steps rely on standard analytic geometry tools and do not reduce the target equality to a fitted parameter, self-citation, or definitional renaming; the realizability reformulation is merely a restatement of what equality means and is verified independently for each class.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard definitions and properties of real and complex analytic sets, their tangent spaces, and initial forms of analytic equations; no free parameters or invented entities are introduced.

axioms (1)
  • standard math Standard definitions of real and complex analytic sets as zero loci of analytic functions and of their tangent cones via initial forms.
    Invoked throughout the comparison of geometric and algebraic second-order tangent sets.

pith-pipeline@v0.9.0 · 5620 in / 1408 out tokens · 55041 ms · 2026-05-16T14:44:00.945647+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Bonnans, R

    J.F. Bonnans, R. Cominetti, A. Shapiro, Second order optimality conditions based on parabolic second order tangent sets,SIAM Journal on Optimization9 (2) (1999), 466-492

    work page 1999

  2. [2]

    E. M. Chirka,Complex Analytic Sets, Kluwer Academic Publishers, 1989

    work page 1989

  3. [3]

    Ghomi and R

    M. Ghomi and R. Howard, Tangent cones and regularity of real hypersurfaces,J. Reine Angew. Math.(2014)

    work page 2014

  4. [4]

    Giorgi, B

    G. Giorgi, B. Jiménez, V. Novo, An overview of second order tangent sets and their application to vector optimization,Bol. Soc. Esp. Mat. Apl. SeMA(52)(2010), 73-96

    work page 2010

  5. [5]

    Greuel, C

    G.-M. Greuel, C. Lossen, E. Shustin,Introduction to Singularities and Deformations, Springer- Verlag, 2007

    work page 2007

  6. [6]

    S. G. Krantz, H. R. Parks,A Primer of Real Analytic Functions, 2nd ed., Birkh¨ auser, 2002

    work page 2002

  7. [7]

    A.A. Khan, C. Tammer, C. Zălinescu,Set-Valued Optimization – An Introduction with Ap- plications, Springer, Berlin, 2015

    work page 2015

  8. [8]

    Le, V.-C

    C.-T. Le, V.-C. Luong, On tangent cones of analytic sets and Lojasiewicz exponents, Bull. Iranian Math. Soc. 46 (2020), 355-380

    work page 2020

  9. [9]

    Lojasiewicz,Introduction to complex analytic geometry, Birkh¨ auser, 1995

    S. Lojasiewicz,Introduction to complex analytic geometry, Birkh¨ auser, 1995

    work page 1995

  10. [10]

    Milnor,Singular points of complex hypersurfaces, Princeton University Press, 1968

    J. Milnor,Singular points of complex hypersurfaces, Princeton University Press, 1968

    work page 1968

  11. [11]

    Narasimhan,Analysis on Real and Complex Manifolds, 2nd ed., North-Holland Mathe- matical Library, Vol

    R. Narasimhan,Analysis on Real and Complex Manifolds, 2nd ed., North-Holland Mathe- matical Library, Vol. 35, North-Holland, 1985

    work page 1985

  12. [12]

    O’Shea and L

    D. O’Shea and L. Wilson, Limits of tangent spaces to real surfaces,Amer. J. Math.(5)126 (2004), 951-980

    work page 2004

  13. [13]

    R. T. Rockafellar, R. J.-B. Wets,Variational Analysis, Springer-Verlag, Berlin, 1997. ON DIRECTIONAL SECOND-ORDER TANGENT SETS OF ANALYTIC SETS 27

    work page 1997

  14. [14]

    Whitney,Local properties of analytic varieties, pp

    H. Whitney,Local properties of analytic varieties, pp. 205-244. In Differential and combinato- rial topology: A symposium in honor of Marston Morse (Institute for Advanced Study, Princeton, NJ, 1964). Edited by S. S. Cairns. Princeton Mathematical Series 27. Princeton University Press, 1965

    work page 1964

  15. [15]

    Whitney, Tangents to an analytic variety,Ann

    H. Whitney, Tangents to an analytic variety,Ann. of Math.81(1965), 496-549

    work page 1965