Monday 17 December 2012

The Folklore of the Untestability of String Theory


I recently received an email from an undergraduate after agreeing to give a talk to their society about string cosmology and testing string theory. The undergraduate expressed amazement about being able to test string theory, given the "folklore that it is untestable". I thought this warranted some explanation, obvious to any sensible Bayesian. Here is an extended version of my reply to this student.

I apologise for overstating Bayesian, but I wanted to ram it down the student's throat: you, my discerning readers, may not need so much ramming. I also apologise to any better Bayesians than I for perhaps liberal use of terminology and butchering of concepts.

Firstly, the folklore applies to string theory "as a whole", rather than individual models. I will ignore the obvious point to be made that string theory "as a whole" is a beautiful mathematical framework and testing it is not the point. I will instead approach things as a cosmologist and a Bayesian.

The folklore is too simplistic, in the sense that one can always assume a model and verify its parameters. This is what one always does in a Bayesian philosophy of science, which is manifestly what practicing science actually is. However one is able to construct other models that may have similar consequences. This is often the case in fundamental theory: think of the plethora of models being tested at the LHC! (Although silly particle theorists aren't Bayesians and use silly concepts like the "look elsewhere effect". Tut tut...)

The selection for the models to test, outwith unexpected and contradictory results (lack of concordance, which we all hope and pray for), comes down to a selection based on priors (also Bayesian, except Bayesians choose to recognise them!). These priors are either (arbitrary) prejudice based on intuition, unification etc, or (less arbitrary) priors based on fine tuning and the ability to perform meaningful calculations. String theory and other theories fall into both camps on priors depending on your taste. In my opinion string theory falls into both at once positively and negatively. A Bayesian picks one model and tests it, then compares models to one another.

String theory comes up trumps in (practical) cosmology because it is complete enough to actually give meaningfully testable cosmological models, although many of them. More standard particle theories also give such many models, as can explicitly non-fundamental models. Currently the data cannot tell them apart, therefore a Bayesian accepts both as equally likely modulo the priors. By this I mean that I accept modified gravity is equally as likely as a cosmological constant based on the evidence, but my prior is a hard prejudice that it is not the truth.

An aside on this point: there many theories of modified gravity and field theory Lagrangians. As many as low-energy models based on string theory? More? I don't know: what is the measure on theory space? Clearly all these low-energy theories (paradigms?) fall foul of being "untestable" based on the folklore, which I now hope you are starting to agree is fallacious.

The folklore refers to "complete" theories, so the testable other models referred to above in particle and non-fundamental theory (by which I mean low-energy modifications of gravity) are manifestly not "complete". But then, "completeness" is still an arbitrary prior.

The folklore is applied in an ideal world that may not exist. In this ideal world the many additional parameters needed to turn string theory into a model make it unpalatable (although, as I've said we do measure some of them in the *context* of cosmological models. For example I can construct a stringy model of inflation and use the scalar amplitude to bound some property of the compactification.). In this ideal world one can do experiments at arbitrarily high energy and across all of space time and "test" whatever you like. But this is not the world we live in, certainly in practice, and in fact maybe not even in theory. In theory I mean we cannot do all the experiments required to gain complete knowledge of cosmology. In simple terms this is due to the special relativity fact that events outside your light cone are inaccessible to you. In more refined terms it is boiled up in complex arguments about the existence of observables in quantum gravity in de-Sitter space and eternal inflation.

Anyhoo, practically we are always limited by our finitude and fallibility to not have access to a perfect world of infinite data at the Planck scale, and so we are Bayesians. Comparing models we have and measuring their parameters. Sometimes these models come from string theory, and we may prefer these models to low-energy field theory models for their being part of a larger framework. Or we may not. Model selection with insufficient data is prior driven. But you do need a theory that gives you models to test, and string theory certainly does that in cosmology!

Wednesday 27 June 2012

Scalar Fields

Beginning this blog on the "s" theme of its title, I want to talk about scalar fields, or scalars. A scalar field is something that has a value at every point in space: the canonical example is temperature. There is a value, but no direction.

A magnetic field on the other hand, points from north to south, it has a direction and is known as a vector field. If I look at the Earth the "normal" way up, I see this as going down on the map, but I can look the Earth the other way up, because there is nothing special about the choice of map makers, and I see the magnetic field going up. Vectors care about how you look at them. They care about the frame of reference. Scalars don't care what direction you look at them or how fast you are moving: they are Lorentz invariant.

For this reason, scalars are odd things, as they don't transform under the Lorentz symmetry of special relativity. This allows them to have a vacuum expectation value, or vev. A vev means that the scalar field has a value that is the same everywhere in space. This is not something a vector field could have without picking out a preferred direction in space, and violating a form of the cosmological principle. The vev has an energy, and it contributes to the cosmological constant, which effects the expansion rate of our universe.

Interestingly, this is contrary to the point of this video explaining the Higgs (which I found on Cosmic Variance). The video explains quantum fields as things whose ripples are what we observe: they are everywhere but we only see them when they ripple. However, the Higgs is a scalar, and its vev also contributes to the cosmological constant, which changes when the electroweak symmetry is broken in the early universe. With scalars, we see more than just their ripples.

I mentioned above that temperature is the canonical example to explain what a scalar field is to the non-specialist. However, in relativity, we express the temperature as the energy density of the electromagnetic field, but the energy density changes when we move to different frames of reference. Temperature is the fourth root of the energy density, which forms part of a four vector and transforms under Lorentz transformations. Temperature is NOT a scalar in relativity! In Cosmology a major number is the temperature of the CMB. How can we speak of this in a way that does not violate the cosmological principle? The truth is that we only measure the temperature of the CMB in the preferred frame of reference that is at rest with respect to the CMB. The CMB defines the preferred frame. Models where we mess with this are called "tilted universes" (see e.g. Liddle and Lyth's book on Inflation).

When we write down fundamental theories we don't want them to care about such arbitrary choices like the maps of the Earth. Scalars fit this bill. If we want our fundamental theories to contain vector fields or other more complicated objects, however, we must "contract" them up to make scalars. Being a scalar is very important and is related to fundamental concepts in physics about symmetries and the action principle.

In group theory, scalars are the singlets of any group. A representation every group shares. They normally don't feel whatever force is associated with a group, for example neutrinos are singlets under the U(1) of electromagnetism (EM), so they are not charged. but neutrinos are not scalar fields, we name things "scalars" in the sense of "scalar field" by the way the field behaves under the symmetries of General Relativity (GR), the diffeomorphisms. However, because GR sees all energy density, even scalars of diffeomorphisms source gravity, in a way that scalars of EM do not source EM.

Fundamental scalars are very odd things. By which I mean things that are scalars without us having to "make" them that way, in the way we build scalars in EM to make the Maxwell Lagrangian by contracting the vector fields. The only one that we think exists in the standard model is the Higgs field, and an aversion to fundamental scalars is one philosophical motivation for theories like technicolor that are alternatives to the Higgs. The scalars of technicolor are not fundamental, they are "composite" scalars. Like the pion of the strong force, they are built by adding two fields of opposite spin.

However,  one theory that is full of scalar fields is string theory. These scalars are describing things to do with the internal space that we lowly 4d mortals can't see (see for example http://arxiv.org/abs/1204.2795). These fields are called moduli. These apparently fundamental scalars in 4d are just vestiges of higher dimensional gravity, and appear to us after the famous phenomenon of Kaluza-Klein compactification. String theory scalars are very important in making string theory reproduce the physics we know, give us lots to play with in the physics we don't, but are infamous as the source of the string landscape and the charge of loss of productivity often brought against the theory. (string theory also furnishes us with many other similar fields called axions, which are "pseudo-scalars" and behave differently under spatial reflections, but they are the subject of a whole other post…)

Another theory that contains lots of scalars is supersymmetry (SUSY). SUSY builds in scalars in what are called chiral multiplets. The chirality (or handedness) of the weak nuclear force is one of the most important facts about our universe and is very constraining for model builders. Incorporating SUSY into a theory that is chiral gives us all the superpartners as scalars or "sparticles" -  and at least as many as there are fermions (quarks and leptons) in the standard model. We know the weak force is chiral: if the world is also supersymmetric, then scalars play a key role.

But why, apart from the possible imminent detection of our first genuine scalar in CERN next week, am I telling you about scalars? I'm a cosmologist, and scalars are everywhere in cosmology theory. Why? Because they are easy to work with. One can often do away with the awkward phase space descriptions one needs to properly describe for example photons and neutrinos (the analogous distributions to the Maxwell-Boltzmann distribution in ordinary statistical mechanics). All modified gravity theories are GR plus a scalar or more. (the exception are the odd (and oddly named) "Galileons", also the subject of future post)

What do we use scalars for in cosmology? Well, scalars can have potentials. Because they are Lorentz invariant, any function of them is, and this is their great utility. They serve us as inflatons, dark energy, and dark matter. However, our greatest theoretical problem, the cosmological constant problem, is intimately related to these very potentials, and the vevs that allow scalar fields to perform the Higgs mechanism. (if you've never read it, I highly recommend Weinberg's 1989 review)

Do true scalars exist? Because of the need for a change in, or constant, vacuum energy in any theories of electroweak symmetry breaking (what the Higgs does), inflation, or Dark Energy/modified gravity, one always requires at least an approximate, or composite, scalar degree of freedom: technibaryons, or massive gravitons are all described by effective scalar degrees of freedom. One could even argue that string theory, in its true 10 or 11 dimensional form doesn't have scalars: the effective ones are degrees of freedom of a string. The question of whether we have fundamental scalars is still open, but could come one step closer to being resolved on Wednesday at CERN. Even if particle physicists find the Higgs, knowing whether it is really fundamental will be a whole other game. Although the LHC should be able to distinguish it from many popular technicolor theories, we will probably have to wait longer to find out. (I'm sure Jester will have plenty to say about this)

Finally, even in a strongly coupled theory like technicolor, compositeness is not a definite concept thanks to the hot topic of holography and dualities. In dual theories the "fundamental" fields swap roles, so composites on one side of the duality are fundamental from the other point of view.