Sample-optimal single-copy quantum state tomography via shallow depth measurements

기술 요약: 얕은 깊이의 측정을 이용한 샘플 최적 단일 복사 양자 상태 토모그래피

문제 정의
양자 상태 토모그래피(QST)는 측정 데이터로부터 양자 상태 $\rho$를 재구성하는 작업이다. 다중 복사 집합 측정(multi-copy collective measurements)은 최적의 샘플 복잡도를 달-성할 수 있지만, 오류 정정의 부재와 제한된 결맞음(coherence)으로 인해 오류 정정이 없는 근미래의 노이즈가 있는 양자 장치에서는 실험적으로 불가능하다. 따라서 단일 복사 측정 전략이 선호된다. 그러나 근사 최적의 샘플 복잡도를 달성하는 기존의 단일 복사 프로토콜들은 일반적으로 깊은 회로(깊이 $O(n)$)나 복잡한 양의 연산자 값 측정(POVM)을 요구하며, 이는 현재의 하드웨어에서는 비실용적이다. 본 연구에서 다루는 핵심 과제는 얕은 깊이의 국소 회로(구체적으로 깊이 $O(\log n)$)가 재구성 정확도를 희생하지 않으면서 단일 복사 측정을 위한 샘플 최적 QST를 달성할 수 있는지 여부이다.

방법론
저자들은 로그 깊이의 국소 무작위 양자 회로를 사용하는 앤실라(ancilla)가 없는 단일 복사 QST 프로토콜을 제안한다. 방법론은 다음 구성 요소들에 의존한다:

1. 유니터리 앙상블(Unitary Ensembles): 클리포드 게이트(Clifford gates)를 사용하여 두 가지 특정 얕은 깊이 앙상블을 구축한다:
   • 2계층 블록 앙상블 (그림 2b): 두 계층의 $k$-큐비트 클리포드 블록($U = U_2 U_1$)으로 구성된 엇갈린 패턴($k = O(\log n)$). 이는 rank-$r$ 상태를 위해 사용된다.
   • 단일 계층 블록 앙상블 (그림 2a): 클리포드 군에서 샘플링된 독립적인 $k$-큐비트 클리포드 블록. 이는 full-rank 상태를 위해 사용된다.
2. 추정량 구축: 프로토콜은 $\hat{\rho} = M^{-1}(U^\dagger |b\rangle\langle b| U)$인 **불편 추정량(unbiased estimator)**을 사용하며, 여기서 $M$은 유니터리 앙상블과 관련된 섀도우 채널(shadow channel)이다. 충실도(fidelity) 추정에는 충분하지만 트레이스 노름(trace-norm) 보증에는 불충분한 편향된 추정량(biased estimator)을 사용했던 이전 연구들과 달리, 본 연구는 엄격한 트레이스 거리 경계를 보장하기 위해 불편 추정량을 구축한다.
3. 집중 분석(Concentration Analysis): 불편 추정량의 경험적 평균에 대한 집중을 증명하는 것은 기술적으로 매우 어렵다. 저자들은 **와이겐가르테-칼큘러스(Weingarten calculus)**와 **전달 행렬 방법(transfer matrix method)**을 결합한다.
   • rank-$r$ 상태의 경우, 행렬 베르른 부등식(matrix Bernstein inequality)을 활용한다.
   • full-rank 상태의 경우, 맥디암드 부등식(McDiarmid's inequality)을 적용한다.
   • 전달 행렬 기법은 회로의 블록 구조를 가로지르는 파울리 연산자의 결합을 분석함으로써 추정량의 2차 모멘트를 제한하는 데 사용된다.

주요 기여 및 결과

• Rank-$r$ 상태: 차원 $d=2^n$인 rank-$r$ 양자 상태에 대해, $O(\log n)$ 깊이의 2계층 블록 앙상블을 사용하는 프로토콜은 다음의 샘플 복잡도로 트레이스 노름 오차 $\epsilon$을 달성한다:
  $$T = O\left(\frac{d r^2 \log d}{\epsilon^2}\right)$$
  이는 알려진 단일 복사 하한 $\Omega(dr^2/\epsilon^2)$와 로그 인자 차이로 일치한다. 증명은 연속적인 블록 사이의 $O(\log n)$ 큐비트 중첩만으로도 이 스케일링을 유지하기에 충분함을 보여준다.

• Full-Rank 상태: full-rank 혼합 상태($r=d$)의 경우, 더 단순한 단일 계층 블록 앙상블을 사용하는 프로토콜은 다음과 같은 최적의 샘플 복잡도 스케일링을 달성한다:
  $$T = O\left(\frac{d^3}{\epsilon^2}\right)$$
  이는 rank-$r$ 사례에 존재하는 로그 오버헤드를 제거하며, full-rank 상태에 대한 이론적 하한과 일치한다.

• 고전적 후처리(Classical Post-Processing): 논문은 명시적인 고전적 후처리 알고리즘을 제공한다.

  • rank-$r$ 상태의 경우, 런타임은 $\tilde{O}(d^2 r^2 / \epsilon^2)$이며 메모리는 $O(d^2)$이다.
  • full-rank 상태의 경우, 런타임은 $\tilde{O}(d^2)$이며 메모리는 $O(d^2)$로, 밀도 행렬을 출력하는 데 $\Omega(d^2)$의 시간이 필수적이므로 폴리로그 인자 차이 내에서 최적이다.

• 수치적 검증: 무작위 8-큐비트 상태에 대한 수치 시뮬레이션은 이론적 예측을 확인시켜 준다. 시뮬레이션은 얕은 깊이의 회로($k=2$ for rank-$r$, $k \in \{1, 2, 4, 8\}$ for full-rank)가 샘플 수가 증가함에 따라 글로벌 클리포드 앙상블($k=n$)과 대등한 재구성 오차를 달성함을 보여준다.

의의 및 주장
저자들은 자신들의 결과가 실험적으로 접근 가능한 얕은 깊이의 측정을 사용하여 샘플 최적 QST를 실현할 수 있음을 입증한다고 주장한다. 구체적으로:

1. 실현 가능성: 깊은 회로($O(n)$)의 요구 사항이 $O(\log n)$으로 완화되어, 연결성과 결맞음이 제한된 근미래의 양자 장치에서도 프로토콜 사용이 가능해졌다.
2. 최적성: 프로토콜은 full-rank 상태에 대해 최적의 샘플 복잡도를 달성하고, low-rank 상태에 대해 근사 최적의 복잡도를 달성하여, 이론적 하한과 실제 실험적 제약 사이의 간극을 메운다.
3. 추정량의 필요성: 본 연구는 충실도와 같은 특정 양을 위해서는 편향된 추정량이 충분할 수 있지만, QST에서 작은 트레이스 노름 오차를 보장하기 위해서는 불편 추정량이 필수적이며, 이를 위해 특정한 집중 증명이 필요함을 강조한다.

논문은 rank-$r$ 상태의 경우 상한에서의 $\ln(d)$ 로그 인자를 제거할 수 있는지 여부가 여전히 미해결 과제로 남아 있다고 겸허히 언급한다. 또한, 분석은 근사 유니터리 디자인(approximate unitary design)을 형성할 수 있는 유니터리 앙상블에 의존하지만, 통계적 증명은 명시적으로 근사 디자인 속성에 의존하지 않으므로, 회로 아키텍처 자체가 QST 성능의 핵심 요소인지에 대한 질문을 남겨두고 있다.