We summarize below some of the postulates and definitions basic to our formalism, and present some important results based on these postulates. The formalism is purely mathematical in nature with very little physics input, but it provides the structure within which the physical concepts that will be discussed in the later chapters will be framed. State vectors It is important to realize that the Quantum Theory is a linear theory in which the physical state of a system is described by a vector in a complex, linear vector space. This vector may represent a free particle or a particle bound in an atom or a particle interacting with other particles or with external fields. It is much like a vector in ordinary three-dimensional space, following many of the same rules, except that it describes a very complicated physical system. We will be elaborating further on this in the following. The mathematical structure of a quantum mechanical system will be presented in terms of the notations developed by Dirac. A physical state in this notation is described by a “ket” vector, |〉, designated variously as |α〉 or |ψ〉 or a ket with other appropriate symbols depending on the specific problem at hand. The kets can be complex. Their complex conjugates, |〉 * , are designated by 〈| which are called “bra” vectors. Thus, corresponding to every ket vector there is a bra vector. These vectors are abstract quantities whose physical interpretation is derived through their so-called “representatives” in the coordinate or momentum space or in a space appropriate to the problem under consideration.
We summarize below some of the postulates and definitions basic to our formalism, and present some important results based on these postulates. The formalism is purely mathematical in nature with very little physics input, but it provides the structure within which the physical concepts that will be discussed in the later chapters will be framed. State vectors It is important to realize that the Quantum Theory is a linear theory in which the physical state of a system is described by a vector in a complex, linear vector space. This vector may represent a free particle or a particle bound in an atom or a particle interacting with other particles or with external fields. It is much like a vector in ordinary three-dimensional space, following many of the same rules, except that it describes a very complicated physical system. We will be elaborating further on this in the following. The mathematical structure of a quantum mechanical system will be presented in terms of the notations developed by Dirac. A physical state in this notation is described by a “ket” vector, |〉, designated variously as |α〉 or |ψ〉 or a ket with other appropriate symbols depending on the specific problem at hand. The kets can be complex. Their complex conjugates, |〉 * , are designated by 〈| which are called “bra” vectors. Thus, corresponding to every ket vector there is a bra vector. These vectors are abstract quantities whose physical interpretation is derived through their so-called “representatives” in the coordinate or momentum space or in a space appropriate to the problem under consideration.
This chapter gives a summary of the mathematical formalism used in quantum mechanics, with a short bibliography put directly at its end. It should be seen as a complement, to be used by readers who wish to know more than what has been recalled about the mathematical tools in the other chapters. Some results are given without explicit proofs; they can be found for instance in Chapters II and IV of [1] . Many quantum mechanics textbooks introduce its general formalism in a more complete way, for instance Chapter VII of [2] , Chapter 3 of [3] , or Chapter 2 of [4] . We first summarize the general formalism of quantum mechanics for any physical system (§11.1), with the Dirac notation; we then study how this formalism treats the grouping of several physical systems into one single quantum system (§11.2); finally, we study a few simple special cases (§11.3), for instance a single particle in an external potential, with or without spin; the reader who prefers wave functions to more abstract reasonings in spaces of states may begin with this section. General physical system The general formalism of quantum mechanics applies to all physical systems, whether they contain a single particle, many particles of various sorts, one or several fields, etc. Quantum space of states The physical state of a system at each time is defined in quantum mechanics by a state vector which, in Dirac notation, is written ∣ ψ 〈 – or ∣ ψ(t) 〈 if one wishes to make the time dependence explicit.
The authors present briefly the basic notions of the quantum formalism: pure and mixed states; quantum observables; quantum probability; Born’s rule, superposition, and ‘state collapse’; the projection postulate (von Neumann–Lüders postulate); Dirac’s ket and bra-vector notations; elements of quantum information theory and quantum logic; Schrödinger’s and von Neumann’s equations; unitary dynamics; and positive operator valued measures. They also define the basic mathematical notions related to the quantum formalism: Hilbert space; scalar product; norm; Hermitian operator (matrix); projector; and unitary operator and adjoint operator. This chapter may be useful for newcomers to the field, but for those readers who have preliminary knowledge about quantum mechanics (QM) they can proceed directly to advanced chapters. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Come forth into the light of things, Let nature be your teacher. William Wordsworth , The Tables Turned The main focus of this book is many-particle systems such as electrons in a crystal. Such systems are studied within the framework of quantum mechanics, with which the reader is assumed to be familiar. Nevertheless, a brief review of this subject will provide an opportunity to establish notation and collect results that will be used later on. The postulates Quantummechanics is based on five postulates, listed below with some explanatory comments. The quantum state The quantum state of a particle, at time t , is described by a continuous, singlevalued, square-integrable wave function Ψ( r , t ), where r is the position of the particle. In Dirac notation, the state is represented by a state vector, or ket, ∣Ψ( t )⟩, which is an element of a vector space V. We define a dual vector space V* whose elements, called bras, are in one-to-one correspondence with the elements of V: ket ∣α⟩ ∈ V ⟷ bra ⟨α∣ ∈ V*, as illustrated in Figure 1.1. The bra corresponding to ket c ∣α⟩ is c * ⟨∣, where c *. is the complex conjugate of c . The inner product of kets ∣α⟩ and ∣β⟩ is denoted by ⟨β∣α⟩, and it is a complex number (c-number). Note that the inner product is obtained by combining a bra and a ket. By definition, ⟨β∣α⟩ = ⟨α∣β⟩*.
The mathematical formalism of quantum theory in terms of vectors and operators in infinite-dimensional complex vector spaces is very abstract. The definitions of many mathematical quantities used do not seem to have an intuitive meaning, which makes it difficult to appreciate the mathematical formalism and understand quantum mechanics. This book provides intuition and motivation to the mathematics of quantum theory, introducing the mathematics in its simplest and familiar form, for instance, with three-dimensional vectors and operators, which can be readily understood. Feeling confident about and comfortable with the mathematics used helps readers appreciate and understand the concepts and formalism of quantum mechanics. This book is divided into four parts. Part I is a brief review of the general properties of classical and quantum systems. A general discussion of probability theory is also included which aims to help in understanding the probability theories relevant to quantum mechanics. Part II is a detailed study of the mathematics for quantum mechanics. Part III presents quantum mechanics in a series of postulates. Six groups of postulates are presented to describe orthodox quantum systems. Each statement of a postulate is supplemented with a detailed discussion. To make them easier to understand, the postulates for discrete observables are presented before those for continuous observables. Part IV presents several illustrative applications, which include harmonic and isotropic oscillators, charged particle in external magnetic fields and the Aharonov–Bohm effect. For easy reference, definitions, theorems, examples, comments, properties and results are labelled with section numbers. Various symbols and notations are adopted to distinguish different quantities explicitly and to avoid misrepresentation. Self-contained both mathematically and physically, the book is accessible to a wide readership, including astrophysicists, mathematicians and philosophers of science who are interested in the foundations of quantum mechanics.
Quantum mechanics is like a pot: it is almost indestructible and extremely rigid, but also very flexible because you can use any ingredients for your soup. Göran Lindblad Quantum mechanics Although our first four chapters have been very mathematical, quantum mechanics has never been very far away. Let us recall how the mathematical structure of quantum mechanics is usually summarized at the end of a first course in the subject. First of all the pure states are given by vectors in a Hilbert space. If that Hilbert space is finite dimensional it is simply the vector space equipped with a scalar product of the particular kind that we called a Hermitian form in Eq. (3.82). Actually a pure state corresponds to an entire equivalence class of vectors; this is usually treated in such a way that the vectors are normalized to have length one and afterwards vectors differing by an overall phase e iø are regarded as physically equivalent. In effect then the space of pure states is the complex projective space; as always in this book n = N – 1. The notation used in quantum mechanics differs from what we have used so far. We have denoted vectors in by Z α , while in quantum mechanics they are usually denoted by a ket vector. We can think of the index α as just a label telling us that Z α is a vector, and then these two notations are in fact exactly equivalent.
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.