Complexity study of the Hartle-Hawking state in JT gravity

기술 요약: JT 중력 내 Hartle–Hawking 상태의 복잡도 연구

문제 및 동기
본 논문은 특히 **위그너 음수성(Wigner negativity)**에 초점을 맞추어, 재키프-테이텔보임(Jackiw–Teitelboim, JT) 중력에서의 Hartle–Hawking (HH) 상태의 양자 복잡도 성장을 조사한다. 여기서 위그너 음수성은 고전 컴퓨터로 양자 상태를 시뮬레이션하는 데 드는 어려움을 나타내는 운영적 척도이다. AdS/CFT 대응성은 강하게 결합된 경계 양자 시스템이 이중적인 반고전적 중력 기술(description)을 허용함을 시사하지만, 그러한 기술이 언제 "유용"한지를 식별하기 위한 일반적인 전략은 여전히 미해결 과제로 남아 있다. 저자는 위그너 음수성이 이러한 유용성을 탐지하는 프로브 역할을 한다고 제안한다: 위그너 함수가 비음수인 상태는 "가우시안(Gaussian)"으로서 고전적이지만, 음수성은 양자 계산에 필요한 "비-스테이블라이저(non-stabilizer)" 함량을 정량화한다. 본 연구는 길이 기저(length basis, 벌크 웜홀 길이에 대응함)가 큰 $N$(또는 큰 $e^{S_0}$)에서 카오스 역학에 대한 효율적인 반고리적 기술을 제공하는지 결정하는 것을 목표로 한다.

방법론
저자는 이중 척도 랜덤 행렬 앙상블(double-scaled random matrix ensemble)에 대응하는 JT 중력의 틀 안에서 작업한다. 저자는 길이 기저(렌몰말라이즈된 웜홀 길이 $x$에 대응하는 연속 변수)에서 정의된 HH 상태 $|\psi_\beta\rangle \propto e^{-\beta H/2}|0\rangle$의 시간 진화를 분석한다.

1. 반고전적 분석: 저자는 역온도 $\beta$를 작은 반고전적 파라미터($\beta \ll 1$)로 취급한다. HH 상태는 리우빌 벽 포텐셜 $V(x) = 4e^{-x}$의 고전적 회전점(turning point) 주변에서 전개된다.
2. 위그너 함수 계산: 위그너 함수 $W(x, p; t)$는 정확한 파동함수(변형된 베셀 함수)와 그 점근적 형태를 사용하여 계산된다. 음수성은 $N(t) = \int dx dp |W(x, p; t)|$로 정의된다.
3. 위상적 전개: 저자는 "디스크(disk)" 기여(leading order in $e^{S_0}$)와 "더블 트럼펫(double trumpet)" 기여(연결되어 있으며 $e^{-2S_0}$에 의해 억제됨)를 구분한다. 이들은 스펙트럴 폼 팩터(Spectral Form Factor, SFF) 및 스프레드 복잡도(Spread Complexity)와 행동을 비교한다.
4. 크릴로프 기저 비교: 결과는 크릴로프 기저(Krylov basis)와 기하학적 길이 기저 사이의 연결성을 활용하여, 스프레드 복잡도(Krylov complexity) 및 일반적인 기저에서의 위그너 음수성 성장과 대조된다.

주요 기여 및 결과

• 디스크 수준의 행동 (아지수-지수 시간대):

  • $t=0$에서, 길이 기저에서의 HH 상태는 고전적 회전점 $x = 2\log(2\beta/\pi)$에 중심을 둔 **최소 불확정성 가우시안 파동 묶음(minimum-uncertainty Gaussian wavepacket)**이다.
  • 결과적으로, 위그너 함수는 $t=0$에서 엄격하게 양수이며, $N(0) = 1 + o(1)$의 음수성을 갖는다.
  • 시간 진화에 따라, 파동 묶음은 리우빌 벽에서 반사된 후 자유롭게 진화한다. 자유 진화는 클리포드 전단(Clifford shear)(이차 해밀토니안에 의해 생성되는 심플렉틱 변환)에 해당하므로, 반사 이후에도 위그너 음수성은 정확히 불변하다.
  • 선형적 상승 없음: 이산 모델에서 음수성이 흔히 선형적으로 상승하는 것과 달리, 연속체 디스크 수준의 음수성은 초기 단계에서 선형적 상승을 보이지 않는다. 이는 시간 역전 대칭성($N(t)$는 $t$에 대해 짝함수)과 초기 가우시안의 엄격한 양수성에 의해 강제된다.
  • 스펙트럴 램프(Spectral Ramp) 없음: 디스크 수준의 음수성은 모든 아지수-지수 시간 동안 $1 + o(1)$로 고정되어 있다. 연결된 더블 트럼펫 기하 구조로 인해 "램프"를 보이는 SFF와 달리, 연결되지 않은 디스크 항은 감쇠하지 않으므로, 연결된 보정 항(더블 트럼펫)이 신호를 지배하도록 노출되지 않는다.

• 후기 시간 행동 및 양자 플래토(Plateau):

  • 음수성이 지수적으로 큰 값으로 성장하는 것은 $e^{-S_0}$에 대한 비섭동적 효과이며, 전적으로 스펙트럼의 이산성에 의해 구동된다.
  • 후기 시간($t \gtrsim t_{sat}$)에, 상태는 접근 가능한 위상 공간 전체로 퍼진다. 음수성은 다음의 플래토 값으로 포화된다:
    $$N_{\text{plateau}}(\beta) = \sqrt{\frac{2}{\pi}} \sqrt{d_{\text{eff}}(\beta)}$$
    여기서 $d_{\text{eff}}(\beta) = Z(\beta)^2/Z(2\beta)$는 볼츠만 분포의 역 참여도 비율(inverse participation ratio)이다. 이 값은 $e^{S_0/2}$로 스케일링된다.
  • 이 포화 시간은 디스크 분석에 의해 고정되지 않고 스펙트럼의 이산성과 연관되어 있다.

• 스프레드 복잡도 vs. 음수성:

  • 본 논문은 스프레드 복잡도($C(t)$)와 위그너 음수성 사이의 극명한 대조를 강조한다.
  • 스프레드 복잡도는 초기 시간에 이차적으로 성장하며($C(t) \sim \sigma_E^2 t^2$), 슈바르츠 식(Schwarzian) 스펙트럼의 무한한 특성을 반영하여 탄도적(ballistic)으로 계속 성장한다.
  • 반면, 위그너 음수성은 $O(1)$로 작게 유지된다. 이는 파동 함수가 크게 퍼질 수 있음에도 불구하고(크릴로프 기저에서의 복잡도 증가), 길이 기저에서는 상태가 효과적으로 "고전적"(낮은 위그너 음수성)으로 남아 있음을 시사한다.

• 정규화된 음수성:

  • 저자는 시드 정규화된 음수성 $\tilde{N} = N/P$ (여기서 $P$는 생존 확률)를 유도한다. 디스크 수준에서 이는 생존 확률의 정확한 역수이다.
  • 가공되지 않은(raw) $N$은 램프를 보이지 않지만, 정규화된 음수성 $\tilde{N}$은 딥 타임(dip time) $t_{\text{dip}} \sim \beta^{1/4} e^{S_0/2}$에 도달했을 때 분모를 통해 생존 확률(SFF)의 선형 램프를 상속받는다.

의의 및 주장
본 논문은 길이 기저가 큰 $e^{S_0}$ 및 아지수-지수 시간에서의 카오스적 양자 역학에 대한 이중적인 반고리적 유효 기술에 이상적으로 적합하다고 주장한다.

• 중력의 효율성: 이 결과는 중력이 경계 양자 역학의 "효율적인 고전적 시뮬레이션" 역할을 한다는 관점을 뒷받침한다. 위로 성장하는 스프레드 복잡도에도 불구하고 위그너 음수성이 긴 시간 동안 $O(1)$(고전적)로 유지된다는 사실은, 벌크 기하학적 변수(길이)가 시뮬레이션에 필요한 "비-스테이블라이저" 자원을 최소화하는 방식으로 역학을 포착함을 의미한다.
• SFF와의 구별: 위그너 음수성에서 램프가 나타나지 않는다는 점(SFF와 대조적)은 매우 중요한 발견이다. 이는 복잡도 척치에서의 "램프"가 보편적인 것이 아니며, 특정 관측량과 연결되지 않은 항의 감쇠에 의존함을 보여준다.
• 이산성의 역할: 지수적 플래토로의 전이는 이산적 스펙트럼에서 기인하는 비섭동적 효과로 식별되며, 이는 반고리적 디스크 근사의 붕괴를 나타낸다.

요약하자면, 본 논문은 JT 중력의 Hartle–Hawing 상태에 대해, 길이 기저에서의 위그너 음수성이 아지수-지수 시간 동안 최소 수준으로 유지됨을 입증함으로써, 기하학적 길이 기저가 듀얼 양자 시스템의 카오스적 역학에 대한 저복잡도, 반고리적 창(window)을 제공한다는 강력한 증거를 제시한다.