8.1: Distinguishable and Indistinguishable Particles
( \newcommand{\kernel}{\mathrm{null}\,}\)
The importance of quantum systems of many similar particles is probably self-evident; just the very fact that most atoms include several/many electrons is sufficient to attract our attention. There are also important systems where the total number of electrons is much higher than in one atom; for example, a cubic centimeter of a typical metal houses ∼1023 conduction electrons that cannot be attributed to particular atoms, and have to be considered as common parts of the system as the whole. Though quantum mechanics offers virtually no exact analytical results for systems of substantially interacting particles, 1 it reveals very important new quantum effects even in the simplest cases when particles do not interact, and least explicitly (directly).
If non-interacting particles are either different from each other by their nature, or physically similar but still distinguishable because of other reasons, everything is simple - at least, conceptually. Then, as was already discussed in Sec. 6.7, a system of two particles, 1 and 2, each in a pure quantum state, may be described by a state vector which is a direct product, |α⟩=|β⟩1⊗|β′⟩2,
This operator may be also used for states of systems of identical particles. In physics, the last term may be used to describe:
(i) the "really elementary" particles like electrons, which (at least at this stage of development of physics) are considered as structure-less entities, and hence are all identical;
(ii) any objects (e.g., hadrons or mesons) that may be considered as a system of "more elementary" particles (e.g., quarks and gluons), but are placed in the same internal quantum state - most simply, though not necessarily, in the ground state. 2
It is important to note that identical particles still may be distinguishable - say by their clear spatial separation. Such systems of similar but distinguishable particles (or subsystems) are broadly discussed nowadays in the context of quantum computing and encryption - see Sec. 5 below. This is why it is insufficient to use the term "identical particles" if we want to say that they are genuinely indistinguishable, so I below I will use the latter term, despite it being rather unpleasant grammatically.
It turns out that for a quantitative description of systems of indistinguishable particles we need to use, instead of direct products of the type (1), linear combinations of such products, for example of |ββ′⟩ and |β′β⟩.3 To see this, let us discuss the properties of the permutation operator defined by Eq. (2). Consider an observable A, and a system of eigenstates of its operator: ˆA|aj⟩=Aj|aj⟩.
So far, our math does not preclude either sign of Pi, in particular the possibility that the sign would depend on the state (i.e. on the index j ). Here, however, comes in a crucial fact: all indistinguishable particles fall into two groups: 5
(i) bosons, particles with integer spin s, for whose states Pj=+1, and
(ii) fermions, particles with half-integer spin, with Pj=−1.
In the non-relativistic theory we are discussing now, this key fact should be considered as an experimental one. (The relativistic quantum theory, whose elements will be discussed in Chapter 9 , offers proof that the half-integer-spin particles cannot be bosons and the integer-spin ones cannot be fermions.) However, our discussion of spin in Sec. 5.7 enables the following handwaving interpretation of the difference between these two particle species. In the free space, the permutation of particles 1 and 2 may be viewed as a result of their pair’s common rotation by angle ϕ=±π about a properly selected z-axis. As we have seen in Sec. 5.7, at the rotation by this angle, the state vector |β⟩ of a particle with a definite quantum number ms acquires an extra factor exp{±imsπ}. As we know, the quantum number ms ranges from −s to +s, in unit steps. As a result, for bosons, with integer s,ms can take only integer values, so that exp{±imsπ}=±1, so that the product of two such factors in the state product |ββ′⟩ is equal to +1. On the contrary, for the fermions with their half-integer s, all ms are half-integer as well, so that exp{±imsπ}=±i so that the product of two such factors in vector |ββ′⟩ is equal to (±i)2=−1.
The most impressive corollaries of Eqs. (10) and (11) are for the case when the partial states of the two particles are the same: β=β ’. The corresponding Bose state α+, defined by Eq. (10), is possible; in particular, at sufficiently low temperatures, a set of non-interacting Bose particles condenses on the ground state - the so-called Bose-Einstein condensate ("BEC"). 6 The most fascinating feature of the condensates is that their dynamics is governed by quantum mechanical laws, which may show up in the behavior of their observables with virtually no quantum uncertainties 7− see, e.g., Eqs. (1.73)-(1.74).
On the other hand, if we take β=β′ in Eq. (11), we see that state α becomes the null-state, i.e. cannot exist at all. This is the mathematical expression of the Pauli exclusion principle: 8 two indistinguishable fermions cannot be placed into the same quantum state. (As will be discussed below, this is true for systems with more than two fermions as well.) Probably, the key importance of this principle is self-evident: if it was not valid for electrons (that are fermions), all electrons of each atom would condense on in their ground ( 1s-like) state, and all the usual chemistry (and biochemistry, and biology, including dear us!) would not exist. The Pauli principle makes fermions implicitly interacting even if they do not interact directly, i.e. in the usual sense of this word.
1 As was emphasized in Sec.7.3, for such systems of similar particles the powerful methods discussed in the last chapter, based on the separation of the whole Universe into a "system of our interest" and its "environment", typically do not work well - mostly because the quantum state of the "particle of interest" may be substantially correlated (in particular, entangled) with those of similar particles forming its "environment" - see below.
2 Note that from this point of view, even complex atoms or molecules, in the same internal quantum state, may be considered on the same footing as the "really elementary" particles. For example, the already mentioned recent spectacular interference experiments by R. Lopes et al., which require particle identity, were carried out with couples of 4He atoms in the same internal quantum state.
3 A very legitimate question is why, in this situation, we need to introduce the particles’ numbers to start with. A partial answer is that in this approach, it is much simpler to derive (or guess) the system Hamiltonians from the correspondence principle - see, e.g., Eq. (27) below. Later in this chapter, we will discuss an alternative approach (the so-called "second quantization"), in which particle numbering is avoided. While that approach is more logical, writing adequate Hamiltonians (which, in particular, would avoid spurious self-interaction of the particles) within it is more challenging − see Sec. 3 below.
4 As in many situations we have met earlier, the kets given by Eqs. (10) and (11) may be multiplied by exp{iφ} with an arbitrary real phase φ. However, until we discuss coherent superpositions of various states α, there is no good motivation for taking the phase different from 0 ; that would only clutter the notation.
5 Sometimes this fact is described as having two different "statistics": the Bose-Einstein statistics of bosons and Fermi-Dirac statistics of fermions, because their statistical distributions in thermal equilibrium are indeed different - see, e.g., SM Sec. 2.8. However, this difference is actually deeper: we are dealing with two different quantum mechanics.
6 For a quantitative discussion of the Bose-Einstein condensation see, e.g., SM Sec. 3.4. Examples of such condensates include superfluids like helium, Cooper-pair condensates in superconductors, and BECs of weakly interacting atoms.
7 For example, for a coherent condensate of N≫1 particles, Heisenberg’s uncertainty relation takes the form δxδp=δxδ(Nmv)≥ℏ/2, so that its coordinate x and velocity v may be measured simultaneously with much higher precision than those of a single particle.
8 It was first formulated for electrons by Wolfgang Pauli in 1925, on the background of less general rules suggested by Gilbert Lewis (1916), Irving Langmuir (1919), Niels Bohr (1922), and Edmund Stoner (1924) for the explanation of experimental spectroscopic data.