
#1
Apr2405, 01:02 PM

Astronomy
Sci Advisor
PF Gold
P: 22,792

Lubos Motl has written a great and timely essay on his blog
it shows his notable gift with words, especially the bit about the keys in the ocean (near the end). I am mortified that such talent should be on the far right of the political and environmental spectrum. Also it shows that physicists can usually write better than mathematicians or at least funniermathematicians are just doing drawingroom comedy with sometimes quaint selfparody for excitement, but by contrast physicists are doing fullblown and outrageous farce. Probably it is because they are morally more serious and having feet on the ground allows them scope. I will bold some interesting parts so your eye can find them: quote Kennedy's landscape Frederik Denef (Rutgers U.) was explaining how to build a better racetrack (with Bogdan Florea and Michael Douglas), i.e. how to construct particular examples of the numerous KKLT anti de Sitter vacua  the mathematical constructions that are used to argue that the anthropic principle is needed in string theory. The talk today was actually based on a newer paper with Douglas, Florea, Grassi, and Kachru; sorry for an incorrect reference, and thanks for Frederik's correction. Nevertheless I will keep examples from the older paper, too. This stuff is impressive geometry. A really highbrow mathematics, even if it happens to be just recreational mathematics. Nevertheless, the most illuminating idea was the following variation of Kennedy's famous quote due to Abdus Salam: My fellow physicists, ask not what your theory can do for you: ask what you can do for your theory. This could become the motto of the landscape research. Suddenly it's not too important whether a theory teaches us something new about the real world  either predicts new unknown phenomena or previously unknown links between the known phenomena and objects. It's more important that such an unpredictive scenario might be true and we should all work hard to show that the scenario is plausible because we should like this scenario, for some reasons that are not clear to me. It's slowly becoming a heresy not to believe the anthropic principle  but it already is heresy to think that even the question whether the anthropic reasoning is the explanation of the details of our universe is not the most interesting question, at least among the scientific ones. Even if some numbers in Nature  such as the particles masses  are random historical coincidences, we will never know for sure. Let me remind you about the basic framework of the KachruKalloshLindeTrivedi (KKLT) construction  the most frequently mentioned technical result to justify the anthropic principle in string theory. String theory often predicts many massless scalar fields that are unacceptable because they would violate the equivalence principle and we could already have detected them. They must be destroyed  i.e. they must acquire masses. The potential energy as a function of the scalar fields must have a finite or countable number of minima. The scalar fields then sit at these minima  we say that the moduli (scalar fields) are stabilized which is a good thing and one of the unavoidable tasks. Moduli stabilization was only the main goal of Frederik's talk. KKLT start with Ftheory (a formally 12dimensional theory due to Cumrun Vafa) compactified on an elliptically fibered (=interpretable as an elliptic curve, i.e. a twotorus, attached to every point of a lowerdimensional base space) CalabiYau fourfold (an eightdimensional manifold) to give you a fourdimensional theory with a negative cosmological constant and all moduli stabilized. Then they add some nonsupersymmetric objects (D3branes) to create a de Sitter space (with the observationally correct, positive cosmological constant and broken supersymmetry) out of the original anti de Sitter space (AdS). The talk today focused on the AdS, supersymmetric part of the task. The Ftheory vacuum on a fourfold may be reinterpreted as a type IIB vacuum with orientifold planes (both O3 and O7 where 3 and 7 count the spatial dimensions along the fixed planes). Moreover, there are some fluxes of the threeforms over threecycles (both the NSNS as well as the RR field strengths). The integral int (H3 wedge F3) + #(D3) must vanish due to a tadpole cancellation which constrains the fluxes H3 and F3 (numerical constants ignored). In terms of the fourfold, the vanishing quantity may be written as L = 1/2 (int G4 wedge G4) = chi (X) / 24  #(D3) where you may think about Mtheory on a fourfold instead of Ftheory (a dual description for finite areas of the elliptic fiber), and G4 is the standard Mtheoretical fourform field strength (its integral over one of the two 1cycles of the toroidal fiber gives you the NSNS and RR threeform field strengths, respectively). Such a cancellation condition still allows for a huge spectrum of possible choices of the integervalued fluxes: as Bousso and Polchinski estimated 5 years ago, if there are 300 threecycles and each of them can carry a flux roughly between 0 and 30, then there are 30^{300} or so possible universes. The light scalar fields that we need to stabilize are the dilaton/axion the complex structure moduli, the shape parameters of the fourfold the Kahler moduli, the areas of topologically nontrivial twodimensional manifolds (2cycles) The former two categories are stabilized perturbatively by the GukovVafaWitten superpotential W = int (Omega wedge G3) where Omega is the holomorphic threeform and G3 is the complexified threeform field strength that includes both the NSNS and RR components (with "tau" as the relative coefficient, which makes "tau" also stabilized). This perturbative superpotential handily stabilizes the dilaton/axion and the complex structure moduli at some values that are in principle calculable. Well, I should really write the 8dimensional integral "int (Omega4 wedge G4)" from the Mtheory or Ftheory picture. However, the Kahler moduli (the sizes of the twocycles) are not stabilized by any perturbative effects. Such a fact is also known from other types of stringy models of reality, the socalled "noscale supergravities" obtained e.g. by compactifying the heterotic strings on CalabiYau threefolds. These moduli are, however, stabilized by M5 (or "F5")brane instantons wrapped on sixcycles of the fourfold. This can either be interpreted as D3brane instantons in type IIB, or condensation of gauginos living on the D7branes. Note that we want to add new terms to the superpotential W that stabilize all the moduli. The precise value of the Kahler potential (not to be confused with the Kahler moduli although Mr. Kahler is of course identical in both cases; the Kahler potential is another function that determines the physics of fourdimensional supersymmetric theories) is not protected and it's always a source of controversies. OK, these are the general rules  everything else is to look for more exact, particular examples. A goal is to stabilize the Kahler moduli at sufficiently large volumes of the internal space whatever the space exactly is. This (large volume) is something that can be marginally achieved (if you think that the number 20 is large), but the 2cycles are never really large at the end. Instead, they are comparable to the string size. The anthropic strategy is to pick as complicated CalabiYau manifolds as possible, to guarantee that there will be a lot of mess, confusion, and possibilities, and that no predictions will ever be obtained as long as all the physicists and their computers fit the observed Universe (which is an encouraging prediction that Frederik has also mentioned). This means that you don't want to start with CalabiYaus whose Betti numbers are of order 3. You want to start, if one follows the 2004 paper, with something like F_{18}, a toric Fano threefold. That's a 3complexdimensional manifold that is analogous to the twocomplexdimensional del Pezzo surfaces, in a sense. But you don't want just this simple F_{18}. You take a quadric Z in a projective space constructed from this F_{18} and its canonical bundle. OK, finally the Euler character of the fourfold X is 13,248. Great number and one can probably estimate the probability that such a construction has something to do with the real world. It becomes a philosophical question whether we should be distinguishing this probability from the number "zero" and how much this "zero" differs from the probability that loop quantum gravity describes quantum gravity at the Planck scale. One can also estimate the values of the scalar fields at the minima of the potential, and the number of vacua (some of their models only had a trillion, others have 10^{300}  of course, the Kennedy rule is that the more ambiguous and unpredictive the set of vacua is, the more attention physics should pay to them). The example today, from the 2005 paper, was the resolved orbifold "T^6 / Z_2 x Z_2" which has 51 Kahler moduli and 3 complex structure moduli. The singularities were analyzed by a local model, and various toric diagrams shown were related by a flop (or a flip, as is now a more popular terminology). Sorry for neglecting the real model of this talk in the first version of this article. Cumrun  who is not exactly a fan of the anthropic principle (unlike Nima, who tried to counter)  was extremely active during the talk and he argued for the existence of many new effects that were neglected. For example, there is new physics near a highcodimension singularity that is needed in one of these models. Cumrun argued that the fivebrane instantons could get destabilized  kind of unwrap from the singularity; that a lof of instanton corrections could arise from various cycles, and so forth. The expansions are never quite under control because they rely on some "small" numbers that can be as large as (4.pi/flux) where the "flux" is of order "ten" or "one hundred". Most estimates for the Kahler potential are unjustified, and so forth. Their calculations required to draw a lot of toric diagrams (that's a representation of a manifold where toroidal fibers are attached to a region with boundaries on which some of the circles of the tori shrink to zero); determine various cycles and their triple intersection numbers (it's like counting how many holes a doughnut has, but in a more difficult 8dimensional setup) which are needed for the volume; a lot of computer time. Do we really believe that by studying the orientifold of the weighted projective space CP^{4}_{[1,1,1,6,9]}, we will find something that will assure us (and others  and maybe even Shelly Glashow) that string theory is on the right track? I believe that the simplest compactifications, whatever the exact counting is, should be studied before the convoluted ones. If we deliberately try to paint the stringtheoretical image of the real world as the most ambiguous and uncalculable one, I kind of feel that it's not quite honest. When we study the harmonic oscillator and the Hydrogen atom, we want to understand their ground states (and lowlying states) first  where the numbers are of order one. Someone could study the "n=1836th" excited level of the Hydrogen atom, hoping that it is messy enough so that it could explain why the proton mass is so much larger than the electron mass. But it is a wellmotivated approach? Some people used to blame string theorists that they were only looking for the keys (to the correct full theory) under the lamppost. It's unfortunately not the case anymore: most of the search for the keys is now being done somewhere in the middle of the ocean (on the surface). Maybe, someone will eventually show that the keys can't stay on the surface of the ocean, and we will return to the search for the keys in less insane contexts. But it's not easy to prove something about the middle of the ocean, especially if we don't yet understand the shape of the Manhattan island. posted by Lumo at 1:47 PM end quote http://motls.blogspot.com/2005/04/ke...landscape.html 



#2
Apr2405, 03:08 PM

PF Gold
P: 3,669

And to think these hard working people will have probably exhausted
every possible mathematical formula by 2050, one can only applaud their persistence. 



#3
Apr2405, 07:07 PM

Sci Advisor
PF Gold
P: 9,171

Quite a spirited conversation they have going there. This comment by Motl took me by surprise 
"It is very important for a promising model to show that it contains just the Standard Model  or the Standard Model plus a very few new things  at sub100GeV energies. Surely no one can rationally look deliberately for complicated theories  except if someone thinks that string theory is wrong and the goal is to hide it for as long as possible." 



#4
Apr2405, 07:50 PM

Astronomy
Sci Advisor
PF Gold
P: 22,792

Lubos great "kennedy landscape" essayLooking down past your quote, in Lubos post at 8:15 PM today Boston time, about a third of the way down, I see where he says: 



#5
Apr2505, 01:48 AM

Sci Advisor
PF Gold
P: 9,171

It appears Lubos is taking exception to the landscape mentality. And I support the basic reasons he is outlining. It is refreshing, and his arguments are attractive, in my opinion. I don't think he is abandoning string, just the unproductive routes being pursued. His arguments are appealing. While I admit not being fond of ST, I am very fond of the sensible arguments he is making.




#6
Apr2505, 12:29 PM

P: 632

Philosophically, at least, Lubos is on the right track. Find theories that predict what we see and don't predict what we don't see, and make them as simple as possible to achieve that end. The analogy to looking for keys on the surface of the ocean is priceless.




#7
Apr2505, 02:01 PM

Astronomy
Sci Advisor
PF Gold
P: 22,792

the story about the drunk who keeps looking for his keys in the light patch under the lampost, because that is where it is easiest to look, is already wonderful but Lubos has risen to a level of surrealism commensurate with his subject 



#8
Apr2505, 02:14 PM

PF Gold
P: 2,884

While senior people was attracted to strings because of visibility, youngsters were attracted because of uniqueness (the dimension thing). Not rare if they become furious about being wronged




#9
Apr2805, 12:05 AM

Astronomy
Sci Advisor
PF Gold
P: 22,792

so you described the mindchange of a generation of theorists. this is an Homeric image, very clear like something out of Iliad. I am thinking of what you are saying here about the young physicist who was greatly impressed, say, in 1999, by UNIQUENESS. He became an impassioned convert to string/M because only one possible dimensionality will work so he saw the finger of God pointing at the only possible dimensionality and way for the world to be. Now it is 5 years later and all is in confusion and nothing is unique or predicted. So now he feels disappointed. God's finger turned out to be a cucumber or a zucchini. Please supply more accurate dates. I just said 1999 because it is roughly 5 years before the 2004 year of String/M crisis. what do you mean by the "visibility" that was the magnet for the earlier generation? is it the promise of being able to VISUALIZE all the different particles by the various geometric possibilities of the same worldsheet. sorry about the naive questions. wish you would expand on your post here 



#10
Apr2805, 12:27 AM

Sci Advisor
PF Gold
P: 9,171

I think many string theorists are breaking away from the pack. It's not a cult, it is a valid line of inquiry. There are some very brilliant people in the mix. I think arivero is thinking outside the box and is more focused on finding a quantum theory of gravity, whatever form it might take. I applaud that effort. You can't hold a good scientist down for long. I greatly respect Lubos for taking a stand.




#11
May105, 05:43 AM

Astronomy
Sci Advisor
PF Gold
P: 22,792

Chronos, Lubos indicates that he has been muzzled. what could have reached a new level of unforgivability? for me nothing was new except the strength of this what is in his Kennedy Landscape blog, right after the bastardized Abdus Salam Kennedy quote:
To me this says that 1. Lubos cant see that the Anthropic stuff and the Landscape is even interesting to discuss because it does nothing for us. Why should anyone work to make it appear plausible? 2. Lubos says that not only is it becoming heresy to reject Anthropery (in string theory I guess) but it is ALREADY heresy to find debate about it uninteresting and irrelevant. somebody could have justifiably come down on Lubos for mocking those concerned about global warming and dismissing their analysis, and they could have said "OK this is a physics department. if you are going to attack the greenhouse gas/global warming thing you have to give substance" So now on his blog you see a kind of tired attempt to give the earth energy budget. he is listing watts in and watts out etc. etc. I have seen that kind of thing decades ago, must be tedious for him. But I dont think that is why he came under pressure. He was vulnerable on the environmental thing because he really was being unrigorous and IMO irresponsible. But I think he came under pressure because of the heresy businessbeing too outspoken about Landscapery. Like saying it is just some old Dogma not even being interesting enough to argue about. that could have pissed some people off more seriously than just flamboyantly echoing unsubstantiated Antigreenhouse propaganda or whatever sins they could actually have nailed him with. the word "heresy" is the signal for me. it comes into his mind because he already has the feeling that one can come under displeasure for saying certain things. it indicates awareness of risk. so then the next day after he says the word heresy, he is saying he has been "leashed" I guess it could be selfdramatization and all exaggerated but even then he is acting out something interesting, to me at least 


#12
May105, 04:14 PM

P: n/a

Perhaps it was inevitable, once a major christian religious leader (and now expope) said that religion could learn from science, that fundamentalist religionists would insist that science teach the right things. The anthropic landscape must sound like heaven to them.
nc 


Register to reply 
Related Discussions  
George R.R Martin's "Feast of Crows" is great!  General Discussion  5  
Side Topic for "Great Depression" Thread  Current Events  17  
"Testability" thread is great (keeping comment/discussion out works, too)  General Astronomy  13 