The cost rate of nonlinear remote stabilization on the Aubry--André lattice: a reflected off-spectral exponent and the sharp identity for almost every phase

技术摘要：Aubry–André 格子上非线性远程稳定化的成本率

问题陈述
本文研究了通过单个边界执行器驱动一维准周期链中远端位点（距离为 $N$）所需的指数级成本率 $r(\alpha, \lambda)$。该系统由 Aubry–André（几乎 Mathieu）算子 $H_\lambda$ 建模，其具有准周期势能 $\lambda \cos(2\pi\beta j + \phi)$，其中 $\beta$ 是一个 Diophantine 频率。控制目标是在具有闭环裕度 $\alpha > 0$ 的情况下稳定系统。成本定义为驱动远端位点所需的最小能量 $E_N$，由平移算子 $A_\alpha = E_0 I - H_\lambda$ 的控制 Gramian 的二次型 $E_N = e_N^\top W_\alpha^{-1} e_N$ 给出。主要问题在于确定控制着指数增长率 $r(\alpha, \lambda) = \liminf_{N\to\infty} \frac{1}{N} \log E_N$ 的谱量。

方法论
作者结合了谱理论、控制理论和动力系统技术：

1. 特征基归约：将成本 $E_N$ 归约为关于边界振幅比 $\tilde{b}_k = \psi^{(k)}_N / \psi^{(k)}_1$ 的 Cauchy 二次型 $\tilde{b}^\top C^{-1} \tilde{b}$，其中 $C$ 是由平移后的特征值构造的 Cauchy 矩阵。
2. 无逆形式化：利用 Christoffel–Darboux 恒等式和转移传递函数的性质，消除了逆 Gram 矩阵。成本被表示为一个涉及转移矩阵项和特征多项式的非负项之和，即 $E_N = \sum_{k,l} |c_k||c_l|/(\delta_k + \delta_l)$。
3. 传递函数与大偏差分析：通过转移传递函数的 Lyapunov 指数 $\gamma_\lambda(z)$ 分析增长率。作者利用了局部化机制下的 Bourgain–Goldstein 大偏差定理，以及亚临界（金属态）机制下的 Avila–Jitomirskaya 一致界限。
4. 势能理论：Cauchy 矩阵的条件数与谱的对数容量以及外部 Green 函数 $g_{\mathbb{C}\setminus\Sigma_\lambda}(z)$ 相关联。
5. 算术共振：利用针对 Diophantine 频率的三距离定理，确立了同时靠近谱边缘且在边界附近局部化的特定模态的存在性。

核心贡献与结果

1. 成本率的识别
本文指出，成本率并非标准的局部化率或谱带边缘的解析度衰减，而是位于反射谱边 $z^\star$ 处的离谱 Lyapunov 指数（off-spectral Lyapunov exponent）。

• 反射边：定义为 $z^\star = 2E_{\min} - 2\alpha - E_{\max}$。
• 主恒等式：成本率由 $\gamma_\lambda(z^\star)$ 给出。
• 夹逼关系：通常，该速率被锁定在一个区间内：
  $$g_{\mathbb{C}\setminus\Sigma_\lambda}(z^\star) \leq r(\alpha, \lambda) \leq \gamma_\lambda(z^\star)$$
  该区间的宽度为 $\log^+(\lambda/2)$。对于 $\lambda \leq 2$，谱的对数容量为 $\max(1, \lambda/2)$，导致区间两端重合，从而使该恒等式具有无条件的成立性。

2. 金属态与临界机制 ($0 < \lambda \leq 2$)

• 无条件恒等式：对于 $0 < \lambda < 2$（纯绝对连续谱）和 $\lambda = 2$（临界自对偶点），该恒等式对于每一个相位 $\phi$ 和每一个 Diophantine 频率均无条件成立。
• 机制：证明依赖于传递函数的亚临界几乎可还原性（Avila–Jitomirskaya），以及在 $\lambda=2$ 时 Green 函数与 Lyapunov 指数一致，从而确保了谱边的自动正则性。

3. 局部化机制 ($\lambda > 2$)

• 几乎处处相位：对于 $\lambda > 2$（具有 Anderson 局部化的纯点谱），该恒等式对于几乎所有相位 $\phi$ 和每个 Diophantine 频率成立。
• 条件：
  • 对于强耦合情况（$\lambda \geq \lambda_1$），该结果是无条件的。
  • 对于 $2 < \lambda < \lambda_1$，该结果在**多项式前因子局部化假设（PL）**下成立，该假设强化了已知的半一致局部化界限。
• 机制：证明利用了成本系数的“边界权重”形式，表明成本由单个模态主导，该模态既靠近谱边（$E_k \to E_{\max}$），又在边界附近局部化（$j_k \approx N$）。此类模态的存在性由应用于 Diophantine 旋转的三距离定理所保证。
• 收敛速率：有限规模速率与渐近极限之间的差距由 $O(N^{-2/(2+\tau)})$ 限制，其中 $\tau$ 是 Diophantine 频率的类型（例如，对于如黄金分割比等有界类型的频率，为 $O(N^{-2/3})$）。

4. 向解析势能的推广
论文将上界 $r(\alpha, V) \leq \gamma_V(z^\star)$ 推广到一般的实解析准周期势能 $V$。

• 对于关于最大值对称的势能（偶函数），在局部化机制下无条件证明了完整的恒等式。
• 对于非对称势能，该恒等式已被提出并经过数值验证，尽管其证明仍需克服由于有限窗口边缘特征值缺乏稳定临界点而带来的困难。

意义与主张
本文声称为“如何随距离进行准周期远程稳定化中的能量成本缩放”这一问题提供了一个精确且严谨的答案。

• 纠正直觉：它表明成本率不仅是局部化率或工作点的解析度衰减，而是由一个反射谱点处的 Lyapunov 指数决定的。这反映了边界执行器通过整个谱与远端位点之间的相互作用。
• 无条件的严谨性：一个主要的成就是在整个金属态和临界机制（$0 < \lambda \leq 2$）下，对于所有相位均实现了无条件的证明，消除了以往对边缘正则性假设的依赖。
• 结构性洞察：将成本归约为“无抵消”的正项单模态贡献之和，揭示了控制成本是一个由最有利的边界局部化模态驱动的最值问题。
• 数值验证：作者提供了经认证的有限规模包络（使用区间算术），证实了理论速率以及沿黄金分割比例的单调收敛性。

论文总结道，虽然在局部化机制下对于几乎所有相位以及在金属态/临界机制下对于所有相位，该恒等式均已完全建立，但要在局部化机制下对每一个相位也成立，仍是一个开放性问题，这取决于能否证明边界数据与最差条件 Gram 特征向量之间不存在正交性（针对异常相位的情况）。