[논문 리뷰] Classification of dynamical Lie algebras for translation-invariant 2-local spin systems in one dimension

Roeland Wiersema, Efekan Kökcü외 2명|arXiv (Cornell University)|2023. 09. 11.

Quantum many-body systems인용 수 4

한 줄 요약

이 논문은 개방 및 주기적 경계 조건을 가진 1차원 스핀 체인에서 이동 불변 2-로컬 하미르토니안에 의해 생성되는 모든 동적 리 대수(DLAs)를 분류하며, 17개의 서로 다른 리 대수를 규명한다. 리 대수 기법과 순열 불변성을 활용하여 이러한 대수의 정확한 특성화를 도출하며, $frak{so}(2^n)$ 및 $frak{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-로컬 하미르토니안에 의해 생성되는 동적 리 대수(DLA)를 체계적으로 분류하는 것.
• 개방 및 주기적 경계 조건뿐 아니라 양자 기계학습에 관련된 완전히 연결된 구조로 분류를 확장하는 것.
• 표준 모델인 이징 및 허이젠베르크 체인을 초월한 낯선 하미르토니안 클래스를 식별하고 특성화하는 것.
• DLA의 구조와 제어 가능성, 과다 매개변수화, 변분 양자 알고리즘에서의 평평한 골짜기 현상과 같은 물리적 현상 간의 연결 고리를 설정하는 것.
• 리 대수적 구조를 통한 양자 동역학, 열역학, 시뮬레이션 효율성에 대한 이해를 위한 기초 프레임워크를 제공하는 것.

제안 방법

• 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 완전히 연결된 구조는 분류를 어떻게 확장하는가? 그리고 이는 양자 기계학습 응용과 어떻게 관련되는가?

주요 결과

• 분류 과정을 통해 이동 불변 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}$임을 입증하여, 단일 스팟 및 이중 스팟 $X$-형 상호작용으로 생성되는 대수가 아벨리안이며, 이러한 시스템에서 최대 질량을 가짐을 보였다.