David Goss (this is not a typo, please!) told me to write something about the question "why are the stringy equations approximate".
What we call string theory is not a theory of "only" strings anymore. It contains many other objects, such as branes, that can be equally "fundamental" as the "fundamental strings". In fact, various dualities  equivalences between two seemingly different descriptions  often exchange the role of strings and other branes.
But it was not always like this. Before the middle 1990s, people were thinking about everything in string theory as a consequence of dynamics influencing vibrating strings. String theory always had a "coupling constant" g, a number that tells you how strongly strings interact. (The coupling constant is the exponential of a dynamical field in spacetime called the dilaton.) The calculations could only have been done perturbatively in g  which means that the scattering amplitudes (and cross sections) were calculated as a Taylor expansion in g.
Some functions, such as exp(1/g^2), cannot be written as a Taylor expansion around g=0. If you try to derive such a Taylor expansion for this function, you get zero plus zero plus zero and so on, even though the function is clearly nonzero. Even if you forget that such functions contribute to the amplitudes, it is important to understand that the stringy perturbative expansion is convergent order by order in perturbation theory, but if you try to resum all powers of g, you get divergences (unless the given amplitude terminates exactly, so that only a finite number of terms are nonzero). In fact, the leading terms first decrease, because the higher powers of g are smaller, but then they try to increase again because the coefficient behaves as (n!)  I really mean a factorial of n, where n is the power of (g^2).
If you sum the series up to the "minimal" term in the expansion, you get the most accurate result you can. But you must decide whether you include the last term or not, and therefore the typical error of such an approach is comparable to the minimal term in the expansion  which happens to be comparable to the first nonperturbative corrections. (The power n of g in this counting is comparable to 1/g or something like that.)
However, as indicated above, there are some quantities that can be calculated exactly because the Taylor expansion actually terminates: only a few terms are finite, and the rest vanishes. And we can often prove that the series terminates. Such exact statements are usually possible because of some symmetry. In twodimensional conformal field theories, many things are often calculable exactly (we say that they are integrable) because of this huge, infinitedimensional conformal symmetry.
In superstring theory we have another kind of symmetry, namely supersymmetry, that guarantees that many expansions terminate  and many functions are holomorphic functions of various parameters. This knowledge, together with the doable calculations of some singularities in the function, is often enough to reconstruct the exact function exactly. Supersymmetry was very important for most developments in the stringy revolution of the 1990s.
A more trivial example is the mass of the D0brane which is an exactly known number, determined by supersymmetry  which implies that the ratio between the mass and the charge must be a fixed wellknown constant that is not corrected by any new quantum processes  neither perturbative processes (quantum loops) nor nonperturbative processes (such as instantons).
The spectrum of D0branes, protected by the magic of supersymmetry which means that the spectrum is exact, not just approximate, allowed Edward Witten to extrapolate reliably some properties of the 10dimensional type IIA string theory to an arbitrary high value of the string coupling  and he found out that the mass spectrum of the existing states matches the spectrum you expect from a 11dimensional theory (which became known as Mtheory). It was always clear that the perturbative string theory that explains the whole world is just a perturbative approximation, and there are some new phenomena and numbers that go beyond the perturbative approximation. But it was usually assumed that the "new physics" that goes beyond the perturbative expansions is either qualitatively identical, or it is such a mess that it does not admit any nice description.
The duality revolution (the second superstring revolution) in the middle 1990s showed that it is not the case. If you turn on the coupling constant and make it really large, the physics won't be a totally weird theory with infinitely fluctuating geometry, spin foams that admit no calculations, or something like that. Instead, you return back to one of the wellknown theories at weak coupling  where their perturbative expansions are more or less accurate.
In the case of the heteroticE and type IIA string theories, you obtain an elevendimensional theory whose physics is known at low energies perturbatively  it is known to be elevendimensional supergravity. (The heterotic theory leads to a strip of 11dimensional spacetime between two HoravaWitten boundaries, while the new 11th dimension is periodic if you start with type IIA string theory.) As far as the dimension of type IIA string theory goes, Witten joked that the critical dimension of string theory was calculated with the error of 10 percent  which is not bad. The correct dimension is eleven because there is a hidden extra circle.
Witten's insights, previously anticipated by Duff, Townsend, and others, and similar developments have shown that the physics "beyond" the perturbative expansions is not an uncontrollable mess, but that there are actually new effects described by controllable language as well as exact mathematics that take over. But this mathematics  the exact definition of string theory in the other limit  is different from the first limit you started with.
String theory can be defined as the conglomerate of all good ideas in theoretical physics, and they are merged with one another into one big structure. If we tune the values of scalar fields or other properties that can actually be changed dynamically in the given Universe, we move from one Universe where some ideas are important into another Universe where other ideas are important. String theory is an inherently quantum theory whose whole glory cannot be obtained from quantization of a single, universal classical system. Instead, string theory has many different classical limits.
Spacetime geometry can completely change to something else  the most useful geometrical description depends on the point in the moduli space (imagine that the moduli space is the Landscape of all connected theories). String theory is clearly a structure where these good ideas are connected physically in ways that offer highly nontrivial consistency checks  the ideas are incorporated in such a way that hundreds of potential disasters  those that would ruin other theories that are not "quite" string theory  always miraculously disappear.
These different description of various "regions" of string/Mtheory look like maps or charts that are connected into a big "atlas"  the transition functions from one chart to another are given by various dualities and critical transitions, analogous to phase transitions. Every time we try to leave a map and tune some fields in such a way that the description for this map starts to break down, we always encounter new phenomena that are guaranteed to exist and save the theory, and bring us smoothly to another chart where new unexpected phenomena (rivers, waterfalls, and mountains) impress us once again. But the description that is useful for one chart in the Mtheory atlas is usually not applicable elsewhere. We need different ideas and different defining equations elsewhere, even though we can always show that the two sets of defining equations of "adjacent maps" overlap and agree perfectly in the intersection of the two maps.
Nevertheless it feels that we are discovering a structure that objectively exists, at least in the world of unique mathematical structures, much like Columbus when he was discovering America.
We know how to describe all the perturbative string theories  those where the lightest objects look like weaklyinteracting strings. This is usually done by twodimensional conformal field theory describing the stringy worldsheet. We also know other regions of string/Mtheory where the coupling constant can be chosen arbitrarily, but we must make other constraints about the background if we want to be able to calculate anything. For example, the AdS/CFT correspondence by Juan Maldacena allows us to calculate  at least in principle  anything in a spacetime that asymptotically (at infinite distances) looks like anti de Sitter space (times something), even if its coupling constant is anything. But this is not enough to go to vacua that look very different from anti de Sitter space (times a sphere).
Many of us are dreaming about a formulation of string/Mtheory that would allow us to stand above the landscape and see all of its regions (and ideas relevant from string theory) as manifestations of a single principle. We would not need charts whose ideas only apply to some regions, and must be supplemented by new ideas when we move further. Everything would fit a single set of rules, a single principle  much like general relativity follows from its postulates. But this principle must be clearly much more farreaching than in the case of general relativity because string theory is much richer. The principle must be very sophisticated because it would inherently contain amazing ideas and coincidences from more than 10,000 papers.
Tuesday, October 12, 2004 ... //
String equations are approximate
Vystavil
Luboš Motl
v
7:48 PM



Subscribe to:
all TRF disqus traffic via RSS
[old]
To subscribe to this single disqus thread only, click at ▼ next to "★ 0 stars" at the top of the disqus thread above and choose "Subscribe via RSS".
Subscribe to: new TRF blog entries (RSS)
To subscribe to this single disqus thread only, click at ▼ next to "★ 0 stars" at the top of the disqus thread above and choose "Subscribe via RSS".
Subscribe to: new TRF blog entries (RSS)
snail feedback (6) :
Lubos,
I too was quite impressed about how string theory (during the midlate 1990's) didn't turn into a huge jumbled mess in the nonperturbative regime, but actually produced a relatively clean picture of things.
What is your best guess for a "formulation of string/Mtheory that would allow us to stand above the landscape and see all of its regions"?
Any guesses for a single principle? Or are there several principles underlying the full string/Mtheory picture?
Exactly, I agree! What is the ultimate scheme of ideas to see the whole structure as a single whole? I would like to know! But I think that we will have to find some more abstract, algebraic generalization of the basic tools of conformal field theory, for example we will have to unify conformal symmetry with the invariance of matrix models under the Nscaling into something more general that also admits other solutions (describing the "bulk" of the Landscape).
Alternatively, the worldsheet dynamics will have another string theory behind it  one whose target space is effectively the worldsheet and that will allow us to define the processes at finite coupling. This "prestring theory" may also generate itself, which has already been seen for the N=(2,1) heterotic strings  so at the end it is conceivable that the theory will be recursively generating itself using a bootstrap condition that admits conformal field theories as a special, better solvable limit.
But I don't know yet... ;)
David reminded me that the comment "the exponential of a dynamic thing is a constant" sounds weird. Yes, it's just a matter of weird language. Nevertheless, all of us are used to this weird language.
Of course that when we say that the exponent is dynamical (it is the expectation value of a scalar field called dilaton), the exponential is dynamical as well! ;) This exponential just happens to be called the "coupling constant" (because similar "numbers" were called coupling constants previously  incidentally, in field theory, they are not constants either) even though it is not really a constant, but rather a field whose values are between zero and infinity.
Lubos,
What are some references for this "prestring" theory?
Let me recommend a prestring paper by Kutasov and Martinec
http://arxiv.org/abs/hepth/9602049
as well as its references and citations of thereof.
I've been trying to unify these ideas with the mysterious duality
http://arxiv.org/abs/hepth/0111068
lubosMany of us are dreaming about a formulation of string/Mtheory that would allow us to stand above the landscape and see all of its regions (and ideas relevant from string theory) as manifestations of a single principle. We would not need charts whose ideas only apply to some regions, and must be supplemented by new ideas when we move further. Everything would fit a single set of rules, a single principle  much like general relativity follows from its postulates. But this principle must be clearly much more farreaching than in the case of general relativity because string theory is much richer. The principle must be very sophisticated because it would inherently contain amazing ideas and coincidences from more than 10,000 papers.You know I am learning , so now you present this pre string idea, and when do you think it's going to end?
Where would this region "emerge" if we have considered the Planck Epoch as a beginning, leading to Grand unification? What shall you call this epoch as signature of the TSR( Third Superstring Revolution)? Is this what Witten is doing?
Link to a struggling computer program.
http://www.physicsforums.com/showpost.php?p=299889&postcount=12
Post a Comment