Coordinate-energy transformation and the one-point function for the Heisenberg-Ising XXZ spin-1/2 chain on the ring

기술 요약: 하이젠베르크-이징(Heisenberg-Ising) XXZ 스핀-1/2 사슬에 대한 좌표-에너지 변환 및 일점 함수(One-Point Function)

문제 정의
본 논문은 홀수 길이 $L$의 이산 고리(discrete ring) 위에 있는 $N$개의 업-스핀 입자를 가진 하이젠베르크-이징 XXZ 스핀-1/2 사슬에 대한 베테 안자츠(Bethe Ansatz)의 완전성을 다룬다. 좌표 베테 안자츠는 베테 방정식의 해로부터 고유벡터(베테 벡터)를 구성하는 방법을 제공하지만, 이 벡터들이 힐베르트 공간 전체를 생성하는지, 또는 좌표 기저에서 에너지(고유) 기저로의 매핑이 가역적인지는 사전적으로 보장되지 않는다. 구체적으로, 저자들은 이 역변환을 명시적으로 표현하는 것, 즉 좌표 기저 상태 $|x\rangle$를 베테 고유벡터 $|\xi\rangle$의 선형 결합으로 나타내는 것을 목표로 한다. 이 역변환을 확립하는 것은 이 시스템에 대한 베테 안자츠의 완전성을 증명하고, 일점 함수(점유 확률)와 같은 동역학적 관측량의 정확한 계산을 가능하게 할 것이다.

방법론
저자들은 대수적 조작, 복소 해석학(컨투 적분), 그리고 수치적 검증을 결합한 구성적 접근 방식을 채택한다:

1. 정의 및 설정: 힐베르트 공간 $\mathcal{H}$는 $N$개의 입자가 있는 길이 $L$의 고리 상의 구성들로 정의된다. 해밀토니안 $H_{XXZ}$는 이방성 파라미터 $\Delta$와 함께 정의된다.
2. 베테 안자츠 프레임워크: 저자들은 표준 베테 안자츠를 검토하여, 베테 방정식에 의해 결정되는 진폭 $u(\xi, x)$를 통해 베테 벡터 $|\xi\rangle$를 정의한다. 또한, (순열을 제외한) 베테 방정식의 해들의 집합 $\Xi$와 그에 따른 벡터 공간 $W$를 도입한다.
3. 역변환 추측: 핵심 제안인 추측 3.11(초록에서는 정리 3.11로 언급됨)은 역변환에 대한 명시적인 공식이 존재함을 상정한다:
   $$|x\rangle = \sum_{[\xi] \in \Xi} \ell(x, \xi) |\xi\rangle$$
   여기서 $\ell(x, \xi)$는 가우딘 행렬(Gaudin matrix)과 관련된 행렬 $\Lambda(\xi)$의 행렬식 및 특정 대칭화 인자들을 포함하는 새롭게 유도된 계수이다.
4. 해석적 증명:
   • $\Delta = 0$인 경우: 단위근(roots of unity)과 반데르몽드 행렬식(Vandermonde determinants)의 성질을 활용하여, 임의의 $N$에 대해 자유 페르미온 지점($\Delta = 0$)에 대한 엄밀한 증명을 제공한다.
   • $N=2$인 경우: 가정 7.1($L > 2$, $|\Delta| < \frac{L-1}{2L}$, $\Delta \neq \cos(2\pi k/(L-2))$ for $k \in [L-2]$, 그리고 정리 7.9의 증명에서 결정된 유한한 $\Delta$ 값들을 제외함)의 특정 제약 조건 하에서 $N=2$ 입자 섹터에 대한 엄밀한 증명을 확립한다. 이 증명은 구성의 지시 함수(indicator function)를 표현하기 위해 중첩 컨투 적분(nested contour integrals)을 사용하며, 베테 근(Bethe roots)에 대응하는 잔차(residues)를 포착하기 위해 경로를 변형한다.
   • 일반적인 $N > 2$인 경우: 일반적인 케이스는 수치적 증거에 의해 뒷받침되는 추측으로 남겨둔다.
5. 수치적 검증: 저자들은 0이 아닌 작은 $\Delta$에 대해 베테 방정식을 풀기 위해 뉴턴-카차르크(Newton-Kaczmarz) 방법을 구현한다. 이들은 제안된 역공식을 통해 구축된 전이 행렬(transition matrix)이 항등 행렬임을 확인하여, 다양한 작은 $N, L, \Delta$에 대해 추측을 검증한다.
6. 일점 함수 유도: 역변환이 유효하다고 가정할 때, 저자들은 일점 함수 $\rho(x, t)$에 대한 정확한 공식을 유도한다. 이는 이저긴-코리핀(Izergin-Korepin) 행렬식 관련 항등식을 사용하여 베테 근과 구성들에 대한 이중 합을 단순화함으로써 계산 복잡도를 크게 줄이는 과정을 포함한다.

주요 기여

• 역 좌표 베테 안자츠 공식: 본 논문은 에너지 기저에서 좌표 기저로의 변환에 대한 명시적인 폐쇄형 표현(정리 3.11)을 제공한다. 이는 표준 좌표 베테 안자츠의 역이다.
• 특정 사례에 대한 완전성 증명: 저자들은 $\Delta = 0$ (임의의 $N$) 및 가정 7.1의 제약 조건 하의 $N=2$인 경우, 베테 벡터가 힐베르트 공간의 완전한 기저를 형성함을 증명한다.
• 정확한 일점 함수 공식: 추측의 유효성을 가정하여, 저자들은 이전의 정수 직선(integer line) 결과들을 주기적 고리로 일반화한, 단순화된 행렬식 기반의 일점 함수 공식을 유도한다 (정리 1.2 및 정리 6.1).
• 수치적 프레임워크: 비자명한 $\Delta$에 대해 베테 방정식을 해결하기 위한 견고한 수치적 방법(Newton-Kaczmarz)의 개발과 $N > 2$에 대한 역변환 검증을 수행한다.

결과

• 정리 3.11: 역변환 공식은 $\Delta = 0$ 및 $N=2$ (가정 7.1의 제약 조건 하)에 대해 증명되었다. $N > 2$ 및 $\Delta \neq 0$인 경우, 이 공식은 수치적으로 확인되었으나 여전히 추측 단계이다.
• 완전성: 만약 정리 3.11이 성립한다다면, 베테 안자츠는 유한한 수의 $\Delta$ 값을 제외한 모든 경우에 대해 홀수 길이의 고리 위 XXZ 사슬에 대해 완전하다 (추측 1.1).
• 일점 함수: 유도된 공식(식 78/79)은 역변환 계수 $\ell$과 Izergin-Korepin 항등식에서 유도된 함수 $F$를 포함하여, 베테 근 쌍들에 대한 합으로 점유 확률을 표현한다.
• 수치적 증거: $N=3, L=21$ 및 기타 파라미터에 대한 시뮬레이션은 구축된 전이 행렬이 항등 행렬임을 확인하여 $N > 2$에 대한 추측을 뒷받침한다.

의의 및 주장
본 논문은 역변환을 명시적으로 구축함으로써 베테 안자츠의 완전성에 대한 구성적 접근법을 제시한다. 저자들은 만약 이 공식이 성립한다면, 베테 벡터들이 힐베르트 공간 전체를 생성하게 되며, 이를 통해 공식이 증명되었거나 추측된 경우 주기적 XXZ 사슬에 대한 완전성 문제를 해결할 수 있다고 주장한다.

저자들은 이 결과가 특히 비평형 초기 조건에 대해 주기적 XXZ 사슬의 스핀-업 프로파일(spin-up profile)에 대한 정밀한 점근적 분석을 위한 경로를 제공할 수 있다고 기술한다. 유도된 일점 함수 공식은 이전 문헌([STW22])에서 발견된 갭 확률 함수(gap probability functions)의 일반화로 제시되며, 고리 상에서의 대규모 스핀 수송 및 잠재적인 KPZ 유형의 변동(fluctuations) 연구를 용이하게 하기 위한 것이다.

본 논문은 일반적인 경우($N > 2, \Delta \neq 0$)에 대해 겸허한 태도를 유지하며, 역변환의 일반적 타당성과 결과로서의 완전성을 명시적으로 추측(conjecture)으로 분류한다. 저자들은 예외적인 $\Delta$ 값들의 정확한 특성화와 가우딘 유형 행렬식(Gaudin-type determinant)의 거동을 향후 과제의 주요 과제로 식별하였다.