pith. sign in

arxiv: 2607.00882 · v1 · pith:CCBRENKSnew · submitted 2026-07-01 · 🧮 math.OC

On directional local minimality and directional optimality conditions in nonsmooth optimization

Timm Baake , Patrick Mehlitz This is my paper

Pith reviewed 2026-07-02 07:41 UTC · model grok-4.3

classification 🧮 math.OC
keywords directional local minimalitynonsmooth optimizationoptimality conditionsdirectional subdifferentialssubderivativescritical directionslower semicontinuous functions
0
0 comments X

The pith

Necessary and sufficient optimality conditions for directional local minimality are derived using directional subdifferentials for lower semicontinuous functions.

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

The paper establishes necessary and sufficient first- and second-order optimality conditions based on the notion of directional local minimality. It uses first and second subderivatives along with directional limiting and proximal subdifferentials to characterize minimizers in nonsmooth unconstrained optimization. These conditions also provide a way to check conventional local minimality through critical directions and direction-dependent variational objects. The directional approach permits a more precise analysis than standard nondirectional conditions, as illustrated by examples.

Core claim

Exploiting first and second subderivatives, directional limiting subdifferentials, and directional proximal subdifferentials, necessary and sufficient first- and second-order optimality conditions are derived that build upon the recently introduced notion of directional local minimality. These results then also yield optimality conditions for conventional nondirectional local minimality which are stated in terms of so-called critical directions and variational objects depending on them.

What carries the argument

Directional local minimality, which requires the function to increase along a given direction near the point, together with the associated directional limiting and proximal subdifferentials.

If this is right

  • A point satisfies first-order necessity when the directional limiting subdifferential contains no negative values in the direction of interest.
  • Second-order sufficiency follows when the second subderivative is positive along that direction.
  • Standard local minimality holds if the directional conditions are satisfied for every critical direction.
  • The conditions distinguish directional descent that classical nondirectional tests overlook.

Where Pith is reading between the lines

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

  • The directional framework could support line-search procedures that test specific directions rather than neighborhoods.
  • Similar directional objects might be defined for problems with explicit constraints.
  • The critical-direction approach may link to existing first-order methods that already track active directions.

Load-bearing premise

The directional local minimality notion combined with directional subdifferentials and subderivatives fully describes the first- and second-order behavior of lower semicontinuous functions in every direction.

What would settle it

A lower semicontinuous function and point where the stated directional first- or second-order conditions hold but the point fails to be a directional local minimizer along the tested direction.

read the original abstract

This paper considers the unconstrained minimization of a lower semicontinuous function. Exploiting first and second subderivatives, directional limiting subdifferentials, and directional proximal subdifferentials, necessary and sufficient first- and second-order optimality conditions are derived that build upon the recently introduced notion of directional local minimality. These results then also yield optimality conditions for conventional nondirectional local minimality which are stated in terms of so-called critical directions and variational objects depending on them. Illustrative examples show that the derived conditions allow for a finer analysis than classical nondirectional optimality conditions.

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 develops first- and second-order necessary and sufficient optimality conditions for directional local minimality of lower semicontinuous functions in unconstrained nonsmooth optimization. It employs first and second subderivatives together with directional limiting and proximal subdifferentials, building on a recently introduced notion of directional local minimality. The results are then specialized to yield optimality conditions for ordinary (nondirectional) local minimality expressed via critical directions and associated variational objects. Illustrative examples are provided to show that the directional conditions permit a finer analysis than classical nondirectional ones.

Significance. If the derivations are correct, the contribution lies in refining variational-analytic tools to capture directional behavior explicitly. This yields sharper necessary and sufficient conditions than standard subdifferential criteria and supplies a systematic way to recover nondirectional results from the directional framework. The approach is grounded in established objects of variational analysis (subderivatives, limiting/proximal subdifferentials) and therefore integrates cleanly with existing theory; the examples demonstrate concrete improvement over classical statements.

minor comments (3)
  1. The definition of directional local minimality (presumably in §2) should be stated explicitly with all quantifiers and the precise role of the direction vector made clear, as this notion is central to all subsequent claims.
  2. Notation for the directional limiting subdifferential and directional proximal subdifferential should be introduced once and used consistently; currently the text appears to alternate between several similar symbols without a consolidated table or remark.
  3. In the examples, the precise numerical values of the directional objects (e.g., the value of the second subderivative along the critical direction) should be computed explicitly rather than asserted qualitatively, to allow direct verification of the claimed necessity/sufficiency.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report, so we have no points to address individually. We will make any minor editorial or clarification changes as needed in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on standard first- and second-order subdifferential constructions from variational analysis together with the externally introduced notion of directional local minimality. No step reduces a claimed prediction or optimality condition to a fitted parameter, self-definition, or load-bearing self-citation chain; the necessity and sufficiency statements are obtained by direct application of the cited directional objects to the minimization problem. The paper remains self-contained against external benchmarks and does not rename known results or smuggle ansatzes via prior self-work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard domain assumption that the objective is lower semicontinuous and on the appropriateness of directional subdifferentials for capturing directional minimality; no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption The objective function is lower semicontinuous.
    Explicitly stated in the abstract as the class of functions under consideration.
  • domain assumption Directional limiting subdifferentials and directional proximal subdifferentials are well-defined and suitable for first- and second-order analysis of directional local minimality.
    Invoked throughout the abstract as the variational objects used to derive the conditions.

pith-pipeline@v0.9.1-grok · 5613 in / 1491 out tokens · 30691 ms · 2026-07-02T07:41:37.252416+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

29 extracted references · 25 canonical work pages · 2 internal anchors

  1. [1]

    Bai and J

    K. Bai and J. J. Ye. Directional necessary optimality conditions for bilevel programs.Mathematics of Operations Research, 47(2):1169–1191, 2022. doi:10.1287/moor.2021.1164

    work page doi:10.1287/moor.2021.1164 2022

  2. [2]

    K. Bai, J. J. Ye, and S. Zeng. Optimality conditions for bilevel programmes via Moreau envelope reformulation.Optimization, 74(12):2685–2719, 2025. doi:10.1080/02331934.2024.2358086

    work page doi:10.1080/02331934.2024.2358086 2025

  3. [3]

    Baier, E

    R. Baier, E. Farkhi, and V. Roshchina. The directed and Rubinov sub- differentials of quasidifferentiable functions, part I: definition and examples. Nonlinear Analysis: Theory, Methods & Applications, 75(3):1074–1088, 2012. doi:10.1016/j.na.2011.04.074

    work page doi:10.1016/j.na.2011.04.074 2012

  4. [4]

    Baier, E

    R. Baier, E. Farkhi, and V. Roshchina. The directed and Rubinov subdifferentials of quasidifferentiable functions, part II: calculus.Nonlinear Analysis: Theory, Methods & Applications, 75(3):1058–1073, 2012. doi:10.1016/j.na.2011.04.073

    work page doi:10.1016/j.na.2011.04.073 2012

  5. [5]

    Benko, H

    M. Benko, H. Gfrerer, and J. V. Outrata. Calculus for directional limiting normal cones and subdifferentials.Set-Valued and Variational Analysis, 27(3):713–745,

  6. [6]

    doi:10.1007/s11228-018-0492-5

    work page doi:10.1007/s11228-018-0492-5

  7. [7]

    Benko, H

    M. Benko, H. Gfrerer, J. J. Ye, J. Zhang, and J. Zhou. Second-order optimality conditions for general nonconvex optimization problems and variational analysis of disjunctive systems.SIAM Journal on Optimization, 33(4):2625–2653, 2023. doi:10.1137/22M1484742. 24

    work page doi:10.1137/22m1484742 2023

  8. [8]

    Second-order optimality conditions for optimization problems with generalized equation constraints

    M. Benko, H. Gfrerer, J. J. Ye, J. Zhang, and J. Zhou. Second-order optimality conditions for optimization problems with generalized equation constraints, 2026, 2604.25044

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  9. [9]

    Benko and P

    M. Benko and P. Mehlitz. Calmness and calculus: two basic patterns.Set-Valued and Variational Analysis, 30(1):81–117, 2022. doi:10.1007/s11228-021-00589-x

    work page doi:10.1007/s11228-021-00589-x 2022

  10. [10]

    Benko and P

    M. Benko and P. Mehlitz. Why second-order sufficient conditions are, in a way, easy — or — revisiting calculus for second subderivatives.Journal of Convex Analy- sis, 30(2):541–589, 2023. URLhttps://www.heldermann.de/JCA/JCA30/JCA302/ jca30031.htm

    2023

  11. [11]

    Benko and P

    M. Benko and P. Mehlitz. On the directional asymptotic approach in optimization theory.Mathematical Programming, 209(1):859–937, 2025. doi:10.1007/s10107-024- 02089-w

    work page doi:10.1007/s10107-024- 2025

  12. [12]

    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

  13. [13]

    Bounkhel

    M. Bounkhel. Calculus rules for V-proximal subdifferentials in smooth Banach spaces.Journal of Function Spaces, 2016:1917387, 2016. doi:10.1155/2016/1917387

    work page doi:10.1155/2016/1917387 2016

  14. [14]

    J. Chen, L. Liu, Y. Dai, and E. K¨ obis. Directionally variational analysis and second- order optimality conditions for mathematical programs with switching constraints. Journal of Optimization Theory and Applications, 208:22, 2026. doi:10.1007/s10957- 025-02849-4

    work page doi:10.1007/s10957- 2026

  15. [15]

    Dempe and M

    S. Dempe and M. Pilecka. Necessary optimality conditions for optimistic bilevel pro- gramming problems using set-valued programming.Journal of Global Optimization, 61:769–788, 2015. doi:10.1007/s10898-014-0200-4

    work page doi:10.1007/s10898-014-0200-4 2015

  16. [16]

    H. Gfrerer. On directional metric regularity, subregularity and optimality condi- tions for nonsmooth mathematical programs.Set-Valued and Variational Analysis, 21(2):151–176, 2013. doi:10.1007/s11228-012-0220-5

    work page doi:10.1007/s11228-012-0220-5 2013

  17. [17]

    H. Gfrerer. Optimality conditions for disjunctive programs based on gen- eralized differentiation with application to mathematical programs with equi- librium constraints.SIAM Journal on Optimization, 24(2):898–931, 2014. doi:10.1137/130914449

    work page doi:10.1137/130914449 2014

  18. [18]

    Gfrerer, J

    H. Gfrerer, J. J. Ye, and J. Zhou. Second-order optimality conditions for noncon- vex set-constrained optimization problems.Mathematics of Operations Research, 47(3):2344–2365, 2022. doi:10.1287/moor.2021.1211

    work page doi:10.1287/moor.2021.1211 2022

  19. [19]

    Ginchev and B

    I. Ginchev and B. S. Mordukhovich. On directionally dependent subdifferentials. Proceedings of the Bulgarian Academy of Sciences, 64(4):497–508, 2011

    2011

  20. [20]

    Ginchev and B

    I. Ginchev and B. S. Mordukhovich. Directional subdifferentials and optimality conditions.Positivity, 16:707–737, 2012. doi:10.1007/s11117-011-0142-8. 25

    work page doi:10.1007/s11117-011-0142-8 2012

  21. [21]

    Approximate directional stationarity and associated qualification conditions

    I. K¨ aming and P. Mehlitz. Approximate directional stationarity and associated qualification conditions, 2026, 2605.08026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  22. [22]

    Lahoussine, R

    L. Lahoussine, R. El Idrissi, and Y. El-Yahyaouri. A theoretical study on directional necessary and sufficient optimality conditions for mathematical programs with equi- librium constraints.Journal of Applied and Numerical Optimization, 8(2):271–293,

  23. [23]

    doi:10.23952/jano.8.2026.2.07

    work page doi:10.23952/jano.8.2026.2.07 2026

  24. [24]

    P. Long, B. Wang, and X. Yang. Calculus of directional subdifferentials and coderivatives in Banach spaces.Positivity, 21(1):223–254, 2017. doi:10.1007/s11117- 016-0417-1

    work page doi:10.1007/s11117- 2017

  25. [25]

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

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

  26. [26]

    B. S. Mordukhovich and N. M. Nam. Exact calculus for proximal subgradi- ents with applications to optimization.ESAIM: Proceedings, 17:80–95, 2007. doi:10.1051/proc:071707

    work page doi:10.1051/proc:071707 2007

  27. [27]

    Ngoc Kien, N

    L. Ngoc Kien, N. Van Tuyen, and T. Van Nghi. Directional subdifferentials at infinity and their applications.Journal of Optimization Theory and Applications, 209:59, 2026. doi:10.1007/s10957-026-03009-y

    work page doi:10.1007/s10957-026-03009-y 2026

  28. [28]

    Ouyang, J

    W. Ouyang, J. J. Ye, and B. Zhang. New second-order optimality conditions for directional optimality of a general set-constrained optimization problem.SIAM Journal on Optimization, 35(2):1274–1299, 2025. doi:10.1137/24M1657493

    work page doi:10.1137/24m1657493 2025

  29. [29]

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

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