Pith. sign in

REVIEW 2 major objections 6 minor 87 references

From the discrete to the continuous, from simplicial complexes to Riemannian manifolds. Approximating flows and cuts on manifolds by discrete versions

T0 review · 2 major / 6 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read This survey claims that Riemannian geometry and its discrete counterparts are connected by convergence and by shared tools: Laplacians, boundary operators, and Cheeger-type inequalities.

desk verdict A useful survey of discrete-to-continuous bridges in geometry, with a clear synthesis and some sloppy spots; the Floer-type boundary section needs a careful check. read the letter →

arxiv 2512.05319 v2 pith:XHI4QKIT submitted 2025-12-04 math.DG math.DSmath.MG

Marzieh Eidi , Juergen Jost , Dong Zhang This is my paper · ORCID
classification math.DGmath.DSmath.MG MSC 05C5005E4553C2155U1058A1458E05
keywords simplicialcomplexesRiemannianmanifoldsHodge/EckmannLaplacianCheegerinequalitiesMorse-FloerboundaryoperatordiscreteMorsetheorygraphconvergencedisorientability
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 survey argues that the fundamental structures of Riemannian geometry — Hodge theory, Morse theory, spectral geometry, and Cheeger-type inequalities — have discrete counterparts on graphs and simplicial complexes, and that the two sides are connected by more than analogy: when a graph is sampled from a manifold or a simplicial complex triangulates it, the discrete Laplacians and cut quantities converge to their continuous limits. It highlights three recent developments: Cheeger inequalities for higher-dimensional simplicial complexes, a Floer-style boundary operator that works in the presence of periodic or homoclinic orbits, and a spectral criterion for disorientability. The reader should care because this means tools developed for continuous geometry can be transferred to discrete settings in data science, and open problems about higher-order Laplacians and random walks become tractable.

What carries the argument

The carrying mechanism is the pair of discrete analogues of continuous objects: the combinatorial (Eckmann) Laplacian, whose kernel gives Betti numbers, whose smallest positive eigenvalue is controlled by Cheeger-type constants, and whose largest eigenvalue detects disorientability; and the boundary operator that counts flow lines between critical points and orbits and squares to zero, recovering homology. Around these, the paper uses the Lovász extension to turn discrete functions into continuous ones for convergence arguments, and a signed-graph construction that rewrites the up-Laplacian as an affine function of a graph Laplacian, linking higher-dimensional spectra to graph spectral theor

What would settle it

Examine the cited proof (references 29 and 30 in the paper) for the boundary operator's square-zero property; then compute ∂^2 on a concrete Morse-Smale system with a periodic orbit, such as the one in Figure 3.4 of the paper, and check whether the resulting chain complex has the correct homology (for S^2, Betti numbers 1,0,1). A counterexample would directly refute the generalization.

Watch

Extended reading notes

Core claim

The survey's central claim is that the discrete and continuous worlds of geometry are systematically connected, not just as a list of analogies but through explicit convergence and transfer. Concretely, it reports that Cheeger-type inequalities hold for the higher-dimensional up-Laplacian of a simplicial complex, with the relevant Cheeger constant definable in four equivalent ways (multiset cuts, integer expanders, the 1-Laplacian eigenvalue, and a filling radius); that a generalized Floer-type boundary operator counting flow lines between critical points, periodic orbits, and homoclinic orbits squares to zero and recovers homology; and that a simplicial complex is disorientable exactly when

Load-bearing premise

The entire survey rests on the quoted but unproved assertion that the generalized boundary operator that counts flow lines between critical points and periodic or homoclinic orbits squares to zero; if that proof contains a gap, the Morse–Floer half of the survey's unification collapses.

Editorial extensions

If this is right

  • Graph Laplacian methods on point-cloud data inherit spectral guarantees about the underlying manifold when the sampling is fine enough.
  • The higher-dimensional Cheeger inequalities give computable cut quantities that certify the spectral gap of a simplicial complex's up-Laplacian.
  • The generalized Floer boundary operator extends Morse-theoretic homology computations to dynamical systems with periodic or homoclinic orbits.
  • The disorientability criterion reduces a topological orientation question to checking whether a Laplacian eigenvalue attains its maximum, something directly computable.
  • The equivalence of four definitions of the simplicial Cheeger constant lets practitioners choose the combinatorial, spectral, or geometric formulation best suited to a problem.

Reading between the lines

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

  • The signed-graph reduction used for the top-dimensional up-Laplacian may extend to intermediate dimensions, offering higher-order spectral clustering algorithms with convergence guarantees inherited from the manifold limit.
  • The purely combinatorial version of the Floer boundary operator suggests that homology of discrete dynamical systems could be computed algorithmically, bypassing transversality conditions entirely.
  • The Lovász-extension bridge indicates that continuous optimization methods could be applied to combinatorial cut problems, and conversely discrete combinatorial insights could inform continuous spectral geometry, beyond the specific theorems quoted.
  • If the convergence results for Cheeger constants hold at quantitative rates, approximation algorithms for graph cuts (e.g., sparsest cut) might be designed by first solving a smoother manifold problem, yielding better guarantees than purely discrete approaches.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 6 minor

Summary. This is a survey, not an original research paper. It argues that many structures of Riemannian geometry have discrete or combinatorial counterparts—Hodge/Eckmann Laplacians, Morse–Witten–Floer versus Forman complexes, and Cheeger-type inequalities—and that these are related both as structural analogies and through concrete convergence results when graphs or simplicial complexes approximate a Riemannian manifold. It collects recent results, including higher-order Cheeger inequalities on simplicial complexes, a generalized Floer-type boundary operator for Morse–Smale systems with periodic or homoclinic orbits, and a disorientability criterion for simplicial complexes. Most theorems are quoted from the literature, often the authors' own prior work.

Significance. The value of the manuscript is expository: it organizes a substantial body of material and connects different communities. It is explicit about open problems and about its survey nature. Strengths include the Lovász-extension bridge between discrete and continuous Morse theory (Thm 3.1), the four equivalent formulations of simplicial Cheeger constants (Thm 4.1), the signed-graph viewpoint on higher-dimensional Laplacians, and the convergence statements with explicit references. Because the survey relies on the correctness of quoted results, the main risks are the accuracy of the quoted statements and the completeness of the presentation, not the novelty of the arguments.

major comments (2)
  1. [§3.3, displayed formulas for ∂p_k, ∂O^1_{k−1}, etc.] With generators p_k, O^0_k, O^1_{k−1}, H^0_k, H^1_{k−1} in dimension k, the formulas omit possible dimension-(k−1) terms such as α(p_k,O^0_{k−1}), α(p_k,H^0_{k−1}), α(O^1_{k−1},O^0_{k−1}), α(O^1_{k−1},H^0_{k−1}). The stated nondegeneracy condition (no connecting orbits between objects of the same index) does not exclude these, since the indices differ by 1. Because ∂²=0 is only deferred to [29,30], the reader cannot verify the abstract's Floer-type claim. Please state why the omitted coefficients vanish or include them, and give the exact supporting statement in [29,30].
  2. [§2.2, sentence after (28)] The sentence says the operators L_k^up, L_k^down and L_k are self-adjoint non-negative operators on finite-dimensional Hilbert spaces. For the Hodge Laplacians on compact Riemannian manifolds, the space of L² k-forms is infinite-dimensional and the operators are unbounded with compact resolvent; the finite-dimensional assertion is false. This is a factual error in the core background and should be corrected, including in §2.3 if manifold operators are meant there.
minor comments (6)
  1. [§4.2.4] The second 'Theorem 4.1' (with Eq. (96)) duplicates the numbering of the theorem in §4.2.3; renumber it.
  2. [§3.3] 'More precisely, Thus,' is a broken sentence, and the notation switches between O_k and O^0_k/O^1_k without a clear definition of the relation between the two.
  3. [§2.2] In the sentence after (28), the symbols L are used where ∆ is intended.
  4. [§4.1.3] The quantity h^{σ−}_1 in (84) is used before being defined; please define it.
  5. [§1, References] Typographical issues: 'nameeigenvalue' lacks a space, and reference [46] has the year printed as '195'.
  6. [Figures 3.1 and 3.4] The captions refer to colors ('green circle') that may not be distinguishable in print; use labels instead of or in addition to color.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the survey's claims are explicitly attributed to prior published work, including the authors' own, rather than derived from their own conclusions.

full rationale

This is a survey, not a derivation paper. Every substantive theorem is quoted with an external attribution: Eckmann's theorem (14) is from [27,54]; the graph Cheeger inequality (74) is from [18] via [62]; the signed-graph inequalities (80) and (86) are from [3]; the higher-order simplicial Cheeger estimates are cited to [65] and [62]; the discrete-to-continuous Morse equivalences are cited to [66]; and the disorientability eigenvalue criterion is attributed to [77, Proposition 2.7], with the geometric characterization attributed to [32,33]. The authors' own prior work is used in the same way: Section 3.3's generalized Floer boundary operator is presented as a result of [29,30] (published as Eidi–Jost, Communications in Mathematics and Statistics 2024), with the proof of ∂²=0 deferred there, and Section 4.2.3's four Cheeger constants are cited to [65]. A survey may legitimately rest on the authors' own published theorems; that is self-citation, not circularity, because no equation in the present text is defined in terms of, or fitted to, the conclusion it is used to support. The §3.3 display may be incomplete (the formulas for ∂p_k and ∂O^1_{k−1} omit possible O^0_{k−1}/H^0_{k−1}/p_{k−1} terms, and the nondegeneracy conditions are informal), and the square-zero proof is indeed deferred; but that is a correctness/completeness risk, not a circularity, and the paper itself identifies the proof as belonging to [29,30], not as a consequence of anything derived here.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters or invented entities. The survey's reliability rests on cited theorems; the most fragile are the authors' own higher-order Cheeger and Floer-type results, plus the spectral/Γ-convergence theorems for random geometric graphs.

assumptions (3)
  • domain assumption The cited results of Hodge/Eckmann, Morse–Witten–Floer, Forman, and Cheeger-type inequalities are correct as stated in the cited papers.
    The survey reuses these results without proof; any error in the cited literature propagates into the survey's synthesis.
  • domain assumption The generalized Floer boundary operator of Section 3.3 squares to zero under the stated transversality/nondegeneracy conditions.
    Stated in Section 3.3 with proof deferred to [29,30]; Figs. 3.2/3.6 show the natural count fails without those conditions.
  • domain assumption Spectral convergence and Γ-convergence results for random geometric graphs and approximating complexes (Belkin–Niyogi [7,8], García Trillos–Slepčev [41,42]) hold.
    Section 4.1.4 uses these to assert discrete approximations converge to manifold quantities.

how reviews work

0 comments
Cite this review

Pith. "Pith review of From the discrete to the continuous, from simplicial complexes to Riemannian manifolds. Approximating flows and cuts on manifolds by discrete versions." pith.science (2026). https://pith.science/paper/XHI4QKIT

@misc{pith2026251205319,
  author       = {Pith},
  title        = {Pith review of: From the discrete to the continuous, from simplicial complexes to Riemannian manifolds. Approximating flows and cuts on manifolds by discrete versions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XHI4QKIT}},
  note         = {Machine review of arXiv:2512.05319}
}
read the original abstract

Many fundamental structures of Riemannian geometry have found discrete counterparts for graphs or combinatorial ones for simplicial complexes. These include those discussed in this survey, Hodge theory, Morse theory, the spectral theory of Laplace type operators and Cheeger inequalities, and their interconnections. This raises the question of the relation between them, abstractly as structural analogies and concretely what happens when a graph constructed from random sampling of a Riemannian manifold or a simplicial complex triangulating such a manifold converge to that manifold. We survey the current state of research, highlighting some recent developments like Cheeger type inequalities for the higher dimensional geometry of simplicial complexes, Floer type constructions in the presence of periodic or homoclinic orbits of dynamical systems or the disorientability of simplicial complexes.

Figures

Figures reproduced from arXiv: 2512.05319 by the authors.

Figure 3.1
Figure 3.1. A Morse function on S 2 3 Morse theory and flows 3.1 Morse theory on Riemannian manifolds Morse theory tells us that the number mk of critical points of index k of a smooth function f on a compact Riemannian manifold M (dim M = n, metric tensor gij ) that has only non-degenerate critical points satisfies mk ≥ bk (42) and more generally mk − mk−1 ± . . .(−1)km0 ≥ bk − bk−1 ± . . .(−1)k b0 (43) and Xn i=0 (−1)imk = Xn… view at source ↗
Figure 3
Figure 3. indicates a Morse function on [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figure 3.2
Figure 3.2. An example that does not satisfy the condition for the boundary [PITH_FULL_IMAGE:figures/full_fig_p013_3_2.png] view at source ↗
Figures from the paper (6 more)
Figure 3.3
Figure 3.3. Figure 3.3: Resolving the problem of Fig.3.2 by adding a pair of critical points, [PITH_FULL_IMAGE:figures/full_fig_p014_3_3.png]
Figure 3.4
Figure 3.4. Figure 3.4: A Morse-Smale dynamical system on S 2 with a periodic orbit O latter. Analogously for homoclinics Hk. Thus, each such orbit carries topology in two adjacent dimensions and therefore corresponds to two elements in the boundary calculus. The differential ∂k : Ck(X) −→ …
Figure 3.5
Figure 3.5. Figure 3.5: Replacing the periodic orbit in Fig. 3.4 by two heteroclinic orbits, [PITH_FULL_IMAGE:figures/full_fig_p016_3_5.png]
Figure 3.6
Figure 3.6. Figure 3.6: An example that does not satisfy the condition for the boundary [PITH_FULL_IMAGE:figures/full_fig_p017_3_6.png]
Figure 3.7
Figure 3.7. Figure 3.7: A simplicial Morse function 1. there is at most one simplex ρk+1 ⊃ σk with f(ρk+1) ≤ f(σk) (53) and 2. at most one simplex τk−1 ⊂ σk with f(τk−1) ≥ f(σk). (54) The simplices for which neither of these possibilities holds are called critical [PITH_FULL_IMAGE:figures/…
Figure 3
Figure 3. Figure 3: shows a Morse function with a critical vertex with value 0 (the [PITH_FULL_IMAGE:figures/full_fig_p017_3.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

87 extracted references · 8 linked inside Pith

  1. [1]

    Alon and V

    N. Alon and V. Milman.λ 1, isoperimetric inequalities for graphs, and superconcentrators.Journal of Combinatorial Theory, Series B, 38(1):73– 88, 1985

    1985

  2. [2]

    Amghibech

    S. Amghibech. Eigenvalues of the discretep-Laplacian for graphs.Ars Combinatoria, 67:283—-302, 2003. 34

    2003

  3. [3]

    Cheeger constants, structural balance, and spectral clustering analysis for signed graphs.Discrete Mathematics, 343(1):111616, 2020

    Fatihcan Atay and Shiping Liu. Cheeger constants, structural balance, and spectral clustering analysis for signed graphs.Discrete Mathematics, 343(1):111616, 2020

    2020

  4. [4]

    About non-uniqueness when removing closed orbits in Morse-Smale vector fields.arXiv preprint arXiv:2410.02363, 2024

    Clemens Bannwart. About non-uniqueness when removing closed orbits in Morse-Smale vector fields.arXiv preprint arXiv:2410.02363, 2024

    arXiv 2024

  5. [5]

    Kluwer, 2004

    Augustin Banyaga and David Hurtubise.Lectures on Morse homology. Kluwer, 2004

    2004

  6. [6]

    Bipartite and neighborhood graphs and the spectrum of the normalized graph laplacian.Comm

    Frank Bauer and J¨ urgen Jost. Bipartite and neighborhood graphs and the spectrum of the normalized graph laplacian.Comm. Anal. Geom., 21:787 – 845, 2013

    2013

  7. [7]

    Laplacian eigenmaps for dimensionality reduction and data representation.Neural Computation, 15(6):1373–1396, 2003

    Mikhail Belkin and Partha Niyogi. Laplacian eigenmaps for dimensionality reduction and data representation.Neural Computation, 15(6):1373–1396, 2003

    2003

  8. [8]

    Towards a theoretical foundation for Laplacian-based manifold methods.Journal of Computer and System Sci- ences, 74(8):1289–1308, 2008

    Mikhail Belkin and Partha Niyogi. Towards a theoretical foundation for Laplacian-based manifold methods.Journal of Computer and System Sci- ences, 74(8):1289–1308, 2008. Learning Theory 2005

    2008

Show all 87 references
  1. [9]

    Ricerche di analisi applicata alla geometria.Giornale di Matematiche, pages vol

    Eugenio Beltrami. Ricerche di analisi applicata alla geometria.Giornale di Matematiche, pages vol. II: 267–282, 297–306, 331–339, 355–?; vol. III: 15–22, 33–45, 82–91, 228–240, 311–314, 1864

  2. [10]

    Pubblicate per cura della Facolt` a di scienze della R

    Eugenio Beltrami.Opere matematiche di Eugenio Beltrami. Pubblicate per cura della Facolt` a di scienze della R. Universit` a di Roma. U. Hoepli, Milano, 1902–20

    1902

  3. [11]

    Discrete Morse theory is at least as perfect as Morse theory.arXiv e-prints, page arXiv:1010.0548, October 2010

    Bruno Benedetti. Discrete Morse theory is at least as perfect as Morse theory.arXiv e-prints, page arXiv:1010.0548, October 2010

    2010 arXiv

  4. [12]

    Smoothing discrete Morse theory.Ann

    Bruno Benedetti. Smoothing discrete Morse theory.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), pages 335–368, 2016

    2016

  5. [13]

    Combinatorial manifolds with few vertices.Topology, 26(4):465–473, 1987

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

    1987

  6. [14]

    ¨Uber eine Ungleichung von Cheeger.Mathematische Zeitschrift, 158(3):245–252, 1978

    Peter Buser. ¨Uber eine Ungleichung von Cheeger.Mathematische Zeitschrift, 158(3):245–252, 1978

    1978

  7. [15]

    On Cheeger’s inequality:λ 1 ≥ 1 4 h2.AMS Proc.Symp.Pure Math., 36:29–77, 1980

    Peter Buser. On Cheeger’s inequality:λ 1 ≥ 1 4 h2.AMS Proc.Symp.Pure Math., 36:29–77, 1980

    1980

  8. [16]

    A note on the isoperimetric constant.Ann

    Peter Buser. A note on the isoperimetric constant.Ann. Sci. ´Ecole Norm. Sup. (4), 15(2):213–230, 1982

    1982

  9. [17]

    A lower bound for the smallest eigenvalue of the Laplacian

    Jeff Cheeger. A lower bound for the smallest eigenvalue of the Laplacian. InProblems in Analysis, pages 195–199. Princeton Univ.Press, 1970. 35

    1970

  10. [18]

    Fan R. K. Chung.Spectral graph theory, volume 92 ofCBMS Regional Conference Series in Mathematics. Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Provi- dence, RI, 1997

    1997

  11. [19]

    CBMS Reg

    Charles Conley.Isolated invariant sets and the Morse index. CBMS Reg. Conf. Ser. Math. 38, AMS, Providence, R.I., 1978

    1978

  12. [20]

    On topological and metric critical point theory.Journal of Fixed Point Theory and Applications, 7(1):85–102, 2010

    Marco Degiovanni. On topological and metric critical point theory.Journal of Fixed Point Theory and Applications, 7(1):85–102, 2010

    2010

  13. [21]

    A critical point theory for nons- mooth functional.Annali di Matematica Pura ed Applicata, 167(1):73–100, 1994

    Marco Degiovanni and Marco Marzocchi. A critical point theory for nons- mooth functional.Annali di Matematica Pura ed Applicata, 167(1):73–100, 1994

    1994

  14. [22]

    Nodal domain count for the generalized graphp-Laplacian.Appl

    Piero Deidda, Mario Putti, and Francesco Tudisco. Nodal domain count for the generalized graphp-Laplacian.Appl. Comput. Harmon. Anal., 64:1–32, 2023

    2023

  15. [23]

    Finite-difference approach to the Hodge theory of harmonic forms.Amer

    Jozef Dodziuk. Finite-difference approach to the Hodge theory of harmonic forms.Amer. J. Math., 98(1):79–104, 1976

    1976

  16. [24]

    Difference equations, isoperimetric inequality and tran- sience of certain random walks.Transactions of the American Mathematical Society, 284(2):787–794, 1984

    Jozef Dodziuk. Difference equations, isoperimetric inequality and tran- sience of certain random walks.Transactions of the American Mathematical Society, 284(2):787–794, 1984

    1984

  17. [25]

    Jozef Dodziuk and V. K. Patodi. Riemannian structures and triangulations of manifolds.J. Indian Math. Soc. (N.S.), 40(1-4):1–52, 1976

    1976

  18. [26]

    Coboundary expanders.Journal of Topology and Analysis, 4(04):499–514, 2012

    Dominic Dotterrer and Matthew Kahle. Coboundary expanders.Journal of Topology and Analysis, 4(04):499–514, 2012

    2012

  19. [27]

    Harmonische Funktionen und Randwertaufgaben in einem Komplex.Comment

    Beno Eckmann. Harmonische Funktionen und Randwertaufgaben in einem Komplex.Comment. Math. Helv., 17(1):240–255, December 1944

    1944

  20. [28]

    American Mathematical Soc., 2010

    Herbert Edelsbrunner and John Harer.Computational topology: an intro- duction. American Mathematical Soc., 2010

    2010

  21. [29]

    Floer homology: From generalized Morse- Smale dynamical systems to Forman’s combinatorial vector fields.arXiv preprint arXiv:2105.02567, 2021

    Marzieh Eidi and J¨ urgen Jost. Floer homology: From generalized Morse- Smale dynamical systems to Forman’s combinatorial vector fields.arXiv preprint arXiv:2105.02567, 2021

    2021 arXiv

  22. [30]

    Floer homology : from generalized Morse- Smale dynamical systems to Forman’s combinatorial vector fields.Com- munications in Mathematics and Statistics, 12(4):695–720, 2024

    Marzieh Eidi and J¨ urgen Jost. Floer homology : from generalized Morse- Smale dynamical systems to Forman’s combinatorial vector fields.Com- munications in Mathematics and Statistics, 12(4):695–720, 2024

    2024

  23. [31]

    Irreducibility of Markov chains on simplicial complexes, the spectrum of the discrete Hodge Laplacian and homology.arXiv preprint arXiv:2310.07912, 2023

    Marzieh Eidi and Sayan Mukherjee. Irreducibility of Markov chains on simplicial complexes, the spectrum of the discrete Hodge Laplacian and homology.arXiv preprint arXiv:2310.07912, 2023. 36

    2023 arXiv

  24. [32]

    Higher order bipartiteness vs bi- partitioning in simplicial complexes.arXiv preprint arXiv:2409.00682, 2024

    Marzieh Eidi and Sayan Mukherjee. Higher order bipartiteness vs bi- partitioning in simplicial complexes.arXiv preprint arXiv:2409.00682, 2024

    2024 arXiv

  25. [33]

    Higher Order Bipartiteness vs Bi- Partitioning in Simplicial Complexes

    Marzieh Eidi and Sayan Mukherjee. Higher Order Bipartiteness vs Bi- Partitioning in Simplicial Complexes. In Oswin Aichholzer and Haitao Wang, editors,41st International Symposium on Computational Geometry (SoCG 2025), volume 332 ofLeibniz International Proceedings in Informat...

    2025

  26. [34]

    A relative Morse index for the symplectic action

    Andreas Floer. A relative Morse index for the symplectic action. Comm.Pure Appl.Math., 41:393–407, 1988

    1988

  27. [35]

    Witten’s complex and infinite dimensional Morse theory

    Andreas Floer. Witten’s complex and infinite dimensional Morse theory. J. Diff. Geom., 30:207–221, 1989

    1989

  28. [36]

    Combinatorial vector fields and dynamical systems.Math- ematische Zeitschrift, 228:629–681, 1998

    Robin Forman. Combinatorial vector fields and dynamical systems.Math- ematische Zeitschrift, 228:629–681, 1998

    1998

  29. [37]

    Morse theory for cell complexes.Advances in Mathematics, 134(1):90–145, 1998

    Robin Forman. Morse theory for cell complexes.Advances in Mathematics, 134(1):90–145, 1998

    1998

  30. [38]

    Witten-Morse theory for cell complexes.Topology, 37:945– 979, 1998

    Robin Forman. Witten-Morse theory for cell complexes.Topology, 37:945– 979, 1998

    1998

  31. [39]

    J. Franks. Morse-smale flows and homotopy theory.Topology, 18:199–215, 1979

    1979

  32. [40]

    Combinatorial realization of the Thom-Smale complex via discrete Morse theory.Annali della Scuola Normale Superiore di Pisa- Classe di Scienze, 9(2):229–252, 2010

    ´Etienne Gallais. Combinatorial realization of the Thom-Smale complex via discrete Morse theory.Annali della Scuola Normale Superiore di Pisa- Classe di Scienze, 9(2):229–252, 2010

    2010

  33. [41]

    Nicol´ as Garc ´ ıa Trillos, Moritz Gerlach, Matthias Hein, and Dejan Slepˇ cev. Error estimates for spectral convergence of the graph Laplacian on random geometric graphs toward the Laplace–Beltrami operator.Foundations of Computational Mathematics, 20(4):827–887, 2020

    2020

  34. [42]

    Continuum limit of total variation on point clouds.Archive for Rational Mechanics and Analysis, 220(1):193– 241, 2016

    Nicol´ as Garc ´ ıa Trillos and Dejan Slepˇ cev. Continuum limit of total variation on point clouds.Archive for Rational Mechanics and Analysis, 220(1):193– 241, 2016

    2016

  35. [43]

    Su un tipo di convergenza vari- azionale.Atti della Accademia Nazionale dei Lincei

    Ennio De Giorgi and Tullio Franzoni. Su un tipo di convergenza vari- azionale.Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali, 58(6):842–850, 1975

    1975

  36. [44]

    Graphs asso- ciated with simplicial complexes.Homology, Homotopy and Applications, 16(1):295–311, 2014

    Alexander Grigor’yan, Yu V Muranov, and Shing-Tung Yau. Graphs asso- ciated with simplicial complexes.Homology, Homotopy and Applications, 16(1):295–311, 2014. 37

    2014

  37. [45]

    Singularities, expanders and topology of maps

    Mikhail Gromov. Singularities, expanders and topology of maps. Part 2: From combinatorics to topology via algebraic isoperimetry.Geometric and Functional Analysis, 20(2):416–526, 2010

    2010

  38. [46]

    F. Harary. Structural duality.Behavioral Sci., 2:255–265, 195

  39. [47]

    F. Harary. On the notion of balance of a signed graph.Michigan Math. J., 2:143–146, 1955

    1955

  40. [48]

    F. Harary. On the measurement of structural balance.Behavioral Sci., 4:316–323, 1959

    1959

  41. [49]

    Harary and R

    F. Harary and R. Z. Norman. Some properties of line digraphs.Rend. Circ. Mat. Palermo (2), 9:161–168, 1960

    1960

  42. [50]

    Hein and T

    M. Hein and T. B¨ uhler. An inverse power method for nonlinear eigenprob- lems with applications in 1–spectral clustering and sparse PCA.NIPS, pages 847–855, 2010

    2010

  43. [51]

    Graph lapla- cians and their convergence on random neighborhood graphs.Journal of Machine Learning Research, 8:1325–1368, 2007

    Matthias Hein, Jean-Yves Audibert, and Ulrike von Luxburg. Graph lapla- cians and their convergence on random neighborhood graphs.Journal of Machine Learning Research, 8:1325–1368, 2007

    2007

  44. [52]

    Grundz¨ uge einer allgemeinen Theorie der linearen Inte- gralgleichungen

    David Hilbert. Grundz¨ uge einer allgemeinen Theorie der linearen Inte- gralgleichungen. (Erste Mitteilung).Nachrichten der Gesellschaft der Wis- senschaften zu G¨ ottingen, Mathematisch-Physikalische Klasse, 1904:49–91, 1904

    1904

  45. [53]

    Cambr.Univ.Press, 1941, 2nd ed

    William Hodge.The Theory and Applications of Harmonic Integrals. Cambr.Univ.Press, 1941, 2nd ed. 1952

    1941

  46. [54]

    Spectra of combinatorial Laplace opera- tors on simplicial complexes.Adv

    Danijela Horak and J¨ urgen Jost. Spectra of combinatorial Laplace opera- tors on simplicial complexes.Adv. Math., 244:303–336, 2013

    2013

  47. [55]

    Hsu.Stochastic Analysis on Manifolds, volume 38 ofGraduate Studies in Mathematics

    Elton P. Hsu.Stochastic Analysis on Manifolds, volume 38 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI,

  48. [56]

    Metric critical point theory 1

    Alexander Ioffe and Efim Schwartzman. Metric critical point theory 1. morse regularity and homotopic stability of a minimum.Journal de math- ematiques pures et appliqu´ ees, 75(2):125–154, 1996

    1996

  49. [57]

    Mathematics of Data

    Parvaneh Joharinad and J¨ urgen Jost.Mathematical Principles of Topolog- ical and Geometric Data Analysis. Mathematics of Data. Springer, 2023

    2023

  50. [58]

    Springer, 2014

    J¨ urgen Jost.Mathematical methods in biology and neurobiology. Springer, 2014

    2014

  51. [59]

    On the hypotheses which lie at the bases of geometry

    J¨ urgen Jost.Bernhard Riemann. On the hypotheses which lie at the bases of geometry. Classic Texts in the Sciences. Birkh¨ auser, 2nd ed. 2025. 38

    2025

  52. [60]

    Springer, 7th ed., 2017

    J¨ urgen Jost.Riemannian geometry and geometric analysis. Springer, 7th ed., 2017

    2017

  53. [61]

    Cam- bridge University Press, 1998

    J¨ urgen Jost and Xianqing Li-Jost.Calculus of variations, volume 64. Cam- bridge University Press, 1998

    1998

  54. [62]

    Cambridge University Press, 2026

    J¨ urgen Jost, Raffaella Mulas, and Dong Zhang.Spectra of discrete struc- tures. Cambridge University Press, 2026

    2026

  55. [63]

    Discrete-to-continuous extensions: Lov\’asz extension, optimizations and eigenvalue problems.arXiv preprint arXiv:2106.03189, 2021

    J¨ urgen Jost and Dong Zhang. Discrete-to-continuous extensions: Lov\’asz extension, optimizations and eigenvalue problems.arXiv preprint arXiv:2106.03189, 2021

    2021 arXiv

  56. [64]

    Discrete-to-continuous extensions: piecewise multilinear extension, min-max theory and spectral theory.arXiv preprint arXiv:2106.04116, 2021

    J¨ urgen Jost and Dong Zhang. Discrete-to-continuous extensions: piecewise multilinear extension, min-max theory and spectral theory.arXiv preprint arXiv:2106.04116, 2021

    2021 arXiv

  57. [65]

    Cheeger inequalities on simplicial complexes

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

    2024

  58. [66]

    Discrete-to-continuous extensions: Lov´ asz extension and Morse theory.Discrete & Computational Geometry, 72(1):49–72, 2024

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

    2024

  59. [67]

    Mountain pass theorems and global homeomorphism the- orems.Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, 11(2):189–209, 1994

    Guy Katriel. Mountain pass theorems and global homeomorphism the- orems.Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, 11(2):189–209, 1994

    1994

  60. [68]

    Triangulations of manifolds with few vertices

    Wolfgang K¨ uhnel. Triangulations of manifolds with few vertices. InAd- vances in differential geometry and topology, pages 59–114. World Scientific, 1990

    1990

  61. [69]

    A proof of morse’s theorem about the cancellation of critical points, 2013

    Francois Laudenbach. A proof of morse’s theorem about the cancellation of critical points, 2013

    2013

  62. [70]

    J. R. Lee, S. Oveis Gharan, and L. Trevisan. Multi-way spectral partition- ing and higher-order Cheeger inequalities. InSTOC’12—Proceedings of the 2012 ACM Symposium on Theory of Computing, pages 1117–1130. ACM, New York, 2012

    2012

  63. [71]

    Estimates of eigenvalues of a compact Rie- mannian manifold.AMS Proc.Symp.Pure Math., 36:205–240, 1980

    Peter Li and Shing-Tung Yau. Estimates of eigenvalues of a compact Rie- mannian manifold.AMS Proc.Symp.Pure Math., 36:205–240, 1980

    1980

  64. [72]

    On the Schr¨ odinger equation and the eigen- value problem.Communications in Mathematical Physics, 88(3):309–318, 1983

    Peter Li and Shing-Tung Yau. On the Schr¨ odinger equation and the eigen- value problem.Communications in Mathematical Physics, 88(3):309–318, 1983

    1983

  65. [73]

    Random walks on graphs: A survey

    L´ aszl´ o Lov´ asz. Random walks on graphs: A survey. In D. Mikl´ os, V.T. S´ os, and T. S´ os, editors,Combinatorics, Paul Erd˝ os is Eighty, Vol. 2, volume 2, pages 1–46. J´ anos Bolyai Mathematical Society, Keszthely, Hungary, 1993. Dedicated to the marvelous random walk o...

    1993

  66. [74]

    Princeton University Press, 1965

    John Milnor.Lectures on the H-Cobordism Theorem. Princeton University Press, 1965

    1965

  67. [75]

    Relations between the critical points of a real function ofnindependent variables.Transactions of the American Mathematical Society, 27(3):345–396, 1925

    Marston Morse. Relations between the critical points of a real function ofnindependent variables.Transactions of the American Mathematical Society, 27(3):345–396, 1925

    1925

  68. [76]

    Random walks on simplicial com- plexes and harmonics.Random Structures & Algorithms, 49(3):379–405, 2016

    Sayan Mukherjee and John Steenbergen. Random walks on simplicial com- plexes and harmonics.Random Structures & Algorithms, 49(3):379–405, 2016

    2016

  69. [77]

    Simplicial complexes: Spectrum, homology and random walks.Random Structures & Algorithms, 50(2):225– 261, 2017

    Ori Parzanchevski and Ron Rosenthal. Simplicial complexes: Spectrum, homology and random walks.Random Structures & Algorithms, 50(2):225– 261, 2017

    2017

  70. [78]

    P´ olya and S

    G. P´ olya and S. Szeg¨ o. Isoperimetric inequalities in mathematical physics. Annals of Math. Studies, 27, 1951

    1951

  71. [79]

    Birkh¨ auser, 1993

    Matthias Schwarz.Morse homology. Birkh¨ auser, 1993

    1993

  72. [80]

    A cheeger- type inequality on simplicial complexes.Advances in Applied Mathematics, 56:56–77, 2014

    John Steenbergen, Caroline Klivans, and Sayan Mukherjee. A cheeger- type inequality on simplicial complexes.Advances in Applied Mathematics, 56:56–77, 2014

    2014

  73. [81]

    Trevisan

    L. Trevisan. Max cut and the smallest eigenvalue.SIAM J. Comput., 41(6):1769–1786, 2012

    2012

  74. [82]

    Das asymptotische Verteilungsgesetz der Eigenwerte lin- earer partieller Differentialgleichungen.Math.Ann., 71:441–469, 1912

    Hermann Weyl. Das asymptotische Verteilungsgesetz der Eigenwerte lin- earer partieller Differentialgleichungen.Math.Ann., 71:441–469, 1912

    1912

  75. [83]

    Constraints on supersymmetry breaking.Nucl

    Edward Witten. Constraints on supersymmetry breaking.Nucl. Phys. B, 202:253–316, 1982

    1982

  76. [84]

    Supersymmetry and Morse theory.J

    Edward Witten. Supersymmetry and Morse theory.J. Diff. Geom, 17:661– 692, 1982

    1982

  77. [85]

    Discrete Morse-Bott theory for CW complexes.arXiv preprint arXiv:1711.10983, 2017

    Sylvia Yaptieu. Discrete Morse-Bott theory for CW complexes.arXiv preprint arXiv:1711.10983, 2017

    2017 arXiv

  78. [86]

    Homological eigenvalues of graphp-Laplacians.J

    Dong Zhang. Homological eigenvalues of graphp-Laplacians.J. Topol. Anal., 17(2):555–606, 2025. 40

    2025

  79. [2002]

    American Mathematical Society, Graduate Studies in Mathematics, Vol. 38

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.