[논문 리뷰] Self-adjoint Operators as Functions II: Quantum Probability

Andreas Doering, Barry Dewitt|arXiv (Cornell University)|2012. 10. 21.

Spectral Theory in Mathematical Physics참고 문헌 34인용 수 9

한 줄 요약

이 논문은 보어-반아이어-반아이어 대각선 연산자를 von Neumann 대수의 사영 레이스터 위의 일반화된 분위수 함수로 해석함으로써 양자 확률의 새로운 공식화를 수립한다. 이는 스펙트럼 프레시프가 일반화된 표본 공간이 되는 토포스 이론적 프레임워크를 사용하며, 완전한 만족-반순서집합에서 누적 분포 함수와 분위수 함수 사이의 갈로아 연결을 통해 양자 확률이 고전적 확률과 유사하게 구조화될 수 있음을 보여준다. 이는 프레시프 기반 일반화된 집합을 통해 코헨-스피커 금기성을 극복한다.

ABSTRACT

In "Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order" [arXiv:1208.4724], it was shown that self-adjoint operators affiliated with a von Neumann algebra N can equivalently be described as certain real-valued functions on the projection lattice P(N) of the algebra, which we call q-observable functions. Here, we show that q-observable functions can be interpreted as generalised quantile functions for quantum observables interpreted as random variables. More generally, when L is a complete meet-semilattice, we show that L-valued cumulative distribution functions and the corresponding L-quantile functions form a Galois connection. An ordinary CDF can be written as an L-CDF composed with a state. For classical probability, one picks L=B(Ω), the complete Boolean algebra of measurable subsets modulo null sets of a measurable space Ω. For quantum probability, one uses L=P(N), the projection lattice of a nonabelian von Neumann algebra N. Moreover, using some constructions from the topos approach to quantum theory, we show that there is a joint sample space for all quantum observables, despite no-go results such as the Kochen-Specker theorem. Specifically, the spectral presheaf Σ of a von Neumann algebra N, which is not a mere set, but a presheaf (i.e., a 'varying set'), plays the role of the sample space. The relevant meet-semilattice L in this case is the complete bi-Heyting algebra of clopen subobjects of Σ. We show that using the spectral presheaf Σ and associated structures, quantum probability can be formulated in a way that is structurally very similar to classical probability.

연구 동기 및 목표

• 고전적 확률 개념—특히 누적 분포 함수와 분위수 함수—를 격자 이론적 구조를 사용하여 양자 영역으로 일반화하는 것.
• 고전적 확률과 양자 확률 사이의 구조적 불일치를 해결하기 위해 von Neumann 대수의 스펙트럼 프레시프를 통해 일반화된 표본 공간을 도입하는 것.
• 비불리안, 비가환 설정에서도 양자 관측량이 잘 정의된 분포 함수와 분위수 함수를 가진 랜덤 변수로 간주될 수 있음을 보여주는 것.
• 보른 규칙과 양자 확률이 상태와 닫힌 부분대상의 토포스 이론적 공식화로부터 자연스럽게 도출됨을 보여주는 것.
• 완전한 만족-반순서집합으로의 누적 분포 함수와 분위수 함수 사이의 갈로아 연결을 일반화하여 양자 확률에 적용하는 것.

제안 방법

• 논문은 von Neumann 대수 N의 사영 레이스터 P(N) 위의 실수 값 함수인 q-관측량 함수를 도입하며, 이들이 N에 연관된 자기수반 연산자와 일대일 대응됨을 보여준다.
• 완전한 만족-반순서집합 L에서 L-값 누적 분포 함수와 L-값 분위수 함수 사이의 갈로아 연결을 수립하며, 이는 고전적 확률을 비불리안 설정으로 일반화한다.
• von Neumann 대수의 스펙트럼 프레시프 Σ̲를 일반화된 표본 공간으로 사용하며, 고전적 표본 공간을 토포스 이론적 프레임워크 내에서 변화하는 집합으로 대체한다.
• 스펙트럼 프레시프의 닫힌 부분대상들은 완전한 이하이팅 대수를 형성하며, 이는 고전적 확률에서의 닫힌 집합의 불리안 대수를 일반화한다.
• 양자 랜덤 변수는 clopen subobject-값 매핑 A̲⁻¹: B(R̄) → Sub_cl Σ̲로 표현되며, 이는 사영-값 측정의 일반화이다.
• 상태는 스펙트럼 프레시프 위의 확률 측도 μρ로 정의되며, 양자 확률은 관측량을 포함하는 모든 컨텍스트 V에 대해 μρ의 최소값으로 계산된다.

실험 결과

연구 질문

• RQ1 양자 관측량은 고전적 랜덤 변수와 유사한 분위수 함수를 체계적으로 기술할 수 있는가?
• RQ2 누적 분포 함수와 분위수 함수는 양자 확률에서 비불리안 격자로 어떻게 일반화될 수 있는가?
• RQ3 코헨-스피커 정리에도 불구하고 모든 양자 관측량을 위한 공동 표본 공간을 구성할 수 있는가?
• RQ4 어느 정도까지 토포스 이론적 도구를 사용하여 양자 확률를 고전적 확률과 구조적으로 동형으로 만들 수 있는가?
• RQ5 보른 규칙과 같은 표준 양자역학적 확률은 일반화된 분포 함수 공식화로부터 어떻게 도출되는가?

주요 결과

• von Neumann 대수에 연관된 자기수반 연산자와 그 사영 레이스터 위의 q-관측량 함수 사이의 일대일 대응이 확립된다.
• 스펙트럼 프레시프 Σ̲는 모든 양자 관측량을 위한 일반화된 표본 공간으로 기능하며, 집합이 아닌 프레시프를 사용함으로써 코헨-스피커 정리를 우회한다.
• 임의의 완전한 만족-반순서집합 L에 대해 L-값 누적 분포 함수와 분위수 함수 사이의 갈로아 연결이 증명되며, 양자 경우 L = Sub_cl Σ̲이다.
• 양자 확률는 관측량을 포함하는 모든 컨텍스트 V에 대해 확률 측도 μρ의 최소값으로 계산되며, 이는 보른 규칙을 복원한다.
• 이 공식화는 고전적 확률 구조를 양자 시스템으로 일반화하며, 관측량의 역상은 닫힌 부분대상으로 매핑되고 확률은 토포스 내부 측도를 통해 할당된다.
• 이 프레임워크는 POVM과 비가환 확률로의 자연스러운 확장을 지원하며, 포크 공간과 양자장 이론에 응용 가능성이 있다.