[논문 리뷰] Quantum hypothesis testing and state discrimination

J. Prabhu Tej, Syed Raunaq Ahmed외 2명|arXiv (Cornell University)|2018. 03. 13.

Spectral Theory in Mathematical Physics참고 문헌 3인용 수 4

한 줄 요약

이 논문은 유한 차원 힐버트 공간에서의 양자 가설 검정과 상태 구별에 대한 종합적인 개요를 제공하며, 오류 확률을 최소화하는 데 최적의 측정 전략에 초점을 맞춘다. 양자 처너프 경계를 점점 더 큰 수의 복사본에 대해 적용하여 오류율의 점근적 지수로 설정하고, 특히 정체성 채널과 완전히 분산 채널을 구별할 때 얽힌 상태가 정밀도를 크게 향상시킨다는 것을 보여준다.

ABSTRACT

This expository article gives an overview of the theory of hypothesis testing of quantum states in finite dimensional Hilbert spaces. Optimal measurement strategy for testing binary quantum hypotheses, which result in minimum error probability, is discussed. Collective and individual adaptive measurement strategies in testing hypotheses in the multiple copy scenario, with various upper and lower bounds on error probability, are outlined. A brief account on quantum channel discrimination and the role of entangled states in achieving enhanced precision in the task of channel discrimination is given.

연구 동기 및 목표

• 유한 차원 양자 시스템에서의 양자 가설 검정과 상태 구별에 대한 체계적인 리뷰를 제공하는 것.
• 양자 상태를 구별할 때 오류 확률을 최소화하는 데 최적의 측정 전략—집합적 및 적응형 측정—을 규명하는 것.
• 복수의 복사본을 사용한 경우의 오류 확률의 점근적 행동을 오류율 지수에 대한 경계를 통해 분석하는 것.
• 얽힌 상태가 양자 채널 구별 정밀도 향상에 기여하는 역할을 조사하는 것.
• 다이아몬드 노름과 트레이스 거리 측정을 사용하여 양자 채널 구별에 대한 이론적 기초를 명확히 하는 것.

제안 방법

• 양자 측정을 모델링하기 위해 양의 연산자값 측정(POVM)을 사용하며, 결과는 $ p_\alpha = \mathrm{Tr}(\rho E_\alpha) $ 를 통해 추적 확률로 결정된다.
• 헬스트롬 경계를 통해 평균 오류 확률 $ P_e = \Pi_0 \mathrm{Tr}(\rho_0 E_1) + \Pi_1 \mathrm{Tr}(\rho_1 E_0) $ 를 최소화하는 최적의 측정 전략을 유도한다.
• 복수의 복사본을 사용한 상태 구별에 대해 점근적 오류율 지수로 사용되는 양자 처너프 경계 $ \xi_{\text{QCB}} = -\log \left( \inf_{s \in [0,1]} \mathrm{Tr}(\rho_0^s \rho_1^{1-s}) \right) $ 를 도입한다.
• 실제 적용에 적합한 개별 측정 및 적응형 측정 전략과 비교하여 구현이 어려운 최적의 집합적 측정 전략을 분석한다.
• 채널 구별 가능성의 정량화를 위해 다이아몬드 노름 $ \|\Phi_0 - \Phi_1\|_\diamond $ 을 적용하고, 얽힌 입력이 분리 가능한 상태의 한계 이하의 오류 확률을 줄일 수 있음을 증명한다.
• 최대 얽힘 상태 $ |\Psi_{AB}\rangle = \frac{1}{\sqrt{d}} \sum_{i=1}^d |i_A, i_B\rangle $ 를 채널의 입력으로 사용하여 구별 성능 향상을 입증한다.

실험 결과

연구 질문

• RQ1 이진 양자 가설 검정에서 오류 확률을 최소화하는 데 최적의 측정 전략은 무엇인가?
• RQ2 점근적 한계에서 복사본 수 $ M $ 에 따라 오류 확률은 어떻게 변화하며, 최적의 오류율 지수는 무엇인가?
• RQ3 분리 가능한 상태에 비해 얽힌 상태가 양자 채널 구별에서 이점을 제공할 수 있는가?
• RQ4 복수의 복사본을 사용한 상태 구별에서 오류 확률에 대한 계산 가능한 최상의 상한과 하한은 무엇인가?
• RQ5 오류 감소 측면에서 집합적 측정이 개별 또는 적응형 측정보다 우월한 경우는 어떤 상황인가?

주요 결과

• 양자 처너프 경계 $ \xi_{\text{QCB}} = -\log \left( \inf_{s \in [0,1]} \mathrm{Tr}(\rho_0^s \rho_1^{1-s}) \right) $ 는 $ M \to \infty $ 일 때 $ \rho_0^{\otimes M} $ 과 $ \rho_1^{\otimes M} $ 를 구별하는 데 있어 정확한 점근적 오류율 지수를 제공한다.
• 정체성 채널과 완전히 분산 채널을 단일 측정으로 구별할 경우 순수한 입력 상태를 사용하면 오류 확률은 $ \frac{1}{2d} $ 이지만, 최대 얽힘 입력 상태를 사용하면 $ \frac{1}{2d^2} $ 로 감소한다.
• 얽힌 입력 상태는 분리 가능한 상태로는 달성할 수 없는 오류 확률 이하로 낮출 수 있으며, 이는 비고전적 이점을 보여준다.
• 다이아몬드 노름 $ \|\Phi_0 - \Phi_1\|_\diamond $ 은 양자 채널의 구별 가능성에 대한 하한을 제공하며, 이 하한은 얽힌 입력을 사용할 때 달성된다.
• 집합적 측정은 가능한 최소 오류 확률을 달성하지만, 큰 $ M $ 에서는 실용적이지 않다. 개별 및 적응형 전략은 성능과 구현 가능성 사이의 타협을 제공한다.
• 만약 $ \rho_0 $ 와 $ \rho_1 $ 가 가환성을 가진다면 문제는 고전적 가설 검정으로 축소되며, 최적의 전략은 최대우도 규칙이 된다.