Abstract Philosophical accounts of quantum theory commonly suppose that the observables of a quantum system form a Type-I factor von Neumann algebra. Such algebras always have atoms, which are minimal projection operators in the case of quantum mechanics. However, relativistic quantum field theory and the thermodynamic limit of quantum statistical mechanics make extensive use of von Neumann algebras of more general types. This chapter addresses the question whether interpretations of quantum probability devised in the usual manner continue to apply in the more general setting. Features of non-type I factor von Neumann algebras are cataloged. It is shown that these novel features do not cause the familiar formalism of quantum probability to falter, since Gleason's Theorem and the Lüders Rule can be generalized. However, the features render the problem of the interpretation of quantum probability more intricate.
Abstract Philosophical accounts of quantum theory commonly suppose that the observables of a quantum system form a Type-I factor von Neumann algebra. Such algebras always have atoms, which are minimal projection operators in the case of quantum mechanics. However, relativistic quantum field theory and the thermodynamic limit of quantum statistical mechanics make extensive use of von Neumann algebras of more general types. This chapter addresses the question whether interpretations of quantum probability devised in the usual manner continue to apply in the more general setting. Features of non-type I factor von Neumann algebras are cataloged. It is shown that these novel features do not cause the familiar formalism of quantum probability to falter, since Gleason's Theorem and the Lüders Rule can be generalized. However, the features render the problem of the interpretation of quantum probability more intricate.
One of von Neumann’s motivations for developing the theory of operator algebras and his and Murray’s 1936 classification of factors was the question of possible decompositions of quantum systems into independent parts. For quantum systems with a finite number of degrees of freedom the simplest possibility, i.e., factors of type I in the terminology of Murray and von Neumann, are perfectly adequate. In relativistic quantum field theory (RQFT), on the other hand, factors of type III occur naturally. The same holds true in quantum statistical mechanics of infinite systems. In this brief review some physical consequences of the type III property of the von Neumann algebras corresponding to localized observables in RQFT and their difference from the type I case will be discussed. The cumulative effort of many people over more than 30 years has established a remarkable uniqueness result: The local algebras in RQFT are generically isomorphic to the unique, hyperfinite type III1 factor in Connes ’ classification of 1973. Specific theories are characterized by the net structure of the collection of these isomorphic algebras for different space-time regions, i.e., the way they are embedded into each other. John von Neumann was the father of the Hilbert space formulation of quantum mechanics [1] that has been the basis of almost all mathematically rigorous investigations of the theory to this day. We start by recalling the main concepts and explaining some notations.
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.
The mathematics of classical probability theory was subsumed into classical measure theory by Kolmogorov in 1933.Quantum theory as nonclassical probability theory was incorporated into the beginnings of noncommutative measure theory by von Neumann in the early thirties, as well.To precisely this end, von Neumann initiated the study of what are now called von Neumann algebras and, with Murray, made a first classification of such algebras into three types.The nonrelativistic quantum theory of systems with finitely many degrees of freedom deals exclusively with type I algebras.However, for the description of further quantum systems, the other types of von Neumann algebras are indispensable.The paper reviews quantum probability theory in terms of general von Neumann algebras, stressing the similarity of the conceptual structure of classical and noncommutative probability theories and emphasizing the correspondence between the classical and quantum concepts, though also indicating the nonclassical nature of quantum probabilistic predictions.In addition, differences between the probability theories in the type I, II and III settings are explained.A brief description is given of quantum systems for which probability theory based on type I algebras is known to be insufficient.These illustrate the physical significance of the previously mentioned differences.
Abstract This chapter elucidates quantum probabilities in the formal apparatus of quantum mechanics, while not taking sides about interpretive issues. A central contention is that the notion of a probability measure should not be captured in the usual classical framework, but instead in the more general framework of effect algebras. Two formulations of quantum mechanics in this framework are provided: one using projection-valued measures, another using positive-operator-valued measures. The chapter presents several versions of the Born Rule and critically examines justifications that have been proposed for the Born Rule. The chapter concludes with laying down the perennial puzzles about probability in quantum mechanics such as quantum correlations.
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.
QM∞ includes quantum field theory and the thermodynamic limit of quantum statistical mechanics — theories which, unlike the 'ordinary' quantum theories typically discussed by philosophers, concern infinite systems. The mathematical framework appropriate for the presentation of a theory of ordinary quantum mechanics is essentially unique. For theories of QM∞, this is not so. This prompts interpretive questions—for instance, about what makes a quantum theory the quantum theory it is — this work aims to chronicle. Having introduced a formal apparatus (operator algebra theory) suited to pursue these questions, the book articulates a variety of accounts of the content of quantum theories, accounts responsive to QM∞'s characteristic non-uniqueness. To evaluate these accounts, the book examines QM∞ settings (e.g. spontaneous symmetry breaking, cosmological particle creation, superconductivity) in which that characteristic non-uniqueness seems to matter, with a view toward determining which accounts sustain the uses to which the non-uniqueness is put. This approach not only brings work on the foundations of quantum theories in contact with the foundational investigation of other sorts of physical theories (e.g., thermodynamics, statistical mechanics, solid state physics, general relativity, and cosmology), it also brings the philosophy of physics in contact with other sorts of philosophy of science (e.g., accounts of explanation, reduction, and explanationist defenses of scientific realism). The book concludes that received notions of physical content and physical modality must be revised if they are to apply usefully to particular physical theories.