Pauli-resolved virtual distillation

기술 요약: 파울리 분해 가능한 가상 증류 (Pauli-resolved Virtual Distillation)

문제 정의
본 논문은 노이로즈 상태 $\rho$와 복제본의 수 $m$에 의해 정의되는 가상 증류된 양자 상태 $\tilde{\rho} = \rho^m / \text{tr}(\rho^m)$의 전체 파울리 프로파일(Pauli profile)을 학습하는 과제를 다룹니다. 구체적으로, 목표는 모든 $n$ 큐비트에 대한 파울리 연산자 $P \in \mathcal{P}_n$에 대한 파울리 모멘트 $\{\text{tr}(P\rho^m)\}$를 추정하는 것입니다. 비선형 범함수(nonlinear functionals)를 학습하기 위한 기존 프로토콜들은 시스템 크기 $n$에 대해 지수적 장벽에 직면해 왔습니다. "섀도 토모그래피(shadow tomography)"는 선형 관측량은 효율적으로 예측할 수 있지만, 이를 비선형 모멘트(오차 완화된 에너지 또는 매직 인증 등에 필요한 것과 같은)로 확장하여 전체 파울리 패밀리를 타겟팅할 경우, 일반적으로 지수적으로 많은 $\rho$의 복제본이 필요했습니다. 식별된 핵심 장애물은 **측정 불호환성(measurement incompatibility)**입니다. 즉, 파울리 연산자들의 비가환성(non-commutativity)으로 인해 단일 측정 설정에서 이들을 공동으로 추정하는 것이 불가능하며, 이는 샘플 비용을 팽창시킵니다.

방법론
저자들은 **쌍을 이룬 복제본 상쇄(paired replica cancellation)**와 **양자 번스타인 노름(quantum Bernstein norm)**이라는 새로운 이론적 프레임워크를 통해 이 불호환성을 극복하는 프로토콜을 제안합니다.

1. 결맞은 벨 차이 샘플링(Coherent Bell Difference Sampling, CBDS)을 통한 제곱 모멘트:

   • 메커니즘: 저자들은 $m$개의 $\rho$ 복제본을 다른 $m$개의 복제본(총 $2m$개)과 쌍을 맺음으로써 파울리 연산자의 반교환 부호(anticommutation signs)가 상쇄됨을 입증합니다. 구체적으로, $PQ = -QP$인 연산자 $P$와 $Q$에 대해, 부호는 각 복제본 쌍에서 한 번씩 나타나 곱에서 상쇄됩니다.
   • 가환 관측량: 이 상쇄 효과를 통해 $2m$개의 복제본에 작용하는 일련의 가환 관측량 $O_P$를 구성할 수 있으며, 이들은 $\text{tr}(O_P \rho^{\otimes 2m}) = [\text{tr}(P\rho^m)]^2$를 만족합니다. 이러한 관측량들은 서로 가환하므로 공통 고유 기저를 공유하며 공동 측정이 가능합니다.
   • 회로 구현 (m=2): $m=2$인 경우를 위해, 저자들은 결맞은 벨 차이 샘플링(CBDS) 회로를 설계합니다. 두 개의 독립적인 벨 측정으로부터 클래식하게 결과를 빼는 표준 벨 차이 샘플링과 달리, CBDS는 판독(readout) 전에 벨 결과를 결맞게(coherently) 뺍니다. 이는 4개의 복제본에 작용하는 횡단적(transversal) CNOT 레이어와 하다마르드 게이트를 포함하며, 제곱 모멘트를 추출하기 위한 특정 측정(일부 큐비트에 대한 계산 기저 및 GHZ 유형 투영체)을 수행합니다.
   • 샘플 복잡도: 이 접근 방식은 가법 오차 $\epsilon$과 신뢰도 $1-\delta$ 하에서 $O(m[n + \log(1/\delta)]/\epsilon^2)$개의 $\rho$ 복제본을 사용하여 모든 $4^n$개의 제곱 모멘트 $\{[\text{tr}(P\rho^m)]^2\}$를 학습할 수 있습니다. 이는 이전 방법들과 비교했을 때 $n$에 대해 지수적인 속도 향상을 나타냅니다.

2. 양자 번스타인 노름 (Quantum Bernstein Norm):

   • 제곱 모멘트들이 왜 공동 측정이 가능한지를 체계적으로 설명하기 위해, 저자들은 양자 번스타인 노름($\|F\|_k$)이라는 새로운 이론적 프레임을 도입합니다.
   • 준정부호 계획법(SDP)을 통해 정의되는 이 노름은 일련의 범함수들에 대한 무편향 추정치(unbiased estimators)의 최소 가능한 범위를 정량화합니다.
   • 저자들은 제곱 모멘트 패밀리에 대해 양자 번스타인 노름이 1로 붕괴함($\|F^{(2)}_m\|_{2m} = 1$)을 증명합니다. 이는 추정치들이 최적 범위인 $[-1, 1]$ 내에 있음을 인증하며, 이로 인해 불호환성과 관련된 지수적 샘플 비용 페널티가 제거됨을 의미합니다.

3. 부호가 있는 모멘트 복구 (Recovering Signed Moments):

   • CBDS 프로토콜은 제곱 모멘트를 산출하므로 $\text{tr}(P\rho^m)$의 부호 정보가 손실됩니다. 부호가 있는 모멘트를 복구하기 위해, 저자들은 $m$개의 복제본을 사용하는 정보 이론적 프로토콜을 제안합니다.
   • 이는 $\rho^{\otimes m}$을 제곱 모멘트로 구성된 "미믹킹 상태(mimicking state)" 앙상블 $\chi$와 간섭시키는 과정을 포함합니다. $\text{tr}(P\rho^m)\text{tr}(P\chi)$를 추정하고 이를 알려진 $\text{tr}(P\chi)$로 나눔으로써 부호를 복구할 수 있습니다.
   • 복잡도: 이 프로토콜은 $O(m[n + \log(1/\delta)]/\epsilon^4)$개의 복제본을 필요로 합니다. 오차 의존도는 $\epsilon^{-4}$이지만, $n$에 대한 선형 스케일링을 유지하며 최적의 복제본 수 $m$을 사용합니다.

주요 결과

• 지수적 속도 향상: 이 프로토콜은 $n$에 대해 선형적인 샘플 복잡도(구체적으로 $O(n)$)를 가지며 모든 $4^n$개의 제곱 파울리 모멘트를 학습하며, 이는 이전 프로토콜들이 요구했던 지수적인 복제본 수와 대조됩니다.
• 최적성: 고정된 $m$에 대해, 복제본 수는 최적입니다. 논문은 단 하나의 파울리 모멘트를 추정하기 위해 $m$개 미만의 복제본을 사용하는 프로토콜은 지수적으로 많은 복제본을 필요로 한다는 하한선(Ref. [38] 인용)을 제시합니다.
• 이론적 통합: 양자 번스타인 노름은 선형 관측량에서의 측정 불호합성(linear case)과 비선형 범함수의 공동 추정을 연결하는 통합된 프레임워크를 제공합니다. 이는 제곱 모멘트에 대해 불호합성이 "붕괴"하는 것이 단순한 회로 트릭이 아니라 근본적인 성질임을 입증합니다.
• 효율적인 회로: $m=2$를 위한 CBDS 회로가 제안되었으며, 이는 기존의 벨 차이 샘플링 전략을 일반화한 것으로 현재의 장치에서도 실용적으로 구현 가능합니다.

의의 및 주장
본 논문은 오차 완화 및 매직 상태 인증에 필수적인 작업인, 가상 증류된 상태의 전체 파울리 프로파일 학습에서의 지수적 장벽을 해결했다고 주장합니다.

• 불호합성 해결: 제곱 모멘트를 위해 복제본 수를 $2m$으로 늘림으로써 불호합성을 "붕괴"시킬 수 있으며, 이를 통해 공동 추정의 지수적 비용이 파울리 패밀리의 본질적인 특성이 아니라 조절 가능한 것임을 보여줍니다.
• 새로운 지표: 양자 번스타인 노름의 도입은 선형 관측량을 넘어 비선형 범함수의 공동 추정 비용을 정량화하는 새로운 도구를 제공합니다.
• 실용성: 저자들은 $m=2$를 위한 구체적이고 계산적으로 효율적인 CBDS 회로와 일반적인 $m$을 위한 정보 이론적 프로토콜을 제공함으로써, 최적의 복제본 요구 사항을 충족하는 이 계열의 비선형 범함수에 대한 최초의 효율적인 샘플 복잡도 경계치를 확립했습니다.

저자들은 제곱 모멘트 프로토콜은 계산적으로 효율적이지만, 부호가 있는 모멘트 복구 프로토콜(정리 3)은 현재 정보 이론적 상한선이며, 미믹킹 상태 앙상블을 구성하는 과정이 항상 계산적으로 효율적인 선형 만족 가능성 문제를 포함할 수 있음을 언급했습니다. 이들은 부호가 있는 모멘트를 위한 계산 효율적인 프로토콜을 설계하는 것을 향후 연구 과제로 남겨두었습니다.