Independent stabilizer Rényi entropy and entanglement fluctuations in random unitary circuits

기술 요약: 무작위 유니터리 회로에서의 독립적인 안정기 레니 엔트로피와 얽힘 변동

문제 정의
양자 복잡성은 양자 컴퓨팅의 핵심 주제로, "단순한" 상태(고전적 상태에 가까운 상태)와 강한 비국소성 및 양자 상관관계를 특징으로 하는 "복잡한" 상태를 구분합니다. 얽힘 엔트로피는 양자 자원과 복잡성을 측정하는 잘 확립된 척도이지만, 이것이 전체 그림을 포착하지는 못합니다. 구체적으로, 고도로 얽힌 상태라 할지라도 클래식하게 시뮬레이션 가능한 클리포드(Clifford) 회로에 의해 생성되었다면 복잡성이 낮을 수 있습니다. 이를 해결하기 위해, 양자 상태의 클래식 시뮬레이션 난이도를 측정하기 위해 "매직"(또는 비안정기 능력, non-stabilizing power)이라는 개념이 도입되었으며, 이는 안정기 레니 엔트로피(Stabilizer Rényi Entropy, SRE)로 정량화됩니다.

매직과 얽힘이라는 두 가지 서로 다른 척도 사이의 관계를 규명하는 것은 여전히 중요한 미해결 과제로 남아 있습니다. 얽힘은 고매직(high-magic) 상태를 생성하는 데 필수적이지만, 매직이 미미하면서도 높은 얽힘을 가진 상태(또는 그 반대)가 존재한다는 사실은 이들 사이의 복잡한 상호작용을 시사합니다. 기존 연구들은 힐베르트 공간 내에서 구별되는 영역들을 식별해 왔으나, 일반적인 하르-무작위(Haar-random) 양자 상태에서 매직과 얽힘의 통계적 관계는 아직 완전히 규명되지 않았습니다. 본 연구는 무작위 양자 회로의 열역학적 극한에서 매직과 얽힘이 서로 상관되어 있는지, 혹은 독립적인지를 조사합니다.

방법론
저자들은 $N$-큐비트 하르-무작위 양자 상태에서 매직($M_2$)과 얽힘 엔트로피($S$)의 결합 분포에 대한 수치적 조사를 수행합니다.

• 시스템 생성: 무작위 유니터리 연산자 $U \in U_N$을 참조 곱 상태(product state) $|0\rangle = \bigotimes_{j=1}^N |0\rangle_j$에 적용하여 무작위 상태를 생성합니다. 또한 깊이 $D$인 벽돌형 회로(brick-wall circuits)를 고려하여, $D \gtrsim 2N$일 때 이 분포가 일반적인 하르-무작위 연산자의 분포로 수렴함을 입증합니다.
• 매직 정량화: 파울리 스트링(Pauli string)의 확률 분포를 사용하여 안정기 2-레니 엔트로피(SRE)인 $M_2$를 계산합니다. 상태 $|\psi\rangle$에 대하여, 파울리 스트링 확률은 $\Xi_\psi(\sigma) = \frac{1}{d} |\langle \psi | \sigma | \psi \rangle|^2$ (여기서 $d=2^N$)입니다. 매직은 $M_2(|\psi\rangle) \equiv -\log_2 \sum_{\sigma \in P_N} \Xi_\psi^2(\sigma) - \log_2(d)$로 정의됩니다.
• 얽힘 정량화: 시스템을 두 개의 동일한 크기(또는 홀수 $N$의 경우 거의 동일한 크기)의 하위 시스템으로 분할하여 본-슈미트(von Neumann) 엔트로피 $S$를 계산합니다.
• 통계 분석: 저자들은 $N$-큐비트 하르-무작위 상태의 주변 분포 $P_N(M_2)$와 $P_N(S)$, 그리고 결합 분포 $P_N(M_2, S)$를 분석합니다. 이들은 시스템 크기 $N$이 증가함에 따라 평균값, 분산 및 두 양 사이의 공분산이 어떻게 스케일링되는지 검토합니다.

주요 기여 및 결과

1. 주변 분포의 지수적 국소화:

   • 매직: 매직의 분포 $P_N(M_2)$는 $N \to \infty$일 때 전형적인 값 $\tilde{M}_2 \approx N - 2$ 주변으로 지수적으로 날카로워지고 국소화됩니다. 분산은 $\text{var}(M_2) \propto 4^{-N}$으로 스케일링되며, 이는 표준 열역학적 스케일링($\sim N$)보다 훨씬 빠른 지수적 속도입니다. 이러한 집중 현상은 SRE 정의에 포함된 약하게 상관된 항들의 합에 기인합니다.
   • 얽힘: 마찬가지로, 얽힘 엔트로피 분포 $P_N(S)$는 페이지 공식(Page formula)과 일치하는 $\tilde{S} \approx N/2$ 주변으로 지수적으로 집중됩니다. 분산은 $\text{var}(S) \propto 2^{-N}$으로 스케일링됩니다.
   • 분포 형태: 큰 $N$에 대해, 두 분포 모두 분산이 사라지는 가우시안 분포으로 수렴합니다.

2. 변동의 점근적 독립성:

   • 이 논문의 핵심 발견은 결합 분포 $P_N(M_2, S)$의 거동입니다. 매직과 얽힘의 전형적인 값은 강하게 상관되어 있지만(둘 다 $N$에 비례하여 스케일링됨), 이들의 **변동(fluctuations)**은 지수적으로 상관관계가 없어집니다.
   • 매직과 얽힘 사이의 공분산 $\text{cov}(M_2, S)$는 시스템 크기에 따라 $\propto 2^{-3N}$으로 지수적으로 감소합니다.
   • 결정적으로, 이 감소 속도는 개별 분산의 기하 평균($\sqrt{\text{var}(M_2)\text{var}(S)}$)보다 빠릅니다. 이는 상관 계수가 열역학적 극한에서 0으로 수렴함을 의미하며, 매직과 얽힘의 변동이 점근적으로 독립적임을 나타냅니다.

3. 비전형적 상태의 희귀성:

   • 본 연구는 매직이 거의 없으면서 얽힘이 높거나(또는 매직이 높으면서 얽힘이 낮은) 상태가 존재하지만, 이들은 전형적인 상태(높은 매직과 높은 얽힘 엔트로피를 모두 가진 상태)에 비해 힐베르트 공간에서 지수적으로 작은 비율을 차지함을 확인합니다.

의의 및 주장
본 논문은 일반적인 양자 상태에서 매직과 얽힘의 관계에 대한 모호함을 해결했다고 주장합니다. 매직과 얽힘의 변동이 열역학적 극한에서 지수적으로 상관관계가 없음을 입증함으로써, 저자들은 이 두 가지 양자 복잡성 척치 사이에 근본적인 통계적 독립성이 존재함을 확립했습니다.

• 이론적 함의: 이 결과는 (선형 매직에 대해 제로 공분산을 보여주었던) 이전의 분석적 결과들을 비선형 안정기 2-레니 엔트로피와 본-슈미트 엔트로피로 확장합니다. 이는 대규모 무작위 시스템에서 시뮬레이션의 "난이도"(매직)와 비국소성의 "양"(얽힘)이 서로 독립적으로 변동하는 별개의 자원임을 시사합니다.
• 자원 이론: 본 연구는 힐베르트 공간 내에서 높은 매직과 높은 얽힘 엔트로피를 특징으로 하는 고도로 복잡한 양자 상태의 우세함을 강조합니다. 이는 무작위 유니터리 회로가 양자 자원 이론을 탐구하고 주요 복잡성 척도의 통계적 특성을 이해하기 위한 프레임워크로서 유용함을 뒷받침합니다.
• 주장의 겸손함: 저자들은 새로운 실험 프로토콜이나 특정 양자 알고리즘에 대한 응용을 제안하지 않습니다. 대신, 양자 상태의 경관(landscape)에 대한 엄격한 통계적 특성을 제공하여, 매직과 얽힘이 모두 높은 복잡성을 위해 필요하지만, 무작위 회로에서의 전형적인 값으로부터의 편차에 있어서는 통계적으로 결합되어 있지 않음을 명확히 합니다.