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.
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.
I start by briefly overviewing quantum mechanics as it is standardly formulated and by discussing the question of whether this standard formulation needs to be supplemented by an interpretation. The overview is based mainly on Von Neumann (1932, 1955) and its aim is not to give the reader a crash course in quantum mechanics, but to present those parts of the standard formalism which I use in this book. For a more complete treatment, the reader may consult the standard textbooks on quantum mechanics or, for instance, Sudbery (1986) or Redhead (1987). The standard formulation The standard formulation of quantum mechanics can be introduced in four steps. The first step is that in quantum mechanics one describesthe physics of a system by means of a Hilbert space ℋ. This Hilbert space is a complex linear vector space on which an inner product is defined. Let's adopt the convention (please consult the Glossary at the end of the book for notational conventions) that α refers to a system and that is the Hilbert space that is associated with this system. Let ∣ℋ α 〉 denote a vector in ℋ α and let 〈ψ α ∣φ α 〉 be the inner product between the vectors ∣ψ α 〉 and ∣φ α 〉.
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.
The content of this chapter may serve as yet another supplemental topic to meet the needs and interests beyond those of a usual course curriculum. Here we shall present an over-simplified, but hopefully totally transparent, description of some of the fundamental ideas and concepts of quantum mechanics, using a pure linear algebra formalism. Vectors in ℂ n and Dirac bracket Consider the vector space ℂ n , consisting of column vectors, and use { e 1 , …, e n } to denote the standard basis of ℂ n . For u , υ ∈ ℂ n with recall that the Hermitian scalar product is given by so that { e 1 , …, e n } is a unitary basis, satisfying ( e i , e j ) = δ ij , i, j = 1, …, n . In quantum mechanics, it is customary to rewrite the scalar product (9.1.2) in a bracket form, 〈 u | v 〉. Then it was Dirac who suggested to view 〈 u |υ〉 as the scalar pairing of a ‘bra’ vector 〈 u | and a ‘ket’ vector |υ〉, representing the row vector u † and the column vector υ. Thus we may use | e 1 〉, …, | e n 〉 to denote the standard basis vectors of ℂ n and represent the vector u in ℂ n as Therefore the bra-counterpart of | u 〉 is simply given as As a consequence, the orthonormal condition regarding the basis { e 1 , …, e n } becomes and the Hermitian scalar product of the vectors | u 〉 and |υ〉 assumes the form For the vector | u 〉 given in (9.1.3), we find that a i = 〈 e i | u 〉, i = 1, …, n . Now rewriting | u 〉 as and inserting (9.1.7) into (9.1.8), we obtain which suggests that the strange-looking ‘quantity’, should naturally be identified as the identity mapping or matrix, which readily follows from the associativity property of matrix multiplication. Similarly, we have Thus (9.1.10) can be applied to both bra and ket vectors symmetrically and what it expresses is simply the fact that | e 1 〉, …,| e n form an orthonormal basis of ℂ n .
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.
Abstract With this chapter, we begin to transit from digital information processing to quantum information processing. However, to be able to master this transition, we first need to familiarize ourselves with quantum mechanical principles and the mathematics used to describe them. Since we already know about abstract state spaces, tensor products, and Hamiltonian operators and their eigenvectors and eigenvalues, this should not be too difficult or too alien. And yet, there remain a few challenges: Mathematical descriptions of quantum states usually involve the Dirac notation, require complex linear algebra in high dimensional spaces, and encode unintuitive probabilistic interpretations. Rising to these challenges, we briefly study the notion of Hilbert spaces, introduce the Dirac notation, and discuss the axioms of quantum mechanics and some of their consequences. All this will admittedly be dense and abstract but prepare us for everything that is still to follow. Our main goal is to emphasize that quantum mechanics and therefore quantum computing is just complex linear algebra in very high dimensional spaces so that quantum computing needs a different kind of thinking than we are used to in digital computing.
In this second chapter we will review the basic mathematical and physical facts about quantum mechanics and establish physical units and notation. Those readers already familiar with the subject can safely jump to the next chapter. An attempt has been made to make the presentation in this chapter as elementary as possible, and yet present the basic facts that will be needed later. There are many beautiful and important topics which will not be touched upon such as self-adjointness of Schrödinger operators, the general mathematical structure of quantum mechanics and the like. These topics are well described in other works, e.g.. Much of the following can be done in a Euclidean space of arbitrary dimension, but in this chapter the dimension of the Euclidean space is taken to be three-which is the physical case-unless otherwise stated. We do this to avoid confusion and, occasionally, complications that arise in the computation of mathematical constants. The interested reader can easily generalize what is done here to the R d , d > 3 case. Likewise, in the next chapters we mostly consider N particles, with spatial coordinates in R 3 , so that the total spatial dimension is 3 N . A Brief Review of the Connection Between Classical and Quantum Mechanics Considering the range of validity of quantum mechanics, it is not surprising that its formulation is more complicated and abstract than classical mechanics. Nevertheless, classical mechanics is a basic ingredient for quantum mechanics. One still talks about position, momentum and energy which are notions from Newtonian mechanics.