pith. sign in

arxiv: 2604.11695 · v1 · submitted 2026-04-13 · 🧮 math.AP · math.OC

Observability of Schr\"odinger equations in Euclidean space

Walton Green , Perry Kleinhenz This is my paper

Pith reviewed 2026-05-10 15:06 UTC · model grok-4.3

classification 🧮 math.AP math.OC
keywords observabilitySchrödinger equationgeometric control conditionEuclidean spacefractional Schrödinger equationsemiclassical analysispropagation of singularities
0
0 comments X

The pith

A comb geometric control condition suffices for observability of the Schrödinger equation throughout Euclidean space.

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

The authors introduce the comb geometric control condition, a dynamical requirement on the observation set that is sufficient for observability of the Schrödinger equation on R^n. They show this condition is strictly weaker than the usual requirement that the observation set be open and periodic. For the fractional Schrödinger equation and uniformly continuous observation functions, the standard geometric control condition becomes equivalent to observability and yields observability in arbitrary positive time. The proofs proceed by establishing uncertainty principles for frequency-localized functions through a semiclassical propagation-of-singularities argument.

Core claim

The comb geometric control condition is sufficient for observability of the Schrödinger equation in Euclidean space; for the fractional Schrödinger equation with uniformly continuous observation functions, the geometric control condition is equivalent to observability and implies arbitrary-time observability.

What carries the argument

The comb geometric control condition, a dynamical restriction on the observation set that permits periodic gaps in one coordinate direction while enforcing control in the transverse directions.

If this is right

  • Observability holds for the Schrödinger equation from any set obeying the comb geometric control condition.
  • There exist observation sets that are neither open nor periodic yet still guarantee observability.
  • For the fractional Schrödinger equation, the geometric control condition yields observability in arbitrarily short times when the observation function is uniformly continuous.

Where Pith is reading between the lines

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

  • The comb condition may apply to Schrödinger equations with variable coefficients or potentials if the underlying semiclassical estimates remain valid.
  • Similar equivalence results could hold for other dispersive equations whose semiclassical propagators admit comparable uncertainty principles.

Load-bearing premise

Uncertainty principles for frequency-localized functions continue to hold when derived via semiclassical propagation of singularities in Euclidean space.

What would settle it

An explicit solution of the Schrödinger equation that remains bounded away from zero on a set satisfying the comb condition for all times would disprove sufficiency.

Figures

Figures reproduced from arXiv: 2604.11695 by Perry Kleinhenz, Walton Green.

Figure 1
Figure 1. Figure 1: A periodic set which satisfies the GCC along the yellow horizontal lines. In the vertical direction, the yellow lines satisfy the GCC. manifolds in the unbounded Euclidean setting we obtain a new geometric condi￾tion, which we call comb GCC. This condition is succinctly explained by taking an observation function a : R 2 → [0, 1] which is periodic. Then in general the GCC fails along the horizontal and ver… view at source ↗
Figure 2
Figure 2. Figure 2: A relatively dense set E which cannot be smeared a finite amount in the vertical direction to create an invariant set. vertical direction, but the comb GCC fails. As we will see below, we could salvage the vertical direction θ0 = (0, 1) if it was o(L −1 ) distance from another direction θ1 which satisfied the GCC in time L. But notice that for directions ε away from vertical the GCC is satisfied in precise… view at source ↗
Figure 3
Figure 3. Figure 3: Eβ for β = 1 2 and 1 < x < 12, −1 < y < 1. Also pictured are two rectangles from Rβ,3 λ = √ 3 and λ = q 3 2 . which are uniformly continuous. And under this regularity assumption, actually aβ,L ≥ η for any β ∈ [0, 1) is equivalent to GCC. Lemma 2.3. Suppose a : R d → [0, 1] is uniformly continuous and satisfies aβ,L ≥ η for some β ∈ [0, 1) and L, η > 0. Then a satisfies the GCC. Proof. Suppose towards a co… view at source ↗
Figure 4
Figure 4. Figure 4: A portion of the annulus Aβ,λ is pictured in red. The base of the triangle is λ − 2δλ−β and the hypotenuse is λ − δλ−β . Therefore the height of the yellow rectangle is ∼ λ 1−β 2 (approaching ∞ for β < 1) and its width is 4δλ−β . To verify (b), we note that if ξ ∈ Aβ,λ and outside the rectangle, and ξj = (0, . . . , 0, −λ) is the center of the rectangle, then |ξ − ξj | ≳ λ 1−β 2 . together with their rotat… view at source ↗
Figure 5
Figure 5. Figure 5: The annulus Aβ,λ with an inscribed rectangle. The height of the rectangle is cβδλ 1−β 2 and its width is δλ−β . The rectangle is centered at (0, . . . , 0, −λ + δ 2 λ −β ) such that for all u ∈ L 2 with supp ˆu ⊂ Aβ,λ we have ∥u∥L2 ≤ C ∥au∥L2 . Therefore we have the desired inequality for 1 ≤ λ ≤ λ0 and λ ≥ λ0. 3.4. Proof of Necessity in Theorem C. Suppose there exists C1 > 0 such that ∥u∥L2 ≤ C1 ∥au∥L2 fo… view at source ↗
Figure 6
Figure 6. Figure 6: The shaded region is S. The edge of S passing through ζ is ℓ. is a line segment of length 1/T > δ parallel to θ ⊥ and contained in the bottom of S. For each ζ ∈ ℓ there exists z ∗ ∈ ℓ ∗ such that the θ ⊥ components of z ∗ and ζ differ by n T for some n ∈ Z. Such z ∗ exists due to the fact that the width of ℓ ∗ is exactly 1/T. Moreover each z ∗ is associated to only one ζ in this way, since δ < 1/T. Now, us… view at source ↗
Figure 7
Figure 7. Figure 7: The square θP is contained within the square Q. So consider a : R d → [0, 1] with Λ(a; ρ) < ∞ and assume the result for functions on R d−1 . Then for λ = Λ(a; ρ) + 1, a has a (ρ, λ) effective covering. So for some θ ∈ S d−1 and M Λ(aθ,M; ρ) ≤ Λ(a, ρ). Then by the inductive hypothesis aθ,M is (Ld−1, ηd−1) relatively dense, and by (4.10), M ≤ ρ 2 (Λ(a,ρ)+1) 4 ≤ Ld−1 so aθ,Ld−1 is relatively dense as well. Th… view at source ↗
read the original abstract

In this paper we introduce a new dynamical condition, the comb geometric control condition, which is sufficient for observability of the Schr\"odinger equation in Euclidean space. We provide examples which show this condition is strictly weaker than the observation set being open and periodic. We also prove for the fractional Schr\"odinger equation that for observation functions which are uniformly continuous, the geometric control condition is equivalent to observability and implies arbitrary time observability. The proofs rely on uncertainty principles for frequency localized functions which are proved using a semiclassical propagation of singularities approach.

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

1 major / 2 minor

Summary. The paper introduces a new dynamical condition called the comb geometric control condition (comb GCC), which is shown to be sufficient for observability of the Schrödinger equation on Euclidean space. Examples demonstrate that this condition is strictly weaker than the observation set being open and periodic. For the fractional Schrödinger equation with uniformly continuous observation functions, the (standard) geometric control condition is proved equivalent to observability and implies observability for arbitrary times. All arguments rely on uncertainty principles for frequency-localized functions derived via semiclassical propagation of singularities.

Significance. If the central claims hold, the work advances observability theory for dispersive equations on unbounded domains by supplying a strictly weaker sufficient condition than open-and-periodic sets, together with an equivalence result for the fractional case under uniform continuity. The examples provide concrete evidence of the improvement, and the semiclassical approach is a standard tool in the field; the manuscript appears to handle the technical details of the propagation argument.

major comments (1)
  1. [Proof of the uncertainty principle (semiclassical propagation of singularities)] The sufficiency of the comb GCC for observability rests on the semiclassical uncertainty principles (derived from propagation of singularities). In Euclidean space, bicharacteristic rays escape to infinity in finite time, so the argument requires uniform control of constants as |x|→∞ for frequency-localized test functions whose spatial support drifts outward while satisfying the comb condition. Please identify the specific step (e.g., the estimate following the propagation lemma) where this uniformity is established and verify it explicitly for sequences escaping to infinity.
minor comments (2)
  1. [Abstract and fractional Schrödinger section] In the statement for the fractional Schrödinger equation, the text refers to 'the geometric control condition' without the 'comb' qualifier; clarify whether this is the standard GCC or the newly introduced comb GCC.
  2. [Fractional Schrödinger theorem] Ensure that all references to 'observation functions' specify the precise regularity (uniform continuity) in every statement of the equivalence result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for raising this important point about uniformity of constants in the semiclassical estimates. We address the concern directly below.

read point-by-point responses

  1. Referee: [Proof of the uncertainty principle (semiclassical propagation of singularities)] The sufficiency of the comb GCC for observability rests on the semiclassical uncertainty principles (derived from propagation of singularities). In Euclidean space, bicharacteristic rays escape to infinity in finite time, so the argument requires uniform control of constants as |x|→∞ for frequency-localized test functions whose spatial support drifts outward while satisfying the comb condition. Please identify the specific step (e.g., the estimate following the propagation lemma) where this uniformity is established and verify it explicitly for sequences escaping to infinity.

    Authors: We agree that explicit verification of uniformity is essential. The uniformity is established in the estimate immediately following the propagation lemma (Lemma 3.4), specifically the bound (3.15) in the proof of the semiclassical uncertainty principle. Because the underlying metric is Euclidean (constant coefficients), the seminorms of the semiclassical symbol classes S^{0,0}_{1,0} are independent of the spatial center. For sequences escaping to infinity, the comb GCC is formulated so that its control is preserved under translations in the comb directions; combined with the straight-line propagation of bicharacteristics, this yields a uniform lower bound on the observation integral that does not deteriorate with |x|. We will add a short clarifying paragraph after (3.15) that explicitly treats the escaping-sequence case. revision: yes

Circularity Check

0 steps flagged

No circularity; new condition and semiclassical proofs are independent of target observability

full rationale

The derivation introduces the comb geometric control condition as an independent dynamical assumption, then establishes its sufficiency for observability via uncertainty principles proved from semiclassical propagation of singularities. These steps do not reduce to self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The abstract explicitly separates the new condition from the observability property and notes that examples show it is strictly weaker than open-and-periodic sets. The fractional Schrödinger equivalence claim likewise rests on external regularity assumptions rather than circular redefinition. The chain is self-contained against the stated external techniques.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on standard semiclassical analysis and a newly introduced condition; no free parameters are fitted to data.

axioms (1)
  • domain assumption Uncertainty principles hold for frequency-localized functions via semiclassical propagation of singularities
    Invoked in the abstract as the basis for all proofs of sufficiency and equivalence.
invented entities (1)
  • comb geometric control condition no independent evidence
    purpose: Dynamical sufficient condition for observability
    Newly defined condition on observation sets that is strictly weaker than open periodic sets.

pith-pipeline@v0.9.0 · 5377 in / 1322 out tokens · 66919 ms · 2026-05-10T15:06:14.389762+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

42 extracted references · 42 canonical work pages · 2 internal anchors

  1. [1]

    Anantharaman and F

    N. Anantharaman and F. Maci´ a. Semiclassical measures for the Schr¨ odinger equation on the torus.Journal of the European mathematical society, 16(6):1253–1288, 2014

    work page 2014

  2. [2]

    Bourgain, N

    J. Bourgain, N. Burq, and M. Zworski. Control for Schr¨ odinger operators on 2-tori: rough potentials.J. Eur. Math. Soc. (JEMS), 15(5):1597–1628, 2013

    work page 2013

  3. [3]

    Burq and P

    N. Burq and P. G´ erard. Stabilization of wave equations on the torus with rough dampings. Pure Appl. Anal., 2(3):627–658, 2020

    work page 2020

  4. [4]

    Burq and R

    N. Burq and R. Joly. Exponential decay for the damped wave equation in unbounded domains. Commun. Contemp. Math., 18(6):1650012, 27, 2016

    work page 2016

  5. [5]

    Burq and H

    N. Burq and H. Zhu. Observability of Schr¨ odinger propagators on tori in rough settings.arXiv preprint arXiv:2509.23965, 2025

    work page arXiv 2025

  6. [6]

    Burq and M

    N. Burq and M. Zworski. Geometric control in the presence of a black box.J. Amer. Math. Soc., 17(2):443–471, 2004

    work page 2004

  7. [7]

    Burq and M

    N. Burq and M. Zworski. Control for Schr¨ odinger operators on tori.Math. Res. Lett., 19(2):309–324, 2012

    work page 2012

  8. [8]

    Burq and M

    N. Burq and M. Zworski. Rough controls for Schr¨ odinger operators on 2-tori.Ann. Henri Lebesgue, 2:331–347, 2019

    work page 2019

  9. [9]

    Y. Duan, L. Wang, and C. Zhang. Observability inequalities for the heat equation with bounded potentials on the whole space.SIAM J. Control Optim., 58(4):1939–1960, 2020

    work page 1939

  10. [10]

    Duyckaerts and L

    T. Duyckaerts and L. Miller. Resolvent conditions for the control of parabolic equations.J. Funct. Anal., 263(11):3641–3673, 2012

    work page 2012

  11. [11]

    Egidi and I

    M. Egidi and I. Veseli´ c. Sharp geometric condition for null-controllability of the heat equation onR d and consistent estimates on the control cost.Arch. Math. (Basel), 111(1):85–99, 2018

    work page 2018

  12. [12]

    X. Fu, Y. Gong, and Y. Wang. Observability and semiclassical control for schr\” odinger equations on non-compact hyperbolic surfaces.arXiv preprint arXiv:2602.14316, 2026. 46 WALTON GREEN AND PERRY KLEINHENZ

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  13. [13]

    W. Green. On the energy decay rate of the fractional wave equation onRwith relatively dense damping.Proc. Amer. Math. Soc., 148(11):4745–4753, 2020

    work page 2020

  14. [14]

    Green, B

    W. Green, B. Jaye, and M. Mitkovski. Uncertainty principles associated to sets satisfying the geometric control condition.J. Geom. Anal., 32(3):Paper No. 80, 16, 2022

    work page 2022

  15. [15]

    A. Haraux. S´ eries lacunaires et contrˆ ole semi-interne des vibrations d’une plaque rectangu- laire.J. Math. Pures Appl, 68(4):457–465, 1989

    work page 1989

  16. [16]

    Havin and B

    V. Havin and B. J¨ oricke.The uncertainty principle in harmonic analysis, volume 28. Springer Science & Business Media, 2012

    work page 2012

  17. [17]

    Huang, G

    S. Huang, G. Wang, and M. Wang. Observable sets, potentials and Schr¨ odinger equations. Comm. Math. Phys., 395(3):1297–1343, 2022

    work page 2022

  18. [18]

    Inami and S

    K. Inami and S. Suzuki. Equivalence between the energy decay of fractional damped Klein- Gordon equations and geometric conditions for damping coefficients.Proc. Amer. Math. Soc. Ser. B, 10:422–430, 2023

    work page 2023

  19. [19]

    S. Jaffard. Contrˆ ole interne exact des vibrations d’une plaque rectangulaire.Portugal. Math., 47(4):423–429, 1990

    work page 1990

  20. [20]

    Jakobson

    D. Jakobson. Quantum limits on flat tori.Annals of mathematics, pages 235–266, 1997

    work page 1997

  21. [21]

    A High-Frequency Uncertainty Principle for the Fourier-Bessel Transform

    B. Jaye and R. Sethi. A high-frequency uncertainty principle for the Fourier-Bessel transform. arXiv preprint arXiv:2509.25500, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  22. [22]

    Komornik

    V. Komornik. On the exact internal controllability of a Petrowsky system.J. Math. Pures Appl. (9), 71(4):331–342, 1992

    work page 1992

  23. [23]

    Kovrijkine

    O. Kovrijkine. Some results related to the Logvinenko-Sereda theorem.Proc. Amer. Math. Soc., 129(10):3037–3047, 2001

    work page 2001

  24. [24]

    Le Balc’h and J

    K. Le Balc’h and J. Martin. Observability estimates for the Schr¨ odinger equation in the plane with periodic bounded potentials from measurable sets.preprint arXiv:2304.08050, 2023

    work page arXiv 2023

  25. [25]

    Le Balc’h and J

    K. Le Balc’h and J. Martin. Quantitative propagation of smallness and spectral estimates for the Schr¨ odinger operator.J. Spectr. Theory, 15(1):245–278, 2025

    work page 2025

  26. [26]

    Le Balc’h and J

    K. Le Balc’h and J. Yu. Application of uncertainty principles for decaying densities to the observability of the Schr¨ odinger equation.preprint arXiv:2602.18371, 2026

    work page arXiv 2026

  27. [27]

    V. N. Logvinenko and J. F. Sereda. Equivalent norms in spaces of entire functions of expo- nential type.Teor. Funkci˘ ı Funkcional. Anal. i Priloˇ zen., (20):102–111, 175, 1974

    work page 1974

  28. [28]

    F. Maci` a. High-frequency propagation for the Schr¨ odinger equation on the torus.Journal of Functional Analysis, 258(3):933–955, 2010

    work page 2010

  29. [29]

    F. Maci` a. Observability results related to fractional Schr¨ odinger operators.Vietnam J. Math., 49(3):919–936, 2021

    work page 2021

  30. [30]

    Martin and K

    J. Martin and K. Pravda-Starov. Geometric conditions for the exact controllability of frac- tional free and harmonic schr¨ odinger equations.Journal of Evolution Equations, 21(1):1059– 1087, 2021

    work page 2021

  31. [31]

    L. Miller. Controllability cost of conservative systems: resolvent condition and transmutation. J. Funct. Anal., 218(2):425–444, 2005

    work page 2005

  32. [32]

    L. Miller. Resolvent conditions for the control of unitary groups and their approximations.J. Spectr. Theory, 2(1):1–55, 2012

    work page 2012

  33. [33]

    B. P. Paneah. Some theorems of Paley-Wiener type.Doklady Akademii Nauk, 138(1):47–50, 1961

    work page 1961

  34. [34]

    A. Prouff. Observability of the Schr¨ odinger equation with subquadratic confining potential in the euclidean space.Analysis & PDE, 18(5):1147–1229, 2025

    work page 2025

  35. [35]

    Rauch and M

    J. Rauch and M. Taylor. Exponential decay of solutions to hyperbolic equations in bounded domains.Indiana Univ. Math. J., 24(1):79–86, 1974

    work page 1974

  36. [36]

    Rouveyrol

    M. Rouveyrol. Stabilization of the wave equation on larger-dimension tori with rough damp- ings.Pure Appl. Anal., 6(2):487–520, 2024

    work page 2024

  37. [37]

    P. Su, C. Sun, and X. Yuan. Quantitative observability for one-dimensional Schr¨ odinger equations with potentials.J. Funct. Anal., 288(2):110695, 2025

    work page 2025

  38. [38]

    C. Sun. Sharp decay rate for the damped wave equation with convex-shaped damping.Int. Math. Res. Not. IMRN, (7):5905–5973, 2023

    work page 2023

  39. [39]

    T¨ aufer

    M. T¨ aufer. Controllability of the Schr¨ odinger equation on unbounded domains without geo- metric control condition.ESAIM Control Optim. Calc. Var., 29:Paper No. 59, 11, 2023

    work page 2023

  40. [40]

    G. Wang, M. Wang, C. Zhang, and Y. Zhang. Observable set, observability, interpolation inequality and spectral inequality for the heat equation inR n.J. Math. Pures Appl. (9), 126:144–194, 2019. OBSERVABILITY OF SCHR ¨ODINGER EQUATIONS IN EUCLIDEAN SPACE 47

    work page 2019

  41. [41]

    G. Wang, M. Wang, and Y. Zhang. Observability and unique continuation inequalities for the schr¨ odinger equation.Journal of the European Mathematical Society, 21(11):3513–3572, 2019

    work page 2019

  42. [42]

    J. Wunsch. Periodic damping gives polynomial energy decay.Math. Res. Lett., 24(2):571–580, 2017

    work page 2017