{"id":"3d9b7cac-9b22-499b-9fcb-57dc4ce15133","arxiv_id":"2411.19263","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"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.","lead":"The paper proves that three bosons moving on three separate lines in a specific mixed-dimensional geometry can have only finitely many bound states, contradicting a published physics prediction. The result closes a disputed entry in the Efimov-effect classification table and introduces a decay estimate for zero-energy resonances that are not rotationally symmetric.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proof of Theorem 2.1 leaves an unhandled case: Lemma 5.4's coercive bound (5.36) uses Lemma 4.1(2), which is only proved for two-body subsystems with a virtual level, yet Theorem 2.1 explicitly allows potentials without resonances.","rationale":"The reader's identified weakest point, the resonance-decay estimate Lemma 4.3, is a genuine subtlety, but a more structurally load-bearing issue is that the proof of Lemma 3.1 only handles the virtual-level case through Lemma 4.1(2), while the no-resonance case is left without the coercivity needed for Lemma 5.6. This is not an ad hominem or a disagreement with the theorem's truth: the missing no-resonance form bound is standard and likely repairable, and the reader's concern about Lemma 4.3 may also be fixable. However, as written, Theorem 2.1 is not fully proved for the large class of admissible potentials without two-body zero-energy resonances. Because the gap is a missing case rather than a demonstrated falsehood, the appropriate verdict is CONDITIONAL rather than REJECT: the paper should add and prove the missing no-resonance coercivity lemma, and then the proof would cover its stated assumptions.","tokens_in":35182,"tokens_out":35277,"duration_ms":284624,"concrete_test":"Check the no-resonance branch of Lemma 5.4: prove or disprove that for every admissible h=−Δ+V with V satisfying (2.3), h≥0, and no virtual level, there exists μ>0 such that ⟨ψ,hψ⟩≥μ‖∇ψ‖²_{Ḣ¹(R²)} for all ψ∈Ḣ¹(R²). Until this bound is supplied, the step (5.36) in the Φ≡0 case has no justification. Alternatively, instantiate the proof with a small negative non-resonant V12 and verify that every inequality in Lemmas 5.4 and 5.6 remains valid; if the μ-coercivity is missing, the proof of Lemma 3.1 fails for that admissible case.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of the main theorem rests on Lemma 3.1. In Section 5.1 the proof branches: if h12 has a virtual level, one uses the resonance φ0; if not, the paper sets Φ≡0 and F=ψ~2 after (5.11). Lemma 5.4 then asserts the bound (5.13) with a positive constant μ, and its proof derives the key estimate (5.36), ∫ (|∇12F|²+V12|F|²) ≥ μ‖∇12F‖², by citing assertion (2) of Lemma 4.1. But Lemma 4.1(2) is stated and proved only under the assumption that h has a virtual level. In the no-resonance branch, h12≥0 gives only ∫(|∇12F|²+V12|F|²)≥0; it does not give the μ-coercivity. The positive μ is then essential in Lemma 5.6 to absorb the negative term −ε∫|P⊥ψ2|²/|(x1,x2)|². Since Theorem 2.1 explicitly imposes no condition on the existence or absence of two-body resonances, the proof as written does not cover admissible potentials for which h12 or h13 has no virtual level. A standard repair would be to prove the missing form lower bound h12≥μ(−Δ12) on Ḣ¹(R²) in the absence of a zero-energy resonance; no such lemma is stated or cited.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a system of three bosons confined to three lines: two parallel lines in one plane and a third line in a perpendicular plane. Under short-range decay assumptions (2.3) and the assumption σ_ess(H)=[0,∞), the main result Theorem 2.1 asserts that H has at most finitely many discrete eigenvalues, thereby disproving the prediction of a confinement-induced Efimov effect for this geometry made in [NE17]. The proof follows a Zhislin-type finite-dimensional reduction: it suffices to prove the local energy bound (3.2), which is decomposed into local functionals L_α on the cones K_α(γ). Lemmas 3.1–3.4 reduce the problem to boundary integrals controlled by kinetic energy, with Lemma 3.1 being the delicate two-dimensional pair contribution. That lemma is proved in Section 5 using a decomposition of the test function into a component parallel to a zero-energy resonance φ0 and an orthogonal component F, and it relies on the new decay estimate Lemma 4.3 for the non-radial part of a zero-energy resonance of a reflection-symmetric two-body operator. The supporting lemmas are proved in Section 5 and the appendices.","tokens_in":35402,"tokens_out":15970,"duration_ms":134202,"significance":"If the proof is completed as indicated below, the result resolves a specific open question in mixed-dimensional Efimov physics: the (1D-1D×1D) geometry predicted to exhibit a confinement-induced Efimov effect in [NE17] is shown not to have one. The main technical novelty is Lemma 4.3, which controls the decay of the non-radially-symmetric part of a zero-energy resonance under reflection symmetry; this goes beyond the rotation-invariant cases treated in previous work and is the key new analytic ingredient. The proof is structured as a sequence of lemmas with proofs provided, contains no fitted or free parameters, and yields a directly falsifiable statement about finiteness of the discrete spectrum. The central gap identified below is local and repairable, but it currently blocks the theorem for a class of potentials explicitly admitted by the hypotheses.","major_comments":[{"comment":"Lemma 5.4 and its proof use assertion (2) of Lemma 4.1 to obtain the coercive bound (5.36), but Lemma 4.1 is stated and proved only under the assumption that the two-body operator h_{12} has a virtual level. Theorem 2.1 explicitly allows potentials without two-body resonances (Remark 2.2), and in that branch the paper sets Φ≡0 and F=ψ~2 after (5.11). In this branch h_{12}≥0 alone gives only ∫(|∇12F|²+V12|F|²)≥0, not the strict μ-coercivity needed in (5.13) and used in Lemma 5.6, where ε<μ/8 is required for the positivity of the first three terms in (5.14). The proof as written therefore does not cover admissible potentials for which h_{12} or h_{13} has no virtual level. This is repairable within the manuscript's scope: from the absence of a virtual level it follows that there exists ε0>0 such that h_{12}+ε0Δ_{12}≥0 (otherwise h_{12}+εΔ_{12} would have a negative eigenvalue for every sufficiently small ε>0, which is exactly the virtual-level condition), giving h_{12}≥ε0(−Δ_{12}) and hence (5.36) with μ=ε0. This missing argument should be stated and proved or cited before Lemma 5.4 is used for the no-resonance branch.","section":"§5.1 and §5.2.2, Eq. (5.36)"}],"minor_comments":[{"comment":"There is a notational collision for the exponent κ: in (4.27) κ is fixed to 1+δ/4 for estimating the third term, while the concluding paragraph says the proof establishes (4.10) 'with κ=l+1'. Since Lemma 4.3 only needs some positive exponent, the proof is valid with l=δ/4; please rephrase the conclusion to avoid claiming an arbitrary l.","section":"§4.3–§4.5, proof of Lemma 4.3"},{"comment":"The citation to (4.9) is not directly justified for P⊥F, because (4.9) requires the vanishing of the first Fourier mode (condition (4.8)), which is not established for P⊥F. However, the standard two-dimensional Hardy inequality for functions with zero angular average gives ∫|P⊥F|²/|(x1,x2)|² ≤ ||∇12(P⊥F)||², and this weaker constant is already sufficient for the positivity claimed in (5.68); please correct the cited inequality.","section":"§5.2.3, Eq. (5.67)"},{"comment":"The proof estimates boundary integrals with exponent 1+δ, while the statement uses 1+τ. Since τ<δ and b can be taken large, the factor b^{-(δ-τ)} can be absorbed into the small constant ε, but this passage should be stated explicitly.","section":"§5.4, proof of Lemma 3.3"},{"comment":"There are several typographical issues: 'eingenvalues' in §1.2, '(κττ)^{-1}' in (5.41) should presumably be '(κ^τ τ)^{-1}', and the reference key [Efi70] is inconsistent with the spelling 'Efimov' in the text.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The reliance on [BBV21] is substantial, including an appendix reproving one of its lemmas, but the authors cite it transparently and the new geometric setting and Lemma 4.3 are clearly delineated. I see no citation or novelty concern beyond the usual need to acknowledge the overlap. The missing no-resonance branch in Lemma 5.4 is the only substantive obstacle; if the authors supply the short argument indicated in the major comment, I would expect the result to be correct."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read the paper carefully, and I mostly agree with the reader's assessment, but the stress-test note is on target and needs to be taken seriously.\n\nThe core result is genuinely new. [NE17] predicted a confinement-induced Efimov effect for this 1D-1D×1D geometry, and the paper proves the opposite: at most finitely many bound states under the stated assumptions. The proof strategy is a sensible extension of the Vugalter–Zhislin / BBV21 approach to a mixed-dimensional configuration, and the new ingredient — Lemma 4.3, the weighted-L2 decay of the non-radial part of a two-body zero-energy resonance under reflection symmetry — is a real piece of analysis that goes beyond prior work. The paper is also honest about the stronger decay assumption (3+δ on V12 and V13) needed for that lemma.\n\nThe soft spot is exactly where the stress-test points. Theorem 2.1 imposes no condition on the existence or absence of two-body resonances. In the proof of Lemma 3.1, the branch where h12 has a virtual level is handled with Lemma 4.3. But in the branch where h12 has no virtual level, the paper sets Φ≡0 and F=ψ~2 (after (5.11)), and then the proof of Lemma 5.4 uses assertion (2) of Lemma 4.1 to derive the coercive bound (5.36). That assertion is only proved under the assumption that h12 has a virtual level. In the no-resonance case, h12≥0 alone gives only nonnegativity, not a uniform μ∥∇12F∥² lower bound. The positive μ is then essential in Lemma 5.6 to absorb the negative term involving |P⊥ψ2|²/|(x1,x2)|². So the proof as written does not cover admissible potentials without resonances. This is a gap, but it is likely repairable with a standard form lower bound of the type h12 ≥ μ(−Δ12) on Ḣ¹(R²) when there is no zero-energy resonance. I don't see that lemma stated or cited anywhere, so it's not a trivial fix the authors can claim — they need to actually prove it or point to a published result.\n\nOther than that, the citation pattern looks solid. The heavy reliance on [BBV21] with an overlapping author is a bit of a caution flag, but the specific results are published and the new geometry is distinct. The paper deserves a serious referee, but the referee should ask for a repair of the no-resonance branch before the theorem is fully established.\n\nFor the reading group: I'd say maybe, mainly for specialists in few-body spectral theory. I'd cite it if the gap gets fixed, since the result is important for the classification table. Send it to peer review.","headline":"New result that contradicts a physics prediction, but the proof has a genuine gap for two-body subsystems without zero-energy resonances — worth refereeing, but expect a major revision.","tokens_in":36020,"tokens_out":4237,"would_cite":true,"duration_ms":35797,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81Q10","81V70"],"pacs":[],"model":"deepseek-v4-flash","headline":"A system of three bosons moving on one line and two parallel lines in a perpendicular plane has at most finitely many bound states, so the confinement-induced Efimov effect predicted for this geometry does not occur.","keywords":["Efimov effect","confinement-induced Efimov effect","three-boson system","mixed dimensions","zero-energy resonance","virtual level","discrete spectrum","Schrödinger operator"],"falsifier":"Compute, for an explicit reflection-symmetric two-body potential satisfying (2.3) with $\\nu=3+\\delta$, the zero-energy resonance $\\varphi_0$; if $(1+|x|)^l P_\\perp\\varphi_0$ fails to be in $L^2(\\mathbb{R}^2)$ for every $l>0$, Lemma 4.3 is false and the proof's key step breaks. At the full three-body level, a numerical or rigorous construction of a potential in the admissible class for which the three-line Hamiltonian has an infinite sequence of negative eigenvalues accumulating at $0$ would directly refute Theorem 2.1.","tokens_in":34898,"feed_emoji":"⚛️","tokens_out":9529,"duration_ms":71708,"temperature":0.7,"pith_summary":"The paper studies three identical bosons confined to three lines in three-dimensional space: two parallel lines in one plane and a third line in a perpendicular plane. Recent physics literature predicted that such a mixed-dimensional system should exhibit the confinement-induced Efimov effect, an infinite staircase of bound states accumulating at zero energy whenever the two-particle subsystems sit at zero-energy resonances. The authors prove the opposite: the Hamiltonian has only finitely many bound states under mild short-range decay of the pair potentials, so no Efimov staircase develops. The result matters because it settles one of the open configurations in the classification of where the Efimov effect can survive geometric confinement, and it shows that mixed dimensionality alone does not restore the effect.","feed_headline":"Bosons on three lines skip the Efimov staircase","feed_subtitle":"A proof shows only finitely many bound states, overturning the mixed-dimensional Efimov prediction.","key_machinery":"The argument is carried by the localization scheme of [Zis74, VZ83]: to prove finiteness of the discrete spectrum it suffices to show the quadratic form is nonnegative on functions supported away from a compact set after subtracting a finite-dimensional subspace. The new mechanism inside that scheme is Lemma 4.3. For a two-body operator $h=-\\Delta+V$ on $L^2(\\mathbb{R}^2)$ with reflection symmetry $V(x)=V(-x)$ and a zero-energy resonance $\\varphi_0$, the projection $P_\\perp\\varphi_0$ onto the subspace orthogonal to radially symmetric functions satisfies $(1+|x|)^l P_\\perp\\varphi_0 \\in L^2(\\mathbb{R}^2)$ for some $l(\\delta)>0$; this is proven using the weight $G(|x|)=|x|^\\kappa/(1+\\omega |x|^\\kappa \\xi(|x|/\\beta))$ and the Hardy inequality (4.9) for angular modes. The lemma feeds into Lemma 5.6, where the boundary terms from the partition of unity are absorbed by the decay of $P_\\perp\\varphi_0$, producing the nonnegativity that yields Theorem 2.1. Along the way the proof uses the one-dimensional trace theorem, Hardy inequalities on cones, and the two-body bound from Lemma 3.2 for the pair (23), completing the chain of estimates.","core_discovery":"The central claim is Theorem 2.1: for the operator $H = -\\Delta_x + \\sum_{\\alpha} V_\\alpha(|r_\\alpha|)$ on $L^2(\\mathbb{R}^3)$ describing three bosons on the three lines, with pair potentials satisfying the decay bounds $|V_{12}(r)| \\le C(1+|r|)^{-3-\\delta}$, $|V_{13}(r)| \\le C(1+|r|)^{-3-\\delta}$, $|V_{23}(r)| \\le C(1+|r|)^{-2-\\delta}$ and with essential spectrum $[0,\\infty)$, the discrete spectrum is at most finite. In particular the system has no accumulation of negative eigenvalues at zero, contradicting the confinement-induced Efimov effect predicted in [NE17]. The theorem imposes no condition on whether the two-body subsystems have zero-energy resonances; even with such resonances the bound-state count remains finite. The decisive new ingredient is that the non-radial part of a zero-energy resonance of a reflection-symmetric two-dimensional two-body operator lies in a weighted $L^2$ space (Lemma 4.3), which allows the localization estimate to be closed.","pith_inferences":["The proof's reliance on the decay exponent $\\nu_{12}=\\nu_{13}=3+\\delta$ suggests a possible threshold: if the pair potentials decay only as $|r|^{-2-\\delta}$, the weight estimate in Lemma 4.3 would not close, and the confinement-induced Efimov effect might reappear in that regime; testing this threshold is a natural follow-up.","The decay estimate for the non-radial part of the resonance is the only place where reflection symmetry is used; one could try to relax Lemma 4.3 to potentials with just a finite number of angular Fourier modes, which would extend the finiteness result to other mixed-dimensional geometries in Table 1 of [NE17].","A numerical experiment on a model potential with a tunable zero-energy resonance could test the finite-bound-state prediction directly and probe how the number of bound states grows as the potential approaches the threshold of the decay condition."],"forward_implications":["The three-line geometry (1D-1D-1D with perpendicular planes) has only finitely many negative eigenvalues, so no infinite Efimov ladder can form.","The absence holds even when the two-particle subsystems have zero-energy resonances (virtual levels), the same regime that produces the Efimov effect in three dimensions.","The bound-state count is finite for all angles $\\zeta\\in(0,\\pi/2]$ between the line and the perpendicular plane, uniformly in the geometry.","The result fills one of the open rows of the mixed-dimensional Efimov table: the predicted confinement-induced Efimov effect case is now mathematically ruled out.","Together with earlier results (dimensions 1, 2, 4, and $N\\ge 4$ bosons), the known landscape of Efimov-absent systems now includes this mixed-dimensional configuration."],"supporting_citations":[{"why":"Source of the confinement-induced Efimov prediction for this geometry; the statement that Theorem 2.1 refutes.","marker":"[NE17]"},{"why":"Supplies the localization framework and the analogous Lemma 6.7 that Lemma 3.1 refines, plus the method for two-particle local-energy bounds.","marker":"[BBV21]"},{"why":"Original criterion for finiteness of discrete spectrum via a finite-dimensional subspace and the inequality (3.2).","marker":"[Zis74]"},{"why":"Provides the symmetry-based localization approach used in the proof of Lemma 3.1.","marker":"[VZ83]"},{"why":"Defines the virtual level (zero-energy resonance) used throughout Section 4.","marker":"[Jaf75]"},{"why":"Supplies the modified technique for decay of zero-energy solutions that is extended to the reflection-symmetric case in Lemma 4.3.","marker":"[HJL21]"},{"why":"Hardy inequality on conical sets used in the final step (Lemma A.3) to bound the quadratic form on $\\Omega(\\gamma)$.","marker":"[Naz06]"},{"why":"Two-dimensional Hardy inequality for functions with vanishing angular mean, used in Lemma 4.3 and Lemma A.2.","marker":"[Sol94]"}],"fun_headline_variants":["Three bosons on lines: no Efimov cascade","Finite bound states kill Efimov prediction","No Efimov effect for three-line bosons","Proof: no Efimov staircase for triple-line system"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole proof hinges on Lemma 4.3, the new estimate that the non-radial part of a zero-energy resonance of a reflection-symmetric two-body potential decays fast enough to lie in a weighted $L^2$ space; if that estimate failed for some allowed potential, the finiteness argument would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Three bosons on lines: no Efimov cascade","Finite bound states kill Efimov prediction","No Efimov effect for three-line bosons","Proof: no Efimov staircase for triple-line system"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000817,"raw_usage":{"total_tokens":3532,"prompt_tokens":855,"completion_tokens":2677,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":471,"completion_tokens_details":{"reasoning_tokens":2617}},"tokens_in":471,"tokens_out":2677,"duration_ms":15582,"temperature":1.0,"reasoning_tokens":2617,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:21:29.897182+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for an explicit reflection-symmetric two-body potential satisfying (2.3) with $\\nu=3+\\delta$, the zero-energy resonance $\\varphi_0$; if $(1+|x|)^l P_\\perp\\varphi_0$ fails to be in $L^2(\\mathbb{R}^2)$ for every $l>0$, Lemma 4.3 is false and the proof's key step breaks. At the full three-body level, a numerical or rigorous construction of a potential in the admissible class for which the three-line Hamiltonian has an infinite sequence of negative eigenvalues accumulating at $0$ would directly refute Theorem 2.1.","supporting_citations":[],"review_version":1}