## Saturday, April 01, 2006

### PVLAS & axion

Optical rotation in magnetic field and axions

Sean Carroll mentions three experiments:
• B-meson oscillations that we discussed here
• MINOS (neutrinos) that we described here
• Rotating light in a magnetic field
We have not yet talked about the last one even though the preprint written by the PVLAS collaboration appeared in July 2005 - and another one in December. This experiment is very interesting because, unlike the previous two, it seems to indicate the existence of new physics.

Take a one-meter-long magnet with 5 Tesla of magnetic field. Send a linearly polarized laser beam whose oscillating electric field is pointing in the direction of the external magnetic field and carefully measure the polarization plane. The authors, Zavattini et al., argue that the polarization axis was rotated by
• 3.9 +- 0.5 picoradians per pass.
A possible explanation of this effect involves axions, scalar particles coupled to the electromagnetic field in a particular way. Andreas Ringwald from DESY explains how this data can be explained by the axions and how the astrophysical constraints on the axions can be evaded, as argued by Eduard Masso and Javier Redondo. Jacques Distler argues that this method to evade the bounds is very unnatural (see the trackback), and I would probably agree. See also Pierre Sikivie's 2005 article about axions.

Let me write a few moderately refreshing formulae. The axion explanation of the rotating plane involves a new scalar field "a", the axion. It has the ordinary kinetic and mass term:
• Lagrangian = 0.5 [(partialma)^2 - ma2 a2]
This axion is coupled to "F /\ F" of the electromagnetic field. In the non-relativistic notation, it is proportional to "E.B", and therefore the interaction term can be written as
• Lagrangian = - a E.B / Ma
Note that the electromagnetic "E.B" itself would be a total derivative that would fail to influence physics, but with the extra factor of the axion, it is no longer a total derivative. How does this term explain the rotating polarization plane? Recall that the external "B" is a vector whose magnitude is 5 Tesla; imagine it goes in the North-South direction. If you substitute this constant to the cubic interaction term above, you obtain a bilinear term proportional to "a.E".

Now you have a new, corrected quadratic Lagrangian in which "a" and the electromagnetic field are no longer separated. If you consider an electromagnetic wave whose "E" is orthogonal to the external "B", the coupling above does not contribute, and the electromagnetic wave propagates by the usual speed of light.

However, if you consider a linearly polarized electromagnetic wave whose "E" is parallel to the external "B", for example a beam moving up with "E" in the North-South direction, things change. The electromagnetic field mixes with the axion into two new eigenstates of "omega2 - p2". One of them is "mostly" the axion, and its effective mass is slightly smaller than the original mass of the axion. The other one is "mostly" the photon that however becomes slightly massive, and therefore slower. This polarization of the laser beam slows down compared to the vacuum and one can also compute the rotation of the polarization plane.

If you compute these things and think about plausible values of "ma" and "Ma", you will see that the mass "ma" should be a millielectronvolt, up to a factor of two or so, while the inverse coefficient "Ma" should be between 100 and 600 TeV.

You could be more conservative and say that you don't want any new field. Can you obtain the rotating plane directly by modifying the Lagrangian for the electromagnetic field? Well, the effect of the axion above can be mimicked if you integrate out the axion (for a while, imagine that the mass of the axion is higher than the frequency of your light) which will give you a term proportional to
• Lagrangian = # . ( F /\ F )2
That's a four-derivative term, a dimension 8 operator. Such terms surely appear in more complete theories except that the coefficients are tiny. Note that the tensor structure above is a different contraction than
• Lagrangian = # . ( Fmn Fmn )2
It is the last structure that occurs because of the box diagram, with an electron running in the loop. But this structure does not rotate the polarization plane. If you think for a while, the previous one does not rotate it either: it only gives you extra terms of the type "a component of E squared". For the rotation to occur, it is actually important that the axion is lighter than the frequency of the electromagnetic light. Because the wavelength of the laser light is a micron or so which gives you the energy scale of 2 eV or so. The axion must be lighter if it the light can rotate.

A completely dumb question for the insiders: do you generate the same rotating effect by the term written below?
• Lagrangian = # . ( Fmn Fmn ) ( F /\ F )

Axions in string theory

Because this is a superstringy blog, I can't avoid the comment that axions are predicted by most vacua in string theory. In heterotic string theory, for example, one always has the so-called model-independent axion. It's because the heterotic string theory predicts the two-form B-field potential under which the strings are electrically charged. Its exterior derivative is a three-form; its Hodge-dual in four dimensions is a one-form that can be written as the gradient of a zero-form if you're on-shell. The zero-form from the previous sentence is a scalar field called the model-independent axion. There are usually many other, model-dependent axions, too. See, for example, a paper by Tom Banks and Michael Dine about the cosmology of string-theoretical axions.