Pith. sign in

REVIEW 4 major objections 5 minor 2 cited by

The p-widths of a polygon

T0 review · 4 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

Pith's one-line read Every p-width of a convex polygon is achieved by billiard trajectories.

desk verdict The reflection argument is clever and the explicit widths are nice, but the proof of the main billiard theorem is off by the missing h0 normalization factor. read the letter →

arxiv 2505.03047 v1 pith:PQ7BSFTL submitted 2025-05-05 math.DG

classification math.DG MSC 53C4258E1249Q2035J60
keywords p-widthsbilliardtrajectoriesconvexpolygonsAllen-Cahnequationmin-maxtheoryphasetransitionequilateraltrianglesquare
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

This paper proves that the p-widths of a convex polygon—a sequence of geometric invariants analogous to the Neumann Laplacian spectrum—are always realized by finite unions of billiard trajectories. For each p, the minimax length can be written exactly as the sum of lengths of finitely many straight segments that reflect off the polygon boundary. The proof routes the problem through Allen-Cahn phase transitions, reflecting critical points across the boundary to reduce the boundary case to an interior theorem. As concrete evidence, the paper computes the first four widths of the equilateral triangle inscribed in the unit circle and the first three widths of the square, matching explicit billiard configurations.

What carries the argument

The main mechanism is Allen-Cahn phase-transition min-max: p-widths are recovered as $\varepsilon\to 0$ limits of critical points of the double-well energy $E_\varepsilon[u]=\int(\frac{\varepsilon}{2}|\nabla u|^2+\frac{1}{\varepsilon}W(u))$, with Neumann boundary conditions. The load-bearing step is an even reflection across a boundary edge: reflecting a Neumann critical point produces a solution on the doubled domain whose index is at most $2p$, so the closed-surface billiard theorem applies and the limiting energy measure is a union of straight line segments. A monotonicity estimate at vertices, valid without boundary correction because polygon edges are straight and the gradient vanishes at convex corners, controls the mass near vertices. For the equilateral triangle, repeated reflections generate the full tessellation and force the billiards to unfold to straight lines; this yields the length set $\{\frac{3}{2}\sqrt{a^2+ab+b^2}:a,b\in\mathbb{Z}\}$ used in the explicit computations.

What would settle it

Run a numerical phase-field min-max simulation of the Allen-Cahn energy on a generic convex pentagon and inspect the limiting interface: if for some small $\varepsilon$ the minimizing sweepout converges to a configuration with an interior triple junction or a corner-touching segment that does not reflect specularly, the billiard decomposition would be false.

Watch

Extended reading notes

Core claim

For $P$ a compact convex polygon in $\mathbb{R}^2$ and any $p=1,2,\ldots$, there exist finitely many billiard trajectories $\gamma_{p,1},\ldots,\gamma_{p,N(p)}$ in $P$, repetitions allowed, with total length equal to $\omega_p(P)$. The trajectories are allowed to terminate either orthogonally at the boundary or at a vertex, and otherwise follow specular reflection. The first width of any convex polygon equals its geometric width $W(P)$, the width of the narrowest slab containing it. For the equilateral triangle inscribed in the unit circle the paper obtains $\omega_1=\omega_2=3/2$, $\omega_3=3\sqrt{3}/2$, and $\omega_4=3$; for the square of side $\sqrt{2}$ it obtains $\omega_1=\sqrt{2}$, $\omega_2=2$, and $\omega_3=2\sqrt{2}$. In the triangle these values are realized respectively by a perpendicular bisector, the medial triangle, and two perpendicular bisectors; in the square by horizontal or vertical segments and a diagonal.

Load-bearing premise

The proof depends on the even reflection of Allen-Cahn critical points having index at most $2p$ and on a vertex monotonicity estimate with no boundary correction; if either fails, the limiting interfaces need not be line segments.

Editorial extensions

If this is right

  • For every convex polygon and every p, the variational minimax length can be certified by an explicit finite collection of reflecting straight segments.
  • The first p-width of a convex polygon is always the width of its narrowest enclosing slab, so one can read $\omega_1$ off from the polygon's geometry alone.
  • In an equilateral triangle, a single side or two sides cannot furnish a p-width; only full boundary-type billiards or configurations allowed by unfolding can.
  • The method extends, as the paper notes, to Riemannian surfaces whose boundary is piecewise totally geodesic with convex corners, replacing line segments by geodesic segments and allowing closed geodesics.
  • The computed values give nontrivial exact p-widths for polygons, providing benchmarks for the Weyl asymptotic and Lusternik-Schnirelman inequalities.

Reading between the lines

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

  • One can expect an algorithm: for a rational convex polygon, the finite graph of possible billiard trajectories with bounded length should make each p-width computable by solving a shortest-path or integer-optimization problem over reflection-unfolded straight lines; the paper's length-set lemma for the equilateral triangle is a prototype.
  • If the reflection-index bound survives perturbations, the same proof should give billiard decompositions for p-widths in higher-dimensional convex polytopes with totally geodesic faces, where the limiting objects would be unions of reflecting geodesic segments rather than planar billiards.
  • The vertex condition that billiards stop at corners suggests a spectral analogue: p-widths may encode the 'billiard graph' of a polygon, with corner hits acting as Dirichlet-like breaks; comparing $\omega_p$ for polygons that differ only by rounding corners could test how much of the p-width is carried by vertex-terminating trajectories.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 5 minor

Summary. The paper studies Gromov–Guth p-widths of compact convex polygons in R^2. The main theorem (Theorem 1.3) asserts that every p-width of such a polygon is the sum of lengths of finitely many billiard trajectories. The proof follows the Allen–Cahn route of Chodosh–Mantoulidis [CM23], combined with an even reflection argument across boundary edges to reduce boundary bounces to interior line segments on a doubled domain. The paper also proves that the first width of any convex polygon equals its geometric width (Theorem 1.6), and computes the low widths of the equilateral triangle (p=1,...,4) and the square (p=1,...,3), with explicit billiard realizations. The exposition is generally clear, but the central argument contains a missing normalization constant h0 that affects the claimed equality in Theorem 1.3, and several analytic steps at polygonal corners and under reflection are either asserted without proof or only sketched.

Significance. If the main theorem is correct, it is a substantial step: it gives the first general billiard-realization result for p-widths in domains with non-smooth boundary, complementing the closed-surface theorem of [CM23] and the smooth-domain conjecture. The explicit computations for low p-widths of the equilateral triangle and square are concrete and genuinely useful, and the geometric-width result for the first width is clean and self-contained. The paper is also valuable for pointing out exactly why a boundary version of Allen–Cahn curvature estimates is not needed, via reflection. However, the central proof currently has a quantitative gap involving the heteroclinic energy h0, so the main theorem is not established as stated.

major comments (4)
  1. [Section 3, after Proposition 3.4] The proof of Theorem 1.3 misses the h0 normalization. Proposition 2.6 states that lim_{\epsilon\to0} \omega_{p,\epsilon}(P) = h0 \omega_p(P), where h0 is the heteroclinic energy. In Section 3 the potential is fixed to be W(t)=(1+\cos \pi t)/\pi^2; for this potential h0 = \int_{-1}^{1} \sqrt{2W(s)}\,ds = 8/\pi^2 \neq 1. The measure \mu is defined as the weak limit of the unnormalized energy densities, so its total mass is \lim \omega_{p,\epsilon}(P) = h0 \omega_p(P). Proposition 3.4 concludes \mu = \sum_j H^1\lfloor \eta_j, and the final grouping then gives \sum_j \operatorname{length}(\eta_j) = h0 \omega_p(P), not \omega_p(P). Thus Theorem 1.3 does not follow as stated. The discrepancy is quantitative: for the equilateral triangle, Theorem 1.8 claims \omega_1(T)=3/2, while the argument as written would produce a limiting measure of mass h0\cdot 3/2 = 12/\pi^2 \approx 1.216. This must be repaired, for example by normalizing the Allen–Cahn widths by h0^{-1} from the outset or by choosing a potential with h0=1.
  2. [Section 3, Lemma 3.3] The monotonicity formula at polygonal vertices is load-bearing but is asserted rather than proved. The lemma claims \mu_\epsilon(B_r(p)) \le Cr for p \in V with no boundary correction, citing [HT00] and [LPS24]. However, [LPS24] concerns smooth boundaries, and at a corner the Neumann condition does not give a smooth reflected problem; the statement 'no boundary correction is necessary' needs a detailed proof or a precise reference covering polygonal corners. This step is essential because it is used to conclude \mu(V)=0 and hence to discard vertex contributions when grouping segments into billiard trajectories.
  3. [Section 3, reflected index bound] The proof that the even reflection \tilde u_{\epsilon_j} has index at most 2p on B is too compressed to be verifiable as written. The argument invokes 'standard results' and compares Dirichlet and Neumann eigenvalue counts, but it does not spell out how the spectrum of the reflected operator on B is identified with the Dirichlet and Neumann spectra on B^+, nor how the L^2-orthogonality argument controls the full quadratic form. Since this index bound is what permits the application of [CM23, Theorem 1.2] to the reflected problem, a complete proof or a precise reference is needed.
  4. [Section 2.3, Proposition 2.6] Proposition 2.6 states that the comparison h0^{-1} \lim_{\epsilon\to0} \omega_{p,\epsilon}(K) = \omega_p(K) remains valid for polygonal regions, with only the remark that 'a careful examination of the proof shows' this. This is not a trivial extension, because the Allen–Cahn min-max theory near corners and the boundary condition require additional arguments; the rest of the paper depends on this comparison. The authors should either provide the extension in detail or cite a source that proves the comparison for Lipschitz polygonal domains with Neumann boundary conditions.
minor comments (5)
  1. [Section 1.1, Conjecture 1] In the displayed formula for the conjecture, the summand is written as \operatorname{length}(\gamma_{p,N(p)}) but should be \operatorname{length}(\gamma_{p,j}).
  2. [Section 2.3, definition of h0] The displayed definition of h0 appears to have a typo: it reads H'(t)^2 + W'(H(t)); the standard heteroclinic energy is \int (\tfrac12|H'|^2 + W(H))\,dt, and as written W'(H) integrates to zero by the traveling-wave equation. This should be corrected for clarity.
  3. [Section 4, T-billiard definition] The definition of a T-billiard trajectory switches notation between \ell_k and \eta_k in conditions (1") and (2"), which makes the definition harder to follow. Please use one symbol consistently.
  4. [Section 4, Proposition 4.2] The statement of Proposition 4.2 writes \omega_p(P) but the theorem is about the equilateral triangle T; the variable P here is either a typo or needs a line defining P=T.
  5. [Section 7.1] There is a minor typo: 'a the 2-sweepout' should be 'a 2-sweepout'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: p-widths are min-max invariants and billiard lengths come from the Allen-Cahn limit interface via independent results. A separate h0 normalization gap blocks the stated equality in Theorem 1.3.

full rationale

The derivation is not circular at the level of definitions or fitting. p-widths are defined by Gromov-Guth min-max over sweepouts (Definition 2.2), and no parameter is fitted: the billiard lengths in Theorem 1.3 are obtained from the weak limit mu of the Allen-Cahn energy densities (Section 3), not imposed from the target value omega_p(P). Reliance on [CM23] is a self-citation, but it supplies an independent published classification result (p-widths of closed surfaces, and its local proof) whose stated assumptions do not include the polygon conclusion; per the rubric, such a citation is real evidence and does not raise the circularity score. The reflection argument and the index bound are local and do not presuppose the billiard decomposition. However, a normalization issue remains outside circularity: Proposition 2.6 fixes h0^{-1} lim_{epsilon to 0} omega_{p,epsilon}(P) = omega_p(P), and for W(t)=(1+cos(pi t))/pi^2 one has h0 = integral H'^2 = 8/pi^2. The measure mu in Section 3 is the unnormalized limit with mass lim omega_{p,epsilon} = h0 omega_p(P), so Proposition 3.4 gives sum length(eta_j) = h0 omega_p(P), not omega_p(P). The final sentence 'Grouping the eta_j into billiard trajectories ... this proves Theorem 1.3' omits this factor; this is a correctness/missing-factor gap, not a circular reduction.

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

The central claim rests on standard min-max and Allen-Cahn background plus several domain-specific assumptions. The most fragile are the monotonicity formula at polygonal corners and the extension of the Allen-Cahn width convergence to polygonal regions. No free parameters are fitted to data, and no new entities are postulated.

assumptions (5)
  • domain assumption Allen-Cahn min-max theory and the convergence h0^{-1} lim_{ε→0} ω_{p,ε}(K) = ω_p(K) for Lipschitz and polygonal domains
    Proposition 2.6 cites [Dey22] and [GG18] and asserts the extension to polygonal regions by 'careful examination of the proof'; this extension is not demonstrated in the paper.
  • domain assumption [CM23, Theorem 1.2]: the p-widths of a closed surface are realized by finite sums of lengths of closed geodesics
    Used as a black box in the reflection argument in Section 3 to conclude that the limiting energy measure on the doubled domain is a union of straight line segments.
  • domain assumption [DM24]: for a strictly convex smooth planar domain, the first width is achieved by a free boundary geodesic (a segment meeting the boundary orthogonally)
    Used in the proof of Theorem 1.6 to obtain the lower bound ω1(P) ≥ W(P).
  • ad hoc to paper Monotonicity formula for Allen-Cahn critical points at polygonal vertices with Neumann boundary holds without boundary correction
    Lemma 3.3 asserts r^{-1} μ_ε(B_r(p)) ≤ C for vertices p, citing [HT00] and [LPS24], but those results treat smooth boundaries; the corner case is not explicitly proven.
  • domain assumption Billiards of finite length cannot bounce infinitely many times into a convex corner
    Cited to [Lan23, Lemma 2.3] and used to group the limiting line segments into finite billiard trajectories.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The p-widths of a polygon." pith.science (2026). https://pith.science/paper/PQ7BSFTL

@misc{pith2026250503047,
  author       = {Pith},
  title        = {Pith review of: The p-widths of a polygon},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PQ7BSFTL}},
  note         = {Machine review of arXiv:2505.03047}
}
abstract

The $p$-widths are a nonlinear analogue of the spectrum of the Laplacian. We prove that each $p$-width of a polygon in $\mathbb{R}^2$ is achieved by a union of billiard trajectories. We also compute the $p$-widths of the equilateral triangle for $p=1,\dots,4$ and square for $p=1,\dots,3$.

Figures

Figures reproduced from arXiv: 2505.03047 by the authors.

Figure 1
Figure 1. The definition of the map ϕ : ∂T × ∂T → Z1(T, ∂T) used to construct an optimal 2-sweepout of the equilateral triangle T [PITH_FULL_IMAGE:figures/full_fig_p013_1.png] view at source ↗
Figure 2
Figure 2. Deriving an upper bound for the length of ϕ when l1 ∩ l2 = p ∈ T. as p2 is similar). See [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗
Figure 3
Figure 3. Deriving an upper bound for the length of ϕ when l1 ∩ l2 = p lies outside of T but on the same side of T as p1. Finally, we assume that l1 ∩ l2 = p ̸∈ T is on the opposite side of the edge Γ of T not containing p1, p2. See [PITH_FULL_IMAGE:figures/full_fig_p013_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Deriving an upper bound for the length of ϕ when l1 ∩ l2 = p lies outside of T on the opposite side of T as p1, p2. This completes the proof. □ Lemma 6.2. ϕ is continuous. Proof. It suffices to check continuity at (p1, p2) where one of the pi (without loss of generalit…

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. Equivariant Allen--Cahn Solutions and the Existence of Cohomogeneity $2$ Minimal Surfaces

    math.DG 2026-07 conditional novelty 7.0 of 10

    G-invariant Allen–Cahn solutions with bounded energy and index converge to G-invariant minimal hypersurfaces with codimension-7 singular set; cohomogeneity-2 manifolds without exceptional orbits admit such minimal hyp...

  2. Volume spectrum of fiber bundles and the widths of Berger spheres

    math.DG 2025-05 conditional novelty 7.0 of 10

    Fiber bundles inherit an upper bound for their min-max widths from their base, and this yields exact low widths for Berger spheres and sphere products.

Reference graph

Works this paper leans on

45 extracted references · 41 canonical work pages · cited by 2 Pith papers

  1. [1]

    Bubbling analysis and geometric convergence results for free boundary minimal surfaces

    Lucas Ambrozio, Reto Buzano, Alessandro Carlotto, and Ben Sharp. Bubbling analysis and geometric convergence results for free boundary minimal surfaces. J. \'Ec. polytech. Math. , 6:621--664, 2019

  2. [2]

    The width of ellipsoids

    Nicolau Sarquis Aiex. The width of ellipsoids. Comm. Anal. Geom. , 27(2):251--285, 2019

  3. [3]

    Azzam and E

    A. Azzam and E. Kreyszig. On solutions of elliptic equations satisfying mixed boundary conditions. SIAM J. Math. Anal. , 13(2):254--262, 1982

  4. [4]

    The homotopy groups of the integral cycle groups

    Frederick Justin Almgren, Jr. The homotopy groups of the integral cycle groups. Topology , 1:257--299, 1962

  5. [5]

    V. Arnold. Topological content of the Maxwell theorem on multiple representation of spherical functions . Topological Methods in Nonlinear Analysis , 7(2):205 -- 217, 1996

  6. [6]

    The first and second widths of the real projective space

    M\'arcio Batista and Anderson de Lima. The first and second widths of the real projective space. Proc. Amer. Math. Soc. , 151(9):3985--3997, 2023

  7. [7]

    Min-max widths of the real projective 3-space

    M\'arcio Batista and Anderson Lima. Min-max widths of the real projective 3-space. Trans. Amer. Math. Soc. , 375(7):5239--5258, 2022

  8. [8]

    A short note about 1-width of lens spaces

    M\'arcio Batista and Anderson Lima. A short note about 1-width of lens spaces. Bull. Math. Sci. , 13(1):Paper No. 2250005, 10, 2023

Show all 45 references
  1. [9]

    The p-widths database

    Adrian Chun-Pong Chu. The p-widths database. https://sites.google.com/view/adrianchu/the-p-widths-database

  2. [10]

    A free boundary minimal surface via a 6-sweepout

    Adrian Chun-Pong Chu. A free boundary minimal surface via a 6-sweepout. J. Geom. Anal. , 33(7):Paper No. 230, 31, 2023

  3. [11]

    A strong multiplicity one theorem in min-max theory

    Adrian Chun-Pong Chu and Yangyang Li. A strong multiplicity one theorem in min-max theory. https://arxiv.org/abs/2309.07741 , 2023

  4. [12]

    Minimal surfaces and the A llen- C ahn equation on 3-manifolds: index, multiplicity, and curvature estimates

    Otis Chodosh and Christos Mantoulidis. Minimal surfaces and the A llen- C ahn equation on 3-manifolds: index, multiplicity, and curvature estimates. Ann. of Math. (2) , 191(1):213--328, 2020

  5. [13]

    The p -widths of a surface

    Otis Chodosh and Christos Mantoulidis. The p -widths of a surface. Publ. Math. Inst. Hautes \'Etudes Sci. , 137:245--342, 2023

  6. [14]

    A comparison of the A lmgren- P itts and the A llen- C ahn min-max theory

    Akashdeep Dey. A comparison of the A lmgren- P itts and the A llen- C ahn min-max theory. Geom. Funct. Anal. , 32(5):980--1040, 2022

  7. [15]

    J. L. Dupont and G. Lusztig. On manifolds satisfying w 1 2 =0 . Topology , 10:81--92, 1971

  8. [16]

    The first width of non-negatively curved surfaces with convex boundary

    Sidney Donato and Rafael Montezuma. The first width of non-negatively curved surfaces with convex boundary. J. Geom. Anal. , 34(2):Paper No. 60, 28, 2024

  9. [17]

    The first p -widths of the unit disk

    Sidney Donato. The first p -widths of the unit disk. J. Geom. Anal. , 32(6):Paper No. 177, 38, 2022

  10. [18]

    Pedro Gaspar and Marco A. M. Guaraco. The A llen- C ahn equation on closed manifolds. Calc. Var. Partial Differential Equations , 57(4):Paper No. 101, 42, 2018

  11. [19]

    M. Gromov. Isoperimetry of waists and concentration of maps. Geom. Funct. Anal. , 13(1):178--215, 2003

  12. [20]

    Singularities, expanders and topology of maps

    Mikhail Gromov. Singularities, expanders and topology of maps. I . H omology versus volume in the spaces of cycles. Geom. Funct. Anal. , 19(3):743--841, 2009

  13. [21]

    M. Gromov. Morse spectra, homology measures, spaces of cycles and parametric packing problem. preprint , 2015

  14. [22]

    Marco A. M. Guaraco. Min-max for phase transitions and the existence of embedded minimal hypersurfaces. J. Differential Geom. , 108(1):91--133, 2018

  15. [23]

    Minimax problems related to cup powers and S teenrod squares

    Larry Guth. Minimax problems related to cup powers and S teenrod squares. Geom. Funct. Anal. , 18(6):1917--1987, 2009

  16. [24]

    Hutchinson and Yoshihiro Tonegawa

    John E. Hutchinson and Yoshihiro Tonegawa. Convergence of phase interfaces in the van der W aals- C ahn- H illiard theory. Calc. Var. Partial Differential Equations , 10(1):49--84, 2000

  17. [25]

    Marques, and Andr\'e Neves

    Kei Irie, Fernando C. Marques, and Andr\'e Neves. Density of minimal hypersurfaces for generic metrics. Ann. of Math. (2) , 187(3):963--972, 2018

  18. [26]

    On continuous billiard and quasigeodesic flows characterizing alcoves and isosceles tetrahedra

    Christian Lange. On continuous billiard and quasigeodesic flows characterizing alcoves and isosceles tetrahedra. J. Lond. Math. Soc. (2) , 107(5):1754--1779, 2023

  19. [27]

    Marques, and Andr\'e Neves

    Yevgeny Liokumovich, Fernando C. Marques, and Andr\'e Neves. Weyl law for the volume spectrum. Ann. of Math. (2) , 187(3):933--961, 2018

  20. [28]

    Boundary behavior of limit-interfaces for the allen--cahn equation on riemannian manifolds with neumann boundary condition

    Martin Man-chun Li, Davide Parise, and Lorenzo Sarnataro. Boundary behavior of limit-interfaces for the allen--cahn equation on riemannian manifolds with neumann boundary condition. Archive for Rational Mechanics and Analysis , 248(6):124, 2024

  21. [29]

    Compact minimal hypersurfaces of index one and the width of real projective spaces

    Alejandra Ram\'irez Luna. Compact minimal hypersurfaces of index one and the width of real projective spaces. https://arxiv.org/abs/1902.08221 , 2019

  22. [30]

    Classification of finite M orse index solutions to the elliptic sine- G ordon equation in the plane

    Yong Liu and Juncheng Wei. Classification of finite M orse index solutions to the elliptic sine- G ordon equation in the plane. Rev. Mat. Iberoam. , 38(2):355--432, 2022

  23. [31]

    Sets of finite perimeter and geometric variational problems , volume 135 of Cambridge Studies in Advanced Mathematics

    Francesco Maggi. Sets of finite perimeter and geometric variational problems , volume 135 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2012. An introduction to geometric measure theory

  24. [32]

    Explicit eigenvalues of the Laplacian

    MathOverflow. Explicit eigenvalues of the Laplacian . https://mathoverflow.net/questions/219109/explicit-eigenvalues-of-the-laplacian, 2015. [Accessed 19-July-2021]

  25. [33]

    The p-widhts of rp^2

    Jared Marx-Kuo. The p-widhts of rp^2 . https://arxiv.org/abs/2501.13311 , 2025

  26. [34]

    Marques and Andr\'e Neves

    Fernando C. Marques and Andr\'e Neves. Existence of infinitely many minimal hypersurfaces in positive R icci curvature. Invent. Math. , 209(2):577--616, 2017

  27. [35]

    Marques and Andr\'e Neves

    Fernando C. Marques and Andr\'e Neves. Applications of min-max methods to geometry. In Geometric analysis , volume 2263 of Lecture Notes in Math. , pages 41--77. Springer, Cham, [2020] 2020

  28. [36]

    Marques and Andr\' e Neves

    Fernando C. Marques and Andr\' e Neves. Morse index of multiplicity one min-max minimal hypersurfaces. Adv. Math. , 378:107527, 58, 2021

  29. [37]

    A gradient bound and a L iouville theorem for nonlinear P oisson equations

    Luciano Modica. A gradient bound and a L iouville theorem for nonlinear P oisson equations. Comm. Pure Appl. Math. , 38(5):679--684, 1985

  30. [38]

    Low min-max widths of the round three-sphere

    Charles Nurser. Low min-max widths of the round three-sphere . PhD thesis, Imperial College London, 180 Queen's Gate, London SW7 2BZ, October 2016

  31. [39]

    Jon T. Pitts. Existence and regularity of minimal surfaces on R iemannian manifolds , volume 27 of Mathematical Notes . Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1981

  32. [40]

    Lectures on geometric measure theory , volume 3 of Proceedings of the Centre for Mathematical Analysis, Australian National University

    Leon Simon. Lectures on geometric measure theory , volume 3 of Proceedings of the Centre for Mathematical Analysis, Australian National University . Australian National University, Centre for Mathematical Analysis, Canberra, 1983

  33. [41]

    Existence of infinitely many minimal hypersurfaces in closed manifolds

    Antoine Song. Existence of infinitely many minimal hypersurfaces in closed manifolds. Ann. of Math. (2) , 197(3):859--895, 2023

  34. [42]

    Finite M orse index implies finite ends

    Kelei Wang and Juncheng Wei. Finite M orse index implies finite ends. Comm. Pure Appl. Math. , 72(5):1044--1119, 2019

  35. [43]

    Second order estimate on transition layers

    Kelei Wang and Juncheng Wei. Second order estimate on transition layers. Adv. Math. , 358:106856, 85, 2019

  36. [44]

    On the multiplicity one conjecture in min-max theory

    Xin Zhou. On the multiplicity one conjecture in min-max theory. Ann. of Math. (2) , 192(3):767--820, 2020

  37. [45]

    Xin Zhou and Jonathan J. Zhu. Min-max theory for constant mean curvature hypersurfaces. Invent. Math. , 218(2):441--490, 2019

Pith tools

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