The $\mathbb{Z}_2$-Index of a Pair of Pure States and the Topology of Interacting 1D Superconductors

技術要約：一対の純粋状態における $\mathbb{Z}_2$ 指数と、相互作用のある1次元超伝導体のトポロジー

問題設定
本論文は、相互作用のあるフェルミオン系、特にクラスD超伝導体におけるトポロジカル相の分類を取り扱う。非相互作用系におけるトポロジカル不変量（マヨラナ数）は、単体（single-body）のフレドホルム指数や射影対を通じて十分に理解されているが、これを相互作用のある多体系へと拡張するには、状態論的な定式化が必要となる。既存の作用素環的アプローチは、「スプリット特性（split property）」（強局所性）に依存しているか、あるいは準自由状態（quasi-free states）に限定されていることが多い。著者らは、相互作用に対して頑健であり、最小限の局所性の仮定を必要とし、かつ対称的な局所自己同型の下で結果として得られる位相空間を完全に分類できる、純粋状態のペアに対する相対的トポロジカル指数を定義することを目的としている。

手法
本研究は、単位元を持つ $C^*$ 代数および自己双対な正準反交換関係（CAR）代数に基づいている。手法は以下の3段階で進行する：

1. 抽象的指数の定義： 著者らは、$\theta$（フェルミオン・パリティを表す）を備えた $C^*$ 代数上の、局所的に比較可能なパリティ不変な純粋状態のペアに対する相対的 $\mathbb{Z}_2$ 指数 $N(\omega_1, \omega_2)$ を定義する。二つの状態は「局所的に比較可能」である。これは、内的な自己同型（ユニタリ $u$ による共役）によって関連付けられていることを意味する。指数は $N(\omega_1, \omega_2) := \omega_1(u^*\theta(u)) \in \{\pm 1\}$ と定義される。
2. 1次元系への適用： 本フレームワークは、1次元自己双対CAR代数 $A = \text{CAR}_{\text{sd}}(H, \Xi)$ に特化される。ここで $\Xi$ は粒子・ホール共役である。「局所自己同型」$\sigma$ が導入される。これは、位置演算子の符号（左半鎖上の演算子の符号を反転させるボゴリューボフ自己同型）によって誘導される。状態 $\omega$ は、$\omega$ と $\omega \circ \sigma$ が局所的に比較可能であるとき、「$\sigma$-局所的」であると定義される。多体系のマヨラナ数は、その後 $N_\sigma(\omega) := N(\omega, \omega \circ \sigma)$ として定義される。
3. 自己同型パスによる分類： ノルム位相は（超選択セクターを保存するため）細かすぎ、弱-$*$ 位相は（指数を消失させてしまうため）粗すぎることを認識し、著者らは「対称的局所自己同型パス」を導入する。これらは、パリティと可換であり、かつ $\sigma$ と特定の交換子条件（局所構造を保持する）を満たす、点ノルム連続な自己同型 $\alpha_t$ のパスである。分類問題は、二つの状態がこのようなパスによって接続されているかどうかを判定することへと再定式化される。

主要な貢献および結果

• 相対的指数のウェルディファインド性と性質： 定理2.3は、$N(\omega_1, \omega_2)$ がウェルディファインドであり、乗法的であり、パリティ保存自己同型の下で不変であり、かつノルム位相において局所的に一定であることを確立している。決定的なことに、$\|\omega_1 - \omega_2\| < 2$ であれば、指数は $+1$ となる。
• 単体指数との対応： 定理2.6および定理3.10は、基底射影 $P, Q$ （ただし $P-Q \in J_2(H)$ を満たす）に関連する準自由状態に対して、多体系の指数 $N(\omega_P, \omega_Q)$ が、標準的な射影のmod-2指数 $(-1)^{\dim \text{im } P \cap \ker Q}$ と一致することを証明している。さらに、単体射影 $P$ から導かれる $\sigma$-局所的状態 $\omega_P$ について、$N_\sigma(\omega_P)$ は単体のマヨラナ数に等しい。
• 状態空間のトポロジー： セクション3.6は、指数が弱-$*$ 位相において連続ではないことを示している。例3.11は、指数が極限において $-1$から$+1$へとジャンプする、$\sigma$-局所的な状態の弱-$$連続なパスを構成しており、これは弱-$$ 位相が空間の無限遠への輸送によって運ばれるトポロジカルな障害を検出できないことを例証している。
• 完全な分類： 中心的な結果（定理4.8および系4.9）は、二つの純粋、パリティ不変、$\sigma$-局所的な状態 $\omega_1$ と $\omega_2$ が、「自己同型パスによって接続されている」（対称的局所自己同型パスを介して）ための必要十分条件は $N_\sigma(\omega_1) = N_\sigma(\omega_2)$ であることを述べている。これは、自己同型パス成分の自己同型成分の完全な分類を与える。
• 局所性の精緻化： 本論文は、松井のスプリット特性よりも弱い条件である $\sigma$-局所性を導入している。付録Bは、$\sigma$-局所的ではあるがスプリットではない純粋状態を構成しており、これにより著者らのフレームワークが、厳密なスプリット特性を満たす状態よりも広いクラスの状態を捉えていることを示している。
• SREおよびLGA： 付録Cは、対称的な生成子を持つ局所生成自己同型（LGA）によって生成される短距離もつれ（SRE）状態が、自明な指数 ($N_\sigma = +1$) を持つことを示している。さらに、指数が2異なるキタエフ鎖はこれらの自己同型によって接続されることを示しており、これは $\mathbb{Z}_2$ の性質と一致している。

意義および主張
本論文は、相互作用のある系における多体系のマヨラナ数に対する、厳密な作用素環的な基礎を提供することを主張している。その主な意義は以下の通りである：

1. 最小性： $\sigma$-局所性の定義は、指数をウェルディファインドにするために既知の最も弱い条件であり、スプリット特性を超えて拡張されている。
2. 完全性： 指数 $N_\sigma$ は、対称的な局所自己同型の下での1次元クラスD超伝導体の位相を完全に分類する。
3. 障害の区別： 本研究は、バルクの障害（$N_\sigma$ によって捉えられる）と、相対的な零次元パリティの障害との関係を明確にしている。$N_\sigma$ はバルクの位相を分類するが、同じ $N_\sigma$ を持つ二つの状態であっても、相対的指数 $N(\omega_1, \omega_2) = -1$ となることがあり、これはバルクの分類では「忘れられる」が、相対的ペア指数によって検出可能な局所的パリティの障害を示している。
4. トポロジカルな頑健性： ノルム位相と自己同型パスを利用することで、著者らは、超選択セクターと局所構造を保持する摂動に対して指数が安定することを保証しており、弱-$*$ 位相の病理を回避している。

著者らは、自身のアプローチが既存の文献を補完するものであると明言しており、特定の物理モデルや準自由の仮定に依存するのではなく、指数をウェルディファインドにし、問題のトポロジカルな構造を示すために必要な最小限の要件に焦点を当てている。