Mon., Nov. 22:
# Reiterated the realization of gauge-invariance in QM. See last week's minutes.
# Discussed energy in light of gauge invariance. The Hamiltonian is not gauge invariant...
rather we have (id_t -H')U = U(id_t - H), where U = exp(ie alpha(x,t)),
so its eigenvalues or expectation value  cannot always be the energy. In two gauges
related by a time-independent gauge parameter the scalar potential is the same,
only the vector potential changes, and  H' = UHU^-1. In this case H' and H are related
by a unitary transformation, so they have the same spectrum and expectation values
in corresponding states. The funny business comes when the gauge parameter
is time dependent. Then we must decide what we want to call the energy. For example,
in a constant electric field, in a time-independent gauge the electric field is minus the
gradient of the scalar potential. The Hamiltonian is time-independent, so its eigenvalues
and expectation values are conserved. In a gauge with the scalar potential zero and
the vector potential linear in time however, the Hamiltonian is time-dependent, hence not conserved.
The difference corresponds to whether or not the potential energy is included in the definition
of energy. If there EXISTS a gauge in which both the scalar and vector potentials are time independent,
then the Hamiltonian in this gauge defines a conserved energy. Moreover, any other gauge
in which the potentials are all time independent must be related by a gauge parameter of the
form a(x) + bt, where b is constant. Thus the scalar potential will differ only by a constant
shift, and H' is unitarily related to H up to a constant shift, H' = UHU^-1 - eb.
[By the way, in general relativity, energy is a source for gravity, so no ambiguity in the energy
can be tolerated. This is consistent with gauge symmetry, since the energy-momentum tensor
for matter fields is gauge-invariant, even thought the Hamiltonian is not.]
# Aharonov-Bohm effect revisited: we saw a while ago that the energy levels of a particle on a
ring can feel a magnetic flux through the ring: the energies are (n - Phi/Phi_0)^2 hbar^2/2mb^2.
I pointed out this is one way to have answered the homework problem from way back, involving
the unitarily inequivalent representation of the momentum operator on R^3 minus a cylinder.
That problem is identical to a situation in which there is a gauge field with vanishing magnetic
field but nontrivial loop integral around a closed curve: recall the ambiguity in the momentum
p_i was p_i -> p_i + f_i, with f_[i,j]=0. Identifying f_i with -(e/c)A_i, the two problems become
equivalent. Thus one can think of the quantization ambiguity as parametrized by the magnetic
flux that might be in the removed cylinder. As the ring example shows, this ambiguity has
physical consequences.
# The Aharonov-Bohm effect also operates on scattering amplitudes, not just energy levels.
This comes up in the operation of a SQUID (superconducting quantum interference device),
which is a lead into a current loop with two Josephson junctions, followed by a lead out.
To analyze the effect on the current  due to a magnetic field through the loop, we can use
gauge invariance. Consider the paths through the two sides of the loop, paths 1 and 2.
To a good approximation we can think of the electrons as coherently split between the
two paths, with no "back scattering". On each half of the loop the potential due to the additional
magnetic flux through the loop is pure gauge, so can be written as grad alpha_1,2. However,
there can be no single continuous gauge parameter that yields the vector potential on both paths.
If the input and output leads are at points p and q, and we choose alpha_1(p)=alpha_2(p), then
the magnetic flux though the loop is
\oint A.dl = \int_1 grad alpha_1.dl  - \int_2 grad alpha_2.dl  = alpha_1(q) - alpha_2(q).
That is, the discontinuity of alpha is the flux through the loop.
Now suppose the solution to the Schrodinger eqn without the extra field is a sum of pieces
that propagate around the two sides of the loop, psi_1 + psi_2. In the presence of the extra
flux, the Hamiltonian for the two sides is modified by the gauge transformation generated
by alpha_1,2 so the solution is modified by the phase factor exp(ie alpha_1,2) (with hbar=c=1).
Hence at q we have the solution
exp(ie alpha_1)psi_1 + exp(ie alpha_2)psi_2
= exp(ie alpha_2) [exp(i 2pi Phi/Phi_0) psi_1 + psi_2],
which exhibits an interference between the two paths that is modified by the extra flux enclosed,
modulo Phi_0.
# This effect leads to the fact that, in a squid, the maximum current oscillates with Phi as
 I_max = 2I_0 cos(2pi Phi/Phi_0). Since a small fraction of an oscillation can be resolved, a squid
can be a very sensitive magnetometer.


Wed., Nov. 24:
# Zeeman effect: shift & splitting of energy levels of atoms in a uniform external magnetic field.
Except for super strong fields such as at the surface of a neutron star the diamagnetic term in the
Hamiltonian can be neglected for atomic electrons, so we have for B in the z-direction
H_Z = -mu.B = (mu_B B/hbar)[ L_z + 2 S_z]. This splits many of the otherwise degenerate
levels, since the external magnetic field breaks rotation invariance.
# Note that H_Z is gauge-invariant. Although when we identified it as the important term we used
a particular gauge (A = B x r/2), its gauge-invariance assures us that the fact that it is the important term
does not depend on the gauge we use.
# We saw previously that the terms in H_Z are of order a million smaller than one Rydberg for a magnetic
field of one Tesla, so the Zeeman effect is numerically small in an atom, but it is important since
experimenters can resolve it and can tune radio frequencies or laser beat frequencies to this resolution.
# It is fairly pointless to examine the effect of H_Z on the levels of a Coulomb potential, since physically
we also have fine and hyperfine structure which can be comparable to or larger than the Zeeman splitting.
So we'll come back to the Zeeman effect after we've treated these other effects.
# Magnetic monopoles: This topic is not essential, but it is interesting, and it plays an important role
in various theoretical developments of field theory,  and monopoles are predicted in some unified
gauge theory models. So let's take a look at it.
# Maxwell's eqn div B=0, if true in all space, implies via Gauss' theorem that the magnetic flux
through any surface vanishes, so that there are no magnetic monopoles. But what if there is a
singularity of some sort at the location of the monopole, so that div B is not zero there?
At first it seems that this is irrelevant, since we can argue that the magnetic flux though a
spherical surface vanishes without reference to the interior:
Divide the surface into northern and southern hemispheres, which meet at an equator.
Since B = curl A,  Stokes' theorem implies that  the northern flux is equal to the line integral of A
clockwise around the equator, while the southern flux is the line integral counterclockwise.
The sum of these vanishes, so the total flux must vanish.
# There is a way around this conclusion, first formulated by Dirac, and then given much later in a somewhat
less implausible form. In fact,  the two forms are actually equivalent. Let's first give Dirac's argument.
Dirac pointed out that the flux of the monopole could be fed in along an infinitesimally thin
flux tube---the Dirac string---that ends on the monopole.  In order not to be observable by the quantum mechanical phase the flux through the string must be an integer number of flux quanta Phi_0.
On the other hand, this flux is 4pi g, where g is the magnetic charge, so we have 4pi g = n Phi_0 = n hc/e.
Thus magnetic charge is quantized in units of e/(2 alpha) =~ (137/2) e.  This also implies that if there is even one magnetic pole, then all electric charges must also be quantized in units of e.
# The more plausible formulation of this abandons the string in favor of a non-globally defined vector potential. Going back to the northern and southern hemispheres, there is a northern vector potential
A_n and a southern vector potential A_s. The flux through the sphere is the line integral around the equator \oint (A_n - A_s).dl,  which would vanish if there were one global potential. All we really need to require however is that A_n and A_s are related by a gauge transformation, so A_n - A_s = grad alpha for some gauge parameter alpha. In this case, we have   Phi = \oint (A_n - A_s).dl = alpha(2pi) - alpha(0). If alpha is continuous this also vanishes, but  alpha need not be continuous.  Only the vector potential need be continuous. Hence it looks as if the flux Phi can be anything. But this disagrees with Dirac's quantization condition: we are leaving out the quantum charge, whose wave function also changes under the gauge transformation, by the phase factor exp(i(e/hbar c) alpha). The wave function, and hence this phase factor, must be continuous, hence the only allowable discontinuities of alpha are integer multiples of the flux quantum Phi_0 = hc/e. Therefore we arrive at the same conclusion as did Dirac: the flux of a magnetic monopole must be an integer multiple of Phi_0.
# Note that we need not even deal directly with the discontinuous field alpha. We can (and should) think of the gauge transformation as being specified by the continuous U(1) element (i.e. the phase factor)
U= exp(i(e/hbar c) alpha). We can think of U as the basic quantity, and of alpha as just an ambiguous logarithm of U. As derived in last week's minutes in the context of a general non-abelian
gauge transformation, the gauge transformation of A is given directly in terms of U by
A' = A + (- i hbar c/e) (grad U)  U^-1 = A + grad alpha.
# For any of this to be relevant there must be some place inside the sphere where div B is nonzero,
otherwise the flux of B can't but vanish by Gauss' theorem. Also, only if div B fails to vanish somewhere inside the sphere is it possible that there is no global vector potential for which B = curl A. As already mentioned, div B might not vanish if there is a singularity at the monopole, but this is not a physical model.
A more interesting case is when the electromagnetic U(1) is embedded in a larger Yang-Mills gauge group. Then the magnetic field is only part of a nonabelian gauge field that satisfies some generalization of Maxwell's equation. It can happen that there is an extended static solution to the Yang-Mills equations, a soliton, in which the other fields are nonzero and div B is nonzero but related to these other fields inside the soliton. The above argument shows that in this situation, the soliton may have magnetic charge, but that charge must be quantized in units of 4pi/Phi_0.