Euler Topological Metals in 1D

技術要約：1次元におけるオイラー・トポロジカル金属

問題提起
本論文は、1次元金属におけるフェルミ海のオイラー標数（$\chi$）を探索するためのKane（2022）による輸送提案の数学的定式化に取り組んでいる。ギャップのある相におけるトポロジカル不変量（例：チャーン数）は量子化された輸送係数によって検出されるが、金属にはスペクトルギャップが存在しない。その代わりに、金属のトポロジーは運動量空間における占有領域（フェルミ海）の幾何学によって定義される。1次元において、オイラー標数はこのフェルミ海の連結成分の数に対応する。中心となる問題は、無限体積のトレースに伴う数学的な障害（ギャップレス系における数学的障壁）を克服しつつ、このトポロジカル不変量に収束する連続体極限における線形応答関数を厳密に定義することである。

手法
著者らは、実解析的な分散関係 $f$ を持つ、クリーンで並進不変な連続体ハミルトニアン $H = f(P)$ （ただし $L^2(\mathbb{R})$ 上）を分析している。フェルミ海は $\Sigma_{E_F} = \{p \in \mathbb{R} \mid f(p) \leq E_F\}$ として定義される。

1. トレースの正則化: 著者らは、標準的な線形応答のためのKubo公式が、空間的なスイッチ（ヘヴィサイドの階段関数） $\Lambda(X)$ を含む交換子 $[\Lambda(X), e^{-itH}]$ を含むことを特定している。連続体においては、Pellerの定理の結果として、運動量軸全体にわたる位相因子 $e^{-itf(p)}$ の全変動が無限大であるため、この交換子は一般にトレース級数にならない。これを解決するために、本論文ではAbel正則化スイッチ $\Lambda_\varepsilon(x) = \chi_{(0,\infty)}(x)e^{-\varepsilon x}$ を導入し、その両側にフェルミ射影 $P_F$ を用いて交換子を圧縮する。
2. 応答汎関数: 本研究では、以下の無次元の応答汎関数に焦点を当てる：
   $$R(t) = 2\pi i \, \text{tr}\left( P_F \left[ e^{itH} \Lambda_\varepsilon(X) e^{-itH}, \Lambda_\varepsilon(X) \right] P_F \right)$$
   目標は、二重極限 $\lim_{t \to \infty} \lim_{\varepsilon \to 0^+} R(t)$ を評価することである。
3. 解析手法: 証明には直接的な運動量空間の分析を用いている。トレースは、$(p-k)^2$ で割られたエネルギー差 $t(f(p) - f(k))$ の正弦関数を含む振動積分へと変換される。著者らは、リーマン・ルベーグの補題を用いて、フェルミ点から離れた領域からの寄与が $t \to \infty$ において消失することを示す。非消失の寄与は、フェルミ海の区間の端点に孤立させられ、そこではテイラー展開と特異積分の慎重な推定が用いられる。
4. 格子類似: 格子ケース（$H = \ell^2(\mathbb{Z})$）についても並行した分析が行われている。ここでは、実解析的な周期関数のフーリエ係数の指数関数的減衰により、シャープな交換子が本質的にトレース級数となるため、Abel正則化を用いずに直接計算が可能であるが、カーネル公式を導出するために正則化が使用されている。

主要な貢献と結果

• 主要定理（連続体）: 本論文は、コンパクトなフェルミ海 $\Sigma_{E_F}$ と正則なフェルミエネルギー $E_F$ を持つ実解析的な分散 $f$ に対して、正則化された応答の長時間極限がフェルミ海のオイラー標数に等しいことを証明している：
  $$\lim_{t \to \infty} \lim_{\varepsilon \to 0^+} 2\pi i \, \text{tr}\left( P_F \left[ e^{itH} \Lambda_\varepsilon(X) e^{-itH}, \Lambda_\varepsilon(X) \right] P_F \right) = \chi(\Sigma_{E_F})$$
  1次元において、$\chi(\Sigma_{E_F})$ は単純にフェルミ海の連結成分（区間）の数である。

• 長時間極限の必要性: 著者らは、量子化が厳密に長時間現象であることを示している。有限の時間 $t$ においては、$R(t)$ は0から始まり整数値へと進化する連続関数である。これは有限時間ではトポロジカルに量子化されておらず、漸近的に整数極限へと接近するのみである。本論文は、追加の非定常性の仮定の下で、$O(t^{-1/3})$ の収束率を提供している。

• 格子結果と充填バンド: 格子類似において、シャープな交換子はトレース級数である。著者らは、長時間極限がブリルアンゾーン内におけるフェルミ海のオイラー標数を与えることを証明している。決定的なことに、バンドが完全に充填されている場合（$\Sigma_{E_F} = \mathbb{T}$）、オイラー標数は0となり、応答は消失することを示した。これは、充填された「海」が寄与すると予想される連続体の直感とは対照的であり、トーラス幾何学のトポロジカルな差異を浮き彫りにしている。

• 有限体積および無秩序分析: 付録の数値シミュレーションは、熱力学的極限（$L \to \infty$）と長時間極限（$t \to \infty$）の分離を例証している。有限体積では、応答は準周期的な挙動を示し、熱力学的極限を先に取らない限り $t \to \infty$ としては収束しない。さらに、アンダーソンモデル（無秩序系）において、無秩序平均された応答はゼロへと向かい、サンプル間の分散は依然として有意である。これは、量子化された輸送がクリーンで弾道的な系における特徴であり、強い無秩序が存在する場合には持続しないことを示唆している。

意義と主張
本論文は、Kaneによる1次元輸送提案の厳密な数学的定式化を提供することを目的としている。その主な意義は以下の通りである：

1. 厳密な正当化: 特定のAbel正則化された応答を定義することで、連続体におけるトレース級数の障害を解決し、それがトポロジカル不変量に収束することを数学的に定義した。
2. 極限の明確化: なぜ長時間極限が量子化に不可欠であるかを明示し、トポロジカル不変量が有限時間の観測量ではなく、輸送応答の漸近的性質であることを示した。
3. 範囲の定義: 著者らは、本研究を1次元連続体の狭く厳密な取り扱いとして位置づけている。彼らは、高次元の問い（例：$d \geq 2$ における厳密な非線形Kubo公式）は未解決かつ重大な課題として残されていることを明言している。本論文は新しい実験セットアップを提案したり、この不変量が無秩序または相互作用のある系で容易に測定可能であると主張したりするものではなく、むしろクリーンで非相互作用なケースにおける理論的基盤を確立するものである。

本研究は、分散が実解析的であり、観測時間が無限に取られる場合に、1次元フェルミ海のオイラー標数が特定の輸送応答から回収できるという、基礎的な数学的証明として機能している。