Hot spots in convex hyperbolic planar domains with small eigenvalues
Pith reviewed 2026-05-22 08:38 UTC · model grok-4.3
The pith
Bounded convex domains in the hyperbolic plane with large area have second Neumann eigenfunctions with no interior critical points.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove a variant of Rauch's hot spots conjecture for hyperbolic planar domains with small Neumann or mixed Dirichlet-Neumann eigenvalues. We conclude, for instance, that on bounded convex domains in the hyperbolic plane with sufficiently large area, second Neumann Laplace eigenfunctions have no interior critical points.
What carries the argument
Comparison and maximum-principle arguments applied to eigenfunctions with small eigenvalues on convex hyperbolic domains.
If this is right
- Second Neumann eigenfunctions have no interior critical points on large convex hyperbolic domains.
- The same absence of interior critical points holds for mixed Dirichlet-Neumann eigenfunctions when the eigenvalue is small.
- The result requires the domain to be convex and of area large enough to make the eigenvalue sufficiently small.
Where Pith is reading between the lines
- The approach could extend to domains with variable curvature provided the eigenvalue remains small.
- Numerical eigenfunction computations on explicit large hyperbolic polygons would provide a direct test of the no-critical-point statement.
- The finding suggests that nodal sets of higher eigenfunctions may also simplify in large constant-curvature domains.
Load-bearing premise
The domain must be bounded, convex, and large enough in area that the second Neumann eigenvalue is small enough for the maximum-principle arguments to apply.
What would settle it
A bounded convex hyperbolic domain of large area whose second Neumann eigenfunction possesses an interior critical point would falsify the claim.
read the original abstract
We prove a variant of Rauch's hot spots conjecture for hyperbolic planar domains with small Neumann or mixed Dirichlet-Neumann eigenvalues. We conclude, for instance, that on bounded convex domains in the hyperbolic plane with sufficiently large area, second Neumann Laplace eigenfunctions have no interior critical points.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a variant of Rauch's hot spots conjecture for hyperbolic planar domains with small Neumann or mixed Dirichlet-Neumann eigenvalues. It concludes that on bounded convex domains in the hyperbolic plane with sufficiently large area, second Neumann Laplace eigenfunctions have no interior critical points.
Significance. If the result holds, it provides a positive instance of the hot spots conjecture in constant negative curvature, showing that sufficiently large area forces the second Neumann eigenfunction to be free of interior critical points via maximum-principle or comparison arguments. The approach is noteworthy for making the small-eigenvalue hypothesis geometrically explicit through domain area.
major comments (1)
- [§3] §3 (main comparison argument): the proof that small λ dominates the hyperbolic curvature term in the Bochner-type identity or gradient estimate needs an explicit lower bound on area (or upper bound on λ) to be stated; without it the threshold remains existential and the applicability range is hard to verify.
minor comments (2)
- [Introduction] Introduction: add a brief sentence recalling the Euclidean Rauch conjecture statement and one key reference for context.
- [Notation] Notation section: clarify whether the mixed boundary condition is Dirichlet on part of the boundary and Neumann on the rest, and how convexity interacts with the boundary conditions.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation and the recommendation of minor revision. The single major comment is addressed below; we will revise the manuscript to incorporate an explicit threshold as suggested.
read point-by-point responses
-
Referee: [§3] §3 (main comparison argument): the proof that small λ dominates the hyperbolic curvature term in the Bochner-type identity or gradient estimate needs an explicit lower bound on area (or upper bound on λ) to be stated; without it the threshold remains existential and the applicability range is hard to verify.
Authors: We agree that an explicit lower bound on area (equivalently, an upper bound on λ) would make the result more applicable and verifiable. The present argument in §3 shows existence of such a threshold via domination of the curvature term but does not compute its value. In the revised version we will track the constants appearing in the Bochner identity and the ensuing gradient comparison more precisely, yielding an explicit (though possibly non-optimal) lower bound on the area in terms of the hyperbolic curvature. This change will be confined to §3 and the statement of the main theorem. revision: yes
Circularity Check
No significant circularity; self-contained proof of theorem under explicit hypothesis
full rationale
The paper states and proves a variant of Rauch's hot spots conjecture for bounded convex hyperbolic domains whose second Neumann eigenvalue is sufficiently small (equivalently, domains of sufficiently large area). The argument applies maximum-principle or comparison techniques that become valid once the eigenvalue is small enough to dominate geometric terms. This small-eigenvalue condition is an explicit hypothesis, not a derived or fitted quantity. No equations, definitions, or steps in the abstract or described structure reduce by construction to the target claim itself, nor do any load-bearing self-citations or ansatzes appear. The derivation is therefore independent of its own inputs and self-contained as a standard mathematical proof.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of the Neumann Laplacian on bounded convex domains in H^2
Lean theorems connected to this paper
-
IndisputableMonolith/Cost.leanJcost definition and uniqueness unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We use these functions to construct test functions that allow us to prove Theorem 1.1 via contradiction... Jp,μ(x)=P−s(cosh(r))
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 forcing) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the spectrum of the Laplacian−∆H2 acting on L2(H2) equals the interval [1/4,∞)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
Commentarii Mathematici Helvetici , volume=
Eigenfunctions and nodal sets , author=. Commentarii Mathematici Helvetici , volume=. 1976 , publisher=
work page 1976
-
[3]
Hatcher, L. , journal=. A hot spots theorem for the mixed eigenvalue problem with small
- [4]
- [5]
-
[6]
Journal of Soviet Mathematics , volume=
Small eigenvalues of automorphic Laplacians in spaces of parabolic forms , author=. Journal of Soviet Mathematics , volume=. 1987 , publisher=
work page 1987
-
[7]
Complex Analysis and Operator Theory , volume=
A note on hot-spots free subregions of convex domains , author=. Complex Analysis and Operator Theory , volume=. 2026 , publisher=
work page 2026
- [8]
-
[9]
Ba\ nuelos, R. and Burdzy, K. , journal=. On the `hot spots' conjecture of. 1999 , publisher=
work page 1999
-
[10]
Journal of Spectral Theory , volume=
Scaling inequalities for spherical and hyperbolic eigenvalues , author=. Journal of Spectral Theory , volume=. 2023 , publisher=
work page 2023
- [11]
-
[12]
Journal of Rational Mechanics and Analysis , volume=
An isoperimetric inequality for the N-dimensional free membrane problem , author=. Journal of Rational Mechanics and Analysis , volume=. 1956 , publisher=
work page 1956
-
[13]
Annals of Mathematics , volume=
Euclidean triangles have no hot spots , author=. Annals of Mathematics , volume=. 2020 , publisher=
work page 2020
-
[14]
Inventiones Mathematicae , volume=
Uniqueness of critical points of the second Neumann eigenfunctions on triangles , author=. Inventiones Mathematicae , volume=. 2026 , publisher=
work page 2026
-
[15]
Extended abstracts 2021/2022---
Rohleder, Jonathan , TITLE =. Extended abstracts 2021/2022---
work page 2021
- [16]
-
[17]
Chen, Hongbin and Wu, Ke and Yao, Ruofei , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s10231-025-01615-7 , URL =
- [18]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.