[논문 리뷰] A Logical Proof of the Free Will Theorem

Iégor Reznikoff|arXiv (Cornell University)|2010. 08. 21.

Quantum Mechanics and Applications인용 수 3

한 줄 요약

이 논문은 콘웨이와 코헨의 물리적 가정을 최소한의 논리적 프레임워크로 축소시켜 자유의지 정리의 형식적이고 논리적인 증명을 제공한다. 입자 성질과 관측자 자유도를 위한 공리들을 사용하여, 관측자가 측정을 자유롭게 선택할 경우, 입자의 성질은 사전에 결정될 수 없다는 것을 증명함으로써 양자역학에서의 비결정성에 대한 논리적 必要성을 확립한다.

ABSTRACT

We give a purely logical proof of the J. Conway and S. Kochen Free Will theorem concerning undeterminacy in Quantum Mechanics (Notices of the AMS, February 2009, Vol. 56/2, p. 226). The logical method seems to be very powerful.

연구 동기 및 목표

• 필수 공리들만을 사용하여 자유의지 정리의 최소한의 형식적 논리적 재구성 제공.
• 관측자 자유도와 입자 비결정성 사이의 논리적 의존성 명확화.
• 일관된 물리 이론과 관측자 자유도로부터 입자 성질의 사전 결정 불가능성이 도출됨을 입증.
• 최소한 두 개의 입자 성분 값이 항상 미결정된 상태로 남아 있음을 보여줌으로써 정리의 강화.

제안 방법

• 각 성분 i에 대해 시간 t에서 이진 성질 P(t,i) = 0 또는 1로 입자 상태를 형식화.
• 관측자 행동 A(t,i)를 시간 t에서 성분 i를 측정한다는 것을 나타내는 술어로 도입.
• SPIN 조건의 공리화: 만약 성분이 관측되면 그 값은 0이다 (A(t,i) → P(t,i) = 0).
• 코헨-스퍼너 조건의 공리화: 모든 성분이 동시에 0이 될 수는 없다 (∃i, P(t,i) ≠ 0).
• 비유도 가능성에 의한 관측자 자유도 정의: t' < t 인 경우 F(t') ⊬ A(t,i) 및 F(t') ⊬ ¬A(t,i).
• 모순에 의한 귀납법 사용: 입자가 자유가 아니라고 가정하면 관측자 자유도와 공리들과의 모순이 발생함.

실험 결과

연구 질문

• RQ1 자연적 가정 없이 최소한의 논리 공리 집합에서 자유의지 정리를 유도할 수 있는가?
• RQ2 관측자 선택과 입자 성질의 사전 결정 불가능성 사이의 정확한 논리적 관계는 무엇인가?
• RQ3 여러 성분의 값이 항상 미결정된 상태로 남아 있을 경우 정리는 여전히 성립하는가?
• RQ4 관측자의 자유도는 형식적으로 정의되고 입자 비결정성과 연결될 수 있는가?
• RQ5 입자 결정성 가정에서 유도된 모순은 공리들과 관측자 자유도와 일관하는가?

주요 결과

• 관측자가 어떤 성분을 측정할지를 자유롭게 선택할 경우, 어떤 일관된 물리 이론에서도 입자 성질은 이전 사건들에 의해 사전에 결정될 수 없다.
• 모든 입자 값이 결정되어 있다고 가정할 경우, 관측자 자유도와 SPIN 공리와의 논리적 모순이 발생함.
• A(t,i) → P(t,i) = 0 와 비일반적인 0이 아닌 성질 간의 갈등으로 인해, 매 시간 t에서 최소한 하나의 성분은 값이 미결정되어야 한다.
• 증명은 최소한 하나의 성분 i에 대해, F에서 이전 사건들로부터 P(t,i) = 0 또는 P(t,i) = 1가 유도될 수 없다는 것을 보여준다.
• 조합론적 추론을 사용하여 최소한 두 성분이 항상 사전 결정되지 않음을 보여줌으로써 결과를 강화하였다.
• 논리적 구조는 비결정성이 양자역학의 특성일 뿐 아니라 관측자 자유도와 일관성의 必然한 결과임을 확인한다.