技術要約：トポロジカル・スタビライザー状態における多体カイラリティ

1. 問題設定

強く相互作用する量子多体系におけるカイラリティの特性評価は、依然として根本的な課題である。カイラリティは従来、動的応答（例：カイラルなエッジ輸送）やカイラル中心電荷（$c_-$）を通じて診断されてきたが、これらの指標は単一の基底状態の波動関数の静的なもつれ構造を捉えるには不十分である。既存の量子情報理論的枠組みは、特にモジュラー交換子が消滅する場合（例：特定のスタビライザー混合状態や3次元Walker-Wangモデル）や、$c_- = 0$ の兆候を示しながらもカイラリティを示す系において、カイラル相を区別できないことが多い。

本研究が取り組む中心的な問いは、カイラリティが量子状態のエンタングルメント構造のみから純粋に特徴付けられるかどうかである。具体的には、状態 $\rho$ が有限深さの局所操作によってその複素共役 $\rho^*$ へと変換可能か否かを調査する。このような変換が阻害される場合、その状態はカイラルであると定義される。本研究では、混合状態および純粋状態の実装の両方を含む、$\mathbb{Z}_d^{(k)}$ エニオン理論のスタビライザー実現に焦点を当てる。

2. 手法

著者らは、局所操作（LO）および局所ユニタリ（LU）に基づく厳密なフレームワークを用いて、カイラリティを定義および検出する。

• カイラリティの定義:

  • LU-カイラリティ: 状態 $\rho$ がLU-カイラルであるとは、任意の有限深さのユニタリ回路 $U$ に対して $\rho^* \neq U \rho U^\dagger$ であることを指す。
  • LO-カイラリティ: 状態 $\rho$ がLO-カイラルであるとは、任意の有限深さのユニタリ $U$ とアンシラに対して $\rho^* \neq \text{Tr}_A [U (\rho \otimes |0\rangle\langle 0|_A) U^\dagger]$ であることを指す。
  • $n$-部カイラリティ: 状態が$n$-部カイラルであるとは、系の$n$-分割に作用するテンソル積チャネル $Q = \bigotimes_{j=1}^n Q_{A_j}$ を介して $\rho^*$ に到達できないことを指す。
  • LU-虚数性（Imaginarity）: 状態がLU-虚数であるとは、（ある局所基底において）実数値の密度行列へと有限深さのLUによって変換できないことを指す。

• モデル系: 本研究では、三価かつ3彩色可能な格子上のスタビライザー混合状態構成であるハニカムモデルを利用する。このモデルは、局所次元 $d$ と $d$ と互いに素なパラメータ $k$ を持つ $\mathbb{Z}_d^{(k)}$ エニオン理論を実現する。また、可換プロジェクター・ハミルトニアンを持つ $\mathbb{Z}_{p^{2m}}^{(1)}$ 理論の純粋状態実現についても検討する。

• 解析手法:

  • 標準的純化（Canonical Purification）: 解析では頻繁に標準的純化 $|\Psi_\rho\rangle$ を用いて、混合状態の性質を純粋状態のエンタングルメント構造へと写像し、スタビライザー形式の利用を可能にしている。
  • ストリング演算子とエニオン電荷: これらの状態における局在した励起が、$\mathbb{Z}_d^{(k)}$ 理論における特定の型のエニオン電荷に対応することを厳密に確立している。著者らは、これらの電荷が保存され、局所変換の下で分解（factorize）することを証明している。
  • トポロジカル・スピンとT-junction: トポロジカル・スピン $\theta(a)$ は、ストリング演算子を用いたT-junctionプロセスを通じて抽出される。著者らは、このスピンがエニオン型の不変量であり、局所変換の下で保存（または共役）されることを示している。
  • エッジ電荷（$n$-部カイラリティ用）: $n$-部分割における幾何学的局所性の欠如に対処するため、弱対称性を考慮したデコレーション演算子を用いて、部分系の境界上に定義される「エッジ電荷」を導入している。

3. 主な貢献と結果

3.1 LO-カイラリティとミラー不変性

主要な結果は、LO-カイラリティと基礎となるエニオン理論のミラー不変性との間の直接的な等価性を確立することである。

• 定理2: $\mathbb{Z}_d^{(k)}$ エニオン理論を支持するスタビライザー混合状態は、そのエニオン理論がミラー不変である（すなわち、理論がその複素共役と同型である $A \simeq A^*$）場合、かつその場合に限り、LO-カイラルではない。
• ミラー不変性基準（定理1）: $d, k$ が互いに素な $\mathbb{Z}_d^{(k)}$ について、理論がミラー不変であるための必要十分条件は、$d$ が $p_j \equiv 1 \pmod 4$ である素数の積（または $d=2$ とそのような積の積）であることである。$d$ が $p \equiv 3 \pmod 4$ である素因数を含む場合、理論はカイラルである。
• 含意: これは、従来の診断法を回避する形態のカイラリティを明らかにしている。例えば、$\mathbb{Z}_5^{(1)}$ はカイラル中心電荷（$c_- = 0 \pmod 8$）が消失し、ギャップを持つ境界を許容するが、これは $5 \equiv 1 \pmod 4$ が非不変性の条件ではないためではなく、論文では $\mathbb{Z}_5^{(1)}$ はミラー不変（非カイラル）であることを示している。一方で $\mathbb{Z}_3^{(1)}$ （$3 \equiv 3 \pmod 4$）はカイラルである。決定的なことに、本論文は $\mathbb{Z}_{p^2}^{(1)}$ 理論（$p \equiv 3 \pmod 4$）が、カイラル中心電荷を持ち、可換プロジェクター実現を持つLO-カイラルな純粋状態であることを特定している。

3.2 四部カイラリティ

本論文は、カイラリティを検出するために必要な最小限の多部構造を調査している。

• 結果2: 非ミラー不変な $\mathbb{Z}_d^{(k)}$ 理論を支持するスタビライザー混合状態は、四部カイラルであるが、三部カイラルではない。
• 意義: これは、モジュラー交換子（三部的な尺度）がこれらの系におけるカイラリティを検出するには不十分であることを示している。複素共役への変換の障害は、本質的に四部的なものである。証明は、四部分割のトリ・ジャンクションにおける「エッジ電荷」の保存と分解に基づいている。
• 純粋状態における障害: 著者らは、四部カイラリティの証明を純粋状態の実装（特に $\mathbb{Z}_{p^2}^{(1)}$）へ拡張することには現在障害があると言及している。なぜなら、純粋状態におけるエッジ電荷は、フル $\mathbb{Z}_{p^2}$ 電荷ではなく $\mathbb{Z}_p$ 電荷のみを解像するため、分解の議論に必要な情報が失われるからである。

3.3 多体虚数性（Many-Body Imaginarity）

本論文は、カイラリティ（$\rho \to \rho^*$ への変換の障害）と虚数性（$\rho$ を実数値にできるかどうかの障害）を区別している。

• 結果3: $\mathbb{Z}_d^{(1)}$ を支持するすべてのスタビライラー混合状態は、$d > 2$ においてLU-虚数的である。
• 主要な知見: LU-虚数であるがLO-カイラルではない状態が存在する。最も単純な例は $\mathbb{Z}_5^{(1)}$ モデルであり、これはLU-虚数的（実数値にできない）であるが、LO-非カイラル（複素共役に写像可能）である。これは、LOの意味でカイラルではない位相においても、固有の複素位相構造が存在することを証明している。

3.4 混合状態相の分類

著者らは、標準的純化による混合状態相の分類が不十分であることを示している。

• 系随（Corollary 1）: LO-カイラルな状態 $\rho$ について、状態 $\rho$ とその共役 $\rho^*$ は異なる混合状態相に属する（$\rho \not\simeq \rho^*$）が、それらの標準的純化 $|\sqrt{\rho}\rangle$ と $|\sqrt{\rho^*}\rangle$ は同じ純粋状態相に属する。これは、混合状態のトポロジカル秩序を分類する上で、純化を用いることの限界を浮き彫りにしている。

4. 意義と主張

本論文は、多体系のエンタングルメント構造のみに基づいた、カイラリティの厳密な量子情報理論的特性付けを提供すると主張している。

• カイラル中心電荷を超えて: 本研究は、カイラル中心電荷 $c_-$ がLO-カイラリティの忠実な診断指標ではないことを示している。$c_- = 0$（およびギャップを持つ境界を持つ）系であっても、そのエニオン・データがミラー対称性を欠く場合、本質的にカイラルであり得る。
• エンタングルメント構造: 結果は、カイラリティが少なくとも四部（four-party）の構造を必要とするエンタングルメントに根ざした障害であることを確立しており、モジュラー交換子のような三部的な尺度の有用性に疑問を投げかけている。
• 固有の虚数性: 本論文は「多体虚数性」を導入・証明し、トポロジカルな波動関数における複素位相が、非カイラルな位相においてさえ、局所的な基底変換によって除去できない本質的な特徴であることを示している。
• 厳密な証明: 以前のヒューリスティックな議論とは異なり、本研究は、スタビライザー状態において $\rho$ を $\rho^*$ へ変換できる能力が、基礎となるエニオン理論のミラー像との同型性に厳密に決定されることを提供する。

著者らは、これらの結果を非スタビライザー系や一般的な相互作用ハミルトニアンへ拡張することについては、証明がスタビライザー符号の特定の代数的構造とアーベル・エニオンの特性に強く依存していることを挙げ、控えめな姿勢を保っている。また、四部カイラリティの結果を純粋状態の実装へ拡張することは、依然として未解決の問題であることも認めている。