pith. sign in

arxiv: 1906.09976 · v1 · pith:RRLLGQ4Fnew · submitted 2019-06-24 · 🧮 math.OC

Exact formula for the second-order tangent set of the second-order cone complementarity set

Jein-Shan Chen , Jane J. Ye , Jin Zhang , Jinchuan Zhou This is my paper

Pith reviewed 2026-05-25 17:39 UTC · model grok-4.3

classification 🧮 math.OC
keywords second-order tangent setsecond-order cone complementaritydirectional differentiabilityprojection operatoroptimality conditionsmathematical programming with complementarity constraints
0
0 comments X

The pith

The second-order cone complementarity set is second-order directionally differentiable and admits an exact formula for its second-order tangent set.

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

The paper shows that despite its nonconvexity and lack of finite polyhedral decomposition, the SOC complementarity set is second-order directionally differentiable like the vector case. An exact formula for the second-order tangent set is obtained by relating it to the second-order directional derivative of the projection onto the second-order cone and computing that derivative explicitly. This matters for optimization because it leads to second-order necessary conditions for mathematical programs with SOC complementarity constraints.

Core claim

The SOC complementarity set is second-order directionally differentiable, and an exact formula for its second-order tangent set is derived by establishing its relationship to the second-order directional derivative of the projection operator over the second-order cone and calculating that derivative. This yields second-order necessary optimality conditions for the mathematical program with second-order cone complementarity constraints.

What carries the argument

The relationship between the second-order tangent set of the SOC complementarity set and the second-order directional derivative of the projection operator over the second-order cone

If this is right

  • The formula provides second-order necessary optimality conditions for mathematical programs with second-order cone complementarity constraints.
  • The SOC complementarity set shares the property of second-order directional differentiability with the vector complementarity set.
  • Exact computation of the second-order tangent set becomes possible for this nonconvex set.

Where Pith is reading between the lines

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

  • The formula could be used to analyze stability in SOC complementarity problems under perturbations.
  • Similar relationships might hold for other non-polyhedral complementarity sets in optimization.
  • Higher-order extensions of the tangent set formula could follow the same projection-based approach.

Load-bearing premise

The central formula depends on the existence of a direct link between the tangent set and the directional derivative of the projection operator.

What would settle it

Finding a point in the SOC complementarity set where the tangent set computed from the formula differs from the set of feasible second-order directions obtained by direct definition.

read the original abstract

The second-order tangent set is an important concept in describing the curvature of the set involved. Due to the existence of the complementarity condition, the second-order cone (SOC) complementarity set is a nonconvex set. Moreover, unlike the vector complementarity set, the SOC complementarity set is not even the union of finitely many polyhedral convex sets. Despite these difficulties, we succeed in showing that like the vector complementarity set, the SOC complementarity set is second-order directionally differentiable and an exact formula for the second-order tangent set of the SOC complementarity set can be given. We derive these results by establishing the relationship between the second-order tangent set of the SOC complementarity set and the second-order directional derivative of the projection operator over the second-order cone, and calculating the second-order directional derivative of the projection operator over the second-order cone. As an application, we derive second-order necessary optimality conditions for the mathematical program with second-order cone complementarity constraints.

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 / 2 minor

Summary. The paper claims that the second-order cone (SOC) complementarity set is second-order directionally differentiable, unlike typical nonconvex sets, and derives an exact formula for its second-order tangent set. The derivation proceeds by relating this tangent set to the second-order directional derivative of the projection operator onto the SOC, computing that derivative explicitly, and then applying the formula to obtain second-order necessary optimality conditions for mathematical programs with SOC complementarity constraints.

Significance. If the central derivation holds, the work extends second-order variational analysis from vector complementarity sets (which are finite unions of polyhedra) to the SOC complementarity set, a nonconvex set that is not such a union. The explicit formula obtained via the projection operator provides a concrete, usable result in conic optimization, and the application to optimality conditions strengthens the contribution for problems with SOC constraints. The approach follows standard techniques in variational analysis.

minor comments (2)
  1. [Abstract and derivation section] The abstract states the relationship to the projection operator's derivative is used to obtain the formula; ensure the body explicitly verifies this link with all intermediate steps shown to avoid any appearance of circularity in the definitions.
  2. [Main results section] Include a brief numerical verification or example computation of the derived formula for the second-order tangent set to confirm the explicit expression.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The referee's summary accurately captures our main results on the second-order directional differentiability of the SOC complementarity set and the explicit formula derived via the projection operator. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation proceeds by first establishing an explicit relationship between the second-order tangent set of the SOC complementarity set and the second-order directional derivative of the SOC projection operator, followed by direct computation of that derivative to obtain the formula. No step reduces the claimed result to a definition of itself, a fitted parameter renamed as prediction, or a self-citation chain; the approach relies on standard variational analysis reductions and explicit calculations that are independent of the target formula.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard concepts from variational analysis; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Existence and basic properties of second-order directional derivatives and tangent sets for nonconvex sets
    Invoked to define the object whose formula is derived.
  • domain assumption The projection operator onto the second-order cone admits a second-order directional derivative that can be computed explicitly
    Central intermediate step stated in the abstract.

pith-pipeline@v0.9.0 · 5698 in / 1184 out tokens · 33036 ms · 2026-05-25T17:39:14.512418+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

23 extracted references · 23 canonical work pages

  1. [1]

    Alizadeh and D

    F. Alizadeh and D. Goldfarb , Second-order cone programming, Math. Program., 95(2003), pp. 3-51

    work page 2003

  2. [2]

    Bonnans, R

    J.F. Bonnans, R. Cominetti, and A. Shapiro, Second order optimality conditions based on parabolic second order tangent sets , SIAM J. Optim., 9(1999), pp. 466-492

    work page 1999

  3. [3]

    Bonnans and H

    J.F. Bonnans and H. Ram ´ırez C. , Perturbation analysis of second-order cone pro- gramming problems, Math. Program., 104(2005), pp. 205-227

    work page 2005

  4. [4]

    Bonnans and A

    J.F. Bonnans and A. Shapiro , Perturbation Analysis of Optimization Problems , Springer, 2000

    work page 2000

  5. [5]

    Chen and P

    J.-S. Chen and P. Tseng , An unconstrained smooth minimization reformulation of the second-order cone complementarity problem , Math. Program., 104(2005), pp. 293-327

    work page 2005

  6. [6]

    Clarke , Optimization and Nonsmooth Analysis , Wiley-Interscience, New York, 1983

    F.H. Clarke , Optimization and Nonsmooth Analysis , Wiley-Interscience, New York, 1983

    work page 1983

  7. [7]

    Constantin , Second-order necessary conditions based on second-order t angent cones, Math

    E. Constantin , Second-order necessary conditions based on second-order t angent cones, Math. Sci. Res. J., 10(2006), pp. 42-56. 25

    work page 2006

  8. [8]

    Constantin, Second-order necessary conditions for set constrained non smooth opti- mization problems via second-order projective tangent con es, Lib

    E. Constantin, Second-order necessary conditions for set constrained non smooth opti- mization problems via second-order projective tangent con es, Lib. Math., 36(2016), pp. 1-24

    work page 2016

  9. [9]

    Fukushima, Z.-Q

    M. Fukushima, Z.-Q. Luo, and P. Tseng , Smoothing functions for second-order cone complementarity problems , SIAM J. Optim., 12(2002), pp. 436–460

    work page 2002

  10. [10]

    Gfrerer , First-order and second-order characterizations of metric subregularity and calmness of constraint set mappings , SIAM J

    H. Gfrerer , First-order and second-order characterizations of metric subregularity and calmness of constraint set mappings , SIAM J. Optim., 21(2011), pp. 1439-1474

    work page 2011

  11. [11]

    Gfrerer and B.S

    H. Gfrerer and B.S. Mordukhovich , Robinson regularity of parametric constraint systems via variational analysis , SIAM J. Optim., 27(2017), pp. 438-465

    work page 2017

  12. [12]

    Gfrerer and J.V

    H. Gfrerer and J.V. Outrata , On computation of generalized derivatives of the normal-cone mapping and their applications , Math. Oper. Res., 41(2016), pp. 1535-1556

    work page 2016

  13. [13]

    Hayashi, N

    S. Hayashi, N. Yamashita, and M. Fukushima , Robust Nash equilibria and second- order cone complementarity problems , J. Nonlinear Convex Anal., 6(2005), pp. 283-296

    work page 2005

  14. [14]

    Giorgi, B

    G. Giorgi, B. Jimenez, and V. Novo , An overview of second-order tangent sets and their applications to vector optimization , SeMA J., 52(2010), pp. 73-96

    work page 2010

  15. [15]

    Jiang, Y.J

    Y. Jiang, Y.J. Liu, and L.W. Zhang , Variational geometry of the complementarity set for second-order cone , Set-Valued Var. Anal., 23(2015), pp. 399–414

    work page 2015

  16. [16]

    Jimenez and V

    B. Jimenez and V. Novo , Optimizality conditions in differentiable vector optimiza - tion via second-order tangent sets , Appl. Math. Optim., 49(2004), pp. 123–144

    work page 2004

  17. [17]

    Outrata and D.F

    J.V. Outrata and D.F. Sun , On the coderivative of the projection operator onto the second-order cone, Set-Valued Anal., 16(2008), pp. 999–1014

    work page 2008

  18. [18]

    Rockafellar and R.J

    R.T. Rockafellar and R.J. Wets , Variational Analysis, Springer, New York, 1998

    work page 1998

  19. [19]

    Ye and J.C

    J.J. Ye and J.C. Zhou , First-order optimality conditions for mathematical progr ams with second-order cone complementarity constraints , SIAM J. Optim. 26(2016), pp. 2820-2846

    work page 2016

  20. [20]

    Ye and J.C

    J.J. Ye and J.C. Zhou , Exact formula for the proximal/regular/limiting normal co ne of the second-order cone complementarity set , Math. Program., 162(2017), pp. 33-50

    work page 2017

  21. [21]

    Ye and J.C

    J.J. Ye and J.C. Zhou , Verifiable sufficient conditions for the error bound property of second-order cone complementarity problems , Math. Program., 171(2018), pp. 361-395

    work page 2018

  22. [22]

    Zhang, N

    L.W. Zhang, N. Zhang, and X.T. Xiao , On the second-order directional derivatives of singular values of matrices and symmetric matrix-valued functions, Set-Valued Var. Anal., 21(2013), pp. 557–586

    work page 2013

  23. [23]

    Zhou, J.Y

    J.C. Zhou, J.Y. Tang, and J.-S. Chen , Parabolic second-order directional differ- entiability in the Hadamard sense of the vector-valued func tions associated with circular cones, J. Optim. Theory Appl. 172(2017), pp. 802-823. 26

    work page 2017