pith. sign in

arxiv: 2605.23665 · v1 · pith:6SR3IWOKnew · submitted 2026-05-22 · 🧮 math.AP · math-ph· math.MP· math.OC

Approximate controllability in small times of bilinear Schr{\"o}dinger equations with magnetic drift

Eugenio Pozzoli (CNRS , IRMAR) This is my paper

Pith reviewed 2026-05-25 03:48 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MPmath.OC
keywords approximate controllabilitybilinear Schrödinger equationmagnetic driftsmall-time controllabilityelectric potential controlHermite eigenfunctionsFourier modesquantum control
0
0 comments X

The pith

Bilinear Schrödinger equations with magnetic drift are approximately controllable in small times under two sets of conditions on the electric control potentials.

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

The paper proves small-time approximate controllability for bilinear Schrödinger equations whose drift is a magnetic Schrödinger operator and whose control is a multiplicative electric potential. The result holds first on Euclidean space when the control includes a quadratic term plus a generic bounded electric potential and the drift magnetic field is uniform. It holds second on Euclidean space or the torus when the control electric potentials are finite linear combinations of Hermite or Fourier eigenfunctions and the magnetic potential in the drift is any differentiable function. A sympathetic reader cares because the magnetic term models physically relevant effects and small-time controllability is a stronger property than controllability over long times.

Core claim

We prove this property in two circumstances: (i) in R^d, with a quadratic and an additional generic bounded electric potential in the control, and with a uniform magnetic field in the drift; (ii) in R^d or T^d, with control electric potentials supported on a finite number of Hermite or Fourier eigenfunctions, and with any differentiable magnetic potential in the drift.

What carries the argument

The bilinear control structure in which the electric potential multiplies the wave function while the magnetic Schrödinger operator forms the uncontrolled drift term.

If this is right

  • Small-time approximate controllability holds on R^d when the drift magnetic field is uniform and the control electric potential is quadratic plus generic and bounded.
  • Small-time approximate controllability holds on R^d or the torus when the control electric potentials lie in a finite-dimensional space spanned by eigenfunctions and the magnetic potential is differentiable.
  • The result applies equally to the second case on both unbounded Euclidean space and compact toroidal domains.
  • The proofs separate the magnetic drift contribution from the electric control action while preserving density of the reachable set.

Where Pith is reading between the lines

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

  • The finite-eigenfunction support condition shows that controllability can be achieved with controls that act only through a low-dimensional subspace.
  • The uniform-field case may serve as a base from which perturbations to non-uniform magnetic fields could be studied.
  • The distinction between the two cases indicates that genericity can sometimes be traded for finite support when extending the result to variable magnetic potentials.

Load-bearing premise

The bounded electric potential must be generic in the first case, and the controls must be supported on finitely many eigenfunctions with the magnetic potential differentiable in the second case.

What would settle it

An explicit non-generic bounded electric potential on R^d for which the reachable set in small time fails to be dense would show that the first case does not hold in general.

read the original abstract

We study the small-time approximate controllability of bilinear Schr{\"o}dinger equations, where the drift is a magnetic Schr{\"o}dinger operator and the control is an electric potential. We prove this property in two circumstances: (i) in $\mathbb{R}^d$, with a quadratic and an additional generic bounded electric potential in the control, and with a uniform magnetic field in the drift; (ii) in $\mathbb{R}^d$ or $\mathbb{T}^d$, with control electric potentials supported on a finite number of Hermite or Fourier eigenfunctions, and with any differentiable magnetic potential in the drift.

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.

Referee Report

0 major / 1 minor

Summary. The manuscript establishes small-time approximate controllability for bilinear Schrödinger equations with a magnetic Schrödinger operator as drift and electric potential as control. The main results are proved in two settings: (i) on R^d, using a quadratic electric potential plus a generic bounded one in the control together with a uniform magnetic field in the drift; (ii) on R^d or T^d, using controls supported on finitely many Hermite or Fourier eigenfunctions together with an arbitrary differentiable magnetic potential in the drift.

Significance. If the stated proofs hold, the work extends controllability theory for quantum systems to include magnetic drifts under explicit, checkable assumptions (genericity of the bounded potential; finite-mode support plus differentiability). This supplies concrete, physically motivated scenarios in which small-time approximate controllability is guaranteed, which is relevant for applications in quantum control.

minor comments (1)
  1. [Abstract] The provided abstract asserts the existence of proofs but contains no derivation outline, error estimates, or verification of the genericity/differentiability assumptions; the full manuscript text is required to assess the technical arguments.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and the positive assessment of the significance of the results. The report provides a clear summary of the two main settings considered but lists no specific major comments. The recommendation is marked 'uncertain,' which we interpret as a request for further verification of the proofs; we remain available to supply additional details or clarifications on any technical point.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The manuscript presents a direct proof of small-time approximate controllability for bilinear Schrödinger equations under two explicitly stated sets of assumptions (generic bounded electric potential plus uniform magnetic field in case (i); finite eigenfunction support plus differentiability of magnetic potential in case (ii)). No load-bearing step reduces by construction to a fitted parameter, self-referential definition, or self-citation chain; the derivation chain is therefore self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, no explicit free parameters, invented entities, or non-standard axioms are identifiable; the work relies on standard background from PDE theory and control of Schrödinger operators.

axioms (1)
  • standard math Standard functional-analytic properties of magnetic Schrödinger operators on R^d and T^d
    The controllability statements presuppose well-posedness and spectral properties of the drift operator that are standard in the literature.

pith-pipeline@v0.9.0 · 5637 in / 1319 out tokens · 26687 ms · 2026-05-25T03:48:26.204837+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    A GRACHEV , B

    A. A GRACHEV , B. K AZANDJIAN , AND E. P OZZOLI , Good Lie brackets for classical and quantum harmonic oscillators, Systems & Control Letters, (2025)

    work page 2025

  2. [2]

    A GRACHEV AND A

    A. A GRACHEV AND A. S ARYCHEV , Navier-Stokes equations: Controllability by means of low modes forcing, J. Math. Fluid Mech., 7 (2005), pp. 108–152

    work page 2005

  3. [3]

    B ALMASEDA , D

    A. B ALMASEDA , D. L ONIGRO , AND J. M. P ´EREZ -PARDO , Quantum controllability on graph-like manifolds through magnetic potentials and boundary conditions , J. Phys. A, Math. Theor., 56 (2023), p. 36. Id/No 325201

    work page 2023

  4. [4]

    B EAUCHARD , Local controllability of a 1-D Schr¨ odinger equation, J

    K. B EAUCHARD , Local controllability of a 1-D Schr¨ odinger equation, J. Math. Pures Appl. (9), 84 (2005), pp. 851–956

    work page 2005

  5. [5]

    B EAUCHARD , R

    K. B EAUCHARD , R. C ARLES , AND E. P OZZOLI , Small-time approximate controlla- bility of the logarithmic Schr¨ odinger equation, to appear in ESAIM: Control, Optimi- sation and Calculus of Variations, (2026). (arXiv:2510.14461)

    work page arXiv 2026

  6. [6]

    B EAUCHARD AND J.-M

    K. B EAUCHARD AND J.-M. C ORON , Controllability of a quantum particle in a moving potential well, J. Funct. Anal., 232 (2006), pp. 328–389

    work page 2006

  7. [7]

    B EAUCHARD , J.-M

    K. B EAUCHARD , J.-M. C ORON , AND H. T EISMANN , Minimal time for the bilinear control of Schr¨ odinger equations, Systems & Control Letters, 71 (2014), pp. 1–6

    work page 2014

  8. [8]

    B EAUCHARD , J.-M

    K. B EAUCHARD , J.-M. C ORON , AND H. T EISMANN , Minimal time for the approxi- mate bilinear control of Schr¨ odinger equations, Mathematical Methods in the Applied Sciences, 41 (2018)

    work page 2018

  9. [9]

    B EAUCHARD AND C

    K. B EAUCHARD AND C. L AURENT , Local controllability of 1D linear and nonlin- ear Schr¨ odinger equations with bilinear control, J. Math. Pures Appl. (9), 94 (2010), pp. 520–554

    work page 2010

  10. [10]

    B EAUCHARD AND E

    K. B EAUCHARD AND E. P OZZOLI , Small-time approximate controllability of bilin- ear Schr¨ odinger equations and diffeomorphisms, Ann. Inst. H. Poincar ´e Anal. Non Lin´eaire, (2025). published online first

    work page 2025

  11. [11]

    B EAUCHARD AND E

    K. B EAUCHARD AND E. P OZZOLI , Examples of small-time controllable Schr¨ odinger equations, Ann. Henri Poincar´e, 27 (2026), pp. 757–786

    work page 2026

  12. [12]

    C HAMBRION , P

    T. C HAMBRION , P. M ASON , M. S IGALOTTI , AND U. B OSCAIN , Controllability of the discrete-spectrum Schr¨ odinger equation driven by an external field , Ann. Inst. H. Poincar´e Anal. Non Lin´eaire, 26 (2009), pp. 329–349

    work page 2009

  13. [13]

    P. R. C HERNOFF , Essential self-adjointness of powers of generators of hyperbolic equa- tions, Journal of Functional Analysis, 12 (1973), pp. 401–414

    work page 1973

  14. [14]

    F. C. C HITTARO AND P. M ASON , Approximate controllability via adiabatic tech- niques for the three-inputs controlled Schr¨ odinger equation, SIAM J. Control Optim., 55 (2017), pp. 4202–4226

    work page 2017

  15. [15]

    C ORON , On the small-time local controllability of a quantum particle in a mov- ing one-dimensional infinite square potential well , C

    J.-M. C ORON , On the small-time local controllability of a quantum particle in a mov- ing one-dimensional infinite square potential well , C. R., Math., Acad. Sci. Paris, 342 (2006), pp. 103–108

    work page 2006

  16. [16]

    C ORON , S

    J.-M. C ORON , S. X IANG , AND P. ZHANG , On the global approximate controllability in small time of semiclassical 1-d Schr¨ odinger equations between two states with positive quantum densities, Journal of Differential Equations, 345 (2023), pp. 1–44. 14

    work page 2023

  17. [17]

    D UCA , R

    A. D UCA , R. J OLY, AND D. T URAEV , Control of the Schr¨ odinger equation by slow deformations of the domain , Ann. Inst. Henri Poincar ´e C, Anal. Non Lin ´eaire, 41 (2024), pp. 511–553

    work page 2024

  18. [18]

    D UCA AND V

    A. D UCA AND V. NERSESYAN , Bilinear control and growth of Sobolev norms for the nonlinear Schr¨ odinger equation, Journal of the European Mathematical Society, 27 (2025), p. 2603–2622

    work page 2025

  19. [19]

    D UCA AND E

    A. D UCA AND E. P OZZOLI , Small-time controllability for the nonlinear Schr¨ odinger equation on RN via bilinear electromagnetic fields, SIAM J. Control Optim., 63 (2025), pp. s37–s52

    work page 2025

  20. [20]

    K HANEJA , R

    N. K HANEJA , R. B ROCKETT , AND S. J. G LASER , Time optimal control in spin sys- tems, Physical Review A, 63 (2001)

    work page 2001

  21. [21]

    M ASON AND M

    P. M ASON AND M. S IGALOTTI , Generic controllability properties for the bilinear Schr¨ odinger equation, Comm. Partial Differential Equations, 35 (2010), pp. 685–706

    work page 2010

  22. [22]

    N ERSESYAN , Growth of Sobolev norms and controllability of the Schr¨ odinger equa- tion, Comm

    V. N ERSESYAN , Growth of Sobolev norms and controllability of the Schr¨ odinger equa- tion, Comm. Math. Phys., 290 (2009), pp. 371–387

    work page 2009

  23. [23]

    N ERSESYAN , Global approximate controllability for Schr¨ odinger equation in higher Sobolev norms and applications , Ann

    V. N ERSESYAN , Global approximate controllability for Schr¨ odinger equation in higher Sobolev norms and applications , Ann. Inst. H. Poincar ´e Anal. Non Lin ´eaire, 27 (2010), pp. 901–915

    work page 2010

  24. [24]

    R EED AND B

    M. R EED AND B. S IMON , Methods of Modern Mathematical Physics: I. Functional Analysis, Academic Press [Harcourt Brace Jovanovich, Publishers], New York- London, 1972

    work page 1972

  25. [25]

    R EED AND B

    M. R EED AND B. S IMON , Methods of modern mathematical physics. II. Fourier analy- sis, self-adjointness, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975

    work page 1975

  26. [26]

    R EED AND B

    M. R EED AND B. S IMON , Methods of modern mathematical physics. IV. Analysis of operators, Academic Press [Harcourt Brace Jovanovich, Publishers], New York- London, 1978

    work page 1978

  27. [27]

    S HUBIN , Essential self-adjointness for magnetic Schr¨ odinger operators on non- compact manifolds, S ´emin

    M. S HUBIN , Essential self-adjointness for magnetic Schr¨ odinger operators on non- compact manifolds, S ´emin. ´Equ. D ´eriv. Partielles, ´Ec. Polytech., Cent. Math. Lau- rent Schwartz, Palaiseau, 1998-1999 (1999), p. ex. 15

    work page 1998