REVIEW 4 major objections 4 minor 38 references
Cheeger type inequalities associated with isocapacitary constants on Riemannian manifolds with boundary
T0 review · 4 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read This paper proves two-sided Cheeger-type bounds for Steklov eigenvalues: on a compact Riemannian manifold with boundary, the first nonzero Steklov eigenvalue σ1(M) is at least one quarter and at most twice the isocapacitary constant…
desk verdict A plausible and well-motivated transfer of Maz'ya's isocapacitary method to Steklov eigenvalues, but the lower-bound proof has a sign-level gap that likely forces a weaker constant; deserves serious refereeing with expected major revision. 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 central object is the capacity Cap(A,B,M), the minimum Dirichlet energy of a function that is at least 1 on A and at most 0 on B. The isocapacitary constant Γ∂ is this capacity minimized over boundary sets and normalized by the smaller boundary measure. The proof machinery is a capacitary layer inequality: for a smooth function u, the integral over t of the capacity of the superlevel set {u≥t} relative to {u≤0}, weighted by t, is controlled by the Dirichlet energy of u on {u≥0}. This inequality comes from the coarea formula and Hardy's inequality applied to the distribution function ψ(t)=∫_0^t dτ / ∫_{M^τ_u}|∇u|ds. Applying this inequality to a Steklov eigenfunction converts level-set boundary masses into capacity estimates, giving the lower bound; the upper bound uses a direct test function built from a near-minimizer of the capacity ratio.
What would settle it
Compute the two sides of the printed Proposition 10 for u(x)=x on the interval [0,1]: Cap({x≥t},{x≤0}) = 1/t, so ∫$_0^{1}$ Cap dt diverges while the right side is 4, disproving that printed form. For the main theorem itself, compute σ1 and Γ∂ explicitly on a flat strip or thin cylinder; if the ratio σ1/Γ∂ ever falls outside [1/4,2], the two-sided bound fails.
Extended reading notes
Core claim
The central claim is that the spectral quantity and the geometric quantity are comparable up to a universal factor. For a compact n-dimensional Riemannian manifold with smooth boundary, define Γ∂(M) = min Cap(A,B,M)/min{m(A),m(B)} over disjoint compact boundary sets A,B. The paper establishes (1/4)Γ∂(M) ≤ σ1(M) ≤ 2Γ∂(M). For a non-compact manifold with embedded smooth boundary, define Γ∂(M) = inf Cap(F,M)/m(F) over compact F⊂∂M; then (1/4)Γ∂(M) ≤ inf Spec(D_M) ≤ 2Γ∂(M). In both settings the bottom of the boundary spectral theory is thus controlled, up to the universal factor 8, by boundary capacities.
Load-bearing premise
The lower bound rests on the layer-capacity inequality, Proposition 10, which must compare an integral of t times capacity with the Dirichlet energy; as printed, the proposition lacks the factor t and is false for a linear function on an interval.
Editorial extensions
If this is right
- On a compact manifold, the first nonzero Steklov eigenvalue is determined up to a universal factor of 8 by the isocapacitary constant Γ∂, so spectral gaps can be certified by boundary capacity computations.
- The proof extends to Steklov–Dirichlet problems: for a submanifold N with mixed boundary data, the first eigenvalue ξ1(N,∂_I N) satisfies the analogous two-sided estimate (1/4)Γ_Y(N) ≤ ξ1 ≤ 2Γ_Y(N).
- For compact hyperbolic surfaces, a boundary geodesic of length tending to zero forces the normalized first Steklov eigenvalue to satisfy limsup σ1(S_{g,1})·ℓ(γ) ≤ 4/3; if a surface with at least two boundaries has a boundary curve of length <1, then σ1(S_{g,n}) ≤ e + e^{-1} ≈ 3.086.
- For the non-compact hyperbolic upper half-ball, the Dirichlet-to-Neumann operator has an explicit integral representation, and the bottom of its spectrum is exactly 2/π in dimension 2 and at least (∫_0^∞ cosh^{-(n-1)}s ds)^{-1} in dimension n≥3.
Reading between the lines
- Beyond the paper: once Γ∂(M)>0 on a non-compact manifold, Theorem 2 gives a positive spectral gap above zero for the Dirichlet-to-Neumann operator, implying a form of boundary confinement that the authors do not single out.
- Beyond the paper: the same capacity-versus-energy sandwich should transfer to weighted manifolds, where capacity is defined with a density, and the constants can be tested numerically on flat strips or warped cylinders.
- Beyond the paper: the paper treats only the first eigenvalue, but the min-max principle suggests isocapacitary upper and lower bounds for higher Steklov eigenvalues σ_k with constants depending on k, which is a natural extension the authors do not state.
- Beyond the paper: the hyperbolic-surface estimate σ1(S_{g,1})ℓ(γ) ≤ 4/3 + o(1) raises the question of whether 4/3 is asymptotically sharp for short geodesic boundaries, which the paper does not address.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines isocapacitary constants Γ∂(M) for a Riemannian manifold with boundary and claims Cheeger-type two-sided bounds: for compact M, 1/4 Γ∂(M) ≤ σ1(M) ≤ 2Γ∂(M), and for non-compact M, 1/4 Γ∂(M) ≤ inf Spec(DM) ≤ 2Γ∂(M). The proofs proceed through a capacity lemma (Proposition 10), a variational argument for the first Steklov eigenvalue, a limit argument for the non-compact case, and applications to compact hyperbolic surfaces with geodesic boundaries and to the hyperbolic half-ball. The manuscript is self-contained and the constants are computed, not fitted; the graph paper [20] is used only as an analogue, not as an input.
Significance. If the main theorems are correct, the paper gives a uniform control of the first Steklov eigenvalue (or the bottom of the Dirichlet-to-Neumann spectrum) by a purely geometric isocapacitary quantity, up to a universal factor of 8. This would partially answer the Buser-type question from Colbois–Girouard–Gordon–Sher and extend Maz'ya's isocapacitary framework to the Steklov setting. The applications to hyperbolic surfaces produce explicit upper bounds and eigenvalue decay statements that are concrete and checkable. The paper is readable and the overall strategy is credible, but the central lemma and one key application step need correction before the claims are established.
major comments (4)
- [§3, Proposition 10] Proposition 10 as printed is false. For M=[0,1] and u(x)=x, the set {u≥t} is [t,1] and {u≤0} is {0}; the capacity of these two sets is 1/t, so the left side ∫_0^1 Cap dt diverges while the right side is 4∫_0^1 |u'|^2 dx = 4. The proof in Eq. (14) integrates with respect to d(t(ψ)^2), which indicates that the intended statement is ∫_0^∞ t·Cap({u≥t},{u≤0},M) dt ≤ 2∫_{M_u≥0} |∇u|^2, equivalently ∫_0^∞ Cap d(t^2) ≤ 4∫|∇u|^2. This correction is local and repairable, but the lemma as stated is load-bearing for Eq. (19) and must be fixed.
- [§4, proof of Theorem 1, Eq. (19)–(20)] The lower-bound chain for a sign-changing Steklov eigenfunction is incomplete. With the corrected form of Proposition 10, the displayed argument yields σ1∫ f^2 ≥ 1/2 ∫_0^∞ t·Cap(...) dt ≥ 1/2 Γ∂(M) ∫_0^∞ t·m({f≥t}) dt = 1/2 Γ∂(M) · (1/2 ∫_{∂M} (f_+)^2 dσ), not 1/4 Γ∂(M)∫_{∂M} f^2 dσ. The identity used in the paper identifies ∫ t·m({f≥t}) dt with 1/2∫ f^2, but the correct identity is 1/2∫ (f_+)^2 because f changes sign. Assumption (18) controls the measures of the positive and negative sets but gives no control of ∫(f_+)^2 relative to ∫ f^2. Thus the claimed lower bound 1/4 Γ∂(M) does not follow without an additional argument handling f_+ and f_-, or a weaker constant.
- [§2.2 and §4, Theorem 2 and Lemma 12] The non-compact part silently assumes properties that are not stated. The construction of Hf via the limit over M∩B(p,r), the monotonicity of ξ1(Mr, ∂I Mr), and the equality Γ∂(M)=lim Γ∂(Mr,M) in Lemma 12 require that the geodesic balls B(p,r) have relatively compact intersection with M, which is automatic for complete Riemannian manifolds but not for arbitrary non-compact manifolds with embedded boundary. The completeness hypothesis should be added, or the statements should be restricted to a class of manifolds for which the exhaustion is valid.
- [§4, definition of Cap(F,M)] The definition of Cap(F,M) in the proof of Theorem 2 is misprinted: it reads 'f is taken over all smooth functions such that f ≡ 0 on F and f ∈ C_c^∞(M)', but the correct condition, as given in the introduction, is f ≡ 1 on F. With the printed condition, Cap(F,M)=0 for every F and Γ∂(M) becomes identically zero, which would make Theorem 2 vacuous. This is an obvious typo, but it affects the meaning of Lemma 12 and Theorem 2 and should be corrected.
minor comments (4)
- [Throughout] There are numerous typos, e.g., 'Huasdorff' for Hausdorff, 'Togther' for Together, 'exsit' for exist, and several instances of inconsistent spacing around equations. A careful proofreading pass is needed.
- [§2.2, Eq. after f_+ and f_-] The line defining f^- is misprinted as 'f − = 1/2 = (f − |f|)' and should read 'f_- = 1/2(f - |f|)'.
- [§5.2, Theorem 14 and surrounding text] The notation for the DtN operator is inconsistent: D^{n+1}_+ appears as D^{n+1}_+, DD^{n+1}_+, and DD^n_+ in different places. Please unify the notation.
- [§5.1, Case II] The statement 'σ1(Sg,n) ≤ e + e^{-1}' for l0 < 1 < ρ0 should specify how ρ0 is chosen in terms of l0; currently the inequality depends on the choice of ρ0 via the collar lemma, and the text should make the dependence explicit.
Circularity Check
No significant circularity: the capacity constants are computed independently, and the target eigenvalue estimates are not assumed as inputs.
full rationale
The derivation chain is self-contained. The isocapacitary constants Γ∂(M) are defined directly from capacitary minimizers over boundary sets, and the proof of Theorem 1 does not assume σ1(M) in the definition of Γ∂(M). The lower bound uses a capacity-coarea comparison (Proposition 10) plus the variational characterization of σ1; the upper bound constructs explicit test functions from near-minimizing pairs (A,B), which is a standard argument rather than a circular one. The self-citation [20] is an analogue for graphs and is not used as a load-bearing premise in the proofs of Theorems 1 or 2. The non-compact case reduces to compact exhaustions via Lemma 5 and Lemma 12, with the limiting Γ∂ computed independently from the definition, and the DtN extension uses the standard Reed–Simon theorem. The specific example computations (hyperbolic surfaces and D^2_+) are independent explicit calculations. This review also notes that Proposition 10 as printed appears incorrect—for M=[0,1] and u(x)=x the left-hand side diverges while the right-hand side is finite—but this is a correctness defect in a supporting lemma, not a circularity: the flawed lemma does not make the theorem equivalent to its inputs. Therefore no circular step satisfying the required quote-and-reduction standard was found.
Assumptions & free parameters
assumptions (5)
- standard math Coarea formula and layer-cake representation of Dirichlet energy for smooth functions on manifolds with boundary.
- standard math Hardy inequality: ∫_0^a (t/ψ)^2 dψ ≤ 4∫_0^a (t')^2 dψ for absolutely continuous t with t(0)=0.
- standard math Reed-Simon Theorem X.23: a positive symmetric operator has a unique self-adjoint positive extension via its closable quadratic form.
- domain assumption The exhaustion M_r = M∩B(p,r) consists of relatively compact domains with piecewise smooth boundary and exhausts M.
- domain assumption Collar lemma for hyperbolic surfaces: a collar around a short boundary geodesic is a topological cylinder with metric ds²=dρ²+l0² cosh²ρ dt².
Cite this review
Pith. "Pith review of Cheeger type inequalities associated with isocapacitary constants on Riemannian manifolds with boundary." pith.science (2026). https://pith.science/paper/JWOSZ45N
@misc{pith2026241221008,
author = {Pith},
title = {Pith review of: Cheeger type inequalities associated with isocapacitary constants on Riemannian manifolds with boundary},
year = {2026},
howpublished = {\url{https://pith.science/paper/JWOSZ45N}},
note = {Machine review of arXiv:2412.21008}
}
read the original abstract
In this paper, we study the Steklov eigenvalue of a Riemannian manifold (M, g) with smooth boundary. For compact M , we establish a Cheeger-type inequality for the first Steklov eigenvalue by the isocapacitary constant. For non-compact M , we estimate the bottom of the spectrum of the Dirichlet-to-Neumann operator by the isocapacitary constant.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[20]
Cheeger type inequalities associated with isocapacitary constants on graphs
Bobo Hua, Florentin M¨ unch, and Tao Wang. Cheeger type inequalities associated with iso- capacitary constants on graphs. arxiv: 2406.12583 , 2024
work page Pith review arXiv 2024
-
[1]
F. Brock. An isoperimetric inequality for eigenvalues of the Stekloff problem. ZAMM Z. Angew. Math. Mech. , 81(1):69–71, 2001
work page 2001
-
[2]
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
-
[3]
Geometry and spectra of compact Riemann surfaces
Peter Buser. Geometry and spectra of compact Riemann surfaces . Modern Birkh¨ auser Clas- sics. Birkh¨ auser Boston, Ltd., Boston, MA, 2010. Reprint of the 1992 edition
2010
-
[4]
Isoperimetric control of the Steklov spectrum
Bruno Colbois, Ahmad El Soufi, and Alexandre Girouard. Isoperimetric control of the Steklov spectrum. J. Funct. Anal. , 261(5):1384–1399, 2011
work page 2011
-
[5]
Some recent develop- ments on the Steklov eigenvalue problem
Bruno Colbois, Alexandre Girouard, Carolyn Gordon, and David Sher. Some recent develop- ments on the Steklov eigenvalue problem. Rev. Mat. Complut. , 37(1):1–161, 2024
work page 2024
-
[6]
The Steklov spectrum and coarse discretizations of manifolds with boundary
Bruno Colbois, Alexandre Girouard, and Binoy Raveendran. The Steklov spectrum and coarse discretizations of manifolds with boundary. Pure Appl. Math. Q. , 14(2):357–392, 2018
work page 2018
-
[7]
Sharp Steklov upper bound for submanifolds of revolution
Bruno Colbois and Sheela Verma. Sharp Steklov upper bound for submanifolds of revolution. J. Geom. Anal. , 31(11):11214–11225, 2021
work page 2021
Show all 38 references
-
[8]
Jos´ e F. Escobar. The geometry of the first non-zero Stekloff eigenvalue. J. Funct. Anal. , 150(2):544–556, 1997
1997
-
[9]
Jos´ e F. Escobar. An isoperimetric inequality and the first Steklov eigenvalue.J. Funct. Anal., 165(1):101–116, 1999
1999
-
[10]
Jos´ e F. Escobar. A comparison theorem for the first non-zero Steklov eigenvalue. J. Funct. Anal., 178(1):143–155, 2000
2000
-
[11]
The first Steklov eigenvalue, conformal geometry, and minimal surfaces
Ailana Fraser and Richard Schoen. The first Steklov eigenvalue, conformal geometry, and minimal surfaces. Adv. Math., 226(5):4011–4030, 2011
2011
-
[12]
Shape optimization for the Steklov problem in higher dimensions
Ailana Fraser and Richard Schoen. Shape optimization for the Steklov problem in higher dimensions. Adv. Math., 348:146–162, 2019
2019
-
[13]
Upper bounds for Steklov eigenvalues on surfaces
Alexandre Girouard and Iosif Polterovich. Upper bounds for Steklov eigenvalues on surfaces. Electron. Res. Announc. Math. Sci. , 19:77–85, 2012
2012
-
[14]
Spectral geometry of the Steklov problem (survey article)
Alexandre Girouard and Iosif Polterovich. Spectral geometry of the Steklov problem (survey article). J. Spectr. Theory, 7(2):321–359, 2017
2017
-
[15]
Large Steklov eigenvalues on hyperbolic surfaces
Xiaolong Hans Han, Yuxin He, and Han Hong. Large Steklov eigenvalues on hyperbolic surfaces. Math. Z. , 308(2):Paper No. 37, 21, 2024. 26 BOBO HUA AND YANG SHEN
2024
-
[16]
Higher order Cheeger inequalities for Steklov eigen- values
Asma Hassannezhad and Laurent Miclo. Higher order Cheeger inequalities for Steklov eigen- values. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 53(1):43–88, 2020
2020
-
[17]
Non-simple systoles on random hyperbolic surfaces for large genus, 2023
Yuxin He, Yang Shen, Yunhui Wu, and Yuhao Xue. Non-simple systoles on random hyperbolic surfaces for large genus, 2023
2023
-
[18]
Upper bounds for the Steklov eigenvalues on trees
Zunwu He and Bobo Hua. Upper bounds for the Steklov eigenvalues on trees. Calc. Var. Partial Differential Equations , 61(3):Paper No. 101, 15, 2022
2022
-
[19]
First eigenvalue estimates of Dirichlet-to-Neumann operators on graphs
Bobo Hua, Yan Huang, and Zuoqin Wang. First eigenvalue estimates of Dirichlet-to-Neumann operators on graphs. Calc. Var. Partial Differential Equations, 56(6):Paper No. 178, 21, 2017
2017
-
[21]
Une in´ egalit´ e de Cheeger pour le spectre de Steklov
Pierre Jammes. Une in´ egalit´ e de Cheeger pour le spectre de Steklov. Ann. Inst. Fourier (Grenoble), 65(3):1381–1385, 2015
2015
-
[22]
Variational aspects of Laplace eigenvalues on Riemannian surfaces
Gerasim Kokarev. Variational aspects of Laplace eigenvalues on Riemannian surfaces. Adv. Math., 258:191–239, 2014
2014
-
[23]
The legacy of Vladimir Andreevich Steklov
Nikolay Kuznetsov, Tadeusz Kulczycki, Mateusz Kwa´ snicki, Alexander Nazarov, Sergey Poborchi, Iosif Polterovich, and Bart l omiej Siudeja. The legacy of Vladimir Andreevich Steklov. Notices Amer. Math. Soc. , 61(1):9–22, 2014
2014
-
[24]
Geometric analysis , volume 134 of Cambridge Studies in Advanced Mathematics
Peter Li. Geometric analysis , volume 134 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2012
2012
-
[25]
V. G. Maz’ya. The negative spectrum of the higher-dimensional Schr¨ odinger operator. Dokl. Akad. Nauk SSSR , 144:721–722, 1962
1962
-
[26]
V. G. Maz’ya. On the theory of the higher-dimensional Schr¨ odinger operator.Izv. Akad. Nauk SSSR Ser. Mat. , 28:1145–1172, 1964
1964
-
[27]
Conductor and capacitary inequalities for functions on topological spaces and their applications to Sobolev-type imbeddings
Vladimir Maz’ya. Conductor and capacitary inequalities for functions on topological spaces and their applications to Sobolev-type imbeddings. J. Funct. Anal. , 224(2):408–430, 2005
2005
-
[28]
Integral and isocapacitary inequalities
Vladimir Maz’ya. Integral and isocapacitary inequalities. In Linear and complex analysis , volume 226 of Amer. Math. Soc. Transl. Ser. 2, pages 85–107. Amer. Math. Soc., Providence, RI, 2009
2009
-
[29]
Vladimir Maz’ya. Sobolev spaces with applications to elliptic partial differential equations , volume 342 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, Heidelberg, augmented edition, 2011
2011
-
[30]
Growth of Weil-Petersson volumes and random hyperbolic surfaces of large genus
Maryam Mirzakhani. Growth of Weil-Petersson volumes and random hyperbolic surfaces of large genus. J. Differential Geom. , 94(2):267–300, 2013
2013
-
[31]
Lower bounds for the first eigenvalue of the Steklov problem on graphs.Calc
H´ el` ene Perrin. Lower bounds for the first eigenvalue of the Steklov problem on graphs.Calc. Var. Partial Differential Equations , 58(2):Paper No. 67, 12, 2019
2019
-
[32]
Isoperimetric upper bound for the first eigenvalue of discrete Steklov problems
H´ el` ene Perrin. Isoperimetric upper bound for the first eigenvalue of discrete Steklov problems. J. Geom. Anal. , 31(8):8144–8155, 2021
2021
-
[33]
Methods of modern mathematical physics
Michael Reed and Barry Simon. Methods of modern mathematical physics. II. Fourier anal- ysis, self-adjointness . Academic Press [Harcourt Brace Jovanovich, Publishers], New York- London, 1975
1975
-
[34]
Arbitrarily small spectral gaps for random hyperbolic surfaces with many cusps
Yang Shen and Yunhui Wu. Arbitrarily small spectral gaps for random hyperbolic surfaces with many cusps. arXiv:2203.15681, 2022
2022 arXiv
-
[35]
A Lichnerowicz-type estimate for Steklov eigenvalues on graphs and its rigidity
Yongjie Shi and Chengjie Yu. A Lichnerowicz-type estimate for Steklov eigenvalues on graphs and its rigidity. Calc. Var. Partial Differential Equations , 61(3):Paper No. 98, 22, 2022
2022
-
[36]
Inequalities for a classical eigenvalue problem
Robert Weinstock. Inequalities for a classical eigenvalue problem. J. Rational Mech. Anal. , 3:745–753, 1954
1954
-
[37]
Prime geodesic theorem and closed geodesics for large genus
Yunhui Wu and Yuhao Xue. Prime geodesic theorem and closed geodesics for large genus. arXiv:2209.10415. Journal of the European Mathematical Society, to appear. , 2022
2022 arXiv
-
[38]
Random hyperbolic surfaces of large genus have first eigenvalues greater than 3 16 − ϵ
Yunhui Wu and Yuhao Xue. Random hyperbolic surfaces of large genus have first eigenvalues greater than 3 16 − ϵ. Geom. Funct. Anal., 32(2):340–410, 2022. Bobo Hua School of Mathematical Sciences, LMNS, Fudan University, Shanghai 200433, P.R. China Shanghai Center for Mathemati...
2022
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.