REVIEW 3 major objections 6 minor 15 references
Strong Scott Conjecture
T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Near a heavy nucleus, the many-electron ground-state density is approximated in $L^p$ by a non-interacting hydrogenic density, with explicit error bounds, in both nonrelativistic and relativistic settings.
desk verdict Real extension of the strong Scott conjecture with a mostly sound functional-analytic proof, but the advertised distance range leans on an asserted two-perturbation trace estimate that needs to be checked before the theorem is trusted. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing identity is the trace-energy comparison (4.1)--(4.6): for a test perturbation $U$ supported near $y_m$, $\varsigma\int U\rho_\Psi dx$ is bounded by $\operatorname{Tr}[H^-_{W+\nu}]-\operatorname{Tr}[H^-_{W+\varsigma U+\nu}]$ plus a Thomas-Fermi error $Z^{5/3-\delta}$. The argument then replaces the self-consistent Thomas-Fermi potential $W$ by the bare one-nucleus Coulomb potential $V_m^0=Z_m|x-y_m|^{-1}$ up to a constant chemical potential, an operation controlled by (4.10), the bound $|W'_m(x)-W'_m(y_m)| \le C Z^{3/2}|x-y_m|^{1/2}$. After rescaling $x\mapsto Z_m(x-y_m)$, the comparison is made on the hydrogenic operator $T_\beta-|x|^{-1}$, whose negative spectrum splits into clusters separated by gaps of order $n^{-3}$; Sections 2 and 3 estimate how eigenvalues and spectral projectors shift under the perturbation $U$, and these estimates are summed over principal quantum number $n$ to produce the final error terms $F$ and $G$. The reference object $\rho_{m,\beta}$ is the diagonal of the spectral projector $\theta(\tau-H_{\beta,V^0})$ of this toy hydrogenic Hamiltonian.
What would settle it
Compute the Thomas-Fermi potential $W$ for a diatomic molecule with nuclear separation $d=Z^{-1/3}$ and numerically check the bound $|W'_m(x)-W'_m(y_m)| \le C Z^{3/2}|x-y_m|^{1/2}$ on $B(y_m,Z^{-1/2})$; a violation would break the error control in (4.11). Alternatively, a direct numerical ground-state calculation of a two-electron ion at moderately large $Z$, testing inequality (1.12) with $a=Z^{-1/2-\kappa}$, could settle whether the stated bound holds.
Extended reading notes
Core claim
The central statement is Theorem 1.3: under the separation assumption $\min_{m\neq m'}|y_m-y_{m'}| \ge Z^{-1/3+\sigma}$, for any test function $U$ supported in $B(y_m,a)$ with $a \le Z^{-1/2-\kappa}$ and $|U|\le 1$, $$|\int U(\rho_\Psi-\rho_{m,\$\beta$})dx| \le C $F^{{1/2}}$\big((Za)^{3/2}\|\langle Z(x-y_m)\$rangle^{{-3/2}}$U\|_{$L^{1}$}\big)^{1/2}+CG,$$ where $F$ and $G$ are given by (1.13)--(1.14). Here $\rho_{m,\beta}(x)=qZ_m^3\bar\rho_{Z_m\beta}(Z_m(x-y_m))$ is the diagonal of the spectral projector of the hydrogenic operator $T_\beta-|x|^{-1}$, with $T_\beta$ the relativistic or nonrelativistic kinetic energy; that is, the reference density is that of a single atom with the same nuclear charge and no electron-electron repulsion. The proof reaches this by comparing the true density with the one-particle Coulomb density through trace-energy inequalities, controlling the replacement of the self-consistent Thomas-Fermi potential by the bare Coulomb potential via the H\"older-type bound (4.10). The approximation holds in $L^1$ on balls or shells around a nucleus and in $L^p$ for $p=2,3,\dots$ whenever a pointwise upper bound on $\rho_\Psi$ is known.
Load-bearing premise
The proof's load-bearing premise is the local bound (4.10): inside a ball of radius $a$ around the chosen nucleus, the difference between the self-consistent Thomas-Fermi potential and the bare Coulomb potential of that nucleus changes by at most $C Z^{3/2}|x-y_m|^{1/2}$; if this H\"older-type control fails on the scale $a$, the energy-trace comparisons (4.7) and (4.11) carry uncontrolled errors and the hydrogenic approximation does not follow.
Editorial extensions
If this is right
- Inside any ball of radius $a \le Z^{-1/2-\kappa}$ around a nucleus, the many-electron density can be replaced by the hydrogenic density with an explicit $L^p$ error that grows as $a$ increases and degrades sharply beyond $Z^{-1/3}$, marking the end of the core regime.
- The earlier $O(Z^{-1})$ core result is extended to distances up to $Z^{-1/2-\kappa}$, and the same statement is proved with relativistic kinetic energy.
- Corollary 1.4 converts the weighted estimate into practical $L^1$ and $L^p$ bounds on balls or annuli around a nucleus, using only an upper bound on the true density.
- The error terms $F$ and $G$ expose two regimes: for very small $a$ the leading errors are $Z^{13/6-\delta}a^{-1/2}$ and $Z^{7/6-\delta}a^{3/2}$; for $a$ closer to $Z^{-1/2}$ they become $Z^4a^3$ and $Z^2a^3$.
- For distances $a\gg Z^{-1}$, the paper records that the Thomas-Fermi density rather than the hydrogenic density is the appropriate approximation, so the present theorem supplies the inner-core half of a two-scale description of the electronic density.
Reading between the lines
- Editorial inference: if the H\"older bound (4.10) is not sharp, the same trace comparison might hold for radii beyond $Z^{-1/2-\kappa}$; Remark 1.5(ii) already shows a weaker estimate is available without Proposition 3.8, so a numerical check of (4.10) on Thomas-Fermi potentials would reveal whether the main restriction is an artefact.
- Editorial inference: the same machinery should control the full one-particle density matrix, not only its diagonal $\rho_\Psi$, because Sections 2 and 3 estimate spectral projectors; inserting rank-one kernels would yield spatially resolved off-diagonal decay estimates.
- Editorial inference: the paper leaves open whether the relativistic core density $\rho_\beta$ differs from the nonrelativistic density $\rho_0$; a direct numerical evaluation of the series (1.21) for $\beta$ near the stability bound $2/\pi$ would test whether relativistic effects are detectable in the core and could support or refute the conjectured lower bound.
- Editorial inference: at the matching radius $a\approx Z^{-1/2-\kappa}$, the hydrogenic approximation of this paper and the Thomas-Fermi approximation of the larger-distance theory should agree, so combining the two would produce a piecewise global density approximation with a controlled transition layer.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a strong form of the Scott conjecture for heavy atoms and molecules: under the nuclear-separation assumption min_{m<m'} |y_m-y_{m'}| >= Z^{-1/3+sigma} with sigma >= 0, and for test functions U supported in B(y_m,a) with a <= Z^{-1/2-kappa} and |U| <= 1, the ground-state density rho_Psi satisfies the weak-L^1 estimate (1.12) with the explicit error terms F and G in (1.13)-(1.14), where the comparison density rho_{m,beta} is the spectral density of a single non-interacting hydrogenic operator with charge Z_m. The result is claimed in both the non-relativistic and the relativistic case. The proof reduces the many-body density integral to one-particle spectral trace differences via Thomas-Fermi energy bounds, then analyzes the one-particle operator H_{V0} perturbed by ςU and epsilon Phi using cluster decomposition of the hydrogenic spectrum and eigenfunction decay estimates developed in Appendices A and B.
Significance. If the proof is completed as indicated, this is a substantial result: it gives a parameter-free comparison density (no fitting parameters, and the comparison object is defined solely by the single-particle hydrogenic spectral projector), explicit L^p error rates, uniformity in the nuclear charge Z, and coverage of the relativistic case. The paper also gives credit where due to the earlier work of Iantchenko-Lieb-Siedentop and to the author's own Thomas-Fermi estimates. The main caveat is that the proof is a long chain of spectral and functional-analytic estimates, several of which are delegated to the reader at precisely the points that control the advertised range of a; the three load-bearing issues below should be addressed before the theorem can be regarded as fully proven.
major comments (3)
- [§3, Proposition 3.8] Proposition 3.8 is the only ingredient that extends Theorem 1.3 from a <= Z^{-2/3-delta/2} to the advertised range a <= Z^{-1/2-kappa}: after (4.13) the proof invokes (3.31) to obtain (4.14). In the proof of Proposition 3.8, the tail estimates (3.33) and (3.34) are introduced with the remark 'which follow from estimate (2.11)', but (2.11) is stated for a single perturbation ςU of H_{V0} and does not, as stated, cover the operator H_{V0+εΦ+ςU} whose eigenvalues define lambda_{n,k}(ε,ς). The missing step is either a two-perturbation version of Proposition 2.2, including cluster separation and eigenvalue numbering for H_{V0+εΦ+ςU}, or an explicit argument applying (2.11) to the normalized combined perturbation P = εΦ + ςU and then using the triangle inequality. This is not merely a cosmetic omission: the final powers in F and G at (1.13)-(1.14) depend on the n^{-3} tail rate and on the precise way (ε+ς) enters the estimate, and the paper explicitly notes in Remark 1.5(ii) that without Proposition 3.8 only the weaker bounds (1.19)-(1.20) are obtained.
- [§4, inequality (4.10)] The estimate |W'_m(x) - W'_m(y_m)| <= C Z^{3/2} |x - y_m|^{1/2} is asserted with only a brief footnote and no proof or reference. This estimate is load-bearing: it is exactly what allows the replacement of the Thomas-Fermi potential W by the bare Coulomb potential V_m^0 plus a constant, and it converts the error term in (4.7) into the C Z r^2 term in (4.11). If this Hölder-type control fails, or holds with a different exponent or with a constant not uniform in Z and in the nuclear separation, then the passage from (4.7) to (4.11), and hence the minimization leading to (1.12)-(1.14), does not follow. The manuscript should either provide a derivation of (4.10) from the Thomas-Fermi equation or cite a precise statement that covers this uniformity.
- [§3, Proposition 3.7] The trace bound (3.29) is central to the finite-n part of Proposition 3.8: it controls the sum over n <= N after the decomposition of the trace difference. The proof, however, is delegated with the sentence 'Proof repeats the proof of Proposition 3.3. We leave easy details to the reader.' The two-perturbation setting is not literally the same as Proposition 3.3: the projectors pi_n(ε,ς) are those of H_{V0+εΦ+ςU}, and one needs the analogue of the contour-expansion argument with two independent perturbation parameters ε and ς, plus the trace estimates (2.23) applied to both U and Phi. Since Proposition 3.7 feeds directly into the proof of Proposition 3.8 and hence into Theorem 1.3, the details should be written out or reduced to Proposition 3.3 in a way that is verifiable without reconstructing the argument.
minor comments (6)
- [Abstract] The phrase 'the mode l with no interactions' should read 'the model with no interactions'.
- [§4, proof of Proposition 4.1] The sentence 'combining (4.2), (4.2)' should reference (4.2) and (4.3).
- [§3, equation (3.32)] The displayed formula (3.32) appears to contain a stray 'U' before the integral, and the sign convention in the trace identity should be checked; the text says 'without traces or absolute value' but the expression as printed is not clearly an identity.
- [Remark 1.5] There are several typos: 'snd' for 'and', 'resztriction' for 'restriction', and 'definitely is not rigt' for 'definitely is not right'.
- [Notation, after (1.16)] The notation ⟨x⟩ is used in (1.12)-(1.14) but is defined only after (1.16); the definition should be moved before its first use.
- [§2, Proposition 2.3] The proof of Proposition 2.3 is also delegated ('We leave easy details to the reader'); since the proposition is used in the small-n regime, a few lines indicating how (2.30) enters the trace estimates would improve verifiability.
Circularity Check
No significant circularity: the comparison density is defined by a one-particle spectral projector and the main estimate is derived from independent spectral and trace estimates, not from the target.
full rationale
The central claim (1.12) compares the many-body density rho_Psi with rho_{m,beta}, defined in (1.15)-(1.16) as the diagonal of the spectral projector of the single-particle hydrogenic operator H_{V0}=T_beta-|x|^{-1}; this object is independent of the many-body state Psi and of the Thomas-Fermi density. The derivation chain is: Proposition 4.1 reduces the U-weighted density integral to a difference of traces of one-particle Hamiltonians with potential W and W+ςU, using Thomas-Fermi energy upper and lower bounds cited from [Ivr1]/[Ivr2]; Section 4 then replaces W by the bare Coulomb potential near y_m using the Holder-type estimate (4.10), rescales, and applies the eigenvalue and projector bounds of Sections 2-3. The quantities F and G in (1.13)-(1.14) are built from the spectral estimates after optimizing ς, not fitted to rho_Psi. No equation defines an input in terms of the target, and no fitted parameter is renamed as a prediction. The citations to the author's earlier work are load-bearing for the Thomas-Fermi energy bounds, but those bounds are independent results with assumptions (e.g., nuclear separation and TF scaling) that do not include the target density approximation, so by the review rules they do not raise the circularity score. The only reviewer-facing weakness is at Proposition 3.8, where the tail estimates (3.33)-(3.34) are asserted to follow from (2.11) and are not fully displayed; that is a proof-gap or correctness concern, not circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption Existence and semiboundedness of the many-body Hamiltonian; in the relativistic case the strict stability condition Z_m beta <= 2/pi - epsilon for every nucleus.
- domain assumption Thomas-Fermi energy upper and lower estimates from the author's earlier work [Ivr1], [Ivr2], in particular the bounds in equations (4.2) and (4.3) with error C Z^{5/3-delta}.
- domain assumption Local Holder regularity of the Thomas-Fermi potential near a nucleus: |W'_m(x) - W'_m(y_m)| <= C Z^{3/2} |x-y_m|^{1/2}.
- standard math Standard semiclassical eigenvalue-counting asymptotics for one-particle Coulomb operators, including the relativistic operator, as used in Proposition 2.1.
Cite this review
Pith. "Pith review of Strong Scott Conjecture." pith.science (2026). https://pith.science/paper/BP64EK6E
@misc{pith2026190805478,
author = {Pith},
title = {Pith review of: Strong Scott Conjecture},
year = {2026},
howpublished = {\url{https://pith.science/paper/BP64EK6E}},
note = {Machine review of arXiv:1908.05478}
}
abstract
In heavy atoms and molecules, on the distances $a \ll Z^{-1/3}$ from one of the nuclei (with a charge $Z_m$) we prove that $\rho_\Psi (x)$ is approximated in $L^p$-norm, by the electronic density for a single atom in the model with no interactions between electrons. We cover also the relativistic case.
Figures
Reference graph
Works this paper leans on
-
[1]
V. Bach. Error bound for the Hartree-Fock energy of atoms and molecules\/. Commun. Math. Phys. 147:527--548 (1992)
work page 1992
-
[2]
G. M. Graf, J. P Solovej. A correlation estimate with applications to quantum systems with Coulomb interactions\/ Rev. Math. Phys., 6(5a):977--997 (1994). Reprinted in The state of matter a volume dedicated to E. H. Lieb, Advanced series in mathematical physics, 20, M. Aizenman and H. Araki (Eds.), 142--166, World Scientific (1994)
work page 1994
-
[3]
O. J. Heilmann, E. H. Lieb. The electron density near the nucleus of a large atom\/. Phys. Rev. A, 52(5):3628-3643 (1995)
work page 1995
-
[4]
I. W. Herbst. Spectral T heory of the operator (p^2+m^2)^ 1/2 -Ze^2/r , Commun. Math. Phys. 53(3):285--294 (1977)
work page 1977
-
[5]
A. Iantchenko. The electron density in the intermediate scales. Communs Math. Physics, 184:367--385(1997),
work page 1997
-
[6]
A. Iantchenko, E. H. Lieb, H. Siedentop. Proof of the strong Scott conjecture for atomic and molecular cores related to Scott's correction\/. J. Reine Angew. Math. 472:177–195 (1996)
work page 1996
-
[7]
A. Iantchenko, H. Siedentop. Asymptotic behavior of the one-particle density matrix of atoms at distances Z^ -1 from the nucleuss . Math. Z. , 236(4):787--796 (2001)
work page 2001
-
[8]
V. Ivrii. Microlocal Analysis, Sharp Spectral Asymptotics and Applications, Springer-Verlag, 2019. enumerate [label=-,leftmargin=*] Volume II. Functional Methods and Eigenvalue Asymptotics. Volume V. Applications to Quantum Theory and Miscellaneous Problems. enumerate see also http://www.math.toronto.edu/ivrii/monsterbook.pdf
work page 2019
Show all 15 references
-
[9]
Ivrii, Asymptotics of the Ground State Energy in the Relativistic Settings
V. Ivrii, Asymptotics of the Ground State Energy in the Relativistic Settings. Algebra i Analiz (Saint Petersburg Math. J.)\\ 29 no. 3 (2018), 76--92, also in monsterbook , Volume V, Springer-Verlag, 2019
2018
-
[10]
V. Ivrii. Upper estimates for electronic density in heavy atoms and molecules\/. arXiv:1906.00611 https://arxiv.org/abs/1906.00611
1906 arXiv
-
[11]
V. Ivrii. Thomas-Fermi approximation to electronic density\/. arXiv:1911.03510 https://arxiv.org/abs/1911.03510
1911 arXiv
-
[12]
E. H. Lieb, W. E. Thirring. Inequalities for the moments of the eigenvalues of the Schr\"odinger Hamiltonian and their relation to Sobolev inequalities, in Studies in Mathematical Physics (E. H. Lieb, B. Simon, and A. S. Wightman, eds.), Princeton Univ. Press, Princeton, New J...
1976
-
[13]
E. H. Lieb, H. T. Yau. The S tability and instability of relativistic matter\/ . Commun. Math. Phys. 118(2): 177--213 (1988)
1988
-
[14]
Siedentop
H. Siedentop. A proof of the strong Scott conjecture.\/ In Quasiclassical Methods, The IMA Volumes in Mathematics and its Applications, Springer-Verlag, 1996, pp. 150--159
1996
-
[15]
J. P. Solovej, T. . S rensen, W. L. Spitzer. The relativistic Scott correction for atoms and molecules\/. Comm. Pure Appl. Math., 63:39--118 (2010)
2010
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.