Notices of the American Mathematical Society ISSN 0002-9920 ABCD springer.com New and Noteworthy from Springer Quadratic Diophantine Multiscale Principles of Equations Finite Harmonic of the American Mathematical Society T. Andreescu, University of Texas at Element Analysis February 2009 Volume 56, Number 2 Dallas, Richardson, TX, USA; D. Andrica, Methods A. Deitmar, University Cluj-Napoca, Romania Theory and University of This text treats the classical theory of Applications Tübingen, quadratic diophantine equations and Germany; guides readers through the last two Y. Efendiev, Texas S. Echterhoff, decades of computational techniques A & M University, University of and progress in the area. The presenta- College Station, Texas, USA; T. Y. Hou, Münster, Germany California Institute of Technology, tion features two basic methods to This gently-paced book includes a full Pasadena, CA, USA investigate and motivate the study of proof of Pontryagin Duality and the quadratic diophantine equations: the This text on the main concepts and Plancherel Theorem. The authors theories of continued fractions and recent advances in multiscale finite emphasize Banach algebras as the quadratic fields. It also discusses Pell’s element methods is written for a broad cleanest way to get many fundamental Birds and Frogs equation. audience. Each chapter contains a results in harmonic analysis. simple introduction, a description of page 212 2009. Approx. 250 p. 20 illus. (Springer proposed methods, and numerical 2009. Approx. 345 p. (Universitext) Monographs in Mathematics) Softcover examples of those methods. Softcover ISBN 978-0-387-35156-8 ISBN 978-0-387-85468-7 $49.95 approx. $59.95 2009. X, 234 p. (Surveys and Tutorials in The Strong Free Will the Applied Mathematical Sciences) Solving Softcover Theorem Introduction to Siegel the Pell Modular Forms and ISBN: 978-0-387-09495-3 $44.95 Equation page 226 Dirichlet Series Intro M. J. Jacobson, Jr., A. Andrianov, Russian Academy of the duction to H. C. Williams, Sciences, Petersburg Department of the Boolean University of Steklov Institute of Mathematics, Calgary, AB, St. Petersburg, Russia Algebras Canada San Francisco This is intended for a graduate course S. Givant, Mills The authors provide a friendly Meeting on Siegel modular forms, Hecke College, Oakland, introduction to algebraic number operators, and related zeta functions. CA, USA; P. Halmos, theory via Pell’s Equation. The only page 324 The author’s aim is to present a concise deceased prerequisites are knowledge of and self-contained introduction to a This book is an informal though elementary number theory and abstract developing area of number theory that systematic series of lectures on Boolean algebra. Volume 56, Number 2, Pages 201–336, February 2009 will serve to attract young researchers algebras. It contains background Worcester Meeting to this field. chapters on topology and continuous 2009. Approx. 520 p. 20 illus. (CMS Books functions and includes hundreds of in Mathematics) Hardcover page 326 2009. XII, 184 p. (Universitext) Softcover exercises as well as a solutions manual. ISBN 978-0-387-84922-5 $79.95 ISBN 978-0-387-78752-7 $59.95 2009. XIV, 574 p. 10 illus. (Undergraduate Texts in Mathematics) Hardcover ISBN 978-0-387-40293-2 $59.95
Learn about our eBook Collection in Mathematics and Statistics. Talk to your Librarian Today
Easy Ways to Order for the Americas Write: Springer Order Department, PO Box 2485, Secaucus, NJ 07096-2485, USA Call: (toll free) 1-800-SPRINGER Fax: 1-201-348-4505 Email: [email protected] or for outside the Americas Write: Springer Customer Service Center GmbH, Haberstrasse 7, 69126 Heidelberg, Germany Call: +49 (0) 6221-345-4301 Fax : +49 (0) 6221-345-4229 Email: [email protected] Prices are subject to change without notice. All prices are net prices. 014032x Long divide (see page 239)
Trim: 8.25" x 10.75" 136 pages on 40 lb Cougar Opaque • Spine: 3/16" • Print Cover on 9pt Carolina ,!4%8
,!4%8 ,!4%8 Volume 2008 Open Access Journals Abstract andApplied Analysis in Mathematics
Your research wants to be free!
Hindawi Publishing Corporation http://www.hindawi.com
Advances in Difference Equations
Advances in Mathematical Physics Submit your manuscripts at Hindawi Publishing Corporation http://www.hindawi.com Volume 2008 Hindawi Publishing Corporation Volume 2008 http://www.hindawi.com http://www.hindawi.com
7 Volume 2008 6 Advances in Discrete Dynamics in 9 5 Operations Nature and Society 1 8 Boundary An International Multidisciplinary Research and Review Journal Research Value 7 Problems 6 Differential Equations 7 and Nonlinear Advances in Mechanics
Numerical Analysis Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation3 Volume 2008 Hindawi Publishing Corporation http://www.hindawi.com Volume 2008 Hindawi Publishing Corporation http://www.hindawi.com 2 http://www.hindawi.com Volume 2008 http://www.hindawi.com http://www.hindawi.com Volume 2008
Fixed Point Theory International Journal of and Applications Journal of Applied Mathematics Mathematics and Mathematical Sciences
International Journal of International Journal of Differential Combinatorics Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2008 Hindawi Publishing Corporation Volume 2008 Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation http://www.hindawi.com http://www.hindawi.com Volume 2008 http://www.hindawi.com Volume 2008 http://www.hindawi.com Volume 2008
Journal of Journal of Journal of Mathematical Applied JAMSA Inequalities Probability and Applications Problems in Mathematics and Journal of Applied Mathematics Engineering and Stochastic Analysis and Statistics Theory, Methods, and Applications Decision Sciences
Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation http://www.hindawi.com Volume 2008 Hindawi Publishing Corporation http://www.hindawi.com Volume 2008 http://www.hindawi.com Volume 2008 http://www.hindawi.com Volume 2008 http://www.hindawi.com Volume 2008 New and Forthcoming
Algebra, Arithmetic, and Arithmetic and Geometry Symmetry and Spaces Geometry around Quantization In Honor of Gerry Schwarz In Honor of Y.I. Manin Ozgur Ceyhan; Yuri I. Manin; H.E.A. Campbell, Memorial University Matilde Marcolli, Max-Planck Institut, of Newfoundland, St. John‘s, NF, Yuri Tschinkel, New York University, Bonn, Germany (Eds.) Canada; Loek Helminck, North Carolina New York, NY, USA; Yuri G. Zarhin, State University, Raleigh, NC, USA; Pennsylvania State University, University Quantization has been a potent source Hans-Peter Kraft, Universität Basel, Park, PA, USA (Eds.) of interesting ideas and problems in Switzerland; David Wehlau, Queen‘s various branches of mathematics. This Contributors include: K. Behrend, University, Kingston, ON, Canada (Eds.) volume comprises both research and V. Berkovich, J.-B. Bost, P. Bressler, survey articles originating from the This volume covers the wide range of D. Calaque, J. Carlson, A. Chambert-Loir, conference on Arithmetic and Geometry mathematics to which Gerry Schwarz has E. Colombo, A. Connes, C. Consani, around Quantization held in Istanbul in either made fundamental contributions A. Dabrowski, C. Deninger, I. Dolgachev, 2006. A wide range of topics related to or stimulated others to pursue. Three S. Donaldson, T. Ekedahl, A.-S. Elsenhans, quantization are covered, thus aiming to papers examine various aspects of B. Enriquez, P. Etingof, V. Fock, give a glimpse of a broad subject in very modular invariant theory (Broer, Elmer and E. Friedlander, B. Geemen, E. Getzler, different perspectives. Fleischmann, Shank and Wehlau), and A. Goncharov, M. Harris, I. Iskovskikh, Contributors: S. Akbulut, S. Arkhipov, seven papers concentrate on characteristic J. Jahnel, D. Kaledin, M. Kapranov, Ö. Ceyhan, E. Frenkel, K. Fukaya, 0 (Brion, Daigle and Freudenberg, Greb N. Katz, R. Kaufmann, J. Kollár, D. Gaitsgory, S. Gurevich, R. Hadani, and Heinzner, Helminck, Kostant, Kraft and M. Kontsevich, E. Looijenga, M. Marcolli, K. Kremnizer, S. Mahanta, S. Salur, Wallach, Traves). M. Markl, L. Merel, S. Merkulov, G. Ben Simon, W. van Suijlekom. M. Movshev, E. Mukhin, J. Nekovar, 2009. APPROX. 220 P. HARDCOVER V. Nikulin, F. Oort, D. Orlov, A. Panchishkin, 2009. APPROX. 400 P. HARDCOVER ISBN 978-0-8176-4874-9 CA. $99.00 I. Penkov, A. Polishchuk, P. Sarnak, ISBN 978-0-8176-4830-5 CA. $129.00 PROGRESS IN MATHEMATICS V. Schechtman, O. Ogievetsky, PROGRESS IN MATHEMATICS A. Tikhomirov, B. Tsygan, G. van der Geer, Frobenius Categories E. Vasserot, A. Vishik, A. Voronov, Developments and Trends M. Wodzicki, Y. Zarhin, T. Zink versus Brauer Blocks in Infinite-Dimensional VOL. I: 2009. APPROX. 600 P. HARDCOVER The Grothendieck Group ISBN 978-0-8176-4744-5 CA. $99.00 Lie Theory of the Frobenius Category PROGRESS IN MATHEMATICS, VOL. 269 Karl-Hermann Neeb, Darmstadt University of a Brauer Block of Technology, Germany; Arturo Pianzola, Lluis Puig, Université Paris VII Denis VOL. II: 2009. APPROX. 600 P. HARDCOVER University of Alberta, Canada (Eds.) Diderot, Paris, France ISBN 978-0-8176-4746-9 CA. $99.00 This collection of invited expository papers PROGRESS IN MATHEMATICS, VOL. 270 This book examines important questions focuses on recent developments and in modern representation theory of fi nite trends in infi nite-dimensional Lie theory, Observation and Control groups. On the one hand, it introduces and which has become one of the core areas develops the abstract setting of Frobenius for Operator Semigroups of modern mathematics. The book is di- categories (also called Saturated fusion vided into three parts: infi nite-dimensional Marius Tucsnak, Université Nancy, France; systems), created by the author fi fteen Lie (super-)algebras, geometry of infi nite- George Weiss, Tel Aviv University, Israel years ago for a better understanding of dimensional Lie (transformation) groups, what was loosely called the local theory This book studies observation and control and representation theory of infi nite-dimen- of fi nite groups or blocks, and for the operators for linear systems, in which sional Lie groups. purpose of an eventual classifi cation. On the free evolution of the state can be Contributors include: B. Allison, D. Beltita, the other hand, it presents the application described by an operator semigroup on a W. Bertram, J. Faulkner, Ph. Gille, of the abstract setting to the blocks. In Hilbert space. Emphasized in the text are H. Glöckner, K-H. Neeb, E. Neher, particular, it develops a framework for a well-posedness, observability and control- I. Penkov, A. Pianzola, D. Pickrell, deeper understanding of one of the central lability properties. The abstract results are T. Ratiu, N. Scheithauer, C. Schweigert, open problems in representation theory, supported by a large number of detailed V. Serganova, K. Styrkas, K. Waldorf, known as Alperin’s Weight Conjecture examples coming mostly from partial dif- and J. Wolf. ferential equations. (AWC). 2009. APPROX. 430 P. HARDCOVER 2009. APPROX. 510 P. HARDCOVER 2009. APPROX. 475 P. HARDCOVER ISBN 978-0-8176-4740-7 CA. $79.95 ISBN 978-3-7643-9997-9 $109.00 ISBN 978-3-7643-8993-2 $79.95 PROGRESS IN MATHEMATICS BIRKHÄUSER ADVANCED TEXTS PROGRESS IN MATHEMATICS, VOL. 274 CALL: 1-800-777-4643 • FAX: (201) 348-4505 • E-MAIL: [email protected] • www.birkhauser.com Please mention promotion #014044 when ordering. Prices are valid in the Americas only and are subject to change without notice. For price and ordering information outside the Americas, please contact Birkhäuser Verlag AG by E-mail: [email protected] 014044x Notices 233 226 of the American Mathematical Society February 2009
Communications
224 Mathematics Research Communities Program 224 Kicks Off Allyn Jackson
240 WHAT IS…a Skein Module? W. B. Raymond Lickorish
244 Tribute to André Lichnerowicz (1915–1998) Yvette Kosmann- Schwarzbach
247 Presidential Views: Interview with James Features Glimm Allyn Jackson 212 Birds and Frogs 250 Ask Professor Nescio Freeman Dyson 253 A Clicker Approach to The author calls mathematicians who take a lofty Teaching Calculus conceptual view of their subject birds and those who Martina Bode, Denise work in details and solve their problems consecutively Drane, Yifat Ben-David frogs. The author shows, by examples from the past Kolikant, and Mary Schuller and his personal acquaintance, how both types have 257 2008 Annual Survey of the advanced mathematics. Mathematical Sciences 226 The Strong Free Will Theorem (First Report) Polly Phipps, James W. John H. Conway and Simon Kochen Maxwell, and Colleen Rose The authors prove that three of the basic axioms of Commentary relativity and quantum mechanics have the conse- quence that the response of a certain type of particle 207 Opinion: A Mathematician to a certain type of experiment is independent of the Runs for Political Office universe prior to this response. Or, as the authors Daniel Biss put it, “If humans have free will [in choosing the 209 oLetters t the Editor orientation for the apparatus in the experiment], then elementary particles…share this valuable commodity.” 233 Mathematics and the Aesthetic—A Book Review Reviewed by Annalisa Crannell
237 Group Theory in the Bedroom—A Book Review Reviewed by David Austin Notices Departments of the American Mathematical Society About the Cover...... 239 EDITOR: Andy Magid Mathematics People ...... 268 ASSOCIATE EDITORS: Daniel Biss, Susanne C. Brenner, Bill Casselman Srinivas Receives TWAS Prize in Mathematics, Pujals Awarded ICTP/IMU (Graphics Editor), Robert J. Daverman, Susan Ramanujan Prize, Strassen Awarded ACM Knuth Prize, Ozawa Receives Friedlander, Robion Kirby, Steven G. Krantz, Lisette de Pillis, Peter Sarnak, Mark Saul, John Operator Algebra Prize, Saaty Receives INFORMS Award, Vybiral Swallow, Lisa Traynor Receives 2008 Information-Based Complexity Young Researcher Award, SENIOR WRITER and DEPUTY EDITOR: DMV Media Prizes, NSF Career Awards Made, Royal Society of London Allyn Jackson Elections, Kenneth M. Hoffman (1930–2008), Marcia P. Sward (1939– MANAGING EDITOR: Sandra Frost 2008), Correction. CONTRIBUTING WRITER: Elaine Kehoe Mathematics Opportunities...... 272 PRODUCTION ASSISTANT: Muriel Toupin Mathematics Research Communities 2009, NSF Program ADVANCE, PRODUCTION: Kyle Antonevich, Stephen Moye, Erin Murphy, Lori Nero, Karen Ouellette, Donna Salter, NSF Partnerships for International Research and Education, Summer Deborah Smith, Peter Sykes, Patricia Zinni Program for Women Undergraduates, NSF Support for Undergraduate ADVERTISING SALES: Anne Newcomb Training in Biological and Mathematical Sciences, Nominations for Information-Based Complexity Prize 2009. SUBSCRIPTION INFORMATION: Subscription prices for Volume 56 (2009) are US$488 list; US$390 insti- Inside the AMS...... 274 tutional member; US$293 individual member. (The From the AMS Public Awareness Office, AMS Email Support for subscription price for members is included in the annual dues.) A late charge of 10% of the subscrip- Frequently Asked Questions, Deaths of AMS Members. tion price will be imposed upon orders received from nonmembers after January 1 of the subscription year. Reference and Book List...... 276 Add for postage: Surface delivery outside the United States and India—US$27; in India—US$40; expedited delivery to destinations in North America—US$35; Doctoral Degrees Conferred (2007–2008) ...... 281 elsewhere—US$88. Subscriptions and orders for AMS publications should be addressed to the American Mathematics Calendar ...... 307 Mathematical Society, P.O. Box 845904, Boston, MA 02284-5904 USA. All orders must be prepaid. New Publications Offered by the AMS...... 311 ADVERTISING: Notices publishes situations wanted and classified advertising, and display advertising for publishers and academic or scientific organizations. Classified Advertisements...... 320 Advertising material or questions may be sent to [email protected] (classified ads) or notices-ads@ Meetings and Conferences of the AMS...... 322 ams.org (display ads). SUBMISSIONS: Articles and letters may be sent to Meetings and Conferences Table of Contents...... 335 the editor by email at [email protected], by fax at 405-325-5765, or by postal mail at Department of Mathematics, 601 Elm, PHSC 423, University of Okla- homa, Norman, OK 73019-0001. Email is preferred. Correspondence with the managing editor may be sent to [email protected]. For more information, see the section “Reference and Book List”. NOTICES ON THE AMS WEBSITE: Supported by the AMS membership, most of this publication is freely available electronically through the AMS website, the From the Society’s resource for delivering electronic prod- ucts and services. Use the URL http://www.ams. AMS Secretary org/notices/ to access the Notices on the website. [Notices of the American Mathematical Society (ISSN 0002- 9920)s i published monthly except bimonthly in June/July Applications and Nominations Sought for AMS Associate by the American Mathematical Society at 201 Charles Street, Providence, RI 02904-2294 USA, GST No. 12189 2046 RT****. Treasurer ...... 303 Periodicals postage paid at Providence, RI, and additional mailing offices. POSTMASTER: Send address change notices 2008 Election Results ...... 304 to Notices of the American Mathematical Society, P.O. Box 6248, Providence, RI 02940-6248 USA.] Publication here of the Society’s street address and the other information in brackets 2009 AMS Election (Nominations by Petition) ...... 305 above is a technical requirement of the U.S. Postal Service. Tel: 401-455-4000, email: [email protected]. © Copyright 2009 by the American Mathematical Society. All rights reserved. Printed in the United States of America.The paper used in this journal is acid-free and falls within the guidelines established to ensure permanence and durability.
Opinions expressed in signed Notices articles are those of the authors and do not necessarily reflect opinions of the editors or policies of the American Mathematical Society. A M E R I C A N M ATHEMATICAL S OCIETY
Mathematical Improving Stents Getting It Together
Stents are expandable tubes that are inserted into blocked The collective motion of many groups of animals can be stun- or damaged blood vessels. They offer a practical way to treat ning. Flocks of birds and schools of fish are able to remain coronary artery disease, repairing vessels and keeping them cohesive, find food, and avoid predators without leaders and open so that blood can flow freely. When stents work, they without awareness of all but a few other members in their are a great alternative to radical surgery, but they can dete- groups. Research using vector analysis and statistics has led riorate or become dislodged. Mathematical models of blood to the discovery of simple principles, such as members main- vessels and stents are helping to determine better shapes and taining a minimum distance between neighbors while still materials for the tubes. These models are so accurate that the aligning with them, which help explain shapes such as the one FDA is considering requiring mathematical modeling in the below. Moments design of stents before any further testing is done, to reduce the need for expensive experimentation. A series of over 70 posters that describe the role mathematics plays in science, nature, technol- Photo by Jose Luis Gomez de Francisco. Image courtesy of Michel Leconte. ogy, and human culture. Some have been trans- The Mathematical Moments program promotes The Mathematical Moments program promotes appreciation and understanding of the role mathematics appreciation and understanding of the role mathematics plays in science, nature, technology, and human culture. plays in science, nature, technology, and human culture. lated into other languages, and some feature MM/72.s www.ams.org/mathmoments MM/68.s www.ams.org/mathmoments podcast interviews with experts in the field. Listen Up! — Podcast Interviews with Experts
Diandra L. Leslie-Pelecky, University of Texas at Dallas, on the math-
ematics of NASCAR Leslie-Pelecky Golden Ken Golden, University of Utah, on the mathematics of sea ice Kevin Short, University of New Hampshire, on digitizing a wire recording of Woodie Guthrie (and his resulting Grammy© Award) Tim Chartier, Davidson College, on the connections between math- ematics and soccer
and more... Short Chartier
Mathematical Moments in Other Languages Read translated versions in Chinese, Spanish, French, German, Portuguese, Polish, Japanese, and Russian.
Using Mathematical Moments
• Display in your office • Use in the classroom • Distribute at special events • Promote math to colleagues • Post on bulletin boards • Launch a math club activity www.ams.org/mathmoments WebAssign ad Notices 8/13/07 12:40 PM Page 1
“THE PROOF IS IN OUR STUDENTS’ GRADES. WEBASSIGN WORKS.” Michael Paesler Department Head
With over a million users and half a billion submissions, WebAssign is the leading online homework and grading solution for math and science. But what makes us most proud of WebAssign is what department heads and chairs like Michael Paesler are saying about its impact on students and faculty. “The greatest advantage is that our students get immediate feedback on their work, and my faculty have more time for teaching and helping their students learn instead of grading innumerable homework papers. My professors recently found that more than 90% of their introductory students success- fully completed every assignment using WebAssign. That’s impressive!” So if you’re wondering why you should consider WebAssign for your students, the answer is simple: WebAssign works.
The way you imagined teaching could be.™
800.955.8275 webassign.net Opinion
and learning about a billion new things. If you’re read- A Mathematician Runs ing this magazine, you’ve probably always been good at homework. Your campaign (as well as the preparation time for Political Office you spend figuring out how your campaign will work) is a great time to dust off that skill. As I sit down to write this essay, just over a week has 5. But don’t be a big jerk. When I announced my can- elapsed since my narrow defeat in the 2008 election. I didacy, one of my mathematical colleagues expressed was the Democratic nominee for State Representative in concern that it would be hard to move out of mathemat- the (north suburban Chicago) 17th District of Illinois. Not ics, where everyone was “really smart”. Aside from being many mathematicians run for office, but as interest in an obnoxious sentiment, it’s totally wrong. There are energy, environmental, and technology policy increases, reasons I’ve missed being a mathematician, but access more people with scientific backgrounds are consider- to bright people and interesting conversation sure isn’t ing this professional transition. In Illinois, I’m happy among them. to say that this is a bipartisan phenomenon, thanks to 6. In fact, if you do this correctly, you’ll learn more Democratic Congressman Bill Foster and Republican State than in any other phase of your life. A political campaign Representative Mike Fortner, both particle physicists. is an extremely complicated machine, made up of dozens Given my vantage point, I thought it might be useful to of moving parts and thousands of people. You’ll encoun- offer some insights and suggestions for mathematicians ter more different ideas and tasks than you can possibly considering politics. imagine. It’s scary and difficult, but truly inspiring. 1. You have an important advantage. You’ve probably 7. One thing you’ll learn how to do is cut corners. been struck by how often candidates use the phrase “solv- A campaign inevitably involves a lot of corner-cutting. ing problems”. This is partially because “solving problems” Over 70,000 voters reside in our district, and 52,418 of is a kind of antonym of “partisan bickering”, making it them cast a ballot in my race. The ideal campaign would a particularly salient concept in 2008’s Obama-driven involve talking individually with each one for at least half political culture. There’s another reason, though: when an hour. Obviously, I didn’t have 25,000 hours. The main done correctly, policymaking involves solving technical purpose of a campaign is to short-circuit that process but problems by analyzing data and predicting consequences still deliver substantive communication. of various actions. This data-driven approach to policy- 8. You’ll also get a visceral education about long tails. making is sorely missed today. (And while the Bush admin- If you’re running in a district smaller than a Congressional istration elevated throwing out the data to a grotesque art district and you want to win, then you’ll knock on doors. form, this practice did not begin in 2001 and is unfortu- Lots of them. (I knocked on over 20,000.) This will be one nately not limited to the executive branch of government.) of the most valuable experiences of your life—you’ll learn If you’re reading this magazine, chances are you actually so much about your community and human nature. But solve problems for a living; in other words, you’re more because of the law of large numbers, you’ll also have a fair justified than almost anyone in calling yourself a problem- number of extraordinary experiences. Besides the naked solver. Voters get this, and they like it. man in the wheelchair (really) and the horrifying racist, 2. You have another important advantage. If you’re you’ll also encounter your fair share of human stories of reading this magazine, you’re also probably a teacher. struggle. You’ll find yourself hugging, laughing, and cry- That means you speak in public several days a week. More- ing with a lot more strangers than you can imagine. It’s over, you do so in circumstances far less favorable than truly uplifting. those confronting politicians most days (they talk for ten 9. But never forget this is still politics. When I began minutes, not an hour, about subject matter that—and it running, some friends worried that I was entering this pains me to say this—most people find less boring than slimy world of character assassination. I replied “Sure, mathematics). By Election Day, I’d become a pretty good that’s how politics looks on TV, but I’m not running for political speaker, based only on my experience in the president. A local campaign will be much more civil.” Just classroom, my passion about the issues, and a lot of hard days before the election, a letter was sent to voters level- work. You can too. ing completely fabricated accusations, urging recipients 3. You have yet another important advantage. Your to vote for my opponent, and describing such an action schedule is flexible. The number of hours you’re in class as “a vote against the very worst in politics”. The letter is quite a bit lower than most people’s time commitment. concluded by asking people to call me to express their Your summer vacation is auspiciously scheduled shortly outrage, and listed my cell phone number. before the first Tuesday after the first Monday in Novem- 10. Speaking of my cell phone number, it’s 773-383- ber—squeeze everything you can out of it. Naturally, you 6774. I hope you’ll consider running for office, and if have other duties, like research and class preparation, and you do, please call me. I’d love to help! (Unless you’re a you need to fulfill those duties responsibly. Just make sure Republican, in which case Fortner would probably be a you don’t spend time on them while voters and donors better bet.) are awake. —Daniel Biss 4. And you have one more important advantage. Run- Evanston, Illinois ning for office is really hard and involves tons of work [email protected]
February 2009 Notices of the AMS 207 American Mathematical Society
Fan China Exchange Program
Grants to support collaborations between Chinese and U.S./Canadian researchers are made possible through the generosity of Ky and Yu-Fen Fan.
The Fan China Exchange Program is intended to send eminent mathematicians from the U.S. and Canada to make a positive impact on the mathematical research community in China and to bring Chinese scientists in the early stages of their research to the U.S. and Canada to help further their careers. The program encourages host institutions to provide some type of additional support for the travel or living expenses of the visitor and to ensure a suitable length of stay.
Applications received before March 15 will be considered for the following academic year.
For more information on the Fan China Exchange Program and application process see www.ams.org/employment/chinaexchange.html or contact the AMS Membership and Programs Department by telephone at 800-321- 4267, ext. 4170 (U.S. and Canada), or 401-455-4170 (worldwide), or by email at [email protected]. Letters to the Editor
Imperfect Mathematics and a foreign member of the AMS 2005 465 493 507 A thought on Melvyn B. Nathanson’s (since the late 1970s). 2006 490 503 514 August 2008 Opinion piece “Desper- 2007 500 500 500 Salary Trends ately seeking truth”: The wage-adjusted figures show Just like our lines are not infinitely The Annual Survey compares the a downward trend (after 1990) that straight and our points are not infi- starting salaries of new Ph.D.’s over is not apparent in the COL-adjusted nitely thin, so too our journals and the years by giving their (median, numbers. our refereeing process are only rough quartiles, etc.) annual salaries in past —Seymour Haber approximations of the idealized no- years both in then-current dollars Temple University (Emeritus) tions they are supposed to represent. and in 2007 dollars. This adjustment [email protected] This is, after all, mathematics done is made via the Cost-of-Living (COL) by humans. index and shows what has happened (Received November 8, 2008) —Gabriel Nivasch to the real purchasing power of start- Tel Aviv University ing salaries over time. [email protected] There is another way to adjust Mathematics Education for salaries to the changing environment Girls (Received November 2, 2008) that gives additional information. The article “Cross-cultural analysis That is to adjust them by the Average of students with exceptional talent Wage Index. For example the AWI for in mathematical problem solving” Citation Statistics Report 2007 was US$40,405 while that for [November 2008 Notices] reminded Citation 1990 was US$21,028. Their ratio is me of how, back in the USSR, ev- I am sorry to report to you that the 1.92. Thus a salary of US$32,000 in eryone claimed that the Soviets had footnote on page 1221 in the Novem- 1990 would rank roughly like one of the best math schools in the world. ber 2008 Notices is misleading, and US$61,500 in 2007. (By “rank” I mean The widely-accepted explanation was quite unfair. its position in the scale of salaries. that every person who was gifted in The Citation Statistics report is not It would be better to give the actual technical fields had no choice but to an IMU [International Mathematical percentile, but I don’t have those become a scientist. Indeed, neither Union] report. It is a joint IMU-ICIAM- figures.) private business nor the stock market IMS report and should be quoted as The rank of one’s salary in the gen- existed in the USSR. Lawyers didn’t such. [ICIAM = International Council eral salary population is significant. need any gifts, other than the ability for Industrial and Applied Mathemat- It largely determines in which neigh- to obey. The only way to get a hefty ics, IMS = Institute of Mathematical borhoods one can afford to live, and salary was to become a big manager, Statistics]. the figures for the whole Ph.D. group and for this you had to sell your soul This is all the more distressing as may perhaps indicate the changes in by joining the Communist Party. the AMS is an associate member of the value society places on our pro- On the other hand, if you had a ICIAM, whereas it is not a member fession. The following table shows Ph.D., you would get a sizable bonus. of the IMU. Also, the presence of the the median starting salaries for new Hence, every gifted person tried to IMS as a co-sponsor lends even more Ph.D.’s taking 9–10-month academic enter the prestigious world of science weight and credence to such a report teaching/teaching-and-research posi- and mathematics. No wonder the on statistics. tions. The second and third columns Soviet math tradition and math edu- Thank you for making the proper are from p. 822 in the August 2008 cation was so good. Can you imagine corrections, including on the AMS Notices; they give the salaries in cur- what would happen to math educa- website. rent and in 2007 dollars respectively. tion in the U.S. if energetic and am- To spread the guilt a little, note The fourth column gives the salaries bitious people like Google founders that there are many websites which adjusted to the AWI (all in hundreds Larry Page and Sergey Brin decided to make the same mistake, including of dollars). become math educators? SIAM’s, even when SIAM is a founding I do think that math education member of ICIAM! 1980 171 379 552 here in the U.S. is a disaster. But it —Alain Damlamian 1985 250 429 600 would be a bigger disaster to try to Université Paris-Est 1990 320 469 614 improve it by following the commu- (Paris-12 Val de Marne) 1995 350 455 579 nism path. Let’s find another way. [email protected] 2000 415 497 523 In examining the data in this ar- ticle, it appears that girls in Com- (Received November 6, 2008) 2001 420 491 517 munist countries are doing better in 2002 450 517 547 math competitions than American Editor’s Note: The author is past 2003 450 506 536 girls. We are supposed to be the secretary of ICIAM (1999–2007), 2004 450 491 508 democratic leaders around gender
February 2009 Notices of the AMS 209 Letters to the Editor equality issues, but why then are survival salaries under demeaning pertaining to his emigration to the our young women mathematicians conditions. United States during World War II, behind? I was gratified to see the AMS Despite the often difficult circum- his wartime employment search, and addressing this concern. I also started stances of his life, Loewner produced attempts to determine the where- exploring issues around women and an impressive body of original work abouts of his family remaining in math on my blog at http://blog. that left permanent imprints on math- Europe. This accession also contains tanyakhovanova.com/?cat=17. ematical thinking, in a wide range of academic records and correspon- —Tanya Khovanova directions. He published little, but dence to and from colleagues at the MIT each work that appeared was on a many academic institutions where [email protected] level to change the direction of math- Loewner taught including the Univer- ematics. Much of his contribution was sity of Louisville, Brown University, (Received November 22, 2008) offered in informal conversation with Syracuse University, and Stanford students and colleagues; he shared University. Other items include pho- tographs, publishing contracts, me- Editor’s Note: The author was a mem- everything, and fruits of his talent ap- morial tributes to Loewner and his ber of the USSR IMO team (1975 pear in many publications by others. wife Elizabeth, and news clippings silver medal; 1976 gold medal). His central interest was geometric function theory, to which he applied about the Loewner family. Notes: variational methods. Using strikingly Charles Loewner was born on May Loewner Archive Established original reasoning, he proved the 29, 1893, in Lany, Bohemia (now in the Czech Republic), and received his We are writing to convey to the math- initial case for the Bieberbach Con- jecture, and the ideas of that proof Promotion (Ph.D.) in Mathematics at ematical community that profes- the (German) Charles University in sional and personal documents from were central to the later complete proof by de Branges. He was inter- Prague. From 1922–1928 he taught the legacy of Charles Loewner, which at Friedrich Wilhelm University in were donated to Stanford University ested also in fluid flow problems, in which his geometric thinking had Berlin. Following a brief lectureship at by his daughter Marian Tracy, have Cologne, he returned to the (German) been organized and catalogued and great influence. His thinking led him to the general study of semi-groups Charles University as Ausserordentli- are part of the Stanford University of transformations, for which again cher Professor (associate professor) Archives located in the Stanford Uni- and was later promoted to Ordinarius there were remarkable consequences versity Libraries. The online guide (full professor). The occupation of in several directions, with unexpected can be accessed at http://content. Czechoslovakia in 1939 prompted physical applications. cdlib.org/view?docId=kt7c6037b his emigration to the United States. Loewner was also famous for his h&brand=oac. He taught at Louisville, Brown, and interaction with students at all levels. Those wishing to view the material Syracuse University prior to his ap- His lectures were polished and per- should contact publication staff in the pointment in 1951 as professor of fect, presented without notes; they at- Department of Special Collections and mathematics at Stanford University, tracted students and also professors. University Archives, at speccolref@ where he remained until his death His problem seminar at Stanford was stanford.edu. on January 8, 1968. Indexes: Unpub- celebrated, and became a birthplace lished guide available (folder level in- Many of the current readers will of inspiration leading to Ph.D. dis- ventory). Notes: Gift of Marian Tracy, have arrived too recently on the sertations, for many students. mathematical scene to be directly im- 2007/1972. Subject (LC): Loewner, For the convenience of readers, we Charles, 1893–1968. pacted as we have been by Loewner’s are enclosing below a brief summary profound insights and originality, of the material. —Robert Finn by his selfless human qualities, and Physical Description: 4.5 linear by the depth and universality of his [email protected] ft. Summary: The first seven boxes scientific contributions. Beyond those of this collection consist largely of —Robert Osserman comments, his life experiences as a Loewner’s lectures notes, 1923–1956, [email protected] Jewish refugee who barely escaped with some exams and class projects; Department of Mathematics the Nazi holocaust, and who lost manuscripts and typescripts of ar- Stanford University close family members in those horrid ticles, 1919–62, including his 1933 events, reflect poignantly the sweep- thesis; and research notes and writ- (Received November 25, 2008) ing social changes and the terrible ings. Subjects of his writings and re- human suffering of the time. The search include differential equations, correspondence preserved in these matrices, and semigroups. Other documents also puts into vivid relief items include several articles by other the often resentful attitude of the mathematicians on Loewner’s work, United States university establish- note cards, and a small amount of ment of that time toward refugees correspondence. Accession 2007-257 of highest creative achievement who consists of Loewner’s personal pa- were sometimes driven to accept pers, which contain correspondence
210 Notices of the AMS Volume 56, Number 2 American Mathematical Society Authors: Let the AMS Author Resource Center be your all-in-one guide for writing and publishing mathematics
General Author The Center Resources AMS Book Author includes: Resources AMS Journal Author Resources • Tools for writing mathematics, including LaTeX and TeX resources and graphics guidelines • Mathematical Reviews tools to create references and provide linking capabilities • Resources for AMS Book Authors (learn how to Author Packages prepare a proposal and how Journal author to produce and submit your packages manuscript) Monograph author Each author package packages • Specific resources for page has a simple AMS Journal Authors (find Collections and three-step process information about each proceedings volumes author to download zip files journal, explore the Author packages containing templates, Handbook, and obtain details sample files, style about copyright, permissions, files, guidelines, and manuscript tracking, and instruction manuals. more) • AMS Acquisitions Editors contact information What can the AMS Author • Answers to Frequently Asked Resource Center do for you? Questions from AMS authors and access to technical support www.ams.org/authors/ Birds and Frogs Freeman Dyson
ome mathematicians are birds, others skill as a mathematician. In his later years he hired are frogs. Birds fly high in the air and younger colleagues with the title of assistants to survey broad vistas of mathematics out do mathematical calculations for him. His way of to the far horizon. They delight in con- thinking was physical rather than mathematical. cepts that unify our thinking and bring He was supreme among physicists as a bird who togetherS diverse problems from different parts of saw further than others. I will not talk about Ein- the landscape. Frogs live in the mud below and see stein since I have nothing new to say. only the flowers that grow nearby. They delight in the details of particular objects, and they solve Francis Bacon and René Descartes problems one at a time. I happen to be a frog, but At the beginning of the seventeenth century, two many of my best friends are birds. The main theme great philosophers, Francis Bacon in England and of my talk tonight is this. Mathematics needs both René Descartes in France, proclaimed the birth of birds and frogs. Mathematics is rich and beautiful modern science. Descartes was a bird, and Bacon because birds give it broad visions and frogs give it was a frog. Each of them described his vision of intricate details. Mathematics is both great art and the future. Their visions were very different. Bacon important science, because it combines generality said, “All depends on keeping the eye steadily fixed of concepts with depth of structures. It is stupid on the facts of nature.” Descartes said, “I think, to claim that birds are better than frogs because therefore I am.” According to Bacon, scientists they see farther, or that frogs are better than birds should travel over the earth collecting facts, until because they see deeper. The world of mathemat- the accumulated facts reveal how Nature works. ics is both broad and deep, and we need birds and The scientists will then induce from the facts the frogs working together to explore it. laws that Nature obeys. According to Descartes, This talk is called the Einstein lecture, and I am scientists should stay at home and deduce the grateful to the American Mathematical Society laws of Nature by pure thought. In order to deduce for inviting me to do honor to Albert Einstein. the laws correctly, the scientists will need only Einstein was not a mathematician, but a physicist the rules of logic and knowledge of the existence who had mixed feelings about mathematics. On of God. For four hundred years since Bacon and the one hand, he had enormous respect for the Descartes led the way, science has raced ahead power of mathematics to describe the workings by following both paths simultaneously. Neither of nature, and he had an instinct for mathematical Baconian empiricism nor Cartesian dogmatism beauty which led him onto the right track to find has the power to elucidate Nature’s secrets by nature’s laws. On the other hand, he had no inter- itself, but both together have been amazingly suc- est in pure mathematics, and he had no technical cessful. For four hundred years English scientists have tended to be Baconian and French scientists Freeman Dyson is an emeritus professor in the School of Cartesian. Faraday and Darwin and Rutherford Natural Sciences, Institute for Advanced Study, Princeton, were Baconians; Pascal and Laplace and Poincaré NJ. His email address is [email protected]. were Cartesians. Science was greatly enriched by This article is a written version of his AMS Einstein Lecture, the cross-fertilization of the two contrasting cul- which was to have been given in October 2008 but which tures. Both cultures were always at work in both unfortunately had to be canceled. countries. Newton was at heart a Cartesian, using
212 NNoticesotices ofof thethe AMAMSS Volumeolume 56, Numberumber 2 pure thought as Descartes intended, and using wave mechanics in 1926. Schrödinger was a bird it to demolish the Cartesian dogma of vortices. who started from the idea of unifying mechanics Marie Curie was at heart a Baconian, boiling tons with optics. A hundred years earlier, Hamilton had of crude uranium ore to demolish the dogma of unified classical mechanics with ray optics, using the indestructibility of atoms. the same mathematics to describe optical rays In the history of twentieth century mathematics, and classical particle trajectories. Schrödinger’s there were two decisive events, one belonging to idea was to extend this unification to wave optics the Baconian tradition and the other to the Carte- and wave mechanics. Wave optics already existed, sian tradition. The first was the International Con- but wave mechanics did not. Schrödinger had to gress of Mathematicians in Paris in 1900, at which invent wave mechanics to complete the unification. Hilbert gave the keynote address, Starting from wave optics as a model, charting the course of mathematics he wrote down a differential equa- for the coming century by propound- tion for a mechanical particle, but the ing his famous list of twenty-three equation made no sense. The equation outstanding unsolved problems. Hil- looked like the equation of conduction bert himself was a bird, flying high of heat in a continuous medium. Heat over the whole territory of mathemat- conduction has no visible relevance to ics, but he addressed his problems to particle mechanics. Schrödinger’s idea the frogs who would solve them one seemed to be going nowhere. But then at a time. The second decisive event came the surprise. Schrödinger put was the formation of the Bourbaki the square root of minus one into the group of mathematical birds in France equation, and suddenly it made sense. in the 1930s, dedicated to publish- Suddenly it became a wave equation ing a series of textbooks that would instead of a heat conduction equation. establish a unifying framework for Francis Bacon And Schrödinger found to his delight all of mathematics. The Hilbert prob- that the equation has solutions cor- lems were enormously successful in responding to the quantized orbits in guiding mathematical research into the Bohr model of the atom. fruitful directions. Some of them were It turns out that the Schrödinger solved and some remain unsolved, equation describes correctly every- but almost all of them stimulated the thing we know about the behavior of growth of new ideas and new fields atoms. It is the basis of all of chem- of mathematics. The Bourbaki project istry and most of physics. And that was equally influential. It changed the square root of minus one means that style of mathematics for the next fifty nature works with complex numbers years, imposing a logical coherence and not with real numbers. This dis- that did not exist before, and moving covery came as a complete surprise, the emphasis from concrete examples to Schrödinger as well as to every- to abstract generalities. In the Bour- body else. According to Schrödinger, René Descartes baki scheme of things, mathematics is his fourteen-year-old girl friend Itha the abstract structure included in the Junger said to him at the time, “Hey, Bourbaki textbooks. What is not in the textbooks you never even thought when you began that so is not mathematics. Concrete examples, since they much sensible stuff would come out of it.” All do not appear in the textbooks, are not math- through the nineteenth century, mathematicians ematics. The Bourbaki program was the extreme from Abel to Riemann and Weierstrass had been expression of the Cartesian style. It narrowed the creating a magnificent theory of functions of scope of mathematics by excluding the beautiful complex variables. They had discovered that the flowers that Baconian travelers might collect by theory of functions became far deeper and more the wayside. powerful when it was extended from real to com- plex numbers. But they always thought of complex Jokes of Nature numbers as an artificial construction, invented by For me, as a Baconian, the main thing missing in human mathematicians as a useful and elegant the Bourbaki program is the element of surprise. abstraction from real life. It never entered their The Bourbaki program tried to make mathematics heads that this artificial number system that they logical. When I look at the history of mathematics, had invented was in fact the ground on which I see a succession of illogical jumps, improbable atoms move. They never imagined that nature had coincidences, jokes of nature. One of the most got there first. profound jokes of nature is the square root of Another joke of nature is the precise linearity minus one that the physicist Erwin Schrödinger of quantum mechanics, the fact that the possible put into his wave equation when he invented states of any physical object form a linear space.
February 2009 Notices of the AMS 213 Before quantum mechanics was invented, classical second commandment says: “Let your acts be di- physics was always nonlinear, and linear models rected towards a worthy goal, but do not ask if they were only approximately valid. After quantum can reach it: they are to be models and examples, mechanics, nature itself suddenly became linear. not means to an end.” Szilard practiced what he This had profound consequences for mathemat- preached. He was the first physicist to imagine ics. During the nineteenth century Sophus Lie nuclear weapons and the first to campaign ac- developed his elaborate theory of continuous tively against their use. His second commandment groups, intended to clarify the behavior of classical certainly applies here. The proof of the Riemann dynamical systems. Lie groups were then of little Hypothesis is a worthy goal, and it is not for us to interest either to mathematicians or to physicists. ask whether we can reach it. I will give you some The nonlinear theory of Lie groups was too compli- hints describing how it might be achieved. Here I cated for the mathematicians and too obscure for will be giving voice to the mathematician that I was the physicists. Lie died a disappointed man. And fifty years ago before I became a physicist. I will then, fifty years later, it turned out that nature was talk first about the Riemann Hypothesis and then precisely linear, and the theory of linear represen- about quasi-crystals. tations of Lie algebras was the natural language of There were until recently two supreme unsolved particle physics. Lie groups and Lie algebras were problems in the world of pure mathematics, the reborn as one of the central themes of twentieth proof of Fermat’s Last Theorem and the proof of century mathematics. the Riemann Hypothesis. Twelve years ago, my A third joke of nature is the existence of quasi- Princeton colleague Andrew Wiles polished off crystals. In the nineteenth century the study of Fermat’s Last Theorem, and only the Riemann Hy- crystals led to a complete enumeration of possible pothesis remains. Wiles’ proof of the Fermat Theo- discrete symmetry groups in Euclidean space. rem was not just a technical stunt. It required the Theorems were proved, establishing the fact that discovery and exploration of a new field of math- in three-dimensional space discrete symmetry ematical ideas, far wider and more consequential groups could contain only rotations of order three, than the Fermat Theorem itself. It is likely that four, or six. Then in 1984 quasi-crystals were dis- any proof of the Riemann Hypothesis will likewise covered, real solid objects growing out of liquid lead to a deeper understanding of many diverse metal alloys, showing the symmetry of the icosa- areas of mathematics and perhaps of physics too. hedral group, which includes five-fold rotations. Riemann’s zeta-function, and other zeta-func- Meanwhile, the mathematician Roger Penrose tions similar to it, appear ubiquitously in number discovered the Penrose tilings of the plane. These theory, in the theory of dynamical systems, in are arrangements of parallelograms that cover a geometry, in function theory, and in physics. The plane with pentagonal long-range order. The alloy zeta-function stands at a junction where paths lead quasi-crystals are three-dimensional analogs of in many directions. A proof of the hypothesis will the two-dimensional Penrose tilings. After these illuminate all the connections. Like every serious discoveries, mathematicians had to enlarge the student of pure mathematics, when I was young I theory of crystallographic groups to include quasi- had dreams of proving the Riemann Hypothesis. crystals. That is a major program of research which I had some vague ideas that I thought might lead is still in progress. to a proof. In recent years, after the discovery of A fourth joke of nature is a similarity in be- quasi-crystals, my ideas became a little less vague. havior between quasi-crystals and the zeros of I offer them here for the consideration of any the Riemann Zeta function. The zeros of the zeta- young mathematician who has ambitions to win function are exciting to mathematicians because a Fields Medal. they are found to lie on a straight line and nobody Quasi-crystals can exist in spaces of one, two, understands why. The statement that with trivial or three dimensions. From the point of view of exceptions they all lie on a straight line is the physics, the three-dimensional quasi-crystals are famous Riemann Hypothesis. To prove the Rie- the most interesting, since they inhabit our three- mann Hypothesis has been the dream of young dimensional world and can be studied experi- mathematicians for more than a hundred years. mentally. From the point of view of a mathemati- I am now making the outrageous suggestion that cian, one-dimensional quasi-crystals are much we might use quasi-crystals to prove the Riemann more interesting than two-dimensional or three- Hypothesis. Those of you who are mathematicians dimensional quasi-crystals because they exist in may consider the suggestion frivolous. Those who far greater variety. The mathematical definition are not mathematicians may consider it uninterest- of a quasi-crystal is as follows. A quasi-crystal ing. Nevertheless I am putting it forward for your is a distribution of discrete point masses whose serious consideration. When the physicist Leo Fourier transform is a distribution of discrete Szilard was young, he became dissatisfied with the point frequencies. Or to say it more briefly, a ten commandments of Moses and wrote a new set quasi-crystal is a pure point distribution that has of ten commandments to replace them. Szilard’s a pure point spectrum. This definition includes
214 Notices of the AMS Volume 56, Number 2 Photograph of A. Besicovitch from the AMS archives. Photo of Hermann Weyl Hermann of Photo archives. AMS the from Besicovitch A. of Photograph
as a special case the ordinary crystals, objects is a quintessentially Baconian which are periodic distributions with activity. It is an appropriate activity periodic spectra. for mathematical frogs. We shall then Excluding the ordinary crystals, find the well-known quasi-crystals quasi-crystals in three dimensions associated with PV numbers, and come in very limited variety, all of also a whole universe of other quasi- them associated with the icosahedral crystals, known and unknown. Among group. The two-dimensional quasi- the multitude of other quasi-crystals crystals are more numerous, roughly we search for one corresponding to one distinct type associated with each the Riemann zeta-function and one regular polygon in a plane. The two- corresponding to each of the other dimensional quasi-crystal with pentag- zeta-functions that resemble the Rie- onal symmetry is the famous Penrose mann zeta-function. Suppose that tiling of the plane. Finally, the one- Abram Besicovitch we find one of the quasi-crystals in dimensional quasi-crystals have a far our enumeration with properties richer structure since they are not tied that identify it with the zeros of the to any rotational symmetries. So far as Riemann zeta-function. Then we have I know, no complete enumeration of proved the Riemann Hypothesis and one-dimensional quasi-crystals exists. we can wait for the telephone call It is known that a unique quasi-crystal announcing the award of the Fields exists corresponding to every Pisot- Medal. Vijayaraghavan number or PV number. These are of course idle dreams. A PV number is a real algebraic inte- The problem of classifying one- ger, a root of a polynomial equation dimensional quasi-crystals is horren- with integer coefficients, such that all dously difficult, probably at least as the other roots have absolute value difficult as the problems that Andrew less than one, [1]. The set of all PV Wiles took seven years to explore. But numbers is infinite and has a remark- Hermann Weyl if we take a Baconian point of view, able topological structure. The set the history of mathematics is a his- of all one-dimensional quasi-crystals tory of horrendously difficult prob- has a structure at least as rich as the lems being solved by young people too ignorantpermisssion. with used Roquette, Peter of archives the tofrom Weyl H. of Photo archives. AMS from Besicovitch A. of Photograph set of all PV numbers and probably much richer. know that they were impossible. The classification We do not know for sure, but it is likely that a of quasi-crystals is a worthy goal, and might even huge universe of one-dimensional quasi-crystals turn out to be achievable. Problems of that degree not associated with PV numbers is waiting to be of difficulty will not be solved by old men like me. discovered. I leave this problem as an exercise for the young Here comes the connection of the one- frogs in the audience. dimensional quasi-crystals with the Riemann hypothesis. If the Riemann hypothesis is true, Abram Besicovitch and Hermann Weyl then the zeros of the zeta-function form a one- Let me now introduce you to some notable frogs dimensional quasi-crystal according to the defini- and birds that I knew personally. I came to Cam- tion. They constitute a distribution of point masses bridge University as a student in 1941 and had on a straight line, and their Fourier transform is the tremendous luck to be given the Russian likewise a distribution of point masses, one at each mathematician Abram Samoilovich Besicovitch of the logarithms of ordinary prime numbers and as my supervisor. Since this was in the middle prime-power numbers. My friend Andrew Odlyzko of World War Two, there were very few students has published a beautiful computer calculation of in Cambridge, and almost no graduate students. the Fourier transform of the zeta-function zeros, Although I was only seventeen years old and Besi- [6]. The calculation shows precisely the expected covitch was already a famous professor, he gave structure of the Fourier transform, with a sharp me a great deal of his time and attention, and we discontinuity at every logarithm of a prime or became life-long friends. He set the style in which prime-power number and nowhere else. I began to work and think about mathematics. He My suggestion is the following. Let us pretend gave wonderful lectures on measure-theory and that we do not know that the Riemann Hypothesis integration, smiling amiably when we laughed at is true. Let us tackle the problem from the other his glorious abuse of the English language. I re- end. Let us try to obtain a complete enumera- member only one occasion when he was annoyed tion and classification of one-dimensional quasi- by our laughter. He remained silent for a while and crystals. That is to say, we enumerate and classify then said, “Gentlemen. Fifty million English speak all point distributions that have a discrete point English you speak. Hundred and fifty million Rus- spectrum. Collecting and classifying new species of sians speak English I speak.”
February 2009 Notices of the AMS 215 Besicovitch was a frog, and he became famous into a regular and an irregular component, that when he was young by solving a problem in el- the regular component has a tangent almost ementary plane geometry known as the Kakeya everywhere, and the irregular component has a problem. The Kakeya problem was the following. projection of measure zero onto almost all direc- A line segment of length one is allowed to move tions. Roughly speaking, the regular component freely in a plane while rotating through an angle looks like a collection of continuous curves, while of 360 degrees. What is the smallest area of the the irregular component looks nothing like a con- plane that it can cover during its rotation? The tinuous curve. The existence and the properties of problem was posed by the Japanese mathematician the irregular component are connected with the Kakeya in 1917 and remained a famous unsolved Besicovitch solution of the Kakeya problem. One problem for ten years. George Birkhoff, the lead- of the problems that he gave me to work on was ing American mathematician at that time, publicly the division of measurable sets into regular and proclaimed that the Kakeya problem and the four- irregular components in spaces of higher dimen- color problem were the outstanding unsolved sions. I got nowhere with the problem, but became problems of the day. It was widely believed that permanently imprinted with the Besicovitch style. the minimum area was π/8, which is the area of a The Besicovitch style is architectural. He builds three-cusped hypocycloid. The three-cusped hypo- out of simple elements a delicate and complicated cycloid is a beautiful three-pointed curve. It is the architectural structure, usually with a hierarchical curve traced out by a point on the circumference plan, and then, when the building is finished, the of a circle with radius one-quarter, when the circle completed structure leads by simple arguments rolls around the inside of a fixed circle with radius to an unexpected conclusion. Every Besicovitch three-quarters. The line segment of length one can proof is a work of art, as carefully constructed as turn while always remaining tangent to the hypo- a Bach fugue. cycloid with its two ends also on the hypocycloid. A few years after my apprenticeship with Be- This picture of the line turning while touching the sicovitch, I came to Princeton and got to know inside of the hypocycloid at three points was so Hermann Weyl. Weyl was a prototypical bird, just elegant that most people believed it must give the as Besicovitch was a prototypical frog. I was lucky minimum area. Then Besicovitch surprised every- to overlap with Weyl for one year at the Princeton one by proving that the area covered by the line as Institute for Advanced Study before he retired it turns can be less than for any positive . from the Institute and moved back to his old home Besicovitch had actually solved the problem in in Zürich. He liked me because during that year I 1920 before it became famous, not even knowing published papers in the Annals of Mathematics that Kakeya had proposed it. In 1920 he published about number theory and in the Physical Review the solution in Russian in the Journal of the Perm about the quantum theory of radiation. He was one Physics and Mathematics Society, a journal that of the few people alive who was at home in both was not widely read. The university of Perm, a subjects. He welcomed me to the Institute, in the city 1,100 kilometers east of Moscow, was briefly hope that I would be a bird like himself. He was dis- a refuge for many distinguished mathematicians appointed. I remained obstinately a frog. Although after the Russian revolution. They published two I poked around in a variety of mud-holes, I always volumes of their journal before it died amid the looked at them one at a time and did not look for chaos of revolution and civil war. Outside Russia connections between them. For me, number theory the journal was not only unknown but unobtain- and quantum theory were separate worlds with able. Besicovitch left Russia in 1925 and arrived at separate beauties. I did not look at them as Weyl Copenhagen, where he learned about the famous did, hoping to find clues to a grand design. Kakeya problem that he had solved five years ear- Weyl’s great contribution to the quantum theory lier. He published the solution again, this time in of radiation was his invention of gauge fields. The English in the Mathematische Zeitschrift. The Ka- idea of gauge fields had a curious history. Weyl keya problem as Kakeya proposed it was a typical invented them in 1918 as classical fields in his frog problem, a concrete problem without much unified theory of general relativity and electromag- connection with the rest of mathematics. Besico- netism, [7]. He called them “gauge fields” because vitch gave it an elegant and deep solution, which they were concerned with the non-integrability revealed a connection with general theorems about of measurements of length. His unified theory the structure of sets of points in a plane. was promptly and publicly rejected by Einstein. The Besicovitch style is seen at its finest in After this thunderbolt from on high, Weyl did his three classic papers with the title, “On the not abandon his theory but moved on to other fundamental geometric properties of linearly things. The theory had no experimental conse- measurable plane sets of points”, published in quences that could be tested. Then in 1929, after Mathematische Annalen in the years 1928, 1938, quantum mechanics had been invented by others, and 1939. In these papers he proved that every Weyl realized that his gauge fields fitted far bet- linearly measurable set in the plane is divisible ter into the quantum world than they did into the
216 Notices of the AMS Volume 56, Number 2 classical world, [8]. All astronomy, a golden that he needed to do, to age for Baconian travel- change a classical gauge ers picking up facts, for into a quantum gauge, frogs exploring small was to change real patches of the swamp numbers into complex in which we live. Dur- numbers. In quantum ing these fifty years, the mechanics, every quan- frogs accumulated a de- tum of electric charge tailed knowledge of a carries with it a com- large variety of cosmic plex wave function with structures and a large a phase, and the gauge variety of particles and field is concerned with interactions. As the the non-integrability of Chen Ning (Frank) Yuri Manin exploration of new ter- measurements of phase. Yang ritories continued, the The gauge field could universe became more then be precisely identified with the electromag- complicated. Instead of a grand design displaying netic potential, and the law of conservation of the simplicity and beauty of Weyl’s mathematics, charge became a consequence of the local phase the explorers found weird objects such as quarks invariance of the theory. and gamma-ray bursts, weird concepts such as su- Weyl died four years after he returned from persymmetry and multiple universes. Meanwhile, Princeton to Zürich, and I wrote his obituary for the mathematics was also becoming more compli- journal Nature, [3]. “Among all the mathematicians cated, as exploration continued into the phenom- who began their working lives in the twentieth ena of chaos and many other new areas opened century,” I wrote, “Hermann Weyl was the one who by electronic computers. The mathematicians made major contributions in the greatest number discovered the central mystery of computability,University. Northwestern of courtesy Manin Y. of Photo Brook. Stony SUNY of courtesy Yang F. of Photo of different fields. He alone could stand compari- the conjecture represented by the statement P is son with the last great universal mathematicians not equal to NP. The conjecture asserts that there of the nineteenth century, Hilbert and Poincaré. exist mathematical problems which can be quickly So long as he was alive, he embodied a living con- solved in individual cases but cannot be solved tact between the main lines of advance in pure by a quick algorithm applicable to all cases. The mathematics and in theoretical physics. Now he most famous example of such a problem is the is dead, the contact is broken, and our hopes of traveling salesman problem, which is to find the comprehending the physical universe by a direct shortest route for a salesman visiting a set of cit- use of creative mathematical imagination are for ies, knowing the distance between each pair. All the time being ended.” I mourned his passing, but the experts believe that the conjecture is true, and I had no desire to pursue his dream. I was happy that the traveling salesman problem is an example to see pure mathematics and physics marching of a problem that is P but not NP. But nobody has ahead in opposite directions. even a glimmer of an idea how to prove it. This is The obituary ended with a sketch of Weyl as a mystery that could not even have been formu- a human being: “Characteristic of Weyl was an lated within the nineteenth-century mathematical aesthetic sense which dominated his thinking on universe of Hermann Weyl. all subjects. He once said to me, half joking, ‘My work always tried to unite the true with the beau- Frank Yang and Yuri Manin tiful; but when I had to choose one or the other, The last fifty years have been a hard time for I usually chose the beautiful’. This remark sums birds. Even in hard times, there is work for birds up his personality perfectly. It shows his profound to do, and birds have appeared with the courage to faith in an ultimate harmony of Nature, in which tackle it. Soon after Weyl left Princeton, Frank Yang the laws should inevitably express themselves in arrived from Chicago and moved into Weyl’s old a mathematically beautiful form. It shows also house. Yang took Weyl’s place as the leading bird his recognition of human frailty, and his humor, among my generation of physicists. While Weyl which always stopped him short of being pomp- was still alive, Yang and his student Robert Mills ous. His friends in Princeton will remember him discovered the Yang-Mills theory of non-Abelian as he was when I last saw him, at the Spring Dance gauge fields, a marvelously elegant extension of of the Institute for Advanced Study last April: a Weyl’s idea of a gauge field, [11]. Weyl’s gauge field big jovial man, enjoying himself splendidly, his was a classical quantity, satisfying the commuta- cheerful frame and his light step giving no hint of tive law of multiplication. The Yang-Mills theory his sixty-nine years.” had a triplet of gauge fields which did not com- The fifty years after Weyl’s death were a golden mute. They satisfied the commutation rules of the age of experimental physics and observational three components of a quantum mechanical spin,
February 2009 Notices of the AMS 217 which are generators of the simplest non-Abelian the worlds of geometry and dynamics with his Lie algebra A2. The theory was later generalized so concept of fluxions, nowadays called calculus. In that the gauge fields could be generators of any the nineteenth century Boole linked the worlds finite-dimensional Lie algebra. With this general- of logic and algebra with his concept of symbolic ization, the Yang-Mills gauge field theory provided logic, and Riemann linked the worlds of geometry the framework for a model of all the known par- and analysis with his concept of Riemann sur- ticles and interactions, a model that is now known faces. Coordinates, fluxions, symbolic logic, and as the Standard Model of particle physics. Yang put Riemann surfaces are all metaphors, extending the finishing touch to it by showing that Einstein’s the meanings of words from familiar to unfamiliar theory of gravitation fits into the same framework, contexts. Manin sees the future of mathematics with the Christoffel three-index symbol taking the as an exploration of metaphors that are already role of gauge field, [10]. visible but not yet understood. The deepest such In an appendix to his 1918 paper, added in 1955 metaphor is the similarity in structure between for the volume of selected papers published to number theory and physics. In both fields he sees celebrate his seventieth birthday, Weyl expressed tantalizing glimpses of parallel concepts, symme- his final thoughts about gauge field theories (my tries linking the continuous with the discrete. He translation), [12]: “The strongest argument for my looks forward to a unification which he calls the theory seemed to be this, that gauge invariance quantization of mathematics. was related to conservation of electric charge in “Manin disagrees with the Baconian story, that the same way as coordinate invariance was related Hilbert set the agenda for the mathematics of the to conservation of energy and momentum.” Thirty twentieth century when he presented his famous years later Yang was in Zürich for the celebration list of twenty-three unsolved problems to the In- of Weyl’s hundredth birthday. In his speech, [12], ternational Congress of Mathematicians in Paris Yang quoted this remark as evidence of Weyl’s de- in 1900. According to Manin, Hilbert’s problems votion to the idea of gauge invariance as a unifying were a distraction from the central themes of principle for physics. Yang then went on, “Sym- mathematics. Manin sees the important advances metry, Lie groups, and gauge invariance are now in mathematics coming from programs, not from recognized, through theoretical and experimental problems. Problems are usually solved by apply- developments, to play essential roles in determin- ing old ideas in new ways. Programs of research ing the basic forces of the physical universe. I have are the nurseries where new ideas are born. He called this the principle that symmetry dictates in- sees the Bourbaki program, rewriting the whole of teraction.” This idea, that symmetry dictates inter- mathematics in a more abstract language, as the action, is Yang’s generalization of Weyl’s remark. source of many of the new ideas of the twentieth Weyl observed that gauge invariance is intimately century. He sees the Langlands program, unifying connected with physical conservation laws. Weyl number theory with geometry, as a promising could not go further than this, because he knew source of new ideas for the twenty-first. People only the gauge invariance of commuting Abelian who solve famous unsolved problems may win big fields. Yang made the connection much stronger prizes, but people who start new programs are the by introducing non-Abelian gauge fields. With real pioneers.” non-Abelian gauge fields generating nontrivial Lie The Russian version of Mathematics as Meta- algebras, the possible forms of interaction between phor contains ten chapters that were omitted from fields become unique, so that symmetry dictates the English version. The American Mathematical interaction. This idea is Yang’s greatest contribu- Society decided that these chapters would not be tion to physics. It is the contribution of a bird, of interest to English language readers. The omis- flying high over the rain forest of little problems sions are doubly unfortunate. First, readers of the in which most of us spend our lives. English version see only a truncated view of Manin, Another bird for whom I have a deep respect who is perhaps unique among mathematicians in is the Russian mathematician Yuri Manin, who his broad range of interests extending far beyond recently published a delightful book of essays with mathematics. Second, we see a truncated view of the title Mathematics as Metaphor [5]. The book Russian culture, which is less compartmentalized was published in Moscow in Russian, and by the than English language culture, and brings math- American Mathematical Society in English. I wrote ematicians into closer contact with historians and a preface for the English version, and I give you artists and poets. here a short quote from my preface. “Mathematics as Metaphor is a good slogan for birds. It means John von Neumann that the deepest concepts in mathematics are Another important figure in twentieth century those which link one world of ideas with another. mathematics was John von Neumann. Von Neu- In the seventeenth century Descartes linked the mann was a frog, applying his prodigious tech- disparate worlds of algebra and geometry with nical skill to solve problems in many branches his concept of coordinates, and Newton linked of mathematics and physics. He began with the
218 Notices of the AMS Volume 56, Number 2 foundations of mathematics. He found the first divide the atmosphere at any moment into stable satisfactory set of axioms for set-theory, avoiding regions and unstable regions. Stable regions we the logical paradoxes that Cantor had encountered can predict. Unstable regions we can control.” Von in his attempts to deal with infinite sets and Neumann believed that any unstable region could infinite numbers. Von Neumann’s axioms were be pushed by a judiciously applied small perturba- used by his bird friend Kurt Gödel a few years later tion so that it would move in any desired direction. to prove the existence of undecidable propositions The small perturbation would be applied by a fleet in mathematics. Gödel’s theorems gave birds a new of airplanes carrying smoke generators, to absorb vision of mathematics. After Gödel, mathematics sunlight and raise or lower temperatures at places was no longer a single structure tied where the perturbation would be most together with a unique concept of effective. In particular, we could stop truth, but an archipelago of structures an incipient hurricane by identifying with diverse sets of axioms and di- the position of an instability early verse notions of truth. Gödel showed enough, and then cooling that patch that mathematics is inexhaustible. No of air before it started to rise and form matter which set of axioms is chosen a vortex. Von Neumann, speaking in as the foundation, birds can always 1950, said it would take only ten years find questions that those axioms can- to build computers powerful enough not answer. to diagnose accurately the stable and Von Neumann went on from the unstable regions of the atmosphere. foundations of mathematics to the Then, once we had accurate diagno- foundations of quantum mechanics. sis, it would take only a short time To give quantum mechanics a firm for us to have control. He expected mathematical foundation, he created John von Neumann that practical control of the weather a magnificent theory of rings of op- would be a routine operation within erators. Every observable quantity is the decade of the 1960s. represented by a linear operator, and Von Neumann, of course, was the peculiarities of quantum behav- wrong. He was wrong because he ior are faithfully represented by the did not know about chaos. We now algebra of operators. Just as Newton know that when the motion of the invented calculus to describe classi- atmosphere is locally unstable, it is cal dynamics, von Neumann invented very often chaotic. The word “chaotic” rings of operators to describe quan- means that motions that start close tum dynamics. together diverge exponentially from Von Neumann made fundamental each other as time goes on. When the contributions to several other fields, motion is chaotic, it is unpredictable, especially to game theory and to the and a small perturbation does not design of digital computers. For the Mary Cartwright move it into a stable motion that canCambridge. College, Girton Fellows, and Mistress The of courtesy Cartright Mary of Photograph last ten years of his life, he was deeply be predicted. A small perturbation involved with computers. He was so will usually move it into another cha- strongly interested in computers that he decided otic motion that is equally unpredictable. So von not only to study their design but to build one with Neumann’s strategy for controlling the weather real hardware and software and use it for doing fails. He was, after all, a great mathematician but science. I have vivid memories of the early days of a mediocre meteorologist. von Neumann’s computer project at the Institute Edward Lorenz discovered in 1963 that the so- for Advanced Study in Princeton. At that time he lutions of the equations of meteorology are often had two main scientific interests, hydrogen bombs chaotic. That was six years after von Neumann and meteorology. He used his computer during the died. Lorenz was a meteorologist and is generally night for doing hydrogen bomb calculations and regarded as the discoverer of chaos. He discovered during the day for meteorology. Most of the people the phenomena of chaos in the meteorological con- hanging around the computer building in daytime text and gave them their modern names. But in fact were meteorologists. Their leader was Jule Char- I had heard the mathematician Mary Cartwright, ney. Charney was a real meteorologist, properly who died in 1998 at the age of 97, describe the humble in dealing with the inscrutable mysteries same phenomena in a lecture in Cambridge in 1943, of the weather, and skeptical of the ability of the twenty years before Lorenz discovered them. She computer to solve the mysteries. John von Neu- called the phenomena by different names, but they mann was less humble and less skeptical. I heard were the same phenomena. She discovered them in von Neumann give a lecture about the aims of his the solutions of the van der Pol equation which de- project. He spoke, as he always did, with great con- scribe the oscillations of a nonlinear amplifier, [2]. fidence. He said, “The computer will enable us to The van der Pol equation was important in World
February 2009 Notices of the AMS 219 War II because nonlinear amplifiers fed power from the 1930s out of a drawer and dusted it off. to the transmitters in early radar systems. The The lecture was about rings of operators, a subject transmitters behaved erratically, and the Air Force that was new and fashionable in the 1930s. Noth- blamed the manufacturers for making defective ing about unsolved problems. Nothing about the amplifiers. Mary Cartwright was asked to look into future. Nothing about computers, the subject that the problem. She showed that the manufacturers we knew was dearest to von Neumann’s heart. were not to blame. She showed that the van der Pol He might at least have had something new and equation was to blame. The solutions of the van der exciting to say about computers. The audience in Pol equation have precisely the chaotic behavior the concert hall became restless. Somebody said that the Air Force was complaining about. I heard in a voice loud enough to be heard all over the all about chaos from Mary Cartwright seven years hall, “Aufgewärmte Suppe”, which is German for before I heard von Neumann talk about weather “warmed-up soup”. In 1954 the great majority of control, but I was not far-sighted enough to make mathematicians knew enough German to under- the connection. It never entered my head that the stand the joke. Von Neumann, deeply embarrassed, erratic behavior of the van der Pol equation might brought his lecture to a quick end and left the hall have something to do with meteorology. If I had without waiting for questions. been a bird rather than a frog, I would probably have seen the connection, and I might have saved Weak Chaos von Neumann a lot of trouble. If he had known If von Neumann had known about chaos when he about chaos in 1950, he would probably have spoke in Amsterdam, one of the unsolved prob- thought about it deeply, and he would have had lems that he might have talked about was weak something important to say about it in 1954. chaos. The problem of weak chaos is still unsolved Von Neumann got into trouble at the end of fifty years later. The problem is to understand his life because he was really a frog but everyone why chaotic motions often remain bounded and expected him to fly like a bird. In 1954 there was do not cause any violent instability. A good ex- an International Congress of Mathematicians in ample of weak chaos is the orbital motions of the Amsterdam. These congresses happen only once planets and satellites in the solar system. It was in four years and it is a great honor to be invited to discovered only recently that these motions are speak at the opening session. The organizers of the chaotic. This was a surprising discovery, upsetting Amsterdam congress invited von Neumann to give the traditional picture of the solar system as the the keynote speech, expecting him to repeat the act prime example of orderly stable motion. The math- that Hilbert had performed in Paris in 1900. Just as ematician Laplace two hundred years ago thought Hilbert had provided a list of unsolved problems he had proved that the solar system is stable. It to guide the development of mathematics for the now turns out that Laplace was wrong. Accurate first half of the twentieth century, von Neumann numerical integrations of the orbits show clearly was invited to do the same for the second half of that neighboring orbits diverge exponentially. It the century. The title of von Neumann’s talk was seems that chaos is almost universal in the world announced in the program of the congress. It was of classical dynamics. “Unsolved Problems in Mathematics: Address by Chaotic behavior was never suspected in the Invitation of the Organizing Committee”. After the solar system before accurate long-term integra- congress was over, the complete proceedings were tions were done, because the chaos is weak. Weak published, with the texts of all the lectures except chaos means that neighboring trajectories diverge this one. In the proceedings there is a blank page exponentially but never diverge far. The divergence with von Neumann’s name and the title of his talk. begins with exponential growth but afterwards Underneath, it says, “No manuscript of this lecture remains bounded. Because the chaos of the plan- was available.” etary motions is weak, the solar system can survive What happened? I know what happened, be- for four billion years. Although the motions are cause I was there in the audience, at 3:00 p.m. chaotic, the planets never wander far from their on Thursday, September 2, 1954, in the Concert- customary places, and the system as a whole does gebouw concert hall. The hall was packed with not fly apart. In spite of the prevalence of chaos, mathematicians, all expecting to hear a brilliant the Laplacian view of the solar system as a perfect lecture worthy of such a historic occasion. The piece of clockwork is not far from the truth. lecture was a huge disappointment. Von Neumann We see the same phenomena of weak chaos in had probably agreed several years earlier to give the domain of meteorology. Although the weather a lecture about unsolved problems and had then in New Jersey is painfully chaotic, the chaos has forgotten about it. Being busy with many other firm limits. Summers and winters are unpredict- things, he had neglected to prepare the lecture. ably mild or severe, but we can reliably predict Then, at the last moment, when he remembered that the temperature will never rise to 45 degrees that he had to travel to Amsterdam and say some- Celsius or fall to minus 30, extremes that are thing about mathematics, he pulled an old lecture often exceeded in India or in Minnesota. There
220 Notices of the AMS Volume 56, Number 2 is no conservation law of physics that forbids solve old problems that were previously unsolvable. temperatures from rising as high in New Jersey Second, the string theorists think of themselves as in India, or from falling as low in New Jersey as physicists rather than mathematicians. They as in Minnesota. The weakness of chaos has been believe that their theory describes something real essential to the long-term survival of life on this in the physical world. And third, there is not yet planet. Weak chaos gives us a challenging variety any proof that the theory is relevant to physics. of weather while protecting us from fluctuations The theory is not yet testable by experiment. The so severe as to endanger our existence. Chaos theory remains in a world of its own, detached remains mercifully weak for reasons that we do from the rest of physics. String theorists make not understand. That is another unsolved problem strenuous efforts to deduce consequences of the for young frogs in the audience to take home. I theory that might be testable in the real world, so challenge you to understand the reasons why the far without success. chaos observed in a great diversity of dynamical My colleagues Ed Witten and Juan Maldacena systems is generally weak. and others who created string theory are birds, The subject of chaos is characterized by an flying high and seeing grand visions of distant abundance of quantitative data, an unending sup- ranges of mountains. The thousands of hum- ply of beautiful pictures, and a shortage of rigor- bler practitioners of string theory in universities ous theorems. Rigorous theorems are the best way around the world are frogs, exploring fine details to give a subject intellectual depth and precision. of the mathematical structures that birds first Until you can prove rigorous theorems, you do not saw on the horizon. My anxieties about string fully understand the meaning of your concepts. theory are sociological rather than scientific. It is In the field of chaos I know only one rigorous a glorious thing to be one of the first thousand theorem, proved by Tien-Yien Li and Jim Yorke in string theorists, discovering new connections and 1975 and published in a short paper with the title, pioneering new methods. It is not so glorious to “Period Three Implies Chaos”, [4]. The Li-Yorke be one of the second thousand or one of the tenth paper is one of the immortal gems in the literature thousand. There are now about ten thousand of mathematics. Their theorem concerns nonlinear string theorists scattered around the world. This maps of an interval onto itself. The successive posi- is a dangerous situation for the tenth thousand tions of a point when the mapping is repeated can and perhaps also for the second thousand. It may be considered as the orbit of a classical particle. happen unpredictably that the fashion changes An orbit has period N if the point returns to its and string theory becomes unfashionable. Then it original position after N mappings. An orbit is could happen that nine thousand string theorists defined to be chaotic, in this context, if it diverges lose their jobs. They have been trained in a narrow from all periodic orbits. The theorem says that if a specialty, and they may be unemployable in other single orbit with period three exists, then chaotic fields of science. orbits also exist. The proof is simple and short. To Why are so many young people attracted to my mind, this theorem and its proof throw more string theory? The attraction is partly intellectual. light than a thousand beautiful pictures on the String theory is daring and mathematically elegant. basic nature of chaos. The theorem explains why But the attraction is also sociological. String theory chaos is prevalent in the world. It does not explain is attractive because it offers jobs. And why are why chaos is so often weak. That remains a task so many jobs offered in string theory? Because for the future. I believe that weak chaos will not string theory is cheap. If you are the chairperson be understood in a fundamental way until we can of a physics department in a remote place without prove rigorous theorems about it. much money, you cannot afford to build a modern laboratory to do experimental physics, but you can String Theorists afford to hire a couple of string theorists. So you I would like to say a few words about string theory. offer a couple of jobs in string theory, and you Few words, because I know very little about string have a modern physics department. The tempta- theory. I never took the trouble to learn the subject tions are strong for the chairperson to offer such or to work on it myself. But when I am at home at the jobs and for the young people to accept them. Institute for Advanced Study in Princeton, I am sur- This is a hazardous situation for the young people rounded by string theorists, and I sometimes listen and also for the future of science. I am not say- to their conversations. Occasionally I understand a ing that we should discourage young people from little of what they are saying. Three things are clear. working in string theory if they find it exciting. I First, what they are doing is first-rate mathemat- am saying that we should offer them alternatives, ics. The leading pure mathematicians, people like so that they are not pushed into string theory by Michael Atiyah and Isadore Singer, love it. It has economic necessity. opened up a whole new branch of mathematics, Finally, I give you my own guess for the future with new ideas and new problems. Most remark- of string theory. My guess is probably wrong. I ably, it gave the mathematicians new methods to have no illusion that I can predict the future. I tell
February 2009 Notices of the AMS 221 you my guess, just to give you something to think Jung, is a mental image rooted in a collective un- about. I consider it unlikely that string theory will conscious that we all share. The intense emotions turn out to be either totally successful or totally that archetypes carry with them are relics of lost useless. By totally successful I mean that it is a memories of collective joy and suffering. Manin is complete theory of physics, explaining all the de- saying that we do not need to accept Jung’s theory tails of particles and their interactions. By totally as true in order to find it illuminating. useless I mean that it remains a beautiful piece of More than thirty years ago, the singer Monique pure mathematics. My guess is that string theory Morelli made a recording of songs with words by will end somewhere between complete success Pierre MacOrlan. One of the songs is La Ville Morte, and failure. I guess that it will be like the theory the dead city, with a haunting melody tuned to of Lie groups, which Sophus Lie created in the Morelli’s deep contralto, with an accordion singing nineteenth century as a mathematical framework counterpoint to the voice, and with verbal images for classical physics. So long as physics remained of extraordinary intensity. Printed on the page, the classical, Lie groups remained a failure. They were words are nothing special: a solution looking for a problem. But then, fifty “En pénétrant dans la ville morte, years later, the quantum revolution transformed Je tenait Margot par le main… physics, and Lie algebras found their proper place. Nous marchions de la nécropole, They became the key to understanding the central Les pieds brisés et sans parole, role of symmetries in the quantum world. I expect Devant ces portes sans cadole, that fifty or a hundred years from now another Devant ces trous indéfinis, revolution in physics will happen, introducing new Devant ces portes sans parole concepts of which we now have no inkling, and the Et ces poubelles pleines de cris”. new concepts will give string theory a new mean- “As we entered the dead city, I held Margot by ing. After that, string theory will suddenly find the hand…We walked from the graveyard on our its proper place in the universe, making testable bruised feet, without a word, passing by these statements about the real world. I warn you that doors without locks, these vaguely glimpsed holes, this guess about the future is probably wrong. It these doors without a word, these garbage cans has the virtue of being falsifiable, which accord- full of screams.” ing to Karl Popper is the hallmark of a scientific I can never listen to that song without a dispro- statement. It may be demolished tomorrow by portionate intensity of feeling. I often ask myself some discovery coming out of the Large Hadron why the simple words of the song seem to resonate Collider in Geneva. with some deep level of unconscious memory, as Manin Again if the souls of the departed are speaking through Morelli’s music. And now unexpectedly in Manin’s To end this talk, I come back to Yuri Manin and book I find an answer to my question. In his chap- his book Mathematics as Metaphor. The book ter, “The Empty City Archetype”, Manin describes is mainly about mathematics. It may come as a how the archetype of the dead city appears again surprise to Western readers that he writes with and again in the creations of architecture, litera- equal eloquence about other subjects such as the ture, art and film, from ancient to modern times, collective unconscious, the origin of human lan- ever since human beings began to congregate in guage, the psychology of autism, and the role of cities, ever since other human beings began to the trickster in the mythology of many cultures. congregate in armies to ravage and destroy them. To his compatriots in Russia, such many-sided The character who speaks to us in MacOrlan’s song interests and expertise would come as no surprise. is an old soldier who has long ago been part of an Russian intellectuals maintain the proud tradition army of occupation. After he has walked with his of the old Russian intelligentsia, with scientists wife through the dust and ashes of the dead city, and poets and artists and musicians belonging to he hears once more: a single community. They are still today, as we see them in the plays of Chekhov, a group of idealists “Chansons de charme d’un clairon bound together by their alienation from a super- Qui fleurissait une heure lointaine stitious society and a capricious government. In Dans un rêve de garnison”. Russia, mathematicians and composers and film- “The magic calls of a bugle that came to life for producers talk to one another, walk together in the an hour in an old soldier’s dream”. snow on winter nights, sit together over a bottle of The words of MacOrlan and the voice of Mo- wine, and share each others’ thoughts. relli seem to be bringing to life a dream from our Manin is a bird whose vision extends far be- collective unconscious, a dream of an old soldier yond the territory of mathematics into the wider wandering through a dead city. The concept of the landscape of human culture. One of his hobbies collective unconscious may be as mythical as the is the theory of archetypes invented by the Swiss concept of the dead city. Manin’s chapter describes psychologist Carl Jung. An archetype, according to the subtle light that these two possibly mythical
222 Notices of the AMS Volume 56, Number 2 concepts throw upon each other. He describes the collective unconscious as an irrational force that powerfully pulls us toward death and destruction. The archetype of the dead city is a distillation of the agonies of hundreds of real cities that have been destroyed since cities and marauding armies 0ROFESSOR OF -ATHEMATICS were invented. Our only way of escape from the /PERATIONS 2ESEARCH insanity of the collective unconscious is a collec- 4HE $EPARTMENT OF -ATHEMATICS WWWMATHETHZCH AT %4( :~RICH tive consciousness of sanity, based upon hope INVITES APPLICATIONS FOR A FACULTY POSITION IN MATHEMATICS OF OPERATIONS and reason. The great task that faces our contem- RESEARCH 4HE DUTIES OF THE FUTURE PROFESSOR WHO WILL BE A MEMBER OF THE $EPARTMENT OF -ATHEMATICS INCLUDE TEACHING AND RESEARCH IN THE porary civilization is to create such a collective MATHEMATICS OF OPERATIONS RESEARCH AND RELATED AREAS 4HE PERSPEC consciousness. TIVE OF THE POSITION INCLUDES THE HEADING OF THE )NSTITUTE FOR /PERATIONS 2ESEARCH AT %4( :URICH References 7E ARE SEEKING CANDIDATES WITH AN INTERNATIONALLY RECOGNIZED RESEARCH RECORD IN MATHEMATICS RELATED TO OPERATIONS RESEARCH AND WITH PROVEN [1] M. J. Bertin et al., Pisot and Salem Numbers, ABILITY TO DIRECT RESEARCH OF HIGH QUALITY %XPERTISE AND A STRONG BACK Birkhäuser Verlag, Basel, 1992. GROUND IN OPTIMIZATION ANDOR COMPUTATION WILL BE ESPECIALLY APPRECI [2] M. L. Cartwright and J. E. Littlewood, On non- ATED 7ILLINGNESS TO TEACH AT ALL UNIVERSITY LEVELS AND TO COLLABORATE WITH COLLEAGUES FROM ENGINEERING AND INDUSTRY IS EXPECTED linear differential equations of the second order, I, Jour. London Math. Soc. 20 (1945), 180–189. 4OGETHER WITH THE COLLEAGUES FROM THE DEPARTMENT THE NEW PROFES SOR WILL BE RESPONSIBLE FOR UNDERGRADUATE COURSES IN MATHE MATICS [3] Freeman Dyson, Prof. Hermann Weyl, For.Mem.R.S., AT %4( :URICH FOR STUDENTS OF MATHEMATICS ENGINEERING AND NATURAL Nature 177 (1956), 457–458. SCIENCES AND FOR GRADUATE COURSES IN THE PROGRAMMES -3C IN !PPLIED [4] Tien-Yien Li and James A. Yorke, Period three implies -ATHEMATICS -3C IN #OMPUTATIONAL 3CIENCE AND %NGINEERING -3C IN chaos, Amer. Math. Monthly 82 (1975), 985–992. 3TATISTICS AND -3C IN 1UANTITATIVE &INANCE