Optimal Scaling of Unitary Design Formation in $U(1)$-Symmetric Random Circuits: A Bottleneck Slower than Charge Transport

기술 요약: $U(1)$-대칭 무작위 회로에서 유니터리 디자인 형성의 최적 스케일링

문제 정의
무작위 양자 회로에서의 유니터리 디자인 형성은 혼돈 역학(chaotic dynamics) 및 대칭 제약이 있는 양자 정보 처리의 이해에 있어 핵심적인 주제이다. 제약이 없는 무작위 회로의 수렴 속도는 잘 규명되어 있는 반면, 보존 법칙, 구체적으로 $U(1)$ 대칭(입자 수 보존)을 따르는 회로의 거동은 여전히 덜 이해된 상태이다. 기존 연구에서는 $U(1)$-대칭 유니터리 $k$-디자인으로의 수렴 속도가 보존된 물리량의 단일 입자 수송률(확산 전하 수송)에 의해 결정될 것이라고 추측하였다. 그러나 연속적인 대칭성이 존재하는 경우 표준 증명 기법(예: 부트스트랩 방법)이 실패하기 때문에, 이 추측을 확인하기 위한 타이트한 하한(lower bound)을 설정하는 것은 미해결 과제로 남아 있었다. 본 논문은 $k \ge 2$에 대해 단일 입자 수송이 실제로 가장 느린 이완 모드인지, 아니면 더 느린 메커니즘이 존재하는지에 대한 질문을 다룬다.

방법론
저자는 $U(1)$-대칭 무작위 회로와 관련된 모멘트 연산자의 엄밀한 스펙트럼 갭 분석을 활용한다. 스펙트럼 갭 $\Delta^{(k)}_\nu$는 회로 앙상블의 $k$차 모멘트가 $U(1)$-대칭 Haar-무작위 유니터리 앙상블로 지수적으로 수렴하는 속도를 특징짓는다.

1. 상한 도출 (Upper Bound Derivation): 저자는 모멘트 연산자 내에 내재된 특정 "두 입자 충돌(two-particle encounter)" 과정을 식별한다. 특정 국소 유형(예: 한 사이트는 $1010$타입, 다른 사이트는$0110$ 타입)에 대응하는 모멘트 공간의 부분 공간을 구성함으로써, 이 모멘트 연산자를 해당 부분 공간으로 제한했을 때 회로 그래프 상의 두 구별 가능한 무작위 워커(random walker)의 전이 행렬을 정확히 재현함을 보여준다. 이 과정에서 워커들은 에지(edge)에서 서로 마주치면 "사멸(killed)"된다(상태가 제거됨). 이 과정의 붕괴율 $\lambda^{\text{enc}}_G$는 스펙트럼 갭의 상한을 제공한다.
2. 하한 도출 (Lower Bound Derivation): 이 충돌율이 실제로 병목 현상임을 증명하기 위해, 저자는 표준 부트스트랩 방법을 피하는 새로운 증명 기법을 개발한다. 저자는 국소 2-큐비트 게이트와 2RPmix 그룹(사이트 치환 및 두 사이트 위상 회전으로 생성됨)의 전역 무작위 유니터리를 결합한 보조 부분군 앙상블인 "도핑된 2RPmix(doped 2RPmix)" 회로를 도입한다.
   • 저자는 도핑된 2RPmix 회로가 $k \le O(\sqrt{\log N})$에 대해 상수 스펙트럼 갭을 가짐을 증명한다.
   • 그 후, 2RPmix 그룹이 오직 국소 2-큐비트 게이트만을 사용하여 생성되는 속도를 분석한다. 저자는 이 국소 생성 속도가 상한에서 식별된 것과 동일한 두 입자 충돌 과정에 의해 지배됨을 보여준다.
   • 국소 회로를 보조 부분군과 비교함으로써, 저자는 스펙트럼 갭에 대한 일치하는 하한을 설정한다.
3. 효율적 구성 (Efficient Construction): 이 병목 현상의 실질적인 함의를 다루기 위해, 저자는 중간 단계에서 대칭성을 깨뜨리는 국로 게이트를 사용하는 프로토콜을 제안한다. 이 프로토콜은 타겟 치환과 위상 회전을 명시적으로 샘플링함으로써, 상수 갭 회로 단위를 구성하여 엄격한 대칭적 무작위 회로에 내재된 확산 수송 및 충돌 병목 현상을 우회한다.

핵심 기여 및 결과

• 단일 입자 수송 추측의 반박: $k \ge 2$인 모멘트 차수에 대해, 본 논문은 $U(1)$-대칭 유니터리 디자인의 형성 속도가 일반적으로 단일 입자 수송($\lambda^{\text{tr}}_G$)에 의해 결정되는 것이 아니라, 두 입자 충돌율($\lambda^{\text{enc}}_G$)에 의해 결정됨을 증명한다.
• 기하학적 구조 전반에 걸친 최적 스케일링: 저자는 $\alpha$-차원 격자, 익스팬더 그래프(expander graphs), 그리고 all-to-all 상호작용을 포함한 광범위한 회로 기하학에 대해 상수 인자(constant factors) 범위 내에서 일치하는 상한과 하한을 설정한다.
  • $\alpha \ge 3$인 격자의 경우, 충돌율은 $\Theta(N^{-2})$로 스케일링되는 반면, 단일 입자 수송은 $\Theta(N^{-1})$(병렬/고정 아키텍처의 경우) 또는 $\Theta(N^{-1-2/\alpha})$(단일 에지의 경우)로 스케일링된다. 충돌율이 파라미터적으로 더 느리다.
  • 2D 격자의 경우, 충돌율은 $\Theta(N^{-2}(\log N)^{-1})$로 스케일링되어, 추측되었던 $\Theta(N^{-2})$ 수송률보다 느리다.
  • 1D 격자의 경우, 충돌율은 $\Theta(N^{-3})$로 스케일링되어, $\Theta(N^{-2})$인 수송률보다 현저히 느리다.
  • $k=1$인 경우, 스펙트럼 갭은 단일 입자 수송률과 정확히 일치하며, 이는 충돌 병목 현상이 $k \ge 2$에 특유한 것임을 확인시켜 준다.
• 병목 현상의 견고성: 이 느린 모드는 게이트 국소성이 $\ell$-국소 게이트(고정된 $\ell$에 대해)로 증가하더라도 지속되며, 이는 병목 현상이 특정 게이트 크기가 아니라 대칭 제약에 내재된 것임을 입증한다.
• 병목 현상 우회: 저자는 $U(1)$ 대칭을 일시적으로 깨뜨리는 국소 게이트를 허용함으로써 충돌 병목 현상을 우회할 수 있음을 보여준다. 명시적인 프로토콜이 제공되어, 대칭적 무작위 회로가 요구하는 것보다 파라미터적으로 더 작은 회로 깊이로 상수 갭 유니터리 디자인을 생성한다. 예를 들어, $\alpha$-차원 격자에서 깊이는 $O(N)$ 또는 $O(N \log N)$ 스케일링을 갖는 대칭적 회로와 비교하여 $O(N^{1/\alpha})$로 스케일링된다.

의의
본 논문은 보존 법칙 하에서의 무작위성 형성에 대한 새로운 관점을 정립한다. $k \ge 2$인 경우, $U(1)$-대칭 무작위 회로에서 가장 느린 이완 모드는 이전에 가정되었던 단일 입자 전하 수송보다 파라미터적으로 더 느린 두 입자 충돌 과정임을 밝혀냈다. 이 발견은 대칭성이 양자 혼돈과 스크램블링(scrambling)을 어떻게 제약하는지에 대한 이론적 이해를 수정한다.

또한, 본 연구는 대칭성 파괴를 통해 효율적인 대칭 제약 무작위성 생성을 위한 지침을 제공한다. 중간 대칭 파괴를 통해 병목 현상을 피할 수 있음을 보여줌으로써, 본 결과는 대칭적 클래식 섀도우 토모그래피(classical shadow tomography) 및 공변 양자 오류 수정(covariant quantum error correction)과 같은 응용 분야를 위한 더 효율적인 프로토콜에 대한 경로를 제시한다. 표준 부트스트랩 방법 대신 보조 부분군 앙상블을 사용하는 증명 프레임워크는 $SU(2)$나 $SU(d)$와 같은 비가환 대칭성을 가진 다른 제약된 무작위 회로를 분석하는 새로운 길을 열어준다. 마지막으로, 이 느린 모드의 식별은 보존 법칙을 가진 일반적인 고립된 다체 양자계(many-body systems)에서도 유사한 이완 메커니즘이 존재할 수 있음을 시사한다.