After briefly recalling some of the main theses of quantum probability concerning the foundational aspects of quantum mechanics and of probability theory, we describe the various categories of axioms in classical probability theory and focus our attention on the classical conditioning axioms. Four classical conditioning axioms are proposed, their probabilistic and model-independent meaning is discussed and it is proven that: (i) the only mathematical realization of these axioms is the classical Bayes rule (or equivalently the classical theorem of composite probabilities) and (ii) von Neumann's projection postulate, which can be considered one of the first examples of quantum conditioning axioms, violates two of these axioms. Finally, we construct an example showing that, even in classical probability, an uncritical application of Bayes' rule can lead to non-optimal predictions. This article is part of the theme issue 'Quantum theory and topology in models of decision making (Part 2)'.
After briefly recalling some of the main theses of quantum probability concerning the foundational aspects of quantum mechanics and of probability theory, we describe the various categories of axioms in classical probability theory and focus our attention on the classical conditioning axioms. Four classical conditioning axioms are proposed, their probabilistic and model-independent meaning is discussed and it is proven that: (i) the only mathematical realization of these axioms is the classical Bayes rule (or equivalently the classical theorem of composite probabilities) and (ii) von Neumann's projection postulate, which can be considered one of the first examples of quantum conditioning axioms, violates two of these axioms. Finally, we construct an example showing that, even in classical probability, an uncritical application of Bayes' rule can lead to non-optimal predictions. This article is part of the theme issue 'Quantum theory and topology in models of decision making (Part 2)'.
Abstract By formulating the axioms of quantum mechanics, von Neumann also laid the foundations of a “quantum probability theory”. As such, it is regarded a generalization of the “classical probability theory” due to Kolmogorov. Outside of quantum physics, however, Kolmogorov’s axioms enjoy universal applicability. This raises the question of whether quantum physics indeed requires such a generalization of our conception of probability or if von Neumann’s axiomatization of quantum mechanics was contingent on the absence of a general theory of probability in the 1920s. This work argues in favor of the latter position. In particular, it shows how to construct a mathematically rigorous theory for non-relativistic N -body quantum systems subject to a time-independent scalar potential, which is based on Kolmogorov’s axioms and physically natural random variables. Though this theory is provably distinct from its quantum-mechanical analog, it nonetheless reproduces central predictions of the latter. Further work may make an empirical comparison possible. Moreover, the approach can in principle be adapted to other classes of quantum-mechanical models. Part II of this series discusses the empirical violation of Bell inequalities in the context of this approach. Part III addresses the projection postulate and the question of measurement.
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.
In this paper, we will explore some of the basic elements of the mathematical formulation of quantum mechanics. In the first section, I will list the motivations for introducing a probability model that is quite different from that of the classical probability theory, but still shares quite a few significant commonalities. Later in the paper, I will discuss the quantum probability theory in detail, while paying a brief attention to some of the axioms (by Birkhoff and von Neumann) that illustrate both the commonalities and differences between classical mechanics and quantum mechanics. This paper will end with a presentation of two theorems that form the core of quantum mechanics.
This chapter contains a brief introduction to mathematical formalism and QM axiomatics. It is oriented to non-physicists. Since QM is a statistical theory it is natural to start with the classical probability model (Kolmogorov [ 191 ], 1933). Then we present the basics of the theory of Hilbert spaces and Hermitian operators and the representation of pure and mixed states by normalized vectors and density operators. This introduction is sufficient to formulate the axiomatics of QM in the form of five postulates. The projection postulate (the most questionable postulate of QM) is presented in a separate section. We sharply distinguish between the cases of quantum observables represented by Hermitian operators with nondegenerate and degenerate spectra, von Neumann’s and Ltiders’s forms of the projection postulate. The axiomatics is completed by a short section on the main interpretations of QM. The projection postulate (LUders’s form) plays a crucial role in the definition of quantum conditional (transition) probability. By operating with the latter we consider interference of probabilities for two incompatible observables as a modification of the formula of total probability by adding the interference term. This viewpoint to interference of probabilities was elaborated in a series of works by Khrennikov. Since classical probability theory is based on the 142 Boolean algebra of events, a violation of the law of total probability can be treated as the probabilistic sign of a violation of the laws of the Boolean logics. From this viewpoint, quantum theory can be considered as representing a new kind of logic, so-called quantum logic. The latter is also briefly presented in a separate section. We continue this review with a new portion of quantum mathematics, namely the notion of the tensor product of Hilbert spaces and the tensor product of operators. After the section on Dirac’s notation with ket and bra vector, we discuss briefly the notion of qubit and entanglement of a few qubits. This chapter concludes with a presentation of the detailed analysis of the probabilistic structure of the two-slit experiment in a bunch of different experimental contexts. This contextual structure leads to a violation of the law of total probability and non-Kolmogorovean probabilistic structure of this experiment.
Quantum theory can be viewed as a generalization of classical probability theory, but the analogy as it has been developed so far is not complete. Whereas the manner in which inferences are made in classical probability theory is independent of the causal relation that holds between the conditioned variable and the conditioning variable, in the conventional quantum formalism, there is a significant difference between how one treats experiments involving two systems at a single time and those involving a single system at two times. In this article, we develop the formalism of quantum conditional states, which provides a unified description of these two sorts of experiment. In addition, concepts that are distinct in the conventional formalism become unified: Channels, sets of states, and positive operator valued measures are all seen to be instances of conditional states; the action of a channel on a state, ensemble averaging, the Born rule, the composition of channels, and nonselective state-update rules are all seen to be instances of belief propagation. Using a quantum generalization of Bayes' theorem and the associated notion of Bayesian conditioning, we also show that the remote steering of quantum states can be described within our formalism as a mere updating of beliefs about one system given new information about another, and retrodictive inferences can be expressed using the same belief propagation rule as is used for predictive inferences. Finally, we show that previous arguments for interpreting the projection postulate as a quantum generalization of Bayesian conditioning are based on a misleading analogy and that it is best understood as a combination of belief propagation (corresponding to the nonselective state-update map) and conditioning on the measurement outcome.
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.