[논문 리뷰] Resurrection of von Neumann's No-Hidden-Variables Theorem

Paul Busch|arXiv (Cornell University)|1999. 09. 23.

Quantum Mechanics and Applications인용 수 3

한 줄 요약

이 논문은 비어 있는 변수가 없는 바나흐의 정리에 대해, 비어 있는 변수가 없는 바나흐의 정리를 재활하기 위해, 양자 효과의 평가가 비가환 효과들에 대해 가환성 조건을 만족시키는 경우에만 추가적으로 가환성을 요구할 때, 그 평가가 유일하게 유계 자기수반 연산자 위의 선형 함수로 확장되어야 하며, 이는 평가가 양자 상태에 해당함을 강제한다. 따라서 어떤 효과 평가도 분산 자유가 될 수 없으며, 물리적으로 타당한 가정 하에 이 정리의 핵심 결론이 복귀된다.

ABSTRACT

Von Neumann's theorem on the impossibility of non-contextual hidden variable theories for quantum mechanics has been criticized on account of its unfounded assumption of the additivity of the valuation function for noncommuting observables. Starting from the fact that the additivity is operationally meaningful for noncommuting sets of effects whose sum is an effect, we show that any effect valuation extends to a unique linear functional on the space of bounded self-adjoint operators and hence must be a quantum state. It follows that no effect valuation can be dispersion-free.

연구 동기 및 목표

• 비가환 관측량에 대한 추가성 가정에 대한 오랫동안 지속된 비판을 다루어 바나흐의 비가환 변수 정리를 재수립하는 것.
• 비가환 효과에 대해 평가 함수의 추가성이 운영적으로 타당한 물리적 의미를 갖는 조건을 규명하는 것.
• 비가환 효과들의 합이 또한 효과가 되는 조건에서 평가가 반드시 선형 함수로 확장되어야 하며, 이는 양자 상태와 일치함을 보이는 것.
• 이 확장된 추가성 조건 하에서 어떤 효과 평가도 분산 자유가 될 수 없음을 증명함으로써, 정리의 결론을 재확인하는 것.

제안 방법

• 비가환 효과들의 집합에서 그 합이 또한 효과가 되는 경우에 평가 함수가 추가성을 만족한다고 가정한다.
• 유계 자기수반 연산자의 대수적 구조를 이용하여 평가를 전체 연산자 공간 위의 선형 함수로 확장한다.
• 기능 해석 기법을 적용하여 이러한 확장이 리스 표현 정리에 의해 양자 상태로 표현될 수 있음을 보인다.
• 확장된 함수의 선형성은 평가가 분산 자유일 수 없음을 의미함을 보인다.
• 비가환 효과를 포함하는 양자 측정에서 추가성 조건이 운영적으로 의미 있는 것을 입증한다.
• 확장의 유일성은 평가가 양자 상태에 의해 완전히 결정됨을 보여준다.

실험 결과

연구 질문

• RQ1 비가환 변수 정리의 추가성 가정이 물리적으로 타당한 조건 하에서 바나흐의 비가환 변수 정리를 재활할 수 있는가?
• RQ2 비가환 효과에 대해 평가 함수의 추가성이 운영적으로 의미 있는 조건은 무엇인가?
• RQ3 합이 효과가 되는 비가환 효과들에 대해 추가성이 요구될 경우 평가가 양자 상태로 표현될 수 있는가?
• RQ4 이 확장된 추가성 조건 하에서 어떤 효과 평가도 분산 자유가 될 수 있는가?
• RQ5 유계 연산자 위의 선형 함수로의 효과 평가의 확장은 유일하고 상태 유사한가?

주요 결과

• 합이 또한 효과가 되는 비가환 효과 집합에 대해 추가성을 만족하는 모든 효과 평가는, 유계 자기수반 연산자 공간 위의 선형 함수로 유일하게 확장된다.
• 이 선형 함수는 리스 표현 정리에 의해 양자 상태로 표현될 수 있으므로, 반드시 양자 상태에 대응한다.
• 확장의 유일성은 평가가 양자 상태에 의해 완전히 결정됨을 의미하며, 비상태 유사 평가의 자유는 제거된다.
• 이러한 평가 중 어떤 것도 분산 자유일 수 없으며, 양자 상태는 본질적으로 통계적 분산을 포함하기 때문이다.
• 물리적으로 타당하고 운영적으로 의미 있는 가정 하에서 이 결과는 바나흐의 원래 결론을 복귀시킨다.
• 논문은 추가성 가정이 임의적이지 않고 운영적 양자 측정 맥락에 뿌리를 두고 있음을 보여줌으로써 바나흐 정리의 비판을 해결한다.