{"id":"9a22d515-52a8-41de-a305-528f65b4f1cc","arxiv_id":"2603.29750","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"A sufficient condition for the zero-overlap property of pseudostate discretizations is that the operator Q H P has a one-dimensional image; harmonic-oscillator and Laguerre bases satisfy it.","lead":"This paper gives a mathematical criterion that tells when a finite set of \"pseudostate\" basis functions can stand in for the continuous energy spectrum of a quantum Hamiltonian. It shows that if the leftover part of the Hamiltonian connects the basis to the outside world through just one function, then ionization probabilities computed with such bases are stable.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Appendix Eq. (A.4) contains an algebraic error that invalidates the printed derivation of the Coulomb residual; the one-dimensional QHP image claim for the Laguerre basis is not established as written.","rationale":"The reader's weakest-assumption analysis correctly identified the Appendix reduction as fragile, and my independent check shows it is not merely fragile but contains a concrete algebraic error. This is load-bearing because the Coulomb-Laguerre example is one of the two central demonstrations of the proposed criterion. However, the error appears to be a typo that does not necessarily change the final residual form; the numerical evidence in Fig. 3 and the structural argument about polynomial degrees suggest the one-dimensionality may still hold. The non-degeneracy caveat is real but secondary, since in the degenerate case the zero-overlap condition is not clearly violated. Therefore the appropriate verdict remains CONDITIONAL pending correction and verification, which is the reader's verdict; my stress-test does not move it.","tokens_in":9657,"tokens_out":28144,"duration_ms":251574,"concrete_test":"Correct Eq. (A.4)'s second-term coefficient from (k+l−2)/λ_l to (k+l)−2/λ_l and re-derive Eqs. (A.5)–(A.13); verify the residual remains α_kl x_l^l L_N^{2l+1} e^{-x_l/2}. Independently, for l=0, N_l=2, λ=2, compute H ζ_k for k=1,2 numerically, project out the two basis functions, and check both residuals are proportional to L_2^1(x)e^{-x/2}. If the check fails, the Coulomb zero-overlap proof collapses; if it passes, the paper needs only a typo correction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the Appendix, Eq. (A.4) is the linchpin for showing that QHP has one-dimensional image for the Laguerre basis. It is wrong. For l=0, k=1, the radial Hamiltonian acting on ζ_{1,0}=N x e^{-x/2} gives, by direct differentiation, H ζ = N e^{-x/2}(λ^2/2 − λ − λ^2 x/8). Equation (A.4) with the printed coefficient (k+l−2)/λ_l = −1/λ yields N e^{-x/2}(−λ/2 − λ^2 x/8), missing λ(λ−1)/2 e^{-x/2}. The correct coefficient in the second term is (k+l) − 2/λ_l, not (k+l−2)/λ_l. Since Eq. (A.4) is used to derive the residual function (35), the proof that the residual is a single function x_l^l L_N^{2l+1} e^{-x_l/2} for every k is not valid as printed. The structural conclusion may survive (numerics in Fig. 3 hint it does), but the manuscript's central demonstration for the Coulomb case is unsupported until the algebra is corrected. Secondary caveat: the Sec. II sufficiency proof assumes non-degenerate PHP eigenvalues, a condition omitted from the abstract's blanket statement.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a sufficient condition for the zero-overlap phenomenon observed for pseudostate discretizations of continuous spectra: if the image space of Q H P, with P the projector onto the finite L2 basis and Q=1-P, is one-dimensional, then each pseudostate's overlap with exact continuum eigenstates has zeros at all other pseudostate energies. This is derived from Feshbach projections in Sec. II, illustrated for the 1D free particle in a harmonic-oscillator basis in Sec. III, and applied to the Coulomb problem in a Laguerre basis in Sec. IV, with the algebraic reduction in an Appendix. The paper also connects the condition to asymptotic stability of time-dependent ionization probabilities via Ref. [15]. The abstract additionally promises an example with 'a minimal set of simple momentum-space wave functions' that does not appear in the body.","tokens_in":9992,"tokens_out":17858,"duration_ms":150260,"significance":"If the result holds, it provides a unified, parameter-free explanation of a property that was previously proved only for Laguerre bases by special-function identities. The Feshbach-based criterion is simple and potentially useful for assessing and designing basis sets for coupled-channel ionization calculations. The derivation in Sec. II is clean, self-contained, and does not rely on fitted parameters. However, the Coulomb demonstration rests on an algebraic reduction in the Appendix that contains an error as printed, so the paper cannot be accepted in its present form. The structural conclusion is likely salvageable after a corrected calculation, and the non-degeneracy caveat also needs explicit treatment.","major_comments":[{"comment":"The printed coefficient in the second term of Eq. (A.4) is incorrect. For l=0, k=1, direct differentiation of ζ=N x e^{-x/2} gives H ζ = N e^{-x/2}(λ²/2 − λ − λ² x/8), whereas Eq. (A.4) with coefficient (k+l−2)/λ_l = −1/λ gives N e^{-x/2}(−λ/2 − λ² x/8). The correct coefficient is (k+l) − 2/λ_l, not (k+l−2)/λ_l. Since Eq. (A.4) is used to derive the residual (35) and the coefficient α_kl in Eq. (A.13), the proof that Q H P has one-dimensional image for the Laguerre basis is invalid as printed. The conclusion may survive after correction (the residual remains proportional to x_l^l L_N^{2l+1} e^{-x_l/2} with a modified coefficient), but the algebra must be redone and the revised α_kl stated explicitly.","section":"Appendix, Eq. (A.4)"},{"comment":"The sufficiency argument explicitly assumes non-degeneracy of the PHP eigenvalues ('Assuming non-degeneracy...'), but this hypothesis is omitted from the abstract's blanket claim that the one-dimensionality of the Q H P image is a sufficient condition for the zero-overlap condition for any Hermitian Hamiltonian. If two pseudostate eigenvalues coincide, Eq. (8) can be satisfied at the degenerate energy without forcing the zero-overlap condition for all other eigenvectors. The paper should either add the non-degeneracy assumption to the statement of the criterion or provide a precise treatment of the degenerate case, e.g., by redefining the zero-overlap condition modulo degenerate pseudostate manifolds.","section":"Sec. II, Eq. (8) and Abstract"}],"minor_comments":[{"comment":"The abstract promises that the condition is shown for 'a minimal set of simple momentum-space wave functions,' but no such example appears anywhere in the body. Either provide this example or remove the phrase.","section":"Abstract and Sec. III"},{"comment":"Typo: 'ovservation' should be 'observation' in the first paragraph of the Conclusions.","section":"Sec. V"},{"comment":"The caption says eight eigenfunctions are included but only seven are visible; the text explains this, but the caption could be clearer that one eigenvalue lies outside the plotted κ range.","section":"Sec. IV, Fig. 3 caption"},{"comment":"The notation χ^Q(κ) is introduced as a single residual function, but the relation to the state-specific constants α_ℓ in Eq. (13) is not fully transparent; a sentence clarifying that Eq. (13) holds for each ℓ with a common χ^Q(κ) would help.","section":"Eq. (12)-(13)"}],"recommendation":"major_revision","confidential_remarks":"The Appendix error is concrete but appears fixable; I verified that replacing the coefficient by (k+l)−2/λ_l restores the direct differentiation check and still yields a residual of the form x^l L_N^{2l+1} e^{-x/2}, so the central Coulomb result is likely correct after a corrected derivation. The non-degeneracy caveat is also easily addressed by stating the hypothesis explicitly. The missing momentum-space example in the abstract is a presentation issue. I do not see grounds for rejection, but the printed proof is not yet valid."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The general criterion in Sec. II is the valuable core. It reduces the zero-overlap condition to one-dimensionality of the image of QHP, and it is derived cleanly from the Feshbach equations with no fitted parameters. The harmonic-oscillator free-particle example is nice and actually worked out. That part should survive.\n\nWhat is new: the criterion generalizes the Laguerre-specific proof of Abdurakhmanov et al. to arbitrary L2 bases, and the HO example is genuinely new. The paper earns credit for isolating why Laguerre bases behave so well.\n\nNow the soft spots. First, the abstract says a \"minimal set of simple momentum-space wave functions\" is shown to satisfy the condition, but that example never appears in the body. That is an overclaim and should be removed or the example added.\n\nSecond, and more serious: the Appendix derivation of the Laguerre residual contains an algebra error. Take l=0, k=1. Direct differentiation gives H ζ = N e^{-x/2}(λ²/2 − λ − λ²x/8). Equation (A.4) with the printed coefficient (k+l−2)/λ gives N e^{-x/2}(−λ/2 − λ²x/8), missing λ(λ−1)/2 e^{-x/2}. The correct coefficient is (k+l) − 2/λ, not (k+l−2)/λ. Since Eq. (A.4) is the linchpin for the claim that QHP has one-dimensional image for Laguerre bases, the proof as printed does not establish that result. The numerics in Fig. 3 suggest the conclusion still holds, and the error looks fixable, but as written the central Coulomb demonstration is unsupported.\n\nThird, the theorem in Sec. II assumes non-degenerate PHP eigenvalues. The abstract says \"any Hermitian Hamiltonian,\" which is too broad. If two pseudostate eigenvalues coincide, Eq. (8) can be satisfied without zero-overlap. This is a scope limitation, not a fatal flaw, but the statement should be qualified.\n\nBottom line: the general criterion is a solid, useful contribution and belongs in the literature once the Appendix is corrected, the abstract trimmed, and the non-degeneracy assumption stated. The paper deserves serious peer review, but I would recommend the referee ask for a corrected Appendix before acceptance.","headline":"Useful general criterion, but the Coulomb/Laguerre proof has an algebra error in Eq. (A.4) and the abstract overclaims a missing example.","tokens_in":10490,"tokens_out":3130,"would_cite":true,"duration_ms":28737,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a one-dimensional image space for the Feshbach coupling operator QHP is a sufficient condition for the zero-overlap condition, giving pseudostates whose projections onto true continuum states vanish at all other pseud","keywords":["zero-overlap condition","pseudostates","Feshbach projection","continuous spectrum","Laguerre basis","L2 discretization","ionization probabilities","residual function"],"falsifier":"Construct or find a Hermitian Hamiltonian and a finite L2 basis for which the image of QHP is one-dimensional but two eigenvalues of PHP are exactly degenerate, then compute the overlaps ⟨φ_ℓ'|κ⟩ at the degenerate energy; if any is nonzero, the sufficiency claim as stated fails. Alternatively, numerically evaluate Λ(κ) from Eq. (14) for the harmonic oscillator basis with the ground state removed (a multi-dimensional image case) and confirm it has no zeros, which would support the necessity of the one-dimensional condition.","tokens_in":9537,"feed_emoji":"⚛️","tokens_out":4184,"duration_ms":45544,"temperature":0.7,"pith_summary":"The paper establishes a general criterion for when a finite square-integrable basis, after diagonalization of a Hamiltonian with continuous spectrum, yields pseudostates that 'decouple' from the true continuum at each other's energies. The criterion is that the operator QHP, which couples the basis subspace to its complement, have a one-dimensional image space: then a single residual function encodes all pseudostate eigenvalues as its zeros, and the zero-overlap condition follows automatically. The authors verify the criterion for the 1D free particle in a harmonic oscillator basis and for the Coulomb problem in a Laguerre basis, providing an alternative proof of a phenomenon observed in earlier ionization calculations. If the criterion holds, transition probabilities obtained by projecting a time-propagated pseudostate wavefunction onto exact continuum eigenstates are asymptotically stable—an essential property for reliable ionization and scattering simulations.","feed_headline":"Zero-overlap is forced when QHP image is one-dimensional","feed_subtitle":"One operator condition gives exact pseudostate zeros and stabilizes ionization probabilities in L2 basis calculations.","key_machinery":"Feshbach projection operators P (onto the finite L2 basis) and Q = 1 − P, together with the coupling operator QHP and its image space. When that image is one-dimensional, all information about the coupling is contained in one residual function χ^Q(κ) = ⟨κ|QHP|φ_ℓ⟩, whose zeros locate the matrix eigenvalues and force the zero-overlap condition; the squared norm Λ(κ) offers a direct numerical test of whether the condition holds.","core_discovery":"For a Hermitian Hamiltonian with a (partially) continuous spectrum, if the image space of QHP is one-dimensional, then the pseudo-continuum eigenvalues of PHP coincide exactly with the zeros of a single residual function χ^Q(κ), and each pseudostate |φ_ℓ⟩ satisfies ⟨φ_ℓ'|κ⟩ = 0 at all other pseudostate energies ε_ℓ' ≠ ε_ℓ. This zero-overlap condition is sufficient for the asymptotic stability of projected transition probabilities in time-dependent calculations, and the paper demonstrates it explicitly for the harmonic-oscillator-basis free particle and the Laguerre-basis Coulomb problem.","pith_inferences":["The criterion may explain why well-designed bases like Gaussian or Slater orbitals sometimes show near-zero-overlap behavior: if their QHP image is nearly one-dimensional, approximate stability follows, and Λ(κ) near zero could quantify the error.","The zero-overlap structure might be linked to a quadrature rule in energy space, where the zeros of the residual function define an effective grid for continuum integrals; this could inspire new basis construction strategies.","Since the Appendix notes the same residual structure for the free-particle Coulomb analog, the criterion may extend to any potential with similar radial polynomial form, e.g., a/r^2 + b/r with general coefficients.","The asymptotic-stability result from Ref. [15] likely carries over to other observables computed by projection onto continuum eigenstates, such as photoelectron spectra or autoionization widths."],"forward_implications":["Any basis satisfying the one-dimensional QHP image criterion automatically yields exact zeros at all other pseudostate energies, removing a source of spurious channel coupling in coupled-channel ionization calculations.","The criterion provides a practical diagnostic: compute Λ(κ) for a candidate basis and check for zeros; if found, the basis is 'effectively decoupled' from the continuum.","The Laguerre-basis Coulomb result is explained without invoking special properties of Laguerre functions, making the phenomenon more general than previously thought.","The free-particle harmonic-oscillator example shows the criterion is not restricted to Coulomb potentials, suggesting it may apply to other L2 bases and Hamiltonians.","Removing a basis state generically makes the QHP image multi-dimensional and destroys exact zeros, as demonstrated by the oscillator-minus-ground-state counterexample."],"fun_headline_variants":["One-dimensional QHP image gives zero-overlap","Zero-overlap proven for Coulomb and free particle","Pseudostate zeros from a single operator dimension","Stable ionization from one-dimensional QHP","Sufficient criterion for pseudostate zero-overlap"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The sufficiency proof assumes that the pseudostate eigenvalues of PHP are non-degenerate; if two coincide, the decoupling equation can be satisfied without the zero-overlap condition, so the theorem as stated (for 'any Hermitian Hamiltonian') does not cover that case.","fun_headline_variants_meta":{"raw":{"variants":["One-dimensional QHP image gives zero-overlap","Zero-overlap proven for Coulomb and free particle","Pseudostate zeros from a single operator dimension","Stable ionization from one-dimensional QHP","Sufficient criterion for pseudostate zero-overlap"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000154,"raw_usage":{"total_tokens":1105,"prompt_tokens":858,"completion_tokens":247,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":602,"completion_tokens_details":{"reasoning_tokens":176}},"tokens_in":602,"tokens_out":247,"duration_ms":2846,"temperature":1.0,"reasoning_tokens":176,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T17:01:07.793098+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct or find a Hermitian Hamiltonian and a finite L2 basis for which the image of QHP is one-dimensional but two eigenvalues of PHP are exactly degenerate, then compute the overlaps ⟨φ_ℓ'|κ⟩ at the degenerate energy; if any is nonzero, the sufficiency claim as stated fails. Alternatively, numerically evaluate Λ(κ) from Eq. (14) for the harmonic oscillator basis with the ground state removed (a multi-dimensional image case) and confirm it has no zeros, which would support the necessity of the one-dimensional condition.","supporting_citations":[],"review_version":1}