arxiv: 2604.02195 · v2 · submitted 2026-04-02 · 🧮 math.SP

Recognition: 2 theorem links

· Lean Theorem

Continuity of Weighted Dirac Spectra

Ruijun Wu, Zixuan Qiu

Pith reviewed 2026-05-13 20:27 UTC · model grok-4.3

classification 🧮 math.SP

keywords weighted Dirac spectrumeigenvalue continuityHellmann-Feynman identityuniform ellipticityspectral variationDirac operator

0 comments

The pith

The two-sided weighted Dirac spectrum depends continuously on the weight under continuous deformations within a uniformly elliptic class.

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

The paper establishes that the spectrum of the weighted Dirac eigenvalue problem varies continuously when the weight changes continuously, as long as it remains bounded above and below by positive constants. This continuity means that eigenvalues do not suddenly jump under small deformations of the weight function. For differentiable families of weights, the authors prove a quantitative Lipschitz bound on the full spectrum measured in the arsinh metric. The bound follows from a weighted version of the Hellmann-Feynman variational identity that relates the derivative of each eigenvalue to the variation in the weight.

Core claim

For the weighted Dirac eigenvalue problem, the two-sided weighted spectrum depends continuously on the weight under continuous deformations within a uniformly elliptic class. Moreover, for differentiable families of weights we obtain a quantitative Lipschitz estimate for the full spectrum in the arsinh-metric, based on a weighted Hellmann-Feynman variational identity.

What carries the argument

The weighted Hellmann-Feynman variational identity, which expresses the rate of change of eigenvalues with respect to the weight.

If this is right

Eigenvalues vary continuously and can be tracked along any continuous path of weights inside the elliptic class.
Small perturbations of the weight produce only small changes in the spectrum.
The arsinh-metric controls the global speed of spectral movement for differentiable weight paths.
Any discontinuity in the spectrum requires the weight to leave the uniformly elliptic class.

Where Pith is reading between the lines

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

Numerical approximations of the spectrum may be justified by deforming the weight to a simpler one while preserving ellipticity.
The same continuity argument could apply to other first-order elliptic systems with variable coefficients.
The arsinh metric may serve as a natural distance for comparing spectra of Dirac-type operators under coefficient changes.

Load-bearing premise

The weight must remain bounded above and below by positive constants throughout the deformation.

What would settle it

A sequence of uniformly elliptic weights converging pointwise to a weight that vanishes at some point, with at least one eigenvalue jumping by a fixed positive amount.

Figures

Figures reproduced from arXiv: 2604.02195 by Ruijun Wu, Zixuan Qiu.

**Figure 2.** Figure 2: Projection onto the (t, λ)-plane and the apparent kink after sorting [PITH_FULL_IMAGE:figures/full_fig_p020_2.png] view at source ↗

read the original abstract

For the weighted Dirac eigenvalue problem, we show that the two-sided weighted spectrum depends continuously on the weight under continuous deformations within a uniformly elliptic class. Moreover, for differentiable families of weights we obtain a quantitative Lipschitz estimate for the full spectrum in the arsinh--metric, based on a weighted Hellmann--Feynman variational identity.

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

This paper gives continuity of weighted Dirac spectra under uniform ellipticity plus a quantitative Lipschitz bound in the arsinh metric via a weighted Hellmann-Feynman identity.

read the letter

The main takeaway is that the two-sided spectrum of these weighted Dirac operators moves continuously with the weight inside the uniformly elliptic class, and for differentiable families the authors supply an explicit Lipschitz constant in the arsinh metric. That quantitative estimate is the piece that goes beyond the usual qualitative continuity statements in the literature on elliptic operators. The argument rests on a standard variational identity adapted to the weight, which keeps the derivation first-order and avoids heavy machinery. Uniform ellipticity supplies the necessary a-priori bounds so the operators stay self-adjoint and the spectrum stays discrete. This setup is clean and the claims line up with what one would expect from perturbation theory for Dirac-type operators. The arsinh metric is a deliberate choice that probably linearizes the behavior near zero and at infinity, which is reasonable for spectra that can accumulate at both ends. The soft spots are modest. The abstract does not spell out how multiplicities or clustering are handled when eigenvalues cross, and without the full proofs it is impossible to check the precise error terms or the passage to the limit for the full spectrum. Those details matter for applications but do not look like load-bearing gaps from what is stated. The result is aimed at people already working on weighted spectral problems in geometry or analysis who need stability estimates for deformations. It is the kind of technical note that can be cited in perturbation arguments once the proofs are verified. I would send it to referees because the quantitative bound is concrete and the setting is well-defined; a careful review would clarify the constants and any edge cases without requiring major changes.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that the two-sided spectrum of the weighted Dirac eigenvalue problem varies continuously with the weight under continuous deformations that remain inside a uniformly elliptic class (weights bounded above and below by positive constants). For differentiable families of weights it additionally supplies a quantitative Lipschitz bound on the full spectrum measured in the arsinh metric, derived from a weighted Hellmann-Feynman variational identity.

Significance. If the claims hold, the result supplies a standard but useful continuity statement for spectra of elliptic operators with variable coefficients together with an explicit first-order stability estimate. The reliance on the Hellmann-Feynman identity is a strength, as it yields a concrete Lipschitz constant controlled by the ellipticity bounds and the derivative of the weight; such quantitative control is often missing from purely topological continuity arguments in spectral theory.

minor comments (2)

[§1] §1, paragraph after (1.2): the phrase 'two-sided weighted spectrum' is introduced without an explicit definition or reference to the precise functional-analytic setting (e.g., domain of the operator or the precise meaning of 'two-sided'). A short clarifying sentence would help readers unfamiliar with the weighted Dirac setting.
[Theorem 1.3] The arsinh-metric is used for the Lipschitz estimate but its precise definition (distance function on the spectrum) is not restated in the main theorem statement; adding a one-line reminder would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the supportive summary, the recognition of the significance of the quantitative Lipschitz estimate via the weighted Hellmann-Feynman identity, and the recommendation of minor revision. No specific major comments appear in the report, so we have no point-by-point rebuttals to provide. We will incorporate any minor editorial or typographical suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes continuity of the weighted Dirac spectrum under continuous deformations of weights within a uniformly elliptic class, plus a Lipschitz estimate for differentiable families via the weighted Hellmann-Feynman identity. This is a standard application of perturbation theory and variational calculus for self-adjoint elliptic operators; uniform ellipticity supplies the necessary a-priori bounds and resolvent control, while the Hellmann-Feynman formula is a classical first-order identity that does not reduce the target result to a fitted parameter or self-citation chain. No load-bearing step collapses by construction to the inputs, and the argument remains self-contained against external spectral-theory benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

No free parameters or invented entities; the result rests on standard functional-analytic assumptions for elliptic operators.

axioms (2)

domain assumption Uniform ellipticity of the weight class (positive constants bounding the weight away from zero and infinity)
Invoked to guarantee the spectrum remains well-defined and continuous under deformation.
standard math Existence of a weighted Hellmann-Feynman variational identity for the Dirac operator
Used to derive the Lipschitz estimate; standard in spectral theory.

pith-pipeline@v0.9.0 · 5327 in / 1277 out tokens · 40062 ms · 2026-05-13T20:27:59.544172+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
For the weighted Dirac eigenvalue problem, we show that the two-sided weighted spectrum depends continuously on the weight under continuous deformations within a uniformly elliptic class. Moreover, for differentiable families of weights we obtain a quantitative Lipschitz estimate for the full spectrum in the arsinh-metric, based on a weighted Hellmann–Feynman variational identity.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Theorem 1.3 … the spectral map s : (P_Λ1,Λ2, ∥·∥_A) → (Mon, d_a), A ↦ s_A, is continuous.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

[1]

Antonio Ambrosetti and Andrea Malchiodi.Nonlinear analysis and semilinear elliptic problems. Vol. 104. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2007, pp. xii+316.isbn: 978-0-521-86320-9.doi:10 . 1017 / CBO9780511618260.url:https : //doi.org/10.1017/CBO9780511618260. REFERENCES 23

work page doi:10.1017/cbo9780511618260 2007
[2]

Metrics with harmonic spinors

C. B¨ ar. “Metrics with harmonic spinors”. In:Geom. Funct. Anal.6.6 (1996), pp. 899–942. issn: 1016-443X,1420-8970.doi:10 . 1007 / BF02246994.url:https : / / doi . org / 10 . 1007 / BF02246994

work page 1996
[3]

Zero sets of solutions to semilinear elliptic systems of first order

Christian B¨ ar. “Zero sets of solutions to semilinear elliptic systems of first order”. In:Invent. Math.138.1 (1999), pp. 183–202.issn: 0020-9910,1432-1297.doi:10 . 1007 / s002220050346. url:https://doi.org/10.1007/s002220050346

work page doi:10.1007/s002220050346 1999
[4]

Boundary value problems for general first-order elliptic differ- ential operators

Christian B¨ ar and Lashi Bandara. “Boundary value problems for general first-order elliptic differ- ential operators”. In:J. Funct. Anal.282.12 (2022), Paper No. 109445, 69.issn: 0022-1236,1096- 0783.doi:10.1016/j.jfa.2022.109445.url:https://doi.org/10.1016/j.jfa.2022. 109445

work page doi:10.1016/j.jfa.2022.109445.url:https://doi.org/10.1016/j.jfa.2022 2022
[5]

Curvature effect in the spinorial Yamabe problem on product manifolds

Thomas Bartsch and Tian Xu. “Curvature effect in the spinorial Yamabe problem on product manifolds”. In:Calc. Var. Partial Differential Equations61.5 (2022), Paper No. 194, 35.issn: 0944-2669,1432-0835.doi:10.1007/s00526-022-02303-7.url:https://doi.org/10.1007/ s00526-022-02303-7

work page doi:10.1007/s00526-022-02303-7.url:https://doi.org/10.1007/ 2022
[6]

Dirac eigenvalues for generic metrics on three-manifolds

Mattias Dahl. “Dirac eigenvalues for generic metrics on three-manifolds”. In:Ann. Global Anal. Geom.24.1 (2003), pp. 95–100.issn: 0232-704X,1572-9060.doi:10.1023/A:1024231524848. url:https://doi.org/10.1023/A:1024231524848

work page doi:10.1023/a:1024231524848 2003
[7]

Prescribing eigenvalues of the Dirac operator

Mattias Dahl. “Prescribing eigenvalues of the Dirac operator”. In:Manuscripta Math.118.2 (2005), pp. 191–199.issn: 0025-2611,1432-1785.doi:10 . 1007 / s00229 - 005 - 0583 - 0.url: https://doi.org/10.1007/s00229-005-0583-0

work page doi:10.1007/s00229-005-0583-0 2005
[8]

Forces in Molecules

R. P. Feynman. “Forces in Molecules”. In:Phys. Rev.56 (4 Aug. 1939), pp. 340–343.doi: 10.1103/PhysRev.56.340.url:https://link.aps.org/doi/10.1103/PhysRev.56.340

work page doi:10.1103/physrev.56.340.url:https://link.aps.org/doi/10.1103/physrev.56.340 1939
[9]

On the spinor representation of surfaces in Euclidean 3-space

Thomas Friedrich. “On the spinor representation of surfaces in Euclidean 3-space”. In:J. Geom. Phys.28.1-2 (1998), pp. 143–157.issn: 0393-0440,1879-1662.doi:10.1016/S0393- 0440(98) 00018-7.url:https://doi.org/10.1016/S0393-0440(98)00018-7

work page doi:10.1016/s0393- 1998
[10]

Thomas Friedrich.Dirac operators in Riemannian geometry. Vol. 25. Graduate Studies in Math- ematics. Translated from the 1997 German original by Andreas Nestke. American Mathematical Society, Providence, RI, 2000, pp. xvi+195.isbn: 0-8218-2055-9.doi:10.1090/gsm/025.url: https://doi.org/10.1090/gsm/025

work page doi:10.1090/gsm/025.url: 1997
[11]

Nicolas Ginoux.The Dirac spectrum. Vol. 1976. Lecture Notes in Mathematics. Springer-Verlag, Berlin, 2009, pp. xvi+156.isbn: 978-3-642-01569-4.doi:10.1007/978-3-642-01570-0.url: https://doi.org/10.1007/978-3-642-01570-0

work page doi:10.1007/978-3-642-01570-0.url: 1976
[12]

Hellmann-Feynman theorem in non-Hermitian systems

Gaurav Hajong, Ranjan Modak, and Bhabani Prasad Mandal. “Hellmann-Feynman theorem in non-Hermitian systems”. In:Phys. Rev. A109.2 (2024), Paper No. 022227, 13.issn: 2469- 9926,2469-9934.doi:10 . 1103 / physreva . 109 . 022227.url:https : / / doi . org / 10 . 1103 / physreva.109.022227

work page 2024
[13]

Non-compactness results for the spinorial Yamabe- type problems with non-smooth geometric data

Takeshi Isobe, Yannick Sire, and Tian Xu. “Non-compactness results for the spinorial Yamabe- type problems with non-smooth geometric data”. In:J. Funct. Anal.287.3 (2024), Paper No. 110472, 50.issn: 0022-1236,1096-0783.doi:10.1016/j.jfa.2024.110472.url:https://doi. org/10.1016/j.jfa.2024.110472

work page doi:10.1016/j.jfa.2024.110472.url:https://doi 2024
[14]

Solutions of spinorial Yamabe-type problems onS m: perturba- tions and applications

Takeshi Isobe and Tian Xu. “Solutions of spinorial Yamabe-type problems onS m: perturba- tions and applications”. In:Trans. Amer. Math. Soc.376.9 (2023), pp. 6397–6446.issn: 0002- 9947,1088-6850.doi:10.1090/tran/8961.url:https://doi.org/10.1090/tran/8961

work page doi:10.1090/tran/8961.url:https://doi.org/10.1090/tran/8961 2023
[15]

Existence results for a super-Liouville equa- tion on compact surfaces

Aleks Jevnikar, Andrea Malchiodi, and Ruijun Wu. “Existence results for a super-Liouville equa- tion on compact surfaces”. In:Trans. Amer. Math. Soc.373.12 (2020), pp. 8837–8859.issn: 0002-9947,1088-6850.doi:10.1090/tran/8209.url:https://doi.org/10.1090/tran/8209

work page doi:10.1090/tran/8209.url:https://doi.org/10.1090/tran/8209 2020
[16]

Existence results for super-Liouville equa- tions on the sphere via bifurcation theory

Aleks Jevnikar, Andrea Malchiodi, and Ruijun Wu. “Existence results for super-Liouville equa- tions on the sphere via bifurcation theory”. In:J. Math. Study54.1 (2021), pp. 89–122.issn: 2096-9856,2617-8702.doi:10.4208/jms.v54n1.21.05.url:https://doi.org/10.4208/jms. v54n1.21.05. 24 REFERENCES

work page doi:10.4208/jms.v54n1.21.05.url:https://doi.org/10.4208/jms 2021
[17]

Min-max solutions for super sinh-Gordon equations on compact surfaces

Aleks Jevnikar, Andrea Malchiodi, and Ruijun Wu. “Min-max solutions for super sinh-Gordon equations on compact surfaces”. In:J. Differential Equations289 (2021), pp. 128–158.issn: 0022-0396,1090-2732.doi:10.1016/j.jde.2021.04.022.url:https://doi.org/10.1016/j. jde.2021.04.022

work page doi:10.1016/j.jde.2021.04.022.url:https://doi.org/10.1016/j 2021
[18]

Super-Liouville equations on closed Rie- mann surfaces

J¨ urgen Jost, Guofang Wang, and Chunqin Zhou. “Super-Liouville equations on closed Rie- mann surfaces”. In:Comm. Partial Differential Equations32.7-9 (2007), pp. 1103–1128.issn: 0360-5302,1532-4133.doi:10.1080/03605300600962663.url:https://doi.org/10.1080/ 03605300600962663

work page doi:10.1080/03605300600962663.url:https://doi.org/10.1080/ 2007
[19]

Classics in Mathematics

Tosio Kato.Perturbation theory for linear operators. Classics in Mathematics. Reprint of the 1980 edition. Springer-Verlag, Berlin, 1995, pp. xxii+619.isbn: 3-540-58661-X

work page 1980
[20]

Blaine Lawson Jr

H. Blaine Lawson Jr. and Marie-Louise Michelsohn.Spin geometry. Vol. 38. Princeton Mathemat- ical Series. Princeton University Press, Princeton, NJ, 1989, pp. xii+427.isbn: 0-691-08542-0

work page 1989
[21]

Collapsing and Dirac-type operators

John Lott. “Collapsing and Dirac-type operators”. In:Proceedings of the Euroconference on Partial Differential Equations and their Applications to Geometry and Physics (Castelvecchio Pascoli, 2000). Vol. 91. 2002, pp. 175–196.doi:10 . 1023 / A : 1016247531019.url:https : //doi.org/10.1023/A:1016247531019

work page doi:10.1023/a:1016247531019 2000
[22]

Continuity of Dirac spectra

Nikolai Nowaczyk. “Continuity of Dirac spectra”. In:Ann. Global Anal. Geom.44.4 (2013), pp. 541–563.issn: 0232-704X,1572-9060.doi:10 . 1007 / s10455 - 013 - 9381 - 1.url:https : //doi.org/10.1007/s10455-013-9381-1

work page doi:10.1007/s10455-013-9381-1 2013
[23]

Zixuan Qiu and Ruijun Wu.Weighted eigenvalues of Dirac operators: complete continuity and comparison. 2025. arXiv:2508.07591 [math.SP].url:https://arxiv.org/abs/2508.07591

work page arXiv 2025
[24]

How and why to solve the operator equationAX−XB= Y

Bhatia Rajendra and Peter Rosenthal. “How and why to solve the operator equationAX−XB= Y”. In:Bull. London Math. Soc.29.1 (1997), pp. 1–21.issn: 0024-6093,1469-2120.doi:10.1112/ S0024609396001828.url:https://doi.org/10.1112/S0024609396001828

work page doi:10.1112/s0024609396001828 1997
[25]

Dirac operators withW 1,∞-potential on collapsing sequences losing one dimension in the limit

Saskia Roos. “Dirac operators withW 1,∞-potential on collapsing sequences losing one dimension in the limit”. In:Manuscripta Math.157.3-4 (2018), pp. 387–410.issn: 0025-2611,1432-1785.doi: 10.1007/s00229-018-1003-6.url:https://doi.org/10.1007/s00229-018-1003-6

work page doi:10.1007/s00229-018-1003-6.url:https://doi.org/10.1007/s00229-018-1003-6 2018
[26]

The Dirac operator under collapse to a smooth limit space

Saskia Roos. “The Dirac operator under collapse to a smooth limit space”. In:Ann. Global Anal. Geom.57.1 (2020), pp. 121–151.issn: 0232-704X,1572-9060.doi:10.1007/s10455-019-09691- 8.url:https://doi.org/10.1007/s10455-019-09691-8

work page doi:10.1007/s10455-019-09691- 2020
[27]

Modified Novikov-Veselov equation and differential geometry of sur- faces

Iskander A. Taimanov. “Modified Novikov-Veselov equation and differential geometry of sur- faces”. In:Solitons, geometry, and topology: on the crossroad. Vol. 179. Amer. Math. Soc. Transl. Ser. 2. Amer. Math. Soc., Providence, RI, 1997, pp. 133–151.isbn: 0-8218-0666-1.doi: 10.1090/trans2/179/07.url:https://doi.org/10.1090/trans2/179/07

work page doi:10.1090/trans2/179/07.url:https://doi.org/10.1090/trans2/179/07 1997
[28]

The Weierstrass representation of closed surfaces inR 3

Iskander A. Taimanov. “The Weierstrass representation of closed surfaces inR 3”. In:Funkt- sional. Anal. i Prilozhen.32.4 (1998), pp. 49–62, 96.issn: 0374-1990,2305-2899.doi:10.1007/ BF02463208.url:https://doi.org/10.1007/BF02463208. Zixuan Qiu, School of mathematics and statistics, Beijing Institute of Technology, Zhongguancun South Street No. 5, 100081 ...

work page doi:10.1007/bf02463208 1998