Pith. sign in

REVIEW 4 major objections 4 minor 2 cited by

Decay estimates for Schr\"{o}dinger's equation with magnetic potentials in three dimensions

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

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

Pith's one-line read Magnetic Schrödinger solutions decay exactly like the free wave, at rate |t|^{-3/2} in three dimensions.

desk verdict First L1-to-L∞ decay for magnetic Schrödinger propagators in 3D; the proof looks serious, but the central integrand cancellations deserve close referee scrutiny. read the letter →

arxiv 2411.11787 v2 pith:53QD77IZ submitted 2024-11-18 math.AP math-phmath.MP

Marius Beceanu , Hyun-Kyoung Kwon This is my paper · ORCID
classification math.APmath-phmath.MP MSC 35Q4135B4047A1047A4047D08
keywords magneticSchrödingerequationdispersiveestimatesL1-L∞decayresolventKatospacesWienertheoremalgebroidthresholdregularity
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

The paper proves that, in three dimensions, the magnetic Schrödinger evolution, after projection onto the absolutely continuous spectrum, decays in time at the same L1-to-L∞ rate as the free propagator: |t|^{-3/2} times the L1 norm of the initial data. This is the first dispersive bound of this kind proved for a Hamiltonian with a nonzero magnetic potential, a case previously open. The magnetic and electric potentials may be arbitrarily large as long as they are short-range and obey the stated regularity, and the same method yields wave-equation decay estimates. The argument works by showing that a certain four-term operator built from the free resolvent and the potential is invertible in a Banach-lattice algebroid, reducing the perturbed resolvent to the free one.

What carries the argument

The central object is the algebroid U(X,Y) of operator kernels T(ρ,y,x) whose integral in ρ is a bounded operator from X to Y, together with its Fourier-transformed version Û(X,Y); composition in ρ corresponds to pointwise composition of the Fourier transforms. The proof decomposes the Kato–Birman style operator T = R0 U R0 U# into four terms T1,...,T4 and proves, in Proposition 9, that T1 ∈ Û(L∞) ∩ Û(K*_log) by integrating its kernel over ellipsoids Σ_ρ = {|x-y|+|y-z|=ρ}; there singular contributions cancel in pairs, leaving terms bounded through logarithmic Kato spaces. Wiener's theorem then converts the pointwise invertibility of I - T̂(λ) for all λ ∈ R into invertibility of I - T in the algebroid, yielding the resolvent bounds (18)-(19) that imply the L1→L∞ decay.

What would settle it

Construct magnetic and electric potentials A ∈ X0, V ∈ Y0 such that 0 is a resonance or eigenvalue for H_-1 = -Δ - ∇A - V but is regular for H, and compute the L1→L∞ norm of $e^{{itH}}$P_ac; if the |t|^{-3/2} rate persists, the H_-1 condition is superfluous, and if the rate is slower or the norm grows, the condition is necessary.

Watch

Extended reading notes

Core claim

Theorem 1 establishes the sharp dispersive estimate ||$e^{{itH}}$ P_ac f||_{L∞} ≲ |t|^{-3/2} ||f||_{L1} for every self-adjoint magnetic Schrödinger Hamiltonian H = -Δ + ∇A + V with A in X0 and V in Y0, provided 0 is neither an eigenvalue nor a resonance for H and for the sign-reversed Hamiltonian H_-1 = -Δ - U, or alternatively if the potentials are small in norm. The discovery is that the magnetic gradient term ∇A, which prevents the resolvent from acting on ordinary Kato spaces, can still be handled through a decomposition T = R0 U R0 U# into four operators, of which the hardest one, T1 = R0 ∇A R0 ∇A#, is shown to lie in the algebroid spaces Û(L∞) and Û(K*_log) via delicate cancellations in ellipsoidal coordinates. Once (I - T)^{-1} is obtained by Wiener's theorem, the perturbed resolvent inherits the free-resolvent mapping properties R(λ²) ∈ Û(K,L∞) ∩ Û(L1,K*_log) and ∂_λ R(λ²) ∈ Û(L1,L∞), which directly yields the $t^{{-3/2}}$ decay.

Load-bearing premise

The proof needs 0 to be a regular point of the spectrum for both H and its sign-reversed counterpart H_-1 = -Δ - U; if 0 is an eigenvalue or resonance for either operator, the invertibility step at λ = 0 fails and the decay rate could change.

Editorial extensions

If this is right

  • The L1→L∞ dispersive estimate for magnetic Schrödinger equations in three dimensions is now established for arbitrarily large short-range potentials, closing a known gap in the literature.
  • Strichartz estimates, reversed Strichartz inequalities, and decay estimates for wave, Klein–Gordon, and related equations with short-range magnetic potentials follow from the same resolvent bounds by functional calculus.
  • The result shows that, apart from bound states, the magnetic Schrödinger flow spreads exactly as the free flow: the |t|^{-3/2} rate is optimal and matches the free propagator.
  • Together with the absence of embedded eigenvalues, the theorem implies that the only possible obstructions to free decay are threshold eigenvalues or resonances at zero energy, which are handled separately in other works.

Reading between the lines

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

  • The four derivatives required on the magnetic potential A are likely an artifact of the proof: the structure of the estimates suggests that only ∇A ∈ K^log and ∇²A ∈ L1 should be needed, so a future refinement may weaken the hypotheses considerably.
  • The condition that 0 be regular for H_-1 = -Δ - U as well as for H is used only to rule out the λ = 0 case in the invertibility proof; a targeted counterexample or numerical experiment could decide whether it is genuinely necessary or merely a convenience.
  • The algebroid method used here could be adapted to endpoint Strichartz estimates and to threshold cases by combining it with the case-by-case analysis of zero-energy eigenstates and resonances already developed for scalar potentials.
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.

Referee Report

4 major / 4 minor

Summary. The paper proves that for a self-adjoint magnetic Schrödinger Hamiltonian H = -Δ + U on R^3, under the assumptions A ∈ X0, V ∈ Y0 and with 0 regular for both H and H_-1 = -Δ - U, the continuous-spectrum propagator satisfies ||e^{itH} P_ac f||_{L∞} ≲ |t|^{-3/2} ||f||_{L1}. The proof follows the Beceanu–Goldberg approach: it represents the perturbed resolvent through the resolvent identity, proves bilinear estimates showing that the relevant operator T lies in a Wiener algebra Û(L∞) ∩ Û(K*_log), applies Wiener's theorem to invert I - T, and derives the decay estimate from the resulting resolvent bounds. The authors also state related wave-equation estimates and prove finiteness of negative eigenvalues in an appendix.

Significance. If correct, this is a substantial result: it provides the first L1 → L∞ dispersive decay estimate for Schrödinger equations with nonzero magnetic potentials, resolving an open problem quoted from [ErGoSc2]. The proof is genuinely parameter-free in the sense that no decay rate is fitted and no spectral parameter is tuned; the main hypotheses, including the threshold regularity assumption, are stated explicitly. The paper also gives credit to prior techniques and includes quite detailed integral estimates in Proposition 9. The main weakness is that some of the most delicate cancellations, and the estimates for ∂_λ T on which the final decay rate depends, are only sketched or described as 'entirely analogous' to earlier computations; these are load-bearing and need to be verified or expanded.

major comments (4)
  1. [§3.1, Proposition 9, around (31)–(48)] The central cancellations in Proposition 9 are asserted rather than fully derived. After reducing the singular terms to (31), the proof replaces ∂R A1 by its line average and then claims the cancellations (41)+(38), (46)+(40), and (48)+(45). These identities are load-bearing: they are what makes T1 belong to Û(L∞) ∩ Û(K*_log), which in turn feeds into the invertibility of I - T and the final t^{-3/2} bound. A missing factor or sign error in any of these identities would break the argument. Please provide the full endpoint evaluations, the justification for the 'spare copy' of (40), and the exact accounting of all terms in (31), (34), and (35).
  2. [§3.1, Proposition 12, after (56) and in the T12 analysis] Proposition 12 is essential because (19), the bound ∂λR ∈ Û(L1, L∞), is used directly in the proof of Theorem 1. However, the proof repeatedly states that the required estimates are 'entirely analogous' to those for (34) in Proposition 9, including 'the delicate cancellations that take place there.' Since Proposition 9 itself is only sketched at exactly those delicate points, the verification of Proposition 12 is not complete as written. Please either write out the analogous estimates or state and prove a separate lemma that covers the ∂λ terms with all necessary cancellations.
  3. [Theorem 1 and §2.2] The notation for the magnetic term is ambiguous and potentially inconsistent. The abstract defines H = -Δ + i(A∇ + ∇A) + V, while Theorem 1 states H = -Δ + U = -Δ + ∇A + V. Later, in (14), the phrase '∇A here means the composition of operators' is introduced, but this is not reflected in the statement of Theorem 1. As written, a reader could interpret ∇A as the gradient of the vector field A, which would not give a self-adjoint operator. Please introduce a consistent operator notation, for example defining U explicitly as a first-order differential operator with the chosen coefficients, and state the self-adjointness condition explicitly in Theorem 1.
  4. [§3.2, Proposition 13, λ ≠ 0 step] The proof of invertibility of I - T(λ) for λ ≠ 0 relies on the absence of embedded eigenvalues, citing [KocTat] under 'an assumption weaker than A ∈ L3, V ∈ L3/2.' Since the Hamiltonian here contains a magnetic first-order term, it is not immediately clear that the Carleman-estimate result in [KocTat] applies verbatim. Please state the precise form of the result being cited, or give a short reduction of the magnetic operator to the setting of [KocTat]; this is needed for the λ ≠ 0 part of the Wiener inversion step.
minor comments (4)
  1. [§2.1, definitions (7)–(8)] In (8), the norm for K_{2,log2} is written as ||f||_{K_{2,log}}, which is the same symbol used for the norm of K_{2,log} in (7); please use ||f||_{K_{2,log2}} for the log-squared space.
  2. [§1.2, Theorem 1] The expression 'H = -Δ + ∇A + V' should be rewritten with the operator notation defined in §2.2, or the reader is left with an apparent inconsistency with H = -Δ + i(A∇ + ∇A) + V from the abstract.
  3. [§3.1, Proposition 11] The statement of Proposition 11 uses A ∈ K, but the proof and the surrounding discussion sometimes write A#; please make the use of A and A# uniform in the statement and proof.
  4. [Corollary 14] The use of χ_{t≥0} in the functional calculus identity is not explained; a sentence clarifying the contour/sign convention would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the t^{-3/2} decay is derived from resolvent bounds proved in this paper; the spectral assumptions and cited prior framework are independent of the conclusion.

full rationale

The derivation chain is self-contained in the sense required here. Theorem 1 is deduced from the resolvent bounds (18)--(19) via Fourier inversion; those bounds are the content of Proposition 13, which rests on Propositions 9--12. Proposition 9 is proved by an explicit integral-kernel computation with algebraic cancellations, e.g. (41)+(38), (46)+(40), and (48)+(45), not by importing the conclusion. The only hypothesis that could resemble the target conclusion is Assumption 1 (0 regular for H and H_{-1}), but it is a spectral hypothesis about threshold eigenvalues and resonances; it does not assert decay, and the alternative small-norm branch of Theorem 1 does not use it. The authors' heavy citation of their own earlier work supplies the U-algebra and Wiener inversion framework; the Wiener theorem used is parameter-free and is not equivalent to the magnetic decay estimate, and the new bilinear and linear estimates are proved in this manuscript rather than assumed. There is no fitted parameter called a prediction, no renaming of a known result, and no uniqueness claim used to force the choice of framework. The paper even flags the open question whether the H_{-1} part of Assumption 1 is superfluous, which further shows the assumption is an explicit hypothesis, not a hidden circular input. A reviewer should still scrutinize Proposition 9 and Proposition 12 for correctness, because several estimates are delegated as 'entirely analogous' and a sign error in the cancellations would break the proof; that is a correctness risk, not circularity.

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

No free parameters are fitted and no new entities are postulated. The central claim rests on standard spectral theory, the cited no-embedded-eigenvalues theorem, the Wiener inversion theorem, and two domain assumptions: self-adjointness of the magnetic Hamiltonian and regularity of the threshold at zero.

assumptions (6)
  • domain assumption Spectral theorem and self-adjointness of H = -Delta + i(A grad + grad A) + V for real A and V in the stated spaces.
    Section 1.1 asserts self-adjointness under A in A and V in K; functional calculus and projections P_ac are used throughout. The theorem statement as printed omits the imaginary unit, making the notation ambiguous.
  • standard math Koch-Tataru: no eigenvalues embedded in the continuous spectrum (0, infinity).
    Invoked in Section 1.3 and in the contradiction step of Proposition 13 to rule out nonzero lambda in the kernel of I + R0(lambda^2)U.
  • standard math Wiener theorem for the U-algebroid (Theorem 2).
    Quoted from BecGol3 and used in Proposition 13 to invert I - T in the U spaces under continuity, vanishing, and pointwise invertibility conditions.
  • standard math Goldberg-Schlag Corollary 13: if f is in L1 and its Fourier transform vanishes on a sphere, then R0(lambda^2)f is in L2.
    Used in Proposition 13 to convert a Fourier restriction condition into an L2 eigenfunction, contradicting the absence of embedded eigenvalues.
  • domain assumption Finite speed of propagation for the wave propagator associated with the perturbed Hamiltonian.
    Used in Corollary 14 to assert that the sine propagator kernel vanishes for tau < |x-y|, allowing the point component to be bounded separately.
  • standard math Feshbach lemma and the Gohberg-Sigal Rouché theorem for analytic families of Fredholm operators.
    Used in Appendix A to prove that H has finitely many negative eigenvalues and that threshold eigenvalues or resonances occur only for discrete parameter values.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Decay estimates for Schr\"{o}dinger's equation with magnetic potentials in three dimensions." pith.science (2026). https://pith.science/paper/53QD77IZ

@misc{pith2026241111787,
  author       = {Pith},
  title        = {Pith review of: Decay estimates for Schr\"odinger's equation with magnetic potentials in three dimensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/53QD77IZ}},
  note         = {Machine review of arXiv:2411.11787}
}
abstract

In this paper we prove that Schr\"{o}dinger's equation with a Hamiltonian of the form $H=-\Delta+i(A \nabla + \nabla A) + V$, which includes a magnetic potential $A$, has the same dispersive and solution decay properties as the free Schr\"{o}dinger equation. In particular, we prove $L^1 \to L^\infty$ decay and some related estimates for the wave equation. The potentials $A$ and $V$ are short-range and $A$ has four derivatives, but they can be arbitrarily large. All results hold in three space dimensions.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Decay and Strichartz estimates for critical electromagnetic wave equations on conic manifolds

    math.AP 2025-06 reject novelty 7.0 of 10

    The authors establish microlocalized pointwise decay and Strichartz estimates for electromagnetic wave equations on n-dimensional product cones, with the admissible p-range restricted by the smallest eigenvalue of the...

  2. Dispersive estimates for Schr\"{o}dinger's and wave equations on Riemannian manifolds

    math.AP 2025-01 conditional novelty 6.0 of 10

    On 3D manifolds close to constant negative curvature, wave solutions decay like t^{-1} and Schrödinger solutions like t^{-3/2}, with small metric and potential perturbations allowed.

Reference graph

Works this paper leans on

28 extracted references · 26 canonical work pages · cited by 2 Pith papers

  1. [1]

    Agmon, Spectral properties of Schr\" o dinger operators and scattering theory , Ann

    S. Agmon, Spectral properties of Schr\" o dinger operators and scattering theory , Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 2 (1975), no. 2, pp. 151--218

    work page 1975

  2. [2]

    Beals, Optimal L^ decay for solutions to the wave equation with a potential, Comm

    M. Beals, Optimal L^ decay for solutions to the wave equation with a potential, Comm. Partial Differential Equations 19 (1994), no. 7--8, pp. 1319--1369

    work page 1994

  3. [3]

    Beceanu, New estimates for a time-dependent Schr\" o dinger equation , Duke Mathematical Journal (2011), Vol

    M. Beceanu, New estimates for a time-dependent Schr\" o dinger equation , Duke Mathematical Journal (2011), Vol. 159, No. 3, pp. 417--477

    work page 2011

  4. [4]

    Beceanu, Dispersive estimates in ^3 with threshold eigenstates and resonances, Analysis & PDE 9-4 (2016), pp

    M. Beceanu, Dispersive estimates in ^3 with threshold eigenstates and resonances, Analysis & PDE 9-4 (2016), pp. 813--858

    work page 2016

  5. [5]

    Beceanu, G

    M. Beceanu, G. Chen, Strichartz estimates for the Klein--Gordon equation in R^ 3+1 , Pure Appl. Anal. 4(4), pp. 767--809

    work page

  6. [6]

    Beceanu, M

    M. Beceanu, M. Goldberg, Dispersive estimates for the Schr\" o dinger equation with scaling-critical potential , Communications in Mathematical Physics (2012), Vol. 314, Issue 2, pp. 471--481

    work page 2012

  7. [7]

    Beceanu, M

    M. Beceanu, M. Goldberg, Strichartz estimates and maximal operators for the wave equation in ^3 , Journal of Functional Analysis, Vol. 266, Issue 3, 2014, pp. 1476--1510

    work page 2014

  8. [8]

    Beceanu, M

    M. Beceanu, M. Goldberg, Spectral multipliers and wave propagation for Hamiltonians with a scalar potential, Journal of Functional Analysis (2024), Vol. 286, Issue 6, 110300, doi:10.1016/j.jfa.2023.110300

    arXiv 2024

Show all 28 references
  1. [9]

    Beceanu, M

    M. Beceanu, M. Goldberg, Spectral multipliers II: elliptic and parabolic operators and Bochner-Riesz means, preprint, arXiv:2308.09606

    arXiv

  2. [10]

    o fstr\

    J. Bergh, J. L\" o fstr\" o m, Interpolation Spaces. An Introduction, Springer-Verlag, 1976

    1976

  3. [11]

    Dancona, Kato smoothing and Strichartz estimates for wave equations with magnetic potentials, Comm

    P. Dancona, Kato smoothing and Strichartz estimates for wave equations with magnetic potentials, Comm. Math. Phys. 335 (2015), pp. 1--16

    2015

  4. [12]

    Dancona, L

    P. Dancona, L. Fanelli, Decay estimates for the wave and Dirac equations with a magnetic potential, Comm. Pure Appl. Math. 60 (2007), pp. 357--392

    2007

  5. [13]

    Dancona, L

    P. Dancona, L. Fanelli, Strichartz and smoothing estimates for dispersive equations with magnetic potentials, Comm. Partial Differential Equations 33 (6) (2008) pp. 1082--1112

    2008

  6. [14]

    Dancona, L

    P. Dancona, L. Fanelli, L. Vega, N. Visciglia, Endpoint Strichartz estimates for the magnetic Schrödinger equation, J. Funct. Anal. 258 (2010), pp. 3227--3240

    2010

  7. [15]

    Erdogan, M

    B. Erdogan, M. Goldberg, W. Schlag, Strichartz and smoothing estimates for Schrödinger operators with large magnetic potentials in ^3 , JEMS, 2008, Vol. 10, No. 2, pp. 507--531

    2008

  8. [16]

    Erdogan, M

    B. Erdogan, M. Goldberg, W. Schlag, Strichartz and smoothing estimates for Schr\" o dinger operators with almost critical magnetic potentials in three and higher dimensions , Forum Mathematicum, 2009, Vol. 21, No. 4, pp. 687--722

    2009

  9. [17]

    Erdogan, W

    B. Erdogan, W. Schlag, Dispersive estimates for Schr\" o dinger operators in the presence of a resonance and/or an eigenvalue at zero energy in dimension three: I , Dynamics of PDE, Vol. 1, No. 4, pp. 359--379, 2004

    2004

  10. [18]

    I. T. S. Gohberg, E. I. Sigal, An operator extension of the logarithmic residue theorem and Rouch\'e's theorem, Matematicheskii Sbornik, Novaya Seriya, 1971, Vol. 84(126), No. 4, pp. 607--629

    1971

  11. [19]

    Goldberg, W

    M. Goldberg, W. Schlag, A limiting absorption principle for the three-dimensional Schrödinger equation with L^p potentials, International Mathematics Research Notices, Volume 2004, Issue 75, 2004, pp. 4049--4071

    2004

  12. [20]

    Ionescu, D

    A. Ionescu, D. Jerison, On the absence of positive eigenvalues of Schr\" o dinger operators with rough potentials , Geom. Funct. Anal. 13 (5), pp. 1029–1081 (2003)

    2003

  13. [21]

    Ionescu, W

    A. Ionescu, W. Schlag, Agmon--Kato--Kuroda theorems for a large class of perturbations, Duke Math. J. 131 (2006), no. 3, pp. 397--440

    2006

  14. [22]

    Journ\'e, A

    J. Journ\'e, A. Soffer, C. Sogge, Decay estimates for Schr\" o dinger operators , Vol. 44, Issue 5 (1994), pp. 573--604

    1994

  15. [23]

    Kato, Wave operators and similarity for some non-selfadjoint operators, Math

    T. Kato, Wave operators and similarity for some non-selfadjoint operators, Math. Ann. 162 (1965/1966), pp. 258--279

    1965

  16. [24]

    H. Koch, D. Tataru, Carleman estimates and absence of embedded eigenvalues, Comm. Math. Phys. 267 (2006), no. 2, pp. 419--449

    2006

  17. [25]

    M. Reed, B. Simon, Methods of modern mathematical physics. IV. Analysis of operators, Academic Press [Harcourt Brace Jovanovich, Publishers], New York--London, 1978

    1978

  18. [26]

    Rodnianski, W

    I. Rodnianski, W. Schlag, Time decay for solutions of Schr\" o dinger equations with rough and time-dependent potentials , Invent. Math. 155 (2004), no. 3, pp. 451--513

    2004

  19. [27]

    Simon, Schr\" o dinger semigroups , Bull

    B. Simon, Schr\" o dinger semigroups , Bull. Amer. Math. Soc. 7 (1982), pp. 447--526

    1982

  20. [28]

    Yajima, Dispersive estimates for Schr\" o dinger equations with threshold resonance and eigenvalue , Commun

    K. Yajima, Dispersive estimates for Schr\" o dinger equations with threshold resonance and eigenvalue , Commun. Math. Phys. 259, pp. 475–509 (2005)

    2005

Pith tools

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