Abstract In this chapter, we present an overview of linear algebra with the purpose of outlining concepts relevant to quantum computing using the notation common to the field. The chapter consists of two parts. In the first part, we introduce vector spaces. We present the notions of linear dependence, dimensionality, inner product, and distance. We use these concepts to introduce finite-dimensional Hilbert spaces, a key ingredient for quantum information theory. In the second part of the chapter, we introduce linear operators. We describe the main classes of linear operators and show their mutual relations.
Abstract In this chapter, we present an overview of linear algebra with the purpose of outlining concepts relevant to quantum computing using the notation common to the field. The chapter consists of two parts. In the first part, we introduce vector spaces. We present the notions of linear dependence, dimensionality, inner product, and distance. We use these concepts to introduce finite-dimensional Hilbert spaces, a key ingredient for quantum information theory. In the second part of the chapter, we introduce linear operators. We describe the main classes of linear operators and show their mutual relations.
Abstract Quantum mechanics is mathematically formulated in terms of a Hilbert space, which is a vector space with a defined inner product. Linear algebra is the study of vector spaces and the (linear) operations thereon, and so it follows that having a solid grasp of the basics of linear algebra is essential for studying quantum mechanics and, therefore, quantum computation. All the linear algebra prerequisites necessary to understand the theoretical results presented in the remainder of the book are detailed in this chapter. The chapter also acts as a nomenclature reference for the book, by providing all the notations that are used thereafter.
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.
Linear algebra provides the mathematical foundation of quantum mechanics by rep-resenting physical states as vectors in complex Hilbert spaces and observables as linear operators. The concepts of vector spaces, basis, orthogonality, inner products, and matrix transformations enable a rigorous description of quantum systems. This paper presents a concise overview of the linear algebraic principles underlying quantum state representa-tion. The study discusses Hilbert spaces, Dirac notation, state normalization, superposition, the Born probability rule, Hermitian operators, and quantum measurement. Furthermore, the role of tensor products and matrix representations in quantum computing is briefly highlighted. An illustrative example demonstrates the application of these mathematical concepts in representing and analysing a quantum state. The paper emphasizes that linear algebra not only provides the language of quantum mechanics but also serves as the compu-tational framework for modern quantum technologies such as quantum computing, quantum information, and quantum communication. Keywords: Linear Algebra, Quantum Mechanics, Hilbert Space, Quantum State, Hermitian Operator, Superposition, Quantum Computing.
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.
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.
Quantum theory, in its conventional formulation, is built on the theory of Hilbert spaces and operators. In this chapter we go through this basic material, which is central for the rest of the book. Our treatment is mainly intended as a refresher and a summary of useful results. It is assumed that the reader is already familiar with some of these concepts and elementary results, at least in the case of finite-dimensional inner product spaces. We present proofs for propositions and theorems only if the proof itself is considered to be instructive and illustrative. This gives us the freedom to present the material in a topical order rather than in the strict order of mathematical implication. Good references for this chapter are the functional analysis textbooks by Conway [45], Pedersen [113] and Reed and Simon [121]. These books also contain the proofs that we skip here. Hilbert spaces As an introduction, before a formal definition is given, one may think of a Hilbert space as the closest possible generalization of the inner product spaces c d to infinite dimensions. Actually, there are no finite-dimensional Hilbert spaces (up to isomorphisms) other than c d spaces. The crucial requirement of completeness becomes relevant only in infinite-dimensional spaces. This defining property of Hilbert spaces guarantees that they are well-behaved mathematical objects, and many calculations can be done almost as easily as in c d .