Provable random-matrix spectral ramp in a static, geometrically local Hamiltonian

기술 요약: 정적이고 기하학적으로 국소적인 해밀토니안에서의 증명 가능한 랜덤 행렬 스펙트럼 램프(Ramp)

문제 정의
양자 카오스는 에너지 스펙트럼에서 랜덤 행렬 이론(RMT) 통계의 출현, 즉 스펙트럼 폼 팩터(SFF)의 선형적 성장인 "램프(ramp)"로 널리 특징지어집나다. 이러한 현상은 준고전적 극한, 전방향 연결(all-to-all) 모델(예: SYK), 그리고 주기적으로 구동되는(Floquet) 시스템에서는 잘 이해되어 왔으나, 정적이고 기하학적으로 국소적인 해밀토니안을 가진 유한 차원 국소 힐베르트 공간에 대해 엄밀한 증명을 수행하는 것은 그동안 어려웠습니다. 이전의 획기적인 결과인 Bertini, Kos, Prosen(BKP)은 "이중 유니터리(dual-unitary)" 회로로 기술되는 주기적 구동 큐딧 체인에 대해서만 이러한 램프를 확립했습니다. 본 연구는 Floquet 역학과 정적 해밀토니안 사이의 간극을 메우기 위해, 램프가 증명되는 시간-독립적이고 국소적인 시스템을 구축함으로써 이 문제를 해결합니다.

방법론
저자는 최근의 파인만-키타에프(Feynman-Kitaev, FK) 클록 구성 변형을 기반으로 한 회로-해밀토니안 축소법을 사용합니다. 핵심 전략은 이중 유니터리 Floquet 회로의 준에너지(quasienergy) 스펙트럼을 정적 해밀토니안의 에너지 스펙트럼 내부로 임베딩하는 것입니다.

1. 시스템 구성:

   • 시스템은 주기적 경계 조건을 가진 길이 $n$의 두 다리 사다리(two-leg ladder)로 모델링됩니다.
   • 다리 1 (Leg 1): $d$-상태 큐딧 체인($d=2$인 큐비트).
   • 다리 2 (Leg 2): 정확히 하나의 입자("클록 핸드", clock hand)를 포함하는 페르미온 타이트 바인딩(tight-binding) 체인.
   • 해밀토니안: 해밀토니안 $H_{FK}$는 다음과 같이 정의됩니다:
     $$H_{FK} = -\frac{1}{2} \sum_{i=0}^{n-1} \left( u_i \otimes c^\dagger_{i+1}c_i + u^\dagger_i \otimes c^\dagger_i c_{i+1} \right)$$
     여기서 $u_i$는 큐비트 $(i, i+1)$에 작용하는 유니터리 게이트이며, 페르미온의 호핑(hopping)은 게이트 $u_i$를 활성화하여 양자 회로의 진화를 효과적으로 시뮬레이션합니다.
   • 섹터 제한: 분석은 페르미온 체인의 단일 입자 섹터($\sum c^\dagger_i c_i = 1$)로 제한됩니다. 이 섹터의 차원은 $n 2^n$으로 지수적으로 크지만 전체 힐베르트 공간보다는 제곱만큼 작습니다.

2. 스펙트럼 임베딩:

   • $H_{FK}$의 고유값은 $E_{m,\phi} = -\cos[(2\pi m + \phi)/n]$으로 유도됩니다. 여기서 $\phi$는 회로 $U_F = u_{n-1}\dots u_0$의 Floquet 준에너지이며, $m$은 클록 핸드의 운동량입니다.
   • 이는 Floquet 준에너지 스펙트럼을 코사인 함수에 의해 왜곡된 실수 에너지 스펙트럼으로 매핑합니다.

3. 무질서 및 평균화:

   • SFF는 자기 평균화(self-averaging)되지 않으므로, 저자는 보편적 거동을 추출하기 위해 약한 외적 무질서(extrinsic disorder)를 도입합니다. 여기에는 다음이 포함됩니다:
     • 게이트 $u_i$에 대한 무작위 단일 큐비트 유니터리 변형.
     • 모든 게이트에 적용되는 약하고 공간적으로 균일한 위상 변화 $\chi$.
     • 작은 무작위 변수 $r$에 대한 시간 평균.
   • 극한은 열역학적 극한($n \to \infty$), 장시간 극한($\tau \to \infty$), 그리고 마지막으로 제로-무질서 극한($\Delta \to 0$)의 순서로 취해집니다.

4. 컨볼루션 공식의 유도:

   • Jacobi-Anger 항등식을 사용하여 해밀토니안의 분배 함수 $Z_H(it)$를 Floquet 분배 함수 $Z_F(iw)$의 선형 결합으로 표현합니다.
   • 연결된(connected) 해밀토니안 SFF인 $K_H(t)$는 베셀 함수(Bessel function)에 의해 가중치가 부여된 Floquet SFF $K_F(w)$의 컨볼루션임이 나타납니다:
     $$K_H(t) = 2n^2 \sum_{w=1}^{\infty} |J_{wn}(t)|^2 K_F(w) + o(1)$$
   • 결정적으로, 무질서 평균화는 교차항($w \neq w'$)을 억제하여 대각 성분(diagonal contributions)만을 분리해냅니다.

주요 기여 및 결과

1. 램프의 증명:
   게이트 $\{u_i\}$를 이중 유니터리(단, SWAP 게이트는 아님)로 선택함으로써, 저자는 열역학적 극한에서 Floquet SFF가 시간에 따라 선형적으로 스케일링($K_F(w) \propto |w|$)된다는 BKP 결과를 활용합니다.

   • 본 논문은 BKP의 결과를 주기적 경계 조건에서 개방 경계 조건(FK 구성에 필요한 $u_{n-1}=1$ 조건)으로 일반화하며, 지수적으로 작은 보정 항까지 선형 램프가 지속됨을 보여줍니다.
   • $t = n\tau$인 스케일링 극한(Thouless double-scaling limit)에서, 축소된 SFF $\kappa_H(\tau) = \lim_{n\to\infty} K_H(n\tau)/n$이 유도됩니다.
   • 큰 $\tau$에 대한 점근적 거동은 다음과 같이 증명됩니다:
     $$\kappa_H(\tau) = \frac{2}{\pi} \tau + O(\tau \Delta^{1/2})$$
   • 제로-무질서 극한을 취하면 유한하고 0이 아닌 기울기가 얻어지며, 이는 스펙트럼 램프의 존재를 확인해 줍니다.

2. Thouless 시간 스케일링:
   분석 결과, Thouless 시간 $t_{Th}$는 시스템 크기에 선형적으로 스케일링($t_{Th} \propto n$)됨이 밝혀졌습니다. 이는 클록 핸드의 탄도성 운동(ballistic motion) 때문이며, 클록 핸드가 전역적인 RMT 징후가 나타나기 전에 시스템 둘레를 가로질러야 하기 때문입니다. 이는 기하학적으로 국소적인 해밀토니안에서 가능한 가장 빠른 스케일링을 나타냅니다.

3. 연결된 SFF와 디스커넥티드(disconnected) SFF의 역할:
   램프는 연결된 SFF에서만 관찰됩니다. 디스커넥티드 부분인 $|\langle \text{Tr}(e^{-iHt}) \rangle|^2$은 단일 입자 밴드 엣지의 van Hove 특이점 때문에 느리게($\sim 1/t$) 감쇠합니다. 이 디스커넥티드 배경은 하이젠베르크 시간(Heisenberg time)에서도 총 SFF에서 램프를 가릴 것이므로, 보편적 거동을 관찰하기 위해서는 디스커도넥티드 성분을 반드시 빼주어야 합니다.

의의 및 주장
본 논문은 유한한 국소 힐베르트 공간 차원을 가진 시간-독립적이고 기하학적으로 국소적인 다체 계에서 스펙트럼 램프를 입증한 첫 번째 증명이라고 주장합니다.

• 이는 Floquet 이중 유니터리 회정과 정적 해밀토니안 사이의 간극을 메웁니다.
• "램프"가 (특정 대칭 섹터—단일 클록 핸드 섹터—가 제공된다면) Feynman-Kitaev 구성을 통해 정적 시스템에 임베딩될 수 있는 견고한 양자 카오스의 특징임을 입증합니다.
• 저자는 한계점을 명시합니다: 현재의 증명은 단일 클록 핸드 섹터에만 적용됩니다. 이 구성을 전체 힐베르트 공간이나 유한한 클록 핸드 밀도를 가진 섹터로 확장하는 것은 여전히 미해결 과제이지만, 비엄밀한 논거들은 다른 프리팩터(prefactor)를 가진 유사한 램프가 존재할 수 있음을 시사합니다.

이 연구는 실험적 구현이나 구체적인 응용을 제안하기보다는, 통제된 이론적 모델에서 스펙트럼 통계의 엄밀한 유도를 확립하는 데 집중하며 이론적 존재성을 입증하는 데 목적을 두고 있습니다.