REVIEW 3 minor 26 references
Dynamical Amrein-Berthier Uncertainty for Fractional Schr\"odinger Flows
T0 review · 0 major / 3 minor · reviewed 2026-06-27 · grok-4.3
Pith's one-line read For the fractional Schrödinger flow with α > 1/2, two-time localization on finite-measure sets controls the solution norm by its mass outside those sets.
desk verdict This extends the classical Amrein-Berthier uncertainty to fractional Schrödinger flows with a clean interaction-energy condition for 1/2 < α < 1 that matches the kernel decay. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The stationary phase structure of the fractional kernel, which yields sufficient decay to control the evolution between two localized times, together with the interaction energy I_γ(E,F) = ∫ 1_F(x) |x-y|^{2γ} 1_E(y) dx dy for γ = n(1-α)/(2α-1) when α < 1.
What would settle it
A nonzero initial datum whose fractional evolution is supported inside a finite-measure set E at t=0 and inside F at some T≠0, or a counterexample solution when α ≤ 1/2 that violates the bound.
Extended reading notes
Core claim
For the free Hamiltonian H = (-Δ)^α on L²(ℝ^n) with α > 1/2, the fractional Schrödinger flow u(t) = e^{-itH} u(0) satisfies ||u(t)||_{L²} ≲_{E,F,T,n,α} ||u(0)||_{L²(E^c)} + ||u(T)||_{L²(F^c)} whenever E and F have finite measure (with an interaction energy condition when 1/2 < α < 1). This quantitative estimate holds for every t ∈ ℝ and T ≠ 0.
Load-bearing premise
The power α must exceed 1/2 so that the kernel admits enough decay from stationary phase, and for smaller α the sets must have finite interaction energy to compensate.
Editorial extensions
If this is right
- Nonzero solutions cannot vanish outside finite-measure sets at two distinct times.
- For α ≥ 1 the sets E and F need only finite measure, without further restrictions.
- Analogous bounds hold for one-dimensional operators (-∂_x² + V)^α under weighted scattering assumptions on V.
- Similar results apply to higher-order operators (-Δ)^m + V for suitable decaying potentials V.
Reading between the lines
- The bound suggests that the fractional evolution cannot preserve localization in a stronger way than the classical case.
- Extensions might apply to nonlinear fractional Schrödinger equations if the linear estimates control the nonlinearity.
- Similar interaction energies could appear in uncertainty principles for other dispersive flows with fractional dispersion relations.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves dynamical Amrein-Berthier uncertainty principles for the fractional Schrödinger flow u(t) = e^{-itH} u(0) with free Hamiltonian H = (-Δ)^α on L²(ℝ^n), α > 1/2. The central claim is that two-time localization on finite-measure sets E and F implies the quantitative bound ||u(t)||_{L²} ≲_{E,F,T,n,α} ||u(0)||_{L²(E^c)} + ||u(T)||_{L²(F^c)} for all t, with T ≠ 0. For α ≥ 1 the sets may be arbitrary finite-measure sets; for 1/2 < α < 1 the pair (E,F) must satisfy finiteness of the interaction energy I_γ(E,F) with γ = n(1-α)/(2α-1). The threshold α > 1/2 arises from the stationary-phase decay of the fractional kernel. The manuscript also treats one-dimensional perturbed Hamiltonians (-∂_x² + V)^α under weighted scattering assumptions and higher-order operators (-Δ)^m + V for suitable decaying V.
Significance. If the proofs are complete, the work supplies the first quantitative dynamical uncertainty principles for fractional dispersive equations, showing in particular that nonzero solutions cannot have compact support at two distinct times. The stationary-phase analysis of the kernel produces a sharp threshold α > 1/2 together with an explicit, scaling-correct interaction-energy condition that reduces to the classical finite-measure case when α ≥ 1. The results are parameter-free and rest on a direct kernel estimate rather than reduction to prior fitted quantities.
minor comments (3)
- [§1] §1, after Eq. (1.3): the dependence of the implicit constant on T is stated but not tracked through the stationary-phase estimates in §3; a short remark on whether the constant blows up as T → 0 would clarify the two-time nature of the result.
- [Theorem 1.2] Definition of I_γ(E,F) in the statement of Theorem 1.2: the factor |x-y|^{2γ} appears with a positive exponent, but the text does not explicitly note that γ > 0 precisely when α > 1/2; adding this observation would make the range of the theorem self-contained.
- [§4] §4 (one-dimensional perturbed case): the weighted scattering assumption on V is used to control the perturbed kernel, but the proof sketch does not indicate whether the same interaction-energy condition on (E,F) is still required or whether it can be relaxed; a one-sentence clarification would help.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for recommending minor revision. The referee's summary accurately captures the main results on dynamical Amrein-Berthier uncertainty principles for fractional Schrödinger flows, including the threshold α > 1/2 and the interaction energy condition for 1/2 < α < 1.
Circularity Check
No significant circularity identified
full rationale
The paper presents a direct mathematical proof of a dynamical uncertainty principle via stationary-phase analysis of the fractional kernel for H = (-Δ)^α. The threshold α > 1/2 and the explicit interaction-energy exponent γ = n(1-α)/(2α-1) are derived from the kernel decay rates and convergence requirements of the double integral; they are not obtained by fitting parameters to data, self-definition, or reduction to prior fitted quantities. No load-bearing self-citations or ansatz smuggling appear in the derivation chain. The result is self-contained against external benchmarks and does not reduce to its inputs by construction.
Assumptions & free parameters
assumptions (1)
- standard math Stationary phase estimates for the fractional kernel determine the threshold α>1/2
Cite this review
Pith. "Pith review of Dynamical Amrein-Berthier Uncertainty for Fractional Schr\"odinger Flows." pith.science (2026). https://pith.science/paper/7H6JJ3XM
@misc{pith2026260610685,
author = {Pith},
title = {Pith review of: Dynamical Amrein-Berthier Uncertainty for Fractional Schr\"odinger Flows},
year = {2026},
howpublished = {\url{https://pith.science/paper/7H6JJ3XM}},
note = {Machine review of arXiv:2606.10685}
}
abstract
We prove dynamical Amrein-Berthier uncertainty principles for fractional Schr\"odinger flows. For the free Hamiltonian $H=(-\Delta)^\alpha$ on $L^2(\mathbb{R}^n)$, with $\alpha>\frac{1}{2}$, we show that two--time localization on finite measure sets $E,F$ forces the quantitative estimate \begin{equation*} \|u(t)\|_{L^{2}}\lesssim_{E,F,T,n,\alpha} \|u(0)\|_{L^{2}(E^{c})} + \|u(T)\|_{L^{2}(F^{c})}, \qquad T\neq0,\ t\in \mathbb{R} \end{equation*} for $u(t)=e^{-itH}u(0)$ at every time. The threshold $\alpha>\frac{1}{2}$ is tied to the stationary phase structure of the fractional kernel. If $\alpha\ge1$ the sets can be arbitrary finite measure sets; if $\frac{1}{2}<\alpha<1$ we impose the finiteness of a natural interaction energy \begin{equation*} \textstyle \mathcal{I}_{\gamma}(E,F) = \int_{\mathbb{R}^n \times \mathbb{R}^n} \mathbf{1}_{F}(x)|x-y|^{2\gamma}\mathbf{1}_{E}(y)\,dx\,dy<\infty, \qquad \gamma = \frac{n(1-\alpha)}{2 \alpha-1} \end{equation*} of the pair $(E,F)$, essentially equivalent to a sufficiently fast joint decay of the measure of the sets at infinity. In particular, compact support at two distinct times is impossible for a nonzero solution. We also prove corresponding results for one dimensional fractional Hamiltonians $(-\partial_x^2+V)^\alpha$ under weighted scattering assumptions, and for higher order Hamiltonians $(-\Delta)^m+V$ for suitable classes of decaying potentials $V$.
Reference graph
Works this paper leans on
-
[1]
On support properties ofL p-functions and their Fourier transforms
W. O. Amrein and A. M. Berthier. “On support properties ofL p-functions and their Fourier transforms”. In:J. Functional Analysis24.3 (1977), pp. 258–267
1977
-
[2]
Heat Kernels. Internetseminar 2005/2006
W. Arendt. “Heat Kernels. Internetseminar 2005/2006”
2005
-
[3]
On a regularizing effect of Schr¨ odinger type groups
M. Balabane. “On a regularizing effect of Schr¨ odinger type groups”. In:Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire6.1 (1989), pp. 1–14
1989
-
[4]
On Fourier transforms of functions supported on sets of finite Lebesgue measure
M. Benedicks. “On Fourier transforms of functions supported on sets of finite Lebesgue measure”. In:J. Math. Anal. Appl.106.1 (1985), pp. 180–183
1985
-
[5]
Speed of propagation of fractional dispersive waves
B. Choi and S. Walton. “Speed of propagation of fractional dispersive waves”. In: Commun. Pure Appl. Anal.25 (2026), pp. 156–177
2026
-
[6]
Local smoothing properties of Schr¨ odinger equa- tions
P. Constantin and J.-C. Saut. “Local smoothing properties of Schr¨ odinger equa- tions”. In:Indiana Univ. Math. J.38.3 (1989), pp. 791–810
1989
-
[7]
L p-boundedness of the wave operator for the one dimensional Schr¨ odinger operator
P. D’Ancona and L. Fanelli. “L p-boundedness of the wave operator for the one dimensional Schr¨ odinger operator”. In:Comm. Math. Phys.268.2 (2006), pp. 415– 438
2006
-
[8]
A dynamical Amrein-Berthier uncertainty prin- ciple
P. D’Ancona and D. Fiorletta. “A dynamical Amrein-Berthier uncertainty prin- ciple”. In:Calc. Var. Partial Differential Equations65.1 (2026), Paper No. 33, 20
2026
Show all 26 references
-
[9]
Inverse scattering on the line
P. Deift and E. Trubowitz. “Inverse scattering on the line”. In:Comm. Pure Appl. Math.32.2 (1979), pp. 121–251
1979
-
[10]
The negative spectrum of an elliptic opera- tor
Y. V. Egorov and V. A. Kondrat’ev. “The negative spectrum of an elliptic opera- tor”. In:Mat. Sb.181.2 (1990), pp. 147–166
1990
-
[11]
M. B. Erdo˘ gan, M. Goldberg, and W. Green.Dispersive estimates for fractional order Schr¨ odinger operators. 2025. arXiv:2509.18002 [math.AP]
2025
-
[12]
M. B. Erdo˘ gan, M. Goldberg, and W. Green.TheL p-continuity of wave operators for fractional order Schr¨ odinger operators. 2025. arXiv:2509.18003 [math.AP]
2025
-
[13]
A note on endpointL p-continuity of wave operators for classical and higher order Schr¨ odinger operators
M. B. Erdo˘ gan and W. R. Green. “A note on endpointL p-continuity of wave operators for classical and higher order Schr¨ odinger operators”. In:J. Differential Equations355 (2023), pp. 144–161
2023
-
[14]
TheL p-continuity of wave operators for higher order Schr¨ odinger operators
M. B. Erdo˘ gan and W. R. Green. “TheL p-continuity of wave operators for higher order Schr¨ odinger operators”. In:Adv. Math.404 (2022), Paper No. 108450, 41
2022
-
[15]
Hardy’s uncertainty principle, convexity and Schr¨ odinger evolutions
L. Escauriaza, C. E. Kenig, G. Ponce, and L. Vega. “Hardy’s uncertainty principle, convexity and Schr¨ odinger evolutions”. In:J. Eur. Math. Soc. (JEMS)10.4 (2008), pp. 883–907. REFERENCES 17
2008
-
[16]
The sharp Hardy uncertainty principle for Schr¨ odinger evolutions
L. Escauriaza, C. E. Kenig, G. Ponce, and L. Vega. “The sharp Hardy uncertainty principle for Schr¨ odinger evolutions”. In:Duke Math. J.155.1 (2010), pp. 163–187
2010
-
[17]
The uncertainty principle: a mathematical survey
G. B. Folland and A. Sitaram. “The uncertainty principle: a mathematical survey”. In:J. Fourier Anal. Appl.3.3 (1997), pp. 207–238
1997
-
[18]
A Theorem Concerning Fourier Transforms
G. H. Hardy. “A Theorem Concerning Fourier Transforms”. In:J. London Math. Soc.8.3 (1933), pp. 227–231
1933
-
[19]
A uniqueness theorem of Beurling for Fourier transform pairs
L. H¨ ormander. “A uniqueness theorem of Beurling for Fourier transform pairs”. In:Ark. Mat.29.2 (1991), pp. 237–240
1991
-
[20]
Uncertainty principle, minimal escape velocities, and observability inequalities for Schr¨ odinger equations
S. Huang and A. Soffer. “Uncertainty principle, minimal escape velocities, and observability inequalities for Schr¨ odinger equations”. In:Amer. J. Math.143.3 (2021), pp. 753–781
2021
-
[21]
Nazarov’s uncertainty principles in higher dimension
P. Jaming. “Nazarov’s uncertainty principles in higher dimension”. In:J. Approx. Theory149.1 (2007), pp. 30–41
2007
-
[22]
Unique continuation for Schr¨ odinger operators and for higher powers of the Laplacian
I. Laba. “Unique continuation for Schr¨ odinger operators and for higher powers of the Laplacian”. In:Math. Methods Appl. Sci.10.5 (1988), pp. 531–542
1988
-
[23]
Dispersive estimates and asymptotic expansions for Schr¨ odinger equations in dimension one
H. Mizutani. “Dispersive estimates and asymptotic expansions for Schr¨ odinger equations in dimension one”. In:J. Math. Soc. Japan63.1 (2011), pp. 239–261
2011
-
[24]
Local estimates for exponential polynomials and their applications to inequalities of the uncertainty principle type
F. L. Nazarov. “Local estimates for exponential polynomials and their applications to inequalities of the uncertainty principle type”. In:Algebra i Analiz5.4 (1993), pp. 3–66
1993
-
[25]
Unique continuation for Schr¨ odinger operators with unbounded potentials
M. Schechter and B. Simon. “Unique continuation for Schr¨ odinger operators with unbounded potentials”. In:J. Math. Anal. Appl.77.2 (1980), pp. 482–492
1980
-
[26]
Remarks on the controllability of the Schr¨ odinger equation
E. Zuazua. “Remarks on the controllability of the Schr¨ odinger equation”. In:Quan- tum control: mathematical and numerical challenges. Vol. 33. CRM Proc. Lecture Notes. Amer. Math. Soc., Providence, RI, 2003, pp. 193–211. Piero D’Ancona: Dipartimento di Matematica, Sapienza U...
2003
Reviewed June 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.