Self-adjoint Operators as Functions II: Quantum Probability

arXiv1210.5747MaRDI QIDQ6236536FDOQ6236536

Publication date: 21 October 2012

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(Omega), the complete Boolean algebra of measurable subsets modulo null sets of a measurable space Omega. 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 Sigma 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 Sigma. We show that using the spectral presheaf Sigma and associated structures, quantum probability can be formulated in a way that is structurally very similar to classical probability.

This page was built for publication: Self-adjoint Operators as Functions II: Quantum Probability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6236536)