More global randomness from less random local gates

제목: 덜 무작위적인 국소 게이트로부터 더 많은 전역적 무작위성 도출하기

문제 정의
무작위 유니터리 앙상블은 무작위 벤치마킹을 통한 오류 추정, 양자 계산 우위 입증, 양자 상태 검증을 위한 토모그래피 등 양자 정보 과학에서 핵심적인 도구로 활용된다. 이론적 표준은 전역적 하어(Haar) 무작위 유니터리 앙상블이지만, 중간 규모의 시스템에 대해 이를 생성하는 것은 실질적으로 불가능하다. 따라서 연구자들은 전역적 무작위성을 근사하기 위해 국소 무작위 회로의 시퀀스에 의존한다.

중심적인 질문은 다음과 같다: 국소 하어 무작위 게이트가 전역적 무작위성을 달성하기 위한 최적의 메커니즘인가? 기존 문헌은 주로 국소 무작위화 장치가 국소 하어 무작위 앙상블 또는 유니터리 부분군으로 구성되어야 한다고 가정한다. 그러나 특정 구조를 유지하면서 일부 게이트를 비-하어(non-Haar)로 고정하는 것이 더 우수한 전역적 무작위성을 제공할 수 있는지 여부는 불분clear하다. 본 연구는 구조화된 무작위 회로가 비-하어 국소 게이트를 사용하여 표준 하어 무작위 회로보다 더 나은 성능을 낼 수 있는지 다룬다.

방법론
저자들은 국소 게이트가 하어 측도(Haar measure)에서 추출되는 것이 아니라 "$u$-구조화된(u-structured)" 형태인 1차원 구조적 무작위 회로를 조사한다. $u$-구조화된 게이트는 입력과 출력에 작용하는 단일 큐딧(qudit) 하어 무작위 게이트 사이에 고정된 2-큐딧 게이트 $u$가 샌드위치처럼 끼워진 형태로 정의된다. 두 가지 회로 아키텍처가 분석된다:

1. 국소 무작위 회로 (LRC): 인접한 큐딧 쌍이 균등하게 무작위로 선택되며, $u$-구조화된 게이트가 적용된다.
2. 벽돌 구조 회로 (BWC): 인접한 이웃들에게 교차하는 층(staggered layers) 형태로 $u$-구조화된 2-큐딧 게이트가 적용된다.

무작위성을 정량화하기 위해 저자들은 회로의 확률 분포 $\nu$에 대한 $U^{\otimes 2} \otimes \bar{U}^{\otimes 2}$의 적분인 2차 모멘트 연산자 $M_\nu$를 활용한다. 유니터리 2-디자인(unitary 2-design)으로의 수렴 속도는 이 연산자의 스펙트럼 갭($\Delta_\nu = 1 - |\lambda_3|$)에 의해 결정된다. 저자들은 "더 많은 무작위성"을 두 가지 방식으로 정의한다:

• 스펙트럼 갭: $\Delta_\nu > \Delta_\mu$이면 $\nu$는 $\mu$보다 더 무작위적이다.
• 양의 정치성 (Positivity): $M_\mu|_{V_1^\perp} - M_\nu|_{V_1^\perp}$가 양의 연산자이면 $\nu$는 $\mu$보다 더 무작위적이다. 여기서 $V_1$은 항등 연산자와 SWAP 연산자로 구성된 최대 고유값의 고유 공간이다.

분석은 두 가지 파라미터인 얽힘 능력(entangling power, $e_u$)과 게이트 전형성(gate typicality, $g_u$)을 사용하여 2차 모멘트 연산자를 특징짓는 것에 의존한다. 저자들은 2차 모멘트 연산자를 정확하게 대각화할 수 있는 **해결 가능한 조건(solvable condition)**을 식별하였다:
$$\frac{e_u}{g_u} = \frac{e_H}{g_H}$$
여기서 $e_H$와 $g_H$는 하어 무작위 게이트의 평균 얽힘 능력과 게이트 전형성이다. 이 조건 하에서 모멘트 연산자는 자유 페르미온 체인(특히 국소 회로의 경우 키타에프(Kitaev) 체인)으로 매핑된다. 이를 통해 모든 고유값과 고유 벡터를 정확하게 계산할 수 있다.

주요 기여 및 결과

1. 정확한 대각화: 저자들은 해결 가능한 조건 하에서 두 가지 구조적 무작별 회로(국소 및 벽돌 구조)의 2차 모멘트 연산자에 대한 모든 정확한 고유값과 고유 벡터를 유도하였다. 이는 조던-외거(Jordan-Wigner) 변환을 통해 연산자를 자유 페르민 모델로 매핑함으로써 달성된다.

   • 국소 무작위 회로의 경우, 고유값은 $\lambda_{p, i_p} = 1 - \frac{1}{n} \sum_{k \in K_p} \epsilon_k i_{p,k}$로 주어지며, 여기서 $\epsilon_k$는 정규화된 얽힘 능력에 의존한다.
   • 벽돌 구조 회로의 경우, 고유값은 항들의 곱 $\lambda_k$로 주어지며, $e_u > e_H$인 경우 복소수가 될 수 있다.

2. 비-하어 게이트의 역설적 우월성: 본 논문은 구조화된 무작위 회로가 동일한 아키텍처를 가진 하어 무작위 회로보다 실질적으로 더 무작위적일 수 있음을 보여준다.

   • 국소 회로: 만약 $e_u > e_H$이고 $g_u > g_H$라면, 구조화된 회로는 스펙트럼 갭과 양의 정치성 모두에 대해 더 무작위적이다. 스펙트럼 갭은 $e_u$와 $g_u$에 따라 단조 증가한다.
   • 벽돌 구조 회로: 해결 가능한 조건 하에서, 구조화된 회로가 하어 회로보다 더 무작위적이기 위한 필요충분조건은 $e_u > e_H$이다. 주목할 점은, 벽돌 구조 회로에서는 $e_u$에 따라 스펙트럼 갭이 항상 단조 증가하지는 않는다는 것이다 (예: 큐트릿 시스템에서는 특정 $e_u$ 값에서 갭이 감소할 수 있음). 이는 아키텍처에 따른 복잡한 의존성을 강조한다.

3. 스펙트럼 갭 분석: 저자들은 하어 무작위 게이트의 얽힘 능력이 최대가 아님을 보여준다. 큐비트($d=2$)의 경우 $e_H = 3/5$인 반면, 구조화된 게이트는 최대 $e_u = 2/3$까지 달성할 수 있다. 이 영역($e_u > e_H$)에서 작동함으로써, 구조화된 회로는 더 큰 스펙트럼 갭을 확보하며, 이는 유니터리 2-디자인으로의 더 빠른 수렴을 의미한다.

4. 수치적 검증: 큐비트($d=2$) 및 큐트릿($d=3$) 시스템에 대한 $|\lambda_3|$의 수치 계산은 분석 결과를 확인해주며, $e_u > e_H$일 때 스펙트럼 갭이 하어 지점보다 높음을 보여준다.

의의 및 응용
본 논문은 이러한 발견이 양자 정보 프로토콜의 효율성을 개선하는 데 직접적인 응용 가치가 있다고 주장한다:

• 무작위 벤치마킹 (RB): RB에 필요한 회로 깊이는 스펙트럼 갭의 역수에 의해 상한이 정해지므로, 구조화된 회로의 향상된 갭은 이론적으로 보장된 RB를 위한 회로 깊이를 줄일 수 있음을 시사한다.
• 근사 유니터리 2-디자인: 결과는 얕은 회로에서 유니터리 2-디자인을 생성하는 데 필요한 깊이에 대한 개선된 경계치를 제공한다. 구조화된 게이트의 향상된 무작위성을 작은 무작위 회로를 결합하는 기술과 결합함으로써, 2-디자인으로의 수렴 시간을 개선할 수 있다.
• 양자 카오스 역학: 2차 모멘트 연산자의 정확한 대각화는 해결 가능한 조건을 만족하는 구조적 무작위 회로 내에서 외-시간 질서 상관 함수(OTOC) 및 레니-2(Rényi-2) 연산자 얽힘 엔트로피와 같은 양자 카오스의 지표에 대한 폐쇄형 표현식을 유도할 수 있게 한다.

저자들은 본 연구가 비-하어 국소 게이트가 하어 게이트보다 더 많은 전역적 무작위성을 생성할 수 있는지에 대한 긍정적인 답변을 제공한다고 결론지으며, 추가적인 구조가 유니터리 2-디자인으로의 수렴 속도를 개선할 수 있음을 시사한다. 이는 대규모 양자 컴퓨팅의 핵심 요소이다. 저자들은 본 연구가 2차 모멘트 연산자에 집중했으나, 양의 정치성에 관한 결과는 국소 회로의 임의의 공간 차원에서도 유효함을 언급하였다.