A semiclassical Birkhoff normal form for symplectic magnetic wells

L\'eo Morin (IRMAR)

arxiv: 1907.03493 · v1 · pith:M7NR37QInew · submitted 2019-07-08 · 🧮 math.SP · math-ph· math.AP· math.MP

A semiclassical Birkhoff normal form for symplectic magnetic wells

L\'eo Morin (IRMAR) This is my paper

Pith reviewed 2026-05-25 00:51 UTC · model grok-4.3

classification 🧮 math.SP math-phmath.APmath.MP

keywords Birkhoff normal formmagnetic Schrödinger operatorsemiclassical asymptoticseigenvalue expansionWeyl asymptoticsmagnetic wells

0 comments

The pith

A Birkhoff normal form reduces semiclassical magnetic Schrödinger operators to a model whose first eigenvalues expand in powers of h to the one-half.

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

The paper constructs a Birkhoff normal form for a semiclassical magnetic Schrödinger operator with non-degenerate magnetic field and discrete magnetic well on an even-dimensional Riemannian manifold. This normal form is then used to derive an asymptotic expansion of the lowest eigenvalues in powers of the square root of Planck's constant and to obtain semiclassical Weyl asymptotics for the spectrum. A reader would care because the normal form converts a complicated quantum-magnetic system into a simpler effective model whose spectrum can be read off directly in the small-h limit.

Core claim

We construct a Birkhoff normal form for a semiclassical magnetic Schrödinger operator with non-degenerate magnetic field, and discrete magnetic well, defined on an even dimensional Riemannian manifold M. We use this normal form to get an expansion of the first eigenvalues in powers of h^{1/2}, and semiclassical Weyl asymptotics for this operator.

What carries the argument

The Birkhoff normal form for the magnetic Schrödinger operator near a discrete magnetic well, which reduces the operator to a quadratic model whose spectrum is explicitly computable.

If this is right

The lowest eigenvalues of the operator admit an expansion in powers of h^{1/2}.
Semiclassical Weyl asymptotics hold for the eigenvalue counting function of the operator.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The construction supplies a systematic way to obtain higher-order corrections in the eigenvalue expansion beyond the leading terms stated.
The same reduction technique may be tested on other semiclassical operators whose principal symbol has a similar quadratic minimum structure.

Load-bearing premise

The magnetic field is non-degenerate and the magnetic well is discrete on an even-dimensional Riemannian manifold.

What would settle it

Compute the first eigenvalues numerically for a concrete example such as the two-torus with constant non-degenerate magnetic field and check whether they fail to match the predicted leading-order expansion in powers of h^{1/2}.

read the original abstract

In this paper we construct a Birkhoff normal form for a semiclassical magnetic Schr{\"o}dinger operator with non-degenerate magnetic field, and discrete magnetic well, defined on an even dimensional riemannian manifold M. We use this normal form to get an expansion of the first eigenvalues in powers of h^{1/2}, and semiclassical Weyl asymptotics for this operator.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper constructs a Birkhoff normal form for magnetic Schrödinger operators yielding h^{1/2} eigenvalue expansions, but the abstract alone gives no way to check the actual construction or estimates.

read the letter

The paper constructs a Birkhoff normal form for semiclassical magnetic Schrödinger operators under the conditions of a non-degenerate magnetic field and a discrete magnetic well on an even-dimensional Riemannian manifold. It uses this to obtain expansions of the first eigenvalues in powers of h^{1/2} and semiclassical Weyl asymptotics. This appears new in its specific application to symplectic magnetic wells with those expansion terms. Standard Birkhoff normal forms exist in semiclassical theory, but the magnetic adaptation with the stated orders looks like a targeted development. The work states its assumptions clearly and focuses on a concrete application to eigenvalue asymptotics. That is a positive point for clarity. The main soft spot is the absence of any derivation steps, error estimates, or proof sketches in what is available. This makes it impossible to check the coordinate changes or whether the normal form procedure works without obstruction under the given conditions. The central claim cannot be verified from the abstract alone. This paper is for people working in semiclassical analysis and spectral theory with magnetic fields. A reader in that niche could find the normal form construction useful for further asymptotics work if the details are solid. I would bring it to a reading group only if the full paper is supplied for discussion. I would not cite it yet because the result is not verified. It deserves peer review to have the proofs examined by experts in the area.

Referee Report

1 major / 0 minor

Summary. The paper constructs a Birkhoff normal form for the semiclassical magnetic Schrödinger operator with non-degenerate magnetic field and discrete magnetic well on an even-dimensional Riemannian manifold M. This normal form is then used to derive an asymptotic expansion of the lowest eigenvalues in powers of √h and to obtain semiclassical Weyl asymptotics for the operator.

Significance. If the normal-form construction and the resulting expansions hold, the work would provide a systematic tool for analyzing the low-lying spectrum of magnetic Schrödinger operators in the semiclassical limit on manifolds, extending classical Birkhoff normal-form techniques to the magnetic setting. Such expansions are of interest in spectral geometry and quantum mechanics with magnetic fields.

major comments (1)

The provided context supplies only the abstract; no derivation of the normal form, no coordinate changes, no error estimates, and no proof sketches are available for inspection. Consequently the central claims cannot be verified for internal consistency or for whether the stated hypotheses (non-degenerate field, discrete well, even dimension) suffice to remove all obstructions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report on our manuscript. The single major comment raises a concern about the availability of technical details for verification. We address this point directly below.

read point-by-point responses

Referee: The provided context supplies only the abstract; no derivation of the normal form, no coordinate changes, no error estimates, and no proof sketches are available for inspection. Consequently the central claims cannot be verified for internal consistency or for whether the stated hypotheses (non-degenerate field, discrete well, even dimension) suffice to remove all obstructions.

Authors: The full manuscript (arXiv:1907.03493) contains the complete construction: a sequence of symplectic changes of coordinates adapted to the magnetic 2-form that put the semiclassical magnetic Schrödinger operator into Birkhoff normal form up to controlled remainders. The non-degeneracy of the magnetic field supplies the necessary non-resonance conditions at each step, while the discrete-well assumption localizes the analysis near the minimum; even dimensionality ensures that the magnetic symplectic form is compatible with the standard Darboux coordinates without additional topological obstructions. Explicit error estimates in powers of √h are derived and used to obtain the eigenvalue expansion and the semiclassical Weyl law. The referee is invited to consult the full text, which was submitted together with the abstract. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper presents a mathematical construction of a Birkhoff normal form for a semiclassical magnetic Schrödinger operator on an even-dimensional Riemannian manifold under the assumptions of non-degenerate magnetic field and discrete magnetic well. This construction is then used to derive eigenvalue expansions in powers of h^{1/2} and Weyl asymptotics. No load-bearing steps reduce to self-definitions, fitted inputs renamed as predictions, or self-citation chains; the derivation chain relies on standard semiclassical analysis techniques applied to the stated hypotheses without internal reduction to inputs by construction. The abstract and context indicate a self-contained technical result.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities can be extracted beyond the stated non-degeneracy and discreteness assumptions.

pith-pipeline@v0.9.0 · 5580 in / 1093 out tokens · 17537 ms · 2026-05-25T00:51:38.573812+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking contradicts

?

contradicts
CONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.

Assumption 3. We assume that d is even and B(q0) is invertible. In particular, B(q) is invertible for q in a neighborhood of q0, which means that the 2-form B is symplectic near q0.
IndisputableMonolith/Foundation/AlexanderDuality.lean D3_admits_circle_linking contradicts

?

contradicts
CONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.

eigenvalues of B(q0) can be written ±iβ1(q0),…,±iβd/2(q0)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[1]

Agmon, Lectures on exponential decay of solutions of second-order elliptic equations , Math- ematical Notes 29, Princeton University Press, 1982

S. Agmon, Lectures on exponential decay of solutions of second-order elliptic equations , Math- ematical Notes 29, Princeton University Press, 1982

work page 1982
[2]

G. Boil, S. Vu Ngoc, Long-time dynamics of coherent states in strong magnetic ﬁe lds, 2018. hal-01812732

work page 2018
[3]

Bonthonneau, N

Y. Bonthonneau, N. Raymond, WKB constructions in bidimensional magnetic wells , 2017. hal-01633638

work page 2017
[4]

Charles, S

L. Charles, S. Vu Ngoc, Spectral Asymptotics via the semiclassical Birkhoﬀ Normal Fo rm, Duke Math. J., 143(3) : 463-511, 2008. 40 LÉO MORIN

work page 2008
[5]

Colin de Verdiere, L’asymptotique de Weyl pour les bouteilles magnétiques , Commun

Y. Colin de Verdiere, L’asymptotique de Weyl pour les bouteilles magnétiques , Commun. Math. Phys. 105, 327-335, 1986

work page 1986
[6]

Dimassi, J

M. Dimassi, J. Sjöstrand, Spectral Asymptotics in the Semi-Classical Limit , London Mathe- matical Society Lecture Note Series 268, 1999

work page 1999
[7]

Fournais, B

S. Fournais, B. Helﬀer, Spectral methods in surface superconductivity. Progress in Nonlinear Diﬀerential Equations and their Applications, 77. Birkhäu ser Boston Inc., Boston, MA 2010

work page 2010
[8]

Helﬀer, Y

B. Helﬀer, Y. A. Kordyukov, Semiclassical spectral asymptotics for a magnetic Schrödi nger operator with non-vanishing magnetic ﬁeld , Geometric Methods in Physics: XXXII Workshop, Bialowieza, Trends in Mathematics, pages 259-278. Birkhäu ser, Basel 2014

work page 2014
[9]

Helﬀer, A

B. Helﬀer, A. Mohamed, Semiclassical Analysis for the Ground State Energy of a Schr ödinger Operator with Magnetic Wells , Journal of Functional Analysis, 138 : 40-81, 1996

work page 1996
[10]

Helﬀer, Y

B. Helﬀer, Y. Kordyukov, N. Raymond, S. Vu Ngoc, Magnetic Wells in Dimension Three , Analysis and PDE, 2015

work page 2015
[11]

Helﬀer, J

B. Helﬀer, J. Sjöstrand, Multiple wells in the semi-classical limit 1 , Communications in Partial Diﬀerential Equations, 9:4, 337-408, 1984

work page 1984
[12]

Ivrii, Microlocal Analysis and precise spectral asymptotics

V. Ivrii, Microlocal Analysis and precise spectral asymptotics . Springer Mnographs in Mathe- matics. Springer-Verlag, Berlin 1998

work page 1998
[13]

Keraval, Formules de Weyl par réduction de dimension

P. Keraval, Formules de Weyl par réduction de dimension. Application à de s Laplaciens électro- magnétiques. Thèse de doctorat, 2018

work page 2018
[14]

Y. A. Kordyukov, Semiclassical spectral analysis of Toeplitz operators on sy mplectic manifolds: The case of discrete wells. arXiv: 1809.06799, 2018

work page arXiv 2018
[15]

Marinescu, N

G. Marinescu, N. Savale, Bochner Laplacian and Bergman kernel expansion of semi-posi tive line bundles on a Riemann surface . arXiv: 1811.00992, 2018

work page arXiv 2018
[16]

Martinez, An Introduction to Semiclassical and Microlocal Analysis , Springer, 2002

A. Martinez, An Introduction to Semiclassical and Microlocal Analysis , Springer, 2002

work page 2002
[17]

Duc Tho Nguyen, WKB form of semi-classical spectrum of magnetic Lapalcian wit h discrete wells on two dimensional Riemannian manifold , to appear

work page
[18]

Raymond, Bound States of the Magnetic Schrödinger Operator , EMS Tracts in Mathematics 27, 2017

N. Raymond, Bound States of the Magnetic Schrödinger Operator , EMS Tracts in Mathematics 27, 2017

work page 2017
[19]

Raymond, S

N. Raymond, S. Vu Ngoc, Geometry and Spectrum in 2D Magnetic wells , Ann. Inst. Fourier (Grenoble), 65(1) : 137-169, 2015

work page 2015
[20]

Sjöstrand, Semi-excited states in nondegenerate potential wells , Asymptotic Analysis 6 (1992), 29-43

J. Sjöstrand, Semi-excited states in nondegenerate potential wells , Asymptotic Analysis 6 (1992), 29-43

work page 1992
[21]

Vu Ngoc, Systèmes intégrables semi-classiques: du local au global , volume 22 of Panoramas et Synthèses

S. Vu Ngoc, Systèmes intégrables semi-classiques: du local au global , volume 22 of Panoramas et Synthèses . Société Mathématique de France, Paris 2006

work page 2006
[22]

Vu Ngoc, Quantum Birkhoﬀ normal forms and semiclassical analysis , Noncommutativity and singularities, volume 55 of Adv

S. Vu Ngoc, Quantum Birkhoﬀ normal forms and semiclassical analysis , Noncommutativity and singularities, volume 55 of Adv. Stud. Pure Math., pages 99-116. Math. Soc. Japan, Tokyo 2009

work page 2009
[23]

Weinstein, Symplectic manifolds and their Lagrangian submanifolds , Advances in Math

A. Weinstein, Symplectic manifolds and their Lagrangian submanifolds , Advances in Math. 6 (1971), p. 329-346

work page 1971
[24]

Zworski, Semiclassical Analysis, Graduate Studies in Mathematics 138, 2012

M. Zworski, Semiclassical Analysis, Graduate Studies in Mathematics 138, 2012. Univ Rennes, CNRS, IRMAR - UMR 6625, F-35000 Rennes, France

work page 2012

[1] [1]

Agmon, Lectures on exponential decay of solutions of second-order elliptic equations , Math- ematical Notes 29, Princeton University Press, 1982

S. Agmon, Lectures on exponential decay of solutions of second-order elliptic equations , Math- ematical Notes 29, Princeton University Press, 1982

work page 1982

[2] [2]

G. Boil, S. Vu Ngoc, Long-time dynamics of coherent states in strong magnetic ﬁe lds, 2018. hal-01812732

work page 2018

[3] [3]

Bonthonneau, N

Y. Bonthonneau, N. Raymond, WKB constructions in bidimensional magnetic wells , 2017. hal-01633638

work page 2017

[4] [4]

Charles, S

L. Charles, S. Vu Ngoc, Spectral Asymptotics via the semiclassical Birkhoﬀ Normal Fo rm, Duke Math. J., 143(3) : 463-511, 2008. 40 LÉO MORIN

work page 2008

[5] [5]

Colin de Verdiere, L’asymptotique de Weyl pour les bouteilles magnétiques , Commun

Y. Colin de Verdiere, L’asymptotique de Weyl pour les bouteilles magnétiques , Commun. Math. Phys. 105, 327-335, 1986

work page 1986

[6] [6]

Dimassi, J

M. Dimassi, J. Sjöstrand, Spectral Asymptotics in the Semi-Classical Limit , London Mathe- matical Society Lecture Note Series 268, 1999

work page 1999

[7] [7]

Fournais, B

S. Fournais, B. Helﬀer, Spectral methods in surface superconductivity. Progress in Nonlinear Diﬀerential Equations and their Applications, 77. Birkhäu ser Boston Inc., Boston, MA 2010

work page 2010

[8] [8]

Helﬀer, Y

B. Helﬀer, Y. A. Kordyukov, Semiclassical spectral asymptotics for a magnetic Schrödi nger operator with non-vanishing magnetic ﬁeld , Geometric Methods in Physics: XXXII Workshop, Bialowieza, Trends in Mathematics, pages 259-278. Birkhäu ser, Basel 2014

work page 2014

[9] [9]

Helﬀer, A

B. Helﬀer, A. Mohamed, Semiclassical Analysis for the Ground State Energy of a Schr ödinger Operator with Magnetic Wells , Journal of Functional Analysis, 138 : 40-81, 1996

work page 1996

[10] [10]

Helﬀer, Y

B. Helﬀer, Y. Kordyukov, N. Raymond, S. Vu Ngoc, Magnetic Wells in Dimension Three , Analysis and PDE, 2015

work page 2015

[11] [11]

Helﬀer, J

B. Helﬀer, J. Sjöstrand, Multiple wells in the semi-classical limit 1 , Communications in Partial Diﬀerential Equations, 9:4, 337-408, 1984

work page 1984

[12] [12]

Ivrii, Microlocal Analysis and precise spectral asymptotics

V. Ivrii, Microlocal Analysis and precise spectral asymptotics . Springer Mnographs in Mathe- matics. Springer-Verlag, Berlin 1998

work page 1998

[13] [13]

Keraval, Formules de Weyl par réduction de dimension

P. Keraval, Formules de Weyl par réduction de dimension. Application à de s Laplaciens électro- magnétiques. Thèse de doctorat, 2018

work page 2018

[14] [14]

Y. A. Kordyukov, Semiclassical spectral analysis of Toeplitz operators on sy mplectic manifolds: The case of discrete wells. arXiv: 1809.06799, 2018

work page arXiv 2018

[15] [15]

Marinescu, N

G. Marinescu, N. Savale, Bochner Laplacian and Bergman kernel expansion of semi-posi tive line bundles on a Riemann surface . arXiv: 1811.00992, 2018

work page arXiv 2018

[16] [16]

Martinez, An Introduction to Semiclassical and Microlocal Analysis , Springer, 2002

A. Martinez, An Introduction to Semiclassical and Microlocal Analysis , Springer, 2002

work page 2002

[17] [17]

Duc Tho Nguyen, WKB form of semi-classical spectrum of magnetic Lapalcian wit h discrete wells on two dimensional Riemannian manifold , to appear

work page

[18] [18]

Raymond, Bound States of the Magnetic Schrödinger Operator , EMS Tracts in Mathematics 27, 2017

N. Raymond, Bound States of the Magnetic Schrödinger Operator , EMS Tracts in Mathematics 27, 2017

work page 2017

[19] [19]

Raymond, S

N. Raymond, S. Vu Ngoc, Geometry and Spectrum in 2D Magnetic wells , Ann. Inst. Fourier (Grenoble), 65(1) : 137-169, 2015

work page 2015

[20] [20]

Sjöstrand, Semi-excited states in nondegenerate potential wells , Asymptotic Analysis 6 (1992), 29-43

J. Sjöstrand, Semi-excited states in nondegenerate potential wells , Asymptotic Analysis 6 (1992), 29-43

work page 1992

[21] [21]

Vu Ngoc, Systèmes intégrables semi-classiques: du local au global , volume 22 of Panoramas et Synthèses

S. Vu Ngoc, Systèmes intégrables semi-classiques: du local au global , volume 22 of Panoramas et Synthèses . Société Mathématique de France, Paris 2006

work page 2006

[22] [22]

Vu Ngoc, Quantum Birkhoﬀ normal forms and semiclassical analysis , Noncommutativity and singularities, volume 55 of Adv

S. Vu Ngoc, Quantum Birkhoﬀ normal forms and semiclassical analysis , Noncommutativity and singularities, volume 55 of Adv. Stud. Pure Math., pages 99-116. Math. Soc. Japan, Tokyo 2009

work page 2009

[23] [23]

Weinstein, Symplectic manifolds and their Lagrangian submanifolds , Advances in Math

A. Weinstein, Symplectic manifolds and their Lagrangian submanifolds , Advances in Math. 6 (1971), p. 329-346

work page 1971

[24] [24]

Zworski, Semiclassical Analysis, Graduate Studies in Mathematics 138, 2012

M. Zworski, Semiclassical Analysis, Graduate Studies in Mathematics 138, 2012. Univ Rennes, CNRS, IRMAR - UMR 6625, F-35000 Rennes, France

work page 2012