구조화된 랜덤 회로를 이용한 분산 양자 내적 추정

초록

본 논문은 원거리에 위치한 두 양자 플랫폼에서 준비된 미지의 양자 상태들의 내적을 추정하는 분산 양자 내적 추정(DIPE) 문제를 다룬다. 기존 연구는 정확한 유니터리 4‑디자인을 필요로 했으나 구현이 어려웠다. 저자들은 전역·국소 클리포드, 브릭워크, 로컬 2‑디자인 등 실험적으로 구현 가능한 구조화된 랜덤 회로 집합을 이용해 평균 및 상태 의존 샘플 복잡도를 분석한다. 전역 클리포드와 근사 4‑디자인은 Θ(√2ⁿ) 복사본으로 최적에 도달하고, 브릭워크와 로컬 2‑디자인은 각각 O(√2·18ⁿ), O(√2·5ⁿ)의 복잡도를 보인다. 또한 텐서 네트워크를 활용해 깊이 증가에 따른 상태 의존 복잡도가 수렴함을 증명한다.

상세 분석

이 연구는 DIPE 프로토콜을 일반적인 파울리 불변(unitary Pauli‑invariant) 앙상블 위에 정의하고, 샘플 복잡도를 두 단계로 나누어 분석한다. 첫 번째는 평균 샘플 복잡도이며, 이는 Haar‑무작위 상태쌍에 대한 평균 분산을 통해 추정된다. 저자들은 Lemma 5를 이용해 평균 분산이 클래식 함수 f_E의 2‑노름 ‖f_E‖₂²에 비례한다는 점을 보였으며, 이는 곧 샘플 복잡도가 O(√2ⁿ)·‖f_E‖₂ 형태로 표현됨을 의미한다. 전역 2‑디자인(예: 전역 클리포드)에서는 ‖f_E‖₂≈1이므로 평균 복잡도가 Θ(√2ⁿ)로 최적에 가깝다. 반면 로컬 2‑디자인에서는 파울리 연산자의 국소성 때문에 ‖f_E‖₂가 약 2·5^{n/2} 수준으로 커져 O(√2·5ⁿ)라는 지수적 악화를 보인다.

두 번째는 상태 의존 샘플 복잡도이다. 여기서는 두 상태 ρ,σ에 대한 2‑모멘트 채널 M^{(2)}_E와 4‑모멘트 채널 M^{(4)}_E가 핵심 역할을 한다. 특히 V^{(2)}_E(ρ,σ)= (1/m²)·Tr