REVIEW 1 major objections 6 minor 31 references
Hydrogen-exact exchange factor binds Rydberg states in semilocal DFT
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · glm-5.2
2026-07-09 03:43 UTC pith:YNY7N7TE
load-bearing objection First semilocal exchange functional to recover the -1/r asymptotic tail and bound Rydberg states in s-shell atoms, via a complete solution of the 1993 Gill-Pople equation. the 1 major comments →
Semilocal exchange functionals from the exact-exchange condition for the hydrogen atom: Hydrogenic exactness and recovery of Rydberg-like bound states
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central object is the GP93 factor, defined by solving the Gill-Pople equation as an inverse problem. It is an enhancement factor for semilocal exchange that is exact on the hydrogen 1s density by construction, exact on all hydrogenic 1s ions by coordinate scaling, and has the hydrogen-exact large-gradient growth O[s(ln s)^{2/3}]. When embedded in a switched functional that activates the factor only in one-electron-like regions detected by the alpha indicator and further refined by the reduced Laplacian q, the functional produces bound Rydberg-like virtual Kohn-Sham states in all five tested s-shell systems (H, He, Li, Na, K) where PBE through SCAN bind none in He. The domain of applicabl
What carries the argument
GP93 factor (solution of the Gill-Pople equation as inverse problem); alpha indicator (kinetic-energy-density ratio detecting one-electron character); q indicator (reduced Laplacian distinguishing atomic tails from covalent bond centers); triple-switched enhancement factor combining PBE with the GP93 factor; orbital-free alpha_PC replacing the orbital-dependent kinetic-energy density with a Perdew-Constantin-type functional
Load-bearing premise
The alpha-switch and q-switch, with a few calibrated parameters, are assumed to cleanly separate one-electron-like atomic tails from many-electron regions and covalent bond centers. This separation is demonstrated only non-self-consistently on fixed densities for molecules, and the self-consistent q-switch is unstable in Gaussian bases. The entire molecular and solid-state extension rests on the unverified premise that a real-space self-consistent implementation will converge
What would settle it
A self-consistent real-space implementation of the triple-switched functional that fails to converge, or that converges but does not reproduce the bound Rydberg states and HOMO-ionization-energy improvements shown in the fixed-density and Gaussian-basis calculations, would falsify the central claim that the GP93 factor can be embedded in a stable, practical semilocal functional for general systems.
If this is right
- A self-consistent real-space pseudopotential implementation of the triple-switched functional could recover Rydberg-like bound states and improved ionization energies at semilocal computational cost, without nonlocal exact exchange.
- The alpha-switch design principle predicts that only systems with one-electron-like s-shell HOMOs benefit from the asymptotic correction, while p-shell atoms and many-electron regions revert to PBE, fixing the domain of applicability by construction.
- Large-core pseudopotentials play a constructive role by rendering alkali valence electrons one-electron-like, suggesting a natural affinity between this functional and real-space pseudopotential codes.
- The orbital-free replacement of the kinetic-energy-density indicator removes the need for a generalized Kohn-Sham solver, making the entire switch a pure density functional with a standard local exchange potential.
- The -1/r correction is switched off in smooth bulk interiors and acts in low-density one-electron-like regions such as the vacuum side of surfaces, potentially affecting adsorption energetics where image-potential-like asymptotes matter.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This manuscript solves the Gill-Pople (GP93) ordinary differential equation for a GGA exchange functional that reproduces the exact exchange potential of the hydrogen atom, obtaining the enhancement factor $w(z)$ in closed form via variation of constants (Eq. 7) with Frobenius matching at $z=0$ (Eq. 10). The resulting GP93 factor is parameter-free, exhibits the hydrogen-exact large-gradient growth $O[s(¥ln s)^{2/3}]$ (Proposition 3), and is exact on hydrogenic 1s ions by coordinate scaling (Theorem 2). The factor is embedded in a switched meta-GGA form (Eq. 16) using the indicator $¥alpha=(¥tau-¥tau_W)/¥tau_{¥rm unif}$ to confine the divergent branch to one-electron-like regions. The central empirical result is that this functional produces Rydberg-like series of bound virtual Kohn-Sham states in all five tested s-shell systems (H, He, Li, Na, K) where PBE through SCAN bind none in He, while p-shell atoms (Ne, Ar) are correctly left unmodified. A triple switch adding the reduced Laplacian $q$ (Eq. 18) is introduced to suppress divergence at covalent bond centers, and an orbital-free replacement for $¥alpha$ via a Perdew-Constantin-type kinetic-energy-density functional (Eq. 28) is proposed to eliminate the need for a generalized Kohn-Sham solver.
Significance. The paper ships a genuinely parameter-free, analytically derived exchange ingredient (the GP93 factor) with a rigorous hydrogen-exactness theorem (Theorem 1) and a scale-covariance eigenvalue theorem (Theorem 2) verified numerically on He+ and Li2+ not used in calibration (Sec. VIII: 54.44 vs 54.42 eV). The asymptotic growth $O[s(¥ln s)^{2/3}]$ (Proposition 3, Eq. 12) is a concrete, falsifiable prediction distinct from the AK13 $s¥ln s$ form. The recovery of 4-8 bound Rydberg-like states across five s-shell systems (Tables II-III), with zero bound states in p-shell atoms by design, is a clear qualitative advance over existing semilocal functionals. The Frobenius matching is stable to eight digits (Appendix B), and implementation verification includes derivative checks to $10^{-9}$ and energy-minimum confirmation (Appendix C). The scope is honestly delimited: no thermochemistry claims, no p-shell HOMO improvement, no response properties.
major comments (1)
- §VI.B, Table II, and the He Rydberg result: The headline result of 8 bound Rydberg states in He is obtained with the alpha-switched form of Eq. (16), not the triple-switched form of Eq. (18). The q-switch is introduced (Sec. IV.A) because alpha alone is insufficient to suppress the divergent F_mix branch in low-density, large-s, alpha≈0 regions such as covalent bond centers. The manuscript argues (Eq. 21) that the q-switch should not perturb the He atomic tail because q→+∞ there, making D(q)→1. However, this argument is verified only non-self-consistently on fixed densities (Sec. VI.D). A self-consistent q-switched calculation on He—confirming that the bound-state count and HOMO are preserved when the full triple switch is active—would close the logical gap between the functional form advocated for molecules/solids (Eq. 18) and the functional form used to produce the central atomic Ryd伯格
minor comments (6)
- §V, Computational Methods: The basis-set dependence of the Rydberg state count is acknowledged but not quantified. A convergence study showing how the count of bound states in He changes from aug-cc-pVDZ through aug-cc-pV5Z would strengthen the claim that the qualitative contrast (zero vs. eight) is basis-robust.
- Table I: Only H, He+, and Li2+ are listed. The text mentions Z=1-5 in Sec. VIII, but Table I shows only three systems. Adding Z=4,5 would complete the demonstration of Theorem 2.
- §VII, Eq. (28): The large-p damping factor with p_c=5 is acknowledged as 'not a parameter-free consequence of the GP93 construction.' This is an additional empirical parameter that should be listed alongside the switching parameters in the parameter inventory for full transparency.
- Fig. 1 caption: The y-axis label 'Mean absolute error' should specify units (eV) for consistency with Eq. (14).
- §III, Eq. (13): The outer switch parameters (p, s_0) are described as 'calibrated' rather than 'empirical.' While the distinction is explained, the phrasing may invite confusion; a brief note that 'calibrated' means 'determined by the functional's design purpose' would help.
- Reference [3] (Gill and Pople 1993) is central to the entire construction but is cited only in the introduction and Sec. II. A brief note on how the present solution relates to GP93's original (incomplete) treatment would provide useful historical context.
Simulated Author's Rebuttal
The referee identifies one major issue: the headline He Rydberg result (8 bound states) is obtained with the alpha-switched form (Eq. 16), while the triple-switched form (Eq. 18) including the q-switch is advocated for molecules/solids but verified only non-self-consistently. The referee requests a self-consistent q-switched calculation on He to confirm the bound-state count and HOMO are preserved under the full triple switch. We agree this is a logical gap and will address it by performing the requested calculation or, where self-consistent implementation in Gaussian bases is not feasible, by providing a detailed non-self-consistent verification on the self-consistent alpha-switched density and revising the manuscript to state the limitation explicitly.
read point-by-point responses
-
Referee: §VI.B, Table II, and the He Rydberg result: The headline result of 8 bound Rydberg states in He is obtained with the alpha-switched form of Eq. (16), not the triple-switched form of Eq. (18). The q-switch is introduced (Sec. IV.A) because alpha alone is insufficient to suppress the divergent F_mix branch in low-density, large-s, alpha≈0 regions such as covalent bond centers. The manuscript argues (Eq. 21) that the q-switch should not perturb the He atomic tail because q→+∞ there, making D(q)→1. However, this argument is verified only non-self-consistently on fixed densities (Sec. VI.D). A self-consistent q-switched calculation on He—confirming that the bound-state count and HOMO are preserved when the full triple switch is active—would close the logical gap between the functional form advocated for molecules/solids (Eq. 18) and the functional form used to produce the central atomic Ryd伯格
Authors: The referee is correct that the headline He Rydberg result (Table II, 8 bound states) is obtained with the alpha-switched form of Eq. (16), and that the q-switch of Eq. (18) is verified only non-self-consistently. We agree that a self-consistent q-switched calculation on He would close the logical gap between the functional form advocated for general use and the one used to produce the central atomic result. We will address this in revision. The key question is whether the q-switch, when active self-consistently, preserves the He bound-state count and HOMO. Our analytical argument (Eq. 21) shows that in the He atomic tail q→+∞, so D(q)→1 and the q-switch is saturated; the derivative ∂D/∂q_c vanishes there, meaning the q-switch is inert in the region that determines the Rydberg levels. The referee's concern is whether this holds self-consistently, not just on fixed densities. We will attempt the self-consistent q-switched calculation on He. However, we note that the v_lapl term associated with q is numerically unstable in Gaussian bases (as discussed in Sec. IV.A and Sec. VIII), which is why the q-switch was demonstrated non-self-consistently in the original submission. If a stable self-consistent Gaussian implementation proves infeasible, we will: (1) provide a non-self-consistent evaluation of the full triple-switched functional on the self-consistent alpha-switched He density, showing that the exchange potential tail and bound-state spectrum are unchanged when D(q) is applied; (2) revise the manuscript to state explicitly that the self-consistent q-switched verification on He is a necessary next step requiring real-space implementation, and that the current evidence supports—but does not definitively confirm—that the triple switch preserves the atomic Rydberg result. revision: partial
- A fully self-consistent q-switched calculation on He may not be achievable within the Gaussian-basis framework used in this work, because the v_lapl term (functional derivative of the exchange energy with respect to ∇²n) is numerically unstable in Gaussian bases. This is the same difficulty faced by Laplacian-level meta-GGAs and is the reason the q-switch was demonstrated non-self-consistently in the original submission. A definitive self-consistent verification likely requires a real-space grid implementation, which is beyond the scope of the current manuscript. If the self-consistent calculation cannot be stabilized, the logical gap identified by the referee can be narrowed but not fully closed in this revision.
Circularity Check
GP93 factor is parameter-free and independently verified; switching parameters are fitted to the target MAE and then the same MAE is reported as a result, but the central Rydberg-binding claim has independent content.
specific steps
-
fitted input called prediction
[Sec. III, Eqs. (13)-(14), Fig. 1]
"The parameters (p, s 0) of the outer switch are not an empirical fit: they are calibrated against the very purpose of the functional—the recovery of bound Rydberg states and the agreement of −ε HOMO with experimental ionization energies. We minimize the mean absolute error MAE = 1/5 Σ |−εHOMO − I exp| over the five systems with one-electron-like s-shell HOMOs (H, He, Li, Na, K)... The optimum over the stable domain is (p⋆, s⋆0) = (8, 0.16), MAE = 0.80 eV, which we use throughout."
The outer-switch parameters (p=8, s0=0.16) are obtained by minimizing the MAE of −εHOMO versus experimental IP over exactly the five s-shell systems (H, He, Li, Na, K). The paper then reports this same MAE = 0.80 eV (Table III, Fig. 4) as evidence of the functional's quality: 'The mean absolute HOMO–IP errors are PBE 4.19, SCAN 3.95, B3LYP 3.30, and F_mix 0.79 eV, four to five times better than the other functionals.' The 0.79 eV is the fitted minimum by construction; it cannot be worse than the competitors on this set because the parameters were chosen to minimize it. The paper's claim that this is 'not an empirical fit' is contradicted by the procedure itself. However, the qualitative Rydberg-binding result (8 bound states in He where PBE/SCAN bind none) is not directly the fitted target
-
self definitional
[Sec. IV, Eqs. (16)-(20), and Sec. VI.B/VI.D]
"A prediction of the domain of applicability follows immediately: the asymptotic improvement reaches the HOMO only if the HOMO itself is one-electron-like (α≈0), i.e., only in systems whose outermost shell is occupied by a single ns electron. For p-shell HOMOs (α > 0) the switch suppresses the GP93 term and no effect appears. This prediction is verified numerically in Sec. VI."
The switch G(α) = exp[−(α/wα)²] is defined so that G(0)=1 (GP93 term fully active) and G(α>0)→0 (GP93 term suppressed). The 'prediction' that s-shell systems (α≈0) show Rydberg states while p-shell systems (α>0) do not is then verified on Ne and Ar. But this outcome is forced by the switch definition: the functional is constructed to activate only where α≈0, so observing that it activates only where α≈0 is tautological. The paper acknowledges this: 'the domain of applicability follows from the design itself.' This is a minor circularity because the α≈0 condition for one-electron regions is an exact physical property (τ=τW for single orbitals), not an arbitrary ansatz, so the switch design has independent physical motivation.
full rationale
The GP93 factor itself—the paper's central nonempirical ingredient—is derived from the Gill-Pople equation (an independent mathematical constraint from 1993, cited as Ref. [3] with no author overlap) and contains no fitted parameters. Theorem 1 (hydrogen-exactness) holds by construction of solving that equation, which the paper openly states. Theorem 2 (hydrogenic eigenvalue exactness) follows from coordinate scaling and is independently verified on He+ and Li2+ (54.44 vs 54.42 eV, 122.50 vs 122.45 eV)—systems not used in calibration. The main empirical result (Rydberg-like bound states in He where PBE/SCAN bind none) is a qualitative outcome not directly equivalent to the fitted MAE. The circularity is limited to: (1) the s0 calibration minimizing MAE on the same five systems whose MAE is then reported as a quality metric, and (2) the s-shell/p-shell selectivity being a consequence of the switch definition rather than an independent prediction. Neither reduces the central claim to its inputs. The paper is notably transparent about both points, explicitly calling the domain restriction 'fixed by design' and the MAE a 'calibration.' This is a borderline-fitted but not fundamentally circular paper.
Axiom & Free-Parameter Ledger
free parameters (8)
- c0 = w(0) =
0.68928799
- p (outer switch exponent) =
8
- s0 (outer switch scale) =
0.16
- w_alpha (alpha switch width) =
0.10
- q_c (q-switch center) =
1
- w_q (q-switch width) =
0.6
- p_c (orbital-free alpha damping) =
5
- a, b (PC07 interpolation) =
a=0.5389, b=3
axioms (5)
- domain assumption The Kohn-Sham exchange potential should satisfy v_x(r) -> -1/r as r -> infinity for finite systems.
- standard math The GGA exchange energy takes the form E_x = A_x * integral n^{4/3} F(s) with s = |grad n| / [2(3*pi^2)^{1/3} n^{4/3}].
- domain assumption The meta-GGA indicator alpha = (tau - tau_W) / tau_unif exactly detects one-electron regions (alpha=0 iff single-orbital).
- standard math Uniform coordinate scaling n_kappa(r) = kappa^3 n(kappa r) preserves the form of scale-invariant functionals: E_x[n_kappa] = kappa * E_x[n].
- domain assumption LYP correlation vanishes for one-electron densities, preserving hydrogenic exactness.
read the original abstract
In semilocal density functionals the exchange potential decays too rapidly outside atoms and molecules and lacks the correct $-1/r$ tail; as a consequence, functionals from PBE to modern meta-GGAs such as SCAN support no bound Rydberg-like state of an atom. We revisit the gradient-corrected exchange functional that Gill and Pople (GP93) constructed to reproduce the exact exchange potential of the hydrogen atom, solve their equation as an inverse problem, and use the resulting enhancement factor -- the GP93 factor -- as a tail-generating ingredient of a switched semilocal functional. The GP93 factor is exact on the hydrogen $1s$ density and, by uniform coordinate scaling, on hydrogenic $1s$ ions, where it yields the eigenvalue $-Z^2/2$ exactly (hydrogenic exactness). Its large-gradient growth has the hydrogen-exact form $O[s(\ln s)^{2/3}]$, distinct from the $s\ln s$ form of Armiento and K\"ummel. The factor is combined with a kinetic-energy-density indicator so that its divergent branch acts only in one-electron-like regions; the GP93 ingredient is nonempirical, while a few switching parameters are calibrated to balance tail recovery against self-consistent-field stability. The resulting functional produces Rydberg-like series of bound virtual Kohn--Sham states in systems whose outermost shell is a one-electron-like $s$ shell -- all-electron H and He, and Li, Na, and K with large-core pseudopotentials -- and moves the highest-occupied eigenvalue toward the experimental ionization energy. For $p$-shell atoms (Ne, Ar) the switch closes, so the domain of applicability is fixed by design. Fixed-density tests indicate that a reduced-Laplacian switch distinguishes atomic tails from covalent bond centers, and that a density-only kinetic-energy functional renders the entire switch orbital-independent, so that no generalized Kohn--Sham solver is required.
Figures
Reference graph
Works this paper leans on
-
[1]
the only func- tional that binds
= (8,0.16),MAE = 0.80 eV,(14) which we use throughout. At thiss 0 the exchange-only SCF density of hydrogen reproduces the exact density closely ( R r<2 |n−n H|dr≃10 −3) withε 1s =−0.4998; the Rydberg-oriented calibration is thus compatible with hydrogenic exactness. IV. MANY-ELECTRON SWITCHING AND THE INTEGRATED FUNCTIONAL Fromτ= 1 2 P i |∇ψi|2,τ W =|∇n|...
- [2]
- [3]
-
[4]
P. M. W. Gill and J. A. Pople, Phys. Rev. A47, 2383 (1993)
work page 1993
-
[5]
J. P. Perdew, R. G. Parr, M. Levy, and J. L. Balduz, Phys. Rev. Lett.49, 1691 (1982)
work page 1982
-
[6]
A. D. Becke, Phys. Rev. A38, 3098 (1988)
work page 1988
-
[7]
C. Lee, W. Yang, and R. G. Parr, Phys. Rev. B37, 785 (1988)
work page 1988
-
[8]
J. P. Perdew, K. Burke, and M. Ernzerhof, Phys. Rev. Lett.77, 3865 (1996)
work page 1996
- [9]
-
[10]
A. D. Becke and E. R. Johnson, J. Chem. Phys.124, 221101 (2006)
work page 2006
- [11]
- [12]
-
[13]
J. Tao, J. P. Perdew, V. N. Staroverov, and G. E. Scuse- ria, Phys. Rev. Lett.91, 146401 (2003)
work page 2003
-
[14]
J. Sun, A. Ruzsinszky, and J. P. Perdew, Phys. Rev. Lett. 115, 036402 (2015)
work page 2015
-
[15]
A. D. Becke, J. Chem. Phys.98, 5648 (1993)
work page 1993
-
[16]
J. P. Perdew and L. A. Constantin, Phys. Rev. B75, 155109 (2007)
work page 2007
-
[17]
F. Della Sala, E. Fabiano, and L. A. Constantin, Int. J. Quantum Chem.116, 1641 (2016)
work page 2016
- [18]
-
[19]
S. Lehtola, C. Steigemann, M. J. T. Oliveira, and M. A. L. Marques, SoftwareX7, 1 (2018)
work page 2018
- [20]
- [21]
- [22]
- [23]
- [24]
-
[25]
T. H. Dunning, Jr., J. Chem. Phys.90, 1007 (1989)
work page 1989
-
[26]
R. A. Kendall, T. H. Dunning, Jr., and R. J. Harrison, J. Chem. Phys.96, 6796 (1992)
work page 1992
-
[27]
L. F. Pacios and P. A. Christiansen, J. Chem. Phys.82, 2664 (1985)
work page 1985
-
[28]
W. J. Stevens, H. Basch, and M. Krauss, J. Chem. Phys. 81, 6026 (1984)
work page 1984
-
[29]
W. J. Stevens, M. Krauss, H. Basch, and P. G. Jasien, Can. J. Chem.70, 612 (1992)
work page 1992
-
[30]
J. F. Janak, Phys. Rev. B18, 7165 (1978)
work page 1978
-
[31]
A. Kramida, Yu. Ralchenko, J. Reader, and NIST ASD Team,NIST Atomic Spectra Database, National Institute of Standards and Technology, Gaithersburg, MD,https: //physics.nist.gov/asd
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.