Sharp upper bounds for the density of relativistic atoms: Noninteracting case
Pith reviewed 2026-05-13 17:06 UTC · model grok-4.3
The pith
The paper proves an optimal upper bound for electron density in a noninteracting relativistic infinite Bohr atom using Chandrasekhar and Dirac operators.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove an optimal upper bound for the density of electrons of an infinite Bohr atom (no electron-electron interactions) described by the relativistic operators of Chandrasekhar and Dirac. We also consider densities in each angular momentum channel separately.
What carries the argument
The Chandrasekhar and Dirac relativistic operators acting on the infinite Bohr atom without interactions.
Load-bearing premise
The model contains no electron-electron interactions and treats the atom as an infinite Bohr atom.
What would settle it
An explicit trial function or numerical solution for the Chandrasekhar or Dirac operator in the infinite Bohr atom whose density exceeds the stated upper bound.
read the original abstract
We prove an optimal upper bound for the density of electrons of an infinite Bohr atom (no electron-electron interactions) described by the relativistic operators of Chandrasekhar and Dirac. We also consider densities in each angular momentum channel separately.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves an optimal upper bound on the one-particle electron density for the noninteracting infinite Bohr atom modeled by the relativistic Chandrasekhar and Dirac operators. The argument reduces the problem to spectral properties of these operators, obtains an explicit constant via variational characterization, and establishes sharpness by constructing a sequence of trial functions that approach the bound. Separate optimal bounds are derived for the density restricted to each angular-momentum channel.
Significance. If the central proof is correct, the result supplies the first sharp, optimal constants for one-particle densities in a fully relativistic noninteracting atomic model. The explicit variational derivation and the verification of sharpness via trial functions constitute a clean, falsifiable contribution that can serve as a benchmark for numerical approximations and as a starting point for extensions to interacting systems.
minor comments (3)
- §2: the precise domain of the Dirac operator (self-adjoint realization on the appropriate Sobolev space) is stated only by reference; a short explicit sentence would improve readability.
- Figure 1: the caption does not indicate the value of the nuclear charge Z used in the numerical illustration, making direct comparison with the analytic bound difficult.
- The statement of Theorem 1.1 could usefully include the explicit value of the optimal constant rather than leaving it implicit in the variational characterization.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the positive assessment. We are pleased by the recommendation to accept.
Circularity Check
No significant circularity detected
full rationale
The paper proves sharp upper bounds on the one-particle density for the noninteracting infinite Bohr atom via the Chandrasekhar and Dirac operators. The derivation reduces the problem to spectral properties of these external operators, applies variational characterization to obtain an explicit constant, and confirms sharpness with a sequence of trial functions. All load-bearing steps remain within the stated noninteracting model and rely on standard functional-analytic techniques rather than self-citations, fitted parameters, or ansatzes that reduce to the target result by construction. The central claim is therefore a direct mathematical statement against independent operator properties and does not exhibit any of the enumerated circularity patterns.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard spectral properties and positivity of the relativistic operators Chandrasekhar and Dirac
- domain assumption Non-interacting electrons in infinite Bohr atom setup
Lean theorems connected to this paper
-
IndisputableMonolith.Cost.FunctionalEquationwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 2.1 and heat-kernel bound (2.11) for L_κ with exponent η defined by Φ_d^{(α)}(η)=κ
-
IndisputableMonolith.Foundation.DimensionForcingreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Angular-momentum decomposition (3.1) and large-distance summation yielding |x|^{-3/2}
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]
Hyperspherical Harmonics and Their Physical Applications
James Emil Avery and John Scales Avery. Hyperspherical Harmonics and Their Physical Applications . World Scientific, 2018
work page 2018
-
[2]
A. A. Balinsky and W. D. Evans. Spectral Analysis of Relativistic Operators . Imperial College Press, London, 2011
work page 2011
-
[3]
Fractional L aplacian with H ardy potential
Krzysztof Bogdan, Tomasz Grzywny, Tomasz Jakubowski, and Dominika Pilarczyk. Fractional L aplacian with H ardy potential. Comm. Partial Differential Equations , 44(1):20--50, 2019
work page 2019
-
[4]
Betancor, Eleonor Harboure, Adam Nowak, and Beatriz Viviani
Jorge J. Betancor, Eleonor Harboure, Adam Nowak, and Beatriz Viviani. Mapping properties of fundamental operators in harmonic analysis related to B essel operators. Studia Math. , 197(2):101--140, 2010
work page 2010
-
[5]
Hardy perturbations of subordinated B essel heat kernels
Krzysztof Bogdan , Tomasz Jakubowski , and Konstantin Merz . Hardy perturbations of subordinated B essel heat kernels. arXiv e-prints , page arXiv:2409.02853, September 2024
-
[6]
Krzysztof Bogdan and Konstantin Merz. Ground state representation for the fractional L aplacian with H ardy potential in angular momentum channels. J. Math. Pures Appl. (9) , 186:176--204, 2024
work page 2024
-
[7]
Heat kernel bounds for the fractional L aplacian with H ardy potential in angular momentum channels
Krzysztof Bogdan and Konstantin Merz . Heat kernel bounds for the fractional L aplacian with H ardy potential in angular momentum channels. arXiv e-prints , page arXiv:2506.08115, June 2025
-
[8]
Subordinated B essel heat kernels
Krzysztof Bogdan and Konstantin Merz. Subordinated B essel heat kernels. Theory Probab. Math. Statist. , (112):67--83, 2025
work page 2025
-
[9]
Soobin Cho, Panki Kim, Renming Song, and Zoran Vondra c ek. Factorization and estimates of D irichlet heat kernels for non-local operators with critical killings. J. Math. Pures Appl. (9) , 143:208--256, 2020
work page 2020
-
[10]
Charles G. Darwin. The wave equation of the electron. Proc. Roy. Soc. (London) , A118:654--680, 1928
work page 1928
-
[11]
Jean Dolbeault , Maria J. Esteban , Rupert L. Frank , and Michael Loss . The CKN inequality for spinors: symmetry and symmetry breaking. arXiv e-prints , page arXiv:2504.16909, April 2025
-
[12]
https://dlmf.nist.gov/, Release 1.1.9 of 2023-03-15, 2023
NIST Digital Library of Mathematical Functions . https://dlmf.nist.gov/, Release 1.1.9 of 2023-03-15, 2023. F. W. J. Olver, A. B. Olde Daalhuis , D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds
work page 2023
-
[13]
Maria J. Esteban and M. Loss. Self-adjointness for D irac operators via H ardy- D irac inequalities. J. Math. Phys. , 48(11):112107, 8, 2007
work page 2007
-
[14]
Rupert L. Frank, Elliott H. Lieb, and Robert Seiringer. Hardy- L ieb- T hirring inequalities for fractional S chr\"odinger operators. J. Amer. Math. Soc. , 21(4):925--950, 2008
work page 2008
-
[15]
The S cott correction in D irac- F ock theory
S ren Fournais, Mathieu Lewin, and Arnaud Triay. The S cott correction in D irac- F ock theory. Comm. Math. Phys. , 378(1):569--600, 2020
work page 2020
-
[16]
Frank, Konstantin Merz, and Heinz Siedentop
Rupert L. Frank, Konstantin Merz, and Heinz Siedentop. Relativistic strong S cott conjecture: a short proof. In Density Functionals for Many-Particle Systems---Mathematical Theory and Physical Applications of Effective Equations , volume 41 of Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap. , pages 69--79. World Sci. Publ., Hackensack, NJ, March 2023
work page 2023
-
[17]
Frank, Konstantin Merz, and Heinz Siedentop
Rupert L. Frank, Konstantin Merz, and Heinz Siedentop. The S cott conjecture for large C oulomb systems: a review. Lett. Math. Phys. , 113(1):Paper No. 11, 79, 2023
work page 2023
-
[18]
Frank , Konstantin Merz , Heinz Siedentop , and Barry Simon
Rupert L. Frank , Konstantin Merz , Heinz Siedentop , and Barry Simon . Proof of the strong S cott conjecture for C handrasekhar atoms. Pure Appl. Funct. Anal. , 5(6):1319--1356, December 2020
work page 2020
-
[19]
Rupert L. Frank and Robert Seiringer. Non-linear ground state representations and sharp H ardy inequalities. J. Funct. Anal. , 255(12):3407--3430, 2008
work page 2008
-
[20]
Frank, Heinz Siedentop, and Simone Warzel
Rupert L. Frank, Heinz Siedentop, and Simone Warzel. The ground state energy of heavy atoms: Relativistic lowering of the leading energy correction. Comm. Math. Phys. , 278(2):549--566, 2008
work page 2008
-
[21]
Frank, Heinz Siedentop, and Simone Warzel
Rupert L. Frank, Heinz Siedentop, and Simone Warzel. The energy of heavy atoms according to B rown and R avenhall: T he S cott correction. Doc. Math. , 14:463--516, 2009
work page 2009
-
[22]
D ie E nergieniveaus des W asserstoffatoms nach der D iracschen Q uantentheorie
Walter Gordon. D ie E nergieniveaus des W asserstoffatoms nach der D iracschen Q uantentheorie. Z. Phys. , 48:11--14, 1928
work page 1928
-
[23]
Subordinated Markov processes: sharp estimates for heat kernels and Green functions
Tomasz Grzywny and Bartosz Trojan . Subordinated Markov processes: sharp estimates for heat kernels and Green functions . arXiv e-prints , page arXiv:2110.01201, October 2021
-
[24]
G. H. Hardy. Note on a theorem of H ilbert. Mathematische Zeitschrift , 6(3--4):314--317, 1920
work page 1920
-
[25]
Ira W. Herbst. Spectral theory of the operator (p^2+m^2)^ 1/2 - Ze^2/r . Comm.\ Math.\ Phys. , 53:285--294, 1977
work page 1977
-
[26]
Ole J. Heilmann and Elliott H. Lieb. Electron density near the nucleus of a large atom. Physical Review A , 52(5):3628--3643, November 1995
work page 1995
-
[27]
The ground state energy of heavy atoms: The leading correction
Michael Handrek and Heinz Siedentop. The ground state energy of heavy atoms: The leading correction. Comm. Math. Phys. , 339(2):589--617, 2015
work page 2015
-
[28]
An Atomic Energy Lower Bound that Gives Scott's Correction
Webster Hughes. An Atomic Energy Lower Bound that Gives Scott's Correction . PhD thesis, Princeton, Department of Mathematics, 1986
work page 1986
-
[29]
Proof of a conjecture about atomic and molecular cores related to S cott's correction
Alexei Iantchenko, Elliott H.\ Lieb, and Heinz Siedentop. Proof of a conjecture about atomic and molecular cores related to S cott's correction. J.\ reine angew.\ Math. , 472:177--195, March 1996
work page 1996
-
[30]
Tomasz Jakubowski, Kamil Kaleta, and Karol Szczypkowski. Bound states and heat kernels for fractional-type S chr\" o dinger operators with singular potentials. Comm. Math. Phys. , 403(2):795--828, 2023
work page 2023
-
[31]
Heat kernel estimates of fractional S chr\" o dinger operators with negative H ardy potential
Tomasz Jakubowski and Jian Wang. Heat kernel estimates of fractional S chr\" o dinger operators with negative H ardy potential. Potential Anal. , 53(3):997--1024, 2020
work page 2020
-
[32]
Tosio Kato. Perturbation Theory for Linear Operators , volume 132 of Grundlehren der mathematischen W issenschaften . Springer-Verlag, Berlin, 1 edition, 1966
work page 1966
-
[33]
V. F. Kovalenko, M. A. Perelmuter, and Ya. A. Semenov. Schr\"odinger operators with L _w^ l/2 ( R ^l) -potentials. J. Math. Phys. , 22:1033--1044, 1981
work page 1981
-
[34]
Elliott H. Lieb. T homas- F ermi and related theories of atoms and molecules. Rev.\ Mod.\ Phys. , 53(4):603--641, October 1981
work page 1981
-
[35]
Elliott H. Lieb and Barry Simon. The T homas- F ermi theory of atoms, molecules and solids. Advances in Math. , 23(1):22--116, 1977
work page 1977
-
[36]
Lewis, Heinz Siedentop, and Simeon Vugalter
Roger T. Lewis, Heinz Siedentop, and Simeon Vugalter. The essential spectrum of relativistic multi-particle operators. Annales de l'Institut Henri Poincar \'e , 67(1):1--28, 1997
work page 1997
-
[37]
A. Le Yaouanc, L. Oliver, and J.-C. Raynal. The H amiltonian (p^2+m^2)^ 1/2 - /r near the critical value _c=2/ . J. Math. Phys. , 38(8):3997--4012, 1997
work page 1997
-
[38]
Sergey Morozov and David M \"u ller. Lower bounds on the moduli of three-dimensional C oulomb- D irac operators via fractional L aplacians with applications. J. Math. Phys. , 58(7):072302, 22, 2017
work page 2017
-
[39]
Proof of the strong Scott conjecture for heavy atoms: the Furry picture
Konstantin Merz and Heinz Siedentop. Proof of the strong Scott conjecture for heavy atoms: the Furry picture. Annales Henri Lebesgue , 5:611--642, 2022
work page 2022
-
[40]
The ground state energy of heavy atoms: leading and subleading asymptotics
Long Meng and Heinz Siedentop. The ground state energy of heavy atoms: leading and subleading asymptotics. J. Math. Phys. , 66(6):Paper No. 061901, 23, 2025
work page 2025
-
[41]
G. Nenciu. Self-adjointness and invariance of the essential spectrum for D irac operators defined as quadratic forms. Comm. Math. Phys. , 48(3):235--247, 1976
work page 1976
-
[42]
The large- Z behavior of pseudorelativistic atoms
Thomas stergaard S rensen. The large- Z behavior of pseudorelativistic atoms. J. Math. Phys. , 46(5):052307, 2005
work page 2005
-
[43]
K. A. Penson and K. G\'orska. Exact and explicit probability densities for one-sided L \'evy stable distributions. Phys. Rev. Lett. , 105:210604, Nov 2010
work page 2010
-
[44]
F. B. Pidduck. Laguerre's polynomials in quantum mechanics. J. London Math. Soc. , 4(3):163--166, 1929
work page 1929
-
[45]
Methods of Modern Mathematical Physics
Michael Reed and Barry Simon. Methods of Modern Mathematical Physics. I . F unctional Analysis . Academic Press, New York, 1972
work page 1972
-
[46]
J. M. C. Scott. The binding energy of the T homas- F ermi atom. Phil.\ Mag. , 43:859--867, 1952
work page 1952
-
[47]
Jan Philip Solovej, Thomas stergaard S rensen, and Wolfgang L. Spitzer. The relativistic S cott correction for atoms and molecules. Commun. Pure Appl. Math. , 63:39--118, January 2010
work page 2010
-
[48]
On the leading energy correction for the statistical model of the atom: Interacting case
Heinz Siedentop and Rudi Weikard. On the leading energy correction for the statistical model of the atom: Interacting case. Comm.\ Math.\ Phys. , 112:471--490, 1987
work page 1987
-
[49]
On the leading correction of the T homas- F ermi model: Lower bound -- with an appendix by A
Heinz Siedentop and Rudi Weikard. On the leading correction of the T homas- F ermi model: Lower bound -- with an appendix by A. M. K. M\"u ller. Invent.\ Math. , 97:159--193, 1989
work page 1989
-
[50]
Ein B eitrag zur T heorie der P olynome von L aguerre und J acobi
G\' a bor Szeg o . Ein B eitrag zur T heorie der P olynome von L aguerre und J acobi. Math. Z. , 1(4):341--356, 1918
work page 1918
-
[51]
Bernd Thaller. The D irac Equation . Texts and Monographs in Physics. Springer-Verlag, Berlin, 1 edition, 1992
work page 1992
-
[52]
Advanced Visual Quantum Mechanics
Bernd Thaller. Advanced Visual Quantum Mechanics . Springer-Verlag, New York, 2005. With 1 CD-ROM (Windows and Macintosh)
work page 2005
-
[53]
D. Yafaev. Sharp constants in the H ardy- R ellich inequalities. Journ. Functional Analysis , 168(1):121--144, October 1999
work page 1999
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.