{"id":"5f65eeec-c7d6-432e-b526-ea18c3396299","arxiv_id":"1908.04883","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"At the critical coupling where the helium ground state reaches the continuum, the wavefunction decays at a rate proportional to the square root of the maximum electron distance, and a ground state exists even for finite nuclear mass.","lead":"A new mathematical proof shows how a helium atom's electron cloud fades away exactly when the atom loses its last stable state, decaying in a slow, stretched way rather than the usual sharp exponential. The result is the first rigorous description of this threshold behavior and also proves a ground state exists when the nucleus has finite mass.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.1 as printed uses a linear interior weight F=α|x|∞ with α>1/(2√2), making the A^(1) estimate in §3.1.2 negative at infinity; the statement needs the missing √|x|∞ to be supported by the proof.","rationale":"The reader's weakest_assumption was the existence of an L² eigenfunction at threshold and the sketched tightness/finite-mass argument. That is a real gap, but for the infinite-mass main theorem existence was previously known (ref. [10]), so the more immediately load-bearing problem is that Theorem 3.1 as typeset states an interior weight that the proof cannot produce. The interior branch F∝|x|∞ has |∇F|²>1/4, and the proof's key A^(1) coefficient contains `1/4 − 2|∇F|²`, so the positivity required to conclude the weighted L² bound fails in the dominant region. This is consistent with the reader's note of an 'apparent typo in the exponent definition', but the typo is not a side issue: it affects the statement of the central theorem. If corrected to √|x|∞, the upper-bound argument likely works as intended, and the other concerns (log-correction step, finite-mass sketch, lower bound being exponential) remain fixable; hence the manuscript should stay CONDITIONAL rather than be rejected. Our check isolates the printed formula from the proof so the correction can be verified against the source.","tokens_in":15104,"tokens_out":21742,"duration_ms":219464,"concrete_test":"Recompute the A^(1) positivity estimate in §3.1.2 with F exactly as printed in Eq. (6): for x in Aδ with |x1|=|x2|, evaluate |∇F|². If the first branch is linear with coefficient (1/4)√(1+π/(⋔δ)), then 2|∇F|²>1/4 for all ⋔,δ∈(0,1), so A^(1)→negative as |x|∞→∞ and the weighted L² bound fails. Then check the LaTeX source (or a corrected version) for a missing square root over |x|∞; if √|x|∞ was intended, update Eq. (6) and verify the interior estimate goes through with the displayed coefficient.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central decay theorem is not supported by its proof as printed. In Eq. (6), the first branch is F(x)= (1/4)√(1+π/(⋔δ)) |x|∞ on Aδ. This is a linear weight, so |∇F|² = (1/16)(1+π/(⋔δ)) there. In §3.1.2 the A^(1) coefficient has leading asymptotic 1/4 − 2|∇F|². Since π/(⋔δ)>π, one has 2|∇F|² > (1/8)(1+π) ≈ 0.518 > 1/4 for every allowed ⋔,δ∈(0,1). Hence A^(1)<0 for large |x|∞, and the proof's positivity step cannot yield the claimed e^Fψ∈L² bound. The abstract's exp(−C√|x|∞) and the second branch both indicate the intended first branch is √|x|∞, but as typeset the theorem asserts a linear rate that contradicts the method's own gradient condition. This is not merely cosmetic: Theorem 3.1's stated upper bound is unproved until the exponent is corrected. A secondary overclaim: Thm 3.7's lower bound is only exponential e^{−C|x|∞}, so the abstract's 'sharp upper and lower bounds' describing sqrt decay is not demonstrated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":15408,"tokens_out":13520,"duration_ms":134552,"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":[{"comment":"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.","section":"Appendix C and abstract"}],"minor_comments":[{"comment":"The citation to Lieb appears as 'Lieb [?]' in the paragraph before Eq. (5); the reference should be filled in, presumably Ref. [9].","section":"Section 3, references"},{"comment":"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.","section":"Throughout"},{"comment":"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":"Lemma 3.4 proof"},{"comment":"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).","section":"Section 3.1.2, Step 2"}],"recommendation":"major_revision","confidential_remarks":"The paper appears to be an early arXiv version with a mismatch between the stated Theorem 3.1 and the proof, an unsupported 'sharp' claim, and an incomplete appendix for the finite-mass existence result. The one-particle section is sound and the method is promising, so the issues seem fixable within the scope of a major revision rather than being grounds for rejection. I would ask the authors to correct the theorem statement, close or restate the logarithmic-correction gap, remove the unsupported sharpness and finite-mass claims, and provide a complete existence argument for the helium threshold eigenfunction if that claim is retained."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nBut 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.\n\nExistence 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.\n\nCitations 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.","headline":"Genuinely new threshold-decay method, but the helium theorem's printed exponent contradicts its own proof; fixable and worth refereeing.","tokens_in":15927,"tokens_out":6574,"would_cite":false,"duration_ms":66236,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81Q10","35B40","81V45"],"pacs":[],"model":"deepseek-v4-flash","headline":"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})$.","keywords":["Schr\\\"odinger operators","threshold eigenvalues","helium atom","decay rates","essential spectrum","bound states","IMS localization","comparison theorem"],"falsifier":"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.","tokens_in":14890,"feed_emoji":"⚛️","tokens_out":10976,"duration_ms":105197,"temperature":0.7,"pith_summary":"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.","feed_headline":"Helium's critical state decays slower than exponentially","feed_subtitle":"A gap-free method shows threshold bound states fall off as exp(-C sqrt(R)), not as true exponentials.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Provides the standard Agmon exponential-decay method that requires a spectral gap and thus cannot be used at the threshold.","marker":"[1]"},{"why":"Provides the two-electron calculation that locates the critical coupling region $1 < U_c \\le 2$ used to define the threshold.","marker":"[3]"},{"why":"Gives the threshold bound-state criteria for two-particle systems and the distinction between disappearing and persisting bound states.","marker":"[5]"},{"why":"Supplies the comparison theorem used to prove the lower decay bound for the positive critical ground state.","marker":"[7]"},{"why":"Provides the tightness criterion (weak convergence plus position and momentum decay) that upgrades weak limits to strong limits and yields existence at threshold.","marker":"[8]"},{"why":"Established existence of a bound state at the continuum threshold for a multiparticle Coulomb system, the existence input for helium at $U_c$.","marker":"[10]"},{"why":"Supplies the HVZ-type spectral result fixing the essential-spectrum threshold at $-1/4$, the energy in Theorem 3.1.","marker":"[13]"},{"why":"Supplies the Harnack inequality used in Appendix D to turn integral decay bounds into pointwise bounds for positive ground states.","marker":"[2]"}],"fun_headline_variants":["Helium's threshold decay: subexponential, first proof","Critical helium decays slower than exponential — proven","Helium's brink: subexponential decay proven","First proof: critical helium's subexponential decay","Helium at the brink: decay is subexponential, not exponential"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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).","fun_headline_variants_meta":{"raw":{"variants":["Helium's threshold decay: subexponential, first proof","Critical helium decays slower than exponential — proven","Helium's brink: subexponential decay proven","First proof: critical helium's subexponential decay","Helium at the brink: decay is subexponential, not exponential"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000301,"raw_usage":{"total_tokens":1723,"prompt_tokens":923,"completion_tokens":800,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":539,"completion_tokens_details":{"reasoning_tokens":720}},"tokens_in":539,"tokens_out":800,"duration_ms":7741,"temperature":1.0,"reasoning_tokens":720,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:30:17.436962+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"11-12, 815–821","cited_arxiv_id":null,"evidence_quote":"Provides the two-electron calculation that locates the critical coupling region $1 < U_c \\le 2$ used to define the threshold."},{"cited_title":"Gridnev and Martin E","cited_arxiv_id":null,"evidence_quote":"Gives the threshold bound-state criteria for two-particle systems and the distinction between disappearing and persisting bound states."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the comparison theorem used to prove the lower decay bound for the positive critical ground state."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Established existence of a bound state at the continuum threshold for a multiparticle Coulomb system, the existence input for helium at $U_c$."},{"cited_title":"Zhislin, Discussion of the spectrum of schrödinger operators for systems of many particles , Trudy Moskovskogo matematiceskogo ob- scestva 9 (1960), 81–120","cited_arxiv_id":null,"evidence_quote":"Supplies the HVZ-type spectral result fixing the essential-spectrum threshold at $-1/4$, the energy in Theorem 3.1."},{"cited_title":"Aizenman and B","cited_arxiv_id":null,"evidence_quote":"Supplies the Harnack inequality used in Appendix D to turn integral decay bounds into pointwise bounds for positive ground states."}],"review_version":1}