Pith. sign in

REVIEW 2 major objections 2 minor 48 references

Observable sets for Schr\"odinger equations on combinatorial graphs

T0 review · 2 major / 2 minor · reviewed 2026-05-17 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict The paper gives a clean arithmetic criterion for observability on 1D lattices that has no direct Euclidean analog, but the necessity direction may need a rate on how V approaches its limit. read the letter →

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

Zhiqiang Wan , Heng Zhang This is my paper · ORCID
classification math.APmath.CO
keywords observablesetsSchrödingerequationcombinatorialgraphslatticeoperatorsarithmeticconditionobservabilityheatdiscretetori
checked against LogicNatembed_injectivealexander_duality_circle_linking
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 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.

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.

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.

Watch

Extended reading notes

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.

Load-bearing premise

The potential must converge to a finite constant at infinity.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

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

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 2 assumptions · 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.

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Observable sets for Schr\"odinger equations on combinatorial graphs." pith.science (2026). https://pith.science/paper/2511.10358

@misc{pith2026251110358,
  author       = {Pith},
  title        = {Pith review of: Observable sets for Schr\"odinger equations on combinatorial graphs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2511.10358}},
  note         = {Machine review of arXiv:2511.10358}
}
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.

Discussion (0). Continue with ORCID to comment.

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

Show all 48 references
  1. [9]

    Burq and M

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

    2012

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

    2019

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

    2025

  4. [12]

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

    1988

  5. [13]

    Cohen, Fractal uncertainty in higher dimensions.Ann

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

    2025

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

    2020

  7. [15]

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

    1989

  8. [16]

    Dyatlov and L

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

    2018

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

    2021

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

    2016

  11. [19]

    Farhi and S

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

    1998

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

    2025

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

    2025

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

    2018

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

    1989

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

    2019

  17. [25]

    Hong and C

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

    2019

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

    2022

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

    1990

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

    2007

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

    1985

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

    2018

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

    2001

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

    1992

  25. [33]

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

    1967

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

    2001

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

    1992

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

    2011

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

    1993

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

    2005

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

    2006

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

    2011

  33. [41]

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

    2001

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

    2005

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

    2025

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

    2021

  37. [45]

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

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

    1982

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

    2019

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

    2019

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

    1916

Pith tools

Reviewed May 17, 2026 · model on record in the stance chip above.