SUSY QM 1: Superalgebra
A couple months ago, I stumbled across an amusing bit of academic woo: “Quantum Mind and Social Science.” The misrepresentations, false dichotomies and nons sequitur of that piece prompted me to wonder what a good litmus test for knowing quantum mechanics might look like. Joshua offered a simple criterion: be able to pick the Schrödinger Equation out of a line-up. At a slightly higher level, I suggested being able to describe in the Heisenberg picture the time evolution of a harmonic oscillator coherent state, and explaining why states of the hydrogen atom with the same n but different angular momentum number l are degenerate. You can’t discuss the relationship between classical and quantum physics without bringing up coherent states eventually, and a good grounding in the basics should include the Schrödinger and Heisenberg pictures. (That’s why I wrote problem 5 in this homework assignment.)
The excited states of the hydrogen atom are our prototype for understanding how the periodic table works, and it’s often the first place one runs into the mathematics of angular momentum. Unfortunately, too many standard treatments of introductory QM say that hydrogen has “accidental degeneracies”: these states have the same energies as those states for no spectacularly interesting reason. But we are trained to associate degeneracies with symmetries — when two sets of eigenstates have the same eigenvalues, we expect some symmetry to be at work. So, is there a symmetry in the hydrogen atom above and beyond the familiar rotational kind, a symmetry which They haven’t been telling us about?
I’d like to explore this topic over a few posts. First, I’ll build up some very general machinery for solving problems, and then I’ll apply those techniques to the hydrogen atom; by that point, we should have a fair amount of knowledge with which we can move in any one of several interesting directions. To begin, let’s familiarize ourselves with the behavior of a superalgebra.
INTRODUCTION
In fundamental quantum mechanics, we learn that an algebra of operators is defined by commutation relations among those operators. For example, the canonical operators of position and momentum have the commutator
. A more intricate case is the algebra of angular momentum operators, which we encountered when exploring the rotational symmetries of 3D space. To generalize this concept, we define an anticommutator, which relates operators in the same way as an ordinary commutator, but with the opposite sign:

If operators are related by anticommutators as well as commutators, we say that they are part of a superalgebra. Let’s say we have a quantum system described by a Hamiltonian
and a set of
self-adjoint operators
, each of which commutes with the Hamiltonian. We shall call this system supersymmetric if the following anticommutator is valid for all
:

If this is the case, then we call the operators
the system’s supercharges.
will be termed the SUSY Hamiltonian, SUSY being a convenient abbreviation for whichever variation of “supersymmetry” is grammatically appropriate. A SUSY algebra is characterized by its number of supercharges, which we typically denote
.
Because the
case exemplifies many properties of general SUSY theories, it is worthwhile to work it out in some detail. We require two supercharges,
and
. The SUSY algebra we defined a moment ago implies the following relations:

It is sometimes more convenient to work with a “complex” supercharge that is not self-adjoint. (The convention we choose depends upon the given information we have to work with!) If we make linear combinations of our supercharges,

then the SUSY algebra implies
. To make this a little more concrete, we can realize a specific incarnation of the superalgebra: let
be some Hamiltonian of interest, and suppose that we can factor
into the product of an operator and its adjoint:

Note that this is almost the form of the harmonic oscillator Hamiltonian, except for an energy shift:

So, this is not an unfamiliar form for a Hamiltonian. Swapping the order of the factors gives another operator, which you can verify is also Hermitian:

With
in hand, define the two operators

and

Matrix arithmetic verifies that

so we can say that the anticommutator of our two charges gives a Hamiltonian
which is block diagonal,

and
can be considered two Hamiltonians acting on subspaces of the original Hilbert space associated with
.
PARTNER POTENTIALS
What exactly is so special about operators of the forms
and
? Given a Hamiltonian for some system,
, if it can be factored into the product of two operators
, then we can construct another Hamiltonian
which has almost exactly the same energy eigenvalue spectrum. These “isospectral” Hamiltonians may not describe the same physics, and their respective potentials
and
may look radically different. As usual, a degeneracy in the energy levels corresponds to a symmetry; in this case, the symmetry is the SUSY between our two Hamiltonians.
First, let’s take a look at the eigenstates of Hamiltonian number 1. These states satisfy the relationship

Now, a surprising thing happens: the operator
maps the eigenstates of Hamiltonian 1 into eigenstates of Hamiltonian 2. Look:

but by the equation just above, this means that

The same logic works in the opposite direction, connecting eigenstates of
with those of
. The eigenstates behind door number 2 satisfy

so by acting with the operator
,

We have shown that
and
are isospectral. For every eigenstate of one, there lurks an eigenstate of the other with the same energy. One exception is important: if

that is, if
has a zero-energy ground state, the proof does not work, and there is no need for
to have a zero-energy ground state. In fact, as we’ll see momentarily, only one of
and
may have a zero-energy ground state; for consistency, we usually arrange matters so that
has the extra eigenstate.
SUPERPOTENTIALS
Most of the time, we find ourselves dealing with Hamiltonians of the form

which, knowing that
, we can also write as

If we want to factor this
into an operator and its adjoint, we should probably start with an operator which is linear in the derivative of
, thus:

Here,
is some real function of
which we shall call the superpotential. Taking the adjoint of
flips the sign on the derivative; you should deduce why by observing that the momentum
is observable and therefore self-adjoint.

We can connect the superpotential to
’s ordinary potential,

This relationship is known as the Riccati Equation. If we reverse the order of our operators, it turns out that
is a Hamiltonian with a new potential
, given by

We recognize this as the Riccati Equation with a change of sign.
and
are known as partner potentials, related through the superpotential
.
With one more step, we can relate the superpotential to the ground state wavefunction. Note that the ground state of
is annihilated by
, satisfying the relation

Looking back at the form of
, we see that this is a first-order differential equation, and we can write its solution as an exponential.
Note that the zero-energy ground state of
would be annihilated by
and would therefore be proportional to
Only one of these two expressions can give a normalizable state: if one behaves nicely, the other will blow up. That’s why only one of the two partner Hamiltonians can have a ground state of zero energy.
Often, these equations are shown in “natural units” where
. This can always be done by changing the units of
, and it makes successive steps in the calculations much cleaner. I think it nice to see the equations with all the original units in place at least once; in following sections, however, when units are not illuminating I will set unnecessary constants to unity.
READING
- Fred Cooper, Avinash Khare, Uday Sukhatme, “Supersymmetry and Quantum Mechanics” (5 May 1994).
SUSY QM SERIES
- Part 1: Superalgebra
- Part 2: Shape Invariance
- Part 3: Two-Body Problem
- Part 4: Separation of Variables
- Part 5: The Hydrogen Atom
- Part 6: Intermezzo: The Dirac Equation
- Part 7: The 1D Dirac Hamiltonian
![[come out]](http://www.sunclipse.org/downloads/scarlet_A.png)


[…] is writing a series of posts Science after Sunclipse on supersymmetric quantum mechanics. The first post introduces the basics of superalgebra, while the second post uses this to solve some actual quantum […]
Ars Mathematica » Blog Archive » 24th Carnival of Mathematics said this on January 12th, 2008 at 02:32 am
It’s not true in general that only one of H_1, H_2 can have a zero eigenvalue, consider A = (0 0 ; 1 0) , A^dag = (0 1 ; 0 0) , H_1 = (1 0 ; 0 0) , H_2 = (0 0 ; 0 1). (These are 2×2 matrices with the ‘;’ separating the rows.)
Jeremy Henty said this on January 13th, 2008 at 00:52 am
Whoops, OK, I see that H_1 and H_2 can’t both have zero eigenvalues when A is given by the superpotential Ansatz you write down later. Didn’t see that coming.
Jeremy Henty said this on January 13th, 2008 at 01:01 am