[논문 리뷰] Measurement Uncertainty: Reply to Critics

Paul Busch, Pekka Lahti외 1명|arXiv (Cornell University)|2014. 02. 13.

Quantum Mechanics and Applications참고 문헌 27인용 수 5

한 줄 요약

이 논문은 양자 측정에서 하이젠베르크의 오차-왜곡 상호작용 관계를 철저하고 상태에 종속되지 않는 방식으로 방어하며, 오자와가 이에 수학적으로 결함이 있다고 주장한 데에 대응한다. 논문은 오자와의 상태에 종속된 오차와 왜곡 정의가 큐비트 시스템에서 신뢰할 만한 척도로 기능하지 못함을 보이며, 저자들의 접근 방식은 보편적으로 성립하고 실험적으로 검증 가능한 하이젠베르크 유형의 상호작용 관계를 도출함을 보여준다.

ABSTRACT

In a recent publication [PRL 111, 160405 (2013)] we proved a version of Heisenberg's error-disturbance tradeoff. This result was in apparent contradiction to claims by Ozawa of having refuted these ideas of Heisenberg. In a direct reaction [arXiv:1308.3540] Ozawa has called our work groundless, and has claimed to have found both a counterexample and an error in our proof. Here we answer to these allegations. We also comment on the submission [arXiv:1307.3604] by Rozema et al, in which our approach is unfavourably compared to that of Ozawa.

연구 동기 및 목표

• 저자들이 하이젠베르크 유형의 오차-왜곡 상호작용 관계를 증명하는 데에 치명적인 오류가 있음을 오자와가 주장한 바를 반박하기 위해.
• 저자들의 정리가 반례로 무너진다는 오자와의 주장을 도전하기 위해, 그의 추론에 있는 결함을 밝혀내기 위해.
• 저자들의 상태에 종속되지 않는 오차 척도와 오자와의 상태에 종속된 노이즈 연산자 간의 개념적·작동적 차이를 명확히 하여, 큐비트 시스템에서 후자의 한계를 보여주기 위해.
• 비엔나 및 토론토 연구팀의 실험 결과를 이론적 프레임워크와 조율하여, 오자와의 양이 상태에 종속되지 않지만 여전히 큐비트 맥락에서 하이젠베르크 유형의 상호작용 관계를 만족함을 보여주기 위해.
• 오자와의 접근 방식은 수학적으로 일관되지만, 측정의 역작용에 대한 하이젠베르크의 원초적 직관을 물리적으로 반영하지 못함을 주장하기 위해.

제안 방법

• 저자들은 입력 상태에 관계없이 출력 분포의 제곱편차를 이상적 결과로부터 측정하는 방식으로, 상태에 종속되지 않는 측정 오차와 왜곡의 정의를 사용한다.
• 관측가 A, B의 근사치 C, D에 대해 일반적인 불확실성 관계 $\Delta(A,C)^2 + \Delta(B,D)^2 \geq \text{incompatibility of } A,B$ 를 유도하며, 여기서 $\Delta$ 는 관측가 A, B의 동시 측정 오차를 정량화한다.
• 측정 상호작용을 유니터리 결합 모델로 기술하며, 시스템-프로브 상태에 대한 추적 기대값을 통해 오차와 왜곡을 정의한다.
• 큐비트 시스템에서 오자와의 오차 및 왜곡 척도 ($\epsilon_O, \eta_O$) 가 상태에 종속되지 않음을 보이며, 이는 상태별 측정 불확실성의 척도로서의 해석을 뒤엎는다.
• 저자들은 $\epsilon_O(A,C) + \epsilon_O(B,D) \geq \frac{1}{2} \times \text{incompatibility of } A,B$ 를 증명하여, 오자와의 양이 유한 차원 시스템에서 여전히 하이젠베르크 유형의 상호작용 관계를 만족함을 보여준다.
• 저자들은 비엔나 및 토론토 실험의 데이터와 자신의 프레임워크를 비교하여, 특정 매개변수 영역에서 오자와의 양이 자신의 오차 척도와 정확히 일치하고 유도된 경계를 도달함을 보여준다.

실험 결과

연구 질문

• RQ1 오자와가 저자들의 오차-왜곡 상호작용 관계 정리에 대해 제시한 반례가 엄밀한 분석에서 성립하는가?
• RQ2 왜 오자와의 상태에 종속된 오차 및 왜곡 척도는 큐비트 시스템에서 신뢰할 만한 작동적 척도로 기능하지 못하는가?
• RQ3 그의 정의가 개념적으로 결함이 있음에도 불구하고, 하이젠베르크 유형의 상호작용 관계는 여전히 회복될 수 있는가?
• RQ4 비엔나 및 토론토 연구팀의 실험 결과는 저자들의 상태에 종속되지 않는 오차 프레임워크와 어떻게 일치하는가?
• RQ5 유한 차원 시스템에서 저자들의 상태에 종속되지 않는 오차 척도와 오자와의 노이즈 연산자 기반 정의 간의 관계는 무엇인가?

주요 결과

• 오자와가 주장한 저자들의 정리에 대한 반례는 잘못된 오차 및 왜곡 정의의 적용과 저자들의 상태에 종속되지 않는 접근 방식을 간과함으로써 무효함을 입증한다.
• 오자와의 오차 및 왜곡 척도 ($\epsilon_O, \eta_O$) 는 큐비트 시스템에서 상태에 종속되지 않으며, 이는 상태별 측정 불확실성의 척도로서의 의도된 해석과 모순된다.
• 개념적 결함이 있음에도 불구하고 오자와의 양은 하이젠베르크 유형의 상호작용 관계를 만족한다: $\epsilon_O(A,C) + \epsilon_O(B,D) \geq \frac{1}{2} \times \text{incompatibility of } A,B$, 이는 큐비트 시스템에서 보편적으로 성립한다.
• 토론토 실험에서 오자와의 오차 척도 $\epsilon_O(A,C)$ 와 $\epsilon_O(B,D)$ 는 정확히 저자들의 상태에 종속되지 않는 오차 척도 $\Delta(A,C)$ 와 $\Delta(B,D)$ 와 일치하며, 특정 경우에서의 일致성을 확인한다.
• 저자들은 입력 상태가 고정된 출력 상태와 동일한 경우, 오자와의 왜곡 척도 $\eta_O(P)$ 가 실제 물리적 왜곡이 미미함에도 불구하고 임의로 클 수 있음을 보여주며, 그의 정의에 근본적인 결함이 있음을 드러낸다.
• 저자들의 프레임워크는 특히 동시 측정과 실험적 검증 맥락에서 더 작동적으로 의미 있고 보편적으로 타당한 측정 불확실성의 기술을 제공한다.