Spread Complexity for Local Operator Quenches with Conserved Momentum

기술 요약: 보존된 운동량을 가진 국소 연산자 퀀치(Quench)에 대한 확산 복잡도(Spread Complexity)

문제 정의
본 논문은 2차원 공형 장론(2d CFT)에서 특정 계열의 국소 흥분 상태(locally excited states)의 확산 복잡도(또는 크릴로프 복잡도, Krylov complexity)를 조사한다. 이 상태들은 독립적인 카이럴 $\epsilon_+$ 및 안티-카이럴 $\epsilon_-$ 조절기(regulators)를 가진 국소 프라이머리 연산자를 적용하여 구축된다. 조절기가 동일한 표준적인 국소 퀀치와 달리, 이러한 비대칭성은 흥분에 순 보존 운동량(net conserved momentum)을 부여한다. 본 연구의 목적은 평면(plane), 실린더(cylinder), 그리고 유한 온도 실린더(finite-temperature cylinder)라는 세 가지 서로 다른 기하학적 구조에 대해 이 상태들의 란초스 계수(Lancos coefficients)와 그에 따른 확산 복잡도를 계산하는 것이다. 또한, 보존된 운동량을 가진 상태에 대해, 듀얼 벌크 기하 구조 내로 낙하하는 입자의 고유 운동량(proper momentum)과 복잡도의 변화율 사이의 관계를 식별하는 최근의 홀로그래피 제안의 타당성을 검증한다.

방법론
저자는 다음과 같은 분석적 및 수치적 기법의 조합을 사용한다:

1. 분석적 계산 (Analytical Calculation):

   • 복귀 진폭 (Return Amplitude): 평면, 실린더, 열적 실린더에 대해 연산자 곱 전개(OPE) 및 공형 사상(conformal mapping) 기술을 사용하여 유도된 정확한 복귀 진폭(자기 상관 함수) $S(t)$의 계산으로부터 시작한다.
   • 란초스 계수 (Lancos Coefficients): 첫 몇 개의 란초스 계수($a_n, b_n$)는 복귀 진폭의 모멘트(moments)와 계수를 연결하는 토다 체인 방법(Toda-chain method 또는 Toda hierarchy)을 사용하여 분석적으로 유도된다.
   • 초기 시간 확장 (Early-Time Expansion): 유도된 첫 몇 개의 계수를 사용하여 확산 복잡도 $C(t)$의 초기 시간 거동을 명시적으로 확장한다.

2. 수치적 계산 (Numerical Calculation):

   • 스펙트럼 방법 (Spectral Method): 모멘트 문제에서 발생하는 수치적 불안정성(Hankel 행렬식이 불량해지는 현상)을 극복하기 위해, 저자는 스펙트럼 방법을 활용한다. 이는 복귀 진폭의 스펙트럼 측도(spectral measure)를 이산화(Fourier 변환을 통해)하고 Gragg-Harrod(또는 RKPW) 알고리즘을 적용하는 과정을 포함한다. 이 접근 방식은 높은 크릴로프 지수($n \approx 3000-4000$)까지 란초스 계수를 안정적으로 계산할 수 있게 한다.
   • 복잡도 진화 (Complexity Evolution): 계산된 계수들은 절단된 자코비 행렬(truncated Jacobi matrix)을 구성하는 데 사용되며, 이를 대각화하여 긴 시간 범위에 걸친 시간 진화 진폭과 확산 복잡도를 얻는다.

3. 홀로그래픽 비교 (Holographic Comparison):

   • 저자는 프로브 입자의 고유 운동량과 복잡도의 변화율 $\dot{C}(t)$를 연결하는 "고유 운동량" 제안을 검토한다.
   • 보존된 운동량을 처리하기 위해 "루스 방법(Routhian method)"을 적용한다. 이는 프로브 입자의 보존된 전하(운동량)를 고정하기 위해 르장드르 변환(Legendre transform)을 수행하는 과정이며, 이를 통해 복잡도의 보편적인 초기 시간 우함수(even-function) 거동을 만족시키기 위해 초기 운동량이 0이 되도록 보장한다.

주요 기여 및 결과

• 분석적 계수 및 초기 시간 거동: 논문은 세 가지 설정(평면, 실린더, 유한 온도) 모두에 대해 첫 몇 개의 란초스 계수($a_0, b_1, a_1, b_2$)와 $C(t)$의 초기 시간 확장에 대한 명시적인 분석적 표현을 제공한다.

  • 결과에 따르면, $\epsilon_+ \neq \epsilon_-$일 때 계수들은 표준적인 $sl(2, \mathbb{R})$ 대수적 형태($a_n \propto n$ 및 $b_n \propto \sqrt{n}$)에서 벗어난다.
  • 초기 시간 복잡도 $C(t)$는 $t^2$ 항과 더불어 비대칭성 $(\epsilon_+ - \epsilon_-)$에 의존하는 $t^4$ 보정 항을 나타낸다.

• 수치적 점근 거동 (Numerical Asymptotics): 수치적 결과는 큰 크릴로프 지수 $n$에 대해, 란초스 계수 $a_n$과 $b_n$이 두 조절기 중 더 작은 값인 $\epsilon_{\min} = \min(\epsilon_+, \epsilon_-)$에 의해 결정되는 값으로 점근함을 보여준다. 이는 장기 역학(long-time dynamics)이 가장 "날카로운" 조절기에 의해 지배됨을 시사한다.

• 복잡도 역학 (Complexity Dynamics):

  • 평면 및 유한 온도: 확산 복잡도는 무한히 성장한다. 유한 온도에서는 열적 계통과 일치하는 지수적 성장을 보인다.
  • 실린더: 복잡도는 주기적이며, 이는 압축된 공간 원(compact spatial circle)으로 인한 접근 가능한 힐베르트 공간의 유한한 차원을 반영한다.
  • 상한 (Upper Bounds): 모든 경우에서, 비대칭 조절기를 가진 확산 복잡도는 조절기가 $\epsilon_{\min}$인 대칭 사례의 복잡도에 의해 상한이 정해진다.

• 홀로그래픽 불일치 (Holographic Mismatch): 핵심적인 발견은 CFT 결과와 홀로그래피 제안 사이의 불일치이다.

  • CFT 확산 복잡도의 초기 시간 확장과 루스 방법을 통해 계산된 듀얼 낙하 입자의 고유 운동량의 적분값을 비교했을 때, 저자는 비례 상수를 조정함으로써 선행하는 $t^2$ 항은 맞출 수 있으나, 고차항(특히 $t^4$ 계수)은 일치하지 않는다는 것을 발견했다.
  • 이러한 불일치는 보존된 운동량을 고려하기 위해 루스 방법을 올바르게 적용한 후에도 지속되며, 이는 $\dot{C}(t)$를 프로브 입자의 고유 운동량과 직접 동일시하는 제안이 보존된 전하를 가진 상태에 대해서는 수정이 필요할 수 있음을 시사한다.

의의 및 주장
본 논문은 분석적 범위를 넘어선 영역까지 접근할 수 있는 고정밀 수치 방법을 활용하여, 보존된 운동량을 가진 2d CFT에서의 확산 복잡도에 대한 엄격한 벤치마크를 제공한다고 주장한다. 주요 의의는 독립적인 카이럴 조절기가 크릴로프 구조와 복잡도 성장에 어떻게 영향을 미치는지 상세히 규명한 데 있다.

결정적으로, 저자는 자신의 결과가 확산 복잡도에 대한 현재의 홀로그래픽 사전(dictionary)에 도전한다는 점을 겸손하지만 단호하게 결론짓는다. 관찰된 시간 진화 고차항의 불일치는 낙하하는 입자의 고유 운동량과 복잡도 성장률을 단순하게 동일시하는 것이 보존된 운동량을 가진 상태에는 불충분함을 의미한다. 이 논문은 새로운 홀로그래픽 듀얼을 제안하기보다는, 이러한 흥분 상태의 전체 역학을 포착하기 위해 정교한 듀얼가 필요함을 강조하며, 향후 게이지/중력 대응 이론의 발전을 위한 테스트베드 역할을 수행한다.