Three-dimensional magnetic Schr\"odinger operator with the potential supported in a tube

Baruch Schneider; Diana Barseghyan; Juan Bory-Reyes

REVIEW 2 major objections 5 minor 19 references

Three-dimensional magnetic Schr\"odinger operator with the potential supported in a tube

T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict Theorem 1 is fine, but Theorem 2's proof misses a coordinate-identification step, leaving the main emptiness criterion unsupported. read the letter →

arxiv 2505.19365 v3 pith:OKTOTQGX submitted 2025-05-25 math.SP math-phmath.MP

Diana Barseghyan , Juan Bory-Reyes , Baruch Schneider This is my paper · ORCID

classification math.SPmath-phmath.MP MSC 35J1535P1581Q10

keywords magneticSchrödingeroperatoressentialspectrumdiscretequantumwaveguidecompactlysupportedfieldbenttubeboundstatessoft

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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$.

What carries the argument

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)$.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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).

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the 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.

What 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.

The citation pattern looks normal. No fitted parameters, no circular argument; the reliance on Lemma 2 is external and cited.

My 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.

Referee Report

2 major / 5 minor

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.

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 (2)

[Theorem 2 statement] 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.
[Theorem 2 statement and Lemma 2] 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.

minor comments (5)

[Section 2, Weyl sequence computation] In the displayed computation after (10), the term f(x1,y2) should be f(x1,x2).
[References] References [3] and [8] are the same article by Ekholm and Kovařík; one duplicate entry should be removed.
[Equation (18)] 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.
[Introduction and assumptions] 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 2, proof for H2] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the proof relies on external lemmas and genuine hypotheses, not on self-referential reductions.

full rationale

The paper's claims are not derived from their own conclusions. The essential-spectrum stability (Theorem 1) is proved by an explicit Weyl sequence and Neumann bracketing; the only auxiliary operator is the two-dimensional h_V, whose ground state e and eigenfunction f are defined independently of H's spectrum. The emptiness criterion (Theorem 2) does not fit a parameter and then predict it: condition (15) is a genuine hypothesis on V that controls the discrepancy term only if the geometry identifies \tilde V(x(r,theta)) with V(x1,x2); whether that identification is valid for a bent tube is a mathematical correctness issue, not a circularity. The lower magnetic bound uses Lemma 2, whose strong-field asymptotic is cited from external sources (Persson Sundqvist; Kachmar and Miranda; Helffer and Lena), and Lemma 1 from Lieb and Loss. No self-citation is load-bearing: reference [5] is used only as a baseline example, and the authors' own prior papers are not invoked to force the main results. Hence no circular step can be exhibited, and the score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no new particles, forces, or constants beyond the model's potential and magnetic field. All constants in the proof are structural. The main hidden input is an unstated comparability property of the potential under the tube coordinate map.

assumptions (4)

standard math Weyl criterion, Neumann bracketing, and minimax principle are valid tools for the operator H defined by the quadratic form (5).
Used in the proof of Theorem 1 to locate the essential spectrum.
domain assumption The magnetic field is compactly supported, constant on a ball of radius s0, and the curve has a global appropriate Frenet frame.
These hypotheses define the model in Section 1 and are needed for the gauge (8) and the coordinate system.
standard math Lemma 2, the strong-field asymptotic for the Neumann magnetic Laplacian on a disk, is correct and uniform over the radii used in the proof.
The proof of Theorem 2 depends on this cited external result from [10], [12], and [17].
ad hoc to paper The map from tubular coordinates to Cartesian coordinates keeps both the fiber point and the Cartesian point inside omega, and it preserves potential values up to the oscillation bound (15).
This unstated assumption is needed to justify the key estimate in Theorem 2 after equation (20); it does not follow from conditions (14) and (15).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Three-dimensional magnetic Schr\"odinger operator with the potential supported in a tube." pith.science (2026). https://pith.science/paper/OKTOTQGX

@misc{pith2026250519365,
  author       = {Pith},
  title        = {Pith review of: Three-dimensional magnetic Schr\"odinger operator with the potential supported in a tube},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OKTOTQGX}},
  note         = {Machine review of arXiv:2505.19365}
}

abstract

In this paper, we study the following magnetic Schr\"odinger operator in $\mathbb{R}^3$: \[ H=(i \nabla +A)^2- \tilde{V}, \] where $\tilde{V}$ is non-negative potential supported over the tube built along a curve which is a local deformation of a straight one, and $B:=\mathrm{rot}(A)$ is a non-zero and local (i.e., a compact supported) magnetic field. Based on some new strategies, we first prove that the magnetic field does not change the essential spectrum of this system. Finally, in the last section of this paper, we establish the sufficient condition such that the discrete spectrum is empty.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 18 canonical work pages

[5]

Exner, Soft quantum waveguides in three dimensions, J

P. Exner, Soft quantum waveguides in three dimensions, J. Math. Phys. 63, 042103 (2022)

work page 2022
[1]

Bory-Reyes, D

J. Bory-Reyes, D. Barseghyan, B. Schneider, Magnetic Schr ¨odinger operator with the potential supported in a curved two-dimensional strip, Mediterr. J. Math. 21(3) (2024), 1–15

work page 2024
[2]

Barseghyan, P

D. Barseghyan, P. Exner, Magnetic field influence on the discrete spectrum of locally deformed leaky wires, Rep. Math. Phys. 88 (2021), 47–57

work page 2021
[3]

Ekholm, H

T. Ekholm, H. Kova ˇr´ık, Stability of the magnetic Schr ¨odinger operator in a waveguide, Comm. PDE 30 (2005), 539–565

work page 2005
[4]

Exner, H

P. Exner, H. Kovaˇr´ık: Quantum Waveguides, Springer International, Heidelberg 2015

work page 2015
[6]

Ekholm, H

T. Ekholm, H. Kova ˇr´ık, D. Krejˇciˇr´ık, A Hardy inequality in twisted waveguides, Arch. Rational Mech. Anal. 188 (2008), 245–264

work page 2008
[7]

Exner, H

P. Exner, H. Kova ˇr´ık, Spectrum of the Schr ¨odinger operator in a perturbed periodically twisted tube, Lett. Math. Phys. 73 (2005), 183–192

work page 2005
[8]

Ekholm, H

T. Ekholm, H. Kovaˇr´ık, Stability of the Magnetic Schr¨odinger Operator in a Waveguide, Communications in Partial Differential Equations, 30: 539–565, 2005

work page 2005

Show all 19 references

[9]

Exner, P

P. Exner, P. ˇSeba, Bound states in curved quantum wavequides, J. Math. Phys. 30 (1989), 2574–2580

1989
[10]

Hel ffer, C

B. Hel ffer, C. Lena, Eigenvalues of the Neumann magnetic Laplacian in the unit disk, https://arxiv.org/pdf/2411.11721

arXiv
[11]

Klingenberg, A course in di fferential geometry, Springer-Verlag, New York, 1978

W. Klingenberg, A course in di fferential geometry, Springer-Verlag, New York, 1978

1978
[12]

Kachmar, G

A. Kachmar, G. Miranda, The magnetic Laplacian on the disc for strong magnetic fields, Journal of Mathematical Analysis and Applications 546(2) (2025), 129261

2025
[13]

Krej ˇciˇr´ık and N

D. Krej ˇciˇr´ık and N. Raymond, Magnetic E ffects in Curved Quantum Waveguides, Annales Henri Poincare 15 (2014), 1993–2024

2014
[14]

E.H. Lieb, M. Loss, Analysis. Second edition. Graduate Studies in Mathematics 14, American Mathematical Soci- ety, Providence, RI, 2001

2001
[15]

Bon Lavigne, L

E. Bon Lavigne, L. Le Treust, N. Raymond, J. Royer, On Duclos–Exner’s conjecture about waveguides in strong uniform magnetic fields. Forum of Mathematics, Sigma 11 (2023), 1–16

2023
[16]

Laptev and T

A. Laptev and T. Weidl, Hardy inequalities for magnetic Dirichlet forms, Operator Theory: Advances and Appli- cations 108 (1999), 299–305

1999
[17]

Persson Sundqvist, Magnetic model operators

M. Persson Sundqvist, Magnetic model operators. A short review and something new. Lecture at conference in honour of the 70th birthday of Bernard Helffer. April 2019

2019
[18]

M. Reed, B. Simon, Methods of Modern Mathematical Physics, I. Functional Analysis, Academic Press, New York 1981

1981
[19]

Weidl, Remarks on virtual bound states for semi-bounded operators, Communications in Partial Di fferential Equations 124 (1999), 25–60

T. Weidl, Remarks on virtual bound states for semi-bounded operators, Communications in Partial Di fferential Equations 124 (1999), 25–60. 14 DIANA BARSEGHY AN, JUAN BORY-REYES, AND BARUCH SCHNEIDER Department of Mathematics, F aculty of Science, U niversity of Ostra v a, 30. ...

1999

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [5]

Exner, Soft quantum waveguides in three dimensions, J

P. Exner, Soft quantum waveguides in three dimensions, J. Math. Phys. 63, 042103 (2022)

work page 2022

[2] [1]

Bory-Reyes, D

J. Bory-Reyes, D. Barseghyan, B. Schneider, Magnetic Schr ¨odinger operator with the potential supported in a curved two-dimensional strip, Mediterr. J. Math. 21(3) (2024), 1–15

work page 2024

[3] [2]

Barseghyan, P

D. Barseghyan, P. Exner, Magnetic field influence on the discrete spectrum of locally deformed leaky wires, Rep. Math. Phys. 88 (2021), 47–57

work page 2021

[4] [3]

Ekholm, H

T. Ekholm, H. Kova ˇr´ık, Stability of the magnetic Schr ¨odinger operator in a waveguide, Comm. PDE 30 (2005), 539–565

work page 2005

[5] [4]

Exner, H

P. Exner, H. Kovaˇr´ık: Quantum Waveguides, Springer International, Heidelberg 2015

work page 2015

[6] [6]

Ekholm, H

T. Ekholm, H. Kova ˇr´ık, D. Krejˇciˇr´ık, A Hardy inequality in twisted waveguides, Arch. Rational Mech. Anal. 188 (2008), 245–264

work page 2008

[7] [7]

Exner, H

P. Exner, H. Kova ˇr´ık, Spectrum of the Schr ¨odinger operator in a perturbed periodically twisted tube, Lett. Math. Phys. 73 (2005), 183–192

work page 2005

[8] [8]

Ekholm, H

T. Ekholm, H. Kovaˇr´ık, Stability of the Magnetic Schr¨odinger Operator in a Waveguide, Communications in Partial Differential Equations, 30: 539–565, 2005

work page 2005