[論文レビュー] A $H^{3}(G,{\mathbb T})$-valued index of symmetry protected topological phases with on-site finite group symmetry for two-dimensional quantum spin systems

Yoshiko Ogata|arXiv (Cornell University)|Jan 2, 2021

Quantum many-body systems参考文献 10被引用数 7

ひとこと要約

本稿は、局所的な有限群対称性 G を持つ2次元量子スピン系に対して、H³(G,𝕋) 値をとる位相的不変量を確立し、2次元における対称性保護型位相的（SPT）相が、G の3番目の群コホモロジー H³(G,𝕋) によって分類されることを証明する。この不変量は、厳密な正則性および対称性の制約を満たす連続的経路による相互作用から生じ、分野内の先行仮説を拡張し、1次元での先行結果を、厳密な C*-代数的および力学系的手法を用いて2次元系へ一般化する。

ABSTRACT

We consider SPT-phases with on-site finite group $G$ symmetry $β$ for two-dimensional quantum spin systems. We show that they have $H^{3}(G,{\mathbb T})$-valued invariant.

研究の動機と目的

• 2次元量子スピン系に局所的な有限群対称性 G を持つ場合、H³(G,𝕋) 値をとる位相的不変量が存在することを証明すること。
• 1次元で既に証明済みの対称性保護型位相的（SPT）相の分類を、2次元系へ拡張すること。
• C*-代数的力学系と相互作用経路を用いた厳密な数学的枠組みを確立し、不変量の定義と計算を行うこと。
• β不変性、一様有界性、有限範囲、スペクトルギャップ条件を満たす相互作用の連続的変形に対して、不変量がロバストであることを示すこと。

提案手法

• s ∈ [0,1] の範囲で、一様有界性、有限範囲、β不変性を満たす相互作用の経路 Φ(s) ∈ PUGβ を構築し、唯一のギャップを持つ基底状態をもつ2つのハミルトニアンを接続する。
• 時間微分 ˙Φ(X;s) から導かれる相互作用の族 Ψ(Z,t) を用いて、準局所的自己同型 αt を定義する。動的生成子は Kt(A) = −∫ du Wγ(u) τΦ(t)u (A) で与えられる。
• 文献 [NSY] の定理を適用し、ある F3 ∈ Fa に対して Ψ ∈ ˆBF3([0,1]) であることを示し、収束性と正則性を保証する。
• 条件付き期待値とスペクトルギャップの推定を用いて相関関数の減衰を制御し、動的生成子 τΦt の極限の存在を保証する。
• Ψ によって誘導される自己同型 αt が G 対称性を保つことを示し、不変量が G-共変であることを保証する。
• パス Ψ のコホモロジー類がパスの選び方に依存しないことを証明し、これは well-defined な位相的不変量であることを示す。

実験結果

リサーチクエスチョン

• RQ1 先行研究で提起された仮説に従い、局所的な有限群対称性 G を持つ2次元量子スピン系における H³(G,𝕋) 値をとる不変量が、SPT 相を分類するものかどうか？
• RQ2 スペクトルギャップおよび正則性条件を満たす連続的相互作用経路を用いて、2次元における SPT 相の分類を厳密に確立できるか？
• RQ3 不変量は連続的相互作用変形に対してロバストであり、β 不変摂動に対しても不変のまま保たれるか？
• RQ4 相互作用経路のコホモロジー構造は、位相的分類とどのように関係しているか？
• RQ5 1次元での結果 H²(G,𝕋) は、一貫性のあるコホモロジー的構成により2次元へ一般化可能か？

主な発見

• 本稿は、2次元 SPT 相が局所的な有限群対称性 G を持つ場合、3番目の群コホモロジー群 H³(G,𝕋) によって分類されることを証明し、[CGLW, MGSC] での仮説を裏付ける。
• 一様有界性、有限範囲、スペクトルギャップ条件を満たす相互作用経路 Φ(s) ∈ PUGβ は、ωΦ1 = ωΦ0 ◦ α1 を満たす、well-defined な準局所的自己同型 α1 を誘導する。
• 得られた自己同型 αt は、ある F3 ∈ Fa に対して ˆBF3([0,1]) に属する相互作用族 Ψ(Z,t) から構成され、収束性と正則性が保証される。
• パスに関連するコホモロジー的不変量は、パスの選び方に依存せず、H³(G,𝕋) に属することを示し、これは位相的不変量である。
• βg 不変性を保つため、不変量は対称性保護型不変量として、非自明な SPT 相と自明な相を区別する。
• 証明は、[NSY] における高度な技術に依拠しており、F 関数とモーメント条件を用いて、減衰の制御と動的生成子の収束を保証する。