pith. sign in

arxiv: 2511.10358 · v3 · submitted 2025-11-13 · 🧮 math.AP · math.CO

Observable sets for Schr\"odinger equations on combinatorial graphs

Zhiqiang Wan , Heng Zhang This is my paper

Pith reviewed 2026-05-17 22:27 UTC · model grok-4.3

classification 🧮 math.AP math.CO
keywords observable setsSchrödinger equationcombinatorial graphslattice operatorsarithmetic conditionobservabilityheat equationdiscrete tori
0
0 comments X

The pith

On one-dimensional lattices with potentials approaching a constant, a set is observable for the Schrödinger equation exactly when it meets a local arithmetic condition.

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

The paper shows that for the discrete Schrödinger operator on the integers whose potential tends to a fixed constant far away, observability of a subset E holds at one time if and only if it holds at every positive time, and this occurs precisely when E obeys a local arithmetic condition. The same arithmetic test decides observability for the associated heat equation. In higher-dimensional lattices any cofinite set works, while on discrete tori the arithmetic conditions remain decisive and positive density alone is not enough. The result isolates an arithmetic obstruction that has no direct counterpart in the continuous Euclidean setting where thickness is the main requirement.

Core claim

For the one-dimensional lattice Schrödinger operator H = −Δ_disc + V with V(n) → c ∈ R as |n| → ∞, a set E ⊂ Z is observable at some time, equivalently at any time, if and only if it satisfies a local arithmetic condition. The same criterion characterizes observability for the heat equation on Z. In higher dimensions observability holds from the complement of any finite set, and on discrete tori arithmetic criteria apply with positive density insufficient.

What carries the argument

The local arithmetic condition on the set E, which is the necessary and sufficient requirement for observability and encodes the discrete arithmetic obstruction absent from continuous theory.

If this is right

  • Observability at one positive time is equivalent to observability at every positive time.
  • The identical local arithmetic condition governs observability for the heat equation on the same lattice.
  • In higher-dimensional lattices every set whose complement is finite is observable.
  • On discrete tori arithmetic criteria determine observability and positive density by itself does not suffice.

Where Pith is reading between the lines

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

  • The arithmetic obstruction suggests that discreteness introduces number-theoretic barriers to control that thickness conditions cannot capture in the continuous case.
  • Similar local arithmetic tests may characterize observability on other regular graphs or lattices with different connectivity.
  • Explicit periodic or lacunary sets can be checked against the condition to map the precise boundary between observable and non-observable sets.

Load-bearing premise

The potential must converge to a finite constant at infinity.

What would settle it

A concrete set E on the integers that satisfies the local arithmetic condition yet fails to be observable for some potential converging to a constant at infinity.

read the original abstract

We study observable sets for Schr\"odinger equations on combinatorial graphs. For one-dimensional lattice Schr\"odinger operators \(H=-\Delta_{\mathrm{disc}}+V\) with \(V(n)\to c\in\mathbb R\) as \(|n|\to\infty\), we prove that a set \(E\subset\mathbb Z\) is observable at some time, equivalently at any time, if and only if it satisfies a local arithmetic condition. This reveals an arithmetic obstruction absent from the Euclidean theory, where thickness is the decisive condition. The same criterion also characterizes observability for the corresponding heat equation on \(\mathbb Z\). In higher-dimensional lattices, we prove observability from the complement of any finite set. We further obtain arithmetic criteria on discrete tori, showing that positive density alone does not ensure observability.

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

2 major / 2 minor

Summary. The manuscript proves if-and-only-if characterizations of observable sets for Schrödinger equations on combinatorial graphs. For the one-dimensional discrete Laplacian plus potential with V(n)→c as |n|→∞, a set E⊂Z is observable at some time (equivalently, at every time) if and only if it satisfies a local arithmetic condition; the same criterion governs observability for the associated heat equation. In higher-dimensional lattices the complement of any finite set is observable. On discrete tori the authors supply arithmetic criteria showing that positive density alone does not guarantee observability.

Significance. If the central equivalences hold, the work is significant because it isolates an arithmetic obstruction to observability that has no counterpart in the Euclidean theory (where thickness is decisive) and supplies explicit, checkable conditions on graphs. The extension to the heat equation and the higher-dimensional and toroidal results further strengthen the contribution.

major comments (2)
  1. [§1 (main theorem for 1D lattices)] §1 (main theorem for 1D lattices): the necessity direction asserts that any E violating the local arithmetic condition fails to be observable, yet the argument is stated under the sole hypothesis V(n)→c with no quantitative rate. Without a rate, the perturbation of constant-potential oscillatory solutions may accumulate uncontrolled phase shifts, so that the constructed approximate solution need not remain small on E; this directly threatens the claimed equivalence.
  2. [§3 (proof of necessity)] §3 (proof of necessity): the quasi-mode construction for the 'only if' direction is not shown to be robust under mere convergence of V; a concrete counter-example or a lemma establishing that the error remains o(1) uniformly in time would be required to close the argument.
minor comments (2)
  1. [Introduction] The precise statement of the 'local arithmetic condition' should be displayed as a numbered definition or displayed equation rather than introduced only in prose.
  2. [Notation and §4] Notation for the discrete Laplacian and the observation operator should be fixed once at the beginning and used consistently; minor inconsistencies appear in the toroidal section.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to strengthen the presentation of the necessity argument in the one-dimensional case. The comments correctly note that the current write-up of the quasi-mode construction under the mere assumption V(n)→c would benefit from more explicit error control. We address both points below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: §1 (main theorem for 1D lattices): the necessity direction asserts that any E violating the local arithmetic condition fails to be observable, yet the argument is stated under the sole hypothesis V(n)→c with no quantitative rate. Without a rate, the perturbation of constant-potential oscillatory solutions may accumulate uncontrolled phase shifts, so that the constructed approximate solution need not remain small on E; this directly threatens the claimed equivalence.

    Authors: We agree that an explicit quantitative control is desirable for clarity. The quasi-mode is constructed by taking a high-frequency oscillatory solution for the constant-potential operator and localizing it far from the origin, where |V(n)−c| can be made arbitrarily small. Because the time horizon T is fixed in advance, the location of the support can be chosen after T so that the Duhamel integral of the perturbation remains o(1) uniformly on [0,T]. We will add a short lemma (new Lemma 3.4) that makes this estimate precise, showing that the L²-norm of the error on E stays below any prescribed δ for sufficiently large frequency. This removes any possibility of uncontrolled phase accumulation and confirms the claimed equivalence. revision: yes

  2. Referee: §3 (proof of necessity): the quasi-mode construction for the 'only if' direction is not shown to be robust under mere convergence of V; a concrete counter-example or a lemma establishing that the error remains o(1) uniformly in time would be required to close the argument.

    Authors: We thank the referee for this precise remark. Rather than a counter-example (which we do not expect to exist), we will insert the lemma mentioned above. The lemma applies Duhamel’s formula to the difference of the two evolution operators, bounds the potential difference by an arbitrary ε outside a large but finite interval, and integrates over the fixed time interval [0,T]. The resulting error is then made smaller than any positive constant by choosing the quasi-mode support sufficiently far out. The revised proof will cite this lemma explicitly, thereby establishing the required uniform o(1) control. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper establishes an if-and-only-if characterization between observability of a set E and a local arithmetic condition for the discrete Schrödinger operator with potential converging to a constant, using direct operator analysis and explicit constructions of solutions on the lattice. This equivalence is derived from first-principles spectral and dynamical arguments rather than by reducing any claimed prediction or result to a fitted parameter, self-definition, or load-bearing self-citation. The central theorem remains independent of its inputs and does not rename known results or smuggle ansatzes via prior work; the derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard background results in spectral theory of discrete Schrödinger operators and the given asymptotic behavior of the potential; no free parameters, new entities, or ad-hoc axioms are introduced.

axioms (2)
  • standard math Standard spectral properties of the discrete Laplacian and Schrödinger operators on combinatorial graphs hold.
    Invoked throughout the analysis of observability for the evolution equations.
  • domain assumption The potential satisfies V(n)→c as |n|→∞.
    Explicitly stated as the setting for the one-dimensional lattice result.

pith-pipeline@v0.9.0 · 5424 in / 1284 out tokens · 36034 ms · 2026-05-17T22:27:26.805703+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages

  1. [1]

    Ammari, A

    K. Ammari, A. Duca, R. Joly and K. Le Balc’h, The graph geometric control condition. arXiv:2503.18864, 2025

    work page arXiv 2025

  2. [2]

    Anantharaman and F

    N. Anantharaman and F. Macià, Semiclassical measures for the Schrödinger equation on the torus.J. Eur. Math. Soc., 16(6):1253–1288, 2014

    work page 2014

  3. [3]

    Anantharaman and G

    N. Anantharaman and G. Rivière, Dispersion and controllability for the Schrödinger equation on negatively curved manifolds.Anal. PDE, 5(2):313–338, 2012

    work page 2012

  4. [4]

    P. W. Anderson, Absence of diffusion in certain random lattices.Physical Review, 109(5):1492–1505, 1958

    work page 1958

  5. [5]

    N. W. Ashcroft and N. D. Mermin,Solid State Physics. Holt, Rinehart and Winston, 1976

    work page 1976

  6. [6]

    Beurling, The Collected Works of Arne Beurling: Complex Analysis, vol

    A. Beurling, The Collected Works of Arne Beurling: Complex Analysis, vol. 1, L. Carleson, P. Malliavin, J. Neuberger and J. Wermer, eds., Birkhäuser Boston, Boston, 1989

    work page 1989

  7. [7]

    Bourgain, N

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

    work page 2013

  8. [8]

    Bonami and B

    A. Bonami and B. Demange, A survey on uncertainty principles related to quadratic forms.Collect. Math., 57(Extra Vol.):1–36, 2006

    work page 2006

  9. [9]

    Burq and M

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

    work page 2012

  10. [10]

    Burq and M

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

    work page 2019

  11. [11]

    Cheng and B

    J. Cheng and B. Hua, Continuum limit of fourth-order Schrödinger equations on the lattice.J. Lond. Math. Soc.(2), 112(2):e70247, 2025

    work page 2025

  12. [12]

    D. N. Christodoulides and R. I. Joseph, Discrete self-focusing in nonlinear arrays of coupled waveguides.Optics Letters, 13(9):794–796, 1988

    work page 1988

  13. [13]

    Cohen, Fractal uncertainty in higher dimensions.Ann

    A. Cohen, Fractal uncertainty in higher dimensions.Ann. of Math.(2), 202(1):265–307, 2025

    work page 2025

  14. [14]

    Duca, Global exact controllability of bilinear quantum systems on compact graphs and energetic controlla- bility.SIAM J

    A. Duca, Global exact controllability of bilinear quantum systems on compact graphs and energetic controlla- bility.SIAM J. Control Optim., 58(6):3092–3129, 2020

    work page 2020

  15. [15]

    D. L. Donoho and P. B. Stark, Uncertainty principles and signal recovery.SIAM J. Appl. Math., 49(3):906–931, 1989

    work page 1989

  16. [16]

    Dyatlov and L

    S. Dyatlov and L. Jin, Semiclassical measures on hyperbolic surfaces have full support.Acta Math., 220(2):297– 339, 2018

    work page 2018

  17. [17]

    Dyatlov, L

    S. Dyatlov, L. Jin and S. Nonnenmacher, Control of eigenfunctions on surfaces of variable curvature.J. Amer. Math. Soc., 35(2):361–465, 2021. 24 ZHIQIANG W AN AND HENG ZHANG

    work page 2021

  18. [18]

    Dyatlov and J

    S. Dyatlov and J. Zahl, Spectral gaps, additive energy, and a fractal uncertainty principle.Geom. Funct. Anal., 26(4):1011–1094, 2016

    work page 2016

  19. [19]

    Farhi and S

    E. Farhi and S. Gutmann, Quantum computation and decision trees.Physical Review A, 58(2):915–928, 1998

    work page 1998

  20. [20]

    Fernández-Bertolin, L

    A. Fernández-Bertolin, L. Roncal and D. Stan, Landis-type results for discrete equations.Adv. Math., 482(Part A):110558, 2025

    work page 2025

  21. [21]

    H. Ge, B. Hua, L. Jia, and P. Zhou, The asymptotic behavior of discrete Schrödinger equation on the hexagonal triangulation.Calc. Var. Partial Differential Equations, 64 (2025), no. 6, Paper No. 176

    work page 2025

  22. [22]

    Gröchenig, J

    K. Gröchenig, J. L. Romero and D. Rottensteiner, Sampling theorems for shift-invariant spaces, Gabor frames, and totally positive functions.Invent. Math., 211(3):1119–1148, 2018

    work page 2018

  23. [23]

    Haraux, Séries lacunaires et contrôle semi-interne des vibrations d’une plaque rectangulaire.J

    A. Haraux, Séries lacunaires et contrôle semi-interne des vibrations d’une plaque rectangulaire.J. Math. Pures Appl., 68(4):457–465, 1989

    work page 1989

  24. [24]

    Hong and C

    Y. Hong and C. Yang, Strong convergence for discrete nonlinear Schrödinger equations in the continuum limit. SIAM J. Math. Anal., 51(2):1297–1320, 2019

    work page 2019

  25. [25]

    Hong and C

    Y. Hong and C. Yang, Uniform Strichartz estimates on the lattice.Discrete Contin. Dyn. Syst., 39(6):3239– 3264, 2019

    work page 2019

  26. [26]

    Huang, G

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

    work page 2022

  27. [27]

    Jaffard, Contrôle interne exact des vibrations d’une plaque rectangulaire.Portugal

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

    work page 1990

  28. [28]

    Jaming, Nazarov uncertainty principles in higher dimension.J

    P. Jaming, Nazarov uncertainty principles in higher dimension.J. Approx. Theory, 149(1):30–41, 2007

    work page 2007

  29. [29]

    Jerison and C

    D. Jerison and C. E. Kenig, Unique continuation and absence of positive eigenvalues for Schrödinger operators. Ann. of Math.(2), 121(3):463–494, 1985

    work page 1985

  30. [30]

    Jin, Control for Schrödinger equation on hyperbolic surfaces.Math

    L. Jin, Control for Schrödinger equation on hyperbolic surfaces.Math. Res. Lett., 25(6):1865–1877, 2018

    work page 2018

  31. [31]

    Koch and D

    H. Koch and D. Tataru, Carleman estimates and unique continuation for second-order elliptic equations with nonsmooth coefficients.Comm. Pure Appl. Math., 54(3):339–360, 2001

    work page 2001

  32. [32]

    Komornik, On the exact internal controllability of a Petrowsky system.J

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

    work page 1992

  33. [33]

    H. J. Landau, Necessary density conditions for sampling and interpolation of certain entire functions.Acta Math., 117:37–52, 1967

    work page 1967

  34. [34]

    Kovrijkine, Some results related to the Logvinenko–Sereda theorem.Proc

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

    work page 2001

  35. [35]

    Lebeau, Contrôle de l’équation de Schrödinger.J

    G. Lebeau, Contrôle de l’équation de Schrödinger.J. Math. Pures Appl., 71(3):267–291, 1992

    work page 1992

  36. [36]

    Macià, The Schrödinger flow on a compact manifold: high-frequency dynamics and dispersion, inModern Aspects of the Theory of Partial Differential Equations, Oper

    F. Macià, The Schrödinger flow on a compact manifold: high-frequency dynamics and dispersion, inModern Aspects of the Theory of Partial Differential Equations, Oper. Theory Adv. Appl., vol. 216, pp. 275–289, Birkhäuser/Springer, Basel, 2011

    work page 2011

  37. [37]

    Meshulam, An uncertainty inequality for finite abelian groups.European J

    R. Meshulam, An uncertainty inequality for finite abelian groups.European J. Combin., 14(2):163–167, 1993

    work page 1993

  38. [38]

    Miller, Controllability cost of conservative systems: resolvent condition and transmutation.J

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

    work page 2005

  39. [39]

    Morsch and M

    O. Morsch and M. Oberthaler, Dynamics of Bose–Einstein condensates in optical lattices.Reviews of Modern Physics, 78(1):179–215, 2006

    work page 2006

  40. [40]

    Mülken and A

    O. Mülken and A. Blumen, Continuous-time quantum walks: Models for coherent transport on complex net- works.Physics Reports, 502(1):37–87, 2011

    work page 2011

  41. [41]

    K. D. Phung, Observability and control of Schrödinger equations.SIAM J. Control Optim., 40(1):211–230, 2001

    work page 2001

  42. [42]

    Stefanov and P

    A. Stefanov and P. G. Kevrekidis, Asymptotic behaviour of small solutions for the discrete nonlinear Schrödinger and Klein-Gordon equations.Nonlinearity, 18(4):1841, 2005

    work page 2005

  43. [43]

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

    work page 2025

  44. [44]

    Tao, Exact control for Schrödinger equation on torus.Pure Appl

    Z. Tao, Exact control for Schrödinger equation on torus.Pure Appl. Anal., 3(2):387–401, 2021

    work page 2021

  45. [45]

    Walters, An Introduction to Ergodic Theory.Springer-Verlag, New York, 1982

    P. Walters, An Introduction to Ergodic Theory.Springer-Verlag, New York, 1982

    work page 1982

  46. [46]

    G. Wang, M. Wang and Y. Zhang, Observability and unique continuation inequalities for the Schrödinger equation.J. Eur. Math. Soc., 21(11):3513–3572, 2019

    work page 2019

  47. [47]

    G. Wang, M. Wang, C. Zhang and Y. Zhang, Observable sets, observability, interpolation inequality and spectral inequality for the heat equation inRn.J. Math. Pures Appl., 126:144–194, 2019

    work page 2019

  48. [48]

    Weyl, Über die Gleichverteilung von Zahlen mod

    H. Weyl, Über die Gleichverteilung von Zahlen mod. Eins.Math. Ann., 77:313–352, 1916. OBSER V ABLE SETS FOR THE FREE SCHRÖDINGER EQUATION ON COMBINATORIAL GRAPHS 25 School of Mathematical Sciences, University of Science and Technology of China, No. 96 Jinzhai Road, Baohe District, Hefei, Anhui Province, China Email address:ZhiQiang_Wan576@mail.ustc.edu.cn...

    work page 1916