pith. sign in

arxiv: 2503.21405 · v2 · pith:DKAIQ4Y6new · submitted 2025-03-27 · 🧮 math-ph · math.AP· math.MP· physics.atm-clus

On the relativistic effect in the Dirac--Fock theory

Long Meng This is my paper

Pith reviewed 2026-05-22 23:29 UTC · model grok-4.3

classification 🧮 math-ph math.APmath.MPphysics.atm-clus
keywords relativistic effectDirac-FockHartree-FockBreit-Pauli termground-state energyQED modelnonlinear Dirac equations
0
0 comments X

The pith

The difference between Dirac-Fock and Hartree-Fock ground-state energies is of order O(c^{-2}) and equals the Breit-Pauli term for regular potentials.

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 relativistic effect, defined as the gap between the Dirac-Fock ground-state energy and the corresponding Hartree-Fock energy, is bounded by a term of order O(c^{-2}) as the speed of light grows large. When the electron-nucleus potential satisfies a regularity condition, this gap is shown to coincide exactly with the Breit-Pauli correction, which is the sum of the mass-velocity term, the Darwin term, and the spin-orbit term. The same leading-order statement is proved for a QED model of Mittleman once the vacuum-polarization contribution of order O(c^{-3}) is dropped. This supplies the first rigorous derivation, within a mathematical analysis of the nonlinear Dirac equations, of the standard leading relativistic correction used in quantum chemistry.

Core claim

We confirm that the relativistic effect in the Dirac-Fock ground-state energy is of the order O(c^{-2}). Furthermore, if the potential between electrons and nuclei is regular, we get the well-known leading order relativistic correction -- the Breit-Pauli term, which is the sum of the mass-velocity term, the Darwin term, and the spin-orbit term. As a consequence, the same relativistic effects and leading order relativistic correction also hold in a QED model introduced by Mittleman when the vacuum polarization is neglected.

What carries the argument

The asymptotic difference between the Dirac-Fock and Hartree-Fock ground-state energies as c tends to infinity, extracted from the nonlinear Dirac equations under a regularity assumption on the potential.

If this is right

  • The leading relativistic correction to the ground-state energy is precisely the sum of the mass-velocity, Darwin, and spin-orbit contributions when the potential is regular.
  • The same O(c^{-2}) scaling and explicit correction term hold in Mittleman's QED model once vacuum polarization is omitted.
  • The result supplies a mathematical justification for using the Breit-Pauli operator as the first correction beyond the non-relativistic Hartree-Fock model.

Where Pith is reading between the lines

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

  • The regularity condition on the potential may be relaxed at the cost of replacing the Breit-Pauli term by a different explicit correction.
  • The expansion technique could be applied to other nonlinear Dirac-type variational problems to obtain analogous leading-order corrections.
  • Numerical schemes for atomic and molecular energies could incorporate the derived correction term to improve accuracy at moderate values of c.

Load-bearing premise

The potential between electrons and nuclei must be regular to recover the exact Breit-Pauli expression rather than only the O(c^{-2}) bound.

What would settle it

Compute the numerical difference between the Dirac-Fock and Hartree-Fock energies for a hydrogen-like atom with a regular (smooth and bounded) potential at several large but finite values of c and check whether the difference approaches the explicit Breit-Pauli formula at the predicted rate.

read the original abstract

In this paper, we study the error bound between the Dirac--Fock ground-state energy and the Hartree--Fock ground-state energy, a quantity known as the relativistic effect in quantum mechanics. We confirm that the relativistic effect in the Dirac--Fock ground-state energy is of the order $\mathcal{O}(c^{-2})$ with $c$ being the speed of light. Furthermore, if the potential between electrons and nuclei is regular, we get the well-known leading order relativistic correction -- the Breit--Pauli term, which is the sum of the mass-velocity term, the Darwin term, and the spin-orbit term. As a consequence, we also show that the same relativistic effects and leading order relativistic correction also hold in a QED model introduced by Mittleman when the vacuum polarization -- a term of the order $\mathcal{O}(c^{-3})$ -- is neglected. To our knowledge, this is the first time in mathematics that the leading-order relativistic correction has been obtained from nonlinear Dirac ground-state energy problems.

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

2 major / 2 minor

Summary. The manuscript establishes that the difference between the Dirac-Fock and Hartree-Fock ground-state energies (the relativistic effect) is of order O(c^{-2}) as c tends to infinity. Under the additional assumption that the electron-nucleus potential is regular, this difference is shown to equal the expectation value of the Breit-Pauli operator (mass-velocity + Darwin + spin-orbit terms). The same statements are proved for Mittleman's QED model when the vacuum-polarization term of order O(c^{-3}) is omitted. The authors note that this appears to be the first such derivation from nonlinear Dirac ground-state problems.

Significance. If the derivations are correct, the work supplies the first rigorous justification, in the nonlinear setting, of the leading relativistic correction that is routinely used in atomic and molecular physics. The explicit O(c^{-2}) bound together with the term-by-term recovery of the Breit-Pauli operator under a stated regularity hypothesis constitutes a concrete advance for the mathematical foundations of relativistic quantum chemistry.

major comments (2)
  1. [Abstract and main theorem on Breit-Pauli recovery] The explicit identification with the mass-velocity, Darwin and spin-orbit terms is stated only when the electron-nucleus potential is regular (abstract and the corresponding theorem). Standard Dirac-Fock models employ the singular Coulomb potential -Z/|x-R|, for which the integration-by-parts or pointwise expansions needed for the term-by-term identification typically fail. The manuscript should clarify whether a density argument, approximation procedure, or separate estimate extends the identification to the physically relevant singular case, or whether the O(c^{-2}) bound is the sole unconditional result.
  2. [Statement of the O(c^{-2}) bound] The O(c^{-2}) bound is asserted for the difference of ground-state energies without the regularity hypothesis. Because the proof details, error estimates, and the precise functional setting (domain of the Dirac operator, choice of trial functions, etc.) are not visible in the provided abstract, it is impossible to verify that the claimed order follows directly from the nonlinear equations rather than from an a-posteriori choice of constants or cut-offs.
minor comments (2)
  1. Notation for the speed of light (c versus the more common c in relativistic units) and for the various operators should be introduced once and used consistently throughout.
  2. The claim of novelty ('first time in mathematics') would be strengthened by a short comparison with existing results on the linear Dirac operator or on the non-relativistic limit of the Dirac-Fock equations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the major points below, clarifying the scope of our unconditional and conditional results.

read point-by-point responses

  1. Referee: [Abstract and main theorem on Breit-Pauli recovery] The explicit identification with the mass-velocity, Darwin and spin-orbit terms is stated only when the electron-nucleus potential is regular (abstract and the corresponding theorem). Standard Dirac-Fock models employ the singular Coulomb potential -Z/|x-R|, for which the integration-by-parts or pointwise expansions needed for the term-by-term identification typically fail. The manuscript should clarify whether a density argument, approximation procedure, or separate estimate extends the identification to the physically relevant singular case, or whether the O(c^{-2}) bound is the sole unconditional result.

    Authors: The O(c^{-2}) bound on the energy difference holds unconditionally, including for the singular Coulomb potential, and is the sole result without regularity. The term-by-term identification with the Breit-Pauli operator requires regularity for the integration-by-parts and expansions in the proof; we make no claim that this identification extends to the singular case via density arguments or limits. The manuscript already distinguishes the two statements accurately, so no change is needed. revision: no

  2. Referee: [Statement of the O(c^{-2}) bound] The O(c^{-2}) bound is asserted for the difference of ground-state energies without the regularity hypothesis. Because the proof details, error estimates, and the precise functional setting (domain of the Dirac operator, choice of trial functions, etc.) are not visible in the provided abstract, it is impossible to verify that the claimed order follows directly from the nonlinear equations rather than from an a-posteriori choice of constants or cut-offs.

    Authors: The O(c^{-2}) bound without regularity is derived directly from the nonlinear variational problems in the full manuscript (Theorems 2.1 and 3.2 together with the estimates in Section 4), using the domain of the Dirac operator and admissible trial functions. We will add a brief pointer to these results in the abstract and introduction for improved readability. revision: partial

Circularity Check

0 steps flagged

No circularity: derivation from model equations under explicit regularity assumption

full rationale

The paper derives the O(c^{-2}) relativistic effect bound and (under the stated regularity assumption on the electron-nucleus potential) the explicit Breit-Pauli terms directly from the Dirac-Fock ground-state energy functional. No steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the regularity condition is openly declared as required for the term-by-term identification, and the result is framed as a new mathematical extraction from the nonlinear model rather than a renaming or re-derivation of prior inputs. The QED extension is presented as a consequence of the same analysis once vacuum polarization is dropped, without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information on free parameters, axioms, or invented entities is available from the abstract alone.

pith-pipeline@v0.9.0 · 5707 in / 1102 out tokens · 40686 ms · 2026-05-22T23:29:51.727905+00:00 · methodology

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

29 extracted references · 29 canonical work pages

  1. [1]

    Nuclear charge density distributions in q uantum chemistry

    Dirk Andrae. “Nuclear charge density distributions in q uantum chemistry”. In: Theoretical and Computational Chemistry . Vol. 11. Elsevier, 2002, pp. 203–258

    work page 2002

  2. [2]

    There are n o unfilled shells in unrestricted Hartree-Fock theory

    V. Bach, E.H. Lieb, M. Loss, and J.P. Solovej. “There are n o unfilled shells in unrestricted Hartree-Fock theory”. In: Phys. Rev. Lett. 72 (19 1994), pp. 2981– 2983

    work page 1994

  3. [3]

    Error bound for the Hartree-Fock energy of atoms and molecules

    Volker Bach. “Error bound for the Hartree-Fock energy of atoms and molecules”. In: Comm. Math. Phys. 147.3 (1992), pp. 527–548

    work page 1992

  4. [4]

    On the Hartree-Fock equations of the electron-positron field

    J.-M. Barbaroux, W. Farkas, B. Helffer, and H. Siedentop. “On the Hartree-Fock equations of the electron-positron field”. In: Comm. Math. Phys. 255.1 (2005), pp. 131–159

    work page 2005

  5. [5]

    Some connections be- tween Dirac-Fock and electron-positron Hartree-Fock

    Jean-Marie Barbaroux, Maria J. Esteban, and Eric Séré. “ Some connections be- tween Dirac-Fock and electron-positron Hartree-Fock”. In : Ann. Henri Poincaré 6.1 (2005), pp. 85–102

    work page 2005

  6. [6]

    Nonlinear Dirac equa- tion on graphs with localized nonlinearities: bound states and nonrelativistic limit

    William Borrelli, Raffaele Carlone, and Lorenzo Tentare lli. “Nonlinear Dirac equa- tion on graphs with localized nonlinearities: bound states and nonrelativistic limit”. In: SIAM Journal on Mathematical Analysis 51.2 (2019), pp. 1046–1081

    work page 2019

  7. [7]

    Holomorphy of the scattering matrix with respect to c´ 2 for Dirac operators and an explicit treatment of relativist ic corrections

    W. Bulla, F. Gesztesy, and K. Unterkofler. “Holomorphy of the scattering matrix with respect to c´ 2 for Dirac operators and an explicit treatment of relativist ic corrections”. In: Communications in mathematical physics 144.2 (1992), pp. 391– 416

    work page 1992

  8. [8]

    Properties of periodic Di rac–Fock functional and minimizers

    Isabelle Catto and Long Meng. “Properties of periodic Di rac–Fock functional and minimizers”. In: arXiv:2307.09088 (2023). 57

    work page arXiv 2023

  9. [9]

    Existence of minimizers for the Dirac–Fock model of crystals

    Isabelle Catto, Long Meng, Eric Paturel, and Eric Séré. “ Existence of minimizers for the Dirac–Fock model of crystals”. In: Archive for Rational Mechanics and Analysis 248.4 (2024), p. 63

    work page 2024

  10. [10]

    Nonr elativistic limit of normalized solutions to a class of nonlinear Dirac equati ons

    Pan Chen, Yanheng Ding, Qi Guo, and Hua-Yang Wang. “Nonr elativistic limit of normalized solutions to a class of nonlinear Dirac equati ons”. In: Calc. Var. Partial Differential Equations 63.4 (2024), Paper No. 90, 29

    work page 2024

  11. [11]

    Relativistic Dirac-Fock expect ation values for atoms with Z = 1 to Z = 120

    Jean-Paul Desclaux. “Relativistic Dirac-Fock expect ation values for atoms with Z = 1 to Z = 120”. In: Atomic Data and Nuclear Data Tables 12.4 (1973), pp. 311– 406

    work page 1973

  12. [12]

    On the eigenvalues of operators with gaps. Application to Dirac operators

    Jean Dolbeault, Maria J. Esteban, and Eric Séré. “On the eigenvalues of operators with gaps. Application to Dirac operators”. In: Journal of Functional Analysis 174.1 (2000), pp. 208–226

    work page 2000

  13. [13]

    Dyall and Knut Faegri

    Kenneth G. Dyall and Knut Faegri. Introduction to Relativistic Quantum Chem- istry. Oxford University Press, July 2007. isbn: 9780195140866

    work page 2007

  14. [14]

    Solutions of the Dirac-Fock e quations for atoms and molecules

    M.J. Esteban and É. Séré. “Solutions of the Dirac-Fock e quations for atoms and molecules”. In: Comm. Math. Phys. 203.3 (1999), pp. 499–530

    work page 1999

  15. [15]

    Nonrelativistic limit of the Dirac-Fock equations

    M.J. Esteban and É. Séré. “Nonrelativistic limit of the Dirac-Fock equations”. In: Ann. Henri Poincaré 2.5 (2001), pp. 941–961

    work page 2001

  16. [16]

    Multiconfiguration Dirac-Fock studies of two-electron ions. I. Electron-elec tron interaction

    Olivier Gorceix, Paul Indelicato, and Jean-Paul Descl aux. “Multiconfiguration Dirac-Fock studies of two-electron ions. I. Electron-elec tron interaction”. In: Jour- nal of Physics B: Atomic and Molecular Physics 20.4 (1987), pp. 639–649

    work page 1987

  17. [17]

    Perturbation theory of relativis tic effects

    Werner Kutzelnigg. “Perturbation theory of relativis tic effects”. In: Theoretical and Computational Chemistry . Vol. 11. Elsevier, 2002, pp. 664–757

    work page 2002

  18. [18]

    The Hartree-Fock theor y for coulomb systems

    Elliott H Lieb and Barry Simon. “The Hartree-Fock theor y for coulomb systems”. In: Communications in Mathematical Physics 53.3 (1977), pp. 185–194

    work page 1977

  19. [19]

    On the mixed regularity of N-body Coulombic wavefunctions

    Long Meng. “On the mixed regularity of N-body Coulombic wavefunctions”. In: ESAIM: Mathematical Modelling and Numerical Analysis 57.4 (2023), pp. 2257– 2282

    work page 2023

  20. [20]

    A rigorous justification of the Mittleman’s approach to the Dirac– Fock model

    Long Meng. “A rigorous justification of the Mittleman’s approach to the Dirac– Fock model”. In: Calculus of Variations and Partial Differential Equations 63.2 (2024), p. 39

    work page 2024

  21. [21]

    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”. In: arXiv:2411.07046 (2024)

    work page arXiv 2024

  22. [22]

    Theory of relativistic effects on atoms: Configuration- space Hamiltonian

    Marvin H. Mittleman. “Theory of relativistic effects on atoms: Configuration- space Hamiltonian”. In: Phys. Rev. A 24 (3 1981), pp. 1167–1175

    work page 1981

  23. [23]

    Relativist ic Hartree–Fock by means of stationary direct perturbation theory. II. Ground state s of rare gas atoms

    Edgar Ottschofski and Werner Kutzelnigg. “Relativist ic Hartree–Fock by means of stationary direct perturbation theory. II. Ground state s of rare gas atoms”. In: The Journal of chemical physics 102.4 (1995), pp. 1752–1757

    work page 1995

  24. [24]

    Solutions of the Dirac-Fock equations w ithout projector

    Eric Paturel. “Solutions of the Dirac-Fock equations w ithout projector”. In: Ann. Henri Poincaré 1.6 (2000), pp. 1123–1157

    work page 2000

  25. [25]

    A new definition of the Dirac–Fock ground sta te

    Eric Séré. “A new definition of the Dirac–Fock ground sta te”. In: Communications in Mathematical Physics 404.3 (2023), pp. 1275–1307. 58

    work page 2023

  26. [26]

    B. Simon. Trace ideals and their applications . Second. Vol. 120. Mathematical Surveys and Monographs. American Mathematical Society, Pr ovidence, RI, 2005, pp. viii+150. isbn: 0-8218-3581-5

    work page 2005

  27. [27]

    The relativistic self-consistent fie ld

    Bertha Swirles. “The relativistic self-consistent fie ld”. In: Proceedings of the Royal Society of London. Series A - Mathematical and Physical Scie nces 152.877 (1935), pp. 625–649

    work page 1935

  28. [28]

    The Dirac equation

    Bernd Thaller. The Dirac equation . Texts and Monographs in Physics. Springer- Verlag, Berlin, 1992, pp. xviii+357. isbn: 3-540-54883-1

    work page 1992

  29. [29]

    Quant um logic with spin qubits crossing the surface code threshold

    Xiao Xue, Maximilian Russ, Nodar Samkharadze, Brennan Undseth, Amir Sam- mak, Giordano Scappucci, and Lieven MK Vandersypen. “Quant um logic with spin qubits crossing the surface code threshold”. In: Nature 601.7893 (2022), pp. 343–347. 59

    work page 2022