[论文解读] 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

一句话总结

本文对一维自旋链中由平移不变的两体局域哈密顿量生成的所有动力李代数（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.

研究动机与目标

• 系统分类由一维自旋链中平移不变两体局域哈密顿量生成的动力李代数（DLAs）。
• 将分类扩展至开边界和周期性边界条件，以及与量子机器学习相关的全连接拓扑。
• 识别并表征标准模型（如伊辛和海森堡模型）之外的奇异哈密顿量类。
• 建立D LA结构与物理现象（如可控制性、参数过度膨胀及变分量子算法中的平坦损耗）之间的联系。
• 为理解量子动力学、热力学及模拟效率提供基于李代数结构的基础框架。

提出的方法

• 利用两体自旋相互作用（如$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 在一维自旋链中，由平移不变两体局域哈密顿量生成的所有动力李代数的完整集合是什么？
• RQ2 开边界与周期性边界条件下的D LA结构有何不同？其差异由何种对称性所支配？
• RQ3 哪些已知模型（如横向场伊辛模型、海森堡模型）可作为本分类中的特例出现？又识别出哪些新的奇异类？
• RQ4 置换对称性与宇称对称性（如$P_X$、$P_Z$）如何约束可能的D LA结构？
• RQ5 全连接拓扑在扩展分类中起到什么作用？其与量子机器学习应用有何关联？

主要发现

• 该分类识别出一维平移不变两体局域自旋链（涵盖开边界与周期性边界）中共17种独特的动力李代数。
• $\mathfrak{a}_2^\pi(n) = \mathfrak{so}(2^n)^{P_Z}$被证明同构于$\mathfrak{so}(2^n)$在$Z$-宇称作用下的不动点子代数，其生成元闭包性通过李括号分析得到严格证明。
• 当$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)$被证明等于$\mathfrak{a}_7(n)$（当$n \geq 3$时），其证明依赖于特定泡利弦（如$IXX$和$ZYX$）的李括号闭包性。
• 该分类既包含标准模型（如横向场伊辛模型、海森堡模型），也包含难以通过经典物理直觉识别的奇异类。
• 本工作表明$\mathfrak{b}_1^\pi(n) \cong \mathfrak{u}(1)^{\oplus n(n+1)/2}$，即由单体与两体$X$-型相互作用生成的代数为阿贝尔代数，且为该类系统中秩最大的情形。