Max Born's statistical interpretation made probabilities play a major role in quantum theory. Here we show that these quantum probabilities and the classical probabilities have very different origins. Although the latter always result from an assumed probability measure, the first include transition probabilities with a purely algebraic origin. Moreover, the general definition of transition probability introduced here comprises not only the well-known quantum mechanical transition probabilities between pure states or wave functions, but further physically meaningful and experimentally verifiable novel cases. A transition probability that differs from 0 and 1 manifests the typical quantum indeterminacy in a similar way as Heisenberg's and others' uncertainty relations and, furthermore, rules out deterministic states in the same way as the Bell-Kochen-Specker theorem. However, the transition probability defined here achieves a lot more beyond that: it demonstrates that the algebraic structure of the Hilbert space quantum logic dictates the precise values of certain probabilities and it provides an unexpected access to these quantum probabilities that does not rely on states or wave functions.
Max Born's statistical interpretation made probabilities play a major role in quantum theory. Here we show that these quantum probabilities and the classical probabilities have very different origins. Although the latter always result from an assumed probability measure, the first include transition probabilities with a purely algebraic origin. Moreover, the general definition of transition probability introduced here comprises not only the well-known quantum mechanical transition probabilities between pure states or wave functions, but further physically meaningful and experimentally verifiable novel cases. A transition probability that differs from 0 and 1 manifests the typical quantum indeterminacy in a similar way as Heisenberg's and others' uncertainty relations and, furthermore, rules out deterministic states in the same way as the Bell-Kochen-Specker theorem. However, the transition probability defined here achieves a lot more beyond that: it demonstrates that the algebraic structure of the Hilbert space quantum logic dictates the precise values of certain probabilities and it provides an unexpected access to these quantum probabilities that does not rely on states or wave functions.
Max Born's statistical interpretation made probabilities play a major role in quantum theory. Here we show that these quantum probabilities and the classical probabilities have very different origins. While the latter always result from an assumed probability measure, the first include transition probabilities with a purely algebraic origin. Moreover, the general definition of transition probability introduced here comprises not only the well-known quantum mechanical transition probabilities between pure states or wave functions, but further novel cases. A transition probability that differs from 0 and 1 manifests the typical quantum indeterminacy in a similar way as Heisenberg's and others' uncertainty relations and, furthermore, rules out deterministic states in the same way as the Bell-Kochen-Specker theorem. However, the transition probability defined here achieves a lot more beyond that: it demonstrates that the algebraic structure of the Hilbert space quantum logic dictates the precise values of certain probabilities and it provides an unexpected access to these quantum probabilities that does not rely on states or wave functions.
Introduction Quantum probability is a generalization of both classical probability theory and quantum mechanics that allows to describe the probabilistic aspects of quantum mechanics. This generalization is formulated in two steps. First, the theory is reformulated in terms of algebras of functions on probability spaces. Therefore, the notion of a probability space (Ω, ℱ , P ) is replaced by the pair ( L ∞ (Ω), E (.) = ∫ Ω . d P ) consisting of the commutative von Neumann algebra of bounded random variables and the expectation functional. Then, the commutativity condition is dropped. In this way we arrive at the notion of a (von Neumann) algebraic probability space ( N ,Φ) consisting of a von Neumann algebra N and a normal (faithful tracial) state Φ. As we have seen this includes classical probability spaces in the form ( L ∞ (Ω), E ), it also includes quantum mechanical systems modeled by a Hilbert space H and a pure state ψ ∊ H (or a mixed state ρ ∊ S ( H )), if we take N = B ( H ) and Ф the state defined by Ф( X ) = 〈 ψ, X ψ 〉 (or Ф ( X ) = tr(ρ X )) for X ∊ B ( H ). Note that in this course we shall relax the conditions on N and Φ and work with involutive algebras and positive normalized functionals, that is, *-algebraic probability spaces. A striking feature of quantum probability (also called noncommutative probability) is the existence of several notions of independence. This is the starting point of this course, which intends to give an introduction to the theory of quantum stochastic processes with independent increments. However, before we come to these processes, we will give a general introduction to quantum probability. In Section 1.2, we recall the basic definitions of quantum probability and discuss some fundamental differences between classical probability and quantum probability. In Section 1.3 we address the question ‘Why do we need Quantum Probability?’ We discuss the EPR experiment and the Kochen–Specker Theorem, which show that we cannot model quantum physics with classical probability spaces because the values of observable quantities do not exist unless we specify which measurement we will carry out and which quantities we will determine. In this sense quantum physics requires a more radical description of chance.
This thesis is a review of the quantum logic approach to quantum probability theory which was first studied by Birkhoff and von Neumann in 1936. Our study is based on the more general quantum structure which is known as the sigma-orthocomplete orthomodular poset or quantum logic. We introduce the definitions of states and observables and show that the quantum probability theory is a generalization of the classical probability theory due to Kolmogorov. Discussions about joint distributions of observables are given, and we also give the general expression of the uncertainty relation in the logico-algebraic sense which generalizes the well-known Heisenberg uncertainty relation. Two examples, the classical probability structure of Kolmogorov and the Hilbert space quantum logic, are given as illustrations throughout the whole discussion.
Quantum logic has been introduced by Birkhoff and von Neumann as an attempt to base the logical primitives, the propositions and the relations and operations among them, on quantum theoretical entities, and thus on the related empirical evidence of the quantum world. We give a brief outline of quantum logic, and some of its algebraic properties, such as nondistributivity, whereby emphasis is given to concrete experimental setups related to quantum logical entities. A probability theory based on quantum logic is fundamentally and sometimes even spectacularly different from probabilities based on classical Boolean logic. We give a brief outline of its nonclassical aspects; in particular violations of Boole-Bell type consistency constraints on joint probabilities, as well as the Kochen-Specker theorem, demonstrating in a constructive, finite way the scarcity and even nonexistence of two-valued states interpretable as classical truth assignments. A more complete introduction of the author can be found in the book "Quantum Logic" (Springer, 1998)
Quantum probability and quantum mechanics The formalism of quantum probability theory Discussions of quantum mechanics are often confused by a lack of clarity about what exactly constitutes ‘quantum mechanics’. It is therefore useful to try at the start to isolate a consistent mathematical core of quantum mechanics, and consider anything that goes beyond this core to be ‘interpretation’. For us, this core is quantum probability theory. Quantum probability is a generalization of classical probability, and therefore I begin with a brief review of the latter. I assume that the reader has some familiarity with the ideas of probability theory. What follows is just to provide a quick review, and to establish some notation and terminology. In modern classical probability theory, probabilities are defined over algebras of events. The motivation is straightforward: we begin with a set of ‘primitive’, or ‘simple’, events (the ‘sample space’), and form an algebra of events by taking all logical combinations of the simple events. For example, let us take the simple events to be the possible results of rolling a six-sided die one time, so that the sample space is the set {1,2,3,4,5,6}. We then form an algebra of events from the sample space by taking all possible logical combinations of the simple events. Logical combinations include, for example, ‘either 3 or 5’ and ‘not 3 and not 2’.
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C*-algebra of observables A induces a topos T(A) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra A . According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum Σ(A) in T(A) , which in our approach plays the role of the quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on Σ , and self-adjoint elements of A define continuous functions (more precisely, locale maps) from Σ to Scott’s interval domain. Noting that open subsets of Σ(A) correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos T(A) .These results were inspired by the topos-theoretic approach to quantum physics proposed by Butterfield and Isham, as recently generalized by Döring and Isham.