[논문 리뷰] Nullification of the Nullification

D. M. Appleby|ArXiv.org|2001. 09. 07.

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

한 줄 요약

이 논문은 마이어, 켄트, 클리프턴(MKC)이 유한 정밀도 측정이 코헨-스피커(KS) 정리의 영향을 없앤다고 주장하는 것을 반박한다. MKC의 모델이 근본적인 불연속성으로 인해 사전 존재하는 고전적 정보를 드러내지 못함으로써, KS 정리의 물리적 힘이 유지됨을 주장한다. 본 논문은 비이deal한 측정에 적용 가능한 일반화된 KS 정리를 수립하여 이전 연구의 틈새를 해결하고, MKC 모델이 양자 예측을 경험적으로 재현할 수 없음을 보여준다.

ABSTRACT

A recent claim by Meyer, Kent and Clifton (MKC), that their models ``nullify'' the Kochen-Specker theorem, has attracted much comment. In this paper we present a new counter-argument, based on the fact that a classical measurement reveals, not simply a pre-existing value, but pre-existing classical information. In the MKC models measurements do not generally reveal pre-existing classical information. Consequently, the Kochen-Specker theorem is not nullified. We go on to prove a generalized version of the Kochen-Specker theorem, applying to non-ideal quantum measurements. The theorem was inspired by the work of Simon et al and Larsson (SBZL). However, there is a loophole in SBZL's argument, which means that their result is invalid (operational non-contextuality is not inconsistent with the empirical predictions of quantum mechanics). Our treatment resolves this difficulty. We conclude by discussing the question, whether the MKC models can reproduce the empirical predictions of quantum mechanics.

연구 동기 및 목표

• 마이어, 켄트, 클리프턴(MKC)이 주장한 바에 따르면, 유한 정밀도 측정이 코헨-스피커(KS) 정리를 무력화한다고 주장하는 바를 반박하기 위해.
• 고전적 측정은 사전 존재하는 고전적 정보를 드러내야 하며, 단지 사전 존재하는 값만을 드러내는 것이 아니며, MKC의 모델이 이를 성취하지 못함을 명확히 하기 위해.
• 비이ideal한 양자 측정에 적용 가능한 일반화된 코헨-스피커 정리의 수립을 위해.
• 시몬, 부움에스터, 지마바, 라르스손(SBZL)이 주장한 바에 따르면, 운영적 비의존성은 양자 예측과 모순된다고 주장하는 논리적 틈새를 밝히고 닫기 위해.
• MKC 모델이 양자역학의 경험적 예측을 실제로 재현할 수 있는지 평가하기 위해.

제안 방법

• 고전적 정보 이론의 관점에서 MKC 모델을 분석하여, 불연속적인 할당이 확실한 고전적 정보의 확보를 방해함을 주장한다.
• 고전적 측정은 관측 가능 A가 값 x를 취했다는 형태의 명제를 A와 x가 정확히 지정된 상태에서 드러내야 한다는 개념을 도입한다.
• 삼중항의 측정 결과에 대한 확률적 한계를 사용하여, MKC 모델이 각 삼중항에서 확률 ≥0.5 이상으로 "불법" 결과를 낳음을 보여준다.
• 숨겨진 상태에 대한 분할 근거를 적용하여, 비색칠 수 있는 삼중항의 집합에 대해, 적어도 하나의 삼중항에서 불법 결과의 확률이 ≥1/(2N)임을 보여준다.
• 하한을 도출한다: 측정이 맥락 독립적이라면, Nε_q ≥ 1/2 이어야 하며, 여기서 ε_q는 允許되는 최대 오차율이다.
• 순차적 측정은 내부 역학이 아니라 그 운영적 역할에 기반해 공동 측정으로 기능적으로 취급할 수 있음을 주장한다.

실험 결과

연구 질문

• RQ1 MKC가 주장한 바에 따르면, 유한 정밀도 측정이 실제로 코헨-스피커 정리를 무력화할 수 있는가?
• RQ2 MKC 모델은 고전적 측정이 요구하는 바와 같이 사전 존재하는 고전적 정보를 드러내는가?
• RQ3 시몬 등(SBZL)의 주장, 즉 운영적 비의존성이 양자역학과 모순된다는 것은 타당한가?
• RQ4 MKC 모델은 양자역학의 경험적 예측을 재현할 수 있는가?
• RQ5 비이ideal하고 유한 정밀도 측정에 적용 가능한 코헨-스피커 정리의 올바른 일반화는 무엇인가?

주요 결과

• MKC의 모델은 할당의 근본적인 불연속성으로 인해 사전 존재하는 고전적 정보를 드러내지 못함으로써, 코헨-스피커 정리를 무력화하지 못한다.
• MKC 모델 내의 임의의 삼중항에서 "불법" 결과를 얻는 확률은 최소 0.5 이상이며, 이는 일관된 고전적 측정의 요구 조건을 위반한다.
• N개의 비색칠 수 있는 삼중항 집합에 대해, 불법 결과의 확률이 ≥1/(2N) 이상인 삼중항이 적어도 하나 존재한다. 이는 오차율에 하한을 제시한다.
• MKC 모델이 맥락 독립적 측정과 일관되려면 Nε_q ≥ 1/2 조건이 성립해야 하며, 이는 낮은 오차율과의 본질적 불일치를 보여준다.
• 시몬 등(SBZL)의 주장은 틈새를 포함한다: 그들의 결론, 즉 운영적 비의존성이 양자역학과 모순된다는 것은 타당하지 않다.
• 본 논문은 비이ideal한 측정에 적용 가능한 일반화된 코헨-스피커 정리를 수립하여, MKC의 주장이 제기한 기초 문제를 해결한다.