Observable sets for Schrödinger equations on combinatorial graphs

技术摘要：组合图上薛定谔方程的可观测集

问题陈述
本文研究了组合图上薛定谔方程的可观测性，重点关注底层空间为图 $G = (V, E)$ 的离散情形。其动力学由方程 $i\partial_t u = Hu$ 支配，其中 $H = -\Delta_{\text{disc}} + V$ 是离散薛定谔算子，$\Delta_{\text{disc}}$ 是图拉普拉斯算子。核心问题在于刻画子集 $E \subset V$（可观测集），使得通过测量解在时间区间 $[0, T]$ 内限制在 $E$ 上的值，可以唯一确定（至多相差一个常数）初始状态 $u_0$。

作者将这一离散问题与连续欧几里得空间（$\mathbb{R}^d$ 和 $\mathbb{T}^d$）中成熟的理论进行了对比。在连续情形下，可观测性主要受几何密度条件支配，特别是观测集的“厚度”（Logvinenko–Sereda 不确定性原理的量化版本）。本文旨在确定类似的几何判据是否足以适用于离散情形，或者是否会出现新的算术障碍。

方法论
作者结合了谱理论、泛函分析和算术组合学。关键的方法论组成部分包括：

1. Hautus 型预解式判据：作者利用了可观测性与预解式估计之间的等价性（定理 2.1，基于 Miller [27]）。具体而言，在某个时刻的可观测性等价于存在常数 $M, m > 0$，使得对于所有 $\lambda \in \mathbb{R}$ 和 $f \in \ell^2(V)$：
   $$\|f\|^2 \leq M \|(H - \lambda)f\|^2 + m \|f|_E\|^2.$$
   这将动力学问题简化为涉及算子 $H$ 和观测集 $E$ 的静态谱问题。

2. 算术障碍分析（一维格点）：对于一维格点 $\mathbb{Z}$，作者引入了局部算术条件（LAC）。他们分析了 $E$ 局部邻域内点之间差值的最大公约数（gcd）。

   • 充分性：他们证明了如果 $E$ 满足 LAC，则不存在非零特征函数（或近似特征函数）在 $E$ 上为零。这是通过一致局部估计（引理 2.1）和离散薛定谔方程的递推论证建立的。
   • 必要性：如果 LAC 不成立，作者构造了“算术拟模态”（引理 2.3）——即一组在 $E$ 的补集上局部化且逼近算子特征函数的函数序列。这些拟模态表明预解式估计失效，从而意味着不可观测。

3. 薛定谔动力学与热动力学对比：本文建立了薛定谔方程可观测性与热方程（$\partial_t u = -Hu$）可观测性之间的联系。利用插值不等式以及由有界自伴算子生成的半群的解析性质，作者证明了对于渐近常数势，两个方程的可观测性判据是相同的。

4. 有限图与环面分析：对于有限图（特别是离散环面 $\mathbb{T}^d_N$），问题简化为不存在在 $E$ 上为零的特征函数。作者利用离散环面上拉普拉斯算子的谱结构（特征标）和群同态，构造了因算术对称性而导致可观测性失效的高密度集。

5. 外部可观测性：对于高维格点 $\mathbb{Z}^d$，作者结合了 $TT^*$ 算子范数论证与投影到 $E$ 补集上的有限秩性质，证明了当未观测集为有限集时具有可观测性。

主要贡献与结果

• $\mathbb{Z}$ 上的刻画（定理 1.1）：对于具有渐近常数势的一维格点，集合 $E$ 在某个（从而任意）时刻可观测，当且仅当它满足局部算术条件（LAC）。

  • 定义：$E$ 满足 LAC 是指存在 $L \in \mathbb{N}^+$，使得对于所有 $m \in \mathbb{Z}$，差值集合 $\{s - s' : s, s' \in E \cap [m-L, m+L]\}$ 的最大公约数为 1。
  • 意义：这揭示了欧几里得理论中不存在的算术障碍。虽然厚度是必要的，但并非充分的。例如，集合 $9\mathbb{Z} \cup (9\mathbb{Z} + 3)$ 具有与 $9\mathbb{Z} \cup (9\mathbb{Z} + 1)$ 相同的厚度，但由于其局部差值生成了 $\mathbb{Z}$ 的真子群，因此不可观测。

• 热方程等价性（定理 1.2）：相同的 LAC 判据刻画了 $\mathbb{Z}$ 上热方程的可观测性。这与连续情形形成对比，在连续情形中热可观测性通常与不同的几何性质相关联，但此处生成子的有界性允许将薛定谔的结果转移过来。

• 高维格点（定理 1.3 与示例 1.1）：

  • 在 $d > 1$ 维中，尚未建立类似于 LAC 的完整算术刻画。
  • 作者表明，高厚度并不意味着高维情形下的可观测性。他们构造了一个集合 $E = \mathbb{Z}^2 \setminus \{(m, n) : m=n\}$，该集合对于任意 $\gamma < 1$ 都是 $\gamma$-厚度的，但对于自由薛定谔方程不可观测。
  • 然而，他们证明了在 $\mathbb{Z}^d$ 中，任何有限集的补集在任意时刻都是可观测的（定理 1.3）。

• 离散环面（定理 1.4）：

  • 在 1D 离散环面 $\mathbb{T}^1_N$ 上，可观测性由涉及模 $N$ 和 $E$ 中点差值的 gcd 条件刻画。
  • 在高维中，作者构造了正密度（具体而言，密度趋近于 $1 - 2^{-d}$）的子集，这些集合在任意时刻都不可观测。这与连续环面形成鲜明对比，在连续环面中，每个非空开集都是可观测的。

意义与主张
本文声称揭示了连续情形与离散情形下可观测性之间根本的定性区别。虽然连续可观测性受几何密度（厚度）支配，但离散可观测性受到观测集局部算术结构的严重制约。

• 算术与几何：作者强调，在离散情形下，“仅凭正密度并不能保证可观测性”。即使对于高密度集合，如果其结构与图拉普拉斯算子谱的算术对称性相一致，也可能发生可观测性失效。
• 欧几里得直觉的局限性：结果表明，仅依赖几何不确定性原理（如 Logvinenko–Sereda 原理）的技术不足以处理离散图。离散情形需要能够考虑算子递推结构以及观测集数论性质的工具。
• 范围：本文提供了一维格点和一维离散环面的完整刻画，高维格点的部分结果（外部可观测性），以及反例，表明简单的基于密度的判据在高维情形下会失效。

作者并未提出新的应用或实验设置，而是将其工作定位为离散系统控制理论中的理论进展，突显了算术在离散谱分析中的独特作用。