(Sharp arithmetic) localization beyond transversality

技術要約：横断性（Transversality）を超えた鋭い算術的局在化

問題設定
本論文は、以下の形式の1次元準周期シュレディンガー作用素に関するアンデルソン局在化（純点スペクトルおよび指数関数的に減衰する固有関数）の証明という問題に取り組んでいる：
$$(H(x)\psi)(n) = \psi(n-1) + \psi(n+1) + f(x+n\alpha)\psi(n)$$
ここで、$f$ は1周期のサンプリング関数であり、$\alpha$ は無理数周波数である。

局在化を確立する上での中心的な困難は、有限体積作用素の固有値が所定のエネルギーに近くなるパラメータの集合を制御することにある。歴史的に、これらはサンプリング関数 $f$ に対する定量的単調性または横断性の仮定に依存してきた。具体的には、従来の鋭い算術的局在化の結果（例：アポスト・マチュー模型やメアリーランド模型）では、$f$ が以下の反リプシッツ条件を満たす必要があった：
$$f(y) - f(x) \geq \gamma(y-x) \quad \text{for } 0 \leq x < y < 1$$
この条件は、$f$ があらゆる場所で明確な線形成長をすることを強制するため、平坦な領域（$f'=0$ となる区間）やジャンプ不連続性を持つサンプリング関数を事実上排除してしまう。このような定量的横断性の欠如は、平坦な部分を持つ単調なポテンシャルに対して、スペクトル変分がサンプリング関数自体から読み取れないという既知の障害となっていた。

手法
著者らは、定量的横断性を仮定せず、さらには大域的な単調性さえも仮定せずに局在化を確立するための新しいメカニズムを開発している。彼らのアプローチは、主に以下の2つの構成要素からなる：

1. 抽象的な固有値枝の性質 (A1 および A2):
   著者らは、有限体積の固有値曲線 $E_k(x)$ の2つの構造的性質を抽出し、これらが $f$ の特定の正則性に依存せずに局在化を証明するのに十分であることを示した。

   • A1 (反リプシッツ固有値枝): 固有値曲線の単調区間内において、ある $\gamma > 0$ が存在して $E_k(y) - E_k(x) \geq \gamma(y-x)$ が成立する。
   • A2 (インターレース/挟み込み): 不連続点において、固有値曲線はインターレース条件 ($E_k(x) \geq E_{k-1}(x-0)$) を満たす。
     本論文は、以前の研究（具体的には Jitomirskaya–Kachkoviy [30]）における大偏差評価と局在化の証明が、$f$ 自体が反リプシッツである必要なく、A1 および A2 にのみ依存するように適応可能であることを示している。

2. 記号論的一意継続原理 (Symbolic Unique-Continuation Principle):
   これが、平坦な領域やジャンプ不連続性を持つポテンシャルに対して A1 が成立することを証明するための核心的な技術的新規性である。

   • 質量転送メカニズム: ヘルマン・ファインマン公式を用い、固有値の微分をサンプリングされた微分の重み付き平均として表現する。著者らは格子を「良質な」サイト（$f' > 0$）と「悪い」サイト（$f' \approx 0$ または $f' < 0$）に分割する。
   • グリーン関数の制御: 固有関数が「悪い」サイトに全質量を集中させることができないことを示す。良質な境界点を持つ区間を構成し、ポアソン公式を利用することで、任意のサイトから良質なサイトへの質量の転送を証明する。
   • 共通共鳴の排除: エネルギー $E$ が、良質なサイトによって境界付けられたすべての区間に制限された作用素の共通のディリクレ固有値になり得ないことを証明するのが決定的なステップである。もしそのような共通の固有値が存在すれば、それは良質なサイト上でゼロとなる非ゼロの解を意味することになる。
   • 記号論的簡約: このような共通の固有値を排除するために、問題を記号力学系の設定へと還元する。著者らは、$f' > 0$ の領域への「回帰語（return words）」を検討する。そして、十分に小さな区間 $G$ と、端点の異なる $\alpha$-軌道に対して、回帰語の集合は、ポテンシャルの値がいかなる割り当てであっても共通のディリクレ固有値を共有しないことを証明する。これは、回帰時間の互いに素な性質を利用して、単語から文字を「剥ぎ取っていく」帰納的な議論によって、自明なケース（空の単語または単一の文字）に到達することで確立される。

主要な貢献と結果

• 定理 1.1 (単調ポテンシャルの鋭い算術的局在化): 著者らは、あらゆる有界で非定数な $C^1$ 単調サンプリング関数（任意に大きな平坦な領域を持つものを含む）およびあらゆる無理数周波数 $\alpha$ に対して、作用素が鋭い算術的スペクトル遷移を示すことを証明した。具体的には、ほとんど全ての位相 $x$ に対して、集合 $\{E : L(E) > \beta(\alpha)\}$ は純点スペクトルのみを支持し、$\{E : 0 < L(E) < \beta(\alpha)\}$ は特異連続スペクトルを支持する。これは、平坦な部分を持つポテンシャルに対する初の非摂動的な鋭い算術的局在化の結果である。
• 定理 1.3 (摂動的単調性): この結果は非単調なポテンシャルにも拡張される。もし $f$ が「大部分が平坦」な $C^1$ 関数であれば、ある小さな摂動 $g$ が存在し、$f+g$ は必ずしも単調ではないが、関連する作用素は依然として鋭い算術的遷移を示す。有限体積制限の固有値曲線は、運動項との相互作用により、区間上で単調性を維持する。
• 定理 1.4 (不連続ポテンシャル): 結果は、有界で単調な、区分的に絶対連続なジャンプ不成立関数へと拡張される。ただし、不連続点が同じ $\alpha$-軌跡上に存在しない場合に限る。
• 命題 1.9: $\int \log(1+|f|) < \infty$ を満たす作用素の族に対して、仮定 A1 および A2 が成立する場合、集合 $\{E : L(E) > \beta(\alpha)\}$ は純点スペクトルのみを支持するという一般定理。これは、局在化の議論を $f$ の具体的な性質から抽象化するものである。

意義と主張

本論文は、準周期スペクトル論における長年の難問、すなわちサンプリング関数における平坦な領域がもたらす障害を解決したと主張している。

• 横断性の打破: 本研究は、定量的横断性（反リプシッチ条件）が鋭い算術的局在化のための必要条件ではないことを示している。ポテンシャルは円周上の大部分で実質的に定数であっても、完全な局在化を示すことが可能である。
• 普遍性: これらの結果は、鋭い算術的遷移が、これまで知られていた特定の族（アポスト・マチュー、メアリーランド、反リプシッツ単調など）を超えて、1周波数準周期作用素において普遍的であるという予想を支持している。
• 非摂動的な性質: 平坦な部分を持つ単調なポテンシャルに関する従来の研究（例：[36, 37]）とは異なり、それらは摂動的であり、閾値 $L(E) = \beta(\alpha)$ における鋭い遷移を与えなかったが、本研究はすべての結合強度およびすべての無理数周波数において、非摂動的に完全な遷移を確立している。
• メカニズム: 「記号的一意継続原理」の導入は、標準的な正則性の仮定がない状況下で固有値枝を分析するための新しいツールを提供し、ジャンプ不連続性と平坦な領域を同時に扱うことを可能にしている。

著者らは、主要な定理では簡潔さのために $C^1$ 仮定を用いているが、基礎となる証明はより弱い仮定（区分的絶対連続性）に基づいていること、また定理 1.4 で詳述されているように、連続性の仮定はさらに緩和可能であることを強調している。本研究は、これらの新しいクラスにおける臨界線 $L(E) = \beta(\alpha)$ 上のスペクトル挙動を解明したと主張しているわけではなく、また、特定の構造的条件を導出した場合を除き、すべての非単調なポテンシャルに対して局在化を確立すると主張しているわけでもない。