Algebraic localization of Wannier functions implies Chern triviality in non-periodic insulators

技術要約：非周期的な絶縁体におけるワニエ関数の代数的局在化とChern不変量の自明性

問題設定
ギャップを持つ量子系（絶縁体）の研究において、占有された電子状態の空間的な局在性（フェルミ射影演算子 $P$ の範囲）と、その系のトポロジカルな性質との関係は中心的な問いである。周期的な系においては、「局在化の二分法（localization dichotomy）」としてよく知られた結果があり、占有空間に対して有限の2次モーメントを持つ直交基底（ワニエ関数）が存在することは、Chern数（$c(P)=0$）が消失することと同値である。さらに、有限の2次モーメントは、指数関数的に局在化した基底の存在と同値である。

しかし、非周期的な（一般的な）ギャップを持つ系については、ブロッホ分解が欠如しているため、Chern数は定義できない。代わりに、「Chernマーカー」$C(P)$ が自然な一般化として用いられる。非周期系における局在化の二分法の予想は、局在化した一般化ワニエ基底の存在は、Chernマーカーの消失と同値であるというものである。これまでの研究では、部分的な結果（具体的には、[5]における $s > 5$ や [3]における $s > 5/2$ の場合での $s$ による局在性がChern自明性を導くこと）は確立されていたが、$s$ の閾値は未解決の問題であった。本論文は、以下の方向性を扱う：もし $P$ が $s$ に近い $s$ についての $(1+\delta)$-局在化した基底を持つならば、Chernマーカーはゼロになるか？

手法
著者らは、指数関数的に局在化した射影演算子 $P$（$L^2(\mathbb{R}^2)$ 上の直交射影演算子）が、ある $\delta > 0$ に対して $(1+\delta)$-局在化した一般化ワニエ基底を持つならば、Chernマーカー $C(P)$ はゼロになることを証明する。証明は以下の技術的なステップを通じて行われる：

1. 有界密度と格子による再ラベル付け：
   著者らはまず、指数関数的に局在化した射影演算子の任意の $s$-局在化した基底のセンター点 $\{\mu_\alpha\}$ が「有界密度」を持つことを確立する。これにより、基底関数 $\{\psi_\alpha\}$ を、中心が実質的に $m$ に位置する格子 $m \in \mathbb{Z}^2$（有限の縮退因子 $M$ を伴う）によってインデックス付けされた $\{\psi_m\}$ として再ラベル付けすることが可能になる。これにより、中心が規則的なグリッド上に位置するものとして扱うことで、解析を簡略化できる。

2. 有限ランク近似：
   Chernマーカーの定義で使用される切り出し操作 $\chi_L P$（ここで $\chi_L$ はサイズ $L$ のボックスの指示関数）を直接扱う代わりに、著者らは有限ランク射影演算子 $P_L = \sum_{|m|_\infty \le L} |\psi_m\rangle\langle\psi_m|$ を導入する。この射影演算子は、$P$ の局所的な情報をより制御可能な形で捉える。

3. テクニカル・レマによる誤差推定：
   証明の核心は、$\chi_L P$ を用いて計算されたChernマーカーと、$P_L$ を用いて計算されたトレースとの間の差異を評価することにある。これには、位置演算子 $X, Y$ と射影演算子を含む演算子のヒルベルト・シュミットノルムの推定が必要となる。

   • 命題 2.3: $\|\chi_L P - P_L\|_{S_2} \lesssim L^{2/3}$ を確立する。これは、基底関数の減衰に関する評価（命題 3.1 および 3.2）から導かれ、誤差が面積 $L^2$ に対して十分に速く減衰することを示している。
   • 命題 2.4: Chernマーカーの定義において $\chi_L P$ を $P_L$ で置き換えても、極限 $L \to \infty$ において変化しないことを示す。
   • 命題 2.5: $P_L$ を含むトレース項が消滅することを示す。具体的には、$\lim_{L\to\infty} L^{-2} \|(P-P_L)X P_L\|_{S_2}^2 = 0$ であることを証明する。

4. 代数的操作：
   $X$ および $Y$ が $P_L$ の範囲上で有界な演算子であることを利用して、著者らは交換子項 $[PXP, PYP]$ に関する代数的操作を行う。彼らは、交換子のトレースが差分 $(P - P_L)$ を含む項に帰着することを示し、これらの項が $(1+\delta)$-局在化した基底の減衰特性により、熱力学的極限において消失することを示す。

主な貢献と結果

• 主要定理 (Theorem 1): 本論文は、指数関数的に局在化したフェルミ射影演算子を持つギャップのある非周期系において、$(1+\delta)$-局在化した一般化ワニエ基底の存在（任意の $\delta > 0$ に対して）が、Chernマーカー $C(P)$ がゼロであるための十分条件であることを証明している。
• 先行研究の境界の改善: この結果は、Chern自明性を結論付けるために $s > 5$ または $s > 5/2$ を必要とした先行研究を改善するものである。著者らは、要求される減衰指数を、1より大きい任意の値へと下げた。
• 技術的評価: 論文は、完全な射影演算子と、その有限ランクへの切り出しとの差のヒルベルト・シュミットノルムの減衰に関する精緻な評価（命題 3.1 および 3.2）を提供しており、これらは証明の中心となっている。

意義と主張
著者らは、本研究が、非周期的なギャップ系における局在化の二分法予想の一方向を、ワニエ基底の減衰条件を大幅に緩和した形で裏付けるものであると述べている。具体的には、代数的局在性（2次モーメントよりわずかに優れた $s > 1$ の減衰）があれば、トポロジカルな自明性（Chernマーカーの消失）が保証されることを確立している。

本論文は、以下の制限事項と範囲を明示している：

• $s=1$ の正確なケースに関する証明は依然として未解決であるが、著者らは追加の技術的仮定があれば達成可能であると考えている。
• 本結果は、「局在化した基底 $\implies$ Chern自明性」という含意のみを確立している。逆の方向（Chern自明性 $\implies$ 局在化した基底の存在）は未解決の問題である。
• 本研究は純粋に数学的なものであり、スペクトル論や演算子ノルムに焦点を当てており、新しい物理的応用や実験的セットアップを提案するものではない。

要約すると、本論文は、占有状態が2次以上の減衰を示す場合にはトポロジカルな局在化の障害（Chernマーカー）が消失することを実証することで、非周期的な系におけるトポロジカル絶縁体の数学的理解の空白を埋めるものである。