{"id":"eb73d393-9eb8-4a00-b5a5-cf134ffd5d28","arxiv_id":"2505.19365","paper_version":3,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For a 3D magnetic Schrödinger operator with potential on a locally deformed tube, the paper proves essential spectrum stability and gives an insufficiently supported sufficient condition for the absence of discrete spectrum.","lead":"This mathematics paper studies a quantum particle in three dimensions, held near an infinite tube by an attractive potential, with a localized magnetic field added. It proves the magnetic field leaves the essential spectrum unchanged and claims a condition under which the field removes all bound states.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 2 uses an unjustified identification of \\tilde V(x(s,r,θ)) with V(x1,x2); condition (15) does not bound their difference on a bent tube, so the discrete-spectrum-emptiness claim is unsupported.","rationale":"After reading the proof, I agree with the reader's identification. Theorem 1's argument is plausible: the Weyl sequence is supported where A=0 and \\tilde V=V, and the Neumann bracketing for the upper bound is standard; I did not find a comparable flaw there. The entire emptiness result (Theorem 2) nevertheless depends on the estimate at the end of the proof: after (20), the authors need a pointwise L∞ bound on \\tilde V-V on the ball strip, and they assert that (15) provides it. It does not. The definition (3) makes \\tilde V a function of the tube coordinates (r,θ), while the subtracted potential V in (17) is evaluated at the Cartesian coordinates (x1,x2). For a curved centerline these are different variables, and (14) only says the tube lies inside the ball; it does not straighten the tube. A constant potential on ω has zero oscillation, so (15) is vacuous, yet at a point on the bent part whose Cartesian projection lies outside ω the difference \\tilde V-V equals ∥V∥∞. Thus the proof's final inequality is unsupported. The conclusion may be salvageable by replacing (15) with a direct bound on \\tilde V-V, for instance a smallness condition on the curvature or tube cross-section, but as written the central claim does not follow. No adjustment to the reader's REJECT verdict is needed.","tokens_in":12593,"tokens_out":7848,"duration_ms":77446,"concrete_test":"Analytical countercheck to the proof's key estimate. Choose ω=B(0,1), V≡1 on ω, and a C^2 centerline Γ(s)=(κ(s),0,s) with κ(0)=2 and supp κ⊂(-s0/√2, s0/√2), taking s0>4 so that (14) holds. At x=Γ(0) (where r=0), \\tilde V(x)=1, while (x1,x2)=(2,0)∉ω, so V(x1,x2)=0; thus \\tilde V-V≡1 in a neighborhood of x. The oscillation in (15) is 0, so the hypothesis is satisfied for every B0_3. Evaluate the discrepancy term in (20) with any φ supported in that neighborhood and f the positive ground state: it equals ∫ f^2|φ|^2 > 0, whereas the proof's bound would require it to be ≤ (αβ_f B0_3/(2∥f∥_{L∞}^2)) ∫ f^2|φ|^2, which fails for B0_3 small enough. This directly shows that (15) does not guarantee the asserted inequality.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 2, whose proof reduces the quadratic form to (17) and then needs to control the term ∫(\\tilde V(x1,x2,x3)-V(x1,x2)) f^2 |φ|^2 dx. After (20), the authors assert that the required bound ∥\\tilde V-V∥_{L∞(B(0,s0)∩{|x3|≤s0/√2})} ≤ αβ_f B0_3/(2∥f∥_{L∞}^2) 'is guaranteed by (15)'. This is the load-bearing step, and it is false as stated. On the bent part of the tube, x=x(s,r,θ)=Γ(s)-r(n cos(θ-α)+b sin(θ-α)), hence \\tilde V(x)=V(r,θ), while V(x1,x2) is evaluated at the Cartesian coordinates of the same point. Assumption (14) only locates the tube inside B(0,s0); it does not make the tube straight there. For a bent centerline, (r,θ)∈ω does not imply (x1,x2)∈ω, and even when it does, the two arguments of V need not be close. Choosing V constant on ω makes the oscillation in (15) zero, but \\tilde V(x)-V(x1,x2) can equal ∥V∥∞ at points whose (x1,x2) lies outside ω. Thus (15) cannot control the discrepancy term, and the inequality leading to emptiness of the discrete spectrum is not established. The theorem may be repairable by adding a direct pointwise L∞ bound on \\tilde V-V, or a small-cross-section/tubularity condition, but that is not in the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the three-dimensional magnetic Schrödinger operator H=(i∇+A)^2-\\tilde V, where \\tilde V is supported in a tube built over a curve that is a compact deformation of a straight line and B=rot A is compactly supported. Theorem 1 claims that the essential spectrum of H is [e,∞), with e the ground-state eigenvalue of the two-dimensional operator h_V=-Δ_{R^2}-V. Theorem 2 claims that under conditions (14) and (15) the discrete spectrum is empty, so that a local magnetic field destroys all bound states created by a local bend. The proof of Theorem 1 follows standard Weyl-sequence and Neumann-bracketing arguments and is largely coherent. The proof of Theorem 2, however, fails at the estimate after equation (20), where condition (15) is used to control the pointwise difference \\tilde V-V.","tokens_in":12974,"tokens_out":12729,"duration_ms":118138,"significance":"If Theorem 1 and a corrected version of Theorem 2 were valid, the paper would offer a useful stability statement for the essential spectrum and an appealing sufficient condition for magnetic annihilation of geometrically induced bound states. The essential-spectrum part is a genuine contribution: the gauge construction and the Neumann-bracketing argument are explicit and checkable. The application to the example of [5], however, rests entirely on Theorem 2, and that theorem is not established and is in fact false as stated in a limiting case. The paper contains no numerical or machine-checked verification, so the advertised main result currently rests on an invalid estimate.","major_comments":[{"comment":"The assertion that the required L∞ bound on \\tilde V-V is 'guaranteed by (15)' is false. For a point x=x(s,r,θ) on the bent part of the tube, \\tilde V(x)=V(r,θ) by (3), while V(x1,x2) is evaluated at the Cartesian coordinates of x. Condition (15) bounds the oscillation of V over the parameter domain ω; it does not relate V(r,θ) to V(x1,x2). If V is the indicator function of ω, the left-hand side of (15) is zero, yet \\tilde V(x)-V(x1,x2) can equal 1 on the bent tube at points whose Cartesian projection lies outside ω. Hence the error term in (17) is not controlled and the lower bound (20) does not follow. The same confusion appears in Remark 1, where B0_3 is chosen large to compensate an L∞ discrepancy that (15) does not bound.","section":"Theorem 2 statement"},{"comment":"The theorem is false as stated. The proof uses Lemma 2 only for fields satisfying B0_3≥γ, but no lower bound on B0_3 appears in the assumptions. For V constant on ω, condition (15) is vacuous, and for B0_3=0 it is automatically satisfied. In the zero-field case the cited work [5] constructs bent soft waveguides with V=(1/ε)χ_ω, which is constant on ω, and shows that the discrete spectrum is nonempty for small ε; choosing s0 large enough to satisfy (14) gives a direct counterexample to the theorem. Even if one insists on a nonzero field, a sufficiently small B0_3 leaves the isolated eigenvalue of the non-magnetic operator below e by continuity, so the conclusion still fails for small B0_3. The missing large-field hypothesis is therefore not a minor technicality.","section":"Theorem 2 statement and Lemma 2"}],"minor_comments":[{"comment":"In the displayed computation after (10), the term f(x1,y2) should be f(x1,x2).","section":"Section 2, Weyl sequence computation"},{"comment":"References [3] and [8] are the same article by Ekholm and Kovařík; one duplicate entry should be removed.","section":"References"},{"comment":"In the integrals following (18), the differential dx2 dx3 appears where dx1 dx2 is meant; the variable of integration should be the two-dimensional coordinate in the disk.","section":"Equation (18)"},{"comment":"The abstract and introduction describe B as non-zero, but the theorem statements do not quantify or lower-bound B0_3; please clarify the intended regime in the statements.","section":"Introduction and assumptions"},{"comment":"The sentence 'the proof that the spectrum of H2 below e is empty can be done in the same way for the operator for operator H2' contains a redundant phrase and should be rewritten.","section":"Section 2, proof for H2"}],"recommendation":"reject","confidential_remarks":"The essential-spectrum part is reasonably convincing, but the main advertised result, Theorem 2, has a load-bearing gap and is contradicted in the zero-field limit by the cited work [5]. I do not see a local repair short of adding a substantially stronger hypothesis, so I recommend rejection despite the merit of the Theorem 1 argument."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Straight talk: the paper is in two halves. Theorem 1 — essential spectrum equals [e,∞) — is believable and the proof is a clean combination of Weyl sequences and Neumann bracketing; I don't see a problem there. Theorem 2, the headline emptiness criterion, does not hold as written. The gap is localized but load-bearing: after (20) they need a pointwise bound on \\tilde V(x1,x2,x3) - V(x1,x2) over the tube inside B(0,s0) × {|x3|≤s0/√2}, and they claim (15) ensures it. On the straight parts of the tube, \\tilde V(x)=V(x1,x2) by construction, so the difference is zero there. On the bent part, \\tilde V(x(s,r,θ))=V(r,θ) while the second entry is V(x1,x2), the Cartesian coordinates of the same point. Assumption (15) bounds the oscillation of V over the cross-section ω; it says nothing about how V changes between the polar coordinates (r,θ) of the tube cross-section and the planar coordinates (x1,x2) of the point in R3. For a constant V, the oscillation in (15) is zero, but \\tilde V - V can be ∥V∥∞ on the bend. So the estimate that pushes the quadratic form above e is not established. This isn't a fatal conceptual flaw — the theorem is likely repairable by replacing (15) with a direct uniform bound on \\tilde V - V, or by assuming the tube is thin enough that coordinates nearly coincide — but it is not a cosmetic omission; the central claim of the abstract depends on it.\n\nWhat the paper does well: it takes the soft-waveguide model from [5] and adds a local magnetic field, and Theorem 1 shows the essential spectrum is stable, which is a real check on the model. The ground-state transformation leading to (17) is standard but executed cleanly, and the appendix's scaling proof of Lemma 2 is a reasonable way to get the asymptotic for the magnetic Neumann Laplacian on a disk. The writers engage honestly with the literature; the comparison to [5] in Remark 1 is a natural application.\n\nThe citation pattern looks normal. No fitted parameters, no circular argument; the reliance on Lemma 2 is external and cited.\n\nMy call: this deserves a serious referee — the structure is right and one specific repair should fix it — but the current manuscript should not be accepted. I would send it back for major revision, with the request to either fix the discrepancy estimate or state the stronger condition explicitly. If the repair is straightforward, the paper is a solid subfield contribution.","headline":"Theorem 1 is fine, but Theorem 2's proof misses a coordinate-identification step, leaving the main emptiness criterion unsupported.","tokens_in":13461,"tokens_out":2817,"would_cite":false,"duration_ms":26237,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J15","35P15","81Q10"],"pacs":[],"model":"deepseek-v4-flash","headline":"A compactly supported magnetic field leaves the essential spectrum of the tube Hamiltonian fixed at $[e,\\infty)$ and, once its vertical component is large enough, empties the discrete spectrum completely.","keywords":["magnetic Schrödinger operator","essential spectrum","discrete spectrum","quantum waveguide","compactly supported magnetic field","bent tube","bound states","soft quantum waveguide"],"falsifier":"Take $V\\equiv 1$ on a cross-section $\\omega$, so the oscillation in (15) is zero and the condition holds for any $B_3^0$. If the tube bends sharply inside $B(0,s_0)$, there is a positive-volume set where $x$ lies in the tube while $(x_1,x_2)\\notin\\omega$, making $\\tilde V(x)-V(x_1,x_2)=1$; compute the quadratic form on the trial function $\\phi f$ and compare the negative discrepancy integral with the magnetic lower bound $(\\alpha\\beta_f B_3^0/2)\\int|\\phi|^2$. If an eigenvalue below $e$ persists as $B_3^0$ grows, Theorem 2's condition is not sufficient.","tokens_in":12403,"feed_emoji":"🧲","tokens_out":14342,"duration_ms":109498,"temperature":0.7,"pith_summary":"This paper studies the three-dimensional magnetic Schrödinger operator $H=(i\\nabla+A)^2-\\tilde V$ on $\\mathbb{R}^3$, where $\\tilde V$ is a non-negative potential supported in a tube built along a curve that is straight outside a bounded interval, and $A$ is a vector potential with compactly supported magnetic field $B$. It establishes two spectral facts: the essential spectrum of $H$ is the half-line $[e,\\infty)$, where $e$ is the ground-state eigenvalue of the planar operator $h_V=-\\Delta-V$, and, under a small-oscillation condition on $V$ together with a sufficiently large vertical component $B_3^0$ of the magnetic field, the discrete spectrum is empty. If correct, the result shows that a local magnetic field cannot shift the continuous spectrum but can completely suppress the bound states that a bend would otherwise create, extending the zero-field analysis of soft quantum waveguides. The mechanism is a fiber decomposition using the positive ground state of $h_V$ and a magnetic lower bound on disks that pushes the quadratic form above $e$.","feed_headline":"Local magnetic field erases bound states in a bent 3D tube","feed_subtitle":"Compactly supported fields keep the essential spectrum intact and erase the discrete spectrum once strong enough.","key_machinery":"The argument is carried by the fiber representation $\\psi=\\phi f$, where $f>0$ is the ground state of the planar operator $h_V=-\\Delta-V$. Substituting this ansatz into the quadratic form of $H$ and integrating by parts reduces the problem to the transversal eigenvalue $e$ plus a weighted magnetic form $\\int|i\\nabla\\phi+A\\phi|^2 f^2$, and to a discrepancy term $\\int(\\tilde V-V)f^2|\\phi|^2$ that must be controlled. On the central ball, where the magnetic field is constant with vertical component $B_3^0$, the weighted magnetic form is bounded below by $(\\alpha\\beta_f B_3^0/2)\\int|\\phi|^2$, using the asymptotic $\\lambda_1(\\tilde B,R)=\\alpha\\tilde B$ for the Neumann magnetic Laplacian on two-dimensional disks. The gauge is chosen so that $A=0$ outside the support of the field, which makes the distant parts of the tube behave exactly like the zero-field operator and fixes the essential spectrum at $[e,\\infty)$.","core_discovery":"The central claim is that a compactly supported magnetic field does not change the essential spectrum of $H$, which remains $[e,\\infty)$, and that, whenever the vertical component $B_3^0$ of the constant field near the origin is large enough relative to the oscillation of the potential $V$ over the cross-section, the discrete spectrum disappears altogether. This is stated as Theorem 1 and Theorem 2, with the emptiness condition quantified by the constant $C=\\alpha\\beta_f/(2\\|f\\|_{L^\\infty}^2)$, where $f$ is the positive ground state of $h_V$ and $\\beta_f$ its minimum on the relevant disk. The proof replaces each test function $\\psi$ by $\\phi f$, isolates the ground-state eigenvalue $e$ of $h_V$, and uses the asymptotic $\\lambda_1(\\tilde B,R)=\\alpha\\tilde B+o(\\tilde B)$ of the Neumann magnetic Laplacian on a disk to obtain a magnetic lower bound that, together with the small-oscillation assumption, dominates the discrepancy between $\\tilde V$ and $V$. As an application, the magnetic field is shown capable of destroying the non-empty discrete spectrum that arises in the soft three-dimensional waveguide model with zero field.","pith_inferences":["One can read Theorem 2 as a magnetic analogue of the known mechanism that strong magnetic fields push spectrum upward; the constant suggests a threshold $B_3^0\\gtrsim (\\text{oscillation of }V)/\\beta_f$, though the exact threshold for a specific geometry may be much lower.","The same fiber decomposition could be applied to two-dimensional strips, leaky wires, or periodic tubes, wherever a positive transversal ground state exists, to test whether local magnetic fields destroy bound states in those settings too.","Numerically, the lowest eigenvalue of $H$ should rise monotonically to $e$ as $B_3^0$ grows; verifying this on a fixed bent tube would directly test the claimed mechanism.","Because condition (15) concerns only $V$ and not the geometry, the proof's final estimate suggests that a sharp bend with constant $V$ is the natural place to look for a scenario where the discrete spectrum survives despite the condition."],"forward_implications":["The essential spectrum of $H$ is exactly $[e,\\infty)$, so a compactly supported magnetic field cannot create spectrum below the planar threshold $e$.","If $B_3^0$ is large enough that assumption (15) holds with the stated constant, no discrete eigenvalues exist.","In the soft-waveguide example where $-\\Delta-\\tilde V$ has non-empty discrete spectrum for small $\\varepsilon$, adding a field with $B_3^0\\ge 2/(C\\varepsilon)$ makes the discrete spectrum empty.","The results require no torsion or twisting hypothesis beyond the existence of a global Frenet frame.","The positivity of the ground state $f$ of $h_V$, guaranteed for the compactly supported potentials considered, is essential to the lower bound."],"supporting_citations":[{"why":"Supplies the zero-magnetic-field soft waveguide model whose non-empty discrete spectrum is the main comparison example.","marker":"[5]"},{"why":"Establishes the stability mechanism by which magnetic fields can push bound states out of a waveguide's discrete spectrum.","marker":"[3]"},{"why":"Used in Lemma 1 to guarantee that the ground state of $-\\Delta+Q$ with compactly supported $Q\\le 0$ is positive and nowhere zero.","marker":"[14]"},{"why":"One source for the asymptotic of the ground-state eigenvalue of the magnetic Neumann Laplacian on a disk.","marker":"[17]"},{"why":"Provides the strong-field analysis of the magnetic Laplacian on a disc used in the appendix.","marker":"[12]"},{"why":"Gives eigenvalue results for the magnetic Neumann Laplacian on the unit disk used for the same asymptotic.","marker":"[10]"},{"why":"Supplies the Weyl criterion used to prove the essential-spectrum inclusion $[e,\\infty)$.","marker":"[18]"},{"why":"Provides the waveguide background on geometrically induced bound states that motivates the problem.","marker":"[4]"}],"fun_headline_variants":["Magnetic field erases bound states in 3D","Compact B field empties discrete spectrum","Local magnetic field kills bound states","Magnetic field wipes out discrete spectrum"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that on the curved part of the tube the potential $\\tilde V(x)$ differs from the planar profile $V(x_1,x_2)$ at the same Cartesian coordinates by no more than the oscillation of $V$ over the cross-section, and that assumption (15) guarantees this; for a bent tube this pointwise comparison is not actually controlled by (15).","fun_headline_variants_meta":{"raw":{"variants":["Magnetic field erases bound states in 3D","Compact B field empties discrete spectrum","Local magnetic field kills bound states","Magnetic field wipes out discrete spectrum"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000928,"raw_usage":{"total_tokens":3956,"prompt_tokens":910,"completion_tokens":3046,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":526,"completion_tokens_details":{"reasoning_tokens":2991}},"tokens_in":526,"tokens_out":3046,"duration_ms":22675,"temperature":1.0,"reasoning_tokens":2991,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:17:16.912079+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $V\\equiv 1$ on a cross-section $\\omega$, so the oscillation in (15) is zero and the condition holds for any $B_3^0$. If the tube bends sharply inside $B(0,s_0)$, there is a positive-volume set where $x$ lies in the tube while $(x_1,x_2)\\notin\\omega$, making $\\tilde V(x)-V(x_1,x_2)=1$; compute the quadratic form on the trial function $\\phi f$ and compare the negative discrepancy integral with the magnetic lower bound $(\\alpha\\beta_f B_3^0/2)\\int|\\phi|^2$. If an eigenvalue below $e$ persists as $B_3^0$ grows, Theorem 2's condition is not sufficient.","supporting_citations":[{"cited_title":"Exner, Soft quantum waveguides in three dimensions, J","cited_arxiv_id":null,"evidence_quote":"Supplies the zero-magnetic-field soft waveguide model whose non-empty discrete spectrum is the main comparison example."},{"cited_title":"Ekholm, H","cited_arxiv_id":null,"evidence_quote":"Establishes the stability mechanism by which magnetic fields can push bound states out of a waveguide's discrete spectrum."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Used in Lemma 1 to guarantee that the ground state of $-\\Delta+Q$ with compactly supported $Q\\le 0$ is positive and nowhere zero."},{"cited_title":"Persson Sundqvist, Magnetic model operators","cited_arxiv_id":null,"evidence_quote":"One source for the asymptotic of the ground-state eigenvalue of the magnetic Neumann Laplacian on a disk."},{"cited_title":"Kachmar, G","cited_arxiv_id":null,"evidence_quote":"Provides the strong-field analysis of the magnetic Laplacian on a disc used in the appendix."},{"cited_title":"Eigenvalues of the Neumann magnetic Laplacian in the unit disk","cited_arxiv_id":"2411.11721","evidence_quote":"Gives eigenvalue results for the magnetic Neumann Laplacian on the unit disk used for the same asymptotic."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Weyl criterion used to prove the essential-spectrum inclusion $[e,\\infty)$."},{"cited_title":"Exner, H","cited_arxiv_id":null,"evidence_quote":"Provides the waveguide background on geometrically induced bound states that motivates the problem."}],"review_version":1}