Tuesday, April 07, 2009

Physics by numbers

[This is the full version of my latest Muse for Nature News.]

A suggestion that the identification of physical laws can be automated raises questions about what it means to do science.

Two decades ago, computer scientist Kemal Ebcioglu at IBM described a computer program that wrote music like J. S. Bach. Now I know what you’re thinking: no one has ever written music like Bach. And Ebcioglu’s algorithm had a somewhat more modest goal: given the bare melody of a Bach chorale, it could fill in the rest (the harmony) in the style of the maestro. The results looked entirely respectable [1], although sadly no ‘blind tasting’ by music experts ever put them to the test.

Ebcioglu’s aim was not to rival Bach, but to explore whether the ‘laws’ governing his composition could be abstracted from the ‘data’. The goal was really no different from that attempted by scientists all the time: to deduce underlying principles from a mass of observations. Writing ‘Bach-like music’, however, highlights the constant dilemma in this approach. Even if the computerized chorales had fooled experts, there would be no guarantee that the algorithm’s rules bore any relation to the mental processes of Johann Sebastian Bach. To put it crudely, we couldn’t know if the model captured the physics of Bach.

That issue has become increasingly acute in recent years, especially in the hazily defined area of science labelled complexity. Computer models can now supply convincing mimics of all manner of complex behaviours, from the flocking of birds to traffic jams to the dynamics of economic markets. And the question repeatedly put to such claims is: do the rules of the model bear any relation to the real world, or are the resemblances coincidental?

This matter is raised by a recent paper in Science that reports on a technique to ‘automate’ the identification of ‘natural laws’ from experimental data [2]. As the authors Michael Schmidt and Hod Lipson of Cornell University point out, this is much more than a question of data-fitting – it examines what it means to think like a physicist, and perhaps even interrogates the issue of what natural laws are.

The basic conundrum is that, as is well known, it’s always possible to find a mathematical equation that will fit any data set to arbitrary precision. But that’s often pointless, since the resulting equations may be capturing contingent noise as well as meaningful physical processes. What’s needed is a law that obeys Einstein’s famous dictum, being as simple as possible but not simpler.

‘Simpler’ means here that you don’t reduce the data to a trivial level. In complex systems, it has become common, even fashionable, to find power laws (y proportional to x**n) that link two variables [3]. But the very ubiquity of such laws in systems ranging from economics to linguistics is now leading to suspicions that power laws might in themselves lack much physical significance. And some alleged power-laws might in fact be different mathematical relationships that look similar over small ranges [4].

Ideally, the mathematical laws governing a process should reflect the physically meaningful invariants of that process. They might, for example, stem from conservation of energy or of momentum. But it can be terribly hard to distinguish true invariants from trivial patterns. A recent study showed that the similarity of various dimensionless parameters from the life histories of different species, such as the ratio of average life span to age at maturity, have no fundamental significance [5].

It’s not always easy to separate the trivial or coincidental from the profound. Isaac Newton showed that Kepler’s laws identifying mathematical regularities in the parameters of planetary orbits have a deep origin in the inverse-square law of gravity. But the notorious Titius-Bode ‘law’ that alleges a mathematical relationship between the semi-major axes and the ranking of planets in the solar system remains contentious and is dismissed by many astronomers as mere numerology.

As Schmidt and Lipson point out, some of the invariants embedded in natural laws aren’t at all intuitive because they don’t actually relate to observable quantities. Newtonian mechanics deals with quantities such as mass, velocity and acceleration, while its more fundamental formulation by Joseph-Louis Lagrange invokes the principle of minimal action – yet ‘action’ is an abstract mathematical quantity, an integral that can be calculated but not really ‘measured’ directly.

And many of the seemingly fundamental constructs of ‘natural law’ – the concept of force, say, or the Schrodinger equation in quantum theory – turn out to be unphysical conveniences or arbitrary (if well motivated) guesses that merely work well. The question of whether one ascribes any physical reality to such things, or just uses them as theoretical conveniences, is often still unresolved.

Schmidt and Lipson present a clever way to narrow down the list of candidate ‘laws’ describing a data set by using additional criteria, such as whether partial derivatives of the equations also fit those of the data. Their approach is Darwinian: the best candidates are selected, on such grounds, from a pool of trial functions, and refined by iteration with mutation until reaching some specified level of predictive ability. Then parsimony pulls out the preferred solution. This process often generates a sharp drop in predictive ability as the parsimony crosses some threshold, suggesting that the true physics of the problem disappears at that point.

The key point is that the method seems to work. When used to deduce mathematical laws describing the data from two experiments in mechanics – an oscillator made from two masses linked by springs, and a pendulum with two hinged arms – it came up with precisely the equations of motion that physicists would construct from first principles using Newton’s laws of motion and Lagrangian mechanics. In other words, the solutions encode not just the observed data but the underlying physics.

Their experience with this system leads Schmidt and Lipson to suggest ‘seeding’ the selection process by drawing on an ‘alphabet’ of physically motivated building blocks. For example, if the algorithm is sent fishing for equations incorporating kinetic energy, it should seek expressions involving the square of velocities (since kinetic energy is proportional to velocity squared). In this way, the system would start to think increasingly like a physicist, giving results that we can interpret intuitively.

But perhaps the arena most in need of a tool like this is not physics but biology. Another paper in Science by researchers at Cambridge University reports a ‘robot scientist’ named Adam that can frame and experimentally test hypotheses about the genomics of yeast [6] (see here). By identifying connections between genes and enzymes, Adam could channel post-docs away from such donkey-work towards more creative endeavours. But the really deep questions, about which we remain largely ignorant, concern what one might call the physics of genomics: whether there are the equivalents of Newtonian and Lagrangian principles, and if so, what. Despite the current fads for banking vast swathes of biological data, theories of this sort are not going to simply fall out of the numbers. So we need all the help we can get – even from robots.


1. Ebcioglu, K. Comput. Music J. 12(3), 43-51 (1988).
2. Schmidt, M. & Lipson, H. Science 324, 81-85 (2009).
3. Newman, M. E. J. Contemp. Phys. 46, 323-351 (2005).
4. Clauset, A., Shalizi, C. R. & Newman, M. E. J. SIAM Rev. (in press).
5. Nee, S. et al., Science 309, 1236-1239 (2005).
6. King, R. D. et al., Science 324, 85-89 (2009).


liwo said...

看a片 ,成人夜色 ,小魔女自拍天堂 ,成人網站 情色論壇 ,視訊 ,影音分享 ,影音部落格 ,卡通影片 ,成人情色 ,色情聊天室 ,野外自拍 ,ut聊天室 ,aa的滿18歲影片 ,正妹強力版 ,3d美女圖 ,聊天室入口 ,性感沙灘3 ,成人文學 ,貼圖區 ,小弟弟貼影片 ,中部人聊天室 ,18禁漫畫 ,vlog電眼美女 ,躺伯虎聊天室 ,正妹照片 ,嘟嘟貼圖 ,av影片 ,小弟弟貼影片區 ,a片小說 ,080聊天室 ,a片免費看 ,正妹星球 ,真實自拍 ,看a片 ,免費小說 ,av女優貼圖 ,上班族聊天室 ,袍嘯小老鼠影片 ,美腿圖 ,免費aa片試看 ,杜蕾斯成人 ,a片線上免費看 ,電話交友 ,聊天室入口 ,女優盒子 ,小弟弟貼影片區 ,熟女人影片 ,999成人性站 ,美眉脫內衣遊戲 ,禁地成人 ,正妹強力版 ,癡漢論壇 ,彰化人聊天室 ,美女相簿 ,大家來找碴美女 ,情色自拍 ,波波情色貼圖 ,裸體美女 ,a38av383影音城 ,成人貼圖 ,18禁卡通 ,比基尼美女 ,熊貓成人貼 ,女同聊天室 ,台灣18成人網 ,qq 交友 ,

777成人區 ,黑澀會美眉無名 ,天心美女寫真集 ,熊貓貼圖 ,監獄兔影片 ,免費視訊聊天 ,ut男同志聊天室 ,成人交友 ,波波線上遊戲網美女拳 ,禁地論壇 ,a片觀賞 ,洪爺情色網 ,做愛自拍 ,性感影片 ,a片下載 ,辣手美眉 ,線上電影 ,美腿褲襪 ,美女圖片 ,美女做愛 ,av女優貼圖 ,0204貼圖區 ,1元視訊 ,sogo情色網首頁 ,美美情色 ,漫畫貼圖 ,卡通a片 ,線上漫畫 ,免費線上影片 ,忘年之交聊天室 ,彰化人聊天室二 ,gay片免費下載 ,嘟嘟成人網 ,av女優圖片 ,影音部落格 ,a片免費看 ,視訊交友90739 ,免費成人遊戲 ,援交友聊天室 ,美女圖庫 ,成人小遊戲 ,本土自拍天堂 ,情慾自拍 ,亞洲成人圖片區 ,交友啦咧聊天室 ,辣手美眉 ,美腿絲襪 ,熊貓情色 ,卡通影片 ,免費a片試看 ,聊天室交友 ,哈啦聊天室 ,網愛聊天室 ,性愛影片 ,aaaa片 ,殘酷的愛線上看 ,內衣模特兒寫真 ,女優 ,天天情色 ,a片網站 ,a片 ,

uhfdf said...

歐美a免費線上看,熊貓貼圖區,ec成人,聊天室080,aaa片免費看短片,dodo豆豆聊天室,一對一電話視訊聊天,自拍圖片集,走光露點,123456免費電影,本土自拍,美女裸體寫真,影片轉檔程式,成人視訊聊天,貼圖俱樂部,辣妹自拍影片,自拍電影免費下載,電話辣妹視訊,情色自拍貼圖,卡通做愛影片下載,日本辣妹自拍全裸,美女裸體模特兒,showlive影音聊天網,日本美女寫真,色情網,台灣自拍貼圖,情色貼圖貼片,百分百成人圖片 ,情色網站,a片網站,ukiss聊天室,卡通成人網,3級女星寫真,080 苗栗人聊天室,成人情色小說,免費成人片觀賞,

傑克論壇,維納斯成人用品,免費漫畫,內衣廣告美女,免費成人影城,a漫,國中女孩寫真自拍照片,ut男同志聊天室,女優,網友自拍,aa片免費看影片,玩美女人短片試看片,草莓論壇,kiss911貼圖片區,免費電影,免費成人,歐美 性感 美女 桌布,視訊交友高雄網,工藤靜香寫真集,金瓶梅免費影片,成人圖片 ,女明星裸體寫真,台灣處女貼圖貼片區,成人小遊戲,布蘭妮貼圖片區,美女視訊聊天,免費情色卡通短片,免費av18禁影片,小高聊天室,小老鼠論壇,免費a長片線上看,真愛love777聊天室,聊天ukiss,情色自拍貼圖,寵物女孩自拍網,免費a片下載,日本情色寫真,美女內衣秀,色情網,

liwo said...


女優王國,免費無碼a片,0800a片區,免費線上遊戲,無名正妹牆,成人圖片,寫真美女,av1688影音娛樂網,dodo豆豆聊天室,網拍模特兒,成人文學,免費試看a片,a片免費看,成人情色小說,美腿絲襪,影片下載,美女a片,人體寫真模特兒,熊貓成人貼,kiss情色,美女遊戲區,104 貼圖區,線上看,aaa片免費看影片,天堂情色,躺伯虎聊天室,洪爺情色網,kiss情色網,貼影區,雄貓貼圖,080苗栗人聊天室,都都成人站,尋夢園聊天室,a片線上觀看,無碼影片,情慾自拍,免費成人片,影音城論壇,情色成人,最新免費線上遊戲,a383影音城,美腿,色情寫真,xxx383成人視訊,視訊交友90739,av女優影片,