Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

The Magnetic Laplacian with a Higher-order Vanishing Magnetic Field in a Bounded Domain

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Magnetic ground-state energies are fixed by the vanishing order of the field.

desk verdict Strong leading-order theorems with a genuine proof gap in the one-term expansions; a referee should ask for the omitted lower bounds. read the letter →

arxiv 2505.03690 v1 pith:3ETYUDAC submitted 2025-05-06 math.AP

Zhongwei Shen This is my paper · ORCID
classification math.AP MSC 35P25
keywords magneticLaplacianvanishingfieldgroundstateenergyDirichlet-to-NeumannoperatorasymptoticexpansionsemiclassicalanalysisSchrödingerboundeddomain
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 proves that for a bounded Lipschitz domain, the ground state energies of the magnetic Laplacian with Dirichlet, Neumann, and Dirichlet-to-Neumann conditions grow at explicit powers of the field strength, determined solely by the maximal order at which the magnetic field vanishes. If the field does not vanish to infinite order anywhere in the domain, the bulk operators behave like $β^{{2/(κ*+2)}}$, where κ* is the maximal vanishing order; on the boundary, the Dirichlet-to-Neumann operator behaves like $β^{{1/(κ0+2)}}$. Under additional uniformity conditions on the leading Taylor coefficients at maximal vanishing points, the paper identifies the first nonzero constant in each expansion as a minimum of model eigenvalues on the whole space and on half-spaces. A unified set of operator inequalities replaces the usual localization and commutator arguments, so all three boundary value problems are treated by one mechanism.

What carries the argument

The workhorse is the operator lower bound built from the function m(x,B), defined by 1/m(x,B) = sup{r>0 : max_Q(x,r)|B| ≤ 1/$r^{2}$}. The paper proves c∫_Ω m(x,B)^2|ψ|^2 ≤ ∫_Ω |(D+A)ψ|^2 and a boundary variant c∫_{∂Ω} m(x,B)|ψ|^2 ≤ ∫_{Ω_b} |(D+A)ψ|^2, replacing the usual localization and commutator devices and working uniformly for all three boundary conditions. For the asymptotic expansions, the argument fixes a point y of maximal vanishing order, takes the κ(y)-th Taylor polynomial of B, builds from it a homogeneous polynomial potential A_y, and compares the genuine eigenvalues with the model eigenvalues λ(A_y,R^d), λ_D(A_y,H_{n(y)}), λ_N(A_y,H_{n(y)}), and λ_DN(A_y,H_{n(y)}). Uniformity of these comparisons is controlled by the invariant subspace V_y of the Taylor polynomial, namely the largest subspace on which the top-order polynomial is translation-invariant, together with the non-degeneracy conditions (1.28)-(1.29).

What would settle it

Compute the lowest Dirichlet eigenvalue of (D+βA)^2 on a bounded $C^{{1,1}}$ domain in $R^{2}$ with B_{12}(x,y)=$x^{2}$, for example using the gauge A(x,y)=(0, $x^{3}$/3) on the unit square. The theorem predicts λ_D(βA,Ω) $β^{{-1/2}}$ converges to a positive constant as β→∞. If instead λ_D $β^{{-1/2}}$ drifts to 0 or ∞, or if for a field with κ*=3 the exponent differs from 2/5, the central claim fails.

Watch

Extended reading notes

Core claim

The central claim is that arbitrary finite-order vanishing magnetic fields give universal scaling laws: c $β^{{2/(κ*+2)}}$ ≤ λ_N(βA,Ω) ≤ λ_D(βA,Ω) ≤ C $β^{{2/(κ*+2)}}$ and c $β^{{1/(κ0+2)}}$ ≤ λ_DN(βA,Ω) ≤ C $β^{{1/(κ0+2)}}$ for large β. The sharper Theorems 8.6 and 8.8 add the first term: λ_D(βA,Ω) = Θ_D $β^{{2/(κ*+2)}}$ + O($β^{{1/(κ*+2)+1/(κ*+4)}}$), the analogous expansion for λ_N, and λ_DN(βA,Ω) = Θ_DN $β^{{1/(κ0+2)}}$ + O($β^{{1/(κ0+4)}}$), under the non-degeneracy conditions (1.28)-(1.29) and the distance controls (8.12)-(8.13). The constants Θ_D, Θ_N, Θ_DN are minima over the points of maximal vanishing order of the ground state energies of the homogeneous polynomial model potentials A_y on R^d or on the half-space with inward normal n(y). This unifies previously separate results for non-vanishing fields, discrete wells, and first-order vanishing in two dimensions.

Load-bearing premise

For the sharper one-term expansions, the load-bearing premise is that at every point where the field vanishes to maximal order, the top-order Taylor coefficients stay uniformly non-degenerate in all directions not in the field's invariant subspace, and that maximal points on the boundary can be reached by interior maximal points; the leading-order β-power results do not need these conditions.

Editorial extensions

If this is right

  • For any magnetic field that vanishes only to finite order, the high-field scaling is now pinned: the exponent depends only on the maximal vanishing order, not on the shape of the zero set.
  • The Dirichlet-to-Neumann operator, previously studied mainly for non-vanishing or constant fields, obeys the boundary analogue λ_DN(βA,Ω) ≈ β^{1/(κ0+2)}, with a one-term expansion under the same uniformity conditions.
  • Known results for non-vanishing fields, discrete wells, and first-order vanishing in two dimensions are recovered as special cases of one framework.
  • The leading constants in the expansions are explicit minima over model problems, so computing the prefactor reduces to solving homogeneous polynomial model operators on R^d and on half-spaces.
  • The same lower-bound inequalities are strong enough to support localization estimates for eigenfunctions, which the paper notes as a natural follow-up.
  • If the sharper expansions hold, then measuring the growth rate of λ_D, λ_N, or λ_DN in β gives a direct spectral way to read off the vanishing order of the magnetic field.
  • A testable numerical extension is to take d=2 with B_{12}(x,y)=x^2 (so κ*=2) on the unit square and finite-element compute the lowest Dirichlet eigenvalue for large β; the theorem predicts λ_D(βA,Ω) β^{-1/2} tends to a positive constant.
  • The uniform non-degeneracy conditions (1.28)-(1.29) are likely stronger than necessary; a plausible conjecture is that the one-term expansions persist under a weaker averaged version of the same conditions with the same constants Θ_D, Θ_N, Θ_DN.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper studies the ground state energies of the magnetic Laplacian with Dirichlet, Neumann, and Dirichlet-to-Neumann boundary conditions in a bounded Lipschitz domain, in the strong-field limit \beta\to\infty. It assumes that the magnetic field may vanish to finite, possibly high, order. The main leading-order results (Theorems 1.1 and 1.3) state that \lambda_D,\lambda_N \asymp \beta^{2/(\kappa_*+2)} and \lambda_{DN} \asymp \beta^{1/(\kappa_0+2)} under minimal non-vanishing-to-infinite-order assumptions. Under additional uniform non-degeneracy and distance assumptions, Theorems 8.6 and 8.8 give one-term asymptotic expansions with remainder estimates, with coefficients expressed as ground state energies of model operators associated with Taylor polynomials of the field. The proofs combine quasimode upper bounds, operator lower bounds based on an m-function and uncertainty principle, localization arguments, and comparison with polynomial model problems in half-spaces.

Significance. If fully justified, the paper would provide a unified treatment of Dirichlet, Neumann, and Dirichlet-to-Neumann ground state energies for magnetic fields with arbitrary finite-order vanishing, recovering and extending several known results in the non-vanishing, discrete-well, and first-order vanishing cases. The leading-order theorems are proved with explicit constants that depend only on the dimension, the domain, and the vanishing order, and the model-operator coefficients are parameter-free. The m-function technique avoids localization error terms and works uniformly for all three boundary conditions. The paper also makes concrete new contributions for \kappa_*\ge 2 and for the DtN operator. However, the one-term expansion results rely on omitted lower-bound estimates in Section 5, so the paper is not yet complete as written.

major comments (2)
  1. [§5, Theorems 5.7–5.9] The lower-bound halves of Theorems 5.7, 5.8, and 5.9 are omitted. For example, the proof of Theorem 5.7 states that the lower bound for \lambda_D(A,\Omega\cap Q(0,R)) "may be established in a similar manner, using E(R)", and the proofs of Theorems 5.8 and 5.9 refer to "a similar perturbation argument" without details. These lower bounds are not mirror images of the upper bounds: the comparison set E(R) extends below the graph and is not contained in the half-space, so domain monotonicity does not directly give the required control, and for the Neumann and DtN cases the flattening map changes both the boundary measure and the boundary condition. Since Theorems 6.2–6.4 invoke Theorems 5.7–5.9, and Theorems 8.5, 8.6, and 8.8 in turn invoke Theorems 6.2–6.4, the one-term asymptotic expansions are not fully established as written. This gap does not affect Theorems 1.1 and 1.3, whose proofs are complete.
  2. [§8, Theorem 8.5] The lower bound for \lambda_N in Theorem 8.5 is justified by "a similar argument, using Remark 8.4 and Theorem 6.3". Since Theorem 6.3 inherits the missing lower-bound estimate from Theorem 5.8, and Remark 8.4 relies only on monotonicity of \mu_N, the Neumann half of the one-term expansion has the same gap as the Dirichlet case. A complete proof would need to supply the omitted lower-bound arguments in Section 5 before the expansion theorems can be considered fully proven.
minor comments (4)
  1. [§1, Eq. (1.15)] In the remainder exponent, the symbol "k∗+4" should be "\kappa_*+4".
  2. [§3, proof of Theorem 3.10] The trace inequality line contains the typo "Bx0,2r)", which should read "B(x_0,2r)".
  3. [§5, proof of Proposition 5.1] The phrase "and and" should be reduced to "and".
  4. [§9, Remark 9.11] The claim that the estimates in (6.11) and (6.17) hold uniformly for y\in\partial\Omega in the case \Gamma_*=\partial\Omega needs a separate justification: if B_{12} vanishes identically on an open boundary arc, then \nabla B_{12} is normal to \partial\Omega, so the invariant subspace V is tangent to the boundary and the quantity \tau(y) in (6.10) is zero. Since the proof of Theorem 6.2 uses \tau(y)>0, this case is not covered by the stated hypotheses.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the leading-order bounds and one-term expansions are derived from explicit model-operator estimates; the self-citations provide independent published lemmas, not assumed conclusions.

full rationale

I find no significant circularity. The leading-order Theorems 1.1 and 1.3 are proved by combining quasimode upper bounds (Theorems 2.2 and 2.3) with operator lower bounds (Theorems 3.8 and 3.10). The latter are not assumed: Theorem 3.8 is proved in the paper using the m-function definition (3.24), Lemma 3.4, Lemma 3.6, and a self-cited two-dimensional inequality Lemma 3.5, which quotes [31, Theorem 3.2 with p = 2]. That citation is to a previously published theorem with its own stated hypotheses; it is not a restatement of Theorem 1.1 or of any asymptotic expansion, and the paper supplies the intervening argument from that local inequality to the global lower bound. Likewise, the m-function is taken from the author's earlier work [30], but the crucial inequality connecting it to the magnetic Schrödinger form is re-proved here as Theorem 3.8, so it is not an unverified black-box import. The sharp upper bounds in Section 7 and the two-sided expansions in Theorems 8.6 and 8.8 are derived from the local model estimates in Theorems 6.1–6.4, which in turn rest on rescaling, tiling, and perturbation arguments in Lemmas 5.2–5.6. The constants Θ_D, Θ_N, and Θ_DN are defined as ground-state energies of homogeneous polynomial model operators in (1.22)–(1.23); they are not fitted parameters or disguised inputs. The additional hypotheses such as (1.28)–(1.29), (8.12)–(8.13), and (7.10) are explicitly stated assumptions used to make error constants uniform; they are not consequences of the target asymptotic formulas. The omitted lower-bound details in Theorems 5.7–5.9 are a proof-completeness concern, not a circularity concern, since the stated estimates do not presuppose the conclusions of Theorems 8.6 and 8.8.

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

The central lower-bound technique relies on standard analytic tools and the author's published d=2 estimate. The asymptotic expansion theorems add explicit structural conditions on the Taylor polynomial of B, which are stated as assumptions rather than hidden inputs. No empirical fits or auxiliary constructions are used.

assumptions (6)
  • standard math Fefferman-Phong uncertainty principle (cited [12]) used to connect magnetic field to potential in the lower bounds.
    Invoked in the introduction and implicitly in §3 for proving (1.13)-(1.14); standard external theorem.
  • standard math Poincaré inequality and trace inequality in bounded Lipschitz domains.
    Used in Lemma 3.4 and Theorem 3.10 for interior-to-boundary comparison.
  • standard math A∞ weight theory of Coifman-Fefferman [8] for doubling estimates of |B|.
    Used in Remark 3.1 to justify (3.2)-(3.4).
  • standard math Lemma 3.5, the two-dimensional lower bound of Shen [31, Theorem 3.2 with p=2].
    Imported without proof in Lemma 3.6 for the d=2 estimate; published external result.
  • domain assumption Smooth magnetic potential A ∈ C∞(R^d;R^d) and bounded Lipschitz (or C^{1,1}) domain Ω.
    Main geometric hypothesis for all theorems; C^{1,1} needed for expansions.
  • ad hoc to paper Uniform non-degeneracy conditions (1.28)-(1.29) and distance conditions (8.12)-(8.13) at maximal vanishing sets.
    These are the new technical hypotheses that make the remainder estimates uniform; they are explicit and checkable but specialized to the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Magnetic Laplacian with a Higher-order Vanishing Magnetic Field in a Bounded Domain." pith.science (2026). https://pith.science/paper/3ETYUDAC

@misc{pith2026250503690,
  author       = {Pith},
  title        = {Pith review of: The Magnetic Laplacian with a Higher-order Vanishing Magnetic Field in a Bounded Domain},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3ETYUDAC}},
  note         = {Machine review of arXiv:2505.03690}
}
abstract

This paper is concerned with spectrum properties of the magnetic Laplacian with a higher-order vanishing magnetic field in a bounded domain. We study the asymptotic behaviors of ground state energies for the Dirichlet Laplacian, the Neumann Laplacian, and the Dirichlet-to-Neumann operator, as the field strength parameter $\beta$ goes to infinite. Assume that the magnetic field does not vanish to infinite order, we establish the leading orders of $\beta$. We also obtain the first terms in the asymptotic expansions with remainder estimates under additional assumptions on an invariant subspace for a Taylor polynomial of the magnetic field. Our aim is to provide a unified approach to all three cases.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Boundary Value Problems for the Magnetic Laplacian in Semiclassical Analysis

    math.AP 2025-08 conditional novelty 7.0 of 10

    Boundary value problems for the magnetic Laplacian admit uniform nontangential maximal estimates in Lipschitz domains when the magnetic field is of finite type, extending Jerison-Kenig theory.

Reference graph

Works this paper leans on

31 extracted references · 28 canonical work pages · cited by 1 Pith paper

  1. [1]

    Attar, The ground state energy of the two dimensional Ginzburg-Landa u functional with variable magnetic field , Ann

    K. Attar, The ground state energy of the two dimensional Ginzburg-Landa u functional with variable magnetic field , Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire32 (2015), no. 2, 325–345

    work page 2015

  2. [2]

    Bauman, D

    P. Bauman, D. Phillips, and Q. Tang, Stable nucleation for the Ginzburg-Landau system with an applied magnetic field , Arch. Rational Mech. Anal. 142 (1998), no. 1, 1–43

    work page 1998

  3. [3]

    Catherine Bolley and Bernard Helffer, The Ginzburg-Landau equations in a semi-infinite su- perconducting film in the large κ limit, European J. Appl. Math. 8 (1997), no. 4, 347–367

    work page 1997

  4. [4]

    Bonnaillie-No¨ el and S

    V. Bonnaillie-No¨ el and S. Fournais, Superconductivity in domains with corners , Rev. Math. Phys. 19 (2007), no. 6, 607–637

    work page 2007

  5. [5]

    Bonnaillie-No¨ el and N

    V. Bonnaillie-No¨ el and N. Raymond, Breaking a magnetic zero locus: model operators and numerical approach, ZAMM Z. Angew. Math. Mech. 95 (2015), no. 2, 120–139

    work page 2015

  6. [6]

    Henri Poincar´ e 7 (2006), no

    Virginie Bonnaillie-No¨ el and Monique Dauge, Asymptotics for the low-lying eigenstates of the Schr¨ odinger operator with magnetic field near corners , Ann. Henri Poincar´ e 7 (2006), no. 5, 899–931

    work page 2006

  7. [7]

    Chakradhar, K

    T. Chakradhar, K. Gittins, G. Habib, and N. Peyerimhoff, A note on the magnetic Steklov operator on functions , arXiv:2410.07462v2 (2024)

    arXiv 2024

  8. [8]

    R. R. Coifman and C. Fefferman, Weighted norm inequalities for maximal functions and sin- gular integrals, Studia Math. 51 (1974), 241–250

    work page 1974

Show all 31 references
  1. [9]

    Monique Dauge, Jean-Philippe Miqueu, and Nicolas Raymo nd, On the semiclassical Laplacian with magnetic field having self-intersecting zero set , J. Spectr. Theory 10 (2020), no. 4, 1211– 1252

    2020

  2. [10]

    Felmer, and Peter Sternber g, Boundary concentration for eigen- value problems related to the onset of superconductivity , Comm

    Manuel del Pino, Patricio L. Felmer, and Peter Sternber g, Boundary concentration for eigen- value problems related to the onset of superconductivity , Comm. Math. Phys. 210 (2000), no. 2, 413–446. 43

    2000

  3. [11]

    Nicolas Dombrowski and Nicolas Raymond, Semiclassical analysis with vanishing magnetic fields, J. Spectr. Theory 3 (2013), no. 3, 423–464

    2013

  4. [12]

    Fefferman, The uncertainty principle , Bull

    Charles L. Fefferman, The uncertainty principle , Bull. Amer. Math. Soc. (N.S.) 9 (1983), no. 2, 129–206

    1983

  5. [13]

    Soren Fournais and Bernard Helffer, Accurate eigenvalue asymptotics for the magnetic Neu- mann Laplacian, Ann. Inst. Fourier (Grenoble) 56 (2006), no. 1, 1–67

    2006

  6. [14]

    77, Birkh¨ auser Boston, Inc., Boston, MA, 2010

    , Spectral methods in surface superconductivity, Progress in Nonlinear Differential Equa- tions and their Applications, vol. 77, Birkh¨ auser Boston, Inc., Boston, MA, 2010

    2010

  7. [15]

    Congr., vol

    Bernard Helffer, Introduction to semi-classical methods for the Schr¨ odinger operator with mag- netic field , Aspects th´ eoriques et appliqu´ es de quelques EDP issues d e la g´ eom´ etrie ou de la physique, S´ emin. Congr., vol. 17, Soc. Math. France, Paris , 2009, pp. 49–117

    2009

  8. [16]

    Bernard Helffer and Ayman Kachmar, Helical magnetic fields and semi-classical asymptotics of the lowest eigenvalue , Doc. Math. 28 (2023), no. 4, 857–901

    2023

  9. [17]

    Bernard Helffer, Ayman Kachmar, and Francois Nicoleau, Asymptotics for the magnetic Dirichlet-to-Neumann eigenvalues in general domains , Preprint, arXiv:2501.00947v1 (2025)

    2025 arXiv

  10. [18]

    Bernard Helffer and Abderemane Mohamed, Semiclassical analysis for the ground state energy of a Schr¨ odinger operator with magnetic wells , J. Funct. Anal. 138 (1996), no. 1, 40–81

    1996

  11. [19]

    Bernard Helffer and Abderemane Morame, Magnetic bottles in connection with superconduc- tivity, J. Funct. Anal. 185 (2001), no. 2, 604–680

    2001

  12. [20]

    , Magnetic bottles for the Neumann problem: curvature effects in the case of dimension 3 (general case) , Ann. Sci. ´Ecole Norm. Sup. (4) 37 (2004), no. 1, 105–170

    2004

  13. [21]

    Nicoleau, On the magnetic Dirichlet to Neumann operator on the disk– strong diamagnetism and strong magnetic field limit , arXiv:2411.15522v2 (2024)

    Bernard Helffer and F. Nicoleau, On the magnetic Dirichlet to Neumann operator on the disk– strong diamagnetism and strong magnetic field limit , arXiv:2411.15522v2 (2024)

    2024 arXiv

  14. [22]

    Ayman Kachmar and Mohammad Wehbe, Averaging of magnetic fields and applications , Com- mun. Contemp. Math. 25 (2023), no. 2, Paper No. 2150108, 25

    2023

  15. [23]

    Kening Lu and Xing-Bin Pan, Eigenvalue problems of Ginzburg-Landau operator in bounded domains, J. Math. Phys. 40 (1999), no. 6, 2647–2670

    1999

  16. [24]

    Henri Poincar´ e19 (2018), no

    Jean-Philippe Miqueu, Eigenstates of the Neumann magnetic Laplacian with vanishi ng mag- netic field , Ann. Henri Poincar´ e19 (2018), no. 7, 2021–2068

    2018

  17. [25]

    Richard Montgomery, Hearing the zero locus of a magnetic field , Comm. Math. Phys. 168 (1995), no. 3, 651–675

    1995

  18. [26]

    Xing-Bin Pan and Keng-Huat Kwek, Schr¨ odinger operators with non-degenerately vanishing magnetic fields in bounded domains , Trans. Amer. Math. Soc. 354 (2002), no. 10, 4201–4227

    2002

  19. [27]

    Henri Poincar´ e10 (2009), no

    Nicolas Raymond, Sharp asymptotics for the Neumann Laplacian with variable ma gnetic field: case of dimension 2 , Ann. Henri Poincar´ e10 (2009), no. 1, 95–122

    2009

  20. [28]

    27, European Mathematical Society (EMS), Z¨ urich, 201 7

    , Bound states of the magnetic Schr¨ odinger operator , EMS Tracts in Mathematics, vol. 27, European Mathematical Society (EMS), Z¨ urich, 201 7. 44

  21. [29]

    c, Geometry and spectrum in 2D magnetic wells , Ann

    Nicolas Raymond and San V˜ u Ngo. c, Geometry and spectrum in 2D magnetic wells , Ann. Inst. Fourier (Grenoble) 65 (2015), no. 1, 137–169

    2015

  22. [30]

    Zhongwei Shen, Lp estimates for Schr¨ odinger operators with certain potenti als, Ann. Inst. Fourier (Grenoble) 45 (1995), no. 2, 513–546

    1995

  23. [31]

    , On bounds of N (λ) for a magnetic Schr¨ odinger operator, Duke Math. J. 94 (1998), no. 3, 479–507. Zhongwei Shen, Department of Mathematics, University of Ke ntucky, Lexington, Kentucky 40506, USA. E-mail: zshen2@uky.edu 45

    1998

Pith tools

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