[논문 리뷰] A Comparison of Two Topos-Theoretic Approaches to Quantum Theory

Sander Wolters|arXiv (Cornell University)|2010. 10. 11.

Quantum Mechanics and Applications참고 문헌 27인용 수 8

한 줄 요약

이 논문은 양자역학에 대한 두 가지 토포스 이론적 접근 방식을 비교한다: 반변형 접근(이시아ム-버터필드-도링)과 공변형 접근(헤우넨-랜즈먼-스피터스). 이는 반변형 접근에서의 닫힌 열린 부분객체들의 헤이팅 대수(heyting algebra)가 준층 토포스 내에서 로케일(locale)을 이룬다는 것을 보이고, 이는 공변형 접근에서의 내부겔판트 스펙트럼과 비교된다. 주요 기여는 공변형 프레임워크에서 다세인리제이션(daseinisation)의 새로운 정의로, 스펙트럼 순서(spectral order) 하에서 두 접근 방식 간의 진리값이 동치임을 보여준다.

ABSTRACT

The aim of this paper is to compare the two topos-theoretic approaches to quantum mechanics that may be found in the literature to date. The first approach, which we will call the contravariant approach, was originally proposed by Isham and Butterfield, and was later extended by Doering and Isham. The second approach, which we will call the covariant approach, was developed by Heunen, Landsman and Spitters. Motivated by coarse-graining and the Kochen-Specker theorem, the contravariant approach uses the topos of presheaves on a specific context category, defined as the poset of commutative von Neumann subalgebras of some given von Neumann algebra. In particular, the approach uses the spectral presheaf. The intuitionistic logic of this approach is given by the (complete) Heyting algebra of closed open subob jects of the spectral presheaf. We show that this Heyting algebra is, in a natural way, a locale in the ambient topos, and compare this locale with the internal Gelfand spectrum of the covariant approach. In the covariant approach, a non-commutative C*-algebra (in the topos Set) defines a commutative C*-algebra internal to the topos of covariant functors from the context category to the category of sets. We give an explicit description of the internal Gelfand spectrum of this commutative C*-algebra, from which it follows that the external spectrum is spatial. Using the daseinisation of self-adjoint operators from the contravariant approach, we give a new definition of the daseinisation arrow in the covariant approach and compare it with the original version. States and state-proposition pairing in both approaches are compared. We also investigate the physical interpretation of the covariant approach.

연구 동기 및 목표

• 두 토포스 이론적 접근 방식—반변형(Isham-Butterfield-Döring)과 공변형(Heunen-Landsman-Spitters)—의 논리적 구조를 비교하는 것.
• 반변형 접근에서의 닫힌 열린 부분객체들의 헤이팅 대수와 공변형 접근에서의 내부겔판트 스펙트럼 간의 관계를 조사하는 것.
• 공변형 프레임워크 내에서 다세인리제이션의 새로운, 내부적으로 일관된 정의를 제시하여 반변형 다세인리제이션 맵과 일치시키는 것.
• 두 접근 방식에서 상태-명제 쌍의 진리값을 비교하고, 지식 기반 대비 성질 할당 관점에서 물리적 해석을 명확히 하는 것.
• 내부 언어와 토포스 이론적 의미론이 두 접근 방식을 통합하는 데 어떻게 기여할 수 있는지 탐색하고, 향후 형식주의의 방향을 제안하는 것.

제안 방법

• 반변형 토포스 $[\nV(A)^{\text{op}}, \textbf{Set}]$ 내에서 스펙트럼 준층(spectral presheaf)을 구성하고, 그 닫힌 열린 부분객체들을 연구하여 로케일을 형성하는 것.
• 열린 부분객체의 로케일을 기하학적 그림으로 표현하기 위해, 맥락 카테고리 $\nV(A)$ 위에 있는 위상공간의 병렬(bundle) $\nSigma^*$ 를 도입하는 것.
• 공변형 토포스 $[\nV(A), \textbf{Set}]$ 내에서 내부적으로 정의된 가환 C*-대수의 내부겔판트 스펙트럼을 분석하고, 그것이 공간적(spatial)임을 보이는 것.
• 공변형 접근에서의 원초적 명제를 두 가지 버전으로 정의: $[a\to(p,q)]_1$ 과 $[a\to(p,q)]_2$, 각각 내부 다세인리제이션과 외부 다세인리제이션을 사용하는 것.
• 스펙트럼 순서를 활용하여 공변형 접근에서의 다세인리제이션 맵을 재해석함으로써, 새로운 내부 일관성 있는 정의를 제공하는 것.
• 두 접근 방식에서 상태-명제 쌍의 진리값을 비교하고, 정리 4.9를 통해 스펙트럼 순서 하에서 동치임을 보이는 것.

실험 결과

연구 질문

• RQ1 반변형 접근에서의 닫힌 열린 부분객체들의 헤이팅 대수와 공변형 접근에서의 내부겔판트 스펙트럼 간의 논리적 관계는 무엇인가?
• RQ2 공변형 접근에서의 다세인리제이션 맵을 반변형 다세인리제이션과 일치시키면서도 내부 일관성을 유지할 수 있도록 재정의할 수 있는가?
• RQ3 공변형 접근에서의 진리값의 물리적 해석은 무엇이며, 지식 기반 대비 성질 할당 관점에서 반변형 해석과 어떻게 다를까?
• RQ4 반변형 접근의 굵은-해상도 의미론(semantics)을 고려할 때, 토포스 $[\nV(A), \textbf{Set}]$ 의 내부 언어는 얼마나 의미 있게 사용될 수 있는가?
• RQ5 두 접근 방식을 하나의 형식주의로 통합할 수 있는가? 이는 맥락 간의 굵은-해상도와 정밀화를 모두 허용할 수 있어야 한다.

주요 결과

• 반변형 접근에서 스펙트럼 준층의 닫힌 열린 부분객체들의 헤이팅 대수는 토포스 $[\nV(A)^{\text{op}}, \textbf{Set}]$ 내에서 로케일을 이룬다.
• 열린 부분객체의 로케일은 $\nSigma^* \to \nV(A)$ 의 위상공간 병렬로 표현되며, 이는 컴팩트하지만 일반적으로 정규적이지 않다.
• 공변형 접근에서의 가환 C*-대수의 내부겔판트 스펙트럼은 공간적(spatial)이며, 충분한 점을 가진 로케일에서 유래된다.
• 공변형 접근에서의 두 가지 원초적 명제 버전—$[a\to(p,q)]_1$ 과 $[a\to(p,q)]_2$—는 스펙트럼 순서 하에서 동일한 진리값을 갖는다. 이는 정리 4.9에서 입증되었다.
• 스펙트럼 순서를 기반으로 한 공변형 접근에서의 다세인리제이션의 새로운 정의는 반변형 다세인리제이션 맵과 일치하는 내부적으로 일관된 구조를 제공한다.
• 공변형 접근에서의 진리는 특정 맥락에서 성질의 지식 기반 검증을 의미하는 반면, 반변형 접근에서의 진리는 시스템이 실제로 성질를 갖는 것을 반영한다. 즉, 공변형 진리는 맥락 간에 다세인리제이션을 통해 반변형 진리를 강화하는 방식이다.