[논문 리뷰] Quantum Estimation Theory of Error and Disturbance in Quantum Measurement

Yu Watanabe, Masahito Ueda|arXiv (Cornell University)|2011. 06. 13.

Quantum Information and Cryptography인용 수 4

한 줄 요약

이 논문은 양자 추정 이론을 사용하여 양자 측정 오차와 교란을 수식화하며, 피셔 정보를 통해 추정 정밀도를 정량화하는 방식으로 오차와 교란을 정의한다. 오차와 교란의 곱에 대한 날카운 봉인 하한을 증명하며, 이 하한이 관측량들의 교환자에 의해 제약을 받음을 보이고, 원래의 힐베르트 공간 차원의 두 배 이상인 후측정 힐베르트 공간 차원을 가진 최적의 측정 기법이 이 하한을 달성함을 규명한다.

ABSTRACT

We formulate the error and disturbance in quantum measurement by invoking quantum estimation theory. The disturbance formulated here characterizes the non-unitary state change caused by the measurement. We prove that the product of the error and disturbance is bounded from below by the commutator of the observables. We also find the attainable bound of the product.

연구 동기 및 목표

• 켄너드-로버트슨 부등식을 초월하여 양자 측정에서 오차와 교란을 정의하는 데 있어 기초적인 애매함을 해결하기 위해.
• 양자 추정 이론을 사용하여 물리적으로 의미 있는 정보 이론적 프레임워크를 오차와 교란에 대해 수립하기 위해.
• 관측량의 교환자에 의존하는 오차와 교란 곱에 대한 하한을 유도하기 위해.
• 오차-교란 곱에 대해 가장 날카로운 하한을 달성하는 측정 기법을 규명하기 위해.

제안 방법

• 오차와 교란은 관측량의 기대값을 추정하는 정밀도를 정량화하기 위해 피셔 정보의 역수를 통해 정의된다.
• 측정 과정은 양의 연산자값 측정(POVMs)을 사용하여 모델링되며, 후측정 상태는 크라우스 연산자로 기술된다.
• 추정 분산과 피셔 정보 사이의 관계를 연결하기 위해 양자 크래머-라오 하한을 사용하며, 이를 오차와 교란과 연결한다.
• 이중 측정에서의 양자 피셔 정보를 분석함으로써 하한을 도출한다. 이는 얽힌 또는 상관된 상태에서의 순차적 측정의 맥락에서 이루어진다.
• 특정 측정 기법을 구성함으로써 도달 가능한 하한을 찾는다. 이 기법은 관측량의 선형 조합의 고유상태로 사라지는 크라우스 연산자를 사용한다.
• 유도 과정은 힐베르트 공간을 기약 불변 부분공간으로 분해하고, 각 부분공간에서의 양자 분산과 공분산을 계산하는 것으로 이루어진다.

실험 결과

연구 질문

• RQ1 양자역학에서 측정 오차와 교란에 대해 물리적으로 일관되고 정보 이론적으로 기반을 둔 정의는 무엇인가?
• RQ2 오차와 교란의 곱은 측정 중인 관측량들의 교환자와 어떻게 관련이 있는가?
• RQ3 오차-교란 곱에 대한 하한을 달성하는 측정 기법을 구성할 수 있는가?
• RQ4 후측정 상태의 힐베르트 공간 차원은 이론적 하한을 달성하는 데 어떤 역할을 하는가?
• RQ5 제안된 정의는 오자와의 정의 또는 켄너드-로버트슨 부등식과 어떻게 다를까?

주요 결과

• 측정 오차와 교란의 곱은 관측량의 교환자 항을 포함한 하한에 의해 제약을 받으며, 이 하한은 $ \frac{1}{4}|\langle[\hat{X},\hat{Y}]\rangle|^2 $ 로 주어진다.
• 더 날카운 하한으로 $ \varepsilon(\hat{X};\bm{M})\eta(\hat{Y};\bm{M}) \geq (\Delta_Q X)^2(\Delta_Q Y)^2 - C_Q(\hat{X},\hat{Y})^2 $ 이 도출되었으며, 이는 표준 교환자 하한보다 더 강력하다.
• 후측정 힐베르트 공간 차원이 원래 힐베르트 공간 차원의 두 배 이상인 경우 이 하한은 도달 가능하다.
• 관측량의 선형 조합의 고유상태로 사라지는 크라우스 연산자를 사용하여 이 하한을 달성하는 명시적 측정 기법이 구성된다.
• 최적의 측정은 $ \dim{\mathcal{H}^\prime} \geq 2d $ 를 요구하며, $ \dim{\mathcal{H}^\prime} = d $ 인 경우 이 하한은 도달 가능하지 않으며, 이 경우는 열린 문제로 남아 있다.
• 유도 과정은 오차와 교란이 상태 준비나 측정의 반작용 외에도 양자 정보의 내용에 의해 본질적으로 제약을 받음을 보여준다.