- Weinberg-Witten theorem
Steven Weinberg andEdward Witten consider the so-called emergent theories to be misguided. During the 80's,preon theories, technicolor and the like were very popular and some people were speculating that gravity might be an emergent phenomena or thatgluon s might becomposite . So, they came up with ano-go theorem that excludes, under very general assumptions, the hypothetical composite and emergent theories. Decades later new theories of emergent gravity are proposed and the mainstream high-energy physicists are still using this theorem to "debunk " such theories. Because most of these emergent theories aren't Lorentz covariant, the WW theorem doesn't apply. The violation ofLorentz covariance however leads to other problems.Theorem
* A 3 + 1D QFT (
quantum field theory ) with a conserved4-vector current "J" (seefour-current ) which isPoincaré covariant (andgauge invariant if there happens to be anygauge symmetry which hasn't beengauge-fixed ) does not admitmassless particle s withhelicity |"h"| > 1/2 that also have nonzero charges associated with the conserved current in question.
* A 3 + 1D QFT with a conservedstress-energy tensor which isPoincaré covariant (andgauge invariant if there happens to be anygauge symmetry which hasn't beengauge-fixed ) does not admit massless particles with helicity |"h"| > 1.A sketch of the proof
Let's assume that the assumptions of the first theorem are satisfied. By the charge "Q", we mean of course. Let's look at the
S-matrix element (assuming the S-matrix exists, which is a nontrivial assumption in theories without amass gap ; however, we're only interested in one particle to one particle states, which doesn't presuppose the existence of an S-matrix) where |"p"> and |"p"′> are the one-particle states of the massless charged particle with helicity "h" and4-momentum "p" and "p"′ respectively. Let's assume that the sign of the helicity of both particles are the same (after all, we can't rule out self-dual particles with only one sign for the helicity! CPT theorem???). Of course "p" and "p′" lie on the boundary of the forwardlight cone . Let's look at the case where isn't anull vector (i.e.lightlike momentum transfer ), which means that the momentum transfer isspacelike .Since we know that
:
where we have now made used of the translational covariance part of the Poincaré covariance. And so,
:
with .
Let's transform to a
reference frame where "p" moves along the positive "z"-axis and "p"′ moves along the negative "z"-axis. This is always possible for anyspacelike momentum transfer.In this reference frame, <"p"′|"J"0(0)|p> and
3(0)|p> changes by the phase factor under
rotation s by θ counterclockwise about the "z"-axis whereas1(0)+iJ2(0)|p> and
1(0)-iJ2(0)|p> change by the phase factors and respectively.
If "h" is nonzero, we need to specify the phases of |"p">. This can't be done in a Lorentz-invariant way (see
Thomas precession ), but theone particle Hilbert space is Lorentz-covariant and so it still makes sense to speak of the Lorentz invariance of the S-matrix. So, if we make any arbitrary but fixed choice for the phases, then each of the matrix components in the previous paragraph has to be invariant under the rotations about the "z"-axis. So, unless |"h"| = 0 or 1/2, all of the components have to be zero.If we assume that
:,
(this is a dangerous assumption! see the section below), then from the fact that , can't be zero for all spacelike momentum transfers (This is because the case of zero momentum transfer is the limit of a sequence of spacelike momentum transfers). But this is only possible if .
Similarly, for theorem 2,
: and
:
with .
For spacelike momentum transfers, we can go to the reference frame where "p"′ + "p" is along the "t"-axis and "p"′ − "p" is along the "z"-axis. In this reference frame, the components of transforms as , ,, or under a rotation by θ about the "z"-axis. Similarly, we can conclude that
Note that this theorem also applies to
free field theories. If they contain massless particles with the "wrong" helicity/charge, they have to be gauge theories.Ruling out emergent theories
What has this theorem got to do with emergence/composite theories?
If let's say gravity is an emergent theory of a fundamentally flat theory over a flat
Minkowski spacetime , then byNoether's theorem , we have a conserved stress-energy tensor which is Poincaré covariant. If the theory has an internal gauge symmetry (of the Yang-Mills kind), we may pick theBelinfante-Rosenfeld stress-energy tensor which is gauge-invariant. As there is no fundamentaldiffeomorphism symmetry, we don't have to worry about that this tensor isn't BRST-closed under diffeomorphisms. So, the Weinberg-Witten theorem applies and we can't get a massless spin-2 (i.e. helicity ±2) composite/emergentgraviton .If let's say we have a theory with a fundamental conserved 4-current associated with a
global symmetry , then we can't have emergent/composite massless spin-1 particles which are charged under that global symmetry.Theories where the theorem is inapplicable
Nonabelian gauge theories
There are a number of ways to see why nonabelian
Yang-Mills theories in theCoulomb phase don't violate this theorem. Yang-Mills theories don't have any conserved 4-current associated with the Yang-Mills charges that are both Poincaré covariant and gauge invariant. Noether's theorem gives a current which is conserved and Poincaré covariant, but not gauge invariant. As |"p"> is really an element of theBRST cohomology, i.e. aquotient space , it is really an equivalence class of states. As such, is only well defined if J is BRST-closed. But if "J" isn't gauge-invariant, then "J" isn't BRST-closed in general. The current defined as is not conserved because it satisfies instead of where D is thecovariant derivative . The current defined after a gauge-fixing like theCoulomb gauge is conserved but isn't Lorentz covariant.Spontaneously broken gauge theories
The
gauge boson s associated withspontaneously broken symmetries are massive. For example, in QCD, we have electrically chargedrho meson s which can be described by an emergent hidden gauge symmetry which is spontaneously broken. Therefore, there is nothing in principle stopping us from having composite preon models of W andZ boson s.On a similar note, even though the
photon is charged under the SU(2) weak symmetry (because it is thegauge boson associated with a linear combination of weak isospin and hypercharge), it is also moving through a condensate of such charges, and so, isn't an exact eigenstate of the weak charges and this theorem doesn't apply either.Massive gravity On a similar note, it is possible to have a composite/emergent theory of
massive gravity .General relativity In GR, we have diffeomorphisms and A|ψ> (over an element |ψ> of the BRST cohomology) only makes sense if A is BRST-closed. There are no local BRST-closed operators and this includes any stress-energy tensor that we can think of.
Induced gravity In induced gravity, the fundamental theory is also diffeomorphism invariant and the same comment applies.
Seiberg duality If we take
N=1 chiral super QCD with Nc colors and Nf flavors with , then by theSeiberg duality , this theory is dual to anonabelian gauge theory which is trivial (i.e. free) in theinfrared limit. As such, the dual theory doesn't suffer from any infraparticle problem or a continuous mass spectrum. Despite this, the dual theory is still a nonabelian Yang-Mills theory. Because of this, the dual magnetic current still suffers from all the same problems even though it is an "emergent current"(It can't be defined in terms of the fundamental fields. Only operators which are magnetically neutral in the dual description can be defined in terms of the "fundamental" field operators and only nonlocally with respect to them. But this is completely besides the point.). Free theories aren't exempt from the Weinberg-Witten theorem (they still have to be gauge theories) (This is also besides the point but this model is only free in the IR).Conformal field theory In a conformal field theory, the only truly massless particles are noninteracting
singleton s (seesingleton field ). The other "particles"/bound states have a continuousmass spectrum which can take on any arbitrarily small nonzero mass. So, we can have spin-3/2 and spin-2 bound states with arbitrarily small masses but still not violate the theorem. In other words, they areinfraparticle s.Infraparticle sTwo otherwise identical charged infraparticles moving with different velocities belong to different
superselection sector s. Let's say they have momenta "p"′ and "p" respectively. Then as "J"μ(0) is a local neutraloperator , it does not map between different superselection sectors. So, is zero. The only way |"p"′'> and |"p"> can belong in the same sector is if they have the same velocity, which means that they are proportional to each other, i.e a null or zero momentum transfer, which isn't covered in the proof. So, infraparticles violate the continuity assumption:
This doesn't mean of course that the momentum of a charge particle can't change by some spacelike momentum. It only means that if the incoming state is a one infraparticle state, then the outgoing state contains an infraparticle together with a number of
soft quanta . This is nothing other than the inevitablebremsstrahlung . But this also means that the outgoing state isn't a one particle state.Theories with
nonlocal charge sObviously, a nonlocal charge does not have a local 4-current and a theory with a nonlocal 4-momentum does not have a local stress-energy tensor.
Acoustic metric theories andanalog model of gravity These theories are not Lorentz covariant. However, some of these theories can give rise to an approximate emergent Lorentz symmetry at low energies so that we can both have the cake and eat it too.
Superstring theory Superstring theory defined over a background metric (possibly with some fluxes) over a 10D space which is the product of a flat 4D Minkowski space and a compact 6D space has a massless graviton in its spectrum. This is an emergent particle coming from the vibrations of a superstring. Let's look at how we would go about defining the stress-energy tensor. The background is given by g (the metric) and a couple of other fields. The
effective action is a functional of the background. TheVEV of the stress-energy tensor is then defined as thefunctional derivative :
The stress-energy operator is defined as a
vertex operator corresponding to this infinitesimal change in the background metric.Unfortunately (or fortunately), not all backgrounds are permissible. Superstrings have to have
superconformal symmetry, which is a super generalization ofWeyl symmetry , in order to be consistent but they are only superconformal when propagating over some special backgrounds (which satisfy theEinstein field equation s plus some higher order corrections). Because of this, the effective action is only defined over these special backgrounds and the functional derivative is not well-defined. The vertex operator for the stress-energy tensor at a point also doesn't exist.References
* [http://dx.doi.org/10.1016/0370-2693(80)90212-9 Limits on massless particles] , Physics Letters B, Volume 96, Issues 1-2 , 20 October 1980, Pages 59-62
* [http://arxiv.org/abs/hep-th/0607239 A. Jenkins, "Topics in particle physics and cosmology beyond the standard model"] (see Ch. 2 for a detailed review)
Wikimedia Foundation. 2010.