[논문 리뷰] Some Reflections on the Status of Conventional Quantum Theory when Applied to Quantum Gravity

C. J. Isham|ArXiv.org|2002. 06. 13.

Quantum Mechanics and Applications참고 문헌 19인용 수 28

한 줄 요약

이 논문은 전통적인 양자 이론이 실수/복소수 및 점집합 위상수학과 같은 연속 구조에 의존하는 것이 양자 중력 이론과 본질적으로 불일치할 수 있으며, 이는 시공간 자체가 이산적이거나 고전적이지 않을 수 있음을 시사한다. 이를 해결하기 위해 토포스 이론, 특히 프레샤프 논리와 시브-값 할당을 통해 물리적 명제에 대해 맥락에 따라 결정되는 다가치 진리값을 부여할 수 있는 프레임워크를 제안한다. 이는 코헨-스피커 정리의 일반화를 가능하게 하며, 사전에 연속 구조를 전제로 하지 않는 양자이론의 수립을 가능하게 한다.

ABSTRACT

All current approaches to quantum gravity employ essentially standard quantum theory including, in particular, continuum quantities such as the real or complex numbers. However, I wish to argue that this may be fundamentally wrong in so far as the use of these continuum quantities in standard quantum theory can be traced back to certain {\em a priori} assumptions about the nature of space and time: assumptions that may be incompatible with the view of space and time adopted by a quantum gravity theory. My conjecture is that in, some yet to be determined sense, to each type of space-time there is associated a corresponding type of quantum theory in which continuum quantities do not necessarily appear, being replaced with structures that are appropriate to the specific space-time. Topos theory then arises as a possible tool for `gluing' together these different theories associated with the different space-times. As a concrete example of the use of topos ideas, I summarise recent work applying presheaf theory to the Kochen-Specher theorem and the assignment of values to physical quantities in a quantum theory.

연구 동기 및 목표

• 표준 양자이론이 실수/복소수 및 점집합 위상수학을 사용하는 것이 양자 중력에서 보편적으로 타당한가에 대한 가정을 도전한다.
• 양자 중력에서 시공간의 구조가 연속적이지 않은 수학적 기초를 가진 다른 종류의 양자이론이 필요할 수 있는지를 조사한다.
• 다양한 시공간 배경에 해당하는 서로 다른 양자이론을 통합할 수 있는 수학적 프레임워크로서 토포스 이론을 탐색한다.
• 프레샤프 이론이 양자역학에서 물리적 양의 할당을 일반화하면서도 기능적 일致성(FUNC)을 유지하는 방식으로 작용할 수 있음을 보여준다.

제안 방법

• 공역의 아벨 부분대수의 부분순서집합 위의 프레샤프 카테고리에 기반한 토포스 이론을 사용하여 물리적 양에 대한 일반화된 진리값을 정의한다.
• 관측가 Â와 보렐 집합 Δ에 대해, 상태 ψ가 스펙트럼 프로젝터의 범위에 속하는 모든 준동형 f:Â→B̂의 집합을 할당하는 시브-값 할당 ν^ψ(A∈Δ)를 구성한다.
• 할당을 다음과 같은 조건으로 정의한다: f ∈ ν^ψ(A∈Δ) iff Prob(B∈f(Δ);ψ) = 1. 이는 보른 규칙과 연결된다.
• 이 할당이 기능적 해석 조건(FUNC)을 만족함을 보여, 양자논리와의 일致성을 확보한다.
• 이 프레임워크를 사용하여 고전적 진리값을 시브-값 할당 및 맥락에 의존하는 할당으로 대체함으로써 코헨-스피커 정리를 일반화한다.
• 특히 시공간이 기본적이지 않은 영역에서 시공간의 유형에 따라 다른 양자이론을 '접합'할 수 있도록 허용하는 메커니즘으로서 토포스 이론의 가능성을 제안한다.

실험 결과

연구 질문

• RQ1 양자이론에서 실수와 같은 연속 구조의 사용이, 시공간이 연속적이지 않을 수 있는 양자 중력 이론에서는 본질적으로 불일치할 수 있는가?
• RQ2 표준 점집합 위상수학이나 연속 구조를 전제로 하지 않고, 오히려 기초적인 시공간 기하학으로부터 유도되는 수학적 구조를 가진 양자이론을 구성할 수 있는가?
• RQ3 프레샤프와 시브-값 할당을 통해 토포스 이론이 양자역학에서 물리적 명제에 대해 맥락에 따라 결정되는 일致성 있는 논리적 진리값을 어떻게 부여할 수 있는가?
• RQ4 코헨-스피커 정리를 토포스 이론 프레임워크로 재구성하여 맥락성 문제를 피하면서도 기능적 일치성을 유지할 수 있는가?
• RQ5 토포스 이론은 양자 중력에서 서로 다른 시공간 배경에 의해 유도되는 서로 다른 양자이론을 통합하는 데 어떻게 유일한 수학적 프레임워크로 기능할 수 있는가?

주요 결과

• 각 양자 상태 ψ와 관측가 Â에 대해, Â의 스펙트럼의 보렐 집합 Δ에 대해, ψ가 스펙트럼 프로젝터 E[B∈f(Δ)]의 범위에 속하는 모든 준동형 f:Â→B̂의 집합을 할당하는 시브-값 할당 ν^ψ(A∈Δ)를 정의한다.
• 이 할당은 기능적 해석 조건(FUNC)을 만족하여, 맥락에 따라 일반화된 형태로 표준 양자이론의 예측과 일치함을 보장한다.
• 이 할당은 보른 규칙 확률 Prob(B∈f(Δ);ψ) = 1 과 동치이며, 표준 양자역학과 직접 연결된다.
• 이 프레임워크는 고전적 진리값을 프레샤프의 토포스 내부에서 맥락에 따라 결정되는 다가값 논리로 대체함으로써, 코헨-스피커 정리 하에서의 진리값 할당 문제를 해결한다.
• 토포스 이론은 시공간이 기본적이지 않은 영역에서 서로 다른 시공간 구조와 관련된 서로 다른 양자이론을 자연스럽게 통합할 수 있는 수학적 도구를 제공한다.
• 논문은 표준 양자이론의 전반적인 체계—힐베르트 공간, [0,1] 범위의 확률, 연속값을 가진 관측가—가 양자 중력에서 기본적인 것이 아니라, 오히려 기원적인 것이 될 수 있음을 제안한다.