Pith. sign in

REVIEW 1 major objections 37 references

Lower bounds for the low Steklov eigenvalues

T0 review · 1 major / 0 minor · reviewed 2026-06-29 · grok-4.3

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

Pith's one-line read Lower bounds for the low Steklov eigenvalues σ_k (1 ≤ k ≤ b-1) are determined by the interior geometry of the manifold with b boundary components.

desk verdict This paper gives lower bounds for the low Steklov eigenvalues σ_k (1 ≤ k ≤ b-1) on manifolds with b boundaries by using interior geometry and a trace inequality with an electrical-resistance coefficient. read the letter →

arxiv 2605.30254 v1 pith:5ASL65CU submitted 2026-05-28 math.DG math.SP

Tirumala Chakradhar , Bruno Colbois , Asma Hassannezhad This is my paper · ORCID
classification math.DGmath.SP
keywords StekloveigenvaluesRiemannianmanifoldboundarycomponentslowerboundstraceinequalityelectricalresistanceinteriorgeometrynegativecurvature
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper provides geometric lower bounds for the smallest Steklov eigenvalues on a Riemannian manifold that has multiple boundary components. Previous work had given bounds for larger eigenvalues that depended mostly on the geometry near the boundary. Here the focus is on how the interior of the manifold controls these low eigenvalues. The key tool is a trace inequality that connects the Steklov problem to Neumann eigenvalues on subdomains, using a term that measures the electrical resistance across a collar near each boundary.

What carries the argument

The trace inequality relating the Steklov eigenvalue to the Neumann eigenvalues of connected subdomains containing a boundary collar, with the coefficient given by the electrical resistance of the boundary collar.

What would settle it

A specific manifold with b boundaries where the low Steklov eigenvalues are smaller than the bound predicted by the interior geometry and the resistance formula.

Watch

Extended reading notes

Core claim

For a compact, connected, orientable Riemannian manifold with b boundary components, geometric lower bounds are obtained for the low Steklov eigenvalues σ_k with 1 ≤ k ≤ b-1. These bounds complement earlier results for k ≥ b that depend on boundary geometry by demonstrating the influence of interior geometry. The result also yields lower bounds for pinched negatively curved manifolds via an alternative proof. The proof uses a trace inequality relating Steklov eigenvalues to Neumann eigenvalues of connected subdomains containing a boundary collar, where the geometric coefficient is given explicitly in terms of the electrical resistance of the boundary collar.

Load-bearing premise

The trace inequality holds and gives the geometric coefficient explicitly from the electrical resistance of the boundary collar.

Editorial extensions

If this is right

  • Provides lower bounds depending on interior geometry rather than boundary geometry alone.
  • Yields alternative proofs for bounds on pinched negatively curved manifolds.
  • Extends understanding of how the number of boundary components affects the low spectrum.
  • Applies to any compact orientable manifold with boundary.

Reading between the lines

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

  • This suggests that spectral properties of low eigenvalues can be decoupled from boundary details in multi-boundary settings.
  • May allow for constructions where interior modifications control eigenvalues independently of boundary shape.
  • Could be tested by computing resistance terms on explicit examples like the annulus or higher-genus surfaces with boundaries.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 0 minor

Summary. The manuscript claims geometric lower bounds for the low Steklov eigenvalues σ_k (1 ≤ k ≤ b-1) on a compact connected orientable Riemannian manifold with b boundary components. The bounds are derived from a trace inequality relating the Steklov eigenvalues to Neumann eigenvalues on connected subdomains containing a boundary collar; the geometric coefficient in this inequality is given by an explicit formula in terms of a quantity interpreted as the electrical resistance of the boundary collar. The results complement earlier boundary-near bounds for k ≥ b and recover similar bounds for pinched negatively curved manifolds via an alternative proof.

Significance. If the trace inequality is established with the stated explicit geometric coefficient and without hidden dependencies on boundary geometry, the work would provide a useful interior-geometry control on low Steklov eigenvalues, which are otherwise typically governed by local boundary data. The explicit resistance interpretation and the alternative proof for the negative-curvature case are concrete strengths that could be cited in future work on spectral geometry of manifolds with boundary.

major comments (1)
  1. [Abstract / main result] The central claim rests entirely on the trace inequality stated in the abstract. No explicit statement of this inequality (including the precise form of the coefficient, error terms, and the precise conditions on the boundary collar) appears in the provided text, nor is its proof or verification supplied. Without these details the applicability conditions and the claimed geometric interpretation cannot be checked, rendering the soundness of the main result unassessable at present.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their detailed review and positive assessment of the significance of our work. We address the single major comment below and will revise the manuscript to improve clarity.

read point-by-point responses

  1. Referee: [Abstract / main result] The central claim rests entirely on the trace inequality stated in the abstract. No explicit statement of this inequality (including the precise form of the coefficient, error terms, and the precise conditions on the boundary collar) appears in the provided text, nor is its proof or verification supplied. Without these details the applicability conditions and the claimed geometric interpretation cannot be checked, rendering the soundness of the main result unassessable at present.

    Authors: We agree that the abstract describes the trace inequality but does not state it explicitly with the coefficient, error terms, and collar conditions. In the revised version we will expand the abstract to include the precise statement of the inequality (with the explicit resistance-based coefficient and collar hypotheses) and add a direct reference to its proof in Section 3. This will make the applicability conditions and geometric interpretation verifiable without altering the manuscript's results or proofs. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The provided abstract and description state that the main result rests on a trace inequality relating Steklov eigenvalues to Neumann eigenvalues of subdomains containing a boundary collar, with the coefficient given by an explicit electrical-resistance formula. No equations, self-definitions, fitted inputs presented as predictions, or load-bearing self-citations are quoted or visible. The inequality is invoked as an external basis for the proof rather than derived from the target bounds. This is consistent with a self-contained derivation against external benchmarks, yielding no circular steps.

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

The central claim rests on the existence and applicability of the trace inequality and the interpretation of a geometric quantity as electrical resistance; no free parameters or invented entities are mentioned in the abstract.

assumptions (1)
  • domain assumption Trace inequality relating Steklov eigenvalue to Neumann eigenvalues of connected subdomains containing a boundary collar
    Invoked as the basis of the proof in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Lower bounds for the low Steklov eigenvalues." pith.science (2026). https://pith.science/paper/5ASL65CU

@misc{pith2026260530254,
  author       = {Pith},
  title        = {Pith review of: Lower bounds for the low Steklov eigenvalues},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5ASL65CU}},
  note         = {Machine review of arXiv:2605.30254}
}
abstract

For a compact, connected, orientable Riemannian manifold with $b$ boundary components, we obtain geometric lower bounds for the low Steklov eigenvalues, namely $\sigma_k$, $1\le k\le b-1$. Our results complement earlier results, which apply only to $\sigma_k$ with $k\ge b$ and depend on the geometry near the boundary, by showing how the interior geometry influences the low eigenvalues. Our result also yields lower bounds for the low Steklov eigenvalues in the setting of pinched negatively curved manifolds, thus recovering similar results in that context through an alternative proof. The proof of the main result is based on the trace inequality relating the Steklov eigenvalue to the Neumann eigenvalues of the connected subdomains of the manifold containing a boundary collar. The geometric coefficient appearing in this inequality is given by an explicit formula in terms of a quantity that can be interpreted as the electrical resistance of the boundary collar.

Figures

Figures reproduced from arXiv: 2605.30254 by the authors.

Figure 1
Figure 1. This picture illustrates that h˜M can tend to zero when the volumes of the two regions connected by a neck tend to ∞, while hΩ remains unchanged, where Ω is obtained from M by removing those two regions. Note that, to obtain an upper bound for h˜M, it is enough to cut through the middle of the cylinder; then each resulting part contains a boundary component. The proofs of Theorem 1.1 and the lower bound (1) are also… view at source ↗
Figure 2
Figure 2. illustrates the construction of such sequence of Mj . The idea is to choose the warping function so that the weight is concentrated near the middle slice. This forces µ1(Mj ) to be large. On the other hand, the energy of the radial Steklov profile is controlled by 1 RL,j . Mj L −L 0 [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. The solid lines orthogonal to the boundary are geodesics with re￾spect to the perturbed metric ˜g. The perturbation happens only inside a small tubular neighbourhood of the joining curve contained within a distance be￾tween 1 and 1 + ϵ along the axis from a boundary component, once for all R ≫ 1. The normal injectivity radius is highly sensitive to perturbations of the metric, and there are several ways to construct… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 1 canonical work pages

  1. [1]

    Tubular neighborhoods of totally geodesic hypersurfaces in hyperbolic manifolds

    Ara Basmajian. Tubular neighborhoods of totally geodesic hypersurfaces in hyperbolic manifolds. Inventiones mathematicae , 117(1):207--225, 1994

    1994

  2. [2]

    Tubes and S teklov eigenvalues in negatively curved manifolds

    Ara Basmajian, Jade Brisson, Asma Hassannezhad, and Antoine M\'etras. Tubes and S teklov eigenvalues in negatively curved manifolds. Int. Math. Res. Not. IMRN , 2025(3):Paper No. rnaf001, 25, 2025

    2025

  3. [3]

    On C heeger's inequality 1 h 2 /4

    Peter Buser. On C heeger's inequality 1 h 2 /4 . In Geometry of the L aplace operator ( P roc. S ympos. P ure M ath., U niv. H awaii, H onolulu, H awaii, 1979) , volume XXXVI of Proc. Sympos. Pure Math. , pages 29--77. Amer. Math. Soc., Providence, RI, 1980

    1979

  4. [4]

    Geometry and spectra of compact R iemann surfaces , volume 106 of Progress in Mathematics

    Peter Buser. Geometry and spectra of compact R iemann surfaces , volume 106 of Progress in Mathematics . Birkh\" a user Boston, Inc., Boston, MA, 1992

    1992

  5. [5]

    Colbois and J

    B. Colbois and J. Dodziuk. Riemannian metrics with large _1 . Proc. Amer. Math. Soc. , 122(3):905--906, 1994

    1994

  6. [6]

    Extremal eigenvalues of the L aplacian in a conformal class of metrics: the `conformal spectrum'

    Bruno Colbois and Ahmad El Soufi. Extremal eigenvalues of the L aplacian in a conformal class of metrics: the `conformal spectrum'. Ann. Global Anal. Geom. , 24(4):337--349, 2003

    2003

  7. [7]

    Compact manifolds with fixed boundary and large S teklov eigenvalues

    Bruno Colbois, Ahmad El Soufi, and Alexandre Girouard. Compact manifolds with fixed boundary and large S teklov eigenvalues. Proc. Amer. Math. Soc. , 147(9):3813--3827, 2019

    2019

  8. [8]

    Some recent developments on the S teklov eigenvalue problem

    Bruno Colbois, Alexandre Girouard, Carolyn Gordon, and David Sher. Some recent developments on the S teklov eigenvalue problem. Rev. Mat. Complut. , 37(1):1--161, 2024

    2024

Show all 37 references
  1. [9]

    The S teklov and L aplacian spectra of R iemannian manifolds with boundary

    Bruno Colbois, Alexandre Girouard, and Asma Hassannezhad. The S teklov and L aplacian spectra of R iemannian manifolds with boundary. J. Funct. Anal. , 278(6):108409, 38, 2020

    2020

  2. [10]

    A lower bound for the smallest eigenvalue of the L aplacian

    Jeff Cheeger. A lower bound for the smallest eigenvalue of the L aplacian. In Problems in analysis ( S ympos. in honor of S alomon B ochner, P rinceton U niv., P rinceton, N . J ., 1969) , pages 195--199. Princeton Univ. Press, Princeton, NJ, 1970

    1969

  3. [11]

    A lower bound for the first eigenvalue of a finite-volume negatively curved manifold

    Jozef Dodziuk. A lower bound for the first eigenvalue of a finite-volume negatively curved manifold. Bol. Soc. Brasil. Mat. , 18(2):23--34, 1987

    1987

  4. [12]

    Estimating small eigenvalues of riemann surfaces

    Jozef Dodziuk, Thea Pignataro, Burton Randol, and Dennis Sullivan. Estimating small eigenvalues of riemann surfaces. The legacy of Sonya Kovalevskaya (Cambridge, Mass., and Amherst, Mass., 1985), Contemp. Math , 64:93--121, 1987

    1985

  5. [13]

    Lower bounds for _1 on a finite-volume hyperbolic manifold

    Jozef Dodziuk and Burton Randol. Lower bounds for _1 on a finite-volume hyperbolic manifold. J. Differential Geom. , 24(1):133--139, 1986

    1986

  6. [14]

    Eschenburg and E

    J.-H. Eschenburg and E. Heintze. Comparison theory for R iccati equations. Manuscripta Math. , 68(2):209--214, 1990

    1990

  7. [15]

    Jos\'e F. Escobar. The geometry of the first non-zero S tekloff eigenvalue. J. Funct. Anal. , 150(2):544--556, 1997

    1997

  8. [16]

    Jos\'e F. Escobar. An isoperimetric inequality and the first S teklov eigenvalue. J. Funct. Anal. , 165(1):101--116, 1999

    1999

  9. [17]

    The D irichlet-to- N eumann map, the boundary L aplacian, and H \"ormander's rediscovered manuscript

    Alexandre Girouard, Mikhail Karpukhin, Michael Levitin, and Iosif Polterovich. The D irichlet-to- N eumann map, the boundary L aplacian, and H \"ormander's rediscovered manuscript. J. Spectr. Theory , 12(1):195--225, 2022

    2022

  10. [18]

    Tubes , volume 221 of Progress in Mathematics

    Alfred Gray. Tubes , volume 221 of Progress in Mathematics . Birkh\" a user Verlag, Basel, second edition, 2004. With a preface by Vicente Miquel

    2004

  11. [19]

    A general comparison theorem with applications to volume estimates for submanifolds

    Ernst Heintze and Hermann Karcher. A general comparison theorem with applications to volume estimates for submanifolds. Annales scientifiques de l' \'E cole Normale Sup \'e rieure , 11(4):451--470, 1978

    1978

  12. [20]

    Higher order C heeger inequalities for S teklov eigenvalues

    Asma Hassannezhad and Laurent Miclo. Higher order C heeger inequalities for S teklov eigenvalues. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 53(1):43--88, 2020

    2020

  13. [21]

    Geometric bounds for low S teklov eigenvalues of finite volume hyperbolic surfaces

    Asma Hassannezhad, Antoine M\'etras, and H\'el\`ene Perrin. Geometric bounds for low S teklov eigenvalues of finite volume hyperbolic surfaces. J. Geom. Anal. , 35(5):Paper No. 158, 23, 2025

    2025

  14. [22]

    A note on K uttler- S igillito's inequalities

    Asma Hassannezhad and Anna Siffert. A note on K uttler- S igillito's inequalities. Ann. Math. Qu\'e. , 44(1):125--147, 2020

    2020

  15. [23]

    C heeger type inequalities associated with isocapacitary constants on R iemannian manifolds with boundary, 2025

    Bobo Hua and Yanh Shen. C heeger type inequalities associated with isocapacitary constants on R iemannian manifolds with boundary, 2025. arXiv:2412.21008

    2025

  16. [24]

    Une in\'egalit\'e de C heeger pour le spectre de S teklov

    Pierre Jammes. Une in\'egalit\'e de C heeger pour le spectre de S teklov. Ann. Inst. Fourier (Grenoble) , 65(3):1381--1385, 2015

    2015

  17. [25]

    Riemannian comparison constructions

    Hermann Karcher. Riemannian comparison constructions. In Global differential geometry , volume 27 of MAA Stud. Math. , pages 170--222. Math. Assoc. America, Washington, DC, 1989

    1989

  18. [26]

    J. R. Kuttler and V. G. Sigillito. Inequalities for membrane and S tekloff eigenvalues. J. Math. Anal. Appl. , 23:148--160, 1968

    1968

  19. [27]

    Lieb and Michael Loss

    Elliott H. Lieb and Michael Loss. Analysis , volume 14 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, second edition, 2001

    2001

  20. [28]

    Estimates of eigenvalues of a compact R iemannian manifold

    Peter Li and Shing Tung Yau. Estimates of eigenvalues of a compact R iemannian manifold. In Geometry of the L aplace operator ( P roc. S ympos. P ure M ath., U niv. H awaii, H onolulu, H awaii, 1979) , volume XXXVI of Proc. Sympos. Pure Math. , pages 205--239. Amer. Math. Soc....

    1979

  21. [29]

    Hardy's inequality with weights

    Benjamin Muckenhoupt. Hardy's inequality with weights. Studia Math. , 44:31--38, 1972

    1972

  22. [30]

    Estimates for low S teklov eigenvalues of surfaces with several boundary components

    H\'el\`ene Perrin. Estimates for low S teklov eigenvalues of surfaces with several boundary components. Ann. Math. Qu\'e. , 49(1):165--184, 2025

    2025

  23. [31]

    Pillai and Aaron Smith

    Natesh S. Pillai and Aaron Smith. Elementary bounds on mixing times for decomposable M arkov chains. Stochastic Process. Appl. , 127(9):3068--3109, 2017

    2017

  24. [32]

    Provenzano and J

    L. Provenzano and J. Stubbe. Weyl-type bounds for S teklov eigenvalues. J. Spectr. Theory , 9(1):349--377, 2019

    2019

  25. [33]

    A lower bound for the first eigenvalue of a negatively curved manifold

    Richard Schoen. A lower bound for the first eigenvalue of a negatively curved manifold. J. Differential Geometry , 17(2):233--238, 1982

    1982

  26. [34]

    Geometric bounds on the low eigenvalues of a compact surface

    Richard Schoen, Scott Wolpert, and Shing-Tung Yau. Geometric bounds on the low eigenvalues of a compact surface. In Geometry of the L aplace operator ( P roc. S ympos. P ure M ath., U niv. H awaii, H onolulu, H awaii, 1979) , Proc. Sympos. Pure Math., XXXVI, pages 279--285. Am...

    1979

  27. [35]

    G. Uhlmann. Electrical impedance tomography and C alder\'on's problem. Inverse Problems , 25(12):123011, 39, 2009

    2009

  28. [36]

    C. Xiong. Comparison of S teklov eigenvalues on a domain and L aplacian eigenvalues on its boundary in R iemannian manifolds. J. Funct. Anal. , 275(12):3245--3258, 2018

    2018

  29. [37]

    Escobar's conjecture on a sharp lower bound for the first nonzero S teklov eigenvalue

    Chao Xia and Changwei Xiong. Escobar's conjecture on a sharp lower bound for the first nonzero S teklov eigenvalue. Peking Math. J. , 7(2):759--778, 2024

    2024

Pith tools

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