$p$-Body $\simeq$ Range $p-1$: Exact Order-Range Mapping and Dual-Unitarity

기술 요약: $p$-체 $\simeq$ 범위 $p-1$: 정확한 차수-범위 매핑 및 이중 유니타리성(Dual-Unitarity)

문제 정의
상호작용하는 양자 다체계의 비평형 역학을 이해하는 것은 힐베르트 공간 차원의 지수적 증가로 인해 핵심적인 과제이다. 시공간 대칭성, 특히 **이중 유니타리성(dual-unitarity)**에 기반한 해석적으로 다루기 쉬운 모델들은 상관 함수, 얽힘 확산, 스펙트럼 형성 인자(spectral form factors)에 대한 정확한 해를 제공해 왔다. 그러나 기존의 프레임워크는 주로 2체 상호작용에 의존한다. 격자 게이지 이론, 링 교환 과정(ring-exchange processes)을 포함하는 유효 스핀 해밀토니안, 그리고 양자 정보 모델에서 진정한 다체 상호작용이 자연스럽게 발생함에도 불구하고, 인접한 $p$-체 상호작용을 갖는 dual-unitary Floquet 모델을 구축하고 분석하기 위한 체계적인 방법론은 부족한 실정이다.

방법론
저자들은 인접한 $p$-체 상호작용을 가진 1차원 스핀-1/2 이징 모델의 주기적으로 킥(kick)이 가해지는 버전을 도입한다. 이 시스템은 다음의 해밀토니안으로 정의된다:
$$H^{(pB)} = \sum_{j=1}^L J \sigma_j^z \sigma_{j+1}^z \cdots \sigma_{j+p-1}^z + \sum_{j=1}^L b \sigma_j^x + \sum_{j=1}^L h_j \sigma_j^z$$
주기적 경계 조건을 따르며, 역학은 Floquet 진화 연산자 $U^{(pB)}_{KFIM} = U_K U_I$ (여기서 $U_K = e^{-iH_K}$, $U_I = e^{-iH_I}$)에 의해 지배된다.

핵심 방법론은 **정확한 상호작용 차수-범위 매핑(interaction order–range mapping)**을 확립하는 것이다. 저자들은 상호작용 강도 $J$를 특정 값($J = n\pi/4$, $n$은 정수)으로 조절함으로써, 파울리 행렬의 대수적 항등식을 활용하여 $p$-체 상호작용 항을 분해한다. 구체적으로, 이러한 특정 강도에서 $p$-체 상호작용 연산자의 지수가 전역 위상(global phase)을 제외하고 최대 범위가 $p-1$인 2-체 상호작용만을 포함하는 연산자로 정확하게 매핑될 수 있음을 증명한다.

주요 기여 및 결과

1. 정확한 차수-범위 매핑 정리:
   주요 결과는 정리 1(Theorem 1)이다. 이는 $J = n\pi/4$인 $p$-체 이징 모델에 대해, Floquet 진화 연산자 $U^{(pB)}_{KFIF}$가 최대 범위가 $p-1$인 2-체 상호작용을 갖는 스핀-1/2 모델의 Floquet 진화 연산자 $U^{((p-1)R)}$와 정확히 동등함을 명시한다.

• 매핑된 해밀토니안 $H^{((p-1)R)}_{KFIM}$은 킥 구조를 유지하지만, 특정 결합 프로파일을 갖는다: 근접 이웃 결합은 $(p-1)$의 가중치를 갖고, 차순위 이웃은 $(p-2)$, 이러한 방식으로 범위 $p-1$까지 이어진다.
• 이 매핑은 킥 강도 $b$와 무관하며, 일반적인 국소 장(local field) $h_j$ 값에 대해서도 성립한다.

2. $p$-체 Dual-Unitary 모델의 구축:
   킥 강도를 $|b| = \pi/4$로, 상호작용 강도를 $|J| = \pi/4$로 추가 조절함으로써, 매핑된 범위-$(p-1)$ 모델은 (장거리 킥 이징 체인에 대해 이미 확립된 선행 문헌의 조건에 따라) dual-unitarity 조건을 만족하게 된다. 결과적으로, 원래의 $p$-체 모델이 dual-unitary임이 입증된다. 이는 연속적인 $p$-체 킥-이징 Floquet 모델이 dual-unitary임을 보여주는 첫 번째 구체적인 구현이다.

3. $p=3$ 사례 및 체 패리티(Chain Parity) 분석:
   저자들은 최소 단위인 $p=3$ (3-체 상호작용) 사례를 분석한다.

• 짝수 시스템 크기 ($L$): 매핑된 모델은 두 개의 독립적인 체(홀수 사이트와 짝수 사이트)로 분리되며, 각 체는 근접 이웃 상호작용을 갖는다. 이는 분리된 섹터 내에서의 적분 가능한 역학을 나타내는 푸아송(Poissonian) 레벨 간격 통계를 유도한다.
• 홀수 시스템 크기 ($L$): 주기적 경계 조건으로 인해 두 섹터가 결합되어, 사이트 재라벨링(relabeling) 후 표준 킥 이징 모델(KFIM)과 동일한 하나의 연결된 체를 형성한다. 이는 양자 혼돈(quantum chaos)을 나타내는 Wigner-Dyson 레벨 간격 통계(Circular Orthogonal Ensemble)를 생성한다.
• 이러한 패리티 의존성은 모든 홀수 $p$에 대해 정리 1(Corollary 1)에서 일반화된다.

4. 정확한 얽힘 역학:
   매핑된 모델의 dual-unitarity를 활용하여, 저자들은 특정 가해지는 초기 상태(Transverse $T$ 및 Longitudinal $L$ 타입)에 대해 $\alpha$-Rényi 얽힘 엔트로피 $S^{(\alpha)}_A(t)$의 정확한 식을 도출한다.

• 거대 시스템 크기에 대해, 얽힘 엔트로피는 시간에 따라 선형적으로 성장한다: $\lim_{L\to\infty} S^{(\alpha)}_A(t) = \min(2(p-1)t, N) \ln(2)$.
• 성장률은 매핑된 상호작용의 최대 범위인 $p-1$에 의해 결정된다.
• $p=3$ 및 $p=4$에 대한 수치 시뮬레이션은 이러한 선형 성장 영역과 포화 값을 확인하여 이론적 매핑을 검증한다.

의의 및 주장
본 논문은 $p$-체 dual-unitary Floquet 모델을 구축하고 연구하기 위한 체계적인 경로를 제공한다고 주장한다. 특정 $p$-체 상호작용이 어떻게 장거리 2-체 상호작용으로 정확하게 축소될 수 있는지를 보여줌으로써, 본 연구는 복잡한 다체계와 dual-unitarity의 가해적(solvable) 프레임워크 사이의 간극을 메운다.

저자들은 이것이 연속적인 $p$-체 킥-이징 모델이 dual-unitary임을 보여주는 첫 번째 구체적인 구현임을 강조한다. 본 연구는 임의의 파라미터에 대한 일반적인 비평형 역학을 해결한다고 주장하는 것이 아니라, 특정 상호작용 강도에 대한 정확한 가해성을 확립하는 데 목적이 있다. 그 의의는 분석적으로 다룰 수 있는 모델의 범위를 진정한 다체 상호작용까지 확장하여, 고차 상호작용 시스템에서 양자 혼돈, 얽힘 확산, 스펙트럼 통계 등을 연구할 수 있는 새로운 플랫폼을 제공하는 데 있다. 또한, 이 매핑은 스핀-1/2 시스템에서 유도되었으나, 킥 팟츠 모델(kicked Potts model)의 $p$-체 일반화로 확장될 수 있으며, 이는 잠재적으로 국소 차원이 $d=3, 4$인 dual-unitary 모델로 이어질 수 있음을 언급하였다.