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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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.
- [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.
- [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)
- [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}).
- [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.
- [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.
- [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.
- [Section 7.1] There is a minor typo: 'a the 2-sweepout' should be 'a 2-sweepout'.
Circularity Check
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
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
- domain assumption [CM23, Theorem 1.2]: the p-widths of a closed surface are realized by finite sums of lengths of closed geodesics
- 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)
- ad hoc to paper Monotonicity formula for Allen-Cahn critical points at polygonal vertices with Neumann boundary holds without boundary correction
- domain assumption Billiards of finite length cannot bounce infinitely many times into a convex corner
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 from the paper (1 more)
Forward citations
Cited by 2 Pith papers
-
Equivariant Allen--Cahn Solutions and the Existence of Cohomogeneity $2$ Minimal Surfaces
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...
-
Volume spectrum of fiber bundles and the widths of Berger spheres
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
-
[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
work page 2019
-
[2]
Nicolau Sarquis Aiex. The width of ellipsoids. Comm. Anal. Geom. , 27(2):251--285, 2019
work page 2019
-
[3]
A. Azzam and E. Kreyszig. On solutions of elliptic equations satisfying mixed boundary conditions. SIAM J. Math. Anal. , 13(2):254--262, 1982
work page 1982
-
[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
work page 1962
-
[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
work page 1996
-
[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
work page 2023
-
[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
work page 2022
-
[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
work page 2023
Show all 45 references
-
[9]
The p-widths database
Adrian Chun-Pong Chu. The p-widths database. https://sites.google.com/view/adrianchu/the-p-widths-database
-
[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
2023
-
[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
2023
-
[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
2020
-
[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
2023
-
[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
2022
-
[15]
J. L. Dupont and G. Lusztig. On manifolds satisfying w 1 2 =0 . Topology , 10:81--92, 1971
1971
-
[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
2024
-
[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
2022
-
[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
2018
-
[19]
M. Gromov. Isoperimetry of waists and concentration of maps. Geom. Funct. Anal. , 13(1):178--215, 2003
2003
-
[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
2009
-
[21]
M. Gromov. Morse spectra, homology measures, spaces of cycles and parametric packing problem. preprint , 2015
2015
-
[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
2018
-
[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
1917
-
[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
2000
-
[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
2018
-
[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
2023
-
[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
2018
-
[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
2024
-
[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
1902 arXiv
-
[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
2022
-
[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
2012
-
[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]
2015
-
[33]
The p-widhts of rp^2
Jared Marx-Kuo. The p-widhts of rp^2 . https://arxiv.org/abs/2501.13311 , 2025
2025 arXiv
-
[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
2017
-
[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
2020
-
[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
2021
-
[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
1985
-
[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
2016
-
[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
1981
-
[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
1983
-
[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
2023
-
[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
2019
-
[43]
Second order estimate on transition layers
Kelei Wang and Juncheng Wei. Second order estimate on transition layers. Adv. Math. , 358:106856, 85, 2019
2019
-
[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
2020
-
[45]
Xin Zhou and Jonathan J. Zhu. Min-max theory for constant mean curvature hypersurfaces. Invent. Math. , 218(2):441--490, 2019
2019
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.