pith. sign in

arxiv: 2604.04010 · v1 · submitted 2026-04-05 · 🧮 math-ph · math.AP· math.MP· math.SP

Sharp upper bounds for the density of relativistic atoms: Noninteracting case

Pith reviewed 2026-05-13 17:06 UTC · model grok-4.3

classification 🧮 math-ph math.APmath.MPmath.SP
keywords relativistic atomselectron densityupper boundsChandrasekhar operatorDirac operatorBohr atomnoninteractingangular momentum channels
0
0 comments X

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.

The work establishes an optimal upper bound on the electron density for an infinite Bohr atom that ignores all electron-electron interactions. The bound holds for the relativistic Chandrasekhar operator and for the Dirac operator. Separate optimal bounds are derived for the density projected onto each angular momentum channel. These limits give precise control on how concentrated the electrons can become in this simplified relativistic setting.

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.

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.

Referee Report

0 major / 3 minor

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)
  1. §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.
  2. 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.
  3. 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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of the Chandrasekhar and Dirac operators and the non-interacting infinite Bohr model; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • standard math Standard spectral properties and positivity of the relativistic operators Chandrasekhar and Dirac
    Invoked implicitly as the basis for defining the atomic model and density bounds.
  • domain assumption Non-interacting electrons in infinite Bohr atom setup
    Core modeling choice stated in abstract that enables the density analysis.

pith-pipeline@v0.9.0 · 5322 in / 1203 out tokens · 35853 ms · 2026-05-13T17:06:22.718205+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

53 extracted references · 53 canonical work pages

  1. [1]

    Hyperspherical Harmonics and Their Physical Applications

    James Emil Avery and John Scales Avery. Hyperspherical Harmonics and Their Physical Applications . World Scientific, 2018

  2. [2]

    A. A. Balinsky and W. D. Evans. Spectral Analysis of Relativistic Operators . Imperial College Press, London, 2011

  3. [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

  4. [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

  5. [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. [6]

    Ground state representation for the fractional L aplacian with H ardy potential in angular momentum channels

    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

  7. [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. [8]

    Subordinated B essel heat kernels

    Krzysztof Bogdan and Konstantin Merz. Subordinated B essel heat kernels. Theory Probab. Math. Statist. , (112):67--83, 2025

  9. [9]

    Factorization and estimates of D irichlet heat kernels for non-local operators with critical killings

    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

  10. [10]

    Charles G. Darwin. The wave equation of the electron. Proc. Roy. Soc. (London) , A118:654--680, 1928

  11. [11]

    Esteban , Rupert L

    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. [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

  13. [13]

    Esteban and M

    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

  14. [14]

    Frank, Elliott H

    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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [19]

    Frank and Robert Seiringer

    Rupert L. Frank and Robert Seiringer. Non-linear ground state representations and sharp H ardy inequalities. J. Funct. Anal. , 255(12):3407--3430, 2008

  20. [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

  21. [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

  22. [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

  23. [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. [24]

    G. H. Hardy. Note on a theorem of H ilbert. Mathematische Zeitschrift , 6(3--4):314--317, 1920

  25. [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

  26. [26]

    Heilmann and Elliott H

    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

  27. [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

  28. [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

  29. [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

  30. [30]

    Bound states and heat kernels for fractional-type S chr\" o dinger operators with singular potentials

    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

  31. [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

  32. [32]

    Perturbation Theory for Linear Operators , volume 132 of Grundlehren der mathematischen W issenschaften

    Tosio Kato. Perturbation Theory for Linear Operators , volume 132 of Grundlehren der mathematischen W issenschaften . Springer-Verlag, Berlin, 1 edition, 1966

  33. [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

  34. [34]

    Elliott H. Lieb. T homas- F ermi and related theories of atoms and molecules. Rev.\ Mod.\ Phys. , 53(4):603--641, October 1981

  35. [35]

    Lieb and Barry Simon

    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

  36. [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

  37. [37]

    Le Yaouanc, L

    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

  38. [38]

    Lower bounds on the moduli of three-dimensional C oulomb- D irac operators via fractional L aplacians with applications

    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

  39. [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

  40. [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

  41. [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

  42. [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

  43. [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

  44. [44]

    F. B. Pidduck. Laguerre's polynomials in quantum mechanics. J. London Math. Soc. , 4(3):163--166, 1929

  45. [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

  46. [46]

    J. M. C. Scott. The binding energy of the T homas- F ermi atom. Phil.\ Mag. , 43:859--867, 1952

  47. [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

  48. [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

  49. [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

  50. [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

  51. [51]

    The D irac Equation

    Bernd Thaller. The D irac Equation . Texts and Monographs in Physics. Springer-Verlag, Berlin, 1 edition, 1992

  52. [52]

    Advanced Visual Quantum Mechanics

    Bernd Thaller. Advanced Visual Quantum Mechanics . Springer-Verlag, New York, 2005. With 1 CD-ROM (Windows and Macintosh)

  53. [53]

    D. Yafaev. Sharp constants in the H ardy- R ellich inequalities. Journ. Functional Analysis , 168(1):121--144, October 1999