Augmentation and Bulk Edge Correspondence for one dimensional aperiodic tight binding operators

技術要約：一次元非周期的タイトバインディング演算子における増幅およびバルク・エッジ対応

問題提起
本論文は、有限局所複雑性（準結晶鎖など）を持つ一次元非周期的タイトバインディングモデルにおける、トポロジカル不変量の理解という課題に取り組んでいる。中心的な困難は、ハミルトニアンの族を記述するハル（位相空間）が完全に離散的である場合（非周期的システムに見られるケース）、標準的なバルク・エッジ対応（BEC）がしばしば自明な結果しか与えないことである。さらに、「カット・アンド・プロジェクト」法によって構築されたモデル（複数のカットポイントを持つ2カットモデル）では、エッジ状態が必ずしもスペクトルギャップを埋め尽くさないため、状態密度（IDS）やスペクトルフローとトポロジカル不変量の関係の解釈が複雑になる。著者らは、内部自由度がこれらの不変量にどのように寄与するかを明らかにし、バルクのスペクトル特性とエッジのスペクトル特性の間の精密な関係（対応）を確立することを目的としている。

手法
著者らは、材料を単一のハミルトニアンではなく、ハル $\Xi$ によってパラメータ化された共変なハミルトニアンの族として記述する、$C^*$代数を用いた固体物理学のアプローチを採用している。トポロジカル不変量は、関連するクロス積代数 $A \rtimes_\alpha \mathbb{Z}$ の$K$理論から導出される。

完全に離散的なハルにおいて標準的なBECが自明になる問題を克服するため、本論文では**増幅（augmentation）**の原理を導入している。これは、短完全系列 $0 \to I \to \tilde{A} \to A \to 0$ を通じて、バルク代数 $A$ をより大きな代数 $\tilde{A}$ へと拡張することを含む。著者らは、以下の2種類の増幅を分析している：

1. マッピングトーラス構成： この増幅は、力学系のマッピングトーラスに基づいている。これにより、動くエッジを持つシステムの記述が可能になる。
2. 弧（アーク）による増幅： これはカット・アンド・プロジェクト・モデル（Kohmotoモデルなど）に特化したものである。二重のカットポイントの間に弧（区間）を挿入することで、完全に離散的なハルの隙間を「埋める」ことであり、これによってハルを円周（$S^1$）に同相な空間へと実質的に変形させる。

解析には、これらの拡張およびToeplitz拡張から生じる$K$理論の6項完全系列を利用する。著者らは、$K$群を数値的不変量へと写像するChernコサイクル（$ch(b), ch(e), ch(ab)$）を定義する。これらの不変量は、物理的には状態密度（IDS）、エッジ状態のスペクトルフロー、および増幅されたバルクモードのスペクトルフローとして解釈される。また、無理数回転角の有理近似を用いた数値シミュレーションを行い、これらのスペクトルフローを可視化することを含めている。

主要な貢献と結果

• 増幅の枠組み： 本論文は、バルク代数を増幅することにより、ギャップエネルギーにおけるIDSをスペクトルフローに関連付けられることを確立している。これにより、標準的なエッジ不変量が完全に離散的なハルにおいて消失するという問題を解決している。
• マッピングトーラスの結果：
  • マッピングトーラス増幅を用いることで、Bellissardのギャップ標識群がJohnsonとMoserによって定義されたギャップ標識群と一致することの代替証明を提供している。
  • IDSが、境界を1単位長さ分動かすことによって誘起されるエッジ状態のスペクトルフロー（これは電子に対して行われる平均的な仕事と解釈される）に等しいという関係を導出している（整数的な曖昧さを除いて）。
• 弧による増幅と2カットモデル：
  • カット値 $\kappa$ が回転角 $\theta$ の倍数ではない2カットモデルにおいて、著者らは2つの異なるスペクトルフローを特定している。
  • $n_1$（エッジ不変量）： エッジモードに関連しており、「フェイゾン運動」（ポテンシャルのシフト）に関連する。これは、ギャップを通過するエッジ状態のスペクトルフローに対応する。
  • $n_2$（バルク不変量）： 増幅されたバルク演算子のスペクトルに付随する新しい不変量である。これは、補間を通じて生成されたバルクモードのスペクトルフロー密度（単位長さあたりのスペクトルフロー）を表す。
  • 著者らは、$IDS = N + n_1\theta + n_2\kappa$ と分解できることを示している。
• 二次ギャップの取り扱い： 2カットモデルにおいて、「二次ギャップ」（$n_2 \neq 0$ の箇所）は増幅されたバルクスペクトルによって埋められており、エッジ状態のスペクトルフローが見えなくなっている。著者らは、システムを原子極限（純粋なポテンシャル・ハミルトニアン）とスタッキングし、弱い結合を導入することで、これらのギャップを開き、二次ギャップにおいてもエッジのスペクトルフロー（$n_1$）を回収できることを示している。これは、$K$理論におけるGrothendieckの構成の物理的な実現を提供している。
• 有理近似と曖昧さ： $\theta$ が有理数（$p/q$）である場合について分析している。彼らは、トポロジカル数 $n_1$ とスペクトルフロー $\nu$ が、IDSによって（$q$ を法として）のみ決定されるという「$q$-曖昧さ」を強調している。これは、増幅プロセスにおけるリフトの非一意性を反映している。
• 数値シミュレーション： フィボナッチ数列の有理近似を用いた数値シミュレーションを提示している。これらのシミュレーションは、エッジ状態のスペクトルフローと、二次ギャップがバルクモードによって埋められる様子を可視化し、理論式を裏付けている。

意義
本論文は、増幅の枠組みが、標準的なBECが機能しない非周期的システムにおけるトポロジカル不変量を解釈するための堅牢な手法を提供すると主張している。具体的には：

• 異なるギャップ標識群（Bellissard vs. Johnson-Moser）を、具体的な$K$理論的構成を通じて統一している。
• IDSを、境界運動（エッジへの働きかけ）によるエッジ状態への仕事、およびフェイゾン反転によるバルクモードへの仕事として、物理的な解釈を与えている。
• 2カットモデルにおけるトポロジカル不変量の構造を明確にし、エッジ駆動型とバルク駆動型のスペクトルフローを区別している。
• Grothendieckの抽象的な構成（相対的な$K$クラスを形成するためのシステムのスタッキング）が、バルク状態によって埋められたギャップにおいてもエッジのスペクトルフローを測定できるという直接的な物理的現象として現れることを示している。

本研究は、数学的物理学の理論領域に留まっており、$C^*$代数、$K$理論、および循環コホモロジーに依拠しており、導出された定理の数値的な検証によって支持されている。