Non-Haar random circuits form unitary designs as fast as Haar random circuits

기술 요약: 비-하르(Non-Haar) 무작위 회로가 하르 무작위 회로만큼 빠르게 유니터리 디자인을 형성함

문제 정의
무작위 양자 회로는 양자 정보 처리(예: 랜덤화된 벤치마킹, 양자 토모그래피)의 근본적인 도구이자, 비평형 다체 역학(nonequilibrium many-body dynamics)의 모델이다. 이 분야의 핵심 지표는 회로가 전역적 무작위성을 생성하는 속도이며, 이는 유니터리 $t$-디자인을 형성하는 능력으로 정량화된다. 하르 무작위 회로(게이트가 하르 측도에서 샘플링되는 경우)가 다항식 깊이($\text{poly}(N)$), 특정 기하학적 구조에서는 심지어 로그 깊이($O(\log N)$) 내에 $t$-디자인을 형성한다는 것은 잘 알려져 있다. 반면, 비-하르 무작위 회로의 거동은 상대적으로 덜 이해되어 있다.

실험적 환경에서 게이트는 일반적으로 이산적인 비-하르 집합(예: Clifford+$T$)에서 선택된다. 비-하르 앙상블을 다룬 기존 연구들은 $\text{poly}(N)$ 인자에 의해 과도하게 커진 깊이 상한을 제공하거나, 고정된 아키텍처(벽돌 쌓기 형태의 회로 등)를 제외한 특정 회로 구조로 제한되었다. 본 연구가 다루는 핵심적인 미해결 질문은 일반적인 비-하르 무작위 회로에서 유니터리 $t$-디자인을 형성하는 데 필요한 회로 깊이가 시스템 크기 $N$과 독립적으로, 그에 대응하는 하르 무작위 회로와 유사한지를 여부이다.

방법론
저자들은 회로 구조를 세 가지 범주로 분류하고 각 범주에 대한 특정 증명 기법을 개발하여 유니터리 $t$-디자인 형성을 분석한다. 이들의 방법론의 핵심은 모멘트 연산자(moment operator)의 스펙트럼 갭($\Delta^{(t)}_\nu$)을 바운딩하는 것에 의존하며, 이는 하르 측도로의 수렴 속도를 결정한다.

1. 단일 레이어 연결 회로(Single-Layer-Connected Circuits): 이러한 회로(예: 1D 로컬 무작위 회로)에서 단일 레이어의 두 큐디트(two-qudit) 게이트는 모든 사이트를 덮는 연결된 그래프를 형성한다. 저자들은 비-하르 앙상블 $\nu$의 스펙트럼 갭을 그에 대응하는 하르 앙상블 $\nu_H$와 연관시킨다. 이들은 코시-슈바르츠 부등식과 모멘트 연산자의 잔여 부분(residual part)의 성질을 사용하여 비-하르 스펙트럼 갭의 하한을 도출한다. 이는 $\text{poly}(N)$ 인자를 제거함으로써 이전의 바운드들을 개선한다.
2. 다중 레이어 연결 회로(Multilayer-Connected Circuits): 단일 레이어가 모든 사이트를 연결하지 못하는 고정된 아키텍처(예: 1D 벽돌 쌓기 회로)의 경우, 스펙트럼 갭은 여러 레이어의 블록에 대해 평가되어야 한다. 하르 회로에 사용되는 표준적인 "검출 가능성 보조정리(detectability lemma)"는 비-하르 앙상블에 직접 적용할 수 없다. 저자들은 구성 게이트들의 로컬 스펙트럼 갭에 의해 스케일링된, 비-하르 다중 레이어 블록의 스펙트럼 갭과 그에 대응하는 하르 블록의 스펙트럼 갭을 관계 짓는 일반화된 부등식을 유도함으로써 이 보조정리의 적용 가능성을 확장한다.
3. 패치워크 회로(Patchwork Circuits): 이는 작은 무작위 회로 패치들을 결합하여 구축된 특수한 기하학적 구조이다. 저자들은 작은 패치들이 근사적 디자인을 형성하면 전역 시스템 또한 그러하다는 Schuster 등의 선행 연구의 보조정리를 활용한다. 이들은 비-하르 설정에서 각 패치의 필요 깊이가 하르 깊이보다 단순히 상수 배만큼 더 크다는 것을 입증한다.

주요 기여 및 결과
본 논문은 광범위한 회로 구조에 대해, 일반적인 비-하르 무작위 회로가 $\epsilon$-근사 유니터리 $t$-디자인을 형성하는 데 필요한 회로 깊이 $L$이 시스템 크기 $N$에 독립적인 상수 전계수(prefactor) 범위 내에서 그에 대응하는 하르 무작위 회로의 깊이 $L_H$에 의해 상한이 됨을 증명한다.

• 단일 레이어 연결 회로: 요구되는 깊이는 $L = 2(\Delta^{(t)}_{\text{loc},\nu})^{-1} L_H$이며, 여기서 $\Delta^{(t)}_{\text{loc},\nu}$는 로컬 두 큐디트 앙상블의 최소 스펙트럼 갭이다.
• 다중 레이어 연결 회로: 연결 깊이가 $l$인 고정된 아키텍처의 경우, 요구되는 깊이는 $L_A = (\Delta^{(t)}_{\text{loc},\nu_A})^{-l} L^H_A$이다.
• 패치워크 회로: 하르 회로에서 달성 가능한 $O(\log N)$ 깊이 형성이 로컬 스펙트럼 갭에 의해 스케일링된 상수 배의 깊이로 비-하르 회로에서도 유지된다.

결정적으로, 이 전계수는 로컬 두 큐디트 유니터리 앙상블의 "무작위성 강도"(구체적으로는 그 스펙트럼 갭의 역수)에 의해서만 결정된다. 만약 로컬 앙상블이 유니버설 게이트 세트(및 항등 연산자)를 포함한다면, 이 전계수는 최대 $\text{polylog}(t)$로 스케일링되며, 이는 형성 깊이가 $N$과 $t$ 모두에 대해 특정 로컬 무작위자의 선택에 민감하지 않음을 나타낸다.

의의 및 시사점
저자들은 본 연구가 로컬 게이트 변형에 대한 전역적 무작위성 생성 속도의 **강건성(robustness)**을 확립한다고 주장한다. 이 결과는 다음을 시사한다:

1. 실험적 유연성: 이산 게이트 세트를 사용하는 실제 실험들이 이상적인 하르 무작위 회로와 동일한 깊이 스케일링으로 유니터리 디자인을 달erm할 수 있으며, 이를 통해 랜덤화된 벤치마킹 및 무작위 회로 샘플링과 같은 프로토콜이 비-하르 로컬 게이트를 사용하더라도 효율적으로 유지될 수 있음을 보장한다.
2. 카오스 현상의 보편성: 유니터리 디자인 형성은 양자 카오스 현상(정보 스크램블링, 복잡도 성장, 열화 등)과 연결되어 있는데, 이러한 현상들이 하르 또는 비-하르 여부와 관계없이 동일한 회로 깊이 차수에서 보편적으로 나타남을 보여준다.
3. 안티컨센트레이션(Anticoncentration): 이 결과는 무작위 회로 샘플링에서 양자 우위를 입증하기 위한 필수 조건인 안티컨센트레이션이 비-하르 무작위 회로(특히 패치워크 회로)에서도 $O(\log N)$ 깊이에서 발생함을 확인시켜 준다.

본 논문은 이러한 발견이 양자 다체 계에서의 유연한 무작위성 생성을 위한 토대를 마련하며, 보존(bosonic/fermionic) 시스템 및 대칭 제약 역학(symmetry-constrained dynamics)에 대한 향후 연구의 길을 열어준다고 결론짓는다.