Pith. sign in

REVIEW 2 major objections 5 minor 20 references

Spectral and Geometric Stability for the Reciprocal Sum of Neumann Eigenvalues

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read A small reciprocal-sum deficit forces a domain to be nearly a ball in spectrum and shape, at optimal rates.

desk verdict A well-executed quantitative stability paper whose load-bearing wall is an unpublished preprint; referee it, but make the authors pin down the Lipschitz extension. read the letter →

arxiv 2607.19008 v1 pith:2V6C35YQ submitted 2026-07-21 math.SP

Yulong Li , Zuoqin Wang This is my paper · ORCID
classification math.SP MSC 35P1549R05
keywords Neumanneigenvaluesreciprocal-sumisoperimetricinequalityquantitativestabilityboundedLipschitzdomainseigenvalueclusterdeficitvolumeasymmetry
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 proves that, for bounded Lipschitz domains in any dimension $d \ge 2$, the recently established reciprocal-sum isoperimetric inequality for the first $d$ nonzero Neumann eigenvalues is quantitatively stable. If the normalized reciprocal-sum deficit $D(\Omega)$ is small, then every eigenvalue in the first cluster is close to the corresponding eigenvalue of the equal-volume ball, and the deficit controls the squared displacement of each eigenvalue, the displacement of the cluster sum linearly, and the square of the volume-asymmetry from a ball. It also shows that the classical first-eigenvalue deficit controls the gap between the first two nonzero eigenvalues and the full width of the cluster. Nearly spherical deformations show every exponent in these controls is optimal. If the paper is right, a domain whose reciprocal sum nearly attains the ball's value must be nearly a ball in both spectrum and shape, at explicit rates.

What carries the argument

The machinery is a quantitative version of a linear-algebraic comparison lemma. With the mass matrix $A$ and energy matrix $B$ obtained from transplanted ball eigenfunctions, the comparison matrices are $M = aI + bZ$ and $N = \lambda a I - bZ$, where $Z$ is the trace-free angular-imbalance matrix, $a$ and $b$ are explicit radial constants, and $\lambda$ is the ball's first nonzero eigenvalue. The refined lemma shows that $\operatorname{Tr}(B^{-1}A) - d/\lambda$ is bounded below by a multiple of $\|Z\|_{HS}^2$; a variational comparison then converts this into the deficit bound. The trace condition $\operatorname{Tr} Z = 0$ is essential, because it makes the linear term in the sum of the Ritz values vanish, leaving the linear estimate for the cluster sum. A separate positive-semidefinite remainder in the energy comparison, estimated by a mass-transfer argument, produces the geometric asymmetry bound.

What would settle it

For the explicit family of volume-preserving perturbations of the unit ball with radial displacement $t(\theta_1^2-\theta_d^2)$, the paper's optimality analysis predicts $D(\Omega_t)=O(t^2)$ with the first eigenvalue split of order $t$, and for perturbations orthogonal to all spherical harmonics of degree at most two it predicts $D(\Omega_t) \asymp A(\Omega_t)^2 \asymp t^2$ while the cluster sum moves by order $t^2$. Computing these quantities for this family and finding any different asymptotic order would refute the claimed exponents; finding a bounded Lipschitz domain with $D(\Omega)\to 0$ but $A(\Omega)$ bounded away from zero would refute the geometric stability statement.

Watch

Extended reading notes

Core claim

The central discovery is that the whole first eigenvalue cluster is governed by a single symmetric trace-free matrix $Z = \int_\Omega \theta\theta^T dx - \int_B \theta\theta^T dx$, where $\theta = x/|x|$, which measures the angular imbalance of the domain relative to the ball. Transplanting the ball's first eigenspace to the domain and comparing the resulting mass and energy matrices gives the quantitative matrix bound $D(\Omega) \ge c_3 \|Z\|_{HS}^2$. This yields the quadratic stability inequalities $D(\Omega) \ge \gamma_d \max_i(\tilde\mu_i(\Omega)-\tilde\mu_i(B))^2$ and $D(\Omega) \ge \kappa_d A(\Omega)^2$, where $A$ is the minimal relative volume of the symmetric difference with an equal-volume ball, together with the linear control $D(\Omega) \ge \tau_d |\sum_i \tilde\mu_i(\Omega) - \sum_i \tilde\mu_i(B)|$. The trace-free structure of $Z$ is what makes the linear control possible: first-order terms cancel in the sum. The paper proves the gap estimates from the classical first-eigenvalue deficit, derives an improved two-dimensional constraint on the joint image of the first two normalized eigenvalues, and constructs first-order volume-preserving perturbations of the ball to show that all exponents are optimal.

Load-bearing premise

The reciprocal-sum inequality used as the starting point was proved only for smooth domains, and the paper assumes that it extends to all bounded Lipschitz domains with the same proof; if that extension fails, the stated theorems are false at their claimed level of generality.

Editorial extensions

If this is right

  • A bounded Lipschitz domain whose reciprocal-sum deficit is below $\varepsilon$ has every one of its first $d$ normalized Neumann eigenvalues within $O(\sqrt{\varepsilon})$ of the ball's first eigenvalue.
  • The same deficit bounds the splitting $\tilde\mu_d(\Omega)-\tilde\mu_1(\Omega)$ by $O(\sqrt{\varepsilon})$, so the ball's $d$-fold eigenvalue can only split at a rate no faster than the square root of the deficit.
  • The displacement of the sum of the first $d$ eigenvalues is controlled linearly: $|\sum_i \tilde\mu_i(\Omega) - \sum_i \tilde\mu_i(B)| = O(D(\Omega))$, giving a Neumann-cluster analogue of known cluster stability for the fixed-boundary spectrum.
  • The classical first-eigenvalue deficit bounds the first spectral gap and the full cluster width linearly, so the ball maximizes certain convex combinations of low eigenvalues over an explicit range.
  • In dimension two, the improved bilinear constraint excludes part of the previously admissible $(\tilde\mu_1,\tilde\mu_2)$ region, and equality holds only for disks.

Reading between the lines

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

  • The same matrix comparison should transfer to other transplantation-based eigenvalue inequalities, whenever a trace-free imbalance matrix can be defined, giving analogous stability rates for higher eigenvalues or other boundary conditions.
  • The optimality examples suggest that equality in the stability inequalities is approached only by nearly spherical domains, so the ball is quantitatively isolated as the unique minimizer of the reciprocal sum under a volume constraint.
  • A testable extension is to compute the explicit constants $\gamma_d,\tau_d,\kappa_d$ for $d=2,3$ and compare the predicted envelopes with numerical spectra of explicit families of domains, which would also indicate how sharp the constants in $O(\sqrt{\varepsilon})$ are.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper proves quantitative stability estimates for the normalized reciprocal-sum deficit D(Ω) of the first d nonzero Neumann eigenvalues, assuming the reciprocal-sum isoperimetric inequality recently proved by He, Li, and Tang. The main results are: quadratic control of the individual normalized eigenvalue displacements and of the Fraenkel asymmetry by D (Theorems 1.2 and 1.5), linear control of the displacement of the sum of the cluster (Theorem 1.4), and bounds on the first spectral gap and the full cluster width in terms of the Szegő–Weinberger deficit (Theorems 1.6 and 1.8). Theorem 1.9 asserts that all stated exponents are optimal via first-order volume-preserving perturbations of the ball, and Proposition 1.10 gives an improved two-dimensional constraint on the joint spectral image of the first two nonzero eigenvalues.

Significance. If the underlying reciprocal-sum inequality is available, this is a valuable and coherent contribution: it gives the first quantitative stability for the Ashbaugh–Benguria reciprocal-sum inequality in arbitrary dimension, with explicit constants and optimal exponents. The matrix method is transparent, the quantitative refinement in Lemma 2.2 is the right tool, and the trace cancellation leading to the linear sum control is elegant. The sharpness constructions are explicit and the paper is unusually honest about its constants. The principal caveat is that every theorem is conditional on Theorem 1.1, which is imported from an unpublished preprint and is asserted, rather than proved, to extend to bounded Lipschitz domains.

major comments (2)
  1. [1.1, Theorem 1.1; Section 2] The entire paper is built on Theorem 1.1, which is imported from the unpublished preprint [9] and asserted to extend from smooth domains to bounded Lipschitz domains 'with the same proof'. No proof of this extension is given; Section 2 only sketches the argument and defers the Bessel monotonicity and the equality characterization to '[an] analysis of the relevant Bessel functions' and '[a]nother computation'. Since Theorems 1.2, 1.4, 1.5, 1.6, 1.8, 1.9, and Proposition 1.10 all state bounded Lipschitz domains and all use D ≥ 0 (with the equality characterization) as their starting point, a failure of the claimed Lipschitz extension would invalidate the results at the stated level of generality. The authors should either prove the extension, including the equality case, or restate the main results for the class of domains covered by [9].
  2. [Section 3, after Eq. (3.5)] The displayed identity d/(λ+D) - (d-1)/(λ+C4D^{1/2}) = 1/(λ+D) + (d-1)C4D^{1/2}/(λ(λ+C4D^{1/2})) is not an identity: after the common denominator, the left-hand side has numerator λ + dC4D^{1/2} - (d-1)D, while the right-hand side has numerator λ² + dλC4D^{1/2} + (d-1)C4D^{3/2}. The subsequent bound 1/μ1 ≤ 1/λ + C5D^{1/2} can still be justified because the intended right-hand side is an upper bound once D ≤ 1, so the error is repairable; nevertheless, the line as written is false and must be corrected.
minor comments (5)
  1. [Section 2] In the statement of Lemma 2.2, 'Theorem 2.1' should read 'Lemma 2.1'; in the proof of Lemma 2.4, 'Theorem 2.2' should read 'Lemma 2.2'.
  2. [Section 7 and Figure 1.1] The text and the Figure 1.1 caption refer to 'Theorem 1.10' where the statement is Proposition 1.10; the proof of Section 7 also ends with 'This proves Theorem 1.10'.
  3. [Section 4] The proof of Lemma 4.1 begins with 'Proof of Theorem 4.1'; this should be 'Proof of Lemma 4.1'.
  4. [Title and abstract] There are typographical artifacts in the header ('ST ABILITY', 'EIGENV ALUES') that should be cleaned in the final version.
  5. [Throughout] The paper should state explicitly that 'domain' means connected open set; the use of the Szegő–Weinberger bound x ≤ λ in Section 7 and parts of the sharpness discussion relies on connectedness if disconnected sets are allowed.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the stability estimates are quantitative refinements of an externally imported inequality, not disguised restatements of it.

full rationale

The paper's derivation chain starts from the reciprocal-sum deficit D(Ω) defined in (1.2) and from the He–Li–Tang inequality Theorem 1.1, which is an external result by different authors. The quantitative matrix lemma (Lemma 2.2) and its consequence (Lemma 2.4) give a genuine lower bound on D in terms of the angular imbalance matrix Z, and the subsequent spectral and geometric estimates (Theorems 1.2, 1.4, 1.5, 1.6, 1.8) follow from variational comparisons plus universal upper bounds, not from the definition of D alone. The sharpness constructions in Section 6 are independent first-order deformations of the ball, computed via standard shape derivatives, so they do not presuppose the inequalities they test. No fitted parameter is relabeled as a prediction, and no load-bearing argument reduces to a self-citation: [9] is by He, Li, and Tang, not by the present authors. The only caveats are correctness risks rather than circularity: Theorem 1.1 is imported from an unpublished preprint, and its asserted extension to bounded Lipschitz domains ('remains valid, with the same proof') is not proved in this paper; also the displayed equality after (3.5) is actually only an upper bound, but the argument is repairable and does not affect the stated results. None of these constitutes a circular step.

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

All constants in the paper are explicit dimensional constants derived from known Bessel quantities and spectral bounds; none are fitted to data. The central claim depends on the prior reciprocal-sum theorem [9], standard variational inequalities, universal eigenvalue bounds, and cited perturbation lemmas. No new entities are introduced.

assumptions (5)
  • domain assumption Reciprocal-sum inequality D(Ω) ≥ 0 for bounded Lipschitz domains, with ball equality, taken from [9, Theorem 1.2].
    The stability analysis measures exactly this deficit D and repeatedly uses D ≥ 0 and the matrix bounds that prove it; the paper does not re-prove the inequality for Lipschitz domains.
  • domain assumption Weinberger's translation theorem: after a suitable translation, the transplanted trial functions u_i have zero mean on Ω (Brouwer fixed-point theorem).
    Invoked in Section 2 to make A and B the correct finite-dimensional matrices; if translation fails for non-convex or Lipschitz domains, the variational comparison collapses.
  • domain assumption Universal upper bounds μ_d(Ω) ≤ K_d: Bucur-Henrot bound in d=2 and Kröger bound in d≥3.
    Used in the large-deficit cases of Theorems 1.2 and 1.4 and in the spectral-gap estimates of Section 5.
  • standard math Analytic perturbation theory and the shape derivative formula for multiple Neumann eigenvalues under boundary deformations ([12, Chapter VII], [20, Proposition 2]).
    Used in Section 6 to compute first-order eigenvalue splittings for nearly spherical domains and to prove sharpness of exponents.
  • domain assumption Asymmetry estimate A(Ω_t) ≍ |t| for nearly spherical deformations ([4, Lemma 6.2]).
    Used in Section 6 to prove the optimality of the quadratic dependence on Fraenkel asymmetry.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spectral and Geometric Stability for the Reciprocal Sum of Neumann Eigenvalues." pith.science (2026). https://pith.science/paper/2V6C35YQ

@misc{pith2026260719008,
  author       = {Pith},
  title        = {Pith review of: Spectral and Geometric Stability for the Reciprocal Sum of Neumann Eigenvalues},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2V6C35YQ}},
  note         = {Machine review of arXiv:2607.19008}
}
abstract

We establish quantitative stability for the reciprocal-sum isoperimetric inequality for the first $d$ nonzero Neumann eigenvalues, recently proved by He, Li, and Tang. We prove that for bounded Lipschitz domains in $\mathbb{R}^d$, the reciprocal-sum deficit controls quadratically both the normalized eigenvalue displacements and the Fraenkel asymmetry, while controlling the displacement of the eigenvalue sum linearly. A further result shows that the classical Szeg\H{o}--Weinberger deficit controls both the gap between the first two nonzero eigenvalues and the full width of the first eigenvalue cluster. Nearly spherical perturbations demonstrate that all the stability exponents are optimal. In dimension two, the same matrix method yields improved constraints on the joint spectral image of the first two nonzero eigenvalues.

Figures

Figures reproduced from arXiv: 2607.19008 by the authors.

Figure 1.1
Figure 1.1. Constraints on the (µb1, µb2)-image. The gray dashed curve is obtained from the reciprocal-sum inequality together with the Bucur–Henrot bound. The orange region is the additional region excluded by Theorem 1.10 [PITH_FULL_IMAGE:figures/full_fig_p004_1_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 19 canonical work pages

  1. [9]

    1, 2, 5, 6

    Yixin He, Yanyang Li, and Quanyu Tang, A proof of the Ashbaugh–Benguria conjecture for reciprocal sums of Neumann eigenvalues , arXiv:2606.08271, 2026. 1, 2, 5, 6

    arXiv 2026

  2. [1]

    Arrieta and Alexandre N

    Jose M. Arrieta and Alexandre N. Carvalho, Spectral convergence and nonlinear dynamics of reaction-diffusion equations under perturbations of the domain , J. Differential Equations 199 (2004), no. 1, 143–178. 3

    work page 2004

  3. [2]

    Ashbaugh and Rafael D

    Mark S. Ashbaugh and Rafael D. Benguria, Universal bounds for the low eigenvalues of Neumann Laplacians in n dimensions, SIAM J. Math. Anal. 24 (1993), no. 3, 557–570. 1

    work page 1993

  4. [3]

    Lorenzo Brasco and Guido De Philippis, Spectral inequalities in quantitative form , Shape optimization and spectral theory, De Gruyter Open, Warsaw, 2017, pp. 201–281. 3

    work page 2017

  5. [4]

    Lorenzo Brasco, Guido De Philippis, and Berardo Ruffini, Spectral optimization for the Stekloff-Laplacian: the stability issue , J. Funct. Anal. 262 (2012), no. 11, 4675–4710. 5, 17

    work page 2012

  6. [5]

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

    work page 2012

  7. [6]

    222 (2019), no

    Dorin Bucur and Antoine Henrot, Maximization of the second non-trivial Neumann eigenvalue , Acta Math. 222 (2019), no. 2, 337–361. 4, 10, 14, 18

    work page 2019

  8. [7]

    Pure Appl

    Dorin Bucur, Jimmy Lamboley, Mickaël Nahon, and Raphaël Prunier, Sharp quantitative stability of the Dirichlet spectrum near the ball , Comm. Pure Appl. Math. 79 (2026), no. 4, 827–896. 3

    work page 2026

Show all 20 references
  1. [8]

    22, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2011, Metrics, analysis, differential calculus, and optimization

    Michel Claude Delfour and Jean-Paul Zolésio, Shapes and geometries , second ed., Advances in Design and Control, vol. 22, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2011, Metrics, analysis, differential calculus, and optimization. 16

    2011

  2. [10]

    Joseph Hersch, Caractérisation variationnelle d’une somme de valeurs propres consécutives; généralisation d’inégalités de Pólya-Schiffer et de Weyl , C. R. Acad. Sci. Paris 252 (1961), 1714–1716. 6

    1961

  3. [11]

    Hile and Zhen Yuan Xu, Inequalities for sums of reciprocals of eigenvalues , J

    Gerald N. Hile and Zhen Yuan Xu, Inequalities for sums of reciprocals of eigenvalues , J. Math. Anal. Appl. 180 (1993), no. 2, 412–430. 6

    1993

  4. [12]

    132, Springer-Verlag, Berlin–New York, 1976

    Tosio Kato, Perturbation theory for linear operators , second ed., Grundlehren der Mathematischen Wis- senschaften, vol. 132, Springer-Verlag, Berlin–New York, 1976. 16

    1976

  5. [13]

    Pawel Kröger, Upper bounds for the Neumann eigenvalues on a bounded domain in Euclidean space , J. Funct. Anal. 106 (1992), no. 2, 353–357. 10, 14

    1992

  6. [14]

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

    1996

  7. [15]

    Henri Poincaré, Sur les équations aux dérivées partielles de la physique mathématique , Amer. J. Math. 12 (1890), no. 3, 211–294. 6

  8. [16]

    Analyse Math

    George Pólya and Menahem Max Schiffer, Convexity of functionals by transplantation , J. Analyse Math. 3 (1954), 245–346, With an appendix by Heinz Helfenstein. 6

    1954

  9. [17]

    Rational Mech

    Gábor Szegő, Inequalities for certain eigenvalues of a membrane of given area , J. Rational Mech. Anal. 3 (1954), 343–356. 1 SPECTRAL AND GEOMETRIC STABILITY FOR THE RECIPROCAL SUM OF NEUMANN EIGENV ALUES 21

    1954

  10. [18]

    Weinberger, An isoperimetric inequality for the N -dimensional free membrane problem , J

    Hans F. Weinberger, An isoperimetric inequality for the N -dimensional free membrane problem , J. Rational Mech. Anal. 5 (1956), 633–636. 1, 6, 18

    1956

  11. [19]

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

    2023

  12. [20]

    3, 853–878

    Shengfeng Zhu, Xianliang Hu, and Qifeng Liao, Convergence analysis of Galerkin finite element approximations to shape gradients in eigenvalue optimization , BIT 60 (2020), no. 3, 853–878. 16 (Y.L.) School of Mathematical Sciences, University of Science and Technology of China,...

    2020

Pith tools

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