Random quantum circuits, chaos and quantum thermalization

기술 요약: 무작위 양자 회로, 카오스, 그리고 양자 열화

문제 및 동기
본 연구는 일반적이고 공간적으로 확장된 다체 양자 계(many-body quantum systems)의 역학을 규명하는 과제를 다룹니다. 특히 이들은 (가적분 계와 달리) 광범한 보존량을 결여하고 있으며, (페르미 또는 보스 액체와 달리) 오래 지속되는 준입자(quasiparticle)가 존재하지 않는 계를 대상으로 합니다. 저자는 전통적인 섭동 이론이나 특정 시도 파동 함수(trial wavefunction)가 이러한 일반적이고 미세하게 조정되지 않은 계에는 적합하지 않다고 주장합니다. 대신, 본 논문은 양자 열화, 연산자 확산(operator spreading), 그리고 카오스의 보편적 특징을 조사하기 위한 최소한의 정형화된 모델로서 **무작위 양자 회로(Random Quantum Circuits, RUCs)**를 사용할 것을 제안합니다. 이 동기는 무작위 행렬 이론(Random Matrix Theory, RMT)에서 크게 기인합니다. RMT는 역사적으로 특정 에너지 준위를 계산하는 것에서 벗어나 앙상블의 통계적 특성을 분석하는 데 초점을 맞추었으며, 이는 일반적인 계의 상세한 미시적 구조가 알려져 있지 않거나 그들의 보편적인 장기 거동에는 중요하지 않다는 관점을 반영합니다.

방법론
핵심 방법론은 하르 분포(Haar distribution)(유니타리 군 위의 균등 확률 분포)로부터 독립적으로 선택된 국소 유니타리 게이트에 의해 시간 진화가 생성되는 양자 회로 앙상블을 구축하는 것입니다.

• 모델 구성: 주요 모델은 1차원 공간에서의 "벽돌 쌓기(brickwork)" 구조입니다. 시스템은 $L$개의 사이트로 구성되며, 각 사이트의 국소 힐베르트 공간 차원은 $q$입니다. 시간 진화는 짝수-홀수 쌍과 홀수-짝수 쌍에 작용하는 게이트가 교대로 나타나는 이산적인 단계로 진행됩니다.
• 앙상블 평균: 논문은 단일 해밀토니안을 연구하는 대신, 무작위 회로의 앙상블에 대해 평균화된 물리량을 계산하는 데 집중합니다. 이는 특히 국소 힐베르트 공간 차원이 매우 큰 극한($q \to \infty$)에서 하르 평균이 크게 단순화되기 때문에 분석적 추적 가능성을 제공합니다.
• 변형 모델: 프레임워크는 다음을 포함하도록 확장됩니다:
  • 무작위 플로케 회로(Random Floquet Circuits, RFCs): 이산적인 시간 병진 불변성과 고정된 스펙트럼을 부과하기 위해 매 시간 단계마다 동일한 무작위 게이트를 적용합니다.
  • 대칭 제약(Symmetry Constraints): 게이트를 블록 대각 형태(block-diagonal forms)로 제한함으로써 $U(1)$ 전하(스핀)와 같은 보존량을 유지하도록 수정합니다.
  • 무작위 위상 모델(Random Phase Model, RPM): 사이트 간의 조절 가능한 결합 강도 $\epsilon$을 도입하여 약한 결합과 강한 결합 영역 사이의 교차(crossover)를 연구합니다.
• 분석 도구: 계산은 하르 평균의 곱을 평가하기 위해 **와이겐가르텐 함수(Weingarten functions)**에 의존합니다. 이러한 평균은 종종 무작위 보행(random walks)이나 도메인 벽(domain wall) 구성과 같은 고전 통계 역학 문제로 매핑되어 앙상블 평균된 양들을 계산하는 데 사용됩니다.

주요 기여 및 결과

1. 연산자 확산 (하이젠베르크 그림):

   • 본 논문은 국소 연산자 $O(x)$가 시간 진화 $O(x,t) = W^\dagger(t)O(x)W(t)$에 따라 어떻게 변하는지 분석합니다.
   • 연산자를 "연산자 문자열(operator strings)"의 기저로 확장함으로써, 저자는 문자열의 가장 오른쪽에 있는 항등(identity)이 아닌 사이트의 확률 분포가 **편향된 무작위 보행(biased random walk)**을 따른다는 것을 보여줍니다.
   • 편향 속도는 $v = (q^2 - 1)/(q^2 + 1)$이며, 확산 상수는 $D = 2q^2/(q^2 + 1)^2$입니다.
   • 이는 연산자 지지(support)의 "빛 원뿔(light cone)" 내에서 선형적인 성장을 이끕니다. 시간 외 순서 상관 함수(Out-of-Time-Order Correlator, OTOC) $C(x,y;t)$는 연산자 문자열이 분리 거리 $|x-y|$를 지나 확산됨에 따라 감소하며, 이는 립-로브슨슨(Lieb-Robinson) 경계와 일치하는 카오스와 정보 스크램블링의 정량적 척도를 제공합니다.

2. 얽힘 역학 (슈뢰딩거 그림):

   • 얽힘의 진화는 부분계 $A$의 축소 밀도 행렬 $\rho_A(t)$의 **레니 엔트로피(Rényi entropies)**를 통해 연구됩니다.
   • 두 가지 접근 방식이 제시됩니다:
     • 최소 컷 경계(Min-Cut Bound): 회로를 통과하는 경로에 의해 잘리는 "다리(legs)"의 수로 축소 밀도 행렬의 계수(rank)를 제한하는 기하학적 논증입니다. 이는 초기 시간에서의 엔트로피 선형 성장과 이후의 포화를 예측합니다.
     • 순수도(Purity) 계산: 하르 평균을 사용하여 앙상블 평균된 순도 $\text{Tr}[\rho_A(t)^2]$를 명시적으로 계산합니다. 이는 문제를 인덱스의 서로 다른 쌍 구성 사이의 방향성 무작위 보행(또는 "얽힘 막(entanglement membrane)")으로 매핑합니다.
     • 결과는 얽힘이 시간의 함수로 선형적으로 성장하다가 무한 온도 상태로의 열화와 일치하는 볼륨 법칙(volume-law) 값으로 포화됨을 확인해 줍니다.

3. 스펙트럼 상관관계:

   • 본 논문은 공간적으로 확장된 계에 대한 스펙트럼 형식 인자(Spectral Form Factor, SFF) $K(t) = \langle |\text{Tr} W(t)|^2 \rangle$를 조사합니다.
   • 단일 하르 무작위 유니타리 행렬에 대해, $K(t)$는 하이젠베르크 시간까지 "램프(ramp)"($K(t) \propto t$)를 보이며, 이는 강력한 고윳값 상관관계를 나타내는 양자 카오스의 특징입니다.
   • 공간적으로 확장된 계(특히 RPM)의 경우, $K(t)$는 처음에 $t^L$로 성장하다가(결합되지 않은 극한) 많은체 플로케 회로의 투슬레스 시간(Thouless time) $t_{Th}$에서 무작위 행렬 램프 $K(t) \propto t$로 교차합니다.
   • 이 많은체 플로케 회로에서 교차는 경로 적분 표현에서 서로 다른 쌍 구성 사이의 "도메인 벽" 억제에 의해 구동됩니다. 투슬레스 시간은 $t_{Th} \sim \ln L$로 스케일링되며, 이는 단일 입자 무질서 계에서의 확산적 $L^2$ 스케일링과는 구별됩니다.

의의 및 주장
본 논문은 무작위 양자 회로가 일반적인 양자 역학의 보편적 특징을 이해하기 위한 강력하고 최소한의 프레임워크를 제공한다고 주장합니다. 앙상블에 대해 평균함으로써, 복잡한 양자 역학을 다루기 쉬운 고전 통계 물리학 문제(무작위 보행, 도메인 벽)로 매핑할 수 있습니다. 본 연구는 다음을 입증합니다:

• 보편성: 연산자의 선형 성장, 얽힘의 선형 성장, 그리고 무작위 행렬 스펙트럼 통계의 출현과 같은 핵심 현상은 미시적 세부 사항에 관계없이 국소적으로 상호작용하는 카오스 계의 견고한 특징입니다.
• 열화 메커니즘: 단순한 초기 상태에서 복잡한 열적 상태로의 전이는 연산자의 빠른 확산과 얽힘의 생성에 의해 구동되며, 이는 이러한 단순화된 모델을 사용하여 정량적으로 설명될 수 있습니다.
• 카오스와의 연결: 스펙트럼 램프의 출현과 OTOC의 거동은 공간적으로 확장된 계에서 양자 카오스의 구체적인 지표 역할을 하며, 정보 스크램블링과 스펙트럼 경직성(spectral rigidity)의 개념을 연결합니다.

저자는 이 노트가 해당 분야의 입문서임을 강조하며, 더 넓은 맥락과 실험적 세부 사항은 기존의 리뷰 논문에 의존하고, 오직 앙상블 평균된 무작위 회로 모델을 통해 얻은 분석적 통찰에만 집중하고 있음을 밝힙니다.