[논문 리뷰] The completeness, computability, and extensibility of quantum theory

Hans H. Diel|arXiv (Cornell University)|2015. 12. 11.

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

한 줄 요약

이 논문은 양자 이론(QT)을 포함한 물리 이론의 완전성, 계산 가능성, 확장 가능성과 같은 글로벌 성질을 엄밀하게 평가하기 위한 기초로 형식적 인과 모델을 제안한다. 상태 사양과 인과 법칙에 기반한 형식적 모델을 정의함으로써, 양자 이론이 완전한 형식적 인과 모델을 형성하지 못한다는 점은 그 이론의 불완전성을 시사하며, 이론의 완전성에 대한 반증(예: 반례 제시)이 증명보다 더 신뢰할 만하다고 주장한다.

ABSTRACT

The long lasting discussion on the completeness of quantum theory (QT) has not yet come to an end. The discussion is impeded by the lack of a clear understanding of what makes up the contents of a theory of physics in general and of QT specifically. After such an understanding has been developed, a more precise definition of global properties, such as the completeness, computability, and extensibility of a theory, is possible and necessary. This paper addresses these subjects for theories of physics and, in particular, for QT. The basis for the definition of the completeness of a theory is the proposed definition of a "formal causal model of a physical theory". The formal model can be applied to discussions of general attributes, such as completeness, computability, and extensibility.

연구 동기 및 목표

• 물리 이론의 글로벌 성질을 평가하기 위한 형식적 프레임워크를 수립하여 오랫동안 이어진 양자 이론(QT)의 완전성 논란을 해결하는 것.
• 완전한 형식적 인과 모델을 분석하기 위한 전제로 물리 이론의 형식적 인과 모델을 정의하는 것.
• 양자 이론(QT)에 대한 완전한 형식적 인과 모델의 부재가 이론의 불완전성을 강력하게 시사한다는 것을 명확히 하는 것.
• 특히 양자 이론을 형식화하는 데 있어 복잡성이 높기 때문에, 완전성에 대한 반증(예: 반례 제시)이 증명보다 더 신뢰할 수 있다는 것을 주장하는 것.
• 제안된 해석이나 확장이 알려진 결함을 해결하여 양자 이론의 완전성을 진정으로 향상시킬 수 있는지 평가하는 것.

제안 방법

• 물리 이론의 형식적 인과 모델을 시스템 상태 정의와 인과 법칙의 조합으로 정의하며, 형식 언어로 기술한다.
• 현재 상태로부터 미래 상태를 예측할 수 있는 완전한 형식적 인과 모델의 존재에 기반해 이론의 완전성을 정의한다.
• 형식 모델을 양자 이론에 적용하여 측정 문제와 상태 벡터 해석과 같은 해결되지 않은 문제들이 완전한 모델을 구성하는 데 장애가 된다고 규명한다.
• 완전성과 계산 가능성의 정의에 기초해 수학적 논리 원리(예: 굿스토크의 불완전성 정리)를 기준점으로 삼는다.
• 불가능성 정리와 양자 이론의 제안된 해석을 분석하여 그 이론의 완전성, 계산 가능성, 확장성에 미치는 영향을 평가한다.
• 완전성 또는 계산 가능성에 대한 긍정적 증명은 어렵지만, 모델 구축 실패를 통해 불완전성을 입증하는 부정적 증명은 더 실현 가능하고 신뢰할 수 있다는 주장을 펼친다.

실험 결과

연구 질문

• RQ1 물리 이론의 형식적 인과 모델은 무엇을 포함하며, 어떻게 이론의 완전성 평가 기초가 될 수 있는가?
• RQ2 형식 모델에 기반해 양자 이론은 어느 정도 완전성, 계산 가능성, 또는 확장성을 갖는다고 볼 수 있는가?
• RQ3 기존의 양자 이론의 완전성 또는 불완전성 증명 尝시도들이 왜 여전히 결론적으로 이르지 못하는가? 형식적 명시는 이를 어떻게 향상시킬 수 있는가?
• RQ4 제안된 양자 이론의 해석이나 확장은 완전한 형식적 인과 모델을 구성하는 데 방해가 되는 결함을 극복할 수 있는가?
• RQ5 양자 이론에 대해 완전한 형식적 인과 모델을 구성할 수 없는 것이 이론의 불완전성을 뒷받침하는 증거로 작용하는 이유는 무엇인가?

주요 결과

• 양자 이론에 대해 완전한 형식적 인과 모델을 구성하지 못한다는 것은, 그 이론의 불완전성을 강력하게 시사하는 것이며, 이는 완전성의 형식적 평가를 가능하게 하기 위한 필수 조건이기 때문이다.
• 완전성에 대한 반증(예: 현재 상태로부터 미래 상태를 예측할 수 없는 단일 사례를 식별하는 것)은 형식적 증명보다 더 신뢰할 수 있고 실현 가능하다.
• 양자 이론에 대한 형식 모델 부재는 단지 기술적 한계가 아니라, 특히 측정 문제와 상태 벡터 해석을 해결하지 못하는 기초적 결함을 나타낸다.
• 숨겨진 변수나 다른 공식화와 같은 제안된 해석이나 확장은 반드시 완전성을 보장하지는 않지만, 일부 향상 가능성을 가진다.
• 이론의 계산 가능성과 확장성 역시 긍정적으로 증명하는 데 어려움이 있지만, 형식 모델의 한계에서 유도된 부정적 결과(예: 비계산 가능성)는 더 견고하다.
• 논문은 물리 이론의 온톨로지적 내용과 구조를 형식적으로 명시하는 것이 그 이론의 글로벌 성질에 대한 신뢰할 수 있는 분석을 위해 필수적이라며, 이러한 프레임워크는 현재 양자 이론에서 부재하다고 결론을 내린다.