Pith. sign in

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 →

arxiv 2606.10685 v1 pith:7H6JJ3XM submitted 2026-06-09 math.AP math-phmath.MP

classification math.APmath-phmath.MP
keywords fractionalSchrödingerequationAmrein-BerthieruncertaintydynamicallocalizationLaplaciandispersiveestimatesstationaryphase
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 a quantitative uncertainty principle for solutions of the fractional Schrödinger equation. It shows that if a solution is mostly concentrated in a finite-measure set E at time zero and in F at time T, then its L2 norm at all times is bounded by the small mass outside E and F. This holds when the power α exceeds one half, with an extra decay condition on the sets when α is between one half and one. The result rules out nonzero solutions that are compactly supported at two different times. It extends similar principles to some perturbed fractional and higher-order operators.

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.

Watch

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

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

  • 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.
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, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

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] §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.
  2. [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.
  3. [§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

0 responses · 0 unresolved

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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 1 assumptions · 0 invented entities

The claim rests on standard tools from harmonic analysis (Fourier transforms, stationary phase) and PDE theory; no free parameters, ad-hoc axioms, or new entities appear in the abstract.

assumptions (1)
  • standard math Stationary phase estimates for the fractional kernel determine the threshold α>1/2
    Invoked to set the range where the result holds.

how reviews work

0 comments
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$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 2 canonical work pages

  1. [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

  2. [2]

    Heat Kernels. Internetseminar 2005/2006

    W. Arendt. “Heat Kernels. Internetseminar 2005/2006”

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

Show all 26 references
  1. [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

  2. [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

  3. [11]

    M. B. Erdo˘ gan, M. Goldberg, and W. Green.Dispersive estimates for fractional order Schr¨ odinger operators. 2025. arXiv:2509.18002 [math.AP]

  4. [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]

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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...

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.