Abstract The mathematics underpinning quantum mechanics is reviewed and discussed at length. The Sturm-Liouville theory of linear differential equations is presented. It is shown that the solutions form a complete set of orthogonal functions with real eigenvalues, and the magnitude of the eigenvalues form an ascending series beginning from a minimum. The formulation of the Dirac bra-ket notation and its meaning and applications is developed. We examine the idea of Hilbert space and the general abstract form of the theory as developed by Dirac and Jordan, introducing the Dirac notation which will be used in the rest of the book.
Abstract The mathematics underpinning quantum mechanics is reviewed and discussed at length. The Sturm-Liouville theory of linear differential equations is presented. It is shown that the solutions form a complete set of orthogonal functions with real eigenvalues, and the magnitude of the eigenvalues form an ascending series beginning from a minimum. The formulation of the Dirac bra-ket notation and its meaning and applications is developed. We examine the idea of Hilbert space and the general abstract form of the theory as developed by Dirac and Jordan, introducing the Dirac notation which will be used in the rest of the book.
Abstract Chapter 1 opens with a brief review of some basic features of quantum mechanics, including the Schrödinger equation, linear and angular momentum and the theory of the hydrogenic atom: It also includes complete orthonormal sets of eigenfunctions, the translation operator, current, spin, equation of continuity, gauge transformation, determinant & permanent multiparticle energy eigenfunctions for noninteracting particles and the Pauli exclusion principle. Attention is then focused on Dirac bra-ket notation and complete sets of commuting observables. In this connection, representations and transformation among representations are discussed in detail for the Schrödinger system state vector and the eigenstates, as well as bra-ket matrix elements of operators. Finally, Schwinger’s interpretation of ket-bra matrix operator structures (Schwinger “Measurement Symbols”) in terms of annihilation and creation of systems in eigenstates is introduced.
Linear algebra is the natural mathematical language of quantum mechanics. For this reason, the present chapter starts with a review of Hilbert spaces for vectors and operators. We introduce vector and Hilbert spaces along with inner products and metrics. The Dirac notation is developed for the Euclidean vector spaces as a starting point for the concepts of complete orthonormal sets of vectors, closure, dual vector spaces, and adjoint operators. The Dirac delta function in various forms and the principal part is introduced in Appendix 5 as an essential tool. The chapter turns to the main use of Dirac notation for function spaces; the concepts of norm, inner product, and closure are discussed. Fourier, Cosine, and Sine series are discussed as examples of expansions in complete orthonormal sets of functions. Although Hilbert spaces are interesting mathematical objects with important physical applications, the study of linear algebra remains incomplete without a study of linear operators (i.e., linear transformations). In fact, the set of linear transformations itself forms a vector space and therefore has a basis set. The basis set for the operator is linked with the basis sets for the spaces that it operates between. The linear operator can be discussed as an abstract operator or through an isomorphism as a matrix or as a generalized expansion in operator space. A Hermitian (a.k.a., self-adjoint) operator produces a basis set within a Hilbert space. The basis set comes from the eigenvector equation for the particular operator. The fact that a Hermitian operator produces a complete set (of orthornomal vectors) has special importance for quantum mechanics. Observables such as energy or momentum correspond to Hermitian operators. Complete sets make it possible to represent every possible result of a measurement of the observable by an object (vector) in the theory. The Hermitian operators have real eigenvalues which represent the results of the measurement.
Dirac's bra and ket formalism is investigated and incorporated into a complete mathematical theory. First the axiomatic foundations of quantum mechanics and von Neumann's spectral theory of observables are reviewed and several inadequacies are pointed out. These defects then are remedied by extending the usual Hilbert space to a rigged Hilbert space as introduced by Gel'fand, i.e., a triplet Φ⊂H⊂Φ′ where H is a Hilbert space, Φ a dense subspace of H provided with a new (finer) topology, Φ′ the dual of Φ. It is shown that this mathematical structure, together with the Schwartz nuclear theorem, allows us to reproduce Dirac's formalism in a completely rigorous way, without losing its transparency; this makes the theory easier to handle. The temporal evolution of the system and the wave equation are considered. Finally the probabilistic interpretation and the physical aspects of the theory are discussed; Φ is identified with the set of all physically accessible states of the system, Φ′ with the set of all possible experiments (apparatus) to which it can be subjected; this provides a direct connection with Feynman's formulation of quantum mechanics.
By a series of simple examples, we illustrate how the lack of mathematical concern can readily lead to surprising mathematical contradictions in wave mechanics. The basic mathematical notions allowing for a precise formulation of the theory are then summarized and it is shown how they lead to an elucidation and deeper understanding of the aforementioned problems. After stressing the equivalence between wave mechanics and the other formulations of quantum mechanics, i.e. matrix mechanics and Dirac's abstract Hilbert space formulation, we devote the second part of our paper to the latter approach: we discuss the problems and shortcomings of this formalism as well as those of the bra and ket notation introduced by Dirac in this context. In conclusion, we indicate how all of these problems can be solved or at least avoided. Dedicated to the memory of Tanguy Altherr (1963-94). I dedicate these notes to the memory of Tanguy Altherr who left us very unexpectedly in the mountains which he loved so much (and where I had some pleasant trips with him). As to the subject of these notes (which I had the pleasure to discuss with him), Tanguy greatly appreciated Dirac's formalism and certainly knew how to apply it to real physical problems (such as the ones he worked on with an impressive enthusiasm, energy and productivity). Even if he did not share my preoccupations in this field, he liked to discuss the problems related to the general formalism of quantum physics.
We assume the reader has a strong background in elementary linear algebra. In this section we familiarize the reader with the algebraic notation used in quantum mechanics, remind the reader of some basic facts about complex vector spaces, and introduce some notions that might not have been covered in an elementary linear algebra course. The linear algebra notation used in quantum computing will likely be familiar to the student of physics, but may be alien to a student of mathematics or computer science. It is the Dirac notation, which was invented by Paul Dirac and which is used often in quantum mechanics. In mathematics and physics textbooks, vectors are often distinguished from scalars by writing an arrow over the identifying symbol: e.g a⃗. Sometimes boldface is used for this purpose: e.g. a. In the Dirac notation, the symbol identifying a vector is written inside a ‘ket’, and looks like |a⟩. We denote the dual vector for a (defined later) with a ‘bra’, written as ⟨a|. Then inner products will be written as ‘bra-kets’ (e.g. ⟨a|b⟩). We now carefully review the definitions of the main algebraic objects of interest, using the Dirac notation. The vector spaces we consider will be over the complex numbers, and are finite-dimensional, which significantly simplifies the mathematics we need. Such vector spaces are members of a class of vector spaces called Hilbert spaces. Nothing substantial is gained at this point by defining rigorously what a Hilbert space is, but virtually all the quantum computing literature refers to a finite-dimensional complex vector space by the name ‘Hilbert space’, and so we will follow this convention. We will use H to denote such a space. Since H is finite-dimensional, we can choose a basis and alternatively represent vectors (kets) in this basis as finite column vectors, and represent operators with finite matrices. As you see in Section 3, the Hilbert spaces of interest for quantum computing will typically have dimension 2n, for some positive integer n. This is because, as with classical information, we will construct larger state spaces by concatenating a string of smaller systems, usually of size two.
This chapter introduces the representation of quantum states and operators in an orthonormal basis associated with a linear Hermitian operator, forming the foundation of matrix mechanics. The transformation between different representations is described, highlighting how operators and state vectors change under basis transformations. The projection operator is defined, and the closure (completeness) relation is expressed in terms of projection operators on the basis states. The Dirac bra–ket notation is introduced and thoroughly explained to unify representation theory. Detailed treatments of the coordinate and momentum representations are given, including the transformation between them via Fourier analysis. Finally, explicit forms of the coordinate and momentum operators acting on wavefunctions in the coordinate space are derived. Metadata/Keywords: matrix mechanics, representation theory, Hermitian operator, projection operator, closure relation, Dirac bra–ket notation, coordinate and momentum representations