[논문 리뷰] A Topos Perspective on the Kochen-Specker Theorem: III. Von Neumann Algebras as the Base Category

John R. Hamilton, C. J. Isham외 1명|ArXiv.org|1999. 11. 05.

Quantum Mechanics and Applications참고 문헌 4인용 수 16

한 줄 요약

이 논문은 유계 연산자나 부울 부분대수에 기반한 이전 프레임워크를 일반화하기 위해 기저 범주로 교환적 von Neumann 대수를 도입함으로써 양자역학에 대한 토포스 이론적 접근을 확장한다. 스펙트럼 프로젝터와 아이디얼을 통해 심의 값 부여와 간격 값 부여 사이의 자연스러운 대응 관계를 확립하며, 양자 상태가 그들의 지지 프로젝터를 통해 스펙트럼 준층의 부분대상으로 유도됨을 보여준다.

ABSTRACT

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann algebras as a base category (Section 2); and the relation of our generalized valuations to (i) the assignment to quantities of intervals of real numbers, and (ii) the idea of a subobject of the coarse-graining presheaf (Section 3).

연구 동기 및 목표

• 유계 연산자나 부울 부분대수의 범주를 초월하여 양자 값 부여에 대한 토포스 이론적 프레임워크를 일반화하기 위해.
• 일반화된 값 부여를 정의하기 위한 자연스럽고 더 일반적인 기저 범주로 교환적 von Neumann 대수를 설정하기 위해.
• 양자 이론에서 심의 값 부여와 간격 값 부여 사이의 관계를 명확히 하기 위해.
• 양자 상태가 von Neumann 대수 프레임워크 내에서 그들의 지지 프로젝터를 통해 스펙트럼 준층의 부분대상을 어떻게 유도하는지 보여주기 위해.

제안 방법

• 기저 범주로 $\cal V$를 정의한다. 이는 $B(\cal H)$의 교환적 von Neumann 부분대수의 범주이며, 포함관계를 사상으로 사용한다.
• 범주 $\cal V$ 위에서 스펙트럼 준층 $\bf\Sigma$와 쌍대 준층 $\bf D$를 정의하며, 이는 이전의 $\cal O$와 $\cal W$ 위에서의 구성들을 일반화한다.
• 함수 관계를 유지하는 $\cal V$ 내의 사상의 심의를 할당하여, $\Delta$ 내의 문장에 대한 심의 값 부여를 구성한다.
• 각 $V \in \cal V$의 Gelfand 스펙트럼 $\sigma(V)$ 위에 스펙트럼 위상 구조를 도입하여 프로젝터에 대응하는 닫힌-열린 부분집합을 정의한다.
• 특히 상태의 지지 프로젝터에 대응하는 아이디얼 $\iota^\psi(V) = \{ \hat{A} \in V \mid \hat{A}\psi = 0 \}$를 통한 아이디얼을 통해 간격 값 부여를 정의한다.
• 최대 프로젝터 $\hat{Q}_{\rm max} = \sup \mathcal{P}(\iota^\psi(V))$가 $\sigma(V)$의 닫힌-열린 부분집합을 정의하며, 이는 준층 $\bf\Sigma$의 부분대상 $\bf I^\rho$에 대응한다.

실험 결과

연구 질문

• RQ1 유계 연산자나 부울 부분대수의 범주를 초월하여 양자 값 부여에 대한 토포스 이론적 프레임워크를 어떻게 일반화할 수 있는가?
• RQ2 von Neumann 대수의 맥락에서 심의 값 부여와 간격 값 부여 사이의 관계는 무엇인가?
• RQ3 기저 범주가 $\cal V$일 때, 양자 상태는 스펙트럼 준층 $\bf\Sigma$의 어떤 부분대상을 유도하는가?
• RQ4 교환적 von Neumann 대수의 아이디얼이 자연스럽게 관측가능량에 대한 간격 값 부여를 유도할 수 있는가?
• RQ5 스펙트럼 위상 구조 $\sigma(V)$는 일반화된 값 부여 프레임워크에서 프로젝터와 닫힌-열린 부분집합의 해석에 어떻게 영향을 미치는가?

주요 결과

• $\cal V$의 교환적 von Neumann 대수의 범주는 $\cal O$나 $\cal W$보다 자연스럽고 더 일반적인 기저 범주를 제공하며, 둘 다 표준적인 방식으로 포함된다.
• 스펙트럼 준층 $\bf\Sigma$와 쌍대 준층 $\bf D$는 $\cal V$ 위에서 자연스럽게 정의될 수 있으며, 이는 이전 연구의 토포스 이론적 구조를 유지한다.
• $\Delta$ 내의 문장에 대한 심의 값 부여는 스펙트럼 함자를 통해 $\sigma(V)$의 닫힌-열린 부분집합과 대응되며, 이를 통해 위상적 연결 고리가 형성된다.
• von Neumann 대수 $V$ 내에서 양자 상태 $\psi$의 지지는 아이디얼 $\iota^\psi(V)$ 내의 최대 프로젝터 $\hat{Q}_{\rm max}$에 의해 기록되며, 이는 $\sigma(V)$의 닫힌-열린 부분집합에 대응한다.
• 이 지지 프로젝터 $\hat{Q}_{\rm max}$는 $\bf\Sigma$의 부분대상으로서 $\bf I^\rho$와 동형이 되는 부분대상을 정의한다. 이는 토포스 이론적 프레임워크에서 상태 $\rho$와 관련된 부분대상이다.
• 이 구성은 간격 값 부여가 자연스럽게 $V$의 아이디얼에서 유도됨을 보여주며, 관측가능량에 할당된 값의 집합을 나타내는 닫힌-열린 부분집합 $\{ \kappa \in \sigma(V) \mid \kappa(\hat{1} - \hat{Q}_{\rm max}) = 1 \}$가 존재한다.