Admissible Fourier Lengths, KAM Reducibility, and Spectral Applications

技術要約：許容可能なフーリエ長、KAM可約性、およびスペクトルへの応用

問題設定
本論文は、1周波数の $SL(2, \mathbb{R})$ コサイクルおよびそれに関連する準周期シュレディンガー作用素の摂動的可約性を扱う。古典的なKAM（コルモゴロフ・アーノルド・モーザー）可約理論は、通常、通常の滑らかさ（例：解析的またはゲブレイ級数）に依存しており、そこではフーリエ減衰はユークリッド的な長さ $|n|$ によって測定される。しかし、この枠組みは、ワイエルシュトラス型の関数のように連続ではあるが至る所微分不可能であるものや、あらゆる正のヘルダー級数から外れる関数に対しては機能しない。中心となる問題は、ポテンシャルの正則性がユークリッド的な滑らかさによってではなく、より一般的な「適応された」フーリエ尺度によって測定される場合において、KAM可約性とそのスペクトル的帰結（純粋絶対連続スペクトルなど）が存続するかどうかを判定することである。

手法
著者らは、許容可能なフーリエ長 $\ell: \mathbb{Z} \to [0, \infty)$ の概念に基づく摂動的KAM可約理論を開発している。

1. 許容可能なフーリエ長と代数:

   • 許容可能な長さ $\ell$ とは、対称かつ劣加法的な関数であり、冪次劣指数的な球成長条件 $Q_\ell(N) := \#\{n : \ell(n) \le N\} \le C_\ell \exp(c_\ell N^\rho)$ ($0 < \rho < 1$) を満たすものである。
   • 彼らは、フーリエ係数が $\ell(n)$ に関して指数関数的に減衰する関数からなる適応フーリエ代数 $A^\ell_\sigma$ を定義する：$\|f\|_{\sigma, \ell} = \sum |\hat{f}(n)| e^{\sigma \ell(n)} < \infty$。
   • 決定的なことに、$\ell$ は単調である必要はない。これにより、通常の意味での（$|n|$ によって減衰が測定される）至る所微分不可能な関数であっても、適応された代数 $A^\ell_\sigma$ において正の幅を持つことが可能となる。

2. 一致した算術条件:

   • 理論は、長さ $\ell$ に一致したディオファントス条件 $\|n\alpha\|_{\mathbb{T}} \ge \gamma \exp(-\tau \ell(n)^\rho)$ を要求する。
   • 球の劣指数成長 $Q_\ell(N)$ と小分母における劣指数的な損失は互いに適合しており、これによりKAM反復が正の極限幅を持って収束することが可能となる。

3. 定量的KAM反復:

   • 著者らは、$F \in A^\ell_\sigma$ である $SL(2, \mathbb{R})$ コサイクル $(\alpha, A e^F)$ に対する定量的1ステップKAM共役定理（定理3.3）を確立している。
   • 反復は非共鳴ケースと共鳴ケースの両方を扱う。共鳴ケースでは共役写像の次数が変化するが、著者らは共役ノルムの増大と幅の損失を制御している。
   • 反復は、共鳴が有限個であれば定数コサイクルへ（可約）、そうでなければほとんど可約な状態へと収束する。

4. スペクトル解析:

   • 可約性の結果は、シュレディンガー・コサイクル $S^V_E(x) = \begin{pmatrix} E-V(x) & -1 \\ 1 & 0 \end{pmatrix}$ に適用される。
   • 著者らは、非一様双曲型コサイクルのリアプノフ指数が消滅することを利用し、また $C^0$ トポロジーに関するリアプノフ指数の $1/2$-ヘルダー連続性を確立している。
   • また、オーブリー双対を用いてシュレディンガー作用素をその双対に関連付け、$\ell$ によって誘導された計量における固有関数の局在性を分析している。

主要な貢献と結果

1. 粗いポテンシャルのためのKAM可約性（定理1.1）:
   本論文は、任意の許容可能なフーリエ長 $\ell$ に対して、周波数 $\alpha$ が一致したディオファントス条件を満たし、摂動 $F$ が $A^\ell_\sigma$ において小さい場合、コサイクルがほとんど可約であることを証明している。これにより、以下の対象へとKAM理論を拡張している：

   • 至る所微分不可能なワイエルシュトラス型のコサイクル。
   • あらゆる正のヘルダー級数から外れる連続コサイクル。

2. シュレディンガー作用素のスペクトル的帰結（定理1.2）:
   ノルムが小さい $V \in A^\ell_\sigma$ に対して：

   • 作用素 $H_{x, \alpha, V}$ は、すべての位相 $x$ に対して純粋絶対連続スペクトルを持つ。
   • 積分状態密度（IDS）は$1/2$-ヘルダー連続である。
   • ほとんどすべてのエネルギーに対して、コサイクルは楕円型定数へと可約である。

3. オーブリー双対と局在化（系1.3）:
   オーブリー双対作用素 $\hat{H}_{\alpha, \theta, V}$ について、そのスペクトルはルベーグ測度によるほとんどすべての双対位相 $\theta$ に対して点スペクトルである。固有関数は、計量 $d_\ell(m, n) = \ell(m-n)$ に関して指数関数的に局在している。

   • 意義： ワイエルシュトラス・ポテンシャルの場合、この局在化は「適応された」ものであり、ユークリッド的な格子距離における指数関数的局在よりもはるかに弱い可能性がある。具体的には、固有関数はユークリッド的な意味では正の多項式モーメントを全く持たない場合があるが、それでも $\ell$-計量においては指数関数的に局在している。

4. カントール・スペクトルの構成（系1.5）:
   Moser–Pöschel型の構成を用いることで、著者らはワイエルシュトラス・ポテンシャル（およびその小さな摂動）に対して、至る所微分不可能であり、かつカントール・スペクトルを持ちながら、すべての位相に対して純粋絶対連続スペクトルを保持するポテンシャルを構成できることを示している。これは、DamanikおよびFillman [DF24] における特定の未解決問題（問題9.14.6）に答えるものである。

5. 予想に対する反例:
   古典的なワイエルシュトラス・ポテンシャルの場合、スペクトル上でのリアプノフ指数の消滅は、十分に小さい非ゼロの結合定数に対して、[You26] の予想2.6における正のリアプノフ指数の主張と矛盾する。

結果の意義
本論文は、至る所微分不可能である準周期コサイクルおよびあらゆる正のヘルダー級数から外れる連続コサイクルのための、初の可約性およびほとんど可約性の定理を提供していると主張している。その結果、この正則性のレベルにおける純粋絶対連続および純粋絶対連続カントール・スペクトルの最初の例をもたらしている。

核心となる概念的な進展は、「KAM反復に関連する正則性」を「通常の滑らかさ」から切り離したことにある。著者らは、不可欠な入力が、正の適応されたフーリエ幅と劣指数的な算術的損失の一致したペアであるということを示しており、この枠組みは古典的な解析的設定とゲブレイ設定を統一しつつ、ワイエルシュトラス関数のような極めて不規則な関数へと拡張するものである。これにより、ポテンシャルが至る所微分不可能であっても、スペクトル特性（絶対連続性など）が存続し得ることを明らかにしている。

論文の最後では、将来の研究方向として「全周波数問題」を挙げており、これは、すべての無理数周波数に対して一様な閾値を持つ、非摂動的なほとんど可約性の結果を得ることである。