Matrix-product state skeletons in Onsager-integrable quantum chains

이 논문은 자유 페르미온 모델에서 상호작용하는 $N$-상태 오너거 가적분(Onsager-integrable) 카이럴 클락 체인으로 밀집 행렬 곱 상태(dense Matrix-product state, MPS) 스켈레톤의 개념을 확장하여, 갭이 존재하는 영역에서 밀집 스켈레톤을 형성하고 특정 스펙트럼 섹터에서 정확한 고유상태 역할을 하는 MPS를 구축함으로써, 이를 통해 무질서 매개변수의 폐형식 계산을 가능하게 하고 오너거 대수를 통해 새로운 들뜬 상태들을 밝혀낸다.

핵심

양자 사슬(quantum chain)의 거동을 나타내는 광활하고 복잡한 풍경을 상상해 보십시오. 이는 서로 다른 방향을 가리킬 수 있는 작은 자석들의 줄입니다. 물리학자들은 이 풍경을 "상태 도표(phase diagram)"라고 부릅니다. 이 도표의 어떤 부분에서 자석들은 차분하고 예측 가능한 상태로 자리 잡습니다("갭이 있는(gapped)" 영역). 반면, 어떤 부분에서는 자석들이 격렬하게 요동치며 혼란스러운 상태에 놓입니다("갭이 없는(gapless)" 영역).

수십 년 동안 과학자들은 이 풍경의 차분한 부분들을 완벽한 정밀도로 매핑하기 위해 고군분투해 왔습니다. 그들은 자석의 상태를 근사하는 강력한 도구들을 가지고 있지만, 이 도구들은 마치 흐릿한 사진과 같습니다. 대략적인 그림은 맞출 수 있지만, 세부적인 디테일은 놓치고 맙니다.

이 논문에서 이모젠 캠프(Imogen Camp)와 닉 G. 존스(Nick G. Jones)는 이 풍경을 선명하게 볼 수 있는 새로운 방법을 소개합니다. 그들은 특정 양자 사슬의 차분한 영역을 관통하는 숨겨진 "골격(skeleton)"을 발견했습니다.

"골격" 비유

상태 도표를 울창한 숲이라고 생각해 보십시오. 보통 숲을 이해하려면 흐릿한 사진을 바탕으로 나무가 어떻게 생겼을지 추측해야 합니다.

저자들은 이 숲을 가로지르는 특별하고 완벽하게 선명한 경로들의 네트워크를 찾아냈습니다. 이 경로들이 바로 **MPS 골격(MPS Skeletons)**입니다.

• 경로: 이 특정한 경로들을 따라가면, 양자 자석들은 "행렬 곱 상태(Matrix-Product State, MPS)"라는 도구를 사용하여 완벽한 수학적 정밀도로 설명될 수 있는 상태로 자리 잡습니다. 이것은 마치 숲 바닥의 고해상도 3D 청사진을 가진 것과 같습니다.
• 밀도: 이 경로들은 매우 많고 촘촘하게 배치되어 있어서, 당신은 결코 이 경로로부터 아주 작은 한 걸음보다 더 멀리 떨어져 있을 수 없습니다. 만약 무작위 지점에서 숲이 어떻게 보이는지 알고 싶다면, 바로 옆에 있는 경로를 찾아내어 거의 완벽한 답을 얻을 수 있습니다.

단순함에서 복잡함으로

이전에는 과학자들이 "자유 페르미온(free-fermion)" 모델에 대해서만 이러한 완벽한 청사진을 그릴 수 있다는 것을 알고 있었습니다. 이 모델들은 각 자석이 독립적으로 행동하는, 상호작용이 없는 단순한 장난감 모델이라고 생각하면 됩니다.

이 논문은 이 능력을 상호작용하는(interacting) 시스템으로 확장했다는 점에서 획기적인 돌파구입니다. 이 시스템에서 자석들은 서로 대화를 나눕니다. 즉, 한 자석의 상태가 이웃한 자석에게 영향을 미칩니다. 이는 조용히 서 있는 사람들의 방에서, 모두가 복잡한 대화를 나누는 방으로 옮겨가는 것과 같습니다. 저자들은 이 소음이 많은 상호작용 세계 속에서도, 대화가 엄격하고 풀 수 있는 패턴을 따르는 특정한 (완벽하게 계산 가능한) 경로들, 즉 골격이 여전히 존재함을 보여주었습니다.

"온사거(Onsager)"라는 열쇠

그들이 연구한 특정 양자 사슬은 "카이랄 클락 모델(chiral clock model)"이라 불립니다. 이 모델들은 **온사거 대수(Onsager algebra)**라고 알려진 일련의 수학적 규칙을 따르기 때문에 특별합니다.

저자들은 이 대수를 마스터 키처럼 사용했습니다. 그들은 양자 사슬의 "재료"(방정식의 계수들)를 특정 수학적 형태(완벽한 제곱)로 배열하면, 시스템이 정확하게 기술 가능한 상태를 해제한다는 것을 보여주었습니다.

• 레시피: 그들은 재료를 특정 방식으로 섞으면(수학적으로 다항식이 완벽한 제곱 형태라면), 완벽하게 풀 수 있는 "바닥 상태(ground state, 가장 낮은 에너지의 안정된 상태)"를 얻게 된다는 것을 발견했습니다.
• 들뜬 상태(Excited States): 그들은 단지 가장 차분한 상태만을 찾은 것이 아닙나, 이 경로들을 따라 완벽하게 풀 수 있는 일련의 "들뜬 상태"(약간 더 높은 에너지를 가진 상태) 또한 찾아냈습니다. 이것은 건물의 바닥뿐만 아니라, 바닥에서 1층으로 이어지는 완벽하게 정의된 계단까지 찾아낸 것과 같습니다.

이것이 독자에게 의미하는 바

1. 추측이 아닌 정확한 답: 저자들은 이제 거대한 부류의 상호작용하는 양자 시스템에 대해, 근사치를 구하는 대신 정확한 상태를 직접 써 내려갈 수 있게 되었습니다.
2. 미래를 위한 지도: 이 "골격" 경로들은 매우 조밀하기 때문에, 이 차분한 영역에 있는 어떠한 시스템이라도 근사할 수 있는 강력한 방법을 제공합니다. 특정 양자 사슬이 어떻게 행동하는지 알고 싶다면, 그와 매우 가까운 곳에 있는 "골격" 경로를 찾아내어 그 정확한 해를 거의 완벽한 추정치로 사용할 수 있습니다.
3. 상관관계에 대한 새로운 도구: 이 논문은 또한 이 방법을 사용하여 "무질서 파라미터(disorder parameter, 시스템이 얼마나 무질서한지 측정하는 방법)"라고 불리는 특정 성질을 계산하는 데 사용했습니다. 그들은 이 상호작용하는 시스템에서 이 값에 대한 깔끔하고 닫힌 형태의 공식을 찾아냈으며, 이는 이전에는 더 단순한 비상호작용 모델에서만 알려졌던 것입니다.

저자들이 수행하지 않은 것

논문의 실제 주장 사항을 준수하는 것이 중요합니다:

• 저자들은 이를 아직 실제 임상 용도나 특정 양자 컴퓨터에 적용하지 않았습니다.
• 저자들은 전체 상 상태 도표를 해결했다고 주장하지 않았습니다. 그들은 특정 고정점(fixed points) 주변의 "갭이 있는(gapped, 차분한)" 영역에 구체적으로 집중했습니다.
• 저자들은 모든 지점에 대해 정확한 해가 존재한다고 주장하지 않았습니다. 다만, 그 해들이 매우 조밀하여 어떤 지점이든 매우 잘 근사할 수 있다고 주장했습니다.

요약하자면, 저자들은 복잡한 양자 세계를 들여다볼 수 있는 "완벽하게 선명한 창문"들을 만들어 냈습니다. 창밖의 세상은 여전히 복잡하지만, 이 창문들은 매우 많고 서로 가까이 있어서 우리는 이제 전례 없는 명확함으로 전체 그림을 볼 수 있게 되었습니다.

기술 요약

기술 요약: 온사거 가적성 양자 사슬에서의 행렬 곱 상태 스켈레톤 (Matrix-Product State Skeletons in Onsager-Integrable Quantum Chains)

문제 제기
가적성(Integrability)은 특수한 해밀토니안 군에 대한 분석적 통찰을 제공하며, 행렬 곱 상태(MPS)는 갭이 있는 1차원 계의 바닥 상태를 근사하는 강력한 도구를 제공하지만, 이 두 개념의 교차점, 특히 자유 페르미온 모델을 넘어선 영역은 여전히 미개척 상태로 남아 있다. 이전 연구들은 자유 페르미온 사슬(구체적으로 BDI 및 AIII 클래스)에 대해, 정확한 MPS 바닥 상태를 갖는 해밀토니안의 집합이 위상도 내에서 "조밀한 스켈레톤(dense skeleton)"을 형성함을 입증했다. 이 스켈레톤은 정확히 풀리는 모델들의 수열을 통해 일반적인 바닥 상태를 분석적으로 근사할 수 있게 한다. 그러나 상호작용하는 시스템, 예를 들어 $N$-상태 온사거 가적성 카이럴 클락 모델($N > 2$)의 경우, 이러한 MPS 스켈레톤의 존재와 구조는 알려지지 않았다. 문제는 온사거 가적성 모델들이 범함수 방정식(functional equations)을 통해 정확한 해를 가짐에도 불구하고, 그 바닥 상태는 일반적으로 정확한 MPS가 아니며, $N > 2$인 경우의 위상도는 $N=2$인 경우와 달리 확장된 무갭(gapless) 영역을 포함한다는 점이다.

방법론
저자들은 $N$-상태 카이럴 클락 사슬에서 작용하는 온사거 대수의 생성자 $A_m$에 대해 해밀토니안 $H_A[\{t_m\}, N] = \sum_m t_m A_m$ 군을 조사한다. 핵심 방법론은 다음과 같다:

1. 대수적 구성: 온사거 대수 관계식과 피벗 절차(pivot procedures, $A_m$에 의해 생성되는 유니터리 변환)를 활용하여, "스켈레톤" 상의 일반적인 해밀토니안을 기지(known)의 바닥 상태를 갖는 고정점 해밀토니안($A_k$)으로 매핑한다.
2. 다항식 특성화: 해밀토니안과 연관된 로랑 다항식 $f(z) = \sum t_m z^m$을 정의한다. 저자들은 이 군 중에서 $f(z) = \pm z^p g(z)^2$ (여기서 $g(z)$는 다항식)를 만족하는 부분집합을 식별한다. 이 조건은 $N=2$ 자유 페르미온 스켈레톤 조건을 일반화한 것이다.
3. 반복적 MPO 변환: 고정점 해밀토니안의 바닥 상태($| \psi_p \rangle$)에 일련의 행렬 곱 연산자(MPO) $M(k) = \exp(\mp \beta_k A_{p+k})$를 적용하여 정확한 고유상태를 구성한다. 파라미터 $\beta_k$는 슈어-코른(Schur-Cohn) 알고리즘과 동일한 알고리즘적 절차를 사용하여 $g(z)$의 계수로부터 유도된다.
4. 스펙트럼 분석: 구성된 고유상태가 진정한 바닥 상태인지 결정하기 위해 해밀토니안의 스펙트럼을 분석한다. 이는 스펙트럼 갭과 단위 원 위에서 $f(z)$의 영점(zeros)의 거동을 조사하는 것을 포함한다.

주요 기여 및 결과

• 상호작용 모델에 대한 MPS 스켈레톤의 존재: 본 논문은 $N > 2$ 카이럴 클락 모델에 대해, $f(z) = \pm z^p g(z)^2$를 만족하는 해밀토니안이 고정점 생성자 $A_k$ 주변의 갭이 있는 영역에서 정확한 MPS 바닥 상태(또는 들뜬 상태)를 가짐을 보여준다. 이는 상호작용하는 온사거 가적성 모델 군에서 MPS 스켈레톤을 최초로 식별한 것이다.
• 정확한 고유상태 구성 (결과 1): $f(z) = \pm z^p g(z)^2$인 모든 해밀토니안 군에 대해, 저자들은 정확한 고유상태 $|\phi\rangle = M(d)\dots M(1) |\psi_p^\pm\rangle$를 구성한다. 계수들이 $|b_k| \neq 1$을 만족할 때, 이 상태는 유한한 결합 차원(bond dimension)을 갖는 정확한 MPS이다.
• 바닥 상태 식별 (결과 2): 구성된 고유상태는 고정점 해밀토니안 $A_k$와 갭이 있는 경로를 통해 연결된 갭 영역들의 합집합인 집합 $S$ 내에서 정확한 바닥 상태임이 증명된다. 이 영역 외부(무갭 섹터)에서 이 상태는 여전히 고유상태이지만 더 이상 바닥 상태는 아니다.
• 스켈레톤의 조밀성 (결과 3): 스켈레톤 상의 해밀토니안 집합은 갭이 있는 영역 $S$ 내에서 조밀하다. $S$ 내의 임의의 일반적인 해밀토니안에 대해, 그 바닥 상태 에너지는 스켈레톤 상의 해밀토니안들의 수열에 의해 임의의 정밀도로 근사될 수 있다. 이는 상호작용하는 온사거 가적성 사슬에서 바닥 상태를 근사하기 위한 분석적 접근법을 제공한다.
• 들뜬 상태 (결과 4): 저자들은 0이 아닌 운동량 섹터에서의 저에너지 상태에 대응하는 정확한 MPS 들뜬 상태의 집합을 식별한다. 이들은 고정점 해밀토니안의 특정 들뜬 섹터에 작용하도록 유사하게 구성된다.
• 무질서 파라미터 계산: 응용으로서, 저자들은 스켈레톤 상의 특정 상호작용 모델($H = A_0 + 2aA_1 + a^2A_2$)에 대해 무질서 파라미터의 폐쇄형 표현식을 유도하며, 이는 $N=2$ 이징(Ising) 사례의 알려진 결과를 임의의 짝수 $N$으로 일반화한다.

의의 및 주장
본 논문은 상호작용하는 온사거 가적성 시스템에서 MPS 스켈레톤을 부분적으로 "노출(expose)"한다고 주장하며, 이 개념을 자유 페르미온 클래스에서 상호작용하는 카이럴 클락 모델로 확장한다. 그 의의는 다음과 같다:

1. 분석적 근사: 상호작용하는 모델의 갭이 있는 영역에서 정확히 풀리는 MPS 상태들의 조밀한 집합을 사용하여 바닥 상태를 근사하는 방법을 제공함으로써, 이러한 특정 영역에서 수치적 MPS 최적화나 베테 정(Bethe ansatz) 대각화를 우회한다.
2. 대수적 일반성: 많은 결과가 특정 표현(representation)보다는 주로 온사거 대수의 대수적 구조에 의존하고 있음을 강조하며, 이는 다른 온사거 가적성 해밀토니안에 대한 잠재적 적용 가능성을 시사한다.
3. 고유벡터에 대한 새로운 관점: 복잡한 범함수 방정식을 사용하는 대신, 상호작용하는 카이럴 클락 체인의 고유벡터 구조에 대한 새로운 관점을 제공하는 직접적인 MPS 고유상태 구성을 제시한다.

저자들은 $f(z) = \pm z^p g(z)^2$ 조건이 정확한 MPS 바닥 상태를 위한 충분조건이지만 반드시 필요조건은 아니라는 점을 언급하며 범위에 대해 신중한 태도를 유지하며, 또한 이 구성이 갭이 닫히거나 계수가 발산하는 측도-영(measure-zero) 집합의 점들을 제외함을 명시한다. 또한, 스켈레톤이 $S$ 내에서 조밀하지만, 위상 경계(특히 무갭 영역) 자체는 이 방법으로 완전히 규명되지 않았음을 밝힌다.