技術要約：等変なパラメータ族を持つスピン鎖：離散的MPS定式化

問題提起

本論文は、対称群 $G$ の作用を伴うパラメータ空間 $M$ によってパラメータ化された、ギャップを持つハミルトニアンの族 $\hat{H}(\tau)$ に焦点を当て、1次元量子スピン系におけるトポロジカル相転移と高次ベリー曲率の特性化に取り組んでいる。特定のハミルトニアンに対するトポロジカル不変量（対称保護トポロジカル（SPT）相）や、対称性のない族（例：Dixmier–Douady–Kapustka–Spodyneiko（DDKS）数）に関する不変量は確立されているが、パラメータ空間上の群作用と、その族のトポロジカル不変量との相互作用を組み込んだ体系的な枠組みは欠けていた。

具体的には、著者らは以下のことを目的としている：

1. ハミトリニアンの族のトポロジカル不変量と、高対称点（群作用の不動点）で定義されるSPT不変量との関係を定式化すること。
2. 異なるトポロジカル相（例：ハルデン相と自明な相）の間の相転移点が、高次ベリー曲率の源として機能することを実証すること。
3. 行列積状態（MPS）を用いた、計算可能でゲージ不変な離散的定式化によるこれらの不変量を開発すること。

手法

著者らは、Ref. [30] の手法に従いつつ、$G$-等変性を含めるように拡張した、パラメータ空間 $M$ の三角形分割に基づく離散的定式化を採用している。

1. 純粋状態の離散的定式化（準備段階）

論文ではまず、量子力学における純粋状態の離散的定式化を復習する。パラメータ空間は単体（simplex）へと三角形分割される。

• コホモロジー構造： この枠組みは、空間的余鎖（微分 $d$）と群余鎖（微分 $\delta$）を組み合わせた二重複体を利用する。
• 等変性： ハミルトニアンは $\hat{g}\hat{H}(\tau)\hat{g}^{-1} = \hat{H}(g\tau)$ を満たす。これは、ベリー接続 $A$ と、対称性によって状態が獲得する位相 $\alpha_g$ との間に $\delta A = d\alpha$ という関係を誘導する。
• 不動点公式： 孤立した不動点を持つ系に対して、著者らは、グローバルなトポロジカル数（ベリー位相、チャーン数）を、これらの不動点における局所的な対称性固有値（SPT不変量）の差として表す公式を導出する。

2. MPSのための離散的定式化

コアとなる手法は、これを**注入型行列積状態（injective MPS）**を用いた1次元量子スピン系へと拡張することである。

• MPS表現： 基底状態 $|\psi(\tau)\rangle$ は、一連の行列 $\{A_i(\tau)\}$ によって表現される。著者らは、右標準形（right-canonical form）を定義するために並進不変性を仮定している。
• オーバーラップ行列： 異なるパラメータ点 $\tau_0$ と $\tau_1$ における状態間の接続を定義するために、混合転送行列 $T_{A(\tau_0)A(\tau_1)}$ の支配的な固有ベクトルとして定義されるオーバーラップ行列 $X(\Delta_1)$ を導入する。
• 高次接続：
  • 通常のベリー接続 ($A^{(0,1)}$)： オーバーラップ行列の固有値の位相から導かれる。
  • 高次ベリー接続 ($A^{(0,2)}$)： 2-単体上で、ゲージ不変性とボンド次元の変化に対する独立性を保証するために、シュミット固有値 ($\Lambda$) で重み付けされたウィルソンループを用いて定義される。
• MPSにおける $G$-等変性： MPS上の群作用は、ユニタリまたは反ユニタリ表現 $u_g$ とゲージ変換 $V_g(\tau)$ を通じて定義される。これにより、新たな余鎖が導入される：
  • $A^{(1,0}_g$：MPS上の対称作用に関連する位相。
  • $A^{(1,1}_g$：オーバーラップ行列上の対称作用に関連する位相。
  • $A^{(2,0)}_{g,h}$：不動点における対称性の射影表現に関連する2-コサイクル。
• ゲージ構造： 論文は、$G$-単体複体の枠組み内におけるこれらの余鎖のゲージ変換規則とコサイクル条件を厳密に導出している。

主な貢献と結果

1. 族の不変量に関する不動点公式

本論文は、族のグローバルなトポロジカル不変量を、群作用の不動点における局所的なSPT不変量に関連付ける不動点公式を導出している：

• サウセ・ポンプ（1パラメータ）： パラメータ空間を保存するユニタリ対称性 $G_0$ を持つ場合、ループ $\ell$ に沿ったポンプ不変量 $\eta_g(\ell)$ は、ループが弧とその群像によって形成される場合、ループの両端におけるSPT不変量の差によって決定される。
• $\pi$-高次ベリー位相（2パラメータ）： パラメータ空間を不変に保つ反ユニタリ対称性 $a$（例：時間反転対称性）が存在する場合、2-球面上の高次ベリー位相 $\gamma^{(2)}$ は $\{0, \pi\}$ に量子化される。その値は、不動点における $\mathbb{Z}_2$ SPT不変量 ($\mu^{RP}$) の差によって与えられる。
• DDKS数（3パラメータ）： 3-球面パラメータ空間において、DDKS数 $\nu^{(3)}$（整数）は、不動点におけるSPT不変量の差に関連している。具体的には、DDKS数のパリティは、不動点 $(\pm 1, 0, 0, 0)$ における $\mathbb{Z}_2$ SPT不変量（例：$\mu^{RP}_T$ または $\mu^T_{C_{2x}, C_{2y}}$）の差によって決定される。

2. モノポールとしての相転移

中心的な結果は、ハルデン相と自明な相（時間反転または $\mathbb{Z}_2 \times \mathbb{Z}_2$ 対称性によって保護される）の間の相転移点が、高次ベリー曲率のモノポール的な欠陥として機能することの証明である。

• 不動点公式を用いることで、著者らは、二つの相の間でSPT不変量の非自明な差が存在することが、パラメータ空間内の転移点から放射される非ゼロの高次ベリーフラックスを意味することを示している。
• これは、トポロジカル相転移を高次曲率の源として捉える幾何学的な解釈を提供している。

3. 階層的な欠陥構造

論文では、対称性部分群に基づくパラメータ空間内のトポロジカル欠陥の構造について論じている：

• 余次元（Codimension）： 欠陥は余次元によって分類される（SPTは1、ポンプは2、$\pi$-位相は3、DDKSは4）。
• 安定性： 欠陥の安定性は対称性グループに依存する。例えば、大きな群 $G$ の下で定義された高次余次元の欠陥（例：DDKSモノポール）は、部分群 $H$ に制限されると、低次余次元の欠陥（例：ポンプ欠陥やSPT欠陥）に分解する場合がある。
• 等変安定性： 著者らは、特定の欠陥ペア（例：反対のDDKS電荷を持つ一対のモノポール）は、それらの結合を禁じる対称作用によって関連付けられている場合、消滅（annihilate）できないことを論じている。

4. 群作用によって定義される新しい不変量

著者らは、$G$-等変構造によってのみ存在するトポロジカル不変量を特定している：

• 自由作用に対する $\mathbb{Z}_2$ 不変量： 3-球面に対する自由な $\mathbb{Z}_2$ 作用に対して、$\mathbb{Z}_2$ 値の不変量 $\xi(S^3; \sigma)$ が定義される。これは、対称性によって安定化された、反対の電荷を持つDDKS欠陥のペアの存在を検出する。

意義と主張

本論文は、対称性を持つ1次元量子系のパラメータ族のトポロジカルな性質を分析するための、体系的かつ計算可能なフレームワークを提供すると主張している。

• 統一： 族のトポロジカル不変量（DDKS数など）と不動点SPT不変量の概念を統一し、それらが独立したものではなく、不動点公式を通じて関連していることを示している。
• 幾何学的洞察： トポロジカル相転移が単なるギャップの閉鎖点ではなく、高次ベリー曲率の源（モノポールに類似）として機能することを明らかにしている。
• 数値的有用性： これらの概念を離散的MPSデータ（オーバーラップ行列および転送行列）を用いて定式化することで、本フレームワークは自明にゲージ不変であり、数値的な実装（例：DMRG）に適していると主張している。これは、数値的に計算が困難な連続的な微分を回避できる。
• 欠陥の階層： 対称性の減少に基づく理論空間における欠陥構造の分類を提示しており、トポロジカル相図の「形状」が対称性グループの階層によって制約されることを示唆している。

著者らは、並進不変性の仮定は技術的な簡略化であり、これを非並進不変系へと一般化することが今後の課題であると述べている。本論文は新しい実験セットアップを提案するものではなく、既存および将来の1次元スピン鎖モデルを分析するための理論的なツールセットを提供するものである。