Pith. sign in

REVIEW 15 references

Reviewed by Pith at T0; open to challenge.

T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →

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

T0 review · grok-4.3

Sum of the first n reciprocal Neumann eigenvalues is minimized by the equal-volume geodesic ball.

2026-06-29 03:09 UTC pith:SOTKSLAP

load-bearing objection This settles the Xia-Wang conjecture via a direct variational comparison that holds under the stated assumptions.

arxiv 2606.27848 v1 pith:SOTKSLAP submitted 2026-06-26 math.DG

Reciprocal sums of Neumann eigenvalues in non-Euclidean space forms

Jiangcheng You , Heng Zhang This is my paper
classification math.DG
keywords Neumann eigenvaluesspace formsgeodesic ballseigenvalue inequalitiesconstant curvature manifoldsreciprocal sums
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves that in a space form of constant curvature +1 or -1, any bounded smooth domain satisfies an inequality relating its first n positive Neumann eigenvalues to those of a geodesic ball of identical volume. The sum of the reciprocals of those eigenvalues is bounded from below by n divided by the first eigenvalue of the ball. Equality occurs precisely when the domain itself is a geodesic ball. The result requires that domains on the sphere lie inside an open hemisphere. A sympathetic reader would see this as a sharp comparison theorem that settles a recent conjecture and extends classical eigenvalue bounds from flat space to curved geometries.

Core claim

We prove that for every bounded connected smooth domain Ω in the space form M^n_κ (κ = −1 or 1), with Ω contained in an open hemisphere when κ = 1, the inequality ∑_{j=1}^n 1/μ_j(Ω) ≥ n / μ_1(B_Ω) holds, where B_Ω is any geodesic ball with the same volume as Ω, and equality holds if and only if Ω is a geodesic ball.

What carries the argument

Volume-preserving comparison of a general domain Ω with its equal-volume geodesic ball B_Ω inside the reciprocal-sum inequality for the first n Neumann eigenvalues.

Load-bearing premise

When curvature is positive the domain must lie inside an open hemisphere.

What would settle it

A single non-ball domain (inside the hemisphere when curvature is +1) for which the sum of the first n reciprocal Neumann eigenvalues falls below n divided by the first eigenvalue of the equal-volume ball.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Geodesic balls achieve the minimal possible value of the reciprocal sum among all admissible domains of given volume.
  • The equality case gives a rigidity statement that characterizes geodesic balls by this eigenvalue quantity.
  • The conjecture of Xia and Wang is confirmed in both hyperbolic space and the sphere under the hemisphere restriction.

Where Pith is reading between the lines

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

  • The same comparison technique might produce analogous bounds when more than the first n eigenvalues are included in the sum.
  • One could test whether the inequality remains valid for domains that cross the equator on the sphere, which would remove the hemisphere restriction.
  • Numerical eigenvalue computations on non-ball domains in hyperbolic space could be benchmarked against the explicit value for the ball to check sharpness.

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

0 major / 0 minor

Summary. The manuscript proves that for any bounded connected smooth domain Ω in the simply connected space form M^n_κ (n≥2, κ∈{-1,1}), with the additional assumption that Ω lies in an open hemisphere when κ=1, the inequality ∑_{j=1}^n 1/μ_j(Ω) ≥ n/μ_1(B_Ω) holds, where μ_j(Ω) are the positive Neumann eigenvalues of Ω and B_Ω is the geodesic ball of equal volume. Equality holds if and only if Ω is a geodesic ball. The result confirms a conjecture of Xia and Wang.

Significance. If the result holds, it supplies a sharp isoperimetric inequality for reciprocal sums of Neumann eigenvalues on space forms of constant curvature, extending Euclidean results and resolving an open conjecture via a self-contained argument based on the variational characterization of eigenvalues, comparison with the model ball, and rigidity analysis for the equality case. This strengthens the spectral geometry literature on non-Euclidean domains.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, the accurate summary of the main result, and the recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; self-contained proof of external conjecture

full rationale

The manuscript supplies an explicit variational proof of the stated reciprocal-sum inequality for Neumann eigenvalues on space forms, using the Rayleigh quotient characterization, domain monotonicity/comparison with the equal-volume geodesic ball, and a separate rigidity argument for the equality case. The result is framed as a resolution of a conjecture by Xia and Wang (distinct authors). No load-bearing step reduces by definition, by fitting, or by a self-citation chain to the target inequality itself; the open-hemisphere assumption for κ=1 is declared up front and does not create a circular dependency. This is the normal case of an independent derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract; no free parameters or invented entities are visible. The result rests on standard properties of the Neumann Laplacian and comparison geometry in space forms, plus the hemisphere restriction for positive curvature.

axioms (2)
  • standard math Neumann eigenvalues are well-defined positive numbers for bounded smooth domains in Riemannian manifolds
    Invoked implicitly when defining μ_j(Ω)
  • standard math Geodesic balls exist and have well-defined first Neumann eigenvalue in space forms
    Used in the comparison object B_Ω

pith-pipeline@v0.9.1-grok · 5677 in / 1166 out tokens · 52781 ms · 2026-06-29T03:09:40.716473+00:00 · methodology

0 comments
read the original abstract

Let $M^n_\kappa$ be the simply connected space form of dimension $n\ge2$ and constant sectional curvature $\kappa\in\{-1,1\}$. For every bounded connected smooth domain $\Omega\subset M^n_\kappa$, assume in the case $\kappa=1$ that $\Omega$ is contained in an open hemisphere, and let $B_\Omega$ be a geodesic ball with $|B_\Omega|=|\Omega|$. We prove $$ \sum_{j=1}^n \frac1{\mu_j(\Omega)}\ge \frac{n}{\mu_1(B_\Omega)}, $$ where $\mu_j(\Omega)$ are the positive Neumann eigenvalues of $\Omega$. Equality holds if and only if $\Omega$ is a geodesic ball. This proves a conjecture proposed by Xia and Wang [Math. Ann. 385, 2023, 863-879].

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    M. S. Ashbaugh,Open problems on eigenvalues of the Laplacian, in T. M. Rassias and H. M. Srivastava (eds.),Analytic and Geometric Inequalities and Applications, Math. Appl.478, Kluwer Academic Publishers, Dordrecht, 1999, pp. 13–28

    1999

  2. [2]

    M. S. Ashbaugh and R. D. Benguria,Universal bounds for the low eigenvalues of Neumann Laplacians inN dimensions, SIAM J. Math. Anal.24(1993), no. 3, 557–570

    1993

  3. [3]

    M. S. Ashbaugh and R. D. Benguria,Sharp upper bound to the first nonzero Neumann eigenvalue for bounded domains in spaces of constant curvature, J. London Math. Soc. (2)52(1995), no. 2, 402–416

    1995

  4. [4]

    R. D. Benguria, B. Brandolini and F. Chiacchio,A sharp estimate for Neumann eigenvalues of the Laplace– Beltrami operator for domains in a hemisphere, Commun. Contemp. Math.22(2020), no. 3, 1950018, 9 pp

    2020

  5. [5]

    Brasco and A

    L. Brasco and A. Pratelli,Sharp stability of some spectral inequalities, Geom. Funct. Anal.22(2012), no. 1, 107–135

    2012

  6. [6]

    Chavel,Eigenvalues in Riemannian Geometry, Pure and Applied Mathematics, vol

    I. Chavel,Eigenvalues in Riemannian Geometry, Pure and Applied Mathematics, vol. 115, Academic Press, Orlando, FL, 1984

    1984

  7. [7]

    Y. He, Y. Li and Q. Tang,A proof of the Ashbaugh–Benguria conjecture for reciprocal sums of Neumann eigenvalues, arXiv:2606.08271 [math.SP], 2026, 15 pp

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  8. [8]

    G. N. Hile and Z. Y. Xu,Inequalities for sums of reciprocals of eigenvalues, J. Math. Anal. Appl.180(1993), no. 2, 412–430

    1993

  9. [9]

    Henrot,Extremum Problems for Eigenvalues of Elliptic Operators, Frontiers in Mathematics, Birkh¨ auser, Basel, 2006

    A. Henrot,Extremum Problems for Eigenvalues of Elliptic Operators, Frontiers in Mathematics, Birkh¨ auser, Basel, 2006

    2006

  10. [10]

    Meng and K

    Y. Meng and K. Wang,Isoperimetric inequalities for Neumann eigenvalues on bounded domains in rank-1 symmetric spaces, Calc. Var. Partial Differential Equations63(2024), no. 5, Paper No. 113, 12 pp. RECIPROCAL SUMS 23

    2024

  11. [11]

    N. Nadirashvili,Conformal maps and isoperimetric inequalities for eigenvalues of the Neumann problem, in: Proceedings of the Ashkelon Workshop on Complex Function Theory (1996), Israel Math. Conf. Proc.11, Bar-Ilan Univ., Ramat Gan, 1997, pp. 197–201

    1996

  12. [12]

    Szeg˝ o,Inequalities for certain eigenvalues of a membrane of given area, J

    G. Szeg˝ o,Inequalities for certain eigenvalues of a membrane of given area, J. Rational Mech. Anal.3(1954), 343–356

    1954

  13. [13]

    H. F. Weinberger,An isoperimetric inequality for theN-dimensional free membrane problem, J. Rational Mech. Anal.5(1956), no. 4, 633–636

    1956

  14. [14]

    Xia and Q

    C. Xia and Q. Wang,On a conjecture of Ashbaugh and Benguria about lower eigenvalues of the Neumann Laplacian, Math. Ann.385(2023), no. 1–2, 863–879

    2023

  15. [15]

    Xu,The first nonzero eigenvalue of Neumann problem on Riemannian manifolds, J

    Y. Xu,The first nonzero eigenvalue of Neumann problem on Riemannian manifolds, J. Geom. Anal.5(1995), no. 1, 151–165. School of Mathematical Sciences, University of Science and Technology of China, Hefei, China Email address:yjcmp@mail.ustc.edu.cn School of Mathematical Sciences, University of Science and Technology of China, Hefei, China Email address:he...

    1995