[論文レビュー] Classification of dynamical Lie algebras for translation-invariant 2-local spin systems in one dimension

Roeland Wiersema, Efekan Kökcü+2 more|arXiv (Cornell University)|Sep 11, 2023

Quantum many-body systems被引用数 4

ひとこと要約

この論文は、開放的および周期的境界条件の下で、1次元スピン鎖における並進不変2局所ハミルトニアンによって生成されるすべての動的リーヒルベルト代数（DLAs）を分類し、17種の異なるリーヒルベルト代数を同定する。著者らは、リーヒルベルト代数的技法と置換不変性を用いて、これらの代数の正確な特徴づけを導出し、$mathfrak{so}(2^n)$ や $mathfrak{su}(2^n)$ といった古典的リーヒルベルト代数への同型を示し、横磁場イジング模型やヘイゼンベルグ模型といった既知のモデルとの関連を確立する。

ABSTRACT

Much is understood about 1-dimensional spin chains in terms of entanglement properties, physical phases, and integrability. However, the Lie algebraic properties of the Hamiltonians describing these systems remain largely unexplored. In this work, we provide a classification of all Lie algebras generated by translation-invariant 2-local spin chain Hamiltonians, or so-called dynamical Lie algebras. We consider chains with open and periodic boundary conditions and find 17 unique dynamical Lie algebras. Our classification covers some well-known models such as the transverse-field Ising model and the Heisenberg chain, and we also find more exotic classes of Hamiltonians that cannot be identified easily. In addition to the closed and open spin chains, we consider systems with a fully connected topology, which may be relevant for quantum machine learning approaches. We discuss the practical implications of our work in the context of quantum control, variational quantum computing, and the spin chain literature.

研究の動機と目的

• 1次元スピン鎖における並進不変2局所ハミルトニアンによって生成される動的リーヒルベルト代数（DLAs）を体系的に分類すること。
• 開放的および周期的境界条件に加え、量子機械学習に関連する完全接続トポロジーにも分類を拡張すること。
• イジング模型やヘイゼンベルグ模型といった標準的モデルとは異なる、特異なハミルトニアンクラスを同定・特徴づけること。
• DLAの構造と制御可能性、過パrameter化、変分量子アルゴリズムにおけるバーレインプレートゥの現象といった物理的現象との関連を確立すること。
• リーヒルベルト代数的構造を通じて、量子力学的ダイナミクス、熱力学、シミュレーション効率の理解の基盤を提供すること。

提案手法

• 2局所スピン相互作用（例：$X_iX_j$, $Y_iY_j$, $Z_iZ_j$）から得られるリーヒルベルト代数生成子を用い、交換子閉包によって動的リーヒルベルト代数を構成する。
• 置換不変性と明示的な同型（例：$\mathfrak{a}_2^\pi(n) = \mathfrak{so}(2^n)^{P_Z}$）を活用し、分類の複雑さを低減する。
• 群論的技法を適用し、$Z$-パリティ（$P_Z$）および$X$-パリティ（$P_X$）の下での固定点部分代数を用いて、異なる対称性制約下での代数の分類を行う。
• 次元数え上げと包含関係（例：$\mathfrak{a}_4^\pi(3) = \mathfrak{a}_7(3)$）を用い、生成子の閉包を通じて代数間の同型を証明する。
• 同型関係 $\mathfrak{a}_7(n) \cong \mathfrak{su}(2^n)^{\{P_X,P_Y,P_Z\}} / \mathrm{span}\{P_X,P_Y,P_Z\}$（$n$ が偶数のとき）および $\mathfrak{a}_{14}^\pi(n) \cong \mathfrak{a}_{20}(n)$（$n \geq 3$ のとき）を確立する。
• パウリストリングの構造とその交換子を用い、低次元系（$n=3$）において生成子の完全性と代数的閉包を検証し、一般の$n$ に対して再帰的生成によって拡張する。

実験結果

リサーチクエスチョン

• RQ1 並進不変2局所ハミルトニアンによって生成される1次元スピン鎖における動的リーヒルベルト代数の完全な集合は何か？
• RQ2 開放的境界条件と周期的境界条件の間でDLA構造はどのように異なるのか？その違いを支配する対称性は何か？
• RQ3 既知のモデル（例：横磁場イジング模型、ヘイゼンベルグ模型）はこの分類においてどのように特殊ケースとして現れるのか？また、どのような特異なクラスが新たに同定されたか？
• RQ4 置換不変性とパリティ対称性（例：$P_X$, $P_Z$）は、可能なDLA構造にどのような制限を課えるか？
• RQ5 完全接続トポロジーは分類の拡張に果たす役割は何か？また、量子機械学習応用とどのように関連するか？

主な発見

• 分類により、1次元スピン鎖における並進不変2局所ハミルトニアンによって生成される17種の異なる動的リーヒルベルト代数が同定され、開放的および周期的境界条件をカバーする。
• 代数 $\mathfrak{a}_2^\pi(n) = \mathfrak{so}(2^n)^{P_Z}$ は、$Z$-パリティの下での $\mathfrak{so}(2^n)$ の固定点部分代数に同型であることが示され、交換子解析による生成子の閉包が明示的に証明された。
• $n \geq 3$ のとき、$\mathfrak{a}_{14}^\pi(n) \cong \mathfrak{a}_6^\pi(n) \cong \mathfrak{a}_{20}(n)$ であり、$\mathfrak{a}_{20}(n) = \mathfrak{su}(2^n)^{P_X}/\mathrm{span}\{P_X\}$ であることが示され、最大クラスの主要な同型関係が確立された。
• 代数 $\mathfrak{a}_4^\pi(n)$ は $n \geq 3$ のとき $\mathfrak{a}_7(n)$ に等しいことが証明され、$IXX$ や $ZYX$ のような特定のパウリストリングの交換子閉包に依拠している。
• 分類には、横磁場イジング模型、ヘイゼンベルグ模型といった標準的モデルに加え、標準的物理的直観では容易に特定できない特異なクラスも含まれる。
• 本研究により、$\mathfrak{b}_1^\pi(n) \cong \mathfrak{u}(1)^{\oplus n(n+1)/2}$ が示され、単一サイトおよび2サイトの$X$-型相互作用によって生成される代数がアーベル的で、このような系において最大ランクを有することを示した。