Classes of mathematic models in which both probability and relativity can be said to be involved are discussed in probabilistic terminology. Mathematically, this implies combination of a group notation with probabilistic structure in a way that may be useful in applied mathematics. The best known example of a model, where both relativity and probability are involved, is the formalism of quantum theory. (C.E.S.)
Classes of mathematic models in which both probability and relativity can be said to be involved are discussed in probabilistic terminology. Mathematically, this implies combination of a group notation with probabilistic structure in a way that may be useful in applied mathematics. The best known example of a model, where both relativity and probability are involved, is the formalism of quantum theory. (C.E.S.)
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’.
Quantum mechanics is usually described in the terminology of probability theory even though the properties of the probability spaces associated with it are fundamentally different from the standard ones of probability theory. For example, Kolmogorov's axioms are not general enough to encompass the non-commutative situations that arise in quantum theory. There have been many attempts to generalise these axioms to meet the needs of quantum mechanics. The focus of these attempts has been the observation, first made by Birkhoff and von Neumann (1936), that the propositions associated with a quantum-mechanical system do not form a Boolean σ-algebra. There is almost universal agreement that the probability space associated with a quantum-mechanical system is given by the set of subspaces of a separable Hilbert space, but there is disagreement over the algebraic structure that this set represents. In the most popular model for the probability space of quantum mechanics the propositions are assumed to form an orthocomplemented lattice (Mackey (1963), Jauch (1968)). The fundamental concept here is that of a partial order, that is a binary relation that is reflexive and transitive but not symmetric. The partial order is interpreted as embodying the logical concept of implication in the set of propositions associated with the physical system. Although this model provides an acceptable mathematical expression of the probabilistic structure of quantum mechanics in that the subspaces of a separable Hilbert space give a representation of an ortho-complemented lattice, it has several deficiencies which will be discussed later.
Chapter 1: On the existence of quantum representations for two dichotomic measurements. Under which conditions do outcome probabilities of measurements possess a quantum-mechanical model? This kind of problem is solved here for the case of two dichotomic von Neumann measurements which can be applied repeatedly to a quantum system with trivial dynamics. The solution uses methods from the theory of operator algebras and the theory of moment problems. The ensuing conditions reveal surprisingly simple relations between certain quantum-mechanical probabilities. It also shown that generally, none of these relations holds in general probabilistic models. This result might facilitate further experimental discrimination between quantum mechanics and other general probabilistic theories. Chapter 2: Possibilistic Physics. I try to outline a framework for fundamental physics where the concept of probability gets replaced by the concept of possibility. Whereas a probabilistic theory assigns a state-dependent probability value to each outcome of each measurement, a possibilistic theory merely assigns one of the state-dependent labels "possible to occur" or "impossible to occur" to each outcome of each measurement. It is argued that Spekkens' combinatorial toy theory of quantum mechanics is inconsistent in a probabilistic framework, but can be regarded as possibilistic. Then, I introduce the concept of possibilistic local hidden variable models and derive a class of possibilistic Bell inequalities which are violated for the possibilistic Popescu-Rohrlich boxes. The chapter ends with a philosophical discussion on possibilistic vs. probabilistic. It can be argued that, due to better falsifiability properties, a possibilistic theory has higher predictive power than a probabilistic one. Chapter 3: The quantum region for von Neumann measurements with postselection. It is determined under which conditions a probability distribution on a finite set can occur as the outcome distribution of a quantum-mechanical von Neumann measurement with hyphenation given that the scalar product between the initial and the final state is known as well as the success probability of the postselection. An intermediate von Neumann measurement can enhance transition probabilities between states such that the error probability shrinks by a factor of up to 2. Chapter 4: A presentation of the category of stochastic matrices. This chapter gives generators and relations for the strict monoidal category of probabilistic maps on finite cardinals (i.e., stochastic matrices). Chapter 5: Convex Spaces: Definition and Examples. We try to promote convex spaces as an abstract concept of convexity which was introduced by Stone as "barycentric calculus''. A convex space is a set where one can take convex combinations in a consistent way. By identifying the corresponding Lawvere theory as the category from chapter 4 and using the results obtained there, we give a different proof of a result of Swirszcz which shows that convex spaces can be identified with algebras of a finitary version of the Giry monad. After giving an extensive list of examples of convex sets as they appear throughout mathematics and theoretical physics, we note that there also exist convex spaces that cannot be embedded into a vector space: semilattices are a class of examples of purely combinatorial type. In an information-theoretic interpretation, convex subsets of vector spaces are probabilistic, while semilattices are possibilistic. Convex spaces unify these two concepts.
In this chapter, we consider the way quantum theory represents deterministic, statistical, and probabilistic aspects of Nature. After a discussion in Section 3.1 of uncertainty in general, we discuss in Sections 3.2-3.4 several formal notions of classical probability, their relation to the probability concept used in applied statistics, and their dependence on the description used. Section 3.5 briefly discusses various examples, where probabilistic features emerge from fully deterministic situations-a theme to be taken up in much more detail in Chapter 11. Section 3.6 then shows how the statistical aspects of the quantum formalism naturally follow from the weak law of large numbers. The notions of c-probability in the classical case and of q-probability in the quantum case are formally defined in Section 3.7. Historically, the concept of classical probability (including its use in stochastic processes) was given an undisputed formal mathematical foundation in 1933 in terms of the measure-theoretic setting of Kolmogorov [164]. Apart from this traditional axiomatic foundation of classical probability theory, there is a less well-known equivalent axiomatic treatment by Whittle [302] in terms of expectations. Here probabilities appear as the expectations of statements, {0, 1}-valued random variables. von Plato [240] discusses the history of the concept of probability. Krüger et al. [169] discuss the history of probability in the various fields of application. Sklar [275] discusses the philosophical problems of the probability concept, with an emphasis on statistical mechanics.
This is an introductory article presenting some basic ideas of quantum probability. From a discussion of simple experiments with polarized light and a card game we deduce the necessity of extending the body of classical probability theory. For a class of systems, containing classical systems with finitely many states, a probabilistic model is developed. It can describe, in particular, the polarization experiments. Some examples of quantum coin tosses are discussed, closely related to V.F.R. Jones approach to braid group representations, to spin relaxion, and to nuclear magnetic resonance. In an appendix we indicate the steps which lead to the full mathematical model of quantum probability.