Hilbert space The prototype qubit systems of the last chapter are very simple, but they can be generalized to more complicated versions. We can send a photon through an interferometer with three, four or more distinct beams. We can perform experiments on particles with higher intrinsic angular momentum than the spin-½ particles we have discussed. And we can analyze atomic systems in situations that involve more than two different energy levels. For these cases and others, we will need a more general version of quantum theory. That theory will include two pieces. First, we will have a general mathematical structure that is applicable to many kinds of system. Here the qubit case will be our guide, since many of the basic concepts for other quantum systems are already present in the qubit case. Second, we will have to describe how to apply the quantum formalism to specific physical situations. Though the quantum systems we discuss will appear quite various, they share strong family resemblances that are expressed in the common mathematical framework. Keeping the framework in mind will help us understand specific examples; keeping the examples in mind will help us understand the framework. The states of a quantum system are described by kets |ψ〉, which obey the principle of superposition. This means that the kets are elements of an abstract vector space ℋ called a Hilbert space .
Hilbert space The prototype qubit systems of the last chapter are very simple, but they can be generalized to more complicated versions. We can send a photon through an interferometer with three, four or more distinct beams. We can perform experiments on particles with higher intrinsic angular momentum than the spin-½ particles we have discussed. And we can analyze atomic systems in situations that involve more than two different energy levels. For these cases and others, we will need a more general version of quantum theory. That theory will include two pieces. First, we will have a general mathematical structure that is applicable to many kinds of system. Here the qubit case will be our guide, since many of the basic concepts for other quantum systems are already present in the qubit case. Second, we will have to describe how to apply the quantum formalism to specific physical situations. Though the quantum systems we discuss will appear quite various, they share strong family resemblances that are expressed in the common mathematical framework. Keeping the framework in mind will help us understand specific examples; keeping the examples in mind will help us understand the framework. The states of a quantum system are described by kets |ψ〉, which obey the principle of superposition. This means that the kets are elements of an abstract vector space ℋ called a Hilbert space .
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 early twentieth century was a revolutionary time in the history of physics. People often think of Einstein's special theory of relativity of 1905, which changed our conceptions of time and space. But among physicists, quantum mechanics is usually regarded as an even more radical change in our thinking about the physical world. Quantum mechanics, which was developed between 1900 and 1926, began as a theory of atoms and light but has now become the framework in terms of which all basic physical theories are expected to be cast. We need quantum ideas not only to understand atoms, molecules, and elementary particles, but also to understand the electronic properties of solids and even certain astronomical phenomena such as the stability of white dwarf stars. The theory was radical in part because it introduced probabilistic behavior as a fundamental aspect of the world, but even more because it seems to allow mutually exclusive situations to exist simultaneously in a “quantum superposition.” We will see later that the possibility of quantum superposition is largely responsible for a quantum computer's distinctive advantage over an ordinary computer. The present chapter is devoted to introducing the basic principles of quantum mechanics. There are essentially four components of the mathematical structure of quantum mechanics. We need to know how to represent (i) states, (ii) measurements, (iii) reversible transformations, and (iv) composite systems. We will develop the first three in stages, starting with a very simple case – linear polarization of photons – and working toward the most general case.
Hilbert spaces provide the fundamental mathematical framework for describing quantum mechanical systems. Their structure, characterized by an inner product and completeness, allows for the representation of quantum states as vectors and physical observables as self-adjoint operators. Key quantum phenomena such as superposition and entanglement find natural expression within this formalism. Superposition, where a quantum system can exist in multiple states simultaneously, is represented by linear combinations of basis vectors in the Hilbert space. Entanglement, a non-classical correlation between quantum systems, is described by non-separable state vectors in a tensor product of Hilbert spaces. These concepts are pivotal in quantum computing, where the unit of information, the qubit, is a two-level quantum system whose state is a vector in a two-dimensional complex Hilbert space (ℂ²). Quantum gates, which perform operations on qubits, are represented by unitary operators acting on these state vectors. The power of quantum computation, particularly in algorithms like Shor's or Grover's, stems from the ability to exploit superposition and entanglement, processes intrinsically described within the Hilbert space framework. Thus, a thorough understanding of Hilbert spaces is indispensable for grasping the principles of quantum mechanics and for advancing the field of quantum information and computation [1, 7]. The transition from classical bits to quantum qubits, and from classical logic gates to quantum unitary operations, is entirely predicated on the mathematical properties endowed by Hilbert spaces.
Hilbert spaces provide the fundamental mathematical framework for describing quantum mechanical systems. Their structure, characterized by an inner product and completeness, allows for the representation of quantum states as vectors and physical observables as self-adjoint operators. Key quantum phenomena such as superposition and entanglement find natural expression within this formalism. Superposition, where a quantum system can exist in multiple states simultaneously, is represented by linear combinations of basis vectors in the Hilbert space. Entanglement, a non-classical correlation between quantum systems, is described by non-separable state vectors in a tensor product of Hilbert spaces. These concepts are pivotal in quantum computing, where the unit of information, the qubit, is a two-level quantum system whose state is a vector in a two-dimensional complex Hilbert space (ℂ²). Quantum gates, which perform operations on qubits, are represented by unitary operators acting on these state vectors. The power of quantum computation, particularly in algorithms like Shor's or Grover's, stems from the ability to exploit superposition and entanglement, processes intrinsically described within the Hilbert space framework. Thus, a thorough understanding of Hilbert spaces is indispensable for grasping the principles of quantum mechanics and for advancing the field of quantum information and computation [1, 7]. The transition from classical bits to quantum qubits, and from classical logic gates to quantum unitary operations, is entirely predicated on the mathematical properties endowed by Hilbert spaces.
We have seen in the previous chapter how useful wave mechanics can be in solving physical problems. But wave mechanics has several limitations. It describes physical states by means of wave functions, which are functions of the positions of the particles of the system, but why should we single out position as the fundamental physical observable? For instance, we might want to describe states in terms of probability amplitudes for particles to have certain values of the momentum or energy rather than the position. A more fundamental limitation is that there are attributes of physical systems that cannot be described at all in terms of the positions and momenta of a set of particles. One of these attributes is spin , which will be a chief subject of Chapter 4. Another is the value of the electric or magnetic field at some point in space, treated in Chapter 11. This chapter will describe the principles of quantum mechanics in a formalism which is essentially the “transformation theory” of Dirac, mentioned briefly in Section 1.4. This formalism generalizes both the wave mechanics of Schrödinger and the matrix mechanics of Heisenberg, and is sufficiently comprehensive to apply to any sort of physical system. States The first postulate of quantum mechanics is that physical states can be represented as vectors in a sort of abstract space known as Hilbert space . Before getting into Hilbert space, I need to say a bit about vectors in general. In kindergarten we learn that vectors are quantities with both magnitude and direction. Later, when we study analytic geometry, we learn instead to describe a vector in d dimensions as a string of d numbers, the components of the vector. The latter approach lends itself well to calculation, but in some respects the kindergarten version is better, because it allows us to describe relations among vectors without specifying a coordinate system. For instance, a statement that one vector is parallel to a second vector, or perpendicular to a third, has nothing to do with how we choose our coordinate system. Here we will formulate what we mean by vector spaces in general, and Hilbert space in particular, in a way that is independent of the coordinates we use to describe directions in these spaces.
In this section we introduce the framework of quantum mechanics as it pertains to the types of systems we will consider for quantum computing. Here we also introduce the notion of a quantum bit or ‘qubit’, which is a fundamental concept for quantum computing. At the beginning of the twentieth century, it was believed by most that the laws of Newton and Maxwell were the correct laws of physics. By the 1930s, however, it had become apparent that these classical theories faced serious problems in trying to account for the observed results of certain experiments. As a result, a new mathematical framework for physics called quantum mechanics was formulated, and new theories of physics called quantum physics were developed in this framework. Quantum physics includes the physical theories of quantum electrodynamics and quantum field theory, but we do not need to know these physical theories in order to learn about quantum information. Quantum information is the result of reformulating information theory in this quantum framework. We saw in Section 1.6 an example of a two-state quantum system: a photon that is constrained to follow one of two distinguishable paths. We identified the two distinguishable paths with the 2-dimensional basis vectors and then noted that a general ‘path state’ of the photon can be described by a complex vector with |α0|2 +|α1|2 = 1. This simple example captures the essence of the first postulate, which tells us how physical states are represented in quantum mechanics. Depending on the degree of freedom (i.e. the type of state) of the system being considered, H may be infinite-dimensional. For example, if the state refers to the position of a particle that is free to occupy any point in some region of space, the associated Hilbert space is usually taken to be a continuous (and thus infinite-dimensional) space. It is worth noting that in practice, with finite resources, we cannot distinguish a continuous state space from one with a discrete state space having a sufficiently small minimum spacing between adjacent locations. For describing realistic models of quantum computation, we will typically only be interested in degrees of freedom for which the state is described by a vector in a finite-dimensional (complex) Hilbert space.