[论文解读] 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 的二維量子自旋系統建立了取值於 H³(G,𝕋) 的拓撲不變量，證明了二維對稱保護拓撲（SPT）相位由 G 的三階群上同調 H³(G,𝕋) 分類。該不變量源自滿足嚴格正則性與對稱性約束的連續相互作用路徑，推廣了該領域的先前猜想，並透過嚴謹的 C*-代數與動力系統技術，將早期一維結果推廣至二維系統。

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.

研究动机与目标

• 證明二維量子自旋系統具有局域有限群對稱性 G 時，其 H³(G,𝕋)-取值拓撲不變量的猜想。
• 將對稱保護拓撲（SPT）相位的分類從一維（先前已證明）推廣至二維系統。
• 建立一個嚴謹的數學框架，使用 C*-代數動力系統與相互作用路徑來定義與計算該不變量。
• 證明該不變量在滿足 β-不變性、均勻有界性、有限範圍與能隙條件的相互作用連續變形下具有魯棒性。

提出的方法

• 構造一條在 s ∈ [0,1] 上定義的、均勻有界、有限範圍且 β-不變的相互作用路徑 Φ(s) ∈ PUGβ，連接兩個具有唯一能隙基態的哈密頓量。
• 透過時間導數 ˙Φ(X;s) 衍生出一組相互作用 Ψ(Z,t)，並利用動力系統 Kt(A) = −∫ du Wγ(u) τΦ(t)u (A) 定義局部 quasi-自同構 αt。
• 應用 [NSY] 中的定理，證明所得到的相互作用 Ψ 屬於 ˆBF3([0,1])，其中某個 F3 ∈ Fa，確保收斂性與正則性。
• 利用條件期望與能隙估計控制關聯函數的衰減，並確保極限動力系統 τΦt 的存在。
• 建立由 Ψ 導出的自同構 αt 保持 G 對稱性，確保不變量為 G-協變。
• 證明路徑 Ψ 在 H³(G,𝕋) 中的上同調類與路徑選擇無關，使其成為明確定義的拓撲不變量。

实验结果

研究问题

• RQ1 H³(G,𝕋)-取值不變量是否如先前工作所猜想，能對具有局域有限群對稱性 G 的二維量子自旋系統中的 SPT 相位進行分類？
• RQ2 能否透過滿足能隙與正則性條件的連續相互作用路徑，嚴謹地建立二維 SPT 相位的分類？
• RQ3 該不變量在相互作用的連續變形下是否具有魯棒性，且在 β-不變擾動下是否保持不變？
• RQ4 相互作用路徑的上同調結構與相位的拓撲分類之間有何關係？
• RQ5 一維結果 H²(G,𝕋) 是否能透過一致的上同調構造推廣至二維？

主要发现

• 本文證明具有局域有限群對稱性 G 的二維 SPT 相位由第三階群上同調群 H³(G,𝕋) 分類，確認了 [CGLW, MGSC] 中的猜想。
• 在 PUGβ 中具有均勻有界性、有限範圍與能隙條件的連續相互作用路徑 Φ(s) 導出明確定義的局部 quasi-自同構 α1，使得 ωΦ1 = ωΦ0 ◦ α1。
• 所得到的自同構 αt 由一組位於 ˆBF3([0,1]) 中的相互作用 Ψ(Z,t)（其中某個 F3 ∈ Fa）構造而成，確保收斂性與正則性。
• 與路徑相關的上同調不變量被證明與路徑選擇無關，且屬於 H³(G,𝕋)，使其成為拓撲不變量。
• 該不變量在 βg-不變性下保持不變，確保其為對稱保護不變量，能區分非平庸的 SPT 相與平凡相。
• 證明依賴於 [NSY] 中的先進技術，包括使用 F-函數與矩條件來控制衰減，並確保動力系統的收斂性。