Algebraic localization implies exponential localization in non-periodic insulators

技術要約：非周期的な絶縁体における代数的局在化は指数関数的局在化を内包する

問題提起
電子構造論において、指数関数的に局在化したワニエ関数（ELWF）は、フェルミ射影された絶縁体ハミルトニアンの基礎として極めて重要であり、有効なタイトバインディングモデルの構築や現代的な分極理論を促進するものである。2次元および3次元の周期的な絶縁体については、指数関数的なELWFの存在が、特定のトポロジカル不変量（Chern数）の消失、および有限の二次モーメントを持つ正規直交基底の存在（$s=2$における代数的局在化）と等価であることが確立されている。これが「局在化の二分法（Localization Dichotomy）」である。

しかし、非周期的な系においては、代数的局在化と指数関数的局在化の関係は、まだ十分に理解されていない。非周期的な系に対する「局在化の二分法予想」は、代数的局在化が指数関数的局在化（およびトポロジカルな自明性）を内包すると仮定しているが、これは基礎となる対称性を仮定せずに厳密に証明されてはいない。主な課題は、標準的な手法がブロッホ・フローケ変換に依存しているため、非周期的な系には適用できないことである。

手法
著者らは、2次元空間における非周期的な系に対する、より弱い形式の局在化の二分法を確立している。核となる戦略は、フェルミ射影 $P$ と仮定された代数的に局在化した基底から導かれる、新しい自己共役位置演算子 $\hat{X}$ を構成することである。証明は以下のステップで進められる：

1. 分解戦略： 著者らは、1次元における射影された位置演算子 $PXP$ の固有関数としてワニエ関数を定義したKivelsonおよびNenciu-Nenciuの手法を一般化する。2次元では、$PXP$ は一般に離散スペクトルを持たない。これを克服するために、著者らは射影 $P$ を、実質的に1次元的（直線 $x = \xi_j$ に沿って局在している）な互いに直交する射影の族 $\{P_j\}$ へと分解することを目指す。もしこのような分解が存在し、かつ各射程が指数関数的に局在したカーネルを持つならば、横方向の射影演算子 $P_j Y P_j$ の固有関数は、$P$ の指数関数的に局在した基底を形成する。

2. $\hat{X}$ の構成： 分解 $\{P_j\}$ の存在を保証するために、著者らは $P\hat{X}P$ が「一様なスペクトルギャップ」を持つような位置演算子 $\hat{X}$ を要求する。著者らは $\hat{X}$ を2段階で構成する：

   • まず、仮定された $s$-局在化した基底 $\{\psi_\alpha\}$ の中心点 $\{\mu_\alpha\}$ に基づく離散化された演算子 $\tilde{X}$ を定義する。$P$ が指数関数的に局在したカーネルを持つという性質を用いることで、これらの中心点が「有界な密度」を持つことを証明し、それらを整数格子上に並べ替えることができるようにする。
   • 次に、必要な滑らかさの条件（具体的には、演算子が真の位置演算子 $X$ から「離れすぎていない」こと、すなわちスペクトル特性を維持すること）を満たすために、Hastingsに触発されたフィルタ関数を用いて $\tilde{X}$ を加工する。これにより、スペクトルノルムにおいて $X$ に近く、かつ特定の交換関係の境界を満たす $\hat{X}$ が得られる。

3. 条件の検証： 構成された $\hat{X}$ が主要な補題（Lemma 3.1）の仮定を満たすことを検証する：

   • $\hat{X}$ は $X$ に近い（$\|\hat{X} - X\| \leq C$）。
   • $\hat{X}$ はその「傾斜した（tilted）」ノルムの意味で指数関数的に局在している（$\|\hat{X}_\gamma - \hat{X}\| \leq C\gamma$）。
   • $P\hat{X}P$ は一様なスペクトルギャップを持つ。

主要な貢献と結果
主要な結果（Theorem 1）は、指数関数的に局在したカーネルを持つ $L^2(\mathbb{R}^2)$ 上の直交射影 $P$ に対する、代数的局在化と指数関数的局在化の間の等価性を確立するものである。具体的には、以下を証明している：

• 定理： もし $P$ の範囲に対して、$s > 5/2$ で $s$-局在化した（すなわち、$\int \langle x - \mu_\alpha \rangle^{2s} |\psi_\alpha(x)|^2 dx < \infty$ を満たす）正規直交基底が存在するならば、指数関数的に局在化した正規直交基底が存在する。
• 技術的閾値： 証明には、代数的減衰指数が $5/2$ を厳密に超えていることが要求される。著者らは、$s > 5/2$ という条件は現在の解析において十分であるが、この閾値は将来の研究において下げられる可能性があると述べている。
• 対称性の独立性： 従来の成果とは異なり、この定理はシステムの基礎となる対称性（例：時間反転対称性や格子の周期性）について何の仮定も置かない。これは、フェルミ射影の局在特性のみに依存している。

意義
本論文は、Marcelli, Monaco, Moscolari, および Panati によって最近提案された、非周期的な系に対する「局在化の二分法予想」に対する厳密な裏付けを与えるものである。トポロジカル不変量や対称性の仮定を呼び出すことなく、代数的局在化（十分高いモーメントを持つ場合）が指数関数的局在化を内包することを証明することで、本研究は、周期的な系における既知の結果と、一般的な非周期的な絶縁体の挙動との間の溝を埋めるものである。

著者らは、本結果が $s=1$（周期系における $s=2$）ではなく $s > 5/2$ を要求すること、および、非周期的な系におけるChernマーカーの消失（トポロジカルな自明性）との等価性をまだ確立していないことから、完全な二分法の「弱い」形式であることを明示している。ただし、代数的性質からトポロジカルな性質への繋がりを扱うMarcelliらによる最近の研究を引用している。結論として、使用された手法は、帰納的な手順を通じて高次元へと一般化可能であり、おそらく $d$ 次元において $s > d + 1/2$ という条件で同様の結果を確立できる可能性があるとしている。