Back to Fermions again! In today’s post we’ll show that the CCRs uniquely determine the action of the fermionic operators , up to a choice of basis. Mathematically, the argument is somewhat detailed, but it’s also the kind of argument that rewards detailed study, especially if studied in conjunction with related topics, such as the representation theory of . You’ll need to look elsewhere for that, however!

Note: This post is one in a series describing fermi algebras, and a powerful tool known as the Jordan-Wigner transform, which allows one to move back and forth between describing a system as a collection of qubits, and as a collection of fermions. The posts assume familiarity with elementary quantum mechanics, comfort with elementary linear algebra (but not advanced techniques), and a little familiarity with the basic nomenclature of quantum information science (qubits, the Pauli matrices).

Consequences of the fermionic CCRs

We will assume that the vector space is finite dimensional, and that there are operators acting on and satisfying the Fermionic CCRs. At the end of this paragraph we’re going to give a broad outline of the steps we go through. Upon a first read, some of these steps may appear a little mysterious to the reader not familiar with representation theory. In particular, please don’t worry if you get a little stuck in your understanding of the outline at some points, as the exposition is very much at the bird’s-eye level, and not all detail is visible at that level. Nonetheless, the reason for including this broad outline is the belief that repeated study will pay substantial dividends, if it is read in conjunction with the more detailed exposition to follow, or similar material on, e.g., representations of the Lie algebra . Indeed, the advantage of operating at the bird’s-eye level is that it makes it easier to see the connections between these ideas, and the use of similar ideas in other branches of representation theory.

• We’ll start by showing that the operators are positive Hermitian operators with eigenvalues and .
• We’ll show that acts as a lowering operator for , in the sense that if is a normalized eigenstate of with eigenvalue , then is a normalized eigenstate of with eigenvalue . If is a normalized eigenstate of with eigenvalue , then vanishes.
• Similarly, acts as a raising operator for , in the sense that if is a normalized eigenstate of with eigenvalue , then is a normalized eigenstate of with eigenvalue . If is a normalized eigenstate of with eigenvalue , then vanishes.
• We prove that the operators form a mutually commuting set of Hermitian matrices, and thus there exists a state which is a simultaneous eigenstate of for all values .
• By raising and lowering the state in all possible combinations, we’ll construct a set of orthonormal states which are simultaneous eigenstates of the . The corresponding vector of eigenvalues uniquely labels each state in this orthonormal basis.
• Suppose the vector space spanned by these simultaneous eigenstates is . At this point, we know that and map into , and, indeed, we know everything about the action and have on .
• Suppose we define to be the orthocomplement of in . Then we’ll show that the and map into itself, and their restrictions to satisfy the Fermionic CCRs. We can then repeat the above procedure, and identify a -dimensional subspace of on which we know the action of the and exactly.
• We iterate this procedure until is the trivial vector space, at which point it is no longer possible to continue. At this point we have established an orthonormal basis for the whole of with respect to which we can explicilty write down the action of both and .

Let’s go through each of these steps in more detail.

The are positive Hermitian with eigenvalues and : Observe that the are positive (and thus Hermitian) matrices. We will show that , and thus the eigenvalues of are all or .

To see this, observe that , where we used the CCR . Note also that by the CCR . It follows that , as claimed.

The are lowering operators: Suppose is a normalized eigenstate of with eigenvalue . Then we claim that is a normalized eigenstate of with eigenvalue . To see that is normalized, note that , where we used the fact that is an eigenstate of with eigenvalue to establish the first equality. To see that it has eigenvalue , note that , since .

Exercise: Suppose is a normalized eigenstate of with eigenvalue . Show that .

The are raising operators: Suppose is a normalized eigenstate of with eigenvalue . Then we claimed that is a normalized eigenstate of with eigenvalue .

To see the normalization, we use the CCR to deduce . But , by the eigenvalue assumption, and , whence , which is the desired normalization condition.

To see that is an eigenstate with eigenvalue , use the CCR to deduce that , where the final equality can be deduced either from the assumption that , or from the CCR . This is the desired eigenvalue equation for .

Exercise: Suppose is a normalized eigenstate of with eigenvalue . Show that .

The form a mutually commuting set of observables: To see this, let , and apply the CCRs repeatedly to obtain , which is the desired commutativity.

Existence of a common eigenstate: It is well known that a mutually commuting set of Hermitian operators possesses a common eigenbasis. This fact is usually taught in undergraduate quantum mechanics courses; for completeness, I’ve included a simple proof in an appendix to these notes. We won’t make use of the full power of this result here, but instead simply use the fact that there exists a normalized state which is a simultaneous eigenstate of all the operators. In particular, for all we have:

where for each either or . It will be convenient to assume that for all . This assumption can be made without loss of generality, by applying lowering operators to the for each such that , resulting in a normalized state such that for all .

Defining an orthonormal basis: For any vector , where each or , define a corresponding state:

It is clear that there are such states , and that they form an orthonormal set spanning a subspace of that we shall call .

The action of the and on : How do and act on ? Stated another way, how do they act on the orthonormal basis we have constructed for , the states ? Applying the CCRs and the definition of the states it is easy to verify that the action of is as follows:

• Suppose . Then .
• Suppose . Let be that vector which results when the th entry of is changed to . Then , where .

The action of on is similar:

• Suppose . Let be that vector which results when the th entry of is changed to . Then , where .
• Suppose . Then .

Action of and on : We have described the action of the and the on the subspace . What of the action of these operators on the remainder of ? To answer that question, we first show that and map the orthocomplement into itself.

To see this, let , and consider . We wish to show that also, i.e., that for any we have . This follows easily by considering the complex conjugate quantity , and observing that , since , and thus . A similar argument shows that maps into itself.

Consider now the operators obtained by restricting to . Provided is nontrivial it is clear that these operators satisfy the CCRs on . Repeating the above argument, we can therefore identify a -dimensional subspace of on which we can compute the action of and , and thus of and .

We may iterate this procedure many times, but the fact that is finite dimensional means that the process must eventually terminate. At the point of termination we will have broken up as a direct sum of some finite number of orthonormal -dimensional vector spaces, , and on each vector space we will have an orthonormal basis with respect to which the action of and is known precisely.

Stated another way, we can introduce an orthonormal basis for , where runs over all -bit vectors, and , and such that the action of the and is to leave invariant, and to act on as described above. In this representation it is clear that can be regarded as a tensor product , with the action of and trivial on the component. We will call this the occupation number representation for the Fermi algebra .

It’s worth pausing to appreciate what has been achieved here: starting only from the CCRs for we have proved that can be broken down into a tensor product of a -dimensional vector space and a -dimensional vector space, with the s acting nontrivially only on the -dimensional component. Furthermore, the action of the s is completely known. I think it’s quite remarkable that we can say so much: at the outset it wasn’t even obvious that the dimension of should be a multiple of !

When we will call this the fundamental representation for the Fermionic CCRs. (This is the terminology I use, but I don’t know if it is standard or not.) Up to a change of basis it is clear that all other representations can be obtained by taking a tensor product of the fundamental representation with the trivial action on a -dimensional vector space.

We’ve now understood the fundamental mathematical fact about fermions: the mere existence of operators satisfying Fermionic canonical commutation relations completely determines the action of those operators with respect to some suitable orthonormal occuptation number basis. That’s a very strong statement! In the next post we’ll use this technology to study a problem of direct physical interest: finding the energy spectrum and eigenstates of a Hamiltonian which is quadratic in terms of Fermi operators.

From → General