Comments on holographic spread complexity

문제 제기
본 논문은 확산 복잡도(spread complexity)의 성장률과 벌크 프로브(bulk probe)의 반경 방향 운동량 사이의 관계를 연결하는 홀로그래피적 제안을 재검토한다. 기존 연구들(예: [58, 62])은 글로벌 $\text{AdS}_3$ 및 JT/SYK 이중성과 같은 특정 홀로그래피 설정에서 $\dot{C} \propto p_{\text{infalling}}$ 형태의 관계를 확립하였으나, 몇 가지 근본적인 질문들이 여전히 해결되지 않은 채 남아 있다. 구체적으로, 이러한 유도에 사용된 외삽 사전(extrapolation dictionary)의 정확한 유효 범위가 불분명하며, 이 대응 관계가 $SL(2, \mathbb{R})$ 대칭성에 크게 의존하는지 혹은 AdS/CFT 프레임워크 자체에 의존하는지가 불확실하다. 또한, 어떻게 고전적 프로브 역학이 근본적인 양자 역학으로부터 발현되는지, 특히 확산 복잡도가 고전적 운동량 대신 파동 묶음의 분산(wave packet dispersion)과 같은 다른 역학적 특징을 추적하는 조건이 무엇인지에 대해서도 완전히 이해되지 않았다. 저자들은 이러한 가정들을 명확히 하고, 이 제안이 AdS/CFT에 얼마나 의존하는지를 결정하며, 분석을 평탄한 시공간(flat spacetime) 및 드 시테르(de Sitter) 시공계로 일반화하고자 한다.

방법론
저자들은 핵심적인 유도 과정에서 AdS/CFT 대응 관계에 대한 의존을 피하기 위해 직접적인 양자화 접근 방식을 채택한다. 그들의 방법론은 다음과 같다:

1. 직접 벌크 양자화: 이들은 경계 CFT 연산자로부터 시작하는 대신, 벌크 시공간($\text{AdS}_2$, 평탄한 공간, dS$_2$)에서 자유 질량 스칼라 장과 자유 질량 입자를 직접 양자화한다.
2. 스펙트럼 분석 및 크릴로프 구성(Krylov Construction): 각 설정에 대해, 이들은 해밀토니안에 대한 초기 상태의 스펙트럼 측도를 결정한다. 이들은 이러한 스펙트럼 측도와 관련된 직교 다항식(예: AdS의 경우 Meixner 다항식, 평탄한 공간의 경우 Laguerre 다항식, de Sitter의 경우 continuous Hahn 또는 shifted Meixner-Pollaczek 다항식)을 사용하여 크릴로프 기저를 구성한다.
3. 복잡도 계산: 이들은 크릴로프 기저에서의 확률 분포의 평균으로서 확산 복잡도 $C(t)$를 계산하고, 그 성장률 $\dot{C}(t)$를 분석한다.
4. 준고전적 극한 및 상태 선택: 이들은 준고전적 극한($\Delta \gg 1$)을 조사하고, 에너지 표현에서의 일반적인 준고전적 파동 묶음과 관련 대수(algebra)에 적응된 일반화된 코히런트 상태(generalized coherent states)를 대조하며 서로 다른 클래스의 초기 상태를 비교한다.
5. 기하학적 양자화: $\text{AdS}_2$의 경우, 이들은 자유 질량 입자의 위상 공간을 명시적으로 양자화하여, 확산 복잡도 연산자가 "complexity=anything" 프레임워크 내의 고전적 복잡도 관측량의 양자화임을 식별한다.

주요 기여 및 결과

• AdS 시공계:

  • 저자들은 벌크 프로브를 직접 양자화함으로써 운동량-복잡도 관계에 대한 더 일반적인 유도를 제공한다. 이들은 특정 초기 상태(프라이머리 연산자 삽입에 대응하는 일반화된 코히런트 상태)에 대해, 확산 복잡도 성장률이 자유 낙하하는 입자의 고전적 반경 방향 운동량과 일치함을 확인한다.
  • 이 관계는 초기 상태가 $SL(2, \mathbb{R})$ 대수의 코히런트 상태이고, 해밀토니안이 동일한 대수에 속하기 때문에 발생함을 입증한다. 결과적으로, 파동 묶음은 준고전적 극한에서 분산적 퍼짐 없이 코히런트한 운동을 수행한다.
  • 이들은 확산 복잡도 연산자를 입자의 위상 공간 상의 특정 선형 결합(보존된 전하)의 양자화로 식별하며, 이를 구체적인 "complexity=anything" 관측량으로 실현한다.

• 평탄한 시공계 (Flat Spacetime):

  • 평탄한 공간에서는 물리적 해밀토니안이 하이젠베르크 대수와 관련된 코히런트 상태 구조를 동일한 방식으로 보존하지 않는다.
  • 물리적 해밀토니안에 의해 진화하는 코히런트 초기 상태의 경우, 확산 복잡도 성장률은 고전적 운동량이 아니라 파동 묶의 분산적 확장(구체적으로 위치의 분산)에 비례한다. 운동량은 보존되므로, 복잡도가 감지하는 "운동"은 순수하게 분산적인 것이다.
  • 이 결과는 준고전적 극한만으로는 운동량-복잡도 관계를 보장하기에 불충분하며, 초기 상태의 구체적인 선택과 그 대수와 해밀토니안 사이의 호환성이 매우 중요하다는 점을 강조한다.

• 드 시테르(de Sitter) 시공계:

  • 저자들은 스펙트럼이 연속적인(principal-series representation of $SL(2, \mathbb{R})$) 드 시테르 공간의 정적 패치(static patch)를 분석한다.
  • 일반적인 파동 묶음: 감마 분포(Gamma distributions)로 모델링된 에너지 표현에서의 준고전적 파동 묶음은 분산적 확장에 의해 구동되는 확산 복잡도의 이차적 성장을 보이며, 이는 지수적 성장을 하는 고전적 반경 방향 운동량과 일치하지 않는다.
  • 주요 계열 코히런트 상태 (Principal-Series Coherent States): 관련 대수에 적응된 상태(특히 단일 정적 패치를 선택하는 경계 국소화 상태)를 구성함으로써, 저자들은 란초스 계수(Lanczos coefficients)가 크릴로프 지수와 함께 선형적으로 성장함을 발견한다. 이는 후기 시간에서 확산 복잡도의 지수적 성장을 이끈다.
  • 결정적으로, 이러한 특정 상태들에 대해 성장률 $\dot{C}(t)$는 고전적 반경 방향 운동량($\sinh T$)과 동일한 시간 의존성을 보이며, 드 시테르 공간에서 운동량-복잡도 관계를 회복한다.

의의 및 주장
본 논문은 확산 복잡도 성장과 반경 방향 운동량을 연결하는 홀로그래피적 제안이 모든 준고전적 상태의 보편적 특징이 아니라, 다음과 같은 특정 조건에 부합할 때 발생하는 것임을 주장한다:

1. 상태 적응성: 초기 상태는 시스템의 대칭 대수에 적응된 일반화된 코히런트 상태여야 한다.
2. 해밀토니안 호환성: 해밀토니안이 동일한 대칭 대수에 속해야 하며, 이를 통해 코히런트 상태 구조가 보존되어 분산적 확산이 복잡도 성장을 지배하는 것을 방지해야 한다.
3. 홀로그래피로부터의 독립성: 운동량-복잡도 관계의 유도는 엄격하게 AdS/CFT 대응 관계를 필요로 하지 않으며, 위의 조건이 충족될 때 프로브 자체의 양자 역학으로부터 발현된다. 경계 이론은 주로 편리한 초기 상태를 제안하는 역할을 수행한다.

저자들은 확산 복잡도가 고전적 프로브 역학의 진단 도구가 될 수 있지만, 코히런트 운동과 분산적 확산을 신중하게 구분해야 한다고 결론짓는다. $\dot{C} \propto p$ 관계는 시스템이 양자 상태가 강체 고전 객체처럼 측지선을 따라 움직이는 영역에 있을 때 성립하며, 이 조건은 글로벌 AdS 및 특정 드 시테르 상태에서는 만족되지만, 평탄한 공간이나 드 시테르 에너지 표현에서의 일반적인 파동 묶음에서는 실패한다. 본 연구는 고전적 복잡도 관측량이 발현되기 위한 필요한 양자 역학적 전제 조건들을 명확히 한다.