{"id":"a95441cf-3c78-4c9c-b444-fe875908a30a","arxiv_id":"1908.07385","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The envelope theory reproduces binding energies within 5 to 40 percent for two 1D many-body models, with accuracy improving for large particle numbers and smooth potentials.","lead":"The authors test the envelope theory, a simple approximation for many-body quantum systems, on two one-dimensional models: fermions with Calogero interactions and up to 100 bosons with a Gaussian potential. The approximation gives analytic bounds whose accuracy depends strongly on the model parameters, and it fails for some parameter ranges.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the suspected failing envelope inequality for the Gaussian case actually holds, so Eq. (14) is a certified upper bound where a real solution exists.","rationale":"The paper's central claim is supported: the ET bounds follow from Hall's theorem, and the required pointwise inequalities hold for both test systems. The reader's weakest assumption is not a genuine weakness: for the Gaussian potential, the tangent quadratic is an upper envelope by convexity of e^{-t}; for the Calogero potential, the tangent quadratic is a lower envelope by the square-difference identity. The only real limitation is that no real tangent point exists for small N or small a (Lambert-W argument below -1/e), so no ET estimate is produced; the paper explicitly states this. When two real branches exist, the W0 branch gives the useful negative upper bound. Therefore the ACCEPT verdict need not change.","tokens_in":3822,"tokens_out":28926,"duration_ms":275437,"concrete_test":"For a value with a real solution, e.g. N=100, a=1.0, compute u from u=-2 W0(Y) with Y from Eq. (14), then evaluate tilde V(x)-V(x)=V_g(e^{-x^2/a^2} - e^{-u}(1+u - x^2/a^2)) on a dense grid x in [0,10a]; if any negative value appears, the upper-bound status fails; otherwise Eq. (14) stands as a certified bound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The reader flagged the unverified envelope inequalities as the weakest assumption; an explicit check shows they are satisfied. For V(x)=-V_g e^{-x^2/a^2}, the tangent envelope at y (with u=y^2/a^2>0) has c_1=(V_g/a^2)e^{-u} and c_2=-V_g e^{-u}(1+u), so tilde V(x)-V(x)=V_g[e^{-x^2/a^2}-e^{-u}(1+u-x^2/a^2)], which is nonnegative for all x because e^{-t} is convex and the second term is its tangent line at u. Thus tilde V >= V, and tilde T = T, so the Section I theorem certifies Eq. (14) as an upper bound wherever the Lambert-W solution is real. For the Calogero potential, V(x)-tilde V(x) = (g/y^2)(t-1)^2/t >= 0 with t=x^2/y^2, so tilde V <= V and the lower-bound condition holds. The complex or positive 'irrelevant values' for small N or small a are a real-branch issue of the Lambert equation, not a failure of the envelope inequalities, and the paper explicitly acknowledges them. No load-bearing flaw was found.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript reports tests of the envelope theory (ET) for identical particles in one spatial dimension. It treats two systems: the Calogero model with linear plus inverse-cube pair potentials, for which an exact fermionic ground state is known, and a Gaussian pair potential for up to N=100 bosons, for which accurate Lagrange-mesh results from Ref. [11] are available. The authors derive the ET approximations (Eqs. 10 and 14), compare them with the reference results (Figs. 1-2 and Table I), and conclude that good bounds can be obtained for a parameter-dependent range, while acknowledging the limitations of the method.","tokens_in":981,"tokens_out":1266,"duration_ms":137700,"significance":"If the bounds are valid, the paper provides a useful extension of ET to D=1, where previous applications were mostly in D>=3. Its strengths are the use of external benchmarks (exact Calogero solution and independent Lagrange-mesh calculations), fully analytic formulas, and an honest discussion of the parameter regimes in which the bounds are reliable. The central claim is moderate but sound: ET gives quick, certified approximate energies for many-body systems in simple cases. The paper is reproducible and self-contained modulo the cited theorems.","major_comments":[],"minor_comments":[{"comment":"The upper-bound property of Eq. (14) relies on the pointwise envelope condition tilde V(x) >= V(x) for the Gaussian potential, but the manuscript does not verify this condition. I checked it: with u = x0^2/a^2, the tangent envelope gives tilde V(x) - V(x) = Vg[exp(-x^2/a^2) - exp(-u)(1+u-x^2/a^2)] >= 0 by convexity of exp(-t). Please include this short derivation or an explicit reference so that the bound is certified within the paper.","section":"Section I / Section III (Eq. 14)"},{"comment":"The statement that E_ex^2 > E_ET^2 is only described as 'easily checked'. Since the lower-bound character is a central result, please include the algebraic comparison or a footnote with the explicit expansion, so that the reader does not have to reproduce the algebra.","section":"Section II (Eqs. 9-10)"},{"comment":"The 'irrelevant values' (complex or positive energies) that occur for small N or small a are acknowledged but not characterized precisely. Please specify the parameter range in which the Lambert-W branch W0 gives a real, negative energy, and state explicitly when Eq. (14) ceases to provide a valid upper bound.","section":"Section III / Table I"},{"comment":"The introduction says the method was previously developed for D > 2 dimensions. Please state explicitly that the D=1 formulas follow from Refs. [4,6] and summarize any changes in the definitions of x, p, and Q, since this is the first D=1 application.","section":"Section I"},{"comment":"The typeset formulas are ambiguous due to missing parentheses. Please rewrite them with clear brackets, e.g., using explicit fraction layout, so that the reader can unambiguously parse the expressions.","section":"Eqs. (9) and (10)"}],"recommendation":"minor_revision","confidential_remarks":"This is a modest but sound validation paper. The missing explicit verification of the envelope inequalities should be added in revision; once that is done, it is publishable. The self-citations are appropriate and not excessive. No concerns about novelty or scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Hey —\n\nThe thing to know: this is a modest, honest test of an existing approximation method, not a breakthrough. The authors take the envelope theory, which they helped develop, and check it against two exactly/numerically solvable one-dimensional N-body systems. The new bits are the Calogero lower-bound formula (Eq. 10) and the application of their earlier Gaussian upper bound (Eq. 14) up to N=100. The comparisons are clean.\n\nWhat's good: the math is straightforward and the bound property for Calogero is shown algebraically (E_ex^2 > E_ET^2). For the Gaussian case, they compare against independent Lagrange-mesh results from Timofeyuk and Baye, and the error table is honest. The paper even flags parameter regions where the method returns complex or positive 'irrelevant' energies—good scientific hygiene. No fitted parameters, no circularity. The self-citations are to the method's foundations, which is appropriate.\n\nWhere it's soft: the one thing a skeptical reader might trip on is that the paper asserts the pointwise envelope inequalities (Section I) justify the bounds, but never verifies them explicitly for the Gaussian potential at the parameter values used. I checked, and the inequalities do hold—the tangent envelope lies above V(x) because e^{-t} is convex, so Eq. (14) is a legit upper bound wherever the Lambert branch is real. The Calogero side is even easier. So this is a presentation gap, not a flaw. The 'irrelevant values' are a real-branch issue of the Lambert equation, and the authors acknowledge it.\n\nWho it's for: envelope-theory practitioners and people doing few-body numerics who want a sanity check. It's not going to change the field, but it's a clean, useful calibration of a method that is indeed very simple to implement.\n\nOn peer review: yes, send it out. It deserves a serious referee—short, verifiable, and honest. I wouldn't cite it unless I was working on this exact method, but it's a legitimate contribution.","headline":"A clean, honest test of the envelope theory in 1D; the bounds hold up, and the only real weakness is a missing explicit verification of the envelope inequalities, which are actually satisfied.","tokens_in":4585,"tokens_out":1990,"would_cite":false,"duration_ms":19907,"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":"The envelope theory yields simple analytical bounds for one-dimensional many-body ground states, with accuracy set by interaction range and particle number.","keywords":["envelope theory","one-dimensional many-body systems","Calogero model","Gaussian potential","ground-state energy bounds","identical particles","Lagrange-mesh method","Lambert W function"],"falsifier":"Take the Gaussian-boson system at a parameter set where (14) returns a real finite value, compute the ground-state energy independently on a fine grid or with the Lagrange-mesh method of [12], and test whether $E_{\\mathrm{ET}} < E_{\\mathrm{LM}}$; one such violation would disprove the claimed upper-bound character, while a direct check of $\\tilde{V}(x)-V(x)\\ge 0$ and $\\tilde{T}(p)-T(p)\\ge 0$ at the optimal envelope parameters would show whether the theorem's precondition actually holds.","tokens_in":3638,"feed_emoji":"📐","tokens_out":8497,"duration_ms":76112,"temperature":0.7,"pith_summary":"This paper tests whether the envelope theory—replace each kinetic term and pairwise potential by a tangent quadratic, solve the resulting harmonic-oscillator problem, then optimize—can provide trustworthy ground-state energies for one-dimensional systems of identical particles. For the Calogero model of N fermions with linear plus inverse-cube forces, it establishes a rigorous lower bound from a closed formula. For up to 100 bosons interacting through a Gaussian potential, it obtains an analytical upper bound whose relative error decreases as the particle number or the potential range increases. The practical payoff is that a few algebraic equations can bracket exact or accurately computed energies in regimes where direct numerical work is heavy.","feed_headline":"Envelope theory gives simple bounds for 1D many-body ground states","feed_subtitle":"Calogero and Gaussian tests show analytic bounds whose errors shrink as N or the interaction range grows.","key_machinery":"The load-bearing object is the envelope pair: a quadratic $\\tilde{V}(x)=c_1 x^2+c_2$ tangent to the true potential $V$ at at least one point, and a quadratic $\\tilde{T}(p)=d_1 p^2+d_2$ tangent to the kinetic term $T$. Replacing $H$ by $\\tilde{H}$ makes the $N$-body problem exactly solvable, and optimizing the tangency parameters yields equations (5)–(7) together with $x_0 p_0 = Q$, where $Q$ takes the bosonic or fermionic ground-state value. The resulting energies are rigorous bounds whenever the two quadratics stay on one side of the true curves for all $x$ and $p$; this pointwise comparison is what turns a variational estimate into a theorem. For the Gaussian potential the optimized formula is closed in terms of the Lambert $W$ function.","core_discovery":"The central claim is that in one dimension the envelope equations (5)–(7) produce quantitative bounds, not just estimates. For fermionic Calogero ground states, the envelope energy $E_{\\mathrm{ET}}$ is always below the exact energy $E_{\\mathrm{ex}}$ ($E_{\\mathrm{ET}}^2 < E_{\\mathrm{ex}}^2$), coincides with $E_{\\mathrm{ex}}$ at zero inverse-cube coupling, and its relative error saturates at the value (12) as $N$ grows. For bosons in a Gaussian well, the envelope energy (14), expressed with the principal Lambert $W$ branch, lies above the accurate Lagrange-mesh energies when the potential is not too singular, and the comparison in Table I shows the error falling from about 0.41 at $(N,a)=(20,1.0)$ to about 0.054 at $(100,1.0)$. The paper also notes that for small $N$ or small range the method can return complex or positive energies, in which case no bound exists.","pith_inferences":["A dimensionless measure of short-distance steepness, such as $a|V'(0)|/|V(0)|$, could predict when the Gaussian bound will be reliable; the paper only documents the trend without proposing such a predictor.","In one dimension the absence of angular momentum blocks the quantum-number improvement available in $D\\ge 2$, so these results expose the baseline envelope construction rather than an optimized variant.","Extracting the large-$N$ asymptotic form of the Lambert-$W$ expression (14) could give closed-form estimates for many-boson systems beyond the $N=100$ benchmark considered here."],"forward_implications":["For the Calogero model, the envelope lower bound is exact at $g'=0$ and remains accurate for $g'<1$, with the limiting relative error given by (12).","For Gaussian bosons, the upper bound's relative error falls with both $N$ and the range $a$, from 0.41 at $(N,a)=(20,1.0)$ to 0.054 at $(100,1.0)$.","The closed-form envelope energies can serve as a quick independent check on accurate numerical methods for one-dimensional many-body systems.","In parameter regions where complex or positive energies appear, the method simply supplies no relevant bound, so the variational character is not universal."],"supporting_citations":[{"why":"Introduces the method of potential envelopes for the N-boson problem, the foundation of the envelope theory.","marker":"[1]"},{"why":"Supplies the theorem that pointwise envelope inequalities turn the optimized eigenvalue into a rigorous upper or lower bound.","marker":"[2]"},{"why":"Gives the general equations (5)-(7) for approximate N-body solutions with identical particles in D dimensions, specialized here to D=1.","marker":"[4]"},{"why":"Earlier numerical tests of the envelope theory for few-boson systems in three dimensions, whose observation of irrelevant energies for small N is confirmed.","marker":"[7]"},{"why":"Provides the ground-state global quantum number for fermions used to set Q=Q0^F.","marker":"[9]"},{"why":"Calogero's exact ground-state energy for the 1D N-body model is the benchmark against which the lower bound is tested.","marker":"[10]"},{"why":"Supplies the accurate Lagrange-mesh bosonic ground energies for the Gaussian potential used as the upper-bound benchmark.","marker":"[11]"},{"why":"Describes the Lagrange-mesh method on which the benchmark results of [11] rest.","marker":"[12]"},{"why":"Defines the Lambert W function used to write the Gaussian upper bound (14) in closed form.","marker":"[13]"}],"fun_headline_variants":["Envelope theory bounds 1D many-body ground states","Simple 1D bounds from envelope theory","Envelope theory: bounds for Calogero and Gaussian 1D","1D envelope bounds improve with N or range","Envelope theory gives approximate bounds for 1D systems"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the bounding theorem of the envelope method—pointwise inequalities $\\tilde{V}(x)\\ge V(x)$ and $\\tilde{T}(p)\\ge T(p)$ give an upper bound, and reversed inequalities a lower bound—holds for these one-dimensional systems; for the Gaussian potential the paper does not verify those inequalities explicitly at the adopted parameter values, and the appearance of complex or positive energies shows the preconditions are not automatic.","fun_headline_variants_meta":{"raw":{"variants":["Envelope theory bounds 1D many-body ground states","Simple 1D bounds from envelope theory","Envelope theory: bounds for Calogero and Gaussian 1D","1D envelope bounds improve with N or range","Envelope theory gives approximate bounds for 1D systems"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000422,"raw_usage":{"total_tokens":2110,"prompt_tokens":829,"completion_tokens":1281,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":445,"completion_tokens_details":{"reasoning_tokens":1202}},"tokens_in":445,"tokens_out":1281,"duration_ms":13249,"temperature":1.0,"reasoning_tokens":1202,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:36:29.998187+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the Gaussian-boson system at a parameter set where (14) returns a real finite value, compute the ground-state energy independently on a fine grid or with the Lagrange-mesh method of [12], and test whether $E_{\\mathrm{ET}} < E_{\\mathrm{LM}}$; one such violation would disprove the claimed upper-bound character, while a direct check of $\\tilde{V}(x)-V(x)\\ge 0$ and $\\tilde{T}(p)-T(p)\\ge 0$ at the optimal envelope parameters would show whether the theorem's precondition actually holds.","supporting_citations":[{"cited_title":"Hall, Energy trajectories for the N -boson problem by the method of potential envelopes","cited_arxiv_id":null,"evidence_quote":"Introduces the method of potential envelopes for the N-boson problem, the foundation of the envelope theory."},{"cited_title":"Hall, A geometrical theory of energy trajectories i n quantum mechanics","cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that pointwise envelope inequalities turn the optimized eigenvalue into a rigorous upper or lower bound."},{"cited_title":"Semay and C","cited_arxiv_id":null,"evidence_quote":"Gives the general equations (5)-(7) for approximate N-body solutions with identical particles in D dimensions, specialized here to D=1."},{"cited_title":"Semay, Numerical Tests of the Envelope Theory for Few- Boson Systems","cited_arxiv_id":null,"evidence_quote":"Earlier numerical tests of the envelope theory for few-boson systems in three dimensions, whose observation of irrelevant energies for small N is confirmed."},{"cited_title":"L´ evy-Leblond, Generalized uncertainty relations for many-fermion system","cited_arxiv_id":null,"evidence_quote":"Provides the ground-state global quantum number for fermions used to set Q=Q0^F."},{"cited_title":"Calogero, Ground State of a One-Dimensional N -Body System","cited_arxiv_id":null,"evidence_quote":"Calogero's exact ground-state energy for the 1D N-body model is the benchmark against which the lower bound is tested."},{"cited_title":"Timofeyuk and D","cited_arxiv_id":null,"evidence_quote":"Supplies the accurate Lagrange-mesh bosonic ground energies for the Gaussian potential used as the upper-bound benchmark."},{"cited_title":"Baye, The Lagrange-mesh method","cited_arxiv_id":null,"evidence_quote":"Describes the Lagrange-mesh method on which the benchmark results of [11] rest."},{"cited_title":"Corless, G.H","cited_arxiv_id":null,"evidence_quote":"Defines the Lambert W function used to write the Gaussian upper bound (14) in closed form."}],"review_version":1}