Abstract In this chapter we explain how we can describe quantum theory within the general framework given in Chapter 1. We do not discuss various theories concerning the question of how quantum theory can (or cannot) be deduced from experimental facts or from a verifiable axiomatic system. Instead we start by introducing the assumptions of quantum theory. The main content is the algebraic viewpoint of quantum theory based on the theory of operator algebras, the GNS construction which supplies the fundamental relation between the description of the states by Hilbert space vectors and the description of the states in this general framework, the Wigner theorem which is basic for the mathematical description of quantum mechanical symmetries, and its generalizations. The basic definitions and theorems about Hilbert spaces and operator algebras are collected in the appendix.
Abstract In this chapter we explain how we can describe quantum theory within the general framework given in Chapter 1. We do not discuss various theories concerning the question of how quantum theory can (or cannot) be deduced from experimental facts or from a verifiable axiomatic system. Instead we start by introducing the assumptions of quantum theory. The main content is the algebraic viewpoint of quantum theory based on the theory of operator algebras, the GNS construction which supplies the fundamental relation between the description of the states by Hilbert space vectors and the description of the states in this general framework, the Wigner theorem which is basic for the mathematical description of quantum mechanical symmetries, and its generalizations. The basic definitions and theorems about Hilbert spaces and operator algebras are collected in the appendix.
Although, the main objective of this book has been to expose the facts that underpin formal description of quantum mechanics and to make quantum mechanics seem natural, in going about this process we have tried to provide the young student with a guideline on how to approach learning a new theory. Thus, somewhat unconventionally, we start the discourse with a discussion on the meaning of theory and its formal description. This allows us to demonstrate, in concrete terms, how quantum mechanics is just another theoretical framework that conforms to the standard definition of a theory in the natural sciences. In this first chapter, we start with a nontechnical discussion of what one means by a theoretical framework and its formal description. We clarify what qualifies as a theory, and list the questions whose answers one must seek in trying to learn it. A notion of what amounts to understanding a theory is thus conveyed. The meaning of law, axiom, postulate, theorem, falsifiability etc., are thus discussed. We try to draw out the purpose of constructing a formal description of a theory. We also outline the role of abstraction and generalization in its construction. Finally, we discuss the sense in which the terms “philosophy” and “fundamental theorem” are used in the construction of a theoretical framework.
This chapter, based on the background information of the previous chapter, will review the formalism of quantum mechanics – its fundamental mathematical structure (the basic contents of Hilbert space representation and operator algebra representation) and physical assumptions (kinematics, dynamics, and measurement theory). These are the premise and foundation for discussing the quantum histories interpretation. Then, in combination with the viewpoints of some literature in recent years, we will explore what is the interpretation of quantum mechanics, analyze the relationship between the theory of quantum mechanics and its interpretation, and declare the author’s basic stance on these two issues. These two are the primary issues that all interpretive work in the philosophy of physics will face (not limited to the interpretation of quantum mechanics), and the necessary clarification here is also conducive to the subsequent discussion. Three common terms – theory, formalism, and interpretation – are explicated and differentiated by offering the necessary definitions of their meanings, based on the works of Acuña and Ruetsche. The clarification will help to make the subsequent related discussions more precise.
It is not surprising that our language should be incapable of describing processes occurring within atoms, for, as has been remarked, it was invented to describe the experiences of daily life, … Fortunately, mathematics is not subject to this limitation, and it has been possible to invent a mathematical scheme–the quantum theory–which seems entirely adequate for the treatment of atomic processes. Werner Heisenberg, The Physical Principles of the Quantum Theory (1930) In this chapter we introduce the mathematical structure of quantum theory, for a finite number of systems and finite dimension, starting from three simple Hilbert-space postulates, and based on the intuitive notions of state, transformation, and effect, within a causal context. Such notions will be formalized in a general non-causal context in Chapter 3, which is devoted to the informational framework. We will assume the reader has a basic knowledge of matrix analysis and of operators over Hilbert spaces. Comments about the extension to infinite dimensions, continuous outcome-spaces, and infinitely many systems can be found in the notes at the end of the chapter. From the three simple Hilbert-space postulates, the present chapter extracts six principles, which will become the postulates for quantum theory in the axiomatic derivation presented in Part III of the book. In addition, we will take the opportunity to present and explore many relevant features of the theory – including its convex and causal structure, the Choi–Jamiołkowski isomorphism, and relevant notions, such as those of POVM, complete positivity of maps, quantum operation and channels, entangled states, state discrimination, tomography of states, and transformations. The purification principle will open the stage to the dilation theorems of the theory of quantum open systems, along with other consequences, such as the existence of faithful and steering states, the theorem of no information without disturbance, quantum teleportation, and more. We will review the quantum no-cloning and no-programming theorems, and finally provide a thorough derivation of the theory of quantum channel inversion, which is the backbone of the general theory of quantum error correction in quantum information. Additional interesting topics will be classical information theory as a restriction of quantum information theory, and a critical reconsideration of the von Neumann postulate and the notion of observable.
From the outset statistical mechanics will be framed in the language of quantum theory. The typical macroscopic system is composed of multiple constituents, and hence described in some many-particle Hilbert space. In general, not much is known about such a system, certainly not the precise preparation of all its microscopic details. Thus, its description requires a more general notion of a quantum state, a so-called mixed state. This chapter begins with a brief review of the basic axioms of quantum theory regarding observables, pure states, measurements, and time evolution. Particular attention is paid to the use of projection operators and to the most elementary quantum system, a two-level system. The chapter then motivates the introduction of mixed states and examines in detail their mathematical representation and properties. It also dwells on the description of composite systems, introducing, in particular, the notions of statistical independence and 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.