[논문 리뷰] Quantum Probability Theory and the Foundations of Quantum Mechanics

Jürg Fröhlich, Baptiste Schubnel|arXiv (Cornell University)|2013. 10. 05.

Quantum Mechanics and Applications인용 수 6

한 줄 요약

이 논문은 양자 확률 이론과 연산자 대수 기법—특히 토미타-타케사키 모듈라 이론—을 적용하여 양자역학의 기초 문제를 재구성한다. 바나흐-바나흐 대수에서의 정보 손실, 얽힘, 조건부 기대를 중심으로 하여, 경험적 성질과 측정을 수학적으로 엄밀한 프레임워크로 정의함으로써, 상태의 대수의 중심화자와 중심이 모듈라 자동형사 불변성과 조건부 기대를 통해 측정 가능한 관측 가능성을 암시함을 보여준다.

ABSTRACT

We attempt to contribute some novel points of view to the "foundations of quantum mechanics", using mathematical tools from "quantum probability theory" (such as the theory of operator algebras). We first introduce an abstract algebraic framework for the formulation of mathematical models of physical systems that is general enough to encompass classical and quantum mechanical models. After a short discussion on the properties of classical systems (realism and determinism), we move on to the study of a general class of quantum-mechanical models of physical systems and explain what some of the key problems in a quantum theory of observations and measurements are. In the last part of our essay, we attempt to elucidate the roles played by entanglement between a system and its environment and of information loss in understanding "decoherence" and "dephasing", which are key mechanisms in a quantum theory of measurements and experiments. We also discuss the problem of "time in quantum mechanics" and sketch an answer to the question when an experiment can be considered to have been completed successfully.

연구 동기 및 목표

• 양자 확률 이론과 연산자 대수를 사용하여 해석적 논쟁을 넘어서 양자역학의 기초를 재구성하는 것.
• 조건부 기대와 모듈라 자동형사와 같은 수학적 구조를 기반으로 하여 양자 기초 이론의 개념적 위기를 해결하는 것.
• 정보 손실과 상태 분리의 관점에서 양자역학에서의 측정과 관측의 본질을 명확히 하는 것.
• 충실한 상태 하에서 바나흐-바나흐 대수의 중심화자와 중심이 모듈라 불변성에 의해 측정 가능한 안정된 관측 가능성을 나타냄을 보여주는 것.
• 비파괴 측정과 양자 시스템에서 경험적 성질의 역학을 위한 엄밀한 수학적 프레임워크를 제공하는 것.

제안 방법

• 물리 시스템을 $C^*$- 및 바나흐-바나흐 대수로 모델링하며, 상태는 이러한 대수 위의 양의 선형 함수로 표현된다.
• 모듈라 자동형사 군 $\alpha_\sigma(a) = \Delta_\omega^{i\sigma} a \Delta_\omega^{-i\sigma}$를 정의하기 위해 토미타-타케사키 모듈라 이론을 적용하여 시간 진동을 상태의 구조와 연결한다.
• 조건부 기대 $\epsilon^\omega$ 및 $\dot{\epsilon}^\omega$를 도입하여 대수에서 중심화자와 중심으로의 사영을 정의하며, $\omega(a) = \omega(\epsilon^\omega(a))$를 보장한다.
• 경험적 성질을 조건부 기대 $\dot{\epsilon}^\omega(a) = a^\omega$를 통해 정의하며, 이는 중심화자의 중심으로의 연산자 사영을 나타내어 측정 가능한 양을 표현한다.
• 모듈라 연산자 $\Delta_\omega$의 KMS 조건과 스펙트럼 성질을 사용하여 분리되고 정상적인 상태를 특성화하여 수학적 일관성을 확보한다.
• 타케사키의 정리를 적용하여 부분대수가 모듈라 군에 대해 불변이 되는 것은 유일한 노름 1의 조건부 기대가 그 위로 존재할 조건과 동치임을 증명함으로써, 대수적 구조와 물리적 측정 가능성 간의 연결을 맺는다.

실험 결과

연구 질문

• RQ1 조건부 기대와 같은 대수적 구조를 사용하여 양자역학에서 경험적 성질을 엄밀히 정의할 수 있는가?
• RQ2 토미타-타케사키 모듈라 자동형사 군은 측정 가능한 관측 가능성과 시간 진동을 특성화하는 데 어떤 역할을 하는가?
• RQ3 정보 손실과 얽힘은 바나흐-바나흐 대수와 그 부분대수의 구조에 어떻게 나타나는가?
• RQ4 바나흐-바나흐 대수 $\mathcal{M}$ 위의 상태 $\omega$가 중심화자나 중심으로의 잘 정의된 조건부 기대를 허용하는 조건은 무엇인가?
• RQ5 부분대수가 모듈라 군에 대해 불변일 경우, 이는 양자 시스템에서 비파괴 측정의 존재와 어떻게 관련되는가?

주요 결과

• 상태 $\omega$가 바나흐-바나흐 대수 $\mathcal{M}$ 위에 있을 때 중심화자 $\mathcal{C}^\omega_\mathcal{M}$는 토미타-타케사키 모듈라 자동형사 군의 고정점 집합이며, 즉 $\mathcal{C}^\omega_\mathcal{M} = \{a \in \mathcal{M} \mid \Delta_\omega^{i\sigma} a \Delta_\omega^{-i\sigma} = a \text{ for all } \sigma \in \mathbb{R}\}$이다.
• 부분대수 $\mathcal{N} \subset \mathcal{M}$이 모듈라 자동형사 군에 대해 불변이 되는 것은, 모든 $a \in \mathcal{M}$에 대해 $\omega(a) = \omega(\epsilon(a))$를 만족하는 노름 1, $\sigma$-약한 연속성 조건부 기대 $\epsilon: \mathcal{M} \to \mathcal{N}$가 존재하는 것과 동치이다.
• 상태 $\omega$에서 연산자 $a$의 분산은 $\Delta^\omega_t a = \sqrt{\omega((a - a^\omega)^* (a - a^\omega))}$로 정의되며, 여기서 $a^\omega = \dot{\epsilon}^\omega(a)$로 정의되어 경험적 값의 불확실성을 측정한다.
• 상태 $\omega$가 $\mathcal{M}$에 대해 분리적일 경우, 조건 $\{a, \omega\}_\mathcal{M} = 0$은 모든 $\sigma \in \mathbb{R}$에 대해 $\Delta_\omega^{i\sigma} a \Delta_\omega^{-i\sigma} = a$와 동치이며, 이는 대수적 교환과 모듈라 불변성 간의 연결을 암시한다.
• 중심화자 $\mathcal{C}^\omega_\mathcal{M}$로의 조건부 기대 $\epsilon^\omega$는 $\epsilon^\omega(a) = a$이면 오직 $a$가 중심화자 내 모든 원소와 교환 가능할 때에만 성립함을 보여주며, 이는 상태의 구조와의 일관성을 보장한다.
• 특수한 경우로 $\omega$가 $\mathcal{E}^\omega_{\geq t}$에 대해 분리적일 경우, 밀도 행렬 $\rho^\omega_{\geq t}$는 엄밀히 양의 고유값을 가져야 하며, 이는 잘 정의된 조건부 기대 $\epsilon^\omega_{\geq t}$ 및 $\dot{\epsilon}^\omega_{\geq t}$의 존재를 보장한다.