New inequalities for eigenvalues of the Dirichlet Laplacian on the hyperbolic space

Yong Luo

arxiv: 2604.20343 · v1 · submitted 2026-04-22 · 🧮 math.AP · math.DG

New inequalities for eigenvalues of the Dirichlet Laplacian on the hyperbolic space

Yong Luo This is my paper

Pith reviewed 2026-05-09 23:59 UTC · model grok-4.3

classification 🧮 math.AP math.DG

keywords Dirichlet Laplacianhyperbolic spaceeigenvalue inequalitiesCheng's conjecturespectral geometrybounded domainsuniversal inequalities

0 comments

The pith

New inequalities bound eigenvalues of the Dirichlet Laplacian on hyperbolic space and confirm Cheng's conjecture to within ε for two special domain classes.

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

The paper establishes new inequalities relating eigenvalues of the Dirichlet Laplacian on bounded domains in hyperbolic space. These bounds adapt ideas from universal eigenvalue inequalities to the setting of constant negative curvature. For two particular geometric classes of domains the results show that Cheng's conjecture holds up to an arbitrarily small additive error ε. A reader would care because the inequalities give explicit control on the spectrum of the Laplacian, which governs diffusion, wave propagation, and quantum mechanics on negatively curved spaces.

Core claim

We prove some new inequalities for eigenvalues of the Dirichlet Laplacian on the hyperbolic space. In particular, we verify Cheng's conjecture up to loss of ε for two special kinds of bounded domains in the hyperbolic space.

What carries the argument

The new eigenvalue inequalities derived from the hyperbolic metric and applied to two special classes of bounded domains.

If this is right

Successive eigenvalues on those domains obey explicit relations involving the hyperbolic volume or diameter.
Cheng's conjecture is true up to an arbitrarily small ε error term for the identified domain types.
The same method yields new universal-type bounds that reduce to known Euclidean results in the flat limit.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The ε-approximation technique could be tested on other constant-curvature manifolds or on domains with controlled boundary regularity.
These bounds might connect to heat-kernel decay rates or isoperimetric inequalities already known in hyperbolic geometry.
Explicit examples such as geodesic balls or horoballs could be used to measure the size of the ε loss in concrete cases.

Load-bearing premise

The verification holds only when the domain belongs to one of two specific geometric classes in hyperbolic space.

What would settle it

Numerical computation of the first several Dirichlet eigenvalues on a domain from one of the two special classes that violates the stated inequality bound.

read the original abstract

In this paper, motivated by study on universal inequalities for eigenvalues of the Dirichlet Laplacian, we prove some new inequalities for eigenvalues of the Dirichlet Laplacian on the hyperbolic space. In particular, we verify Cheng's conjecture (Adv. Lect. Math. 37, 2017) up to loss of $\epsilon$ for two special kinds of bounded domains in the hyperbolic space.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper adds new eigenvalue inequalities in hyperbolic space and a limited check on Cheng's conjecture for two domain types.

read the letter

This paper gives new inequalities for the eigenvalues of the Dirichlet Laplacian on hyperbolic space. It also verifies Cheng's conjecture up to an epsilon loss for two special kinds of bounded domains. The authors build on the theory of universal inequalities and adapt it to the hyperbolic setting. They provide explicit new bounds and show that the conjecture holds approximately in those cases. This represents a concrete step forward in the subfield, even if not a complete resolution. They do well by clearly limiting the result to the two domain types and acknowledging the epsilon gap. This honesty about scope helps readers understand exactly what is proven. The soft spots are the limited generality and the approximate nature of the verification. The conjecture is only checked for special domains, so it does not apply to arbitrary bounded domains in hyperbolic space. The loss of epsilon means there is still work to do for an exact proof. If the full paper has detailed proofs, those would be the key part to examine for any technical gaps. No major issues with the approach based on the description, and it seems to follow standard citation patterns in the field. This paper is aimed at researchers in spectral geometry and partial differential equations on manifolds. A reader interested in eigenvalue problems on hyperbolic space or in Cheng's conjecture would find it relevant and could build on the inequalities. It deserves a serious referee. The work is incremental but properly scoped, making it worth the time to review the details. I would recommend sending it for peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript proves new inequalities for eigenvalues of the Dirichlet Laplacian on hyperbolic space. In particular, it verifies Cheng's conjecture (Adv. Lect. Math. 37, 2017) up to an ε-loss for two special classes of bounded domains.

Significance. If the derivations hold, the work supplies concrete new bounds in a non-Euclidean setting and gives a partial, explicitly scoped confirmation of an open conjecture. The restriction to two special domain classes is stated clearly and avoids over-generalization, which strengthens the contribution within its stated scope.

minor comments (3)

[Abstract] The abstract and introduction should explicitly name the two special classes of bounded domains (e.g., geodesic balls or horoballs) rather than referring to them only as “two special kinds.”
[§1] Notation for the hyperbolic metric and the Dirichlet Laplacian should be introduced once in §1 and used consistently; several later sections appear to switch between g and the standard hyperbolic metric without redefinition.
[§4] The ε-loss term in the conjecture verification is stated but its dependence on the domain parameters is not quantified; a brief remark on how ε scales with the inradius or curvature would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were listed in the report, so we have no specific points to address point-by-point. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper claims to derive new eigenvalue inequalities for the Dirichlet Laplacian on hyperbolic space and to verify Cheng's conjecture (up to ε-loss) only for two special classes of bounded domains. No load-bearing step reduces by construction to a fitted input, self-definition, or self-citation chain; the abstract explicitly scopes the result to those domains and builds on standard prior inequalities without renaming known results or smuggling ansatzes. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard assumptions of hyperbolic geometry and spectral theory without introducing new free parameters or entities based on the abstract.

axioms (1)

domain assumption Standard properties of the Dirichlet Laplacian and hyperbolic space metric
Invoked implicitly as the setting for the eigenvalue problem and inequalities.

pith-pipeline@v0.9.0 · 5337 in / 1117 out tokens · 28004 ms · 2026-05-09T23:59:47.394555+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[1]

M. S. Ashbaugh, Isoperimetric and universal inequalities for eigenvalues, in: E.B. Davies, Yu. Safarov (Eds.), Spectral Theory and Geometry, Edinburgh, 1998, in: London Math. Soc. Lecture Note Ser., vol. 273, Cambridge Univ. Press, Cambridge, 1999, pp. 95–139

work page 1998
[2]

M. S. Ashbaugh, Universal eigenvalue bounds of Payne-P´ olya-Weinberger, Hile-Protter, and H.C. Yang,Proc. Indian Acad. Sci. Math. Sci.112(2002), 3–30

work page 2002
[3]

Chavel, Eigenvalues in Riemannian Geometry, Academic Press, New York, 1984

I. Chavel, Eigenvalues in Riemannian Geometry, Academic Press, New York, 1984

work page 1984
[4]

D. G. Chen, Q. M. Cheng, Extrinsic estimates for eigenvalues of the Laplace operator,J. Math. Soc. Japan60(2008), no.2, 325–339

work page 2008
[5]

Q. M. Cheng, Eigenvalue Estimates for Eigenvalues and Applications,Adv. Lect. Math. (ALM), 37, International Press, Somerville, MA, 2017, 37–52

work page 2017
[6]

Q. M. Cheng and H. C. Yang, Estimates on Eigenvalues of Laplacian.Math. Ann. 331(2005), 445–460

work page 2005
[7]

Q. M. Cheng and H. C. Yang, Inequalities for eigenvalues of Laplacian on domains and compact complex hypersurfaces in complex projective spaces,J. Math. Soc. Japan58 (2006), no. 2, 545–561

work page 2006
[8]

Q. M. Cheng and H. C. Yang, Bounds on eigenvalues of Dirichlet Laplacian,Math. Ann. 337(2007), 159–175

work page 2007
[9]

Q. M. Cheng and H. C. Yang, Estimates for eigenvalues on Riemannian manifolds.J. Differential Equations247(2009), 2270–2281. 9

work page 2009
[10]

E. M. Harrell II and P. L. Michel, Commutator bounds for eigenvalues with applications to spectral geometry,Comm. Partial Differential Equations19(1994), 2037–2055

work page 1994
[11]

G. N. Hile and M. H. Protter, Inequalities for eigenvalues of the Laplacian,Indiana Univ. Math. J.29(1980), no.4, 523–538

work page 1980
[12]

Luo and X

Y. Luo and X. J. Zheng, Universal inequalities for eigenvalues of the Dirichlet Laplacian on conformally flat Riemannian manifolds,Acta Math. Sci. Ser. B (Engl. Ed.)46(2026), no. 2, 714–729

work page 2026
[13]

L. E. Payne, G. P¨ olya and H. F. Weinberger, On the ratio of consecutive eigenvalues,J. Math. and Phys.35(1956), 289–298

work page 1956
[14]

Soufi, E

A. Soufi, E. M. Harrel II, S. Ilias, Universal inequalities for the eigenvalues of Schr¨ odinger operators on submanifolds,Trans. Amer. Math. Soc.361(2009), no.5, 2337–2350

work page 2009
[15]

H. C. Yang, An estimate of the differance between consecutive eigenvalues, Preprint IC/91/60 of ICTP (1991), Trieste. Yong Luo Mathematical Science Research Center of Mathematics, Chongqing University of Technology, Chongqing, 400054, China yongluo-math@cqut.edu.cn 10

work page 1991

[1] [1]

M. S. Ashbaugh, Isoperimetric and universal inequalities for eigenvalues, in: E.B. Davies, Yu. Safarov (Eds.), Spectral Theory and Geometry, Edinburgh, 1998, in: London Math. Soc. Lecture Note Ser., vol. 273, Cambridge Univ. Press, Cambridge, 1999, pp. 95–139

work page 1998

[2] [2]

M. S. Ashbaugh, Universal eigenvalue bounds of Payne-P´ olya-Weinberger, Hile-Protter, and H.C. Yang,Proc. Indian Acad. Sci. Math. Sci.112(2002), 3–30

work page 2002

[3] [3]

Chavel, Eigenvalues in Riemannian Geometry, Academic Press, New York, 1984

I. Chavel, Eigenvalues in Riemannian Geometry, Academic Press, New York, 1984

work page 1984

[4] [4]

D. G. Chen, Q. M. Cheng, Extrinsic estimates for eigenvalues of the Laplace operator,J. Math. Soc. Japan60(2008), no.2, 325–339

work page 2008

[5] [5]

Q. M. Cheng, Eigenvalue Estimates for Eigenvalues and Applications,Adv. Lect. Math. (ALM), 37, International Press, Somerville, MA, 2017, 37–52

work page 2017

[6] [6]

Q. M. Cheng and H. C. Yang, Estimates on Eigenvalues of Laplacian.Math. Ann. 331(2005), 445–460

work page 2005

[7] [7]

Q. M. Cheng and H. C. Yang, Inequalities for eigenvalues of Laplacian on domains and compact complex hypersurfaces in complex projective spaces,J. Math. Soc. Japan58 (2006), no. 2, 545–561

work page 2006

[8] [8]

Q. M. Cheng and H. C. Yang, Bounds on eigenvalues of Dirichlet Laplacian,Math. Ann. 337(2007), 159–175

work page 2007

[9] [9]

Q. M. Cheng and H. C. Yang, Estimates for eigenvalues on Riemannian manifolds.J. Differential Equations247(2009), 2270–2281. 9

work page 2009

[10] [10]

E. M. Harrell II and P. L. Michel, Commutator bounds for eigenvalues with applications to spectral geometry,Comm. Partial Differential Equations19(1994), 2037–2055

work page 1994

[11] [11]

G. N. Hile and M. H. Protter, Inequalities for eigenvalues of the Laplacian,Indiana Univ. Math. J.29(1980), no.4, 523–538

work page 1980

[12] [12]

Luo and X

Y. Luo and X. J. Zheng, Universal inequalities for eigenvalues of the Dirichlet Laplacian on conformally flat Riemannian manifolds,Acta Math. Sci. Ser. B (Engl. Ed.)46(2026), no. 2, 714–729

work page 2026

[13] [13]

L. E. Payne, G. P¨ olya and H. F. Weinberger, On the ratio of consecutive eigenvalues,J. Math. and Phys.35(1956), 289–298

work page 1956

[14] [14]

Soufi, E

A. Soufi, E. M. Harrel II, S. Ilias, Universal inequalities for the eigenvalues of Schr¨ odinger operators on submanifolds,Trans. Amer. Math. Soc.361(2009), no.5, 2337–2350

work page 2009

[15] [15]

H. C. Yang, An estimate of the differance between consecutive eigenvalues, Preprint IC/91/60 of ICTP (1991), Trieste. Yong Luo Mathematical Science Research Center of Mathematics, Chongqing University of Technology, Chongqing, 400054, China yongluo-math@cqut.edu.cn 10

work page 1991