新闻聚合器

Sodium borohydride (Medium reducing) [Molecule of the Day]

Scienceblogs: Physical Science - 2 小时 42 分钟

Sodium borohydride is intermediate to the jackhammer that is LAH and the pussycat that is cyanoborohydride.

Read the rest of this post... | Read the comments on this post...

Frost Sparkling on Mars Phoenix Lander Mirror

Wired Science - 4 小时 34 分钟

Phoenix_taletell_3 Mars Phoenix sent home a series of images of frost accumulating on the mirror of the telltale --a four-inch instrument used to sense wind direction and velocity on the lander. Although frost was also seen accumulating on the ground a few days ago, and around rocks during the Viking missions in the 1970’s, this image is striking because of how the frost sparkles on the mirror’s surface.

The frost accumulated from 12:54 a.m. to 2:34 a.m. at the landing site on August 15th, 2008, or 80 Martian “sols” into the mission. The mission was originally expected to last 90 sols but it has now been extended to 120 sols according to a recent Twitter post.

To conserve bandwidth, only the portion of the image containing the telltale and the mirror were downloaded in every frame. The “movie” made from all the images pieced together was then superimposed on the full frame of the telltale to give the backdrop for the images.

The frost is not a problem for the operation of the spacecraft.

Frost Accumulation on Telltale Mirror [University of Arizona]

See Also:

Image courtesty NASA/JPL/University of Arizona

Large Hadron Collider set to unveil a new world of particle physics

PhyOrg - 5 小时 13 分钟
(PhysOrg.com) -- The field of particle physics is poised to enter unknown territory with the startup of a massive new accelerator--the Large Hadron Collider (LHC)--in Europe this summer. On September 10, LHC scientists will attempt to send the first beam of protons speeding around the accelerator.

<cite>Economist</cite> Opens Online Debate on Energy

Wired Science - 5 小时 17 分钟

Men_boxing_2 The Economist, that venerable British magazine about money, has opened a new online debate on the future of energy.

The debate presents the pro and con sides to the following proposition: "We can solve our energy problems with existing technologies today, without the need for breakthrough innovations."

Representing the Pros will be Joseph Romm, senior fellow at the Centre for American Progress, while Peter Meisen, president of Global Energy Network Institute, leads off for the Cons.

Judging from our comments section, this is an issue near-and-dear to the hearts of many WiSci readers.
And Internet users, like yourselves, are free to join in the moderated debate and vote on which side you think is winning. There will also be expert guest participants including Mujid Kazimi, director of MIT's Center for Advanced Nuclear Energy Systems and my old Earth2Tech editor, Katie Fehrenbacher. 

My quick take is that it's going to take half (or all of) the debate to define what "our energy problems" actually are. Sure, we got a few -- declining oil finds in an oil-addicted world, atmospheric CO2 accumulation, billions of people without electricity -- but which one should have priority?

Image: flickr/Mommy Peace

WiSci 2.0: Alexis Madrigal's Twitter , Google Reader feed, and webpage; Wired Science on Facebook.

Shipwreck fuels invasion of unwanted species

New Scientist Breaking News - 5 小时 23 分钟
Aggressive invaders wipe out any organisms that get in their way as they spread through a coral reef in Hawaii

Microspacecraft Get Boost from Temperature-Regulating "Skin"

Wired Science - 6 小时 19 分钟

Microsatellites

Tiny spacecraft, each weighing less than the average man, could help NASA launch more missions for less money.

But there's one problem: small craft can't employ the sophisticated HVAC systems and shields that larger craft do. That makes them susceptible to temperature swings and micrometeorite damage.

Today, however, researchers unveiled a new plastic skin that helps regulate microspacecraft temperatures by flipping between reflecting and absorbing light. That could extend the range of small craft beyond low-earth orbit, where most of them have been deployed to-date.

"Because of the miniaturization of all kinds of spacecraft technology, these nano and micro spacecraft are becoming more plausible and possible in many types of missions," said Jason Hines, chief technologist for the Small Spacecraft Divison at NASA. "It's our dream and vision and hope that eventually we can place smaller spacecraft in all types of missions, not just in near earth orbit."

9217_2

The Space Shuttles stand 185 feet tall and weigh over 4 million pounds. Back in the 80s, it was seen as the pinnacle of NASA's program. But times have changed. Budgets are smaller and some within the agency say that the spacecraft should shrink, too.

While some missions will require large spacecraft, some tasks could be carried by smaller craft, at huge cost savings to NASA. Launching a pound of anything into space costs about $5,000.

The new material could extend the range of uses for microspacecraft, perhaps even allowing them to travel to the moon and beyond.

"For those missions, you can be at various distances from the sun and being able to change your thermal balance is a good thing," said Siegried Jansen, a senior scientist at The Aerospace Corporation, who has worked extensively with satellites under 15 pounds.

That's because the material could reduce the amount of power required to maintain the temperature of a small craft. Microsatellites are tiny, so they have a limited amount of space for solar cells to provide them with energy. The new material could help redefine the capabilities of microcraft, NASA's Hines said.

As can be seen in the inset picture, applying a little bit of electrical current to the new material changes how the material reflects light in the visible and infrared spectrums. When positive voltage is applied to the material, it darkens and radiates heat. When negative voltage is applied, it lightens and reflects more light, insulating the vehicle on which it's installed. This so-called "variable emittance" property mimics many of the more complex systems present on large spacecraft that help regulate their internal temperatures.

And at one-hundredth of an inch thick, the thin-film coating is still durable enough to withstand the onslaught of space pebbles.

"The test for micrometeoroids was very simple — we just fired a gun loaded with small particles and tiny, harpoon-like needles at it," said Prassana Chandrasekhar, a researcher with the Ashwin-Ushas Corporation which created the material with NASA, in an announcement at the national meeting of the American Chemical Society.

The material is slated for use in the Jet Propulsion Laboratory's experimental Micro-Inspector Spacecraft, which could travel with and help repair larger vehicles, like the Crew Exploration Vehicle, NASA's shuttle replacement. Chandrasekhar, though, said that the material could find a wide array of applications.

"A lot of spacecraft engineers have come to us saying 'If we had this technology, it would give us much greater design freedom for future micro-spacecraft,'" he said.

Images: 1. Courtesy of NASA. An artist's rendering of the microsatellites, the ST5 Spacecraft, launched in February 2006. 2. Courtesy of Prassana Chandrasekhar.

WiSci 2.0: Alexis Madrigal's Twitter , Google Reader feed, and webpage; Wired Science on Facebook.

Aggression written in the shape of a man's face

New Scientist Breaking News - 6 小时 22 分钟
The width-height proportions of a man's face could reveal how aggressive he is

Shock absorbers to quell NASA rocket's vibrations

New Scientist Breaking News - 6 小时 53 分钟
Astronauts on NASA's future Ares I rocket should get a smooth ride to space thanks to a two-tiered system of shock-absorbing springs

The Magpie in the Mirror

ScienceNOW - 7 小时 21 分钟
Study offers first evidence that nonmammals can recognize their own reflection

No More School Buses in Space?

ScienceNOW - 7 小时 21 分钟
Electrochemical coating makes a return to smaller satellites possible

How green is your roof?

news@nature.com - 7 小时 41 分钟
Eco-friendly roof coverings are being poorly installed because of research gap.

又做了一个报告

王鸿飞的博客 - 7 小时 43 分钟

又做了一个报告

2008.08.18

美国化学会236届年会于8月17-22日在费城(Philadelphia)召开。美国化学会年会一年两次,参会人数在两万左右。各国来参加美国化学会年会的化学家和学生很多,不了解的人千万不要以为冠了“美国”二字,就是美国的地方性会议,而不是国际会议了。相比之下,IUPAC(国际纯粹与应用化学会)的会议规模要小多了。

我最近几年基本上是每年来参加一次美国化学会的年会。每次来都是做40分钟左右的邀请报告。美国化学会的Symposium上邀请报告的要求并不那么严格,不过常常有不同Symposium的Organizer邀请,我还是觉得很荣幸。因为美国化学会上的Symposium非常多,所以做报告就像在大卖场中练摊的感觉一样。总之是内行看门道,外行看热闹。

我们这个Symposium的专题叫做Water Mediated Interaction:Structure and Dynamics。今天早上由我第一个做报告,时间是早上8:20到9:00。我的报告题目是:Structure of adsorbed molecules and water species at aqueous interfaces with nonlinear spectroscopy。

昨天晚上和博士导师以及同一研究组的几位师兄师姐一起晚餐。回来以后继续修改ppt,一直搞到临晨3点才睡觉。今天做完报告后,才轻松下来。

今年是美国化学会物理化学分会(Division of Physical Chemistry)成立100周年,所以有一些庆祝活动。物理化学分会专门请了20位著名的科学家,其中包括7位诺贝尔化学奖(主要是物理化学)获得者,在今明两天做专题回顾报告。我今天一直在听自己分会的报告,所以今天的这几个报告一个都没去听。当然,事实上其中好几个报告的内容我都在不同场合听过了。中间休息时我去他们做报告的会场看了一下,听的人真的不少,总有1000人以上。晚上5:30到6:30,物理化学分会请大家在Leows Hotel的33楼lounge参加庆祝酒会,我也跑去凑了一会儿热闹。好几百号到一千人左右挤在那里,的确很热闹。

李远哲先生一直是我们国家重点实验室的名誉主任,2002年他到化学所来也是我负责接待他,所以我也上去和他谈了一会儿话。他说他最近一段时间主要在Berkeley,还和我谈起他最近在Berkeley听一个界面非线性光学学术报告的一些想法和评价。

FBI to reveal anthrax data

news@nature.com - 7 小时 51 分钟
Science of case will be submitted to peer-reviewed journals.

Europe gets centre of excellence for neuroscience

news@nature.com - 7 小时 54 分钟
University College London will play host to �140-million institute.

Chemist Travels World to Study Mysterious Properties of Neutrinos

PhyOrg - 7 小时 56 分钟
In the quest to better understand one of nature's most "ghostly" elementary particles — the neutrino — scientists at the U.S. Department of Energy's (DOE) Brookhaven National Laboratory are spreading their expertise from the mines of Canada to the mountains of China. Richard L. Hahn, a senior chemist at Brookhaven Lab, will discuss some of the neutrino's mysterious properties and two new neutrino research projects at the 236th National Meeting of the American Chemical Society on Tuesday, August 19, 2008.

Scientists Move Optical Computing Closer to Reality

PhyOrg - 8 小时 7 分钟
(PhysOrg.com) -- Scientists at the University of Pennsylvania have theorized a way to increase the speed of pulses of light that bound across chains of tiny metal particles to well past the speed of light by altering the particle shape. Application of this theory would use nanosized metal chains as building blocks for novel optoelectronic and optical devices, which would operate at higher frequencies than conventional electronic circuits. Such devices could eventually find applications in the developing area of high-speed optical computing, in which protons and light replace electrons and transistors for greater performance.

What ever happened to the Large Hadron Collider? [Greg Laden's Blog]

Scienceblogs: Physical Science - 8 小时 16 分钟

It was supposed to start up in June, at which time the Earth would explicitly NOT be sucked into a tiny black hole. Or at least not quickly. Or at least not a black hole any different than the thousands that are already forming in our upper atmosphere more or less constantly.

Did it start up? No. There have been continued delays, or more accurately (perhaps), the exact startup depends on things that cannot be precisely measured mainly because they have never been done before and it is a good idea to take one's time. I'm pretty sure the legal challenges have not been part of the delays.

Real high energy work with the machine is currently moved back to October 2008, although it is hard to find this information anywhere on the CERN site. But have a look.

Read the comments on this post...

You Provably Can't Trust Yourself

Overcoming Bias - 8 小时 47 分钟

Followup toWhere Recursive Justification Hits Bottom, Löb's Theorem

Peano Arithmetic seems pretty trustworthy.  We've never found a case where Peano Arithmetic proves a theorem T, and yet T is false in the natural numbers.  That is, we know of no case where []T ("T is provable in PA") and yet ~T ("not T").

We also know of no case where first order logic is invalid:  We know of no case where first-order logic produces false conclusions from true premises. (Whenever first-order statements H are true of a model, and we can syntactically deduce C from H, checking C against the model shows that C is also true.)

Combining these two observations, it seems like we should be able to get away with adding a rule to Peano Arithmetic that says:

All T:  ([]T -> T)

But Löb's Theorem seems to show that as soon as we do that, everything becomes provable.  What went wrong?  How can we do worse by adding a true premise to a trustworthy theory?  Is the premise not true - does PA prove some theorems that are false?  Is first-order logic not valid - does it sometimes prove false conclusions from true premises?

Actually, there's nothing wrong with reasoning from the axioms of Peano Arithmetic plus the axiom schema "Anything provable in Peano Arithmetic is true."  But the result is a different system from PA, which we might call PA+1.  PA+1 does not reason from identical premises to PA; something new has been added.  So we can evade Löb's Theorem because PA+1 is not trusting itself - it is only trusting PA.

If you are not previously familiar with mathematical logic, you might be tempted to say, "Bah!  Of course PA+1 is trusting itself! PA+1 just isn't willing to admit it!  Peano Arithmetic already believes anything provable in Peano Arithmetic - it will already output anything provable in Peano Arithmetic as a theorem, by definition! How does moving to PA+1 change anything, then?  PA+1 is just the same system as PA, and so by trusting PA, PA+1 is really trusting itself. Maybe that dances around some obscure mathematical problem with direct self-reference, but it doesn't evade the charge of self-trust."

But PA+1 and PA really are different systems; in PA+1 it is possible to prove true statements about the natural numbers that are not provable in PA.  If you're familiar with mathematical logic, you know this is because some nonstandard models of PA are ruled out in PA+1. Otherwise you'll have to take my word that Peano Arithmetic doesn't fully describe the natural numbers, and neither does PA+1, but PA+1 characterizes the natural numbers slightly better than PA.

The deeper point is the enormous gap, the tremendous difference, between having a system just like PA except that it trusts PA, and a system just like PA except that it trusts itself.

If you have a system that trusts PA, that's no problem; we're pretty sure PA is trustworthy, so the system is reasoning from true premises. But if you have a system that looks like PA - having the standard axioms of PA - but also trusts itself, then it is trusting a self-trusting system, something for which there is no precedent.  In the case of PA+1, PA+1 is trusting PA which we're pretty sure is correct.  In the case of Self-PA it is trusting Self-PA, which we've never seen before - it's never been tested, despite its misleading surface similarity to PA.  And indeed, Self-PA collapses via Löb's Theorem and proves everything - so I guess it shouldn't have trusted itself after all!  All this isn't magic; I've got a nice Cartoon Guide to how it happens, so there's no good excuse for not understanding what goes on here.

I have spoken of the Type 1 calculator that asks "What is 2 + 3?" when the buttons "2", "+", and "3" are pressed; versus the Type 2 calculator that asks "What do I calculate when someone presses '2 + 3'?"  The first calculator answers 5; the second calculator can truthfully answer anything, even 54.

But this doesn't mean that all calculators that reason about calculators are flawed.  If I build a third calculator that asks "What does the first calculator answer when I press '2 + 3'?", perhaps by calculating out the individual transistors, it too will answer 5. Perhaps this new, reflective calculator will even be able to answer some questions faster, by virtue of proving that some faster calculation is isomorphic to the first calculator.

PA is the equivalent of the first calculator; PA+1 is the equivalent of the third calculator; but Self-PA is like unto the second calculator.

As soon as you start trusting yourself, you become unworthy of trust.  You'll start believing any damn thing that you think, just because you thought it.  This wisdom of the human condition is pleasingly analogous to a precise truth of mathematics.

Hence the saying:  "Don't believe everything you think."

And the math also suggests, by analogy, how to do better:  Don't trust thoughts because you think them, but because they obey specific trustworthy rules.

PA only starts believing something - metaphorically speaking - when it sees a specific proof, laid out in black and white.  If you say to PA - even if you prove to PA - that PA will prove something, PA still won't believe you until it sees the actual proof.  Now, this might seem to invite inefficiency, and PA+1 will believe you - if you prove that PA will prove something, because PA+1 trusts the specific, fixed framework of Peano Arithmetic; not itself.

As far as any human knows, PA does happen to be sound; which means that what PA proves is provable in PA, PA will eventually prove and will eventually believe.  Likewise, anything PA+1 can prove that it proves, it will eventually prove and believe.  It seems so tempting to just make PA trust itself - but then it becomes Self-PA and implodes.  Isn't that odd?  PA believes everything it proves, but it doesn't believe "Everything I prove is true."  PA trusts a fixed framework for how to prove things, and that framework doesn't happen to talk about trust in the framework.

You can have a system that trusts the PA framework explicitly,  as well as implicitly: that is PA+1.  But the new framework that PA+1 uses, makes no mention of itself; and the specific proofs that PA+1 demands, make no mention of trusting PA+1, only PA.  You might say that PA implicitly trusts PA, PA+1 explicitly trusts PA, and Self-PA trusts itself.

For everything that you believe, you should always find yourself able to say, "I believe because of [specific argument in framework F]", not "I believe because I believe".

Of course, this gets us into the +1 question of why you ought to trust or use framework F.  Human beings, not being formal systems, are too reflective to get away with being unable to think about the problem.  Got a superultimate framework U?  Why trust U?

And worse: as far as I can tell, using induction is what leads me to explicitly say that induction seems to often work, and my use of Occam's Razor is implicated in my explicit endorsement of Occam's Razor.  Despite my best efforts, I have been unable to prove that this is inconsistent, and I suspect it may be valid.

But it does seem that the distinction between using a framework and mentioning it, or between explicitly trusting a fixed framework F and trusting yourself, is at least important to unraveling foundational tangles - even if Löb turns out not to apply directly.

Which gets me to the reason why I'm saying all this in the middle of a sequence about morality.

I've been pondering the unexpectedly large inferential distances at work here - I thought I'd gotten all the prerequisites out of the way for explaining metaethics, but no.  I'm no longer sure I'm even close.  I tried to say that morality was a "computation", and that failed; I tried to explain that "computation" meant "abstracted idealized dynamic", but that didn't work either.  No matter how many different ways I tried to explain it, I couldn't get across the distinction my metaethics drew between "do the right thing", "do the human thing", and "do my own thing".  And it occurs to me that my own background, coming into this, may have relied on having already drawn the distinction between PA, PA+1 and Self-PA.

Coming to terms with metaethics, I am beginning to think, is all about distinguishing between levels.  I first learned to do this rigorously back when I was getting to grips with mathematical logic, and discovering that you could prove complete absurdities, if you lost track even once of the distinction between "believe particular PA proofs", "believe PA is sound", and "believe you yourself are sound".  If you believe any particular PA proof, that might sound pretty much the same as believing PA is sound in general; and if you use PA and only PA, then trusting PA (that is, being moved by arguments that follow it) sounds pretty much the same as believing that you yourself are sound.  But after a bit of practice with the actual math - I did have to practice the actual math, not just read about it - my mind formed permanent distinct buckets and built walls around them to prevent the contents from slopping over.

Playing around with PA and its various conjugations, gave me the notion of what it meant to trust arguments within a framework that defined justification.  It gave me practice keeping track of specific frameworks, and holding them distinct in my mind.

Perhaps that's why I expected to communicate more sense than I actually succeeded in doing, when I tried to describe right as a framework of justification that involved being moved by particular, specific terminal values and moral arguments; analogous to an entity who is moved by encountering a specific proof from the allowed axioms of Peano Arithmetic.  As opposed to a general license to do whatever you prefer, or a morally relativistic term like "utility function" that can eat the values of any given species, or a neurological framework contingent on particular facts about the human brain.  You can make good use of such concepts, but I do not identify them with the substance of what is right.

Gödelian arguments are inescapable; you can always isolate the framework-of-trusted-arguments if a mathematical system makes sense at all.  Maybe the adding-up-to-normality-ness of my system will become clearer, after it becomes clear that you can always isolate the framework-of-trusted-arguments of a human having a moral argument.

Strings 2008: Tuesday

Luboš Motl’s Reference Frame - 8 小时 52 分钟
First, great news from the world of awards.


Wikipedia pictures above were taken by your humble correspondent

Joe Polchinski (KITP, UCSB), Juan Maldacena (IAS Princeton), and Cumrun Vafa (Harvard University) joined other well-known physicists and won the 2008 Dirac medal for their stringy discoveries. Congratulations! But back to Strings 2008.

See also the main page about Strings 2008 on this blog... The PDF files are also available at the Strings 2008 website

Luis Ibáňez started the Tuesday morning session by a talk about string phenomenology (PDF here). We all believe that string theory unifies gravity and particle physics but can the SM be embedded and can we predict new things? We will have to use the data (LHC, cosmology) to restrict the possible compactifications. He shows the 1995 duality hexagon of M-theory and adds some structure in it, insights until 2008 (D3-branes, G2 holonomy, RCFTs etc.). The region outside is now called swampland. ;-)

He distinguishes global and local models - global ones are complete, local ones only care about a vicinity of some point in the extra dimensions. The latter incomplete approach is useful and is pursued by many big shots. (At this moment, the Mac starts to misbehave. Beep beep beep and Ibáňez, as an anti-Ellen Feiss, tries to switch to Windows.) That includes D-branes at singularities.

In mapping the MSSM landscape, he begins with the E8 heterotic orbifolds. Pure MSSM can be obtained, gauge coupling unification is likely. Heterotic Calabi-Yaus follow: Wilson lines needed to break to the Standard Model. It's even simpler to eliminate non-MSSM matter.

In type IIA, one combines intersecting D6-branes with orientifolds. The well-studied orbifold constructions involve Z2 x Z2 but recently people found Z6 examples, too. A problem is SM adjoint matter. Mirrors of these models involve magnetized IIB branes.

About 210,000 type IIB Gepner-like RCFTs have been found to resemble the MSSM. Pure MSSM with no exotics can be found. These models probably correspond to too special points in the space of vacua. In type IIB, one can also consider D3-branes (and probably also D7-branes) at singularities.

Finally, GUTs may be found in local F-theory (type IIB-based) compactifications, following Vafa et al. (as discussed right below Ibáňez's talk). New spectrum absent in normal IIB is possible, including spinorial matter and exceptional gauge groups. The GUT is broken to SM by magnetic fluxes. The picture seems to be rather unique.

A table summarizes the successes of the classes - B-L, absence of exotics, gauge coupling unification, fixed moduli. None of them gets an "A" in realistic Yukawa couplings as of now. So we're "not there yet" in getting the complete SM.

He looks at some landscape statistics - which doesn't mean that he adopts the anthropic selection criteria (calm down, please). He believes that some adjoint matter etc. is only light because we're looking at the orbifold points. We don't know whether low-energy SUSY is "generic". (Well, "generic" is something different than "predicted" by the theory, but OK.) He looks at the Yukawa couplings, stressing that non-perturbative contributions may be crucial. Examples of brane instantons in intersecting braneworlds follow.

Fluxes have been known to fix the moduli for 5 years or so (somewhat bizarre references for this fixing). A better control is obtained in large-volume models with multiple separated Kähler moduli. In type IIA, one can stabilize the moduli without instantons (Kähler and complex structure moduli co-operate). And the bulk of the landscape could be non-geometric.

What is the string scale? When it's 1 TeV, it's cool with all the Kaluza-Klein, stringy, black hole signatures at the LHC. More likely, when it's at the GUT scale, SUSY can be at 1 TeV. SUSY breaking has to be calculated and is not easy.

In string theory, it can arise from closed string fluxes, dynamical breaking in a gauge sector. Also from gravity, gauge, anomaly mediation (and mirage - perhaps natural in KKLT...). They each have advantages and disadvantages. The LHC should tell us something about it here. Type IIB has no Kähler moduli dependence of the superpotential, unlike type IIA.

There are three different very predictive types of SUSY breaking of some kind where all the superpartner masses are determined by one dimensionful (and a few known dimensionless) parameters. Intersecting 7-branes give us a very clear pattern. Stau tends to be the LSP but it can be fixed.

The LHC will tell us something about the string theory vacuum. If low-energy gravity works, great. If SUSY is found, extremely good. The only pessimistic scenario is that only the Higgs is found: the anthropic explanation of the electroweak-Planck gap will gain power. Also, unexpected surprises are possible. In a few years, the hexagon of M-theory will be covered by overlapping new circles of LHC and cosmology constraints - the right class but probably not the right exact vacuum may be located. A very good talk!

Cumrun Vafa mostly uses colorful tablet-PC, partially hand-written (maths and pictures) slides (PDF here). Very readable. (I was fixing his tablet PC as well as laptop once haha.)

He starts his talk about F-theoretical phenomenology by our goal to find the theory of everything. He finds anthropic explanations unsatisfactory while the goal to find the full exact theory hard. To solve the first (anthropic) problem, he prefers to search for the keys under the lamppost ;-). To solve the second part, he has to look for parts: a justification of the "local models" follows.

Cumrun refers to the SM-like sector as "open strings" and the gravity sector as "closed strings". So we focus on the vicinity of the place where the SM lives. One must assume that gravity decouples from the SM: that can be false but it's healthy to try. This assumption implies, for example, that the GUT must be asymptotically free so that gravity may have been postponed to higher-than-Planckian energies by Nature.

Interesting matter-carrying branes must be SUSY-like, i.e. wrapped on 2, 3, or 4-dimensional cycles. He thinks that the higher-dimensional branes are more flexible which is why he chooses 3+4 = 7-dimensional branes, leading him to type IIB.

Another input is a SUSY GUT-like unification. He views the pretty and natural representation theory of GUT to be stronger evidence supporting GUT than gauge coupling unification. Now, gauge groups like SO(10) are easy in type IIB but the spinor seems impossible (much like the top quark Yukawa coupling) so he must go to (va)F(a)-theory, non-perturbative IIB (his brainchild), where all problems are solved. Cumrun is shocked that his cell phone is able to interfere with the microphone or speakers (noise!). I've learned this thing a few months ago (experimentally). ;-)

There's a nice even-dimensional hierarchical structure here: gravity lives in 10 dimensions, gauge fields in 8 dimensions, matter fields in 6 dimensions, and interactions in 4 dimensions (the intersections).

The SO(10) spinor arises from a decomposition of the E6 reps: E6 singularity is needed, requiring F-theory and the "5.10.10" coupling in SU(5) is generated from the E6 structure, too. Now, one can show that the 7-branes supporting the gauge fields must be del Pezzo surfaces because they must be able to shrink, giving you a positive curvature. The surface is essentially unique.

The Wilson lines can't be used to break the GUT symmetry here since the del Pezzo has no cycles. The right Higgs can't exist either because that would correspond to a non-existent deformation of the local geometry. One is forced to use the fluxes. The cycle is determined! It must be mapped to a root of E8.

Geometrically, he has to solve the doublet-triplet splitting problem and the solution automatically solves the proton decay problems, too: quartic terms in the superpotential (from 4-fold intersections) are absent. Predictions for light and heavy neutrinos seem reasonable, plus minus an order of magnitude or so. The mu-terms and SUSY breaking will follow.

The SUSY breaking is very predictive in this setup. Vafa reviews gauge and gravity mediation of SUSY breaking. The Goldstino chiral multiplet (X + theta^2 F) has the F-term. The dimension of F is squared mass. Depending on the value, one can distinguish the the types of mediation. By his philosophy, he wants gauge mediation because gravity is decoupled. But now, B mu term can't be made small if the mu-term is large enough.

So the mu-term must come from a D-term (Giudice-Masiero mechanism), like in gravity mediation. Tan beta is then naturally large, and the small bottom/top mass ratio is thus natural without fine-tuned Yukawa couplings. All scales are then fixed, close to the sweet spot SUSY, and the Peccei-Quinn 7-brane is paramount for SUSY breaking. The PQ symmetry is anomalous and Higgsed by a GS mechanism. String theory allows them a hybrid of Fayet and Polonyi models. The QCD axion arises automatically with a marginally tolerable decay constant, 10^{12} GeV. The good things, like the correct U(1)_{PQ} charges, are obtained from the E6 symmetry, without the extra field-theoretical E6 baggage.

Cumrun is finally able to make extremely accurate predictions for the LHC. The Bino is the lightest superpartner, followed by stau. Tan beta is between 20 and 30 (an unusual value, a bold prediction, indeed). A brilliant talk.

Question: is there a IIA mirror dual? Cumrun is not sure whether it exists at all. Question: how can the instantons be suppressed if you're in non-perturbative regime? Cumrun says that non-perturbative is about "tau" but the suppression is due to large volumes. Another question is answered by "F wedge H is zero".

Cumrun spends his coffee break by off-camera, on-microphone discussions, mostly with Andy Strominger. Those 6 meters in between their offices in Cambridge are probably too many so these questions haven't yet been answered. ;-)

After the coffee break, Alessandro Tomasiello continues with a talk about AdS4 flux vacua (PDF here). Some people are motivated by AdS4 as the starting point for realistic vacua. He is motivated by knowledge of some stringy geometry (theoretical motivation). He will look at AdS4 x CP3. At some point, SUSY may become N=6, an old solution whose CFT3 dual was found recently. He explains how generalized how-flat (generalized complex) manifolds are defined, by the amount of SUSY. The SU(3) structure manifolds - a subclass - is more well-known.

The wedge products still vanish, like in Calabi-Yaus, but the exterior derivatives of J, Re(Omega) don't: they're proportional to the other form. Some bad news about the vacua are mentioned. But there are many of them. ;-) So he's listing various manifolds with N=3 (and N=2, N=1) SUSY, without explaining too clearly what (how complete) the list exactly is. A double-U(1) quotient of SU(3) has a known CFT3 (quiver gauge theory) dual.

A list of allowed topologies (sometimes with several metric per topology) increases a bit when some masses are allowed. It looks somewhat disorganized to me. A moduli space is found to be a line interval but that's an inaccurate artifact of SUGRA because 1) flux quantization, 2) string corrections. Some pictures with the angle whose meaning I missed are shown. Are there many animals of this kind, he asks? Answer: a question mark.

Conclusions: even for simple topologies, there are often infinitely many vacua (with N=3 Chern-Simons CFT3 duals). Question: Michael Douglas wants to defend his statements about the finiteness of the number of vacua, so he points out that if one restricts the size of hidden dimensions, the number is finite. Answer: confirmed.

Timo Weigand talks about D-brane instantons in type II orientifolds, a technical topic that was investigated in a lot of papers during the last year (PDF here). The motivation seemed confusing. But the technicalities have content. D-brane instantons are divided into two groups - whether or not their cycles are inside existing physical D-branes. If they are, they can be interpreted as stringy realizations of gauge instantons. If they are not, they are exotic stringy instantons. A lot of work has been done and won't be mentioned.

First, he counts zero modes on the instantons. They come from open strings that can either end on the same D-brane instanton or two different ones. The first group has some universal modes; the second is typically found near intersections and has phenomenologically interesting couplings.

Superpotential can only be generated by BPS instantons, and not even all of them: two zero modes must be lifted. By picking a transverse geometry or e.g. a flux or ... by interactions in the E-E' sector. (D-terms are contributed to by non-BPS, off-calibrated instantons.) Concerning the latter, the goldstinos are lifted by this E-E' stuff. Now he, somewhat repetitively and off-topic, jumps to the other ways of lifting the zero modes.

He talks about the invariance of the instantons under the orientifold transformation. At some points in the closed-string moduli space, you're forced to choose bound states of instantons. A rather complicated discussion which terms are generated by various bound states of the instantons appears here. Chiral intersections can prevent the instanton action from having any method to lift the zero modes (global constraints, related to index theorems etc.). By looking at lines of marginal (or, later, threshold) stability, one can see that the instantons should be allowed to split etc.

He argues that only certain superpotentials can occur from the D-brane instantons: they should satisfy similar charge constraints as the perturbative terms, except that the balance may be shifted by the charges from the additional zero modes. This stuff has various applications. One of them is SUSY breaking by F-terms: production of Polonyi terms. He tries to construct a full-fledged SUSY breaking scenario. The context is somewhat unclear to me. Question/complaint: Cumrun says that the U(1) and SU(5) couplings should be naturally identified which makes it unnatural to produce the "5.10.10" coupling in Timo's way. Yes.

Stephan Stieberger titled his talk "Superstring amplitudes and implications for the LHC" (PDF here). It's focusing on tree-level multi-point amplitudes, their compact form (e.g. six-gluon disk amplitude), and possible stringy signals at the LHC relevant for QCD jets.

Now, he reviews the MHV-like QCD amplitudes (we know from the twistor industry). The next slides are about SUSY variations of vertex operators. He argues that certain recursive relations for multi-point MHV QCD amplitudes hold to all orders in alpha' in string theory (universal for all compactifications). SUSY Ward identities reduces 6-point amplitudes to simpler ones. Then he wants to get the full n-gluon amplitude in string theory from the "first principles", namely from the correct soft boson limit, collinear limit (factorization), and permutation symmetries.

He looks at various arrangements, e.g. 2 gluons and 2 chiral fermions. The results so far are universal for type I and type II theories. To see some stringy stuff of this simple kind at the LHC, he needs to assume ADD large dimensions. To see the strings, he would look at dijet events and Regge excitation resonances in the s-channel. Well, it would indeed be easy to see the strings if they existed there. Now, the discussion almost looks like Chapter 1 of the Green-Schwarz-Witten textbook. High-precision tests would tell us about the internal shape but he doesn't specify how the reverse engineering is made.

A question: what are you doing with background? Answer: Yes (not clear what he exactly means). ;-) Another question from Kiritsis: why haven't you seen the Z'-like particles at 100s of GeV that would exist for a TeV string scale? Answer: Z' are irrelevant. A small argument explodes. At any rate, I agree with the guy who asks that these models are already excluded.

Ron Donagi started the afternoon session with Heterotic Standard Models, a topic that was repeatedly covered on this blog. The talk began with a technical interlude, namely a struggle involving the screen size of the Apple's PowerPoint (or replacement). The Apple devoured his paper. It was a really good paper. A kind of a bummer. Applause. :-)

Juan Maldacena was ready to jump onto the scene and speak instead about the membrane minirevolution, namely their "ABJM" N=6 supersymmetric U(N) x U(N) Chern-Simons SCFT in three dimensions, generalizing the Bagger-Lambert-Gustavsson theory (PDF here). He wrote the action and demonstrated its classical scale invariance. Then he mentioned that N=3 CS-like (with Klebanov-Witten quartic superpotential) theories are common in 3D. He doubles the supercharges by looking at some R-symmetries.

The theory describes M2-branes proving an 8-manifold with a R8 / Z_k singularity. In detail, two NS5-branes with N D3-branes gives Yang-Mills plus bifundamental matter. One NS5-brane is rotated, we get N=3 YM CS plus bifundamental hypers. Some dualities lead to M-theory with two circles. Two KK monopoles are possible and their intersection is a special kind of hyperKähler singularity. Close to the R8/Z_k singularity, SUSY is enhanced to N=6.

1/k plays a role of the coupling constant: the theory is free for large "k". There is another parameter N, the number of M2-branes, and 't Hooft limit is possible for N/k=lambda fixed and N large. For N=2 and U(2)'s replaced by SU(2)'s, one gets the Bagger-Lambert-Gustavsson theory.

The gravity dual involves AdS4 x S7/Z_k, with a free action. For large k, Z_k "becomes" U(1) and S^7 becomes CP_3 - Tomasiello's talk... When he calculates the thermal free energy, the 3/4 from YM is replaced by 1/sqrt(lambda). He discusses operators - some BMN-like traces as well as 't Hooft operators (postulating a unit of magnetic flux around one point). A bifundamental operator must be added (k of them). The BMN-traces are simply type IIA strings, with no KK momentum along the Z_k orbifolded direction. The others are D0-branes, with a D0 momentum.

For k=1,2 he gets enhanced symmetries, analogous to SU(2)'s at the self-dual radius, in this case ordinary SU(4) and/or an extra center-of-mass symmetry for k=1. Similarly to AdS5 x S5, it seems integrable (classically) and you wonder whether it is an exact statement.

Changing U(N) x U(N) to two different ranks is like adding torsion F4 flux in M-theory. You can't find a Lagrangian that would flow to it. One can try to orientifold the theory, squash the 7-sphere, take more complex quivers, etc. So in conclusions, they have presented a surely interesting theory. He wants to master the 't Hooft operators, decide the integrability, maybe find duals of more general AdS4 vacua, and study the condensed-matter applications (which is likely for their theory than to describe the Universe).

A question why it is a gauge theory or something like that - hard to heard through the noise. Juan didn't quite know the answer. Another question: why would you expect conformal invariance? Answer: SUSY, presence of singularity in the moduli space. Third question: what condensed-matter applications? Answer - two: either 2+1-dimensional systems; or the Euclidean version may be good for critical phenomena. Another question: can you get the Yang-Mills limit (for k=1)? Answer: repeating some BL-G wisdom plus no answer about k=1.

Ron Donagi has another attempt (PDF here). Everything works now (except for the letter "B" at the end of every line). Heterotic Standard Models are the High Country of the landscape (anti-swampland): only 1 item is known right now. They're looking for full global models only. He plans to cover 7 papers, 6 of which included him, one of which is in preparation (with a female co-author).

The playing field is a Calabi-Yau with a SU(4) or SU(5) polystable bundle. Anomalies must be canceled: c2(X)-c2(V)=[M5 branes]. Commutant H in G is the low-energy group, Wilson lines (Z2 for SU(4) or, for SU(4), Z3 squared or Z6) get you to MSSM, 3 generations must exist.

For his favorite SU(5) case with Z2 Wilson lines, he needs a manifold with a freely acting Z2. Xtilde, the larger manifold, is either his favorite fiber product of two del Pezzo surfaces. Or a complete intersection of 4 quadrics in CP7. ;-) His way is the only close to MSSM so he explains the fiber product. It's like a Cartesian product of two elliptic fibrations except that you only take the points with the same location on the two fibers, effectively removing one of them. The manifold has h12, h11 equal to 19, 19, superficially a self-mirror.

Fourier-Mukai transform is used to construct the (Z2-invariant) bundle. Sometimes, monads are helpful etc. The anomaly is canceled either by M5-branes or, preferably, by bundles in the hidden sectors.

Years ago, he expected the model to be the first example among zillions. It unexpectedly remains the only one. So he still finds it ludicrous for him to successfully describe the Universe by his first algebraic geometry construction but the audience is clearly expected to be more optimistic. ;-) My estimated probability that their precise model is right is comparable to 1%. Phenomenological properties seem OK - pure MSSM, R-symmetry preserved classically (stable proton), semi-realistic Yukawa couplings and mu-terms.

There are other models which don't have stable V (Braun et al.). NAHE by Faraggi et al. are mentioned, too. Relaxing one of the conditions expands the landscape hugely. Now he talks about many not-quite-realistic models, including the (51,3) Vafa-Witten model, classified by various groups etc.: large tables with discrete data. A (2-9) free fermionic model is connected to their geometric compactification.

In the new paper, they have 1 construction that may generate a couple of new examples (or not). To summarize, the High Country is small and only has 1 fine representative right now. His plan involves strategies to look for new geometries and bundles. I think they should pay much more attention to detailed investigation of their best model. Stabilization & F-theory duals should be looked at.

In the question period, a participant claims that you can use fluxes to break the group. Another question is answered by Donagi's absent taste to study asymmetric orbifolds and nongeometric models. Another question is what they do with the hidden E8. Initially nothing. Later, it has a bundle on it. Addition to the question: he thinks that if both E8 can be used nontrivially, the High Country expands dramatically, he says. Donagi would like to know details.

Neil Lambert - now a part of Bagger-Lambert - will unsurprisingly talk about multiple M2-brane Lagrangians, the membrane minirevolution he helped to spark (his PDF is here). He can't enumerate all the work here - there has been too much. M-branes are hard, there's no dilaton to make it weakly coupled. The Lagrangian description is not known - a point to be challenged (although Juan's challenge has probably been superior by now).

For a stack of M2-branes, the SUSY variation of X is universal - schematically epsilon times psi. The variation of psi is epsilon times partial(X) plus a cubic term in X, in this case, times epsilon. So he's led to a 3-algebra (something with a triple product). Historically, he reviewed his steps to construct the Lagrangian. Click at "membrane minirevolution" above to see more comments about this construction; I won't repeat it here.

The algebra closes if the mutated Jacobi ("fundamental") identity holds. The Lagrangian eventually has the right symmetries, including parity (that was hard). The SU(2) x SU(2)-based 3-algebra, the simplest example, is explained. There are infinite-dimensional examples (equivalent to an M5-brane?). Their simple theory has R8 x R8 / D_{2k} for the two membranes. For k=1, it only differs by a O(4) vs SO(4) difference. For k=2, it works. For higher k, the orbifold action looks weird: the coordinates of branes are nontrivially mixed/rotated together as a doublet. ;-)

The origin of N^3 is hinted. Enhanced symmetry (classically) appears when the branes are collinear, not necessarily coincident. When the 4-index structure constants are non-antisymmetric, there are infinitely many examples but there are no gauge-invariant observables. The status of the non-unitary, indefinite algebras is not yet settled while "ABJM" (see Maldacena above) is where the field has gone. Various other modifications - like "ABJ" with torsion - are mentioned.

For SU(4) x U(1) smaller R-symmetry replacing SO(8), they're led to new symmetry conditions for the structure constants. They're Riemann-tensor-like symmetries, with an extra complex conjugation for the exchange of the pairs of indices. You find an infinite class of 3-algebras here, with explicit "XZ*Y - YZ*X" formulae for the 3-product. Many more papers with new groups, classifications of models etc.

To conclude, they constructed a unique (but k-labeled) theory for multiple M2-branes. The only example of a maximally supersymmetric gauge theory without gauge bosons is it. ABJM is the interesting broader class. He bets - but can't prove - that the N=8 theory is relevant for M-theory even above k=2. Can we see the 3/2-th power in the entropy? Vague proposals.

Do we really need the 3-algebras? You're right, we don't. ;-) But they have the same classification. But the physical fields, scalars and fermions, don't directly see the 3-bracket. His mother is one of 2 people who believes that something here is interesting ;-), thank you. Some questions. The first had a vague answer. The second, about coupling to SUGRA backgrounds, is also unclear. Many other questions are asked (Neil is a great person to answer questions), for example: why can you only describe 2 branes? Neil thinks that it just seems to be the only number for which this theory works (some special features of the orbifold).

To make the topics diverse, Sunil Mukhi - who is also a blogger ;-) and who is blogging from the coolest place in the Universe - speaks about the membrane minirevolution, too (PDF here). He will try to minimize the overlaps. He will describe roughly 3 papers, including the D2-branes from M2-branes that we reported at the beginning of the minirevolution.

Sunil is funny. There was an agreement that it (M2-brane Lagrangian) couldn't be done because it was not done. But now, once it's been done, we agree it can be done but it should be done better. In France, they have "brane" wines - a bottle shown on a picture. ;-)

His interest is in the extension of SO(7) to SO(8) and his classification of the known algebras is from a somewhat different angle. Unlike other speakers, he finds the indefinite 3-algebras interesting and he will focus on them. A new gauge symmetry manifestly removes the bad ghosts (and some good things, too). Some overlap with "ABJM" and "ABJ" is mentioned. New excuses why the theory is not known for N above 2: it would be strongly coupled, anyway (and the classical Lagrangian not overly useful).

As explained in the "D2 from M2" article linked above, Sunil tells us how the gauge field becomes dynamical - a new kind of Higgs mechanism. How is it possible that Higgsing makes a compactification? Because of higher corrections in 1/vev. The decoupling is only for infinite vev (like in our deconstruction paper with Nima et al. that Sunil mentions: yes, the derivation of the cylinder limit from the cone, and the stringy duality derivation from the quiver, was my work in the paper). In this present setup, the large vev can be replaced by a high level (order of the orbifolding group).

Finally, something that Sunil found pretty, then ugly, and now again pretty. ;-) The Lorentzian algebras. He adds some B-wedge-F terms to the Lagrangian. These theories violate Juan's wisdom that one can make a theory classical by adding a large classical prefactor to the action: if you add one, you can get rid of it by a field redefinition. The Higgs mechanism works in their picture but it works too well. ;-) More precisely, one gets the exact Yang-Mills (a reformulation? that seems disappointing).

To show the equivalence, non-Abelian dNS symmetry produces a non-dynamical gauge field: harmless. The duality works, by integrating out something (B?), and he explicitly constructs a Lagrangian where the SO(8) symmetry emerges except that it should also act on the coupling constants. To summarize, after some exercises, one can rewrite the N=8 Yang-Mills in a (Lorentzian) 3-algebra friendly way. But the superconformal and SO(8) symmetry is broken immediately when the vevs etc. are added.

Last two minutes dedicated to extra topics about the Lorentzian algebras: can one generalize the steps above with alpha' corrections added? Will the 3-algebra structure survive the stringy additions? So he adds a lot of F^4 terms and those of the same order. After the procedure, the result is still SO(8)-invariant! The enhancement works to all orders. To conclude, there's been much progress for multiple M2-branes but not a complete progress. A funny picture at the end.

For the third talk about the same topic, it was an extremely refreshing and original talk! ;-) Question: is the equivalence classical or quantum? Answer: it was done classically. Juan: what's the Goldstone boson for the broken conformal symmetry? It's not there - the field must be constant. New question: make D2-branes in a varying dilaton. Will the X8 vary? Sunil sees no problems but warns that the variations of other fields can't be forgotten.

Tuesday talks are over. The text above is too long, too few people will read it, and I won't be fixing the typos, sorry.

Merck Vioxx Study Disguised Marketing as Science

Wired Science - 9 小时 42 秒

A study that touted the benefits of Vioxx, a painkiller that killed thousands, wasn't science: it was marketing propaganda.

"The trial was designed by Merck's marketing division to fulfill a marketing objective," write researchers granted access to internal company memos and reports concerning the ADVANTAGE trial, which concluded that Vioxx had fewer gastrointestinal side effects than its competitors.

Vioxx was eventually shown to double heart attack risks, and killed an estimated 30,000 people between 1999 and 2003. Merck responded grudgingly to early alarms, then fudged data to downplay the drug's risks. They eventually paid $5 billion to settle some 25,000 individual lawsuits and 100 class-action suits -- and that, said analysts, was just a fraction of their liability. The drug is no longer manufactured.

The latest ADVANTAGE analysis, written by scientific consultants to lawyers suing Merck, adds another chapter to this sordid saga.

"Merck's marketing division handled both the scientific and the marketing data, including collection, analysis, and dissemination; and Merck hid the marketing nature of the trial from participants, physician investigators, and institutional review board members," they write.

An accompanying editorial excoriates Merck's approach, known as a "seeding" trial:

Why would a drug company go to the expense and bother of conducting a trial involving hundreds of practitioners—each recruiting a few patients—when a study based at a few large medical centers could accomplish the same scientific purposes much more efficiently? The main point of the seeding trial is not to get high-quality scientific information: It is to change the prescribing habits of large numbers of physicians. A secondary purpose is to transform physicians into advocates for the sponsor's drug. The company flatters a physician by selecting him because he is "an opinion leader" and incorporates him in the research team with the title of "investigator." Then, it pays him good money: a consulting fee to advise the company on the drug's use and another fee for each patient he enrolls. The physician becomes invested in the drug's future and praises its good features to patients and colleagues. Unwittingly, the physician joins the sponsor's marketing team. Why do companies pursue this expensive tactic? Because it works.

Bloomberg.com has a good analysis of this story, as does the Philadelphia Inquirer.

The ADVANTAGE Seeding Trial: A Review of Internal Documents [Annals of Internal Medicine]

Seeding Trials: Just Say "No" [Annals of Internal Medicine]

Video: Mediamonarchy

See Also:

WiSci 2.0: Brandon Keim's Twitter and Del.icio.us feeds; Wired Science on Facebook.

聚合内容