{"id":"1176a35c-0972-4713-8952-24d92529a5d0","arxiv_id":"2505.15976","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For dilute 3D two-species Bose gases with soft repulsive interactions, the energy density equals the mean-field term plus the Lee-Huang-Yang correction, with error smaller than the correction.","lead":"This paper proves a rigorous Lee-Huang-Yang type expansion for the energy density of a dilute mixture of two species of repulsive Bose gases in three dimensions, matching the physics formula for soft potentials. It is the first thermodynamic-limit derivation of the two-species LHY correction and also proves Bose-Einstein condensation in both components.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The strong δ_AB softness condition in (1.26) appears incompatible with the support bound (1.20) for any η>0, making the claimed LHY-constant regime vacuous.","rationale":"The reader identified the strong δ_AB condition (3.4)/(1.26) as the weakest assumption, which agrees with my focus. However, the reader treated it as a restrictive but honest technical assumption, whereas the superharmonicity argument indicates a quantitative incompatibility with the support-size condition (1.20): any admissible v_AB has δ_AB/\\bar a at least of order (ρ\\bar a^3)^η, while the lower-bound proof needs it to be at most of order (ρ\\bar a^3)^{4η+ν}. Since 4η+ν > η, the two bounds cannot both hold in the dilute limit. This makes the central advertised result — the rigorous derivation of the LHY coefficient for soft potentials — vacuous as stated. The paper still contains nontrivial valid pieces: the upper bound under the softer δ condition, the main-order lower bound for integrable potentials, and the BEC statement. But the headline claim of the abstract and Theorem 1.4 for η>0 would need either a non-empty admissible class of potentials or a relaxation of the lower-bound hypotheses. The concrete test above would definitively confirm the emptiness by checking the universal lower bound on δ_AB against (1.26).","tokens_in":56795,"tokens_out":26446,"duration_ms":219477,"concrete_test":"Settle the emptiness question analytically by verifying the chain δ_AB = ∫ v_AB ω_AB ≥ 8π a_AB^2/R_AB, using superharmonicity of ω_AB and the boundary value ω_AB = a_AB/R_AB. Then combine this with (1.20) and (1.18) to derive δ_AB/\\bar a ≥ c(ρ\\bar a^3)^η, and compare with the required δ_AB/\\bar a ≤ C(ρ\\bar a^3)^{4η+ν} for η>0, ν>0. As a numerical cross-check, take ε=ρ\\bar a^3=10^{-6}, η=1/2000, ν=1/10000 and compute the scattering length and δ for the family v_AB(x)=λR^{-3}v_1(|x|/R) over a dense grid of λ,R; the superharmonic bound predicts that δ_AB/\\bar a never drops below about cε^η ≈ C·10^{-3}, while the theorem requires ≤ C·10^{-(4η+ν)} ≈ C·10^{-0.003}, which is larger, so the test should show the constraint set is empty unless the exponent in (1.26) is corrected.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The lower bound for the LHY constant requires (1.26): δ_AB ≤ C\\bar a(ρ\\bar a^3)^{4η+ν} for η>0. I claim this condition cannot be satisfied together with Assumption 1.2. For the scattering solution of v_AB with support radius R_AB and scattering length a_AB, let ω_AB = 1−φ_AB. Since −Δω_AB = (1/2)g_AB ≥ 0, ω_AB is superharmonic; by Newton’s theorem φ_AB = 1−a_AB/|x| for |x| ≥ R_AB, so ω_AB = a_AB on ∂B_{R_AB}. Superharmonicity gives ω_AB ≥ a_AB/R_AB inside the support. Hence δ_AB = |\\hat v_AB(0)−\\hat g_AB(0)| = ∫ v_AB ω_AB ≥ (a_AB/R_AB)∫ v_AB ≥ 8π a_AB^2/R_AB, using ∫g_AB = 8πa_AB ≤ ∫v_AB. Combining R_AB ≤ R ≤ C_R\\bar a(ρ\\bar a^3)^{−η} with a_AB ≥ \\bar a/C_a from (1.18), we obtain δ_AB/\\bar a ≥ c(ρ\\bar a^3)^η. But (1.26) requires δ_AB/\\bar a ≤ C(ρ\\bar a^3)^{4η+ν} for η>0, and since 4η+ν > η, for sufficiently small ρ\\bar a^3 we have c(ρ\\bar a^3)^η > C(ρ\\bar a^3)^{4η+ν}. Thus no potential satisfying Assumption 1.2 can satisfy the δ_AB condition with η>0. The alleged example in Remark 1.6, v_AB = λv_R, also falls under this inequality, because a_AB ≈ λa_0 and δ_AB ≈ λ^2 a_0^2/R, so δ_AB/a_AB ≈ a_AB/R ≥ c(ρ\\bar a^3)^η. Consequently the η>0 case of Theorem 1.4 and the soft-potential case of Corollary 1.5 are vacuous: the correct LHY coefficient is not derived for any admissible potential. The only non-vacuous case is η=0, which gives only the main-order bound (1.35) and does not extract the LHY constant.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the ground state energy density of a dilute three-dimensional mixture of two species of repulsive bosons. It claims an upper and lower bound yielding an expansion of the form e3D(ρA, ρB) = 4π(ρA²aA + 2ρAρBaAB + ρB²aB) + ELHY + error, where ELHY is the two-species Lee-Huang-Yang correction. The main theorem, Theorem 1.4, states this expansion with error C(ρᾱ)^{5/2}(ρᾱ³)^η under Assumption 1.2 and the smallness conditions (1.26). For η = 0 only a main-order bound is obtained, while for η > 0 the paper claims to extract the correct LHY constant, with a separate corollary for soft potentials. The proof follows the recent strategy of Fournais et al.: a quasi-free upper bound with an explicit two-species Bogoliubov transformation, and a lower bound based on Neumann localization, renormalization of the potentials, c-number substitution, and control of cubic terms via spectral gaps and soft pairs. The paper also proves a Bose-Einstein condensation estimate and a Neumann localization lemma for mixtures.","tokens_in":57245,"tokens_out":10531,"duration_ms":86513,"significance":"If the main theorem were correct, this would be a major step: a rigorous derivation of the universal two-species Lee-Huang-Yang formula depending only on the three scattering lengths, extending the one-species results in [2,18,19,53]. The paper contains substantial and useful technical contributions: an explicit diagonalization of the two-species Bogoliubov Hamiltonian, a self-contained derivation of the Bogoliubov integral, a condensation estimate in the local boxes, and a Neumann localization argument for mixtures. The derivation is not circular: the LHY constant is obtained by evaluating an integral, not by fitting, and the one-species limit is recovered as a consistency check. However, the central claim for the soft-potential regime is undermined by an inconsistency in the assumptions: the stated condition on δAB for η > 0 cannot be satisfied by any potential satisfying the other assumptions. As a result, the regime in which the correct LHY constant is claimed is empty, and the only non-vacuous statement is the main-order bound of Corollary 1.5(1.35).","major_comments":[{"comment":"The soft-potential regime η > 0 of Theorem 1.4 is vacuous. Let ωAB = 1 − φAB be the scattering solution for vAB. Since −ΔωAB = gAB/2 ≥ 0, ωAB is superharmonic; by Newton's theorem ωAB = aAB/|x| for |x| ≥ RAB, so ωAB = aAB/RAB on ∂BRAB. The minimum principle for superharmonic functions gives ωAB ≥ aAB/RAB on supp vAB. Therefore δAB = ∫ vAB ωAB ≥ (aAB/RAB)∫ vAB ≥ 8π aAB²/RAB, using ∫gAB = 8πaAB ≤ ∫vAB. With RAB ≤ R ≤ CR ᾱ (ρᾱ³)^{-η} from (1.20) and aAB ≥ ᾱ/Ca from (1.18), we get δAB/ᾱ ≥ c (ρᾱ³)^η. But (1.26) for η > 0 requires δAB/ᾱ ≤ C (ρᾱ³)^{4η+ν}. Since 4η + ν > η, these inequalities contradict each other for sufficiently small ρᾱ³. Hence no potential satisfying Assumption 1.2 can satisfy (1.26) with η > 0. The proposed example in Remark 1.6, vAB = λvR with λ = (ρᾱ³)^{η+ν}, does not rescue the regime: for small λ one has aAB ≈ λaR, which violates (1.18) unless the intra-species potentials are scaled by the same λ, and in that case the universal lower bound above still gives δAB/ᾱ ≥ c(ρᾱ³)^η, incompatible with the stronger power (ρᾱ³)^{4η+ν}.","section":"§1.2, Eq. (1.26), with (1.18) and (1.20)"},{"comment":"The impossibility of (1.26) for η > 0 is exactly the condition used in the lower bound. Theorem 3.1 assumes Kℓ² Kz δAB ᾱ^{-1} ≤ (1000C)^{-1} for η ≠ 0, and Proposition 9.2 uses the same condition as (9.10). Substituting Kℓ = (ρᾱ³)^{-2η} and Kz = (ρᾱ³)^{-ν}, this is equivalent to δAB ≤ Cᾱ(ρᾱ³)^{4η+ν}, i.e. precisely the unsatisfiable part of (1.26). This condition is needed in the proof of Proposition 9.2 to control the negative quadratic term Eω appearing in (9.42)–(9.44); without it, the error cannot be absorbed into the spectral gap and the LHY constant cannot be extracted. Thus the lower-bound derivation of IAB has no admissible input in the η > 0 case.","section":"§3, Eq. (3.4), and §9, Eq. (9.10)"},{"comment":"In the only non-vacuous case η = 0, the claimed theorem does not actually extract the LHY constant. The error in (1.27) is C(ρᾱ)^{5/2}, while ELHY = (ρA²aA² + 2ρAρBaAB² + ρB²aB²)^{5/4} IAB is also of order (ρᾱ)^{5/2}. Consequently the error term is of the same order as the LHY correction, and Corollary 1.5(1.35) reduces to the main-order bound |e3D − 4π(...)| ≤ C(ρᾱ)^{5/2}, with no information on the coefficient of the (ρᾱ)^{5/2} term. The text acknowledges that “in this case ELHY is of the same order of the error term,” but this means the paper's central claim—the rigorous derivation of the two-species LHY constant—is only asserted in the empty η > 0 regime.","section":"§1.2, Corollary 1.5, and Theorem 1.4 for η = 0"}],"minor_comments":[{"comment":"The inequality (1.42) appears dimensionally inconsistent: the right-hand side Cρᾱ(ρᾱ³)^{2η+ν} has dimension length^{-2}, whereas δAB has dimension length. If the intended bound was Cᾱ(ρᾱ³)^{2η+ν}, the notation should be corrected; as written the displayed estimate cannot be right.","section":"§1.2, Remark 1.6, Eq. (1.42)"},{"comment":"There is a typo: “thermodyanic box” should be “thermodynamic box”.","section":"§2, just before Eq. (2.1)"},{"comment":"Reference [29] is listed as “Ground state energy of the dilute spin-polarized Fermi gas: Lower bound, 2024. ArXiv:2402.17558,” but the same arXiv number appears for reference [6] (Brooks et al.). Please verify the correct identifier.","section":"References, [29]"},{"comment":"In the display for L2^(0) there is an extra parenthesis: “ρB,0bvB(0))γBB_p” should presumably read “ρB,0bvB(0)γBB_p”.","section":"Lemma 2.3, Eq. (2.20)–(2.21)"}],"recommendation":"reject","confidential_remarks":"The paper is technically substantial and the upper-bound part, together with the Bogoliubov diagonalization and localization tools, may be salvageable. However, the central claim is vacuous as stated: for η > 0, condition (1.26) is incompatible with Assumption 1.2, so the soft-potential regime in which the LHY constant is claimed does not contain any admissible potential. This is not a minor gap or a presentation issue; it is a load-bearing inconsistency in the main theorem. If the author can find a nonempty class of potentials satisfying a modified lower-bound condition, or rework the parameter choices in Proposition 9.2, a resubmission could be considered. There is no circularity concern and no novelty-disclosure issue."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper is not quite what it claims to be. The two-species Bogoliubov machinery and the upper bound are genuine, but the lower bound for the LHY coefficient in the soft-potential case is vacuous. The stress-test note is correct: condition (1.26) with η>0 cannot be satisfied together with Assumption 1.2.\n\nWhy: for any admissible v_AB, the scattering solution gives ω_AB=1−φ_AB superharmonic with boundary value a_AB/R_AB on the support, so ω_AB ≥ a_AB/R_AB inside. Hence δ_AB = ∫v_AB ω_AB ≥ (a_AB/R_AB)∫v_AB ≥ 8π a_AB^2/R_AB. With a_AB ≥ \\bar a/C_a and R_AB ≤ R ≤ C_R \\bar a(ρ\\bar a^3)^{−η}, this gives δ_AB/\\bar a ≥ c(ρ\\bar a^3)^η. But (1.26) demands δ_AB/\\bar a ≤ C(ρ\\bar a^3)^{4η+ν} for η>0. Since 4η+ν > η, the two bounds contradict for small ρ\\bar a^3. The example in Remark 1.6 has the same problem: scaling v_AB = λv_R with λ = x^{η+ν}, R ~ x^{−η}\\bar a gives δ_AB/\\bar a ~ x^{2η+ν}, which is larger, not smaller, than x^{4η+ν}. So no admissible potential exists for which the LHY-constant lower bound is proven.\n\nWhat is genuinely new and good: the two-species Bogoliubov transformation, the explicit minimizers (2.14), the upper bound Theorem 2.1 with the correct LHY coefficient under a satisfiable softness condition, the BEC estimate in the GP-like regime, and the Neumann localization and symmetrization toolkit. These are real and will be useful. The integrable-potential result (η=0) is honest: it gives the main order and an error of the same magnitude as the LHY term, so it does not extract the constant. The paper is long and I have not line-by-line checked Appendices C–F, but the proof structure is coherent. The flaw is not sloppiness in estimates; it is a genuinely inconsistent set of assumptions.\n\nRecommendation: send it to a serious referee, because the upper-bound part and the technical machinery deserve scrutiny and could be salvaged. But the current version overclaims: the central theorem's soft-potential case is empty. The author should either remove the claim, weaken the conclusion, or find a different condition on δ_AB compatible with the support bound. As written, I would not accept it.","headline":"The upper-bound machinery is real, but the advertised LHY constant for soft potentials rests on an impossible combination of assumptions; the main theorem's η>0 branch is vacuous.","tokens_in":57826,"tokens_out":6482,"would_cite":false,"duration_ms":57729,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81V70","82B10","82D50"],"pacs":[],"model":"deepseek-v4-flash","headline":"A dilute two-species Bose gas is proved to have a universal second-order energy density that depends only on the three scattering lengths and matches the two-component Lee-Huang-Yang formula.","keywords":["Bose gas mixture","Lee-Huang-Yang formula","thermodynamic limit","scattering length","Bogoliubov transformation","Bose-Einstein condensation","soft potentials","dilute Bose gas"],"falsifier":"Compute the ground-state energy density for a family of soft potentials $v_R(x)=R^{-3}v_1(|x|/R)$ with $R=\\bar a(\\rho\\bar a^3)^{-\\eta}$ and two comparable species densities, and check whether the difference from (1.5) is bounded by $C(\\rho\\bar a)^{5/2}(\\rho\\bar a^3)^\\eta$ as $\\rho\\bar a^3\\to0$. A more targeted check is to saturate condition (3.4) by taking $v_{AB}=\\lambda v_R$ with $\\lambda=(\\rho\\bar a^3)^{\\eta+\\nu}$; the proof predicts the error term (9.44) is still absorbed, so any exact calculation showing a different second-order coefficient in that regime would refute the theorem.","tokens_in":56531,"feed_emoji":"⚛️","tokens_out":14553,"duration_ms":114499,"temperature":0.7,"pith_summary":"The paper proves a second-order expansion for the energy per volume of a dilute three-dimensional gas made of two species of repelling bosons. For compactly supported integrable potentials it fixes the order of the correction, $O((\\rho\\bar a)^{5/2})$; under the extra softness conditions it fixes the universal coefficient and matches the physics formula (1.5), with error $C(\\rho\\bar a)^{5/2}(\\rho\\bar a^3)^\\eta$. If the theorem is right, a dilute mixture's energy is universal to this order and the one-species Lee-Huang-Yang law is recovered when the second species is removed. The paper also proves Bose-Einstein condensation for both components in boxes larger than the Gross-Pitaevskii healing length.","feed_headline":"Binary Bose gas energy matches Lee-Huang-Yang formula","feed_subtitle":"Rigorous bounds fix the second-order energy density using only three scattering lengths.","key_machinery":"The load-bearing object is the two-species Bogoliubov transformation: a real symmetric $2\\times2$ matrix $S_p$ generates operators $d_k=c_k+\\beta_k c^*_{-k}$ that diagonalize the quadratic Hamiltonian into a positive part $K_{\\mathrm{diag}}$ plus an explicit sum $S$ whose large-box limit is the Lee-Huang-Yang integral. For the lower bound, the mechanism is the combination of Neumann localization, the renormalization identity $v=g+v\\omega$ with $g=v(1-\\omega)$, and the extraction of soft pairs in Proposition 9.2, which uses the excess of the diagonal Hamiltonian and the spectral gap to absorb the negative error $E_\\omega$ coming from the interspecies renormalization. The decisive smallness condition is $K_\\ell^2 K_z \\delta_{AB}\\bar a^{-1}\\le(1000C)^{-1}$, ensuring that the interspecies potential is soft enough for the correct Lee-Huang-Yang coefficient to survive.","core_discovery":"On the paper's own terms, the central claim is that for repulsive, compactly supported, non-increasing potentials satisfying the miscibility bound $a_{AB}^2\\le a_A a_B$ and the softness estimates (1.26), the thermodynamic limit of $E_{N_A,N_B}/L^3$ is $E_{\\mathrm{main}}+E_{\\mathrm{LHY}}$ plus a controlled error, where $E_{\\mathrm{main}}+E_{\\mathrm{LHY}}$ is exactly the physics formula (1.5). The upper bound is obtained by a quasi-free trial state adapted to two species and by minimizing a two-species Bogoliubov functional with explicit minimizers. The lower bound is obtained by localizing to boxes of size $\\ell=K_\\ell(\\rho\\bar a)^{-1/2}$, renormalizing the potentials through the scattering equation, and controlling the cubic terms with a soft-pair extraction. The result establishes universality of the second-order energy for dilute bosonic mixtures and recovers the one-species Lee-Huang-Yang constant as a limiting case.","pith_inferences":["Because the upper bound needs only the uniform softness $\\delta\\le C\\bar a(\\rho\\bar a^3)^\\eta$ while the lower bound uses the stricter interspecies condition $\\delta_{AB}\\le C\\bar a(\\rho\\bar a^3)^{4\\eta+\\nu}$, a natural next step is to try to relax condition (3.4) to the uniform bound, widening the class of admissible interspecies potentials.","The author's Remark A.2 identifies the diagonalization of the scattering-length matrix as the only structural obstacle, so the same expansion is plausibly within reach for mixtures of $M>2$ species without a closed-form eigenvalue formula.","A concrete test of the universality claim would be to compare (1.5) with numerical ground-state energies for ultracold two-species bosonic mixtures in a box at small $\\rho\\bar a^3$; the theorem predicts agreement at order $\\rho^{5/2}$ whenever the miscibility and softness conditions hold.","The proof's upper-bound strategy relies on quasi-free states, so removing the softness condition is likely to be easier for the upper bound than for the lower bound, where the cubic-term estimates are the bottleneck."],"forward_implications":["If the theorem is correct, the thermodynamic energy density of a dilute, miscible two-species Bose gas is universal through order $\\rho^{5/2}$, depending only on $a_A$, $a_B$, and $a_{AB}$.","Taking $\\rho_B,a_B,a_{AB}\\to0$ recovers the one-species Lee-Huang-Yang formula with the standard $128/(15\\sqrt\\pi)$ coefficient.","For soft interspecies potentials, both components exhibit Bose-Einstein condensation, with the excited fraction bounded by $(\\rho\\bar a^3)^{1/17-1/500}$.","The explicit minimizers of the two-species Bogoliubov functional provide ready-made trial states for upper-bound computations in related dilute-gas problems.","The localization scheme used for the lower bound gives a route toward the same expansion for general integrable potentials and eventually hard-core interactions."],"supporting_citations":[{"why":"Supplies the quasi-free trial-state upper bound for the one-species gas that the author adapts to two species.","marker":"[12]"},{"why":"Provides the symmetrization, localization, gap-extraction, and renormalization tools used through the lower-bound proof.","marker":"[17]"},{"why":"One-species lower bound with the correct Lee-Huang-Yang constant, which the mixture result extends.","marker":"[18]"},{"why":"One-species lower bound for general potentials, including hard cores, that defines the benchmark for the second-order constant.","marker":"[19]"},{"why":"Introduced the combination of potential renormalization with Neumann localization that inspired the lower-bound strategy.","marker":"[24]"},{"why":"Gives a second-order upper bound with the correct constant whose soft-potential variant guides the trial-state construction.","marker":"[2]"},{"why":"Provides another one-species upper bound at Lee-Huang-Yang order used for comparison.","marker":"[53]"},{"why":"Gives the low-density lower bound and the condensation estimate underlying Proposition 5.2.","marker":"[35]"},{"why":"Supplies the scattering-length definition and the Newton-theorem properties used throughout.","marker":"[34]"},{"why":"Dyson's lemma is used in the small-box condensation estimate of Appendix D.","marker":"[11]"}],"fun_headline_variants":["Lee-Huang-Yang energy proven for Bose-Bose mixtures","Rigorous LHY expansion for dilute binary Bose gas","Second-order energy for Bose mixtures now rigorous","Bose mixture energy: LHY formula proven"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the interspecies potential is soft enough that its low-momentum renormalization error can be made small relative to the density, with precise smallness fixed by condition (3.4); the lower-bound proof also assumes the potentials are non-increasing, which the author expects to be a removable technical crutch.","fun_headline_variants_meta":{"raw":{"variants":["Lee-Huang-Yang energy proven for Bose-Bose mixtures","Rigorous LHY expansion for dilute binary Bose gas","Second-order energy for Bose mixtures now rigorous","Bose mixture energy: LHY formula proven"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000307,"raw_usage":{"total_tokens":1733,"prompt_tokens":898,"completion_tokens":835,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":514,"completion_tokens_details":{"reasoning_tokens":772}},"tokens_in":514,"tokens_out":835,"duration_ms":7802,"temperature":1.0,"reasoning_tokens":772,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T15:09:47.832277+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the ground-state energy density for a family of soft potentials $v_R(x)=R^{-3}v_1(|x|/R)$ with $R=\\bar a(\\rho\\bar a^3)^{-\\eta}$ and two comparable species densities, and check whether the difference from (1.5) is bounded by $C(\\rho\\bar a)^{5/2}(\\rho\\bar a^3)^\\eta$ as $\\rho\\bar a^3\\to0$. A more targeted check is to saturate condition (3.4) by taking $v_{AB}=\\lambda v_R$ with $\\lambda=(\\rho\\bar a^3)^{\\eta+\\nu}$; the proof predicts the error term (9.44) is still absorbed, so any exact calculation showing a different second-order coefficient in that regime would refute the theorem.","supporting_citations":[{"cited_title":"Erd˝ os, B","cited_arxiv_id":null,"evidence_quote":"Supplies the quasi-free trial-state upper bound for the one-species gas that the author adapts to two species."},{"cited_title":"Fournais, T","cited_arxiv_id":null,"evidence_quote":"Provides the symmetrization, localization, gap-extraction, and renormalization tools used through the lower-bound proof."},{"cited_title":"Fournais and J","cited_arxiv_id":null,"evidence_quote":"One-species lower bound with the correct Lee-Huang-Yang constant, which the mixture result extends."},{"cited_title":"Fournais and J","cited_arxiv_id":null,"evidence_quote":"One-species lower bound for general potentials, including hard cores, that defines the benchmark for the second-order constant."},{"cited_title":"Basti, S","cited_arxiv_id":null,"evidence_quote":"Gives a second-order upper bound with the correct constant whose soft-potential variant guides the trial-state construction."},{"cited_title":"Yau and J","cited_arxiv_id":null,"evidence_quote":"Provides another one-species upper bound at Lee-Huang-Yang order used for comparison."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the low-density lower bound and the condensation estimate underlying Proposition 5.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the scattering-length definition and the Newton-theorem properties used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Dyson's lemma is used in the small-box condensation estimate of Appendix D."}],"review_version":1}