[논문 리뷰] Entities, Identity and the Formal Structure of Quantum Mechanics

Christian de Ronde, Graciela Domenech외 2명|arXiv (Cornell University)|2012. 03. 14.

Quantum Mechanics and Applications참고 문헌 22인용 수 3

한 줄 요약

이 논문은 코헨-스피커 정리와 중첩 원리에 의해 보여지듯이, 양자역학이 비결정성과 비개별성에 의해 고전적 개별 실체 개념을 본질적으로 뒤엎는다고 주장한다. 이를 통해 양자 이론 내에서 '가능한 실체'조차도 일관되게 정의될 수 없음을 입증하며, 정규직교모듈라 레이티스의 모달 확장을 통해 양자 형식 체계가 실제 실체뿐 아니라 가능 실체까지 배제한다는 것을 증명한다. 이는 물리학에서 아리스토텔레스 철학적 기초인 정체성 개념에 도전한다.

ABSTRACT

The concept of individuality in quantum mechanics shows radical differences from the one used in classical physics. In particular, it is not possible to consider the fundamental particles described by quantum theory as individual distinguishable objects. In this paper we present arguments in favor of quantum non-individuality, which -in addition to those based on quantum statistics- relate to the Kochen-Specker theorem and the principle of superposition. Then, we analyze the possibility of referring to 'possible individuals' instead of 'actual individuals', and show that the Modal-Kochen-Specker theorem precludes this interpretational move.

연구 동기 및 목표

• 고전적 실체 개념과 양자역학의 형식적 구조 사이의 불일치를 조사하기 위해.
• 양자이론에서 '가능한 실체'가 '실제 실체'의 타당한 대안이 될 수 있는지 검토하기 위해.
• 양자 통계, 코헨-스피커 정리, 그리고 중첩 원리가 개별성 개념을 어떻게 뒤흔들고 있는지 분석하기 위해.
• 양자 성질에서 가능성에서 실제성으로의 전이를 포착하는 모달 확장된 양자논리의 형식화를 위해.
• 모달-코헨-스피커 정리를 사용하여, 심지어 '가능한 실체'의 개념조차도 양자 형식 체계 내에서 타당하지 않음을 입증하기 위해.

제안 방법

• 성질과 그 논리적 관계를 표현하기 위해 정규직교모듈라 레이티스를 사용하여 양자역학을 형식화하기 위해.
• 정규직교모듈라 구조를 부울 포화 정규직교모듈라 레이티스로 확장하기 위해 가능성 연산자 $\Diamond$ 를 도입하기 위해.
• possibility space $\Diamond\mathcal{L}$ 을 $\{\Diamond P : P \in \mathcal{L}\}$ 에 의해 생성되는 부분대수로 정의하여 모달 내용을 포착하기 위해.
• 일관된 실제화를 가능한 실제화로 정의하기 위해 $ (v_i: W_i \to \mathbf{2})_{i \in I} $ 를 사용하고, 이들이 부울 준동형사상 $ f: \Diamond\mathcal{L} \to \mathbf{2} $ 와 일치하도록 하기 위해.
• 모달-코헨-스피커(MKS) 정리를 적용하여, 모든 가능성 공간에 대해 일관된 실제화가 존재하지 않는 한 전역적 평가가 존재하지 않음을 보여주기 위해.
• MKS 정리를 사용하여, 양자역학의 형식 체계가 '가능한 실체'의 개념을 일관되게 수용할 수 없다는 것을 증명하기 위해.

실험 결과

연구 질문

• RQ1 양자역학에서 '가능한 실체' 개념을 '실제 실체'의 타당한 대체로 유지할 수 있는가?
• RQ2 코헨-스피커 정리가 모달 프레임워크 내에서도 양자 시스템에 고정된 성질를 부여하는 것을 어느 정도 차단하는가?
• RQ3 중첩 원리가 어떻게 고전적 정체성과 개별성 개념을 양자 시스템에서 뒤흔들고 있는가?
• RQ4 고전적 논리로 붕괴되지 않는 한, 양자역학에서 실제 성질과 가능 성질을 형식적으로 구분할 수 있는 방법이 있는가?
• RQ5 포크-스페이스 형식 체계는 다체계에서 특히 양자 비개별성 개념을 지지하는가, 아니면 반박하는가?

주요 결과

• 모달-코헨-스피커(MKS) 정리는, 모든 가능성 공간에 대해 일관된 실제화가 존재하지 않는 한 전역적 평가가 존재하지 않음을 보여주며, 이는 양자역학이 실체에 대한 모달 논의를 일관되게 수용할 수 없다는 것을 증명한다.
• 양자역학의 형식 체계는 '가능한 실체' 개념을 일관되게 수용할 수 없으며, '실제 실체'를 무효화하는 동일한 논리적 모순이 '가능한 실체'로까지 확장됨을 보여준다.
• $\Diamond\mathcal{L}$ 으로 생성된 가능성 공간은 $\mathcal{L}^\Diamond$ 의 모달 확장 내에서 부울 부분대수이지만, 이 구조는 일관된 모달 철학적 세계관을 지지할 수 없다.
• MKS 정리에 따른 전역적 평가의 실패는, 양자역학이 고전적 논리 프레임워크 내에서 실체—실제이든 가능이든—를 다룰 수 없다는 것을 의미한다.
• 논문은 양자역학이 아리스토텔레스적 실체 개념과 본질적으로 부합하지 않음을 결론 내리며, 정체성, 존재, 모순의 원칙이 양자 시스템에 대해 일관되게 적용될 수 없다는 것을 강조한다.
• 양자논리를 가능성 연산자로 확장하려는 尝시도에도 불구하고, 그 결과 구조는 여전히 고전적 논의와 부합하지 않으며, 이는 양자 시스템의 비개별성 본질을 더욱 강화한다.