Pith. sign in

REVIEW 3 minor 2 cited by

Hidden critical and Morse equivalence behind duality: Theory and Applications

T0 review · 0 major / 3 minor · reviewed 2026-06-26 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Polarity duality preserves the homotopy type of sublevel sets, Morse critical groups, and handlebody decompositions for ratios of nonnegative homogeneous convex functions on Banach spaces.

desk verdict The paper claims a decomposition-independent critical duality for DC functions that preserves Morse invariants under polarity for RC functions, plus concrete links to hypergraph and zonotope problems. read the letter →

arxiv 2606.27004 v1 pith:QN6NZ5RF submitted 2026-06-25 math.FA math.COmath.MGmath.SP

Dong Zhang This is my paper · ORCID
classification math.FAmath.COmath.MGmath.SP
keywords criticaldualityRCfunctionsDCMorsetheorypolaritydualLagrangepointshypergraphLaplacianszonotopes
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes that polarity duality leaves invariant a collection of critical-point and Morse-theoretic invariants for RC functions. These invariants include the homotopy type of sublevel sets, the Rothe critical groups attached to Morse critical points, the multiplicities of Lagrange critical points, Lusternik-Schnirelmann min-max values, Poincaré polynomials, and the structure of handlebody decompositions. The same duality supplies the first critical-point theory for DC functions that is independent of any chosen decomposition, thereby resolving an open question from earlier work on DC functions. The results are applied to rewrite the graph Cheeger constant via zonotopes, to characterize Lagrange criticality by contact data, and to equate the eigenproblems of the 1-Laplacian and infinity-Laplacian on hypergraphs with contact problems on zonotopes.

What carries the argument

The polarity dual operation, which sends each RC or DC function to its polar dual and thereby maps the listed critical and Morse invariants onto the corresponding invariants of the dual function.

What would settle it

An explicit RC function on a Banach space whose polarity dual has a different Rothe critical group at a corresponding critical point would falsify the preservation claim.

Watch

Extended reading notes

Core claim

The central claim is that polarity duality on RC functions preserves the homotopy type of sublevel sets, the Morse critical points together with their Rothe critical groups, the Lagrange critical points together with their multiplicities, the Lusternik-Schnirelmann min-max critical values, the Poincaré polynomials, and the structure of handlebody decompositions. For DC functions the same duality yields a critical-point theory that does not depend on a chosen DC decomposition.

Load-bearing premise

The polarity dual operation preserves the structures needed for the critical-point and Morse-theory equivalences to hold as stated for the RC and DC functions under study.

Editorial extensions

If this is right

  • The graph Cheeger constant admits a reformulation in terms of zonotopes.
  • Contact data supplies a geometric characterization of Lagrange criticality.
  • The eigenproblems for the 1-Laplacian and infinity-Laplacian on hypergraphs become equivalent to contact problems of zonotopes.
  • Certain nonlinear eigenvalue problems and bifurcation problems become dual to each other.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The invariance may permit computational or variational techniques developed for one function to be transferred directly to its dual in convex optimization settings.
  • The zonotope characterization of hypergraph Laplacians supplies a new geometric test for whether a given convex body is a zonotope.
  • The decomposition-independent DC duality may simplify numerical schemes that previously required explicit convex-concave splitting.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The paper develops a critical duality theory for ratios of nonnegative homogeneous convex functions (RC functions) and differences of convex functions (DC functions) on Banach spaces. It proves that polarity duality preserves the homotopy type of sublevel sets, Morse critical points and their Rothe critical groups, Lagrange critical points and multiplicities, Lusternik-Schnirelmann min-max critical values, Poincaré polynomials, and handlebody decompositions for RC functions. It further establishes the first DC critical duality theory independent of any specific DC decomposition, addressing open questions from Toland and Le-Pham. Applications include a zonotope reformulation of the graph Cheeger constant, introduction of contact data for geometric characterization of Lagrange criticality, equivalence between 1-Laplacian and ∞-Laplacian eigenproblems on hypergraphs and zonotope contact problems, a new characterization of zonotopes, and duality equivalences for certain nonlinear eigenvalue and bifurcation problems.

Significance. If the central claims hold, the work would constitute a substantial contribution to critical point theory in infinite-dimensional settings by establishing robust duality equivalences that link convex analysis, Morse theory, and combinatorial geometry. The decomposition-independent DC duality directly resolves a longstanding open question and enables new applications to hypergraph spectral problems and nonlinear eigenproblems without auxiliary choices. The explicit connections to zonotopes and contact data provide falsifiable geometric characterizations that could be tested in concrete examples.

minor comments (3)
  1. [Abstract/Introduction] The abstract and introduction refer to 'Rothe critical groups' and 'contact data' without an immediate definition or reference to the precise section where these are introduced; adding a brief forward pointer would improve readability for readers outside the immediate subfield.
  2. [Introduction] Several statements about preservation under polarity dual (e.g., handlebody decompositions) would benefit from an explicit statement of the precise topological or homological equivalence being claimed, even if the full proof appears later.
  3. [Applications] The applications section on hypergraph Laplacians and zonotopes would be strengthened by a short remark clarifying whether the equivalence is at the level of critical values, critical sets, or both.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the detailed and accurate summary of our manuscript, the positive assessment of its significance, and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper presents a series of duality theorems for RC and DC functions on Banach spaces, establishing preservation of homotopy types, critical groups, multiplicities, min-max values, Poincaré polynomials, and handlebody structures under polarity. These are positioned as extensions answering open questions from Toland and Le-Pham, with applications to graph Cheeger constants and hypergraph Laplacians derived directly from the stated equivalences. No load-bearing step reduces by construction to a fitted parameter, self-definition, or unverified self-citation chain; the derivations rely on standard convex analysis tools (bipolar theorem, etc.) and external literature without the target results presupposed. The central claims remain independently verifiable against the cited prior works.

Assumptions & free parameters 0 free parameters · 1 assumptions · 2 invented entities

The theory rests on the standard framework of convex analysis and critical point theory in Banach spaces; new concepts such as contact data and RC functions are introduced to formulate the duality and applications.

assumptions (1)
  • standard math Standard properties of convex functions, homogeneous functions, Banach spaces, and polarity duality as established in convex analysis.
    The duality results and applications are developed within the existing mathematical structure of functional analysis without introducing new unproved background results.
invented entities (2)
  • contact data
    purpose: Geometric characterization of Lagrange criticality
    New concept introduced to link criticality with zonotope contact problems in the applications.
  • RC functions
    purpose: Main object class for the critical duality theory
    Defined as ratios of nonnegative homogeneous convex functions to enable the polarity duality results.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hidden critical and Morse equivalence behind duality: Theory and Applications." pith.science (2026). https://pith.science/paper/QN6NZ5RF

@misc{pith2026260627004,
  author       = {Pith},
  title        = {Pith review of: Hidden critical and Morse equivalence behind duality: Theory and Applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QN6NZ5RF}},
  note         = {Machine review of arXiv:2606.27004}
}
abstract

The aim of this paper is to establish critical duality theory for ratios of nonnegative homogeneous convex functions (shorten for RC functions) and differences of convex functions (abbreviated as DC functions) on Banach spaces. Specifically, we establish a series of duality results on critical point theory and Morse theory for RC functions, including the homotopy type of sublevel sets, the Morse critical points and their Rothe critical groups, Lagrange critical points and their multiplicities, Lusternik-Schnirelman min-max critical values, Poincare polynomials, as well as the structure of handlebody decompositions, all of which are proved to be preserved under polarity dual. Moreover, we obtain the first critical duality theory of DC functions which does not depend on the DC decomposition. This answers a question left open from the work of Toland on DC functions and the work of Le-Pham on DC programming. We apply these results to provide a reformulation of the graph Cheeger constant using zonotopes; we introduce the contact data which serves as a geometric characterization of Lagrange criticality; and we show that the eigenproblems for 1-Laplacian and $\infty$-Laplacian on hypergraphs are equivalent to the contact problems of zonotopes, which indeed establishes a new characterization of zonotopes. We also prove a duality equivalence for certain nonlinear eigenvalue problems and bifurcation problems. Our study here reveals an intricate interaction of critical point theory with other fields such as convex analysis, combinatorial geometry, and nonlinear eigenproblems on graphs.

Figures

Figures reproduced from arXiv: 2606.27004 by the authors.

Figure 1
Figure 1. Description of the invariant of Morse theory and the entire critical data under dual [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. Description of the invariant of the refined critical pairs (critical points and critical [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Choquet-type extension theory of set-pair functions, and applications to graph limits, hypergraphs, Riemannian manifolds and metric measure spaces

    math.CO 2026-08 conditional novelty 7.0 of 10

    The paper proposes Choquet extensions for set-pair functions and L^p-integrated global extension constants, proving a monotonicity inequality that unifies Cheeger, spectral, and isoperimetric bounds across graph limit...

  2. Graphon as a Bridge between Graphs and Manifolds

    math.CO 2026-07 conditional novelty 6.0 of 10

    Weighted geometric graphs sampled from a manifold converge to graphons, graphons converge to the manifold as the scale shrinks, and monotonicity inequalities relate conductance, maxcut, capacity, and packing radius ac...

Reference graph

Works this paper leans on

95 extracted references · 6 canonical work pages · cited by 2 Pith papers

  1. [1]

    Symplectic homology of convex domains and Clarke’s duality.Duke Math

    Alberto Abbondandolo and Jungsoo Kang. Symplectic homology of convex domains and Clarke’s duality.Duke Math. J., 171(3):739–830, 2022

    2022

  2. [2]

    On the Floer homology of cotangent bundles.Comm

    Alberto Abbondandolo and Matthias Schwarz. On the Floer homology of cotangent bundles.Comm. Pure Appl. Math., 59(2):254–316, 2006

    2006

  3. [3]

    The role of the Legendre transform in the study of the Floer complex of cotangent bundles.Comm

    Alberto Abbondandolo and Matthias Schwarz. The role of the Legendre transform in the study of the Floer complex of cotangent bundles.Comm. Pure Appl. Math., 68(11):1885–1945, 2015. 63

    1945

  4. [4]

    Large signed subset sums.Mathematika, 67(3):579–595, 2021

    Gergely Ambrus and Bernardo Gonz´ alez Merino. Large signed subset sums.Mathematika, 67(3):579–595, 2021

    2021

  5. [5]

    Polarization, sign sequences and isotropic vector systems.Pacific J

    Gergely Ambrus and Sloan Nietert. Polarization, sign sequences and isotropic vector systems.Pacific J. Math., 303(2):385–399, 2019

    2019

  6. [6]

    Aravkin, James V

    Aleksandr Y. Aravkin, James V. Burke, Dmitry Drusvyatskiy, Michael P. Friedlander, and Scott Roy. Level-set methods for convex optimization.Math. Program., 174(1-2):359–390, 2019

    2019

  7. [7]

    Artstein, V

    S. Artstein, V. Milman, and S. J. Szarek. Duality of metric entropy.Ann. of Math. (2), 159(3):1313– 1328, 2004

    2004

  8. [8]

    Artstein-Avidan, D

    S. Artstein-Avidan, D. I. Florentin, and A. Segal. Functional Brunn-Minkowski inequalities induced by polarity.Adv. Math., 364:107006, 19, 2020

    2020

Show all 95 references
  1. [9]

    The concept of duality in convex analysis, and the characterization of the Legendre transform.Ann

    Shiri Artstein-Avidan and Vitali Milman. The concept of duality in convex analysis, and the characterization of the Legendre transform.Ann. of Math. (2), 169(2):661–674, 2009

    2009

  2. [10]

    A characterization of the support map.Adv

    Shiri Artstein-Avidan and Vitali Milman. A characterization of the support map.Adv. Math., 223(1):379–391, 2010

    2010

  3. [11]

    Hidden structures in the class of convex functions and a new duality transform.J

    Shiri Artstein-Avidan and Vitali Milman. Hidden structures in the class of convex functions and a new duality transform.J. Eur. Math. Soc. (JEMS), 13(4):975–1004, 2011

    2011

  4. [12]

    Rubinstein

    Shiri Artstein-Avidan and Yanir A. Rubinstein. Differential analysis of polarity: polar Hamilton- Jacobi, conservation laws, and Monge Amp` ere equations.J. Anal. Math., 132:133–156, 2017

    2017

  5. [13]

    Submodular function minimization and polarity.Math

    Alper Atamt¨ urk and Vishnu Narayanan. Submodular function minimization and polarity.Math. Program., 196(1-2):57–67, 2022

    2022

  6. [14]

    Birkh¨ auser Boston, Inc., Boston, MA, 1990

    Jean-Pierre Aubin and H´ el` ene Frankowska.Set-valued analysis, volume 2 ofSystems & Control: Foundations & Applications. Birkh¨ auser Boston, Inc., Boston, MA, 1990

    1990

  7. [15]

    Spectral theory of dense hypergraph limits

    ´Agnes Backhausz, Christian Kuehn, Sjoerd van der Niet, and Giulio Zucal. Spectral theory of dense hypergraph limits. arXiv:2511.03516

  8. [16]

    Critical points and curvature for embedded polyhedra.J

    Thomas Banchoff. Critical points and curvature for embedded polyhedra.J. Differential Geometry, 1:245–256, 1967

    1967

  9. [17]

    Bandeira, Amit Singer, and Daniel A

    Afonso S. Bandeira, Amit Singer, and Daniel A. Spielman. A Cheeger inequality for the graph connection Laplacian.SIAM J. Matrix Anal. Appl., 34(4):1611–1630, 2013

    2013

  10. [18]

    Bauschke and Patrick L

    Heinz H. Bauschke and Patrick L. Combettes.Convex analysis and monotone operator theory in Hilbert spaces. CMS Books in Mathematics/Ouvrages de Math´ ematiques de la SMC. Springer, New York, 2011. With a foreword by H´ edy Attouch

    2011

  11. [19]

    Fenchel duality theory and a primal-dual algorithm on Riemannian manifolds.Found

    Ronny Bergmann, Roland Herzog, Maur´ ıcio Silva Louzeiro, Daniel Tenbrinck, and Jos´ e Vidal- N´ u˜ nez. Fenchel duality theory and a primal-dual algorithm on Riemannian manifolds.Found. Comput. Math., 21(6):1465–1504, 2021

    2021

  12. [20]

    Eigenvalues of the Discrete p-Laplacian via Graph Surgery

    Gregory Berkolaiko and Matthias Hofmann. Eigenvalues of the Discrete p-Laplacian via Graph Surgery. arXiv:2509.06686

  13. [21]

    Approximating matrixp-norms

    Aditya Bhaskara and Aravindan Vijayaraghavan. Approximating matrixp-norms. InProceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, pages 497–511. SIAM, Philadelphia, PA, 2011

    2011

  14. [22]

    Ziegler.Oriented matroids, volume 46 ofEncyclopedia of Mathematics and its Applications

    Anders Bj¨ orner, Michel Las Vergnas, Bernd Sturmfels, Neil White, and G¨ unter M. Ziegler.Oriented matroids, volume 46 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, second edition, 1999

    1999

  15. [23]

    B¨ or¨ oczky and Rolf Schneider

    K´ aroly J. B¨ or¨ oczky and Rolf Schneider. A characterization of the duality mapping for convex bodies. Geom. Funct. Anal., 18(3):657–667, 2008

    2008

  16. [24]

    The persistent Laplacian of non-branching complexes.Found

    Magnus Bakke Botnan and Rui Dong. The persistent Laplacian of non-branching complexes.Found. Data Sci., 10:53–89, 2026. 64

    2026

  17. [25]

    A Cheeger-like inequality for coexact 1-forms.Duke Math

    Adrien Boulanger and Gilles Courtois. A Cheeger-like inequality for coexact 1-forms.Duke Math. J., 171(18):3593–3641, 2022

    2022

  18. [26]

    Vindas-Mel´ endez

    Benjamin Braun and Andr´ es R. Vindas-Mel´ endez. A brief survey on lattice zonotopes. InAlgebraic and geometric combinatorics on lattice polytopes, pages 101–116. World Sci. Publ., Hackensack, NJ, 2019

    2019

  19. [27]

    Brehm and W

    U. Brehm and W. K¨ uhnel. Combinatorial manifolds with few vertices.Topology, 26(4):465–473, 1987

    1987

  20. [28]

    Eigenvalue problems in L ∞: optimality conditions, duality, and relations with optimal transport.Commun

    Leon Bungert and Yury Korolev. Eigenvalue problems in L ∞: optimality conditions, duality, and relations with optimal transport.Commun. Am. Math. Soc., 2:345–373, 2022

    2022

  21. [29]

    Nonlinear eigenvalue problems for seminorms and applications

    Martin Burger. Nonlinear eigenvalue problems for seminorms and applications. InICM— International Congress of Mathematicians. Vol. 7. Sections 15–20, pages 5234–5255. EMS Press, Berlin, [2023]©2023

    2023

  22. [30]

    Variational methods for nondifferentiable functionals and their applications to partial differential equations.J

    Kung-Ching Chang. Variational methods for nondifferentiable functionals and their applications to partial differential equations.J. Math. Anal. Appl., 80(1):102–129, 1981

    1981

  23. [31]

    Birkh¨ auser Boston, Inc., Boston, MA, 1993

    Kung-Ching Chang.Infinite-dimensional Morse theory and multiple solution problems, volume 6 ofProgress in Nonlinear Differential Equations and their Applications. Birkh¨ auser Boston, Inc., Boston, MA, 1993

    1993

  24. [32]

    Frank H. Clarke. Generalized gradients and applications.Trans. Amer. Math. Soc., 205:247–262, 1975

    1975

  25. [33]

    Clarke.Optimization and nonsmooth analysis

    Frank H. Clarke.Optimization and nonsmooth analysis. Canadian Mathematical Society Series of Monographs and Advanced Texts. John Wiley & Sons, Inc., New York, 1983. A Wiley-Interscience Publication

    1983

  26. [34]

    Clarke.Optimization and Nonsmooth Analysis

    Frank H. Clarke.Optimization and Nonsmooth Analysis. SIAM, 1990

    1990

  27. [35]

    Charles V. Coffman. Lyusternik-Schnirelman theory and eigenvalue problems for monotone potential operators.J. Functional Analysis, 14:237–252, 1973

    1973

  28. [36]

    Deformation properties for contin- uous functionals and critical point theory.Topol

    Jean-No¨ el Corvellec, Marco Degiovanni, and Marco Marzocchi. Deformation properties for contin- uous functionals and critical point theory.Topol. Methods Nonlinear Anal., 1(1):151–171, 1993

    1993

  29. [37]

    Lipschitz sums of convex functions.Studia Math., 158(3):269– 286, 2003

    Marianna Cs¨ ornyei and Assaf Naor. Lipschitz sums of convex functions.Studia Math., 158(3):269– 286, 2003

    2003

  30. [38]

    On topological Morse theory.J

    Marco Degiovanni. On topological Morse theory.J. Fixed Point Theory Appl., 10(2):197–218, 2011

    2011

  31. [39]

    A critical point theory for nonsmooth functionals.Ann

    Marco Degiovanni and Marco Marzocchi. A critical point theory for nonsmooth functionals.Ann. Mat. Pura Appl. (4), 167:73–100, 1994

    1994

  32. [40]

    Springer-Verlag, Berlin, 1985

    Klaus Deimling.Nonlinear functional analysis. Springer-Verlag, Berlin, 1985

    1985

  33. [41]

    Robinson

    Pavel Dr´ abek and Stephen B. Robinson. Resonance problems for thep-Laplacian.J. Funct. Anal., 169(1):189–200, 1999

    1999

  34. [42]

    Harer.Computational topology

    Herbert Edelsbrunner and John L. Harer.Computational topology. American Mathematical Society, Providence, RI, 2010. An introduction

    2010

  35. [43]

    Springer-Verlag, Berlin, 1990

    Ivar Ekeland.Convexity methods in Hamiltonian mechanics, volume 19 ofErgebnisse der Mathe- matik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, 1990

    1990

  36. [44]

    Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, english edition, 1999

    Ivar Ekeland and Roger T´ emam.Convex analysis and variational problems, volume 28 ofClassics in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, english edition, 1999. Translated from the French

    1999

  37. [45]

    Hypergraphp-Laplacians and scale spaces.J

    Ariane Fazeny, Daniel Tenbrinck, Kseniia Lukin, and Martin Burger. Hypergraphp-Laplacians and scale spaces.J. Math. Imaging Vision, 66(4):529–549, 2024

    2024

  38. [46]

    Morse theory for cell complexes.Adv

    Robin Forman. Morse theory for cell complexes.Adv. Math., 134(1):90–145, 1998. 65

    1998

  39. [47]

    Robert M. Freund. Dual gauge programs, with applications to quadratic programming and the minimum-norm problem.Math. Programming, 38(1):47–67, 1987

    1987

  40. [48]

    Friedlander, Ives Macˆ edo, and Ting Kei Pong

    Michael P. Friedlander, Ives Macˆ edo, and Ting Kei Pong. Gauge optimization and duality.SIAM J. Optim., 24(4):1999–2022, 2014

    1999

  41. [49]

    On the minimax spherical designs.Random Structures Algorithms, 62(1):131–154, 2023

    Weibo Fu, Guanyang Wang, and Jun Yan. On the minimax spherical designs.Random Structures Algorithms, 62(1):131–154, 2023

    2023

  42. [50]

    Gardner, Daniel Hug, and Wolfgang Weil

    Richard J. Gardner, Daniel Hug, and Wolfgang Weil. Operations between sets in geometry.J. Eur. Math. Soc. (JEMS), 15(6):2297–2352, 2013

    2013

  43. [51]

    Goldman and N

    O. Goldman and N. Iwahori. The space ofp-adic norms.Acta Math., 109:137–177, 1963

    1963

  44. [52]

    Springer-Verlag, Berlin, 1988

    Mark Goresky and Robert MacPherson.Stratified Morse theory, volume 14 ofErgebnisse der Math- ematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, 1988

    1988

  45. [53]

    Gutman and Javier F

    David H. Gutman and Javier F. Pe˜ na. Perturbed Fenchel duality and first-order methods.Math. Program., 198(1):443–469, 2023

    2023

  46. [54]

    Injective metrics on buildings and symmetric spaces.Bull

    Thomas Haettel. Injective metrics on buildings and symmetric spaces.Bull. Lond. Math. Soc., 54(6):2297–2313, 2022

    2022

  47. [55]

    An inverse power method for nonlinear eigenproblems with applications in 1–spectral clustering and sparse PCA.NIPS, pages 847–855, 2010

    Matthias Hein and Thomas B¨ uhler. An inverse power method for nonlinear eigenproblems with applications in 1–spectral clustering and sparse PCA.NIPS, pages 847–855, 2010

    2010

  48. [56]

    Gradients of quotients and eigenvalue problems.BIT, 65(2):Paper No

    Marko Huhtanen and Olavi Nevanlinna. Gradients of quotients and eigenvalue problems.BIT, 65(2):Paper No. 21, 26, 2025

    2025

  49. [57]

    Ioffe and Efim Schwartzman

    Alexander D. Ioffe and Efim Schwartzman. Metric critical point theory. I. Morse regularity and homotopic stability of a minimum.J. Math. Pures Appl. (9), 75(2):125–153, 1996

    1996

  50. [58]

    Cambridge University Press, 2026

    J¨ urgen Jost, Raffaella Mulas, and Dong Zhang.Spectra of Discrete Structures. Cambridge University Press, 2026

    2026

  51. [59]

    Cheeger inequalities on simplicial complexes.Ann

    J¨ urgen Jost and Dong Zhang. Cheeger inequalities on simplicial complexes.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 2024

    2024

  52. [60]

    Discrete-to-continuous extensions: Lov´ asz extension and Morse theory.Discrete Comput

    J¨ urgen Jost and Dong Zhang. Discrete-to-continuous extensions: Lov´ asz extension and Morse theory.Discrete Comput. Geom., 72(1):49–72, 2024

    2024

  53. [61]

    Convex functions on symmetric spaces, side lengths of polygons and the stability inequalities for weighted configurations at infinity.J

    Michael Kapovich, Bernhard Leeb, and John Millson. Convex functions on symmetric spaces, side lengths of polygons and the stability inequalities for weighted configurations at infinity.J. Differential Geom., 81(2):297–354, 2009

    2009

  54. [62]

    Mountain pass theorems and global homeomorphism theorems.Ann

    Guy Katriel. Mountain pass theorems and global homeomorphism theorems.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 11(2):189–209, 1994

    1994

  55. [63]

    Knudson and Nicholas A

    Kevin P. Knudson and Nicholas A. Scoville. Discrete morse theory for open complexes.Topology and its Applications, page 109867, 2026

    2026

  56. [64]

    Variational graphp-Laplacian eigende- composition underp-orthogonality constraints.Comput

    Alessandro Lanza, Serena Morigi, and Giuseppe Recupero. Variational graphp-Laplacian eigende- composition underp-orthogonality constraints.Comput. Optim. Appl., 91(2):787–825, 2025

    2025

  57. [65]

    DC programming and DCA: thirty years of developments

    Hoai An Le Thi and Tao Pham Dinh. DC programming and DCA: thirty years of developments. Math. Program., 169(1):5–68, 2018

    2018

  58. [66]

    Vector- valued distance and gyrocalculus on the space of symmetric positive definite matrices

    Federico L´ opez, Beatrice Pozzetti, Steve Trettel, Michael Strube, and Anna Wienhard. Vector- valued distance and gyrocalculus on the space of symmetric positive definite matrices. In M. Ran- zato, A. Beygelzimer, Y. Dauphin, P.S. Liang, and J. Wortman Vaughan, editors,Advanc...

    2021

  59. [67]

    Marques and Andr´ e Neves

    Fernando C. Marques and Andr´ e Neves. Existence of infinitely many minimal hypersurfaces in positive Ricci curvature.Invent. Math., 209(2):577–616, 2017. 66

    2017

  60. [68]

    Universitext

    Jiˇ r´ ı Matouˇ sek.Using the Borsuk-Ulam theorem. Universitext. Springer-Verlag, Berlin, 2003. Lec- tures on topological methods in combinatorics and geometry, Written in cooperation with Anders Bj¨ orner and G¨ unter M. Ziegler

    2003

  61. [69]

    Springer-Verlag, New York, 1989

    Jean Mawhin and Michel Willem.Critical point theory and Hamiltonian systems, volume 74 of Applied Mathematical Sciences. Springer-Verlag, New York, 1989

    1989

  62. [70]

    Jos´ e M. Maz´ on. The Cheeger cut and Cheeger problem in metric graphs.Anal. Math. Phys., 12(5):Paper No. 117, 37, 2022

    2022

  63. [71]

    Delta-convex structure of the singular set of distance functions

    Tatsuya Miura and Minoru Tanaka. Delta-convex structure of the singular set of distance functions. Comm. Pure Appl. Math., 77(9):3631–3669, 2024

    2024

  64. [72]

    Olaf Mordhorst and Elisabeth M. Werner. Floating and illumination bodies for polytopes: duality results.Discrete Anal., pages Paper No. 11, 22, 2019

    2019

  65. [73]

    Functional topology and abstract variational theory.Ann

    Marston Morse. Functional topology and abstract variational theory.Ann. of Math. (2), 38(2):386– 449, 1937

    1937

  66. [74]

    Non-markovian heat flows on directed hypergraphs

    Delio Mugnolo. Non-markovian heat flows on directed hypergraphs. arXiv:2510.17497

  67. [75]

    Agarwal, and Donal O’Regan.Morse theoretic aspects ofp-Laplacian type operators, volume 161 ofMathematical Surveys and Monographs

    Kanishka Perera, Ravi P. Agarwal, and Donal O’Regan.Morse theoretic aspects ofp-Laplacian type operators, volume 161 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2010

    2010

  68. [76]

    Duality and best constant for a Trudinger-Moser inequality involving probability measures.J

    Tonia Ricciardi and Takashi Suzuki. Duality and best constant for a Trudinger-Moser inequality involving probability measures.J. Eur. Math. Soc. (JEMS), 16(7):1327–1348, 2014

    2014

  69. [77]

    J¨ urgen Richter-Gebert and G¨ unter M. Ziegler. Zonotopal tilings and the Bohne-Dress theorem. In Jerusalem combinatorics ’93, volume 178 ofContemp. Math., pages 211–232. Amer. Math. Soc., Providence, RI, 1994

    1994

  70. [78]

    Tyrrell Rockafellar.Convex analysis, volume No

    R. Tyrrell Rockafellar.Convex analysis, volume No. 28 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1970

    1970

  71. [79]

    International Series in Pure and Applied Mathematics

    Walter Rudin.Functional analysis. International Series in Pure and Applied Mathematics. McGraw- Hill, Inc., New York, second edition, 1991

    1991

  72. [80]

    Fenchel duality and a separation theorem on Hadamard manifolds.SIAM J

    Maur´ ıcio Silva Louzeiro, Ronny Bergmann, and Roland Herzog. Fenchel duality and a separation theorem on Hadamard manifolds.SIAM J. Optim., 32(2):854–873, 2022

    2022

  73. [81]

    A Fenchel-Rockafellar type duality theorem for maximization.Bull

    Ivan Singer. A Fenchel-Rockafellar type duality theorem for maximization.Bull. Austral. Math. Soc., 20(2):193–198, 1979

    1979

  74. [82]

    A Cheeger-type inequality on simplicial complexes.Adv

    John Steenbergen, Caroline Klivans, and Sayan Mukherjee. A Cheeger-type inequality on simplicial complexes.Adv. in Appl. Math., 56:56–77, 2014

    2014

  75. [83]

    Minimax principles for lower semicontinuous functions and applications to non- linear boundary value problems.Ann

    Andrzej Szulkin. Minimax principles for lower semicontinuous functions and applications to non- linear boundary value problems.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 3(2):77–109, 1986

    1986

  76. [84]

    Algorithmes de calcul du maximum des formes quadratiques sur la boule unit´ e de la norme du maximum.Numer

    Pham Dinh Tao. Algorithmes de calcul du maximum des formes quadratiques sur la boule unit´ e de la norme du maximum.Numer. Math., 45(3):377–401, 1984

    1984

  77. [85]

    John F. Toland. A duality principle for nonconvex optimisation and the calculus of variations.Arch. Rational Mech. Anal., 71(1):41–61, 1979

    1979

  78. [86]

    Schaub, and Mauricio Barahona

    Francesco Vigan` o, Tolga Birdal, Michael T. Schaub, and Mauricio Barahona. Root-to-Leaf Path Random Walks, Normalized Hodge Laplacians, and Cheeger Inequalities on Simplicial Complexes. arXiv:2604.27241

    arXiv

  79. [87]

    Bertozzi, and Matthew Thorpe

    Adrien Weihs, Andrea L. Bertozzi, and Matthew Thorpe. Analysis of Semi-Supervised Learning on Hypergraphs. arXiv:2510.25354

  80. [88]

    Bertozzi, and Matthew Thorpe

    Adrien Weihs, Andrea L. Bertozzi, and Matthew Thorpe. Higher-Order Regularization Learning on Hypergraphs. arXiv:2510.26533. 67

  81. [89]

    Witsenhausen

    Hans S. Witsenhausen. Metric inequalities and the zonoid problem.Proc. Amer. Math. Soc., 40:517–520, 1973

    1973

  82. [90]

    On theorems of Borsuk-Ulam, Kakutani-Yamabe-Yujobˆ o and Dyson

    Chung-Tao Yang. On theorems of Borsuk-Ulam, Kakutani-Yamabe-Yujobˆ o and Dyson. I.Ann. of Math. (2), 60:262–282, 1954

    1954

  83. [91]

    Ziegler.Lectures on polytopes, volume 152 ofGraduate Texts in Mathematics

    G¨ unter M. Ziegler.Lectures on polytopes, volume 152 ofGraduate Texts in Mathematics. Springer- Verlag, New York, 1995. A Appendix A.1 Supplement for the function spaceCvx p 0(X) The following results are basic properties on polarity dual and direct consequences of Definition...

    1995

  84. [92]

    = supf(x)⩽1 ⟨tx∗ 1+(1−t)x ∗ 2, x⟩⩽tsup f(x)⩽1 ⟨x∗ 1, x⟩+ (1−t) sup f(x)⩽1 ⟨x∗ 2, x⟩=tf ◦(x∗

  85. [93]

    inappropriate

    + (1−t)f ◦(x∗ 2) f ◦ is lower semi-continuous since for any convergent sequencex k →x ∗, lim inf k f ◦(xk) = lim n→+∞ inf k⩾n sup f(x)⩽1 ⟨xk, x⟩⩾sup f(x)⩽1 lim n→+∞ inf k⩾n ⟨xk, x⟩= sup f(x)⩽1 ⟨x∗, x⟩=f ◦(x∗) (P7) Iff∈Cvx p 0(X), then for anyx ∗ ∈∂f(x),⟨x ∗, x⟩=pf(x). Proof:t⟨...

  86. [94]

    Considerf−gandg ◦ −f ◦

    Then g◦(x) = p x2 1 +x 2 2 andf ◦(x) = 1 4(x2 1 +x 2 2). Considerf−gandg ◦ −f ◦. It is clear that, f(x)−g(x) =x 2 1 +x 2 2 − p x2 1 +x 2 2 ⩾− 1 4, whileg ◦(x)−f ◦(x) = p x2 1 +x 2 2 − 1 4(x2 1 +x 2 2)⩽1. Therefore, the homotopy type of{f−g⩽c}and{g ◦ −f ◦ ⩽c}are different for v...

  87. [95]

    For anyc⩾0,{f−g⩽c}must be a closed disc, and{g ∗ −f ∗ ⩽c}is always the unit closed disc

    = +∞ifx 2 1 +x 2 2 >1 and=− 1 4(x2 1 +x 2 2)ifx 2 1 +x 2 2 ⩽1. For anyc⩾0,{f−g⩽c}must be a closed disc, and{g ∗ −f ∗ ⩽c}is always the unit closed disc. For any− 1 4 < c <0, both{f−g⩽c}and{g ∗ −f ∗ ⩽c}are ring zones. Forc=− 1 4, both{f−g⩽c}and{g ∗ −f ∗ ⩽c}are circles of dimensi...

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.