[논문 리뷰] Precision Bounds on Continuous-Variable State Tomography using Classical Shadows

Srilekha Gandhari, Victor V. Albert외 3명|arXiv (Cornell University)|2022. 11. 09.

Quantum Information and Cryptography인용 수 5

한 줄 요약

이 논문은 연속 변수 양자 상태 톰그래피 프로토콜—동조검출, 이조검출, 광자수해상능(정밀) 검출, 광자짝수성 검출—을 고전적 샤드 프레임워크 내에서 재구성하여 측정 자원에 대한 엄밀한 정밀도 한계를 도출한다. 동조검출은 N-광자 상태에 대해 𝒪(N⁴⁺¹ᐟ³) 측정이 필요하고, PNR/광자짝수성 검출은 𝒪(N⁴) 측정이 필요하다(로그형태의 요소를 제외하고). 수치적 및 실험적 데이터는 이론적 한계보다 더 우수한 스케일링을 보여준다.

ABSTRACT

Shadow tomography is a framework for constructing succinct descriptions of quantum states using randomized measurement bases, called classical shadows, with powerful methods to bound the estimators used. We recast existing experimental protocols for continuous-variable quantum state tomography in the classical-shadow framework, obtaining rigorous bounds on the number of independent measurements needed for estimating density matrices from these protocols. We analyze the efficiency of homodyne, heterodyne, photon number resolving (PNR), and photon-parity protocols. To reach a desired precision on the classical shadow of an $N$-photon density matrix with a high probability, we show that homodyne detection requires an order $\mathcal{O}(N^{4+1/3})$ measurements in the worst case, whereas PNR and photon-parity detection require $\mathcal{O}(N^4)$ measurements in the worst case (both up to logarithmic corrections). We benchmark these results against numerical simulation as well as experimental data from optical homodyne experiments. We find that numerical and experimental homodyne tomography significantly outperforms our bounds, exhibiting a more typical scaling of the number of measurements that is close to linear in $N$. We extend our single-mode results to an efficient construction of multimode shadows based on local measurements.

연구 동기 및 목표

• 고전적 샤드를 사용하여 연속 변수(CV) 양자 상태 톰그래피에 필요한 측정 수의 엄밀한 유한 표본 한계를 설정하는 것.
• 이전에 유한 차원 이산 변수 시스템에 국한되어 있던 고전적 샤드 프레임워크를 상태 설계나 SIC-POVMs에 의존하지 않고 무한 차원 CV 시스템으로 확장하는 것.
• 실험적으로 널리 쓰이는 CV 톰그래피 프로토콜—동조검출, 이조검출, PNR, 광자짝수성 검출—의 표본 복잡도를 분석하는 것.
• 이론적 한계를 2010년 실험적 동조검출 데이터와 수치 시뮬레이션과 비교하여 검토하고, 스케일링 행동에 대한 괴리 현상을 드러내는 것.
• 국소 측정을 이용해 단모드 샤드 구성 방식을 다모드 시스템으로 일반화하여 시스템 크기와 다항수준의 스케일링을 유지하는 것.

제안 방법

• 밀도 행렬을 무작위 측정 기저(예: 이동 포크 상태, 패턴 함수 등)로 표현함으로써 동조검출, PNR, 광자짝수성 검출 프로토콜을 고전적 샤드 톰그래피로 재구성한다.
• 삼각 부등식과 연산자 노름 한계를 적용하여 고전적 샤드 프레임워크를 활용해 샤드 노름과 추정기의 분산에 대한 한계를 도출한다.
• 레마 II.1의 결과를 사용하여 추정 오차를 표본 복잡도와 연결하며, 목표 오차 ε와 실패 확률 δ에 대해 표본 수 T가 𝒪(ν²/ε² log(1/δ)) 비율로 증가함을 유도한다.
• T-연산자의 고유값 분해와 이동 포크 기저를 활용하여 샤드 추정기의 연산자 노름과 분산을 추정한다.
• 고유값 λₙ^(r)의 渐近적 분석을 통해 표본 복잡도 한계를 유도하며, 특히 r ≠ 0일 때 N에 대해 지수적 증가가 나타나는 경우에 주목한다.
• 국소 측정에서 유도된 국소 샤드를 이용해 단모드 결과를 다모드 시스템으로 확장하여 모드 수 M과 광자 수 N에 대해 다항수준의 스케일링을 유지한다.

실험 결과

연구 질문

• RQ1 고전적 샤드를 사용하여 연속 변수 양자 상태를 재구성할 때, 주어진 정밀도를 달성하기 위해 필요한 최소 측정 수는 얼마인가?
• RQ2 동조검출의 표본 복잡도는 최대 광자 수 N에 따라 어떻게 스케일링되며, 최악의 경우 한계를 초월해 개선될 수 있는가?
• RQ3 왜 수치적 및 실험적 동조검출 톰그래피 결과는 N에 대해 거의 선형 스케일링을 보이는가, 이는 이론적 최악의 경우 한계 𝒪(N⁴⁺¹ᐟ³)와 대조된다?
• RQ4 상태 설계나 SIC-POVMs에 의존하지 않고 고전적 샤드 프레임워크를 CV 시스템에 적응시킬 수 있는가?
• RQ5 고전적 샤드 프레임워크에서 PNR 및 광자짝수성 검출의 표본 복잡도는 얼마이며, 동조검출과 비교해 볼 때 어떻게 다른가?

주요 결과

• 고전적 샤드 프레임워크 하에서 동조검출은 목표 정밀도 ε를 고려할 때 높은 확률로 𝒪(N⁴⁺¹ᐟ³) 측정 이내로 수행 가능하며, 로그 보정 요소를 포함한다.
• 광자수해상능(PNR) 및 광자짝수성 검출 프로토콜은 최악의 경우 𝒪(N⁴) 측정이 필요하며, 이는 PNR 샤드 추정기의 분산 및 노름 한계와 동일한 스케일링을 보인다.
• 수치 시뮬레이션과 광학적 동조검출 실험 데이터는 이론적 최악의 경우 한계 𝒪(N⁴⁺¹ᐟ³)와는 대조적으로 N에 대해 선형 수준에 가까운 더 유리한 스케일링을 보여준다.
• 이론적 한계는 상태 설계나 SIC-POVMs와 같은 이산 변수 구조에 의존하지 않아 무한 차원 CV 시스템에 직접 적용 가능하다.
• 다모드 CV 상태의 표본 복잡도는 모드 수 M과 최대 광자 수 N에 대해 다항수준으로 스케일링되며, 프로토콜에 따라 𝒪(N⁴ᴹ)에서 𝒪(N^(6+1/3)ᴹ)까지의 상한을 가진다.
• PNR 톰그래피의 경우 r ≠ 0일 때 고유값 λₙ^(r)의 행동으로 인해 표본 복잡도가 N에 대해 지수적으로 증가하며, 고정된 r ≠ 0에 대해 T = 𝒪(N⁴ exp(2N))의 한계를 도출한다. 이 경우 지수 항이 지배적이다.