Pith. sign in

REVIEW 3 major objections 3 minor 28 references

Hot spots in domains of constant curvature

T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read The paper proves the hot spots conjecture for every non-acute geodesic triangle of constant negative curvature.

desk verdict An abstract-only paper: the full text is corrupted and unreadable, so the claims cannot be verified; the real open question is whether the mixed-eigenfunction lemma covers the right-angle case. read the letter →

arxiv 2508.13353 v1 pith:RMHEPRQL submitted 2025-08-18 math.SP math.APmath.DG

Lawford Hatcher This is my paper · ORCID
classification math.SPmath.APmath.DG MSC 35P1558J50
keywords hotspotsconjectureLaplaceeigenfunctionsNeumannboundaryconditionsconstantcurvaturehyperbolicgeometrygeodesictrianglesKillingfieldscriticalpoints
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

This paper proves that the hot spots conjecture holds for all non-acute geodesic triangles of constant negative curvature: the second Neumann eigenfunction of the Laplace–Beltrami operator on any such triangle attains its maximum and minimum on the boundary, not in the interior. It also shows that, under stated conditions, first mixed Dirichlet–Neumann eigenfunctions on constant-curvature triangles have no non-vertex critical points and are monotone along a suitable Killing field. A further theorem says that for general simply connected polygons of non-zero constant curvature, with exactly one family of exceptions, second Neumann eigenfunctions have at most finitely many critical points. If correct, this gives a geometric, symmetry-based explanation for where hot spots can and cannot appear on curved surfaces.

What carries the argument

The central object is a Killing field—a vector field whose flow is a local isometry of the surface, here of the hyperbolic plane or the sphere. The paper chooses a Killing field that sweeps the triangle in a single direction, and proves that the first mixed Dirichlet–Neumann eigenfunction is strictly monotone along it. Monotonicity along this field controls the sign of directional derivatives, forces level sets to be graphs over a boundary arc, and prevents the existence of interior extrema. The same mechanism, supplemented by a curve-counting argument on level sets, yields the finiteness statement for second Neumann eigenfunctions on polygons.

What would settle it

Compute the second Neumann eigenfunction on a specific non-acute hyperbolic geodesic triangle—for example, one with angles $(\pi/2, \pi/4, \pi/6)$—using high-accuracy numerical methods, and check whether its gradient vanishes at any interior point. Any interior critical point, especially an interior local maximum or minimum, would directly contradict the main theorem.

Watch

Extended reading notes

Core claim

The central claim is that the hot spots conjecture holds for all non-acute geodesic triangles of constant negative curvature. In such a triangle, the second Neumann eigenfunction of the Laplace–Beltrami operator has no critical points in the interior; its maximum and minimum are attained on the boundary. The proof rests on constructing, for each such triangle, a Killing field (an infinitesimal isometry of the hyperbolic plane) along which the first mixed Dirichlet–Neumann eigenfunction is strictly monotone; this monotonicity rules out interior extrema and, together with a boundary maximum principle, places the extrema on the boundary. The same monotonicity mechanism is used to show that, und

Load-bearing premise

The proof assumes that every non-acute geodesic triangle in constant negative curvature admits a Killing field whose flow is monotone across the entire triangle; if any such triangle lacks a suitable sweeping isometry, the proof's central mechanism breaks.

Editorial extensions

If this is right

  • Every non-acute hyperbolic geodesic triangle now has the hot spots property: second Neumann eigenfunctions attain extrema only on the boundary.
  • First mixed Dirichlet–Neumann eigenfunctions on constant-curvature triangles have no interior critical points, so their extrema are confined to vertices or boundary arcs.
  • For all but one family of simply connected polygons of non-zero constant curvature, second Neumann eigenfunctions have only finitely many critical points.
  • Any future counterexample to the hot spots conjecture in constant negative curvature must be an acute geodesic triangle; the non-acute case is closed.

Reading between the lines

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

  • A natural next question—not asked in the paper—is whether the same Killing-field monotonicity proof can be pushed to hyperbolic polygons with more than three sides; if the real condition is the existence of a global sweeping isometry, 'non-acute' may be replaceable by a broader geometric notion.
  • The 'one family of exceptions' to the finiteness theorem is likely the family of polygons that admit a continuous symmetry (a Killing field). If so, the exception is precisely where the paper's monotonicity mechanism breaks, and checking whether hot spots still hold there by a different argument would be a natural follow-up.
  • One could test the robustness of the method by taking a curvature-degeneration limit (hyperbolic curvature going to zero) to see whether the Euclidean triangle hot-spots result emerges as a limiting case; if it does, the paper unifies Euclidean and curved hot-spots proofs through one geometric mechanism.
  • The monotonicity of mixed eigenfunctions along Killing fields may also constrain nodal lines—for instance, forcing the nodal line to connect the Dirichlet and Neumann boundary arcs—which could be checked numerically on the same triangles.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper claims several results on the hot spots conjecture for Laplace eigenfunctions on two-dimensional domains of constant curvature. The main theorem asserts that the hot spots conjecture holds for all non-acute geodesic triangles of constant negative curvature. Additionally, the abstract announces: (i) under unspecified 'certain circumstances', first mixed Dirichlet–Neumann Laplace eigenfunctions on constant-curvature triangles have no non-vertex critical points; (ii) each such eigenfunction is monotonic with respect to some Killing field; and (iii) for general simply connected polygons of non-zero constant curvature, with exactly one family of exceptions, second Neumann eigenfunctions have at most finitely many critical points. The supplied full text is corrupted and unreadable, so the assessment below is based almost entirely on the abstract.

Significance. If the main theorem is correct, it would be a substantial advance: the hot spots conjecture for all non-acute geodesic triangles in the hyperbolic plane is a natural and nontrivial extension of known Euclidean results. The mixed-boundary critical-point theorem and the finiteness result for polygons would also be useful contributions. However, because the manuscript text is unreadable in the version provided, I cannot verify the proofs, definitions, or hypotheses. The significance of the claims is high, but the evidentiary basis for accepting them is presently absent.

major comments (3)
  1. [Full text (all sections)] The supplied manuscript is corrupted: the body consists of unreadable replacement characters and does not permit verification of any theorem, lemma, or derivation. Since the central claim is a proof-carrying mathematical assertion, the unreadable text is a load-bearing obstacle. I cannot assess whether the proofs are correct, whether the hypotheses are consistent, or whether the stated theorems follow. This prevents acceptance and even substantive review.
  2. [Abstract, mixed eigenfunction result] The abstract states that first mixed Dirichlet–Neumann eigenfunctions have no non-vertex critical points 'under certain circumstances,' but the circumstances are not specified. This is load-bearing because the main theorem on non-acute hyperbolic triangles is plausibly proved by splitting a triangle along an altitude and applying the mixed-eigenfunction result to the two pieces. If the unspecified circumstances exclude the case where the Dirichlet–Neumann interface meets the boundary at a right angle, then the advertised class of all non-acute triangles (which includes right triangles) may exceed what the proof covers. The manuscript must state the exact hypotheses and verify that they include every split used in the main theorem.
  3. [Abstract, main theorem] The main theorem is stated without the precise definition of 'non-acute' for geodesic triangles in constant negative curvature. In the hyperbolic plane, a triangle can have multiple angles greater than or equal to π/2 only under angle-sum restrictions, so the term is presumably unambiguous, but the manuscript should explicitly define it and clarify whether right-angled triangles are included. More importantly, the proof structure—especially the role of the mixed-eigenfunction lemma—must be visible to confirm that the theorem covers the full stated class. At present this is unverifiable.
minor comments (3)
  1. [Abstract] The phrase 'constant (positive or negative) curvature triangles' should specify whether Euclidean (zero-curvature) triangles are included or excluded in each result, since the abstract later distinguishes 'non-zero constant curvature' for polygons.
  2. [Full text header] The header line 'arXiv:2508.13350v2 [math.OC] 14 Mar 2026' appears inconsistent with the stated arXiv identifier 2508.13353 and the subject classification math.SP. This may be a corruption artifact, but it should be corrected in a resubmission.
  3. [Abstract, finiteness result] The 'exactly one family of exceptions' for polygons is not described. Even a brief characterization of the exceptional family would help readers assess the scope of the result.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; no claimed prediction reduces to its inputs, and no load-bearing self-citation is visible.

full rationale

The paper's abstract claims a main theorem (hot spots for non-acute geodesic triangles of constant negative curvature) and auxiliary results about mixed Dirichlet–Neumann eigenfunctions and finiteness of critical points. From the available text, including the abstract and corrupted body, I cannot exhibit any specific reduction of a claimed result to its own inputs: there are no fitted parameters renamed as predictions, no definition that smuggles the conclusion into the hypothesis, and no visible load-bearing self-citation chain. The phrase 'under certain circumstances' in the second claimed theorem is flagged as an incompleteness caveat: the hypotheses are unspecified, so the scope of that theorem is not fully certified from the abstract. However, an unspecified hypothesis is a completeness/rigor concern, not a circularity concern; it does not make the mixed-eigenfunction theorem equivalent to its own assumptions by construction. No step of the derivation chain can be quoted showing Eq. X = Eq. Y by definition or showing a parameter fitted to the very quantity later 'predicted.' Therefore, under the hard rule requiring a quoted reduction before claiming circularity, the appropriate finding is no significant circularity.

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

Based on the abstract alone, we cannot identify additional axioms or free parameters. The paper is a mathematical proof, so it presumably relies on standard PDE theory and geometry.

assumptions (2)
  • standard math The Laplacian on compact constant-curvature surfaces with boundary has a discrete spectrum of Neumann and mixed eigenfunctions, and eigenfunctions are regular enough to apply critical point arguments.
    Standard spectral theory; implicitly assumed by the statement.
  • domain assumption The hot spots conjecture is formulated as the assertion that second Neumann eigenfunctions have no interior critical points (or extrema only on the boundary).
    The paper states results about the conjecture; the exact formulation is assumed from the literature.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hot spots in domains of constant curvature." pith.science (2026). https://pith.science/paper/RMHEPRQL

@misc{pith2026250813353,
  author       = {Pith},
  title        = {Pith review of: Hot spots in domains of constant curvature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RMHEPRQL}},
  note         = {Machine review of arXiv:2508.13353}
}
read the original abstract

We prove constant-curvature analogues of several results regarding the hot spots conjecture in dimension two. Our main theorem shows that the hot spots conjecture holds for all non-acute geodesic triangles of constant negative curvature. We also prove that, under certain circumstances, on constant (positive or negative) curvature triangles, first mixed Dirichlet-Neumann Laplace eigenfunctions have no non-vertex critical points. Moreover, we show that each of these eigenfunctions is monotonic with respect to some Killing field. Finally, we show that for general simply connected polygons of non-zero constant curvature--with exactly one family of exceptions--second Neumann eigenfunctions of the Laplacian have at most finitely many critical points.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 25 canonical work pages

  1. [1]

    On the first eigenvalue and eigenfunction of the Laplacian with mixed boundary conditions

    N. Aldeghi and J. Rohleder. ``On the first eigenvalue and eigenfunction of the Laplacian with mixed boundary conditions." arXiv preprint arXiv:2403.17717 (2024)

    work page Pith review arXiv 2024

  2. [2]

    Atar and K

    R. Atar and K. Burdzy, ``On Neumann eigenfunctions in lip domains." Journal of the AMS, Volume 17, Number 2 (2004), Pages 243-265

    work page 2004

  3. [3]

    Hot Spots

    R. Ba\ nuelos and K. Burdzy, ``On the “Hot Spots” Conjecture of J. Rauch." Journal of Functional Analysis, 164, 1-33 (1999)

    work page 1999

  4. [4]

    Burdzy and W

    K. Burdzy and W. Werner (1999). ``A counterexample to the `hot spots' conjecture." Annals of Mathematics, 149, 309-317

    work page 1999

  5. [5]

    P. Buser. Geometry and spectra of compact Riemann surfaces. Springer Science & Business Media, 2010

    work page 2010

  6. [6]

    H. Chen, C. Gui, and R. Yao (2023). ``Uniqueness of critical points of the second Neumann eigenfunctions on triangles." arXiv preprint. arXiv:2311.12659v1

    work page arXiv 2023

  7. [7]

    ``Eigenfunctions and nodal sets." Commentarii Mathematici Helvetici 51 (1976): 43-55

    Cheng, Shiu-Yuen. ``Eigenfunctions and nodal sets." Commentarii Mathematici Helvetici 51 (1976): 43-55

    work page 1976

  8. [8]

    P. Freitas. ``Closed nodal lines and interior hot spots of the second eigenfunction of the Laplacian on surfaces." Indiana University mathematics journal (2002): 305-316

    work page 2002

Show all 28 references
  1. [9]

    L. Hatcher. ``First mixed Laplace eigenfunctions with no hot spots." Proc. Amer. Math. Soc. 152.12 (2024): 5191-5205

    2024

  2. [10]

    L. Hatcher. ``The hot spots conjecture for some non-convex polygons." SIAM Journal on Mathematical Analysis 57.4 (2025): 4588-4608

    2025

  3. [11]

    L. Hatcher. ``A hot spots theorem for the mixed eigenvalue problem with small Dirichlet region." arXiv preprint arXiv:2409.03908 (2024)

    2024 arXiv

  4. [12]

    E. Hopf. ``A remark on linear elliptic differential equations of second order." Proc. Amer. Math. Soc. 3 (1952), 791–793

    1952

  5. [13]

    Jerison and N

    D. Jerison and N. Nadirashvili. ``The `hot spots' conjecture for domains with two axes of symmetry." Journal of the American Mathematical Society 13.4 (2000): 741-772

    2000

  6. [14]

    Judge and S

    C. Judge and S. Mondal (2020). ``Euclidean triangles have no hot spots." Annals of Mathematics, 191, 167-211

    2020

  7. [15]

    Judge and S

    C. Judge and S. Mondal (2022). ``Erratum: Euclidean triangles have no hot spots." Annals of Mathematics, 195, 337-362

    2022

  8. [16]

    Judge and S

    C. Judge and S. Mondal. ``Some remarks on critical sets of Laplace eigenfunctions." Annales mathématiques du Québec 49.1 (2025): 155-163

    2025

  9. [17]

    T. Kato. Perturbation theory for linear operators. Vol. 132. Springer Science & Business Media, 2013

    2013

  10. [18]

    Kennedy and J

    J. Kennedy and J. Rohleder. ``On the hot spots conjecture in higher dimensions." arXiv preprint arXiv:2410.00816 (2024)

    2024 arXiv

  11. [19]

    J. Lee. Introduction to Riemannian manifolds. Vol. 2. Cham: Springer, 2018

    2018

  12. [20]

    Li and R

    R. Li and R. Yao. ``Monotonicity of positive solutions to semilinear elliptic equations with mixed boundary conditions in triangles." arXiv preprint arXiv:2401.17912 (2024)

    2024

  13. [21]

    Eigenvalue inequalities for the Laplacian with mixed boundary conditions

    V. Lotoreichik and J. Rohleder. "Eigenvalue inequalities for the Laplacian with mixed boundary conditions." Journal of differential equations 263.1 (2017): 491-508

    2017

  14. [22]

    Miyamoto (2009)

    Y. Miyamoto (2009). ``The hot spots conjecture for a certain class of planar convex domains." Journal of Mathematical Physics, 50(10)

    2009

  15. [23]

    J. Pont. ``Convex sets can have interior hot spots." arXiv preprint arXiv:2412.06344 (2024)

    2024 arXiv

  16. [24]

    Rauch (1975)

    J. Rauch (1975). Five problems: an introduction to the qualitative theory of partial differential equations. Partial differential equations and related topics (Program, Tulane University, New Orleans, LA, 1974), 355-369. Lecture Notes in Mathematics, 446, Springer, Berlin

    1975

  17. [25]

    Siudeja (2015)

    B. Siudeja (2015). ``Hot spots conjecture for a class of acute triangles." Math. Z., 280, 783-806

    2015

  18. [26]

    A. Terras. Harmonic Analysis on Symmetric Spaces--Euclidean Space, the Sphere, and the Poincaré Upper Half-Plane. New York: Springer, 2013

    2013

  19. [27]

    G. Teschl. Ordinary differential equations and dynamical systems. Vol. 140. American Mathematical Soc., 2012

    2012

  20. [28]

    Thurston

    W. Thurston. Three-Dimensional Geometry and Topology, Volume 1: Volume 1. Princeton university press, 1997

    1997

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.