Numerical evidence for the non-Abelian eigenstate thermalization hypothesis

이 논문은 1차원 하이젠베르크 사슬의 시뮬레이션을 통해 비가환 고유상태 열화 가설(ETH)을 뒷받ic하는 수치적 증거를 제공하며, 이 가설의 자기 일관성에 대한 분석적 증명을 제시함으로써 교환되지 않는 보존량을 가진 양자계에서의 열화를 이해하기 위한 틀을 구축한다.

핵심

당신에게 18개의 아주 작은 스위치(큐비트)가 서로 모두 연결되어 있는 거대하고 복잡한 기계가 있다고 상상해 보십시오. 양자 물리학의 세계에서 이 스위치들은 단순히 켜지거나 꺼지는 것이 아닙니다. 이들은 서로 다른 방향으로 회전하며, 한 스위치의 방향은 그 이웃한 스위치에 영향을 미칩니다.

오랫동안 물리학자들은 이러한 기계를 오랫동안 작동시키면, 결국 예측 가능한 평균 상태로 "안정화"될 것이라고 믿어왔습니다. 이는 마치 뜨거운 커피가 실온으로 식는 것과 같습니다. 이 아이디어를 **고유상태 열화 가설(Eigenstate Thermalization Hypothesis, ETH)**이라고 합니다. 이 가설은 어떤 방식으로 시작하더라도, 국소적인 부분들이 결국 표준적인 "열적(thermal)" 균형 상태에 있는 것처럼 행동할 것임을 시사합니다.

문제: "비가환(Non-Commuting)" 퍼즐
하지만 이 특정 기계에는 함정이 있습니다. 이 스위치들은 **비아벨 대칭(non-Abelian symmetry)**이라는 특별한 규칙에 의해 제어됩니다. 이것을 방향 게임으로 생각해 볼 수 있습니다:

• 만약 당신이 나침반을 북쪽으로 돌린 다음 동쪽으로 돌린다면, 동쪽으로 돌린 다음 북쪽으로 돌렸을 때와는 다른 지점에 도달하게 됩니다. 즉, 돌리는 순서가 결과에 영향을 줍니다.
• 양자 역학적으로 말하면, 이러한 "방향들"(전하)은 서로 잘 어울리지 않습니다(non-commute). 이들은 서로 간섭합니다.

이러한 간섭 때문에, 기존의 규칙(표준 ETH)은 무너집니다. 이 기계는 일반적인 방식으로는 안정화되지 않을 것입니다. 하지만, 이 특정 유형의 기계가 어떻게 결국에는 안정화되는지를 설명하기 위해 **비아벨 ETH(Non-Abelian ETH)**라는 새로운 이론이 제안되었습니다.

이 논문이 수행한 일
저자들은 새로운 이론을 테스트하는 탐정 역할을 했습니다. 그들은 이 18개 스위치 기계의 컴퓨터 시뮬레이션을 구축하여 "비아벨 ETH" 이론이 참인지 확인했습니다.

그들은 다음과 같은 결과를 얻었으며, 이를 쉬운 비유를 들어 설명합니다:

1. "매끄러운" 패턴: 그들은 기계의 내부 수학을 살펴보았습니다. 이론에 따르면, 기계의 행동을 에너지에 따라 도식화했을 때 점들이 무작위로 흩어진 엉망진 상태가 아니라, 매끄럽고 흐르는 듯한 곡선(완만한 언덕처럼)을 형성해야 합니다. 결과: 데이터는 이론이 예측한 대로 아름답고 매끄러운 띠를 형성했습니다.
2. "무작위 노이즈": 이론은 점들 사이의 아주 미세한 차이를 자세히 들여다보면, 그것이 오래된 TV의 무작위 정전기 화면(가우시안 분포)처럼 보여야 한다고 말합니다. 결과: 확대해 보았을 때, 그 "노이즈"는 정확히 무작위 정전기처럼 보였습니다.
3. "부피" 체크: 이론은 노이즈의 "크기"와 기계가 가질 수 있는 서로 다른 상태의 수(상태 밀도) 사이에 특정한 관계가 있다고 예측합니다. 이는 마치 "방이 커지면, 메아리가 매우 특정한 방식으로 작아져야 한다"라고 말하는 것과 같습니다. 결과: 메아리는 이론이 말한 정확한 비율로 작아졌습니다.
4. "비율" 테스트: 그들은 기계의 주요 그룹 내부의 노이즈와 그룹 간의 노이즈를 비교했습니다. 이론은 이 비율이 정확히 2가 되어야 한다고 말했습니다. 결과: 그들의 측정값은 1.99가 나왔으며, 이는 사실상 2와 같습니다.

"자기 일관성" 증명
컴퓨터 시뮬레이션 외에도, 저자들은 수학적 증명을 수행했습니다. 그들은 이 새로운 이론이 자기 모순을 일으키지 않는다는 것을 보여주었습니다. 수학을 완벽하게 작동시키기 위해 그들은 "엔트로피"(무질서도를 측정하는 척도)의 정의를 기계의 스핀과 관련된 작은 양만큼 빼는 방식으로 약간 수정해야 했습니다. 일단 이 작은 조정을 거치자, 이론은 논리적 빈틈 없이 완벽하게 유지되었습니다.

결론
이 논문은 비아벨 ETH가 실제로 존재한다는 최초의 강력한 수치적 증거를 제공합니다. 이는 양자 입자들이 "충돌하는" 규칙(비가환 전하)을 가지고 있어 정상적으로 행동하는 것을 방해할 때조차도, 그들이 여전히 안정화되는 방식을 찾아낸다는 것을 확인해 줍니다. 다만, 그 방식이 우리가 이전에 생각했던 것보다 약간 더 복잡한 지침을 따른다는 것을 보여줍니다.

저자들은 이것이 새로운 의학적 치료법이나 즉각적인 기술로 이어진다고 주장하지 않았습니다. 대신, 그들은 양자 시스템이 어떻게 안정화되는지에 대한 이 특정 이론적 틀이 수학적으로 타당하며 컴퓨터 모델과 일치한다는 것을 성공적으로 증명했습니다.

기술 요약

기술 요약: 비가환 고유상태 열화 가설(Non-Abelian Eigenstate Thermalization Hypothesis)에 대한 수치적 증거

문제 정의
고유상태 열화 가설(ETH)은 일반적인 고립된 양자 다체계가 내부적으로 어떻게 열화되는지를 설명하며, 국소 연산자의 시간 평균 기댓값이 열적 기댓값과 같다는 점을 상정한다. 그러나 최근 Murthy 등의 연구는 비가환 대칭성이 존재하는 경우 표준적인 ETH가 실패함을 보여주었다. 이러한 시스템에서는 보존량(전하)들이 서로 교환되지 않아 축퇴(degeneracy)가 발생하고, 모든 전하에 대해 공유되는 고유기저(eigenbasis)가 존재하지 않게 된다. 이는 표준적인 ETH 구조 및 위그너-에커트 정리(Wigner–Eckart theorem)와 충돌한다. 위그너-에커트 정리는 연속적인 대칭성을 가진 시스템에서 전이 주파수와 행렬 요소의 구조를 규정한다. Murthy 등은 이러한 충돌을 해결하기 위해 "비가환 ETH(NA-ETH)"를 제안하였고, Noh는 2D 모델을 통해 예비적인 수치적 지지를 제공하였으나, 부차적인 대칭성이 최소화된 시스템에서의 포괄적인 수치적 검증은 부족한 상태였다.

방법론
저자들은 개방 경계 조건(open boundary conditions)을 가진 $N=18$ 큐비트로 구성된 1차원(1D) 사슬을 모델링한다. 이 시스템은 근접 이웃 및 차근접 이웃 상호작용을 모두 포함하는 비적분적(non-integrable) 하이젠베르크 해밀토니언에 의해 진화한다. 해밀토니안은 $SU(2)$대칭성(총 스핀 성분$S^x, S^y, S^z$를 보존)을 보이도록 설계되었으며, 비적분성을 보장하기 위해 병진 대칭성(translational symmetry)과 공간 반전 대칭성(spatial-inversion symmetry)을 명시적으로 깨뜨렸다.

본 연구는 해밀토니안 $H$, 총 스핀 제곱 연산자 $\vec{S}^2$, 그리고 스핀 $z$-성분 $S^z$가 공유하는 결합 고유기저(joint eigenbasis) $\{|\alpha, m\rangle\}$를 계산하기 위해 정확 대각화(exact diagonalization)를 사용한다. 여기서 $\alpha$는 에너지 $E_\alpha$와 총 스핀 양자수 $s_\alpha$를 나타내며, $m$은 자기 양자수이다. 국소 연산자는 구형 텐서 연산자 $T^{(k)}_q$로 표현된다. 저자들은 위그너-에커트 정리에 의해 자기 양자수에 무관한 축약 행렬 요소(reduced matrix elements) $\langle \alpha || T^{(k)} || \alpha' \rangle$를 분석한다.

분석은 Murthy 등이 제안한 다음과 같은 안사츠(ansatz)를 검증하는 데 중점을 둔다:
$$\langle \alpha || T^{(k)} || \alpha' \rangle = T^{(k)}(E, S) \delta_{\alpha\alpha'} + e^{-S_{th}(E, S)/2} f^{(T)}_\nu(E, S, \omega) R^{(T)}_{\alpha\alpha'}$$
여기서 $E$와 $S$는 평균 에너지와 스핀, $\omega$와 $\nu$는 각각의 차이이며, $R^{(T)}$는 불규칙한 변동을 나타내고, $S_{th}$는 자기 축퇴를 고려하기 위해 표준 엔트로피에서 $\ln(2S+1)$을 뺀 수정된 열역학적 엔트로피이다.

주요 기여 및 결과
본 논문은 일곱 가지 구체적인 예측과 함께 NA-ETH를 뒷받침하는 광범위한 수치적 증거를 제공하며, 또한 해석적 자기 일관성(analytical self-consistency)을 증명한다:

1. 해석적 자기 일관성: 저자들은 열역학적 엔트로피 $S_{th}$가 자기 축퇴 인자 $\ln(2S+1)$를 제외하도록 정의될 때만 NA-ETH가 (Srednicki의 의미에서) 자기 일관성을 갖는다는 것을 증명한다. 이 정의는 안사츠로부터 직접 유도된 행렬 요소의 스케일링이 연산자의 합성(Clebsch–Gordan 계수 사용)을 통해 간접적으로 유도된 스케일링과 일치하도록 보장한다.

2. 비적분성 검증: $\vec{S}^2$와 $S^z$의 결합 고유 공간 내 에너지 간격 통계는 가우시안 직교 앙상블(GOE) 분포를 따르며, 이는 시스템이 비적분적이며 ETH 테스트에 적합함을 확인시켜 준다.

3. 블록 대각 구조: 블록 대각 축약 행렬 요소 $\langle \alpha || T^{(1)} || \alpha \rangle$는 열역학적 극한에서 에너지 밀도($E/N$)와 스핀 밀도($s_\alpha/N$)에 대해 매끄러운 의존성을 보이며, 이는 안사츠의 매끄러운 함수 $T^{(k)}(E, S)$와 일치한다.

4. 가우시안 변동: 매끄러운 평균을 뺀 후, 블록 대각 및 오프-블록 대각(off-block-diagonal) 축약 행렬 요소의 변동은 가우시안 분포를 따르며, 이는 무작위 행렬 항 $R^{(T)}_{\alpha\alpha'}$를 지지한다.

5. 오프-블록 대각 구조: 오프-블록 대각 요소 역시 가우시안 변동을 보이며, 에너지 차이 $|\omega|$가 증가함에 따라 빠르게 감소하는 매끄러운 함수 $f^{(T)}_\nu(E, S, \omega)$에 의존한다.

6. 분산 비율: 블록 대각 요소의 분산과 오프-블록 대각 요소의 분산 비율은 무작위 행렬 이론에서 유도된 예측값인 $2$로 평균화된다.

7. 분산 스케일링: 블록 대각 및 오프-블록 대각 요소의 분산은 상태 밀도(DOS)에 따라 대수적으로 감소한다. 로그-로그 그래프에서의 관측된 기울기($\approx -0.83$ 및 $\approx -0.95$)는 예측된 기울기 $-1$에 근접하며, 이러한 편차는 유한 크기 효과(finite-size effects)에 기인한다.

8. $q$-독립성: 함수 $f^{(T)}_\nu$는 자기 양자수 $q$에 독립적이며, 이는 위그너-에커트 정리와 일치한다.

의의
저자들은 본 연구가 비가불한 ETH의 관찰 및 적용을 개시하는 작업이라고 밝힌다. 본 연구는 이전의 2D 연구를 넘어, 부차적인 대칭성이 최소화된 1D 시스템으로 확장하여 NA-ETH에 대한 첫 번째 철저한 수치적 지지를 제공한다. NA-ETH를 검증함으로써, 이 작업은 양자 열역학(특히 교환되지 않는 전하에 관한 연구)과 다체 물리학 사이의 간극을 메운다. 저자들은 이러한 결과가 비가환 대칭성이 열화, 양자 메모리의 정보 보유, 그리고 요동-소산 관계(fluctuation-dissipation relations)를 어떻게 변화시키는지에 대한 향후 조사를 가능하게 한다고 제안하지만, 이러한 이론적 경로 외에 구체적인 새로운 실험이나 응용을 제안하지는 않는다.