Abstract This chapter provides a brief introduction to the terminology and basic concepts of quantum spin systems, which are widely used in QIS and QC. The quantum spin of an elementary particle is an example of a qubit and can be visually represented as a spinning top. The vector direction of spin in state space, however, is different from the direction in physical space. Quantum spin-1/2 systems have two orthogonal states: spin-up and spin-down. The distinction between state space angles and physical space angles is emphasized. Because spin is a qubit, the quantum gates from Chapter 6 can be applied to spin-1/2 quantum states with predictable results.
Abstract This chapter provides a brief introduction to the terminology and basic concepts of quantum spin systems, which are widely used in QIS and QC. The quantum spin of an elementary particle is an example of a qubit and can be visually represented as a spinning top. The vector direction of spin in state space, however, is different from the direction in physical space. Quantum spin-1/2 systems have two orthogonal states: spin-up and spin-down. The distinction between state space angles and physical space angles is emphasized. Because spin is a qubit, the quantum gates from Chapter 6 can be applied to spin-1/2 quantum states with predictable results.
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 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.
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: 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 the 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. This 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.
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.
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.
Abstract In this final chapter, quantum spin -1/2 acquires a new life as qubit, the fundamental building block of quantum computation and quantum information as qubits and quantum gates are introduced from the spin perspective. The systems of two and more spins are used to illustrate quantum entanglement, the non-classical correlation that are responsible for much of the quantum magic. We will recount the Einstein-Podolsky-Rosen (EPR) paradox, the discovery of Bell’s inequalities and theorems, and the road to the 2022 Nobel Prize in Physics. Some examples from the rapidly evolving research frontier of quantum information are given to show how quantum circuits are composed to simulate quantum many-body Hamiltonians or carry out quantum algorithms of superior performance. The readers will encounter simple examples that exploit entanglement, safeguard communication, and achieve dense coding and teleportation. Chapter concludes with a brief introduction to topological quantum computing by braiding anyons.