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é格子上の研究

問題設定
本論文は、単一の境界アクチュエータから、1次元準周期鎖の遠方サイト（距離 $N$）を制御するために必要な指数的コストレート $r(\alpha, \lambda)$ を調査している。システムは、準周期ポテンシャル $\lambda \cos(2\pi\beta j + \phi)$ を持つAubry–André（アシュリー・アンドレ／ほとんど・マチュー）作用素 $H_\lambda$ によってモデル化されている（ここで $\beta$ はディオファントス型周波数である）。制御目標は、閉ループ・マージン $\alpha > 0$ を用いてシステムを安定化することである。コストは、シフトされた作用素 $A_\alpha = E_0 I - H_\lambda$ の可制御グラム行列（Controllability Gramian） $W_\alpha$ を用いた最小エネルギー $E_N = e_N^\top W_\alpha^{-1} e_N$ として定義される。主要な問いは、この指数的成長率 $r(\alpha, \lambda) = \liminf_{N\to\infty} \frac{1}{2N} \log E_N$ を支配するスペクトル量を見出すことである。

手法
著者らは、スペクトル理論、制御理論、および力学系の手法を組み合わせて用いている：

1. 固有基底への還元： コスト $E_N$ は、境界振幅比 $\tilde{b}_k = \psi^{(k)}_N / \psi^{(k)}_1$ を用いたコーシー二次形式 $\tilde{b}^\top C^{-1} \tilde{b}$ に還元される。ここで $C$ はシフトされた固有値から構成されるコーシー行列である。
2. 逆行列を用いない定式化： クリストフェル・ダルブー恒等式と転送コサイクル（transfer cocycle）の性質を用いることで、逆グラム行列を排除している。これにより、コストは転送行列の成分と特性多項式を用いた非負項の和として、$E_N = \sum_{k,l} |c_k||c_l|/(\delta_k + \delta_l)$ と表現される。
3. コサイクルおよび大偏差解析： コストの成長率は、転送コサイクルのリアプノフ指数 $\gamma_\lambda(z)$ を通じて解析される。著者らは、局在領域におけるBourgain–Goldsteinの大偏差定理、および亜臨界（金属的）領域におけるAvila–Jitomirskayaの一様束縛を利用している。
4. ポテンシャル論： コーシー行列の条件数は、スペクトルの対数容量（logarithmic capacity）および外部グリーン関数 $g_{\mathbb{C}\setminus\Sigma_\lambda}(z)$ に結び付けられている。
5. 算術共鳴： スペクトルの端付近にあり、かつ境界付近に局在している特定のモードの存在が、ディオファントス型回転に対する「3距離定理」を用いて確立されている。

主要な貢献および結果

1. コストレートの特定
本論文は、コストレートが標準的な局在レートやバンド端におけるレゾルベントの減衰ではなく、反射されたバンド端 $z^\star$ におけるオフ・スペクトル・リアプノフ指数であることを特定した。

• 反射された端： $z^\star = 2E_{\min} - 2\alpha - E_{\max}$ として定義される。
• 主要な恒等式： コストレートは $r(\alpha, \lambda) = \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$)

• 無条件の恒等式： $\lambda < 2$（純粋な絶対連続スペクトル）および $\lambda = 2$（臨界自己双対点）の場合、この恒等式 $r(\alpha, \lambda) = \gamma_\lambda(z^\star)$ は、すべての位相 $\phi$ およびすべてのディオファントス型周波数に対して無条件に成立する。
• メカニズム： 証明は、コサイクルの亜臨界な近似可縮性（Avila–Jitomirskaya）と、$\lambda=2$ においてグリーン関数がリアプノフ指数と一致し、バンド端の自動的な正則性を保証するという事実に依拠している。

3. 局在領域 ($\lambda > 2$)

• ほとんどすべての位相： $\lambda > 2$（アンダーソン局在を伴う純点スペクトル）の場合、この恒等式は、すべてのディオファントス型周波数およびほとんどすべての位相 $\phi$ に対して成立する。
• 条件：
  • 強結合（$\lambda \geq \lambda_1$）の場合、結果は無条件である。
  • $2 < \lambda < \lambda_1$ の場合、結果は**多項式前因子局在仮説（PL）**の下で成立する。これは既知の半一様局在束縛を強化したものである。
• メカニズム： 証明では、「境界重み」形式のコスト係数を用いており、コストが、スペクトルの端（$E_k \to E_{\max}$）に近く、かつ境界付近に局在している（$j_k \approx N$）単一のモードによって支配されることを示している。このようなモードの存在は、ディオファントス回転に適用された3距離定理によって保証される。
• 収束速度： 有限サイズレートと漸近極限の間のギャップは $O(N^{-2/(2+\tau)})$ で抑えられる。ここで $\tau$ はディオファントス型周波数の型（例：黄金比のような有界型の場合は $O(N^{-2/3})$）である。

4. 解析的ポテンシャルへの一般化
本論文は、上界 $r(\alpha, V) \leq \gamma_V(z^\star)$ を一般的な実解析的な準周期ポテンシャル $V$ へと拡張している。

• 最大値に関して対称なポテンシャル（偶関数）の場合、局在領域において完全な恒等式が無条件に証明される。
• 非対称なポテンシャルの場合、恒等式は推測され、数値的に検証されているが、有限窓端固有値の安定な臨界点の欠如を克服する必要があるため、証明には課題が残る。

意義および主張
本論文は、準周期的な遠隔安定化において、エネルギーコストが距離に対してどのようにスケールするかという問いに対し、鋭利かつ正確な回答を提供すると主張している。

• 直感の修正： コストレートは単なる局在レートや動作点におけるレゾルベントの減衰ではなく、反射されたスペクトル点におけるリアプノフ指数によって決定されることを示している。これは、境界アクチュエータと遠方サイトの間の相互作用が、全スペクトルを通じて行われることを反映している。
• 無条件の厳密性： 金属的および臨界領域（$0 < \lambda \leq 2$）全体において、すべての位相に対して無条件の証明を与えたことは大きな成果であり、従来の端の正則性に関する仮定を取り除いた。
• 構造的洞察： コストを単一モードの寄与による「キャンセルフリー」な正の和へと還元することで、制御コストが最も有利な境界局在モードによって駆動される極値問題であることを明らかにしている。
• 数値的検証： 著者らは、認定された有限スケール包絡（区間演算を使用）を提供し、黄金比におけるフィボナッチ・スケールに沿った単調収束と理論的レートを確認している。

結論として、局在領域における「ほとんどすべての位相」および金属的／臨界領域における「すべての位相」において恒等式は完全に確立されているが、局在領域における「すべての位相」への拡張は、例外的な位相において境界データが最悪条件のグラム固有ベクトルと直交しないことを証明できるかどうかに依存しており、依然として未解決の問題である。