Quantum Systems at The Brink: Helium-type systems

Dirk Hundertmark; Markus Lange; Michal Jex

REVIEW 1 major objections 4 minor 1 cited by

Quantum Systems at The Brink: Helium-type systems

T0 review · 1 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that at the critical electron-electron coupling, helium's threshold eigenfunctions decay at least as fast as $\exp(-C\sqrt{|x|_\infty})$.

desk verdict Genuinely new threshold-decay method, but the helium theorem's printed exponent contradicts its own proof; fixable and worth refereeing. read the letter →

arxiv 1908.04883 v3 pith:F3UODHBC submitted 2019-08-13 math-ph math.MP

Dirk Hundertmark , Michal Jex , Markus Lange This is my paper · ORCID

classification math-phmath.MP MSC 81Q1035B4081V45

keywords Schr\"odingeroperatorsthresholdeigenvaluesheliumatomdecayratesessentialspectrumboundstatesIMSlocalizationcomparisontheorem

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper addresses a long-standing question in quantum chemistry: what happens to a bound state at the exact moment it reaches the edge of the continuous spectrum. For the helium atom, the authors prove that at the critical electron-electron coupling $U_c$, any normalized $L^2$ eigenfunction with energy $-1/4$ decays at least as fast as $\exp(-C\sqrt{|x|_\infty})$, where $|x|_\infty = \max(|x_1|,|x_2|)$. They also prove a matching lower bound showing the ground state does not decay faster than some exponential, and they establish existence of this threshold ground state for a nucleus of finite mass under mild assumptions. The method matters as much as the result: it uses the repulsive part of the potential to replace the usual spectral-gap assumption, so it works exactly at threshold where Agmon-type exponential estimates fail.

What carries the argument

The load-bearing object is the IMS localization identity, the standard identity that distributes a Schr\"odinger quadratic form across a partition of unity at the cost of explicit gradient error terms, applied to the weighted eigenfunction $\xi\psi$ with $\xi = \varsigma \chi e^F$. It converts $H\psi = E\psi$ into an energy inequality in which the gradient terms $|\nabla F|^2$ are absorbed by the positive repulsive potential $U/|x_1-x_2|$; positivity of the remaining operator then gives uniform control of $\|e^F\psi\|$ without any gap to the essential spectrum. The companion lower bound uses a comparison theorem with the explicit supersolution $\phi = N M_m(|x_1-x_2|)\exp(-|x|_0/2 - C|x|_\infty)$, and the tightness criterion (weak convergence plus decay of mass in position and momentum) upgrades the formal argument to actual existence of the eigenfunction at threshold.

What would settle it

Take the critical Hamiltonian $H_{U_c}$ and construct or numerically compute a normalized eigenfunction $\psi$ with $H_{U_c}\psi = -\tfrac14 \psi$ whose density along $|x_1| = R$, $|x_2|$ fixed, satisfies $|\psi| \ge \exp(-A R^{1/3})$ for large $R$. Then $e^F\psi$ cannot lie in $L^2(\mathbb{R}^6)$ for $F \sim \sqrt{|x|_\infty}$, contradicting Theorem 3.1. Conversely, if no such $L^2$ solution exists at $U_c$, the decay theorem is conditional rather than false, exactly as the paper's own assumption states.

Watch

Extended reading notes

Core claim

The central discovery is that the decay rate of a threshold eigenstate is controlled by the inequality $|\nabla F|^2 < U_{\mathrm{rep}}$, where $U_{\mathrm{rep}}$ is the repulsive part of the potential. For helium, taking $F$ proportional to $\sqrt{|x|_\infty}$ satisfies this inequality outside a compact set, and the paper proves $e^F \psi_U \in L^2(\mathbb{R}^6)$ whenever $H_U\psi_U = -\tfrac14 \psi_U$. Thus at the critical coupling the two-electron density decays subexponentially in the maximal distance of either electron from the nucleus, instead of exponentially as it does below the threshold. The lower bound, obtained from a comparison theorem, says the critical ground state is bounded below by a constant times $\exp(-|x|_0/2 - C|x|_\infty)$, so it cannot decay faster than exponential. This is the first rigorous determination of the asymptotic decay of helium's ground state at the threshold, and the tightness argument in the appendix supplies existence of the threshold ground state without the Born-Oppenheimer approximation.

Load-bearing premise

The load-bearing premise is that a normalized square-integrable eigenfunction really exists at the threshold, $H_U\psi_U = -\tfrac14 \psi_U$; the main body assumes it, and the appendix's tightness proof of existence is only sketched (and for finite nuclear mass requires the nucleus to be at least as heavy as an electron).

Editorial extensions

If this is right

At the critical coupling $U_c$, helium's ground state is subexponentially localized: its $L^2$ mass beyond radius $R$ decays at least as fast as $\exp(-2C\sqrt{R})$ up to logarithmic corrections, so the atom is only marginally bound at the ionization threshold.
The decay bound works for any eigenstate at the threshold, and the proof also covers subcritical couplings, where it supplies an explicit decay rate without relying on a spectral gap.
The method is a template for other Hamiltonians with a repulsive tail: the threshold decay rate is found by solving $|\nabla F|^2 \le U_{\mathrm{rep}}$ outside a compact set.
With a finite-mass nucleus, the same subexponential decay picture holds for relative coordinates when the electrons are indistinguishable and the nucleus is at least as heavy as an electron.
The exponential lower bound shows the ground state cannot collapse to a compactly supported object; the true decay lies somewhere between these two rates.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The eikonal inequality $|\nabla F|^2 \le U_{\mathrm{rep}}$ looks like a general variational principle: the sharp threshold decay rate should be the largest $F$ satisfying it, and helium realizes the square-root case; applying this principle to other critical $N$-body systems could give decay rates without solving the full spectral problem.
Because the lower bound is only exponential, the exact pointwise rate in the tubular region where one electron stays close to the nucleus remains open; a comparison function interpolating between exponential and square-root decay would settle it.
A direct numerical test is available: at $U \approx U_c$, compute the two-electron density along $|x_1| = R$ with $|x_2|$ fixed and check whether $-\log \psi_U$ grows like $\sqrt{R}$. If it grows linearly instead, the true decay is exponential and the square-root upper bound is not sharp.
The finite-mass extension stops at $M = 1$; for a lighter nucleus the positivity estimate $1 - 1/M$ changes sign, so the authors' argument gives no threshold ground state there. Whether such a state exists for $M<1$ is a separate open question.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's my take. The paper's core idea—using the repulsive tail to bound decay right at threshold, with no spectral gap—is genuinely good, and the one-particle example is a clean proof of concept. The helium application is a real attack on a known benchmark; if the main theorem is fixed, it would be the first rigorous sqrt-decay bound for the critical helium ground state. The lower bound in Theorem 3.7, while only exponential, is a reasonable first step and the authors are upfront that subexponential is not done.

But as printed, Theorem 3.1 cannot be accepted. The weight F in (6) is linear in |x|∞ on the Aδ sector, with coefficient about 0.5. Then 2|∇F|² is about 0.52, bigger than the 1/4 that appears in the quadratic form, so the key positivity argument in §3.1.2 fails. The abstract and the proof's own Fη in (11) make clear the intended first branch is √|x|∞. This is not just a typo: the linear statement asserts exponential decay at threshold, which the method cannot deliver and which is also likely false. The proof also ends with a 'logarithmic correction' while the theorem claims e^F ψ ∈ L2 exactly; that gap needs to be closed or the statement weakened.

Existence of the threshold eigenfunction is assumed in the main body and only sketched in Appendix A via tightness; for finite nuclear mass it needs M≥1. That's a limitation, not a fatal flaw, but the sketch should be expanded. The lower bound's claim to be 'sharp' is an overstatement—it is exponential, not sqrt.

Citations look appropriate; the paper engages with the prior threshold literature. The method deserves a serious referee. I would send it out, with the expectation of major revision. The exponent error is likely fixable, and the corrected version would be an important contribution.

Referee Report

1 major / 4 minor

Summary. The paper develops a method for proving decay estimates for eigenfunctions of Schrödinger operators at threshold, using a repulsive tail of the potential instead of a spectral gap. It first illustrates the method on a one-particle Hamiltonian with a compactly supported attractive part and a long-range repulsive Coulomb-like tail (Section 2), proving both an upper bound of the form e^{-C sqrt(|x|)} and a matching lower bound for a model with C/|x| repulsion. The main application is the helium atom with infinite nuclear mass (Section 3): Theorem 3.1 claims an L2 upper bound e^F psi_U at the critical coupling, with F of order sqrt(|x|_infty) in the second branch and, as printed, a linear weight in the first branch; Theorem 3.7 gives an exponential lower bound. Appendices sketch tightness arguments for existence, a partition of unity, an extension to finite nuclear mass under M >= 1, and a pointwise version of the upper bound. The abstract claims the first rigorous sharp asymptotic decay for helium at threshold and existence of a ground state with finite nuclear mass.

Significance. The core idea of the paper is valuable: using a repulsive part of the potential to remove the need for a spectral gap is a genuinely useful mechanism for threshold problems, and the one-particle section is clean and verifiable. The derivation is self-contained in the sense that the decay weight is chosen from the potential rather than fitted to the eigenfunction, and the argument is not circular because existence of the threshold eigenfunction is either assumed or cited from the literature. If the helium theorem can be stated and proved consistently, the result would be the first rigorous determination of the threshold decay rate for helium and a substantial contribution to the spectral theory of N-body Coulomb systems. The finite-nuclear-mass extension would also be significant, though the manuscript currently does not provide a complete proof of it.

major comments (1)

[Appendix C and abstract] The abstract states that the paper shows existence of a ground state for a finite nuclear mass, previously known only in the Born-Oppenheimer approximation. Appendix C does not contain a theorem or proof of such existence: it only shows how the IMS error and kinetic lower bound change under the assumption M >= 1 and says the main-body proof can be repeated for a fixed fiber P=0. It never establishes the existence of an L2 eigenfunction at the critical coupling for the finite-mass operator. The tightness argument in Appendix A is sketched and, in Lemma A.4, is proved only for the one-particle operator of Eq. (2), not for the helium operator. The finite-mass existence claim is therefore unsupported as written.

minor comments (4)

[Section 3, references] The citation to Lieb appears as 'Lieb [?]' in the paragraph before Eq. (5); the reference should be filled in, presumably Ref. [9].
[Throughout] There are several typographical errors, including 'spetrum' in Section 1.1, 'neccesity' in Section 1.1, and 'Hamiltionians' in Section 1; these should be corrected in a revision.
[Lemma 3.4 proof] In the proof of Lemma 3.4, the displayed equality (-1/delta - 1 + U/2)/|x_2| = -1/delta / |x|_infty holds only when U=2. The U-dependent term should be kept in the displayed formula, since it is exactly the coefficient stated in inequality (7).
[Section 3.1.2, Step 2] In the IMS formula line, the right-hand side is written as -1/4 (||xi psi|| + ||xi_perp psi||^2); this should be -1/4 (||xi psi||^2 + ||xi_perp psi||^2).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the decay theorems are derived from the Hamiltonian and the eigenvalue equation, with existence supplied by independent citations or a standard bootstrap.

full rationale

The derivation chain was inspected step by step. Theorem 3.1 is conditional: given an L2 solution ψU of HUψU = −1/4ψU, the weighted L2 bound eFψU ∈ L2(R6) is obtained by IMS localization and the lower bounds on the repulsive part of the Coulomb potential (Lemma 3.4, Lemma 3.5), not by fitting any parameter. The weight F in Eq. (6) is constructed from the constants appearing in the potential estimates and is not calibrated to ψU. The lower bound Theorem 3.7 uses a comparison theorem with the eigenvalue equation (−∆+W2)ψ = 0, again deriving the bound rather than assuming it. Existence of the threshold eigenfunction is an input to Theorem 3.1; for the helium case it is cited to the independent prior work [10], and the tightness argument in Appendix A is a standard bootstrap in which subcritical decay estimates imply strong convergence of a weakly convergent subsequence. The only self-citation is Ref. [8] for the tightness criterion; that is a general L2 compactness equivalence, not a helium-specific result, and it does not smuggle in the decay conclusion. No fitted parameter is renamed as a prediction, no known result is merely relabeled, and no load-bearing claim reduces to a self-citation. Possible mathematical issues in the proof as printed, such as the size of the exponent in Eq. (6), are correctness risks rather than circularity and are outside the scope of this pass.

Assumptions & free parameters 3 free parameters · 6 assumptions · 0 invented entities

The derivation relies on standard tools (IMS, comparison lemma, HVZ, tightness) and domain assumptions about the Coulomb potentials and the critical coupling. No new entities are introduced. The free parameters are technical proof parameters, not fitted to data; the theorem quantifies over them.

free parameters (3)

delta (sector parameter)
Partitions configuration space into the sector |x|0 ≥ δ|x|∞. The theorem holds for any δ in (0,1), so it is not fitted to data.
star (cutoff parameter)
Smoothing parameter in the cutoff function; appears in the exponent of F in Theorem 3.1. Arbitrary in (0,1).
K (decay coefficient outside the sector)
Coefficient in F outside the sector. Theorem holds for any 0<K<2.

assumptions (6)

standard math IMS localization formula
Used in Step 2 of the method and in the proofs of Lemma 2.2 and Section 3.1.2.
domain assumption Comparison lemma (Hoffmann-Ostenhof)
Used for the lower bounds; requires ψ > 0, ψ,ϕ ∈ C^0, and (-∆+W1)ϕ ≤ 0 ≤ (-∆+W2)ψ. Positivity of the ground state is standard but an assumption here.
domain assumption HVZ theorem and Bethe's bound for the critical coupling U_c
Used to assert σ_ess(H_U) = [-1/4,∞) and the existence of a critical U_c with 1 < U_c ≤ 2.
standard math Hardy-type inequality for the hydrogen Hamiltonian
Used implicitly in Lemma 3.5 to absorb the -1/|x|0 term into -1/4.
standard math Tightness theorem (Hundertmark-Lee)
Used in Appendix A to show strong convergence of eigenfunctions near threshold.
domain assumption Nucleus mass assumption M ≥ 1
In Appendix C, the kinetic-energy inequality requires the nucleus to be at least as heavy as an electron; this is stated but limits the finite-mass claim.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quantum Systems at The Brink: Helium-type systems." pith.science (2026). https://pith.science/paper/F3UODHBC

@misc{pith2026190804883,
  author       = {Pith},
  title        = {Pith review of: Quantum Systems at The Brink: Helium-type systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F3UODHBC}},
  note         = {Machine review of arXiv:1908.04883}
}

read the original abstract

In the present paper we study two challenging problems for helium-type systems. Existence of eigenvalues at thresholds and the asymptotic behavior of the corresponding eigenfunctions. Since the usual methods for addressing these problems need a safety distance to the essential spectrum, they cannot be applied in critical cases, when an eigenvalue enters the continuum. We develop a method to address both problems and derive sharp upper and lower bounds for the asymptotic behavior of the ground state of critical helium-type systems at the threshold of the essential spectrum. This is the first proof of the precise asymptotic behavior of the ground state for this benchmark problem in quantum chemistry. Moreover, our bounds describe precisely how the asymptotic decay of the ground state changes, when the system becomes critical. In addition, we show the existence of a ground state of this quantum critical system with a finite nuclear mass. Previously this had been known only in the Born-Oppenheimer approximation of infinite nuclear mass.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Why a System of Three Bosons on Separate Lines Can Not Exhibit the Confinement Induced Efimov Effect
math-ph 2024-11 accept novelty 7.0 of 10

Three bosons moving on two parallel lines and one line in a perpendicular plane have only finitely many bound states, so the predicted confinement-induced Efimov effect does not occur in this geometry.

Reference graph

Works this paper leans on

13 extracted references · 9 canonical work pages · cited by 1 Pith paper

[1]

29, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1982

Shmuel Agmon, Lectures on exponential decay of solutions of second- order elliptic equations: bounds on eigenfunctions of N-body Schrödinger operators, Mathematical Notes, vol. 29, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1982. MR 74 5286

1982
[2]

Aizenman and B

M. Aizenman and B. Simon, Brownian motion and Harnack inequality for Schrödinger operators , Comm. Pure Appl. Math. 35 (1982), no. 2, 209–273. MR 644024

work page 1982
[3]

11-12, 815–821

Hans Bethe, Berechnung der Elektronenaﬃnität des Wasserstoﬀs , Zeitschrift für Physik 57 (1929), no. 11-12, 815–821

work page 1929
[4]

IV, Comm

Percy Deift, Walter Hunziker, Barry Simon, and Egon Vock , Pointwise bounds on eigenfunctions and wave packets in N-body quantum systems. IV, Comm. Math. Phys. 64 (1978/79), no. 1, 1–34. MR 516993

work page 1978
[5]

Gridnev and Martin E

Dmitry K. Gridnev and Martin E. Garcia, Rigorous conditions for the existence of bound states at the threshold in the two-partic le case , J. Phys. A 40 (2007), no. 30, 9003–9016. MR 2344533

work page 2007
[6]

Maria Hoﬀmann-Ostenhof and Thomas Hoﬀmann-Ostenhof, Absence of anL2-eigenfunction at the bottom of the spectrum of the Hamilton ian of the hydrogen negative ion in the triplet S-sector, J. Phys. A 17 (1984), no. 17, 3321–3325. MR 771622

1984
[7]

Thomas Hoﬀmann-Ostenhof, A comparison theorem for diﬀerential in- equalities with applications in quantum mechanics , J. Phys. A 13 (1980), no. 2, 417–424. MR 558638

work page 1980
[8]

Nonlinear Sci

Dirk Hundertmark and Young-Ran Lee, On non-local variational prob- lems with lack of compactness related to non-linear optics , J. Nonlinear Sci. 22 (2012), no. 1, 1–38. MR 2878650

2012

Show all 13 references

[9]

Lieb, Bound on the maximum negative ionization of atoms and molecules , Phys

Elliott H. Lieb, Bound on the maximum negative ionization of atoms and molecules , Phys. Rev. A 29 (1984), 3018–3028

1984
[10]

Thomas Hoﬀmann-Ostenhof Maria Hoﬀmann-Ostenhof and B arry Si- mon, A multiparticle Coulomb system with bound state at threshol d, J. Phys. A 16 (1983), no. 6, 1125–1131. MR 706689

1983
[11]

Stillinger Jr, Ground-state energy of two-electron atoms , The Journal of Chemical Physics 45 (1966), no

Frank H. Stillinger Jr, Ground-state energy of two-electron atoms , The Journal of Chemical Physics 45 (1966), no. 10, 3623–3631. 24

1966
[12]

schrödinger inequalities

Maria Hoﬀmann-Ostenhof Thomas Hoﬀmann-Ostenhof and R einhart Ahlrichs, "schrödinger inequalities" and asymptotic behavior of man y- electron densities, Phys. Rev. A 18 (1978), 328–334

1978
[13]

Zhislin, Discussion of the spectrum of schrödinger operators for systems of many particles , Trudy Moskovskogo matematiceskogo ob- scestva 9 (1960), 81–120

Grigorii M. Zhislin, Discussion of the spectrum of schrödinger operators for systems of many particles , Trudy Moskovskogo matematiceskogo ob- scestva 9 (1960), 81–120. 25

1960

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

29, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1982

Shmuel Agmon, Lectures on exponential decay of solutions of second- order elliptic equations: bounds on eigenfunctions of N-body Schrödinger operators, Mathematical Notes, vol. 29, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1982. MR 74 5286

1982

[2] [2]

Aizenman and B

M. Aizenman and B. Simon, Brownian motion and Harnack inequality for Schrödinger operators , Comm. Pure Appl. Math. 35 (1982), no. 2, 209–273. MR 644024

work page 1982

[3] [3]

11-12, 815–821

Hans Bethe, Berechnung der Elektronenaﬃnität des Wasserstoﬀs , Zeitschrift für Physik 57 (1929), no. 11-12, 815–821

work page 1929

[4] [4]

IV, Comm

Percy Deift, Walter Hunziker, Barry Simon, and Egon Vock , Pointwise bounds on eigenfunctions and wave packets in N-body quantum systems. IV, Comm. Math. Phys. 64 (1978/79), no. 1, 1–34. MR 516993

work page 1978

[5] [5]

Gridnev and Martin E

Dmitry K. Gridnev and Martin E. Garcia, Rigorous conditions for the existence of bound states at the threshold in the two-partic le case , J. Phys. A 40 (2007), no. 30, 9003–9016. MR 2344533

work page 2007

[6] [6]

Maria Hoﬀmann-Ostenhof and Thomas Hoﬀmann-Ostenhof, Absence of anL2-eigenfunction at the bottom of the spectrum of the Hamilton ian of the hydrogen negative ion in the triplet S-sector, J. Phys. A 17 (1984), no. 17, 3321–3325. MR 771622

1984

[7] [7]

Thomas Hoﬀmann-Ostenhof, A comparison theorem for diﬀerential in- equalities with applications in quantum mechanics , J. Phys. A 13 (1980), no. 2, 417–424. MR 558638

work page 1980

[8] [8]

Nonlinear Sci

Dirk Hundertmark and Young-Ran Lee, On non-local variational prob- lems with lack of compactness related to non-linear optics , J. Nonlinear Sci. 22 (2012), no. 1, 1–38. MR 2878650

2012