Notices of the American Mathematical Society ISSN 0002-9920
ABCD springer.com New and Noteworthy from Springer
Random Curves Number Story of the American Mathematical Society AVAILABLE Journeys of a From Counting to ONLINE April 2008 Volume 55, Number 4 Mathematician Cryptography N. Koblitz , University of P. M. Higgins , University Journal of Washington, Seattle, WA, of Essex, UK Geometric USA Numbers have fascinated These autobiographical people for centuries. They Analysis Mathematics and memoirs of Neal Koblitz, are familiar to everyone, coinventor of one of the two most popular forms forming a central pillar of our understanding of Editor-in-Chief: S. G. Krantz Voting of encryption and digital signature, cover many the world, yet the number system was not JGA is a high-quality journal devoted to
topics besides his own personal career in presented to us “gift-wrapped” but, rather, was publishing important new results at the interface page 448 mathematics and cryptography - travels to the developed over millennia. Peter Higgins distills of analysis, geometry and partial diff erential Soviet Union, Latin America, Vietnam and centuries of work into one delightful narrative equations. Founded 17 years ago by its current elsewhere, political activism, and academic that celebrates the mystery of numbers and Editor-in-Chief, Steven G. Krantz, the journal has controversies relating to math education, the explains how diff erent kinds of numbers arose maintained standards of innovation and C. P. Snow two-culture problem, and mistreat- and why they are useful. Full of historical Henri’s Crystal Ball excellence. JGA accepts papers in English, French, ment of women in academia. snippets and interesting examples, the book and German and has a strong international fl avor. ranges from simple number puzzles and magic page 458 2008. X, 392 p. 28 illus., 18 in color. Hardcover tricks, to showing how ideas about numbers ISSN 1050-6926 (print) ISBN 978-3-540-74077-3 7 $49.95 relate to real-world problems. ISSN 1559-002X (electronic) Journal No. 12220 The Mathematical 2008. XII, 324 p. 33 illus. Hardcover Victor L. Klee 3RD ISBN 978-1-84800-000-1 7 $25.00 Theory of Finite EDITION Mathematical Element Methods 2ND (1925–2007) Universal Algebra Physiology EDITION S. C. Brenner, Louisiana ND G. Grätzer , University of 2 J. Keener, University of Utah, page 467 EDITION State University, Baton Rouge, LA, USA; Manitoba, Winnipeg, MB, Canada Salt Lake City, UT, USA; J. Sneyd, L. R. Scott, University of Chicago, IL, USA Massey University, Auckland, New Zealand; Universal Algebra has become the The book will be useful to mathematicians as most authoritative, consistently relied on text in Mathematical Physiology provides an well as engineers and physical scientists and can a fi eld with applications in other branches of introduction into physiology using the tools and be used for a course that provides an introduc- algebra as well as other fi elds such as combina- perspectives of mathematical modeling and tion to basic functional analysis, approximation torics, geometry and computer science. analysis. This second edition provides coverage theory, and numerical analysis, while building of more recent models in the chapters, more upon and applying basic techniques of real This second edition includes new appendices stochastic approaches, including single channel variable theory. This expanded third edition (with contributions from B. Jonnson, analysis and Fokker-Plank and Langevin contains new chapters on additive Schwarz R. Quackenbush, W. Taylor, and G. Wenzel) as well equations and includes new chapters on Calcium preconditioners and adaptive meshes, and new as an extensive bibliography of over 1,250 papers Dynamics, Neuroendocrine Cells and Regulation exercises have also been added throughout. and books. of Cell Function. 2nd ed. 1979. 2nd printing 2008. Approx. 605 p. Review of the Second Edition 7 [ is is] a well- Review of the First Edition 7 Probably the best Volume 55, Number 4, Pages 441–552, April 2008 10 illus. Softcover written book. A great deal of material is covered, book ever written on the subject of mathematical ISBN 978-0-387-77486-2 7 $79.95 and students who have taken the trouble to physiology....It contains numerous exercises, master at least some of the advanced material in enough to keep even the most diligent student the later chapters would be well placed to embark busy...highly recommended to anybody interested on research in the area. 7 ZENTRALBLATT MATH in mathematical or theoretical physiology. Mathematical Reviews 3rd ed. 2008. XVIII, 402 p. 50 illus. (Texts in Applied 7 Mathematics, Volume 15) Hardcover 2nd ed. 2008. Approx. 1000 p. Hardcover ISBN 978-0-387-75933-3 7 $69.95 ISBN 978-0-387-75846-6 7 approx. $100
Sign Up for New Book Alerts at springer.com
Easy Ways to Order for the Americas 7 Write: Springer Order Department, PO Box 2485, Secaucus, NJ 07096-2485, USA 7 Call: (toll free) 1-800-SPRINGER 7 Fax: 1-201-348-4505 7 Email: [email protected] or for outside the Americas 7 Write: Springer Distribution Center GmbH, Haberstrasse 7, 69126 Heidelberg, Germany 7 Call: +49 (0) 6221-345-4301 7 Fax: +49 (0) 6221-345-4229 7 Email: [email protected] 7 Prices are subject to change without notice. All prices are net prices. 013575x Chaos in the weak stability boundary (see page 549)
Trim: 8.25" x 10.75" 112 pages on 40 lb Cougar Opaque • Spine: 1/4" • Print Cover on 9pt Carolina ,!4%8
,!4%8 ,!4%8
Pro
New & Forthcoming from Birkhäuser
Integrable Systems in Selfdual Gauge Field Vortices The Center and Cyclicity Celestial Mechanics An Analytical Approach Problems DIARMUID Ó MATHÚNA, Dublin Institute for Advanced GABRIELLA TARANTELLO, Università di Roma ‘Tor A Computational Approach Studies, Dublin, Ireland Vergata’, Italy VALERY ROMANOVSKI, University of Maribor, Slovenia; This work focuses on the two integrable systems of This monograph discusses specifi c examples DOUGLAS SHAFER, University of North Carolina at Charlotte, NC, USA relevance to celestial mechanics, both of which date of selfdual gauge fi eld structures, including the back to the 18th century. Under discussion are the Chern–Simons model, the abelian–Higgs model, and Using a computational algebra approach, this work Kepler (two-body) problem and the Euler (two-fi xed Yang–Mills gauge fi eld theory. addresses the center and cyclicity problems as center) problem, the latter being the more complex The author builds a foundation for gauge theory and behaviors of dynamical systems and families of and more instructive, as it exhibits a richer and more selfdual vortices by introducing the basic mathematical polynomial systems. The text fi rst lays the groundwork varied solution structure. language of gauge theory and formulating examples of for computational algebra and gives the main properties The present work shows that the solutions to all of Chern–Simons–Higgs theories (in both abelian and of ideals in polynomial rings and their affi ne varieties these integrable problems can be put in a form that non-abelian settings). Thereafter, the electroweak followed by a discussion on the theory of normal forms admits the general representation of the orbits and theory and self-gravitating electroweak strings are and stability. The center and cyclicity problems are follows a defi nite shared pattern. examined. The fi nal chapters treat elliptic problems then explored in detail. Containing exercises as well involving Chern–Simmons models, concentration- as historical notes and algorithms, this self-contained 2008/APPROX. 240 PP./HARDCOVER compactness principles, and Maxwell–Chern–Simons text is suitable for an advanced graduate course in the ISBN 9780817640965/$89.95 TENT. vortices. Many open questions still remain in the fi eld subject as well as a reference for researchers. PROGRESS IN MATHEMATICAL PHYSICS, VOL. 51 and are examined in this work in connection with Liouville-type equations and systems. 2008/APPROX. 300 PP., 5 ILLUS./SOFTCOVER ISBN 9780817647261/$59.95 TENT. The Theory of the Top The goal of this text is to form an understanding of Volume I: Introduction to the Kinematics selfdual solutions arising in a variety of physical and Kinetics of the Top contexts and thus is ideal for graduate students and Vanishing and Finiteness FELIX KLEIN; ARNOLD SOMMERFELD researchers interested in partial differential equations Results in Geometric Analysis and mathematical physics. Translated by: RAYMOND J. NAGEM and GUIDO SANDRI, A Generalization of the Bochner Technique both Boston University, Boston, MA, USA 2008/APPROX. 340 PP./HARDCOVER STEFANO PIGOLA, Università dell’Insubria, Como, Italy; ISBN 9780817643102/$109.00 MARCO RIGOLI, Università di Milano, Italy; The Theory of the Top, Vol. I is the fi rst of a series of PROGRESS IN NONLINEAR DIFFERENTIAL EQUATIONS ALBERTO G. SETTI, Università dell’Insubria, Como, Italy four self-contained English translations of the classic AND THEIR APPLICATIONS, VOL. 72 and defi nitive treatment of rigid body motion. Volume I This book describes very recent results involving focuses on providing fundamental background material an extensive use of analytical tools in the study of and basic theoretical concepts. Integration and Modern geometrical and topological properties of complete Riemannian manifolds. An extension of the Bochner Key features: Analysis technique to the noncompact setting is analyzed in • Complete and unabridged presentation with recent JOHN J. BENEDETTO, University of Maryland, College detail, yielding conditions which ensure that solutions Park, USA; WOJCIECH CZAJA, University of Maryland, advances and additional notes College Park, USA of geometrically signifi cant differential equations either • Annotations by the translators provide insights into are trivial (vanishing results) or give rise to fi nite- the nature of science and mathematics in the late This textbook begins with the fundamentals of dimensional vector spaces (fi niteness results). 19th century classical real variables and leads to Lebesgue’s defi nition of the integral, the theory of integration 2008/APPROX. 300 PP./HARDCOVER • Each volume interweaves theory and applications and the structure of measures in a measure ISBN 9783764386412/$69.95 PROGRESS IN MATHEMATICS, VOL. 266 2008/APPROX. 300 PP., 43 ILLUS./HARDCOVER theoretical format. The core chapters are followed ISBN 9780817647209/$59.95 TENT. by chapters of a topical nature, which illuminate the authors’ intellectual vision of modern real analysis. Riemannian Topology and Also translated by RAYMOND J. NAGEM and GUIDO SANDRI These topics include weak convergence, the Riesz representation theorem, the Lebesgue differential Geometric Structures on Mathematical Theory of theorem, and self-similar sets and fractals. Manifolds Diff raction Historical remarks, illuminating problems and KRZYSZTOF GALICKI; SANTIAGO SIMANCA, both examples, and appendices on functional analysis and University of New Mexico, NM, USA (Eds.) ARNOLD SOMMERFELD Fourier analysis provide insight into the theory and Contributors: R.L. BRYANT, J. CHEEGER, X. DAI, “[This book]… presents, for the fi rst time in English, its applications. The self-contained and fundamental P. GAUDUCHON, N. HITCHIN, L. KATZARKOV, the strikingly original work of Sommerfeld—which coverage of the theories of integration, differentiation, J. KOLLÁR, C. LEBRUN, P. RUKIMBIRA, S.R. SIMANCA, J. SPARKS, C. VAN COEVERING, and W. ZILLER. marks a milestone in optical theory—enriched with and modern analysis make this text ideal for graduate historical background and technical details.” students in the classroom setting. 2008/APPROX. 310 PP., 50 ILLUS./HARDCOVER —MATHEMATICAL REVIEWS 2008/APPROX. 456 PP., 10 ILLUS./HARDCOVER ISBN 9780817647421/$79.95 TENT. ISBN 9780817643065/$64.95 TENT. PROGRESS IN MATHEMATICS 2004/VII, 157 PP., 38 ILLUS./HARDCOVER BIRKHÄUSER ADVANCED TEXTS ISBN 9780817636043/$64.95 PROGRESS IN MATHEMATICAL PHYSICS, VOL. 35
CALL: 1-800-777-4643 • FAX: (201) 348-4505 • E-MAIL: [email protected] • www.birkhauser.com Please mention promotion #013604 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] 013604x Notices of the American Mathematical Society April 2008
Communications 467 474 WHAT IS...Property A? Piotr Nowak and Guoliang Yu
476 A Photographic Look at the Joint Mathematics Meetings, San Diego, 2008
486 2008 Steele Prizes
491 2008 Conant Prize 481 448208 494 2008 Morgan Prize
497 2008 Cole Prize in Number Theory Features
499 2008 Bôcher Prize 448 Mathematics and Voting 503 2008 Doob Prize Donald G. Saari 505 2008 Eisenbud Prize The mathematical analysis of voting systems, and 508 2008 Award for of aggregation rules in general, shows that they can Distinguished Public yield paradoxes as well as preferences. In this article, Service featured here for Mathematics Awareness Month, the author explains what kind of problems can arise and how they can be mathematically understood. Commentary
445 Opinion: DARPA and Hilbert 458 Henri’s Crystal Ball Allyn Jackson Philip J. Davis and David Mumford 446 Letters to the Editor April 2008 marks the 100th anniversary of an ICM 478 Fly Me to the Moon—A Book lecture by Henri Poincaré on the future of mathematics. Review The authors consider Poincaré’s predictions, both general Reviewed by Shane Ross and specific, in the light of the ensuing century.
481 Is Mathematics Misapplied to the Environment?—A Book 467 Victor L. Klee (1925–2007) Review Reviewed by C. K. R. T. Jones Peter Gritzmann and Bernd Sturmfels Colleagues, students, and others recall the mathematical life of the eminent American mathematician. Notices Departments of the American Mathematical Society About the Cover...... 549 Mathematics People ...... 509 EDITOR: Andy Magid Awards Presented at 2007 ICCM, Deloro and Moczydlowski Awarded ASSOCIATE EDITORS: ASL Sacks Prize, Correction. Daniel Biss, Susanne C. Brenner, Bill Casselman (Graphics Editor), Robert J. Daverman, Susan Mathematics Opportunities...... 511 Friedlander, Robion Kirby, Steven G. Krantz, Lisette de Pillis, Peter Sarnak, Mark Saul, John DMS Workforce Program in the Mathematical Sciences, Project NExT: Swallow, Lisa Traynor New Experiences in Teaching, AP Calculus Readers Sought. SENIOR WRITER and DEPUTY EDITOR: Allyn Jackson Inside the AMS...... 512 MANAGING EDITOR: Sandra Frost From the AMS Public Awareness Office, Deaths of AMS Members. CONTRIBUTING WRITER: Elaine Kehoe PRODUCTION ASSISTANT: Muriel Toupin Reference and Book List...... 514 PRODUCTION: Kyle Antonevich, Stephen Moye, Erin Murphy, Lori Nero, Karen Ouellette, Donna Salter, Mathematics Calendar ...... 522 Deborah Smith, Peter Sykes New Publications Offered by the AMS...... 527 ADVERTISING SALES: Anne Newcomb Classified Advertising...... 537 SUBSCRIPTION INFORMATION: Subscription prices for Volume 55 (2008) are US$465 list; US$372 insti- tutional member; US$279 individual member. (The Meetings and Conferences of the AMS...... 539 subscription price for members is included in the annual dues.) A late charge of 10% of the subscrip- Meetings and Conferences Table of Contents...... 551 tion price will be imposed upon orders received from nonmembers after January 1 of the subscription year. 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; elsewhere—US$88. Subscriptions and orders for AMS publications should be addressed to the American Mathematical Society, P.O. Box 845904, Boston, MA 02284-5904 USA. All orders must be prepaid. ADVERTISING: Notices publishes situations wanted and classified advertising, and display advertising for publishers and academic or scientific organizations. Advertising material or questions may be sent to [email protected] (classified ads) or notices-ads@ ams.org (display ads). SUBMISSIONS: Articles and letters may be sent to From the the editor by email at [email protected], by fax at 405-325-5765, or by postal mail at Department of AMS Secretary 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 Call for Nominations for the George David Birkhoff Prize, the section “Reference and Book List”. Frank Nelson Cole Prizes, and the Levi L. Conant Prize . . 519 NOTICES ON THE AMS WEBSITE: Most of this publica- tion is available electronically through the AMS website, Call for Nominations for the AMS-MAA-SIAM Frank and Brennie the Society’s resource for delivering electronic prod- ucts and services. Use the URL http://www.ams. Morgan Prize ...... 520 org/notices/ to access the Notices on the website. Call for Nominations for the Ruth Lyttle Satter Prize and the [Notices of the American Mathematical Society (ISSN 0002- Albert Leon Whiteman Memorial Prize ...... 521 9920) is published monthly except bimonthly in June/July by the American Mathematical Society at 201 Charles Street, Providence, RI 02904-2294 USA, GST No. 12189 2046 RT****. Periodicals postage paid at Providence, RI, and additional mailing offices. POSTMASTER: Send address change notices 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 above is a technical requirement of the U.S. Postal Service. Tel: 401-455-4000, email: [email protected]. © Copyright 2008 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. Opinion
on strategies for increasing government funding for re- DARPA and Hilbert search. This effort triggered a searching debate within the Society about whether it is ethical for mathematicians to In August last year, a document called 23 Mathematical take research grants from the military. One of the main Challenges appeared on the website of the Defense Ad- advocates against military funding was Fields Medalist vanced Research Projects Agency. DARPA, which operates William Thurston, who during the 1980s served as an AMS under the U.S. Department of Defense, funds high-risk vice president. Panel discussions were held at the Joint research and development projects that could eventually Meetings, and the Notices established a special section to lead to technology of use to the military. The document air debate on the topic. consists of one- or two-sentence summaries of 23 prob- The climax was a referendum put before the AMS lems that fall within the field of mathematics or that could membership in January 1988. One of the motions in the require mathematics for their solution. On the final page, referendum stated: Benjamin Mann, a mathematician and DARPA program manager, states that he is “fully responsible for the selec- The AMS is concerned about the large pro- tion and statement of these challenges” and thanks a few portion of military funding of mathematics other mathematicians for their help. research. There is a tendency to distribute this The background color of the document suggests parch- support through narrowly focused (mission- ment, and the whole appearance conveys an aura of the oriented) programs and to circumvent peer classic and the hallowed. Given that there are exactly 23 review procedures. This situation may skew problems listed, the document seems intended to evoke and ultimately injure mathematics in the David Hilbert’s famous list of 23 problems presented at United States. Therefore those representing the International Congress of Mathematicians in Paris in the AMS are requested to direct their efforts 1900. towards increasing the fraction of non-military But DARPA is offering something Hilbert wasn’t: money. funding for mathematics research, as well as On the same webpage there is a link to a description of towards increasing total research support. a new program called DARPA Mathematical Challenges, With a turnout of voters much larger than for any other which will support work on the 23 problems. This is not AMS election or ballot issue, the referendum passed by a DARPA’s first foray into funding pure mathematics. Over wide margin. (The full text of all five motions in the ref- the past few years, for example, it has funded work on the erendum appeared in the November 1987 Notices, page geometric Langlands program. 1014.) Exactly how much money DARPA will devote to its The AMS membership was not unanimously against Challenges is not specified in the program announcement. military funding for mathematics, however. Many thought According to reports in the Notices by AMS Washington the Society had no business telling mathematicians who Office director Samuel M. Rankin III, over the past several they should and should not take funding from. I remember years the DARPA mathematics budget has hovered around a heated Council debate in which William Browder, then US$16 million per year. According to a report in the August AMS president, expressed his strong opposition to blanket 2007 Notices, the requested budget for the current fiscal condemnations of research grants from the military. He year of 2008 is 50% higher than for 2007, up from an esti- likened such condemnations to a “witch hunt” against mated US$18.0 million to a requested US$27 million. those who opted to take such grants. (Browder, whose Issuing a list of problems to be solved is quite an un- father Earl was persecuted because of his leadership of usual way for a government agency to organize a proposal the American Communist Party, is not one to use the term solicitation in mathematics. Some reactions to it can be “witch hunt” lightly.) found on Internet blogs, such as the n-Category Café Will the AMS Council or other venues within the mathe- (http://golem.ph.utexas.edu/category/). There, in matical community renew debate over military funding for addition to simple perplexity, one finds a range of reac- mathematics? A mathematical generation later, it seems tions. For example, one contributor complained that the unlikely. But that doesn’t mean the question raised in the problems are “poorly phrased or extremely speculative”; 1980s—do mathematicians have a responsibility to try to another, noting the limited funding for mathematics re- influence how their work is used?—has lost validity. search, called the program “a serious attempt” to widen funding possibilities. —Allyn Jackson The new DARPA program makes me wonder whether the U.S. mathematical community is becoming more re- ceptive to military funding than it was, say, twenty years ago. Back in the mid-1980s, a group of mathematics organizations, including the AMS, began to collaborate
1Available at http://www.darpa.mil/dso/personnel/mann. htm; the PDF file is 1.7MB.
April 2008 Notices of the AMS 445 Letters to the Editor
Value of a Game were translated into Swedish and “decomposable” (or “symbols”), i.e., The assignment of values to objects Norwegian. which are cup products of 3 elements 1 such as outcomes and coalitions, i.e., When I was a graduate student of H(F, Z/2Z). In a few simple cases, studying commutative algebra at Chi- such as F Q, every element is de- the construction of value functions, is = a fundamental concept of game the- cago during the 1970s, I was stumped composable. Not so in general: it is ory. Value (or utility, or preference) is by the definition of multiplicities of usually a difficult problem to decide not a physical property of the objects local rings defined purely algebra- when this happens. See for instance being valued, that is, value is a sub- ically through Hilbert-Samuel polyno- my Bourbaki seminar report no. 783 jective (or psychological, or personal) mials. Kaplansky gave me a copy of (1994). property. Therefore, the definition of the chapter on the 15th problem of his lecture notes on “Hilbert’s prob- —Jean-Pierre Serre value requires specifying both what Collège de France is being valued and whose values are lem”. It provided an excellent lesson of learning mathematics. A panorama [email protected] being measured. of this famous and important prob- Game theory’s characteristic func- (Received December 17, 2007) lem was exhibited. Many names, e.g., tion assigns values to coalitions so Hilbert, van der Waerden, Weil, Serre, that what is being valued by this func- etc., appeared in this article and they Non-English Names of tion is clear but von Neumann and became my heroes henceforth. It was Prominent Mathematicians Morgenstern do not specify whose really an effective way of teaching values are being measured in the There are some names which are and a blessing to a naive graduate construction of this function. Since it internationally well-known and pro- student. is not possible to construct a value (or nounced in the same manner all After thirty years, although there utility) scale of an unspecified person over the world. Such are the names have been many new publications or a group of persons, game theory’s of prominent musicians, artists on Hilbert’s problems (e.g., Felix characteristic function is not well- and politicians like Mozart, Gandhi, Browder’s Proceedings of Symposia defined. Likewise, all game theory Gauguin. It is important also for the in Pure Mathematics, vol. 28, and solution concepts that do not specify mathematical community to treat its B. H. Yandell’s The Honor Class: Hil- whose values are being measured are prominent representatives with due bert's Problems and Their Solvers), ill-defined. respect and pronounce their names in I still believe that Kaplansky’s pre- a uniform manner. This will enhance —Jonathan Barzilai liminary edition of Hilbert’s prob- their international recognition and Dalhousie University lems should stand in the bookshelf standing. The natural choice is their of every graduate student’s desk. [email protected] original phonetics. Thus Euler should Together with the expository books (Received September 16, 2007) be pronounced [’Oy-lehr] (first syl- about Riemann and Poincaré (is there lable stressed) and Cauchy should be any such book?), Kaplansky’s lec- [Ko:’shi] (second syllable stressed). It ture notes will tell you what is good Kaplansky’s Lecture Notes is painful to hear the names of Weier- mathematics. It confirms Kaplansky’s Kaplansky’s works and influence strass, Lie, Hurwitz, Poincaré, Dirich- motto “Spend some time every day were aptly presented in “Irving Ka- let, Plancherel (and many others) learning something new that is dis- plansky (1917–2006)”, Notices of the pronounced sometimes in a strange, joint from the problem on which you American Math. Soc. 54 (2007), 1477– unrecognizable manner. The Voice of are currently working. And read the 1493. It seems strange that three masters.” America (http://names.voa.gov) lecture notes of Kaplansky were not has developed a pronunciation guide mentioned in this article. Nor were —Ming-chang Kang for prominent foreign politicians. they included in the bibliography National Taiwan University Following the spirit of that guide, contained in Selected Papers and [email protected] I have written a short list of some Other Writings of Irving Kaplansky, (Received December 11, 2007) European (non-English) mathemati- Springer-Verlag, 1995. These lecture cians published under the Pronun- notes belong to the Lecture Notes in ciation guide at http://www2.onu. Mathematics series published by the Octonion Algebras and edu/%7Emcaragiu1/bonus_files. department of mathematics, the Uni- Cohomology Classes html. Any suggestions and correc- versity of Chicago. They are In the Notices November 2007 issue, tions are very welcome. Topics in commutative ring the- p. 1297, the theorem on the first line I think the AMS could do the same ory, 1974; is not correct (same for the last two as the VOA and create an online pro- Bialgebras, 1975; lines of p. 1296). The author claims nunciation guide for the names of Hilbert’s problems (preliminary that the octonion algebras over a field prominent mathematicians. edition), 1977. F (of characteristic not 2) are in 1-1 —Khristo Boyadzhiev The first two lecture notes were correspondence with the elements of Ohio Northern University reviewed in Math Reviews. However, the cohomology group H3(F, Z/2Z). [email protected] the third one has not been reviewed No. These algebras correspond to the anywhere; only three chapters of it elements of H3(F, Z/2Z) which are (Received December 18, 2007)
446 Notices of the AMS Volume 55, Number 4 A m e r i c a n M at h e m at i c a l S o c i e t y April is Mathematics Awareness Month This year’s theme is: Mathematics and Voting! Learn the mathematics of voting with these AMS titles …
Chaotic Elections! A Mathematician Looks The Mathematics of A Mathematician Looks at Voting Donald G. Saari at Voting Voting and Elections: Donald G. Saari, University of A Hands-On Approach California, Irvine, CA Jonathan K. Hodge, Grand The book presents a very clear pic- Valley State University, ture of how the author views the Allendale, MI, and Richard central issues of voting theory and E. Klima, Appalachian State provides an excellent entrée into his University, Boone, NC work. —Zentralblatt MATH The book by Hodge and Klima is an What does the 2000 U.S. presiden- excellent entry into this field ... has tial election have in common with plenty of material for a one-semester selecting a textbook for a calculus course ... friendly and clear style that course in your department? Was Ralph Nader’s influence on the elec- students will appreciate ... well-written and well-edited ... tion of George W. Bush greater than the now-famous chads? In Chaotic —MAA Reviews Elections!, Don Saari analyzes these questions, placing them in the larger context of voting systems in general. His analysis shows that Have you ever wondered ... why elections often produce results that the fundamental problems with the 2000 presidential election are not seem to be displeasing to many of the voters involved? Would you be with the courts, recounts, or defective ballots, but are caused by the surprised to learn that a perfectly fair election can produce an out- very way Americans vote for president. come that literally nobody likes? When voting, we often think about the candidates or proposals in the election, but we rarely consider the This expository book shows how mathematics can help to identify procedures that we use to express our preferences and arrive at a col- and characterize a disturbingly large number of paradoxical situations lective decision. that result from the choice of a voting procedure. Moreover, rather than being able to dismiss them as anomalies, the likelihood of a dubi- The Mathematics of Voting and Elections: A Hands-On Approach will help ous election result is surprisingly large. These consequences indicate you discover answers to these and many other questions. Easily acces- that election outcomes—whether for president, the site of the next sible to anyone interested in the subject, the book requires virtually no Olympics, the chair of a university department, or a prize winner—can prior mathematical experience beyond basic arithmetic, and includes differ from what the voters really wanted. They show that by using an numerous examples and discussions regarding actual elections from inadequate voting procedure, we can, inadvertently, choose badly. To politics and popular culture. add to the difficulties, it turns out that the mathematical structures of Mathematical World, Volume 22; 2005; 226 pages; Softcover; ISBN: 978-0-8218- voting admit several strategic opportunities, which are described. 3798-6; List US$35; AMS members US$28; Order code MAWRLD/22 Finally, mathematics also helps identify positive results: By using math- ematical symmetries, we can identify what the phrase “what the voters really want” might mean and obtain a unique voting method that satisfies these conditions. Find out more about mathematics and
2001; 159 pages; Softcover; ISBN: 978-0-8218-2847-2; List US$24; AMS members voting at www.mathaware.org. US$19; Order code ELECT
1-800-321-4AMS (4267), in the U. S. and Canada, or 1-401-455-4000 (worldwide); fax:1-401-455-4046; email: [email protected]. American Mathematical Society, 201 Charles Street, Providence, RI 02904-2294 USA
For many more publications of interest, visit the AMS Bookstore www.ams.org/bookstore Mathematics and Voting Donald G. Saari
he 2008 annual Math Awareness Month an election for the next chair of your department theme features the unusual combina- are tion of “Mathematics and Voting”. The Number Ranking Number Ranking importance of voting is obvious; indeed, 3 A ≻ B ≻ C 2 B ≻ C ≻ A with the United States election season T 2 A ≻ C ≻ B 4 C ≻ B ≻ A hard upon us, discussions about voting are seem- ingly nonstop. More generally, on almost any day If your department uses the plurality “vote-for- of any year the news media reports on some one” rule, A wins with the A ≻ C ≻ B ranking. consequential election going on somewhere in the But with a vote-for-two rule, the ranking reverses world. But what does mathematics have to do with to B ≻ C ≻ A so formerly last-place B now wins. any of this? By using the Borda Count (introduced in 1770 by Actually, a lot. In fact, mathematics has been Borda), where a ballot is tallied by assigning a central to this area since 1770, when the mathe- first and second positioned candidate, respective- maticianJeanCharles de Borda challenged whether ly, two and one points, C wins with the C ≻ B ≻ A the French Academy’s elections for new members ranking. As any candidate can win with an “appro- accurately reflected the views of the voters: Bor- priate” voting rule, not all three outcomes register da blamed their voting rule, the plurality vote. the will of the voters. Who should be the winner? It is this concern, whether an election rule can Accompanying the disturbing reality that faithfully produce outcomes capturing “the will election outcomes can more accurately reflect the of the voters”, that requires serious mathematical choice of an election rule than the voters’ wishes attention. Consider the consequences; as it is well are the mathematical issues of understanding understood, electing the “wrong leader” can cause why this is so, determining whether “paradoxical serious, lasting problems. But while the mathemat- outcomes” are unlikely anomalies or reasonably ical study of this topic is more than a couple of prevalent behavior, developing appropriate math- centuries old, there remain more mysteries than ematical structures to permit a systematic rather answers, and the mathematical development of than an ad hoc analysis, and identifying whether this area is in its early stages. any election rule reliably produces outcomes that, To illustrate what can happen, suppose the arguably, represent the views of the voters. Can voter preferences among candidates {A, B, C} in the reader, for instance, determine what math- ematical structures force the radically different conclusions for the above example? Donald G. Saari is Distinguished Professor of Mathe- In this article, I answer some of these questions matics and Economics and director of the Institute for while indicating mathematical structures current- Mathematical Behavioral Sciences at the University of California, Irvine. His email address is [email protected]. ly being developed to analyze voting systems. This article is a written version of an AMS Invited Address More generally, I treat the “mathematics of voting” given at the Joint Mathematics Meetings in San Diego, as a prototype to identify mathematical concerns January 8, 2008. that are associated with aggregation rules. For
448 Notices of the AMS Volume 55, Number 4 instance, I will indicate why orbits of symmetry because of the astronomical values that can arise groups and even notions from chaotic dynamics with combinatorics, there are reasons to believe play roles in understanding voting problems: ex- [10] that examples exhibiting trillions of outcomes pect similar mathematical approaches to identify can be created with, say, no more than 30 or 50 which non-parametric statistical procedures best voters. The point to be made for this article is that represent the data and whether Adam Smith’s if changing rules generates trillions of different Invisible Hand story from economics captures the rankings, the mathematical challenge is to deter- wishes of consumers. mine which positional voting rules, if any, can be Before seeking solutions, we need to appreci- trusted to get the job done accurately. ate what kinds of problems can arise. Thus the As the “mathematics of voting” is a prototype, first part of this article illustrates certain ways in expect the Theorem 1 behavior to accompany oth- which election outcomes can widely differ. After er aggregation rules. As an illustration, if political understanding what can go wrong, I will indicate parties A and B have, respectively, 49 and 51 of the a way to analyze these issues. senate seats and 217 and 218 of the congressional seats, one might mistakenly accept that they have How Bad Can It Get? essentially equal power. But as B enjoys a majority With the above 11-voter example, each candidate in both houses, it has complete power; i.e, simple can win with some positional voting rule: this is a counts are misleading; a more accurate measure is voting rule where an n-candidate ballot is tallied a group’s ability to effect change. “Power indices” by assigning a specified weight wj to the candidate were developed in game theory to measure these in the jth position, j = 1,...,n. (The obvious con- differences in the ability of competing groups, or straints are that wj ≥ wj+1 for all j and the weights even individuals, to determine outcomes; these are not all equal.) The choice matters; e.g., by using tools have been cited in Supreme Court decisions different weights, this introductory example has and used to analyze European Union voting rules. seven different election rankings; four of them are While the best known ones are the Shapley and strict (without ties). Banzhef values, many others have been intro- While it has been known since Borda that the duced. Because of their importance and alerted choice of a voting rule matters, to approach this by what can happen with voting rules, one should area systematically, we need results demonstrat- worry whether the choice of an index matters. It ing how serious the problem can be. To do so, does; by using Theorem 1 Lauruelle and Merlin treat the weights as components of a voting vector [2] extended its conclusion to power indices; i.e., w = (w1, w2,...,wn), where wn = 0. A normalized with the same data or game theoretic structure, version (where w1 = 1) of any voting vector is it is possible to have up to (n − 1)(n − 1)! differ- a convex combination of the “vote-for-k” vectors ent rankings of the n parties by using different (1, 0,..., 0),...,(1, 1,..., 1, 0). Using this convexi- power indices. Independently and using different ty with the geometry of Rn−1 and the linearity of techniques, Saari and Sieberg [11] proved similar the tallying process, it is not overly difficult to results. prove the following disturbing conclusion. What about the nagging concerns whether these Theorem 1. (Saari [6]). For n ≥ 2 candidates and voting examplesare cookedup anomaliesorreflect any k satisfying 1 ≤ k ≤ (n − 1)(n − 1)!, there is what must be expected? For decades, researchers a profile (i.e., a list of each voter’s complete, transi- such as Fishburn, Gehrlein, Riker, and others have tive ranking of the candidates) where, with differ- estimated the likelihoods of various voting para- ent choices of the positional voting rule, precisely k doxes with consistently discouraging conclusions. different, strict election rankings arise. (No profile These results were hampered by the complexity of generates more than (n−1)(n−1)! strict rankings.) the associated computations, which forced using Indeed, for n ≥ 4, a profile can be found where unrealistic assumptions such as that each profile each candidate is ranked in first, second, …, last is equally likely. The next result, which is based place with different positional election rules. on a six-dimensional central limit theorem and where the computational difficulties are handled With three candidates, then, a profile can gen- by borrowing ideas from Schläfli [13], provides erate four different strict election rankings. But more realistic estimates for the issues described = with n 10, which is about the number of can- here while underscoring the severity of these prob- didates starting in a U.S. presidential election, a lems. Incidentally, the reason a zero probability is single profile could have over three million differ- associated with even k values is that here one of ent election rankings where each candidate could the tie rankings is easily broken. be the “winner” with some rules, and the “loser” with others. The 2002 French presidential election Theorem 2. (Saari and Tataru [12]). For three started with 16 candidates; here a single profile candidates, assume there are n voters where as could admit well over 19 trillion different position- n → ∞ the distribution of voter choices is asymp- al election rankings. Somewhat surprisingly but totically independent with an asymptotic common
April 2008 Notices of the AMS 449 Figure 1. Randomness of flipping a coin.
finite variance and the asymptotic mean has an equal distribution of voters of each type. The lim- iting probability as n → ∞ that a profile permits precisely k different outcomes as the positional rule choice varies is zero if k is an even integer and k Probability k Probability 1 0 : 31 3 0 : 44 5 0 : 19 7 0 : 06 Figure 2. Iterations of the function f (x) simulate the random behavior of the previous With a surprisingly high probability of 0.69, figure. In this case the then, the choice of the positional voting rule mat- initial value x0 produces LLRRLR . . . . ters for a close three-candidate election! Different rules can have different outcomes. Indeed, it is easy to find many actual elections where it appears any group would hold another election. They that the outcomes reflect the voting rule rather should; two of C’s previous voters would now than the voters’ intent. vote for B and five for D, creating the conflicting The mathematical approach Tataru and I devel- D ≻ B ≻ A outcome! Indeed, with this example, if oped for this theorem has been applied by others, any one or two of the candidates drops out, the including various combinations of Merlin, Tataru, plurality ranking reverses; it is compatible with Valognes, Gehrlein, and Lepelley, to obtain relat- the opposite D ≻ C ≻ B ≻ A. So, is A or D the ed three-candidate conclusions. While a definitive “true choice of these voters?” answer for four or more candidates has yet to The mathematical issue prompted by this exam- be investigated, it is clear that the severity of the ple is clear. How bad can it get? What combinations problem escalates with the number of candidates. of rankings for the different subsets of candidates For instance, with more than five candidates in can be actual election rankings? Combinatoric a closely contested election, there are reasons to complexities discourage exploring this issue by believe that, with probability close to certainty, the creating examples. But as my research includes election ranking changes with positional methods. analyzing the dynamics of Newtonian N-body sys- tems, a natural way to address this potentially Chaotic Effects chaotic state of affairs is to borrow notions from To illustrate what else can go wrong, suppose “chaos”. during hiring season your department will make Start with a highly random situation; flipping a an offer to one of the four candidates {A,B,C,D}. penny. The first flip outcome is either Heads or Preferences within the department are Tails.In either case, the secondflip could be H or T. A tree, such as Figure 1, indicates all possibilities, (1) while the mechanism of random behavior ensures Number Ranking Number Ranking that any branch of this tree, any listing of H’s 3 A ≻ C ≻ D ≻ B 2 C ≻ B ≻ D ≻ A and T’s, can arise. A sense of “chaotic dynamics” 6 A ≻ D ≻ C ≻ B 5 C ≻ D ≻ B ≻ A is created for a deterministic system if its orbits 3 B ≻ C ≻ D ≻ A 2 D ≻ B ≻ C ≻ A mimic the random behavior depicted by this tree 5 B ≻ D ≻ C ≻ A 4 D ≻ C ≻ B ≻ A by permitting all of the same possibilities. This can happen; e.g., a way to describe the orbits of which define the plurality ranking of A ≻ B ≻ the iterative system C ≻ D. Just before A is contacted to offer her a position, C calls to drop out because she just xn+1 = f (xn), accepted a position elsewhere. where the graph of f on the unit interval is given in With C dropping out, should the decision be re- Figure 2, is with this tree of random coin-flipping evaluated? With C’s low ranking, I doubt whether behavior. On the tree, replace H with L for “Left”,
450 Notices of the AMS Volume 55, Number 4 and T with R for “Right”. For any sequence of L’s different subsets of candidates; after removing ob- and R’s, there existsan initial point so that for each vious redundancies, these vectors include an open k, the kth iterate is in the indicated region. Because set in an appropriate Euclidean space. So, if the each tree branch represents an admissible orbit, plurality vote always is used, Wn is a concatenated this deterministic system captures the random- list of plurality vectors. Let Bn represent where ness of Figure 1. A power of this approach is that all elections are tallied with the Borda Count; i.e., actual initial points for the deterministic system the voting vector for each subset of candidates are not found; only their existence is verified. is such that the differences between successive To explore how to use a similar approach to de- weights is the same. Adopting terminology from termine whether a “chaotic state of affairs” occurs dynamics, a list of rankings created by a profile, with voting rules, create a “tree of possible elec- where the election for each subset is tallied as re- tion outcomes”. With three candidates {A, B, C}, quired by Wn, is called a Wn word. For instance, the start with the pair {A, B} and draw three legs rep- Equation 1 plurality word consists of all rankings resenting the three possible A ≻ B, A ∼ B, B ≻ A described above. The Wn dictionary, denoted by rankings. Pair {B, C} has a similar three-legged Dn(Wn) ⊂T n, is the set of all possible Wn words. tree; append a copy to each of the three possible We now can state what happens in general. {A, B} legs, and then do the same for {A, C}. This Theorem 4. (Saari [7]). For n ≥ 3, there exists a leads to a tree with 27 branches; what remains are proper, lower-dimensional algebraic variety V n the 13 rankings for the triplet {A, B, C}. Attaching such that if Wn 6∈ V n, then this 13-legged object to each of the 27 branches n n creates a tree with 351 legs that lists all possible (2) D(W ) =T . combinations of rankings over all subsets; denote However, Bn ∈ V n, and for all Wn where at least this three-candidate tree by T 3. Similarly, T 4 rep- one voting vector is not a Borda vector, resents the four-candidate tree that has over 1.4 (3) D(Bn) Î D(Wn). billion legs. Just as with deterministic dynamics, a way to determine whether a sense of randomness Oh my; this result, which proves that the Equa- can be associated with voting outcomes is to de- tion 1 example is tame compared to what else termine which branches, which combinations of can happen, explains my lost faith in the plurality rankings over the different subsets of candidates, vote. This is because all of the “vote-for-k” rules can be realized as election outcomes with a profile. normally used in departmental and societal elec- tions, including the plurality vote, are not in the Theorem 3. (Saari [7, 8]). For any three-candidate algebraic variety V n. Consequently (from Equation positional voting rule where w 6= 2w , anything is 1 2 2), any perverse listing of election rankings, even possible; for any branch on the T 3 tree, there ex- if the ranking for each of the 2n − (n + 1) different ists a profile where the sincere election outcome of subsets of candidates is selected in a random each subset is as specified. Only the Borda Count, manner, can actually occur! The good news is that where w = 2w , does not admit all T 3 branch- 1 2 the rare Wn systems belonging to the algebraic es; e.g., any branch on this tree where a candidate variety V n are spared certain paradoxes involving is ranked last in all pairwise rankings and ranked weird conflicting rankings for different subsets first in the ranking of all three cannot be a Borda of candidates; the Borda Count always belongs to outcome. V n. In fact, while the Borda Count admits some As true with chaotic deterministic dynamics, inconsistent behavior (I indicate how to find all but with the sole exception of the Borda Count, examples), Equation 3 proves that any list of ques- Theorem 3 indicates the “chaotic” sense allowed tionable Borda election outcomes must also occur by election outcomes in that they permit anything with any other collection of voting vectors. to happen; e.g., a non-Borda positional election At this point, please forgive me for tossing winner could even be the loser in “head-to-head” in a “gee-whiz” comparison to demonstrate the majority vote comparison with all other candi- benefit derived by using the Borda Count over, dates. (Below I show how to create such examples.) say, the plurality vote. The plurality dictionary Notice that knowing which T 3 branches are non- for seven candidates is identified with T 7, so admissible identifies properties for the positional we could compare the cardinality of |T 7| with voting rule. For instance, some of the branches that |D(B7)|. While the difference |T 7|−|D(B7)| > 106 are not permitted by Borda outcomes prove that sounds impressive, by asserting that the plurality it is the only positional rule where its outcomes vote admits a million more paradoxical settings, a are related to how the same voters majority-rank more impressive comparison is that |T 7|/|D(B7)| the candidates in pairs. exceeds a billion times the number of droplets With n ≥ 3 candidates, we need terminology of water in all oceans in the world. Thus Borda to represent which voting rules are used to tal- provides a shockingly higher level of consistency; ly elections for different subsets of candidates. the choice of a voting system matters! Incidental- Let Wn list the voting vectors assigned to tally the ly, I have characterized the algebraic variety V n;
April 2008 Notices of the AMS 451 and posed in its current form by G. Debreu show- ing that beyond Scarf’s example, “anything can happen.” First, bound all prices away from zero by any specified ǫ > 0. They showed it is possible to select any continuous tangent vector field to this price sphere, and then an initial endowment of goods and a nice utility function for each customer can be found so that, with the ǫ restriction, the aggregate excess demand function agrees with the selected vector field. For a result parallel to Theorem 4, I extended Figure 3. Scarf’s example contradicting the this conclusion to all possible subsets of two or “Invisible Hand Theory” . more commodities. Namely, with n commodities and a ≥ n agents, and any ǫ > 0, select any con- tinuous tangent vector field for the appropriate e.g., in terms of voting outcomes, different V n sphere for each subset of two or more commodi- branches categorize those Wn that have similar, ties. There exists a utility function and initial new kinds of election inconsistencies. endowment for each agent so that, with each sub- Before explaining why these different election set of commodities, the aggregate excess demand outcomes arise, it is worth indicating how these function agrees with the selected vector field with- Theorem 4 results extend to other disciplines. in the ǫ restriction. In other words, with the same In her thesis and a JASA article [1], Deanna economic agents, the economics associated with Haunsperger used Theorem 4 to prove a similar different subsets of commodities need not have result for non-parametric statistics. Namely, she anything to do with each other; chaos reigns. From replaced profiles with data sets, and positional a mathematical perspective, the proof of this the- rules with non-parametric statistical rules. As orem involved creating appropriate continuous above, a “statistical dictionary” collects all lists foliations, with appropriate convexity properties, of rankings, over different subsets of alternatives to represent the level sets of the individual utility that come from some data set by using a specified functions. My main point is that we must expect collection of statistical procedures. In proving that Theorem 4 type of results with aggregations. Theorem 4 extends to non-parametric statistics, Haunsperger showed that the Kruskal-Wallis rule Symmetry Structures assumes the role of the Borda Count. Thus, she The next step is to develop appropriate mathemat- proved that while the Kruskal-Wallis rule admits ical tools to analyze and explain all of these voting many new kinds of paradoxical behavior, when problems. The complexity is a dimensional issue; judged against all other choices, the Kruskal-Wallis the n! dimension of the domain, which is the space rule is by far the most consistent! of preferences for n alternatives, quickly exceeds The “algebraic variety” conclusion accurately the dimension of the range, which is the space of suggests that the analysis involved using different election outcomes. As we know, a larger domain symmetry groups. Just by changing the groups, allows more kinds of outcomes: they become the Theorem 4 extends to areas such as probabil- voting paradoxes. So, a way toward creating a ity where the algebraic variety corresponds to systematic analysis of voting issues is to develop various independence conditions. An interesting appropriate structures to better understand the extension, where an algebraic variety result has domain. yet to be identified, is the Adam Smith “Invisible Clues about what should be done are abundant Hand” story. To introduce the ideas for a “pure throughout mathematics; e.g., in Galois theory, exchange” model, prices for n commodities can we are interested in elements that are fixed by be normalized to the “price sphere”, which is the automorphisms from particular subgroups. The positive orthant of Sn−1. The aggregate excess de- approach adopted here is to find appropriate con- mand function, which is the difference between figurations of profiles that force a neutral, tied the total demand and supply of each commodity at outcome for certain classes of voting rules, but given prices, defines a continuous tangent vector non-tied outcomes for others. As an illustration, field. Smith’s story requires the vector field to have the orbit of the Klein four-group leads to the an attracting equilibrium. Contradicting this story configuration was a stunning example created by H. Scarf where, (4) A ≻ B ≻ C ≻ D, D ≻ B ≻ C ≻ A, instead, the only price equilibrium is a repeller B ≻ A ≻ D ≻ C, C ≻ D ≻ A ≻ B. forcing prices away from the equilibrium! This was followed by a Theorem 1 type result first recog- Each candidate is in first, second, third, and fourth nized by H. Sonnenschein, advanced by R. Mantel, place precisely once, so all positional outcomes
452 Notices of the AMS Volume 55, Number 4 for each other pair are similarly computed and listed by the appropriate edge. To compute all positional outcomes, normalize each (w1, w2, 0) vector into a ws = (1,s, 0) form, s ∈ [0, 1], by dividing by w1. This means, for in- stance, that the Borda (2, 1, 0) vector is normalized 1 to (1, 2 , 0). The ws tally for candidate C is [number of voters with C top- ranked] + s[number of voters with C second-ranked]. Using the geometry, this is the sum of numbers Figure 4. Geometric tally. The score 2 + 7s for B in the two regions with C as a vertex plus s times counts the chambers nearest to B as well as the sum of numbers in the two adjacent regions, the second-nearest chamber. Similarly for or [4 + 0] + s[2 + 2]. The w tallies for all three other vertices. s candidates are similarly computed and listed near the appropriate vertex on the triangle. In this sim- ple manner, all positional and pairwise outcomes are ties. Moreover, each ranking is accompanied are easily computed. by its reversal,so all pairwise rankings are ties. But The geometry of tallying suggests we should the situation changes with triplets; e.g., dropping examine the triangle’s symmetry structure. A first D results in choice is the kernel where each ranking is support- (5) A ≻ B ≻ C, B ≻ C ≻ A, edbythesamenumberofvoters;hereallpositional and pairwise outcomes are ties. The next obvious B ≻ A ≻ C, C ≻ A ≻ B, o choice is the 120 symmetries, or a Z3 orbit defin- where of all positional outcomes, only the Borda ing, say, A ≻ B ≻ C, B ≻ C ≻ A, C ≻ A ≻ B. The Count defines a complete tie so only it main- tallies in Figure 5a show that this configuration tains consistency with the rankings of the other never affects positional rules, as all outcomes sets of candidates. As adding configurations of are ties, but it does influence the pairs as they the Equation 4 type to a profile can change the define a cycle. Thus, this kind of configuration rankings of triplets, but affects nothing else, it is in a profile causes the majority vote pairwise clear that these configurations play a fundamen- outcomes to differ from positional outcomes. A o tal role in explaining Theorem 4 features where final symmetry is 180 , or a Z2 reversal such as positional rankings of triplets differ from those of C ≻ A ≻ B, B ≻ A ≻ C. As Figure 5b shows, this other subsets of candidates; it also helps explain configuration neveraffects pairsasthey areall ties, why the Borda Count admits significantly fewer but it affects all non-Borda positional outcomes, 6= 1 paradoxical outcomes than other positional rules. s 2 , as they are not ties. Consequently, reversal To indicate how appropriate profile configura- configurations in a profile force differences among tions are found, I’ll outline the three-candidate all non-Borda positional outcomes and differences structure. To do so, let me introduce a geomet- from pairwise outcomes. ric way I developed to simplify the tallying of While a bit more work is required to convert all three-candidate ballots. As in Figure 4, assign each of this into a working tool for social scientists, such candidate to a vertex of an equilateral triangle. as creating a coordinate system for profile space Divide the triangle into regions based on the dis- [10], this structure explains all possible positional tance to each vertex where “closer is better;” e.g., and pairwise three-candidate election inconsisten- as all points on the vertical line are equal distance cies. For instance, in the first paragraphs, I asked to vertices A and B, this line corresponds to a tied A ∼ B ranking. Points to the left and right repre- sent, respectively, A ≻ B and B ≻ A. The resulting 13 regions represent the 13 transitive rankings; the regions on lines correspond to rankings with ties. In each open ranking region, place the number of the voters with this preference. Figure 4, for instance, has the introductory example data. To use the geometry to tally ballots, notice that all votes with A ≻ B are to the left of the vertical line. So, to compute the {A, B} outcome, simply add the numbers on each side of the vertical line obtaining Figures 5a (left) and 5b. Symmetry structures. the B ≻ A outcome by 6 : 5. The pairwise outcomes
April 2008 Notices of the AMS 453 if the reader could explain why the introductory result in ties, but only the Borda Count always example allowed conflicting positional outcomes. respects this. As just indicated, the answer is that all possi- ble differences among positional outcomes are Other Rules and Extensions caused by reversal configuration components in As this kind of symmetry structure answers ques- a profile. Indeed, to create the introductory ex- tions about voting rules, it also answers questions ample, I started with C ≻ B ≻ A and added two about other aggregation methods. For instance, reversal components of A ≻ C ≻ B, B ≻ C ≻ A Anna Bargagliotti and I are developing related and three of A ≻ B ≻ C, C ≻ B ≻ A to force the symmetry arguments to explain mysteries about positional differences. While these terms influence non-parametric statistical rules. This structure al- the positional outcomes, they do not affect Borda so answers other voting mysteries such as Arrow’s ≻ ≻ or pairwise rankings, which remain C B A. Theorem and Sen’s Theorem, which have disturb- If you wish to enhance the example with a cyclic ing conclusions asserting that it is impossible for pairwise outcome, just add an appropriate multi- any voting rule to do what appears to be obviously ple of either the A ≻ B ≻ C, B ≻ C ≻ A, C ≻ A ≻ B possible to do. But by examining these results or the A ≻ C ≻ B, C ≻ B ≻ A, B ≻ A ≻ C configu- in the light of the above symmetry structures, it ration; this term never affects positional rankings turns out [9, 10] that these seminal theorems occur but it can change pairwise rankings. Notice, only because assumptions requiring the decision rule the Borda Count is not affected by reversal and to emphasize pairs negate the crucial assumption cyclic profile configurations; this turns out to be an that voters have transitive preferences. By under- explanation for the many favorable properties of standing the mathematical source of the problem, the Borda Count, and it explains why it is immune benign resolutions are immediate. to many of the voting paradoxes. There are all sorts of other voting concerns; e.g., The general n-candidate case is analyzed in voters might be strategic, or there might be too a similar manner. Here, to use the geometry of many candidates to realistically expect voters to tallying, the equilateral triangle is replaced with an equilateral n-simplex. Thus the symmetries of rank them. But once we understand the mathemat- this simplex capture the structures of voting. A ical structure of voting rules, all such issues can lesson learned from algebraic topology is how be addressed. A similar comment applies to wide permutations in the interior of a simplex have classes of other voting rules; e.g., both the AMS an interesting effect on the faces; some of this and the Mathematical Association of America use is captured here by wreath products of permuta- something called “Approval Voting” (AV) where tion groups. Thus, a way to identify which profile a voter votes “approval” for as many candidates configurations explain voting inconsistencies is to as he or she wishes. Stated in another manner, determine which orbits of subgroups create con- a voter ranks the candidates and selects which figurations that force completely tied outcomes “vote-for-k” rule to tally the preferences. From for some subsets of candidates but not for others. Theorem 4, where it is shown how the “vote-for-k” For a flavor of what happens in general, it turns rules cause so many problems, and the fact that out for n candidates that Zn orbits of the the dimension of the associated domain increases significantly, it is easy to show that AV introduces (6) A ≻ A ≻···≻ A , A ≻···≻ A ≻ A ,..., 1 2 n 2 n 1 many new and troubling problems. (With the in- An ≻ A1 ≻···≻ An−1 troductory example, for instance, all 13 ways to type explain all possible problems, inconsisten- rank the candidates are admissible AV outcomes.) cies, etc., of majority votes over pairs. Adding Perhaps an appropriate concluding comment such a configuration to any profile does not affect is to recall how for a couple of millennia, math- n-candidate positional rankings, but it can change ematics and the physical sciences have enjoyed majority vote rankings with pairs. Such orbits, a symbiotic relationship where advances in one however, affect all positional outcomes for smaller area motivated advances in the other. There is subsets of candidates. (To see why, consider the a new opportunity; within the last couple of n = 4 case and compute what happens when a decades, the social and behavioral sciences have candidate is dropped.) become mathematically more sophisticated, which Incidentally, the Equation 6 type of profile con- suggests that a similar, mutually advantageous re- figurations turns out to be the sole cause of any lationship can be developed. Beyond voting, areas inconsistent rankings for the Borda Count. As that appear ripe for mathematical analysis in- such, a strong case can be made that the Bor- clude behavioral sciences such as psychology and da ranking over all candidates most accurately social sciences such as economics and political reflects the views of the voters. A stronger case science. Several mathematicians are creating such comes from noting that certain profile configura- connections with voting. What I find particularly tions that are orbits of symmetry groups should attractive about these areas is that their issues
454 Notices of the AMS Volume 55, Number 4 differ from what is found in the physical sci- ences, so new kinds of mathematics often is needed. In other words, the underlying mathemat- ical structures needed to convert the somewhat ad-hoc mathematical analysis into a systematic approach awaits some mathematician to develop them. I invite more mathematicians to examine these fascinating topics.
References [1] D. Haunsperger, Dictionaries of paradoxes for sta- tistical tests on k samples, Journal of the American Statistical Association 87 (1992), 149–155. [2] A. Laruelle and V. Merlin, Different least square values, different rankings, Soc. Choice Welfare 19 (2002), 533–550. [3] D. Lepelley and V. Merlin, Scoring run-off para- doxes for variable electorates, Economic Theory 17 (2001), 53–80. [4] V. Merlin, M. Tataru and F. Valognes, The like- lihood of Condorcet’s profiles, Soc. Choice Welfare 2001. [5] V. Merlin and F. Valognes, The impact of in- different voters on the likelihood of some voting paradoxes, Mathematical Social Sciences 48 (2004), 343–361. [6] D. G. Saari, Millions of election outcomes from a single profile, Soc. Choice Welfare 9 (1992), 277–306. [7] , A dictionary for voting paradoxes, Journal of Economic Theory 48 (1989), 443–475. [8] , Chaotic Elections! A Mathematician Looks at Voting, AMS, Providence, RI, 2001. [9] , Decisions and Elections; Expect the Unex- pected, Cambridge University Press, 2001, New York. [10] , Disposing Dictators; Demystifying Voting Paradoxes, Cambridge University Press, in press. [11] D. G. Saari and K. Sieberg, Some surprising proper- ties of power indices, Games and Economic Behavior 36 (2001), 241–263. [12] D. G. Saari and M. Tataru, The likelihood of dubi- ous election outcomes, Economic Theory 13 (1999), 345–363. [13] L. Schläfli, Theorie der vielfachen Kontinuität. Gesammelte Mathematische Abhandlungen, Basel: Birkhäuser, 1950. [14] M. Tataru and V. Merlin, On the relationships of the Condorcet winner and positional voting rules, Mathematical Social Sciences 34 (1997), 81–90.
April 2008 Notices of the AMS 455 MATH Math in the news from the in the MEDIA American Mathematical Society
www.ams.org/mathmedia/
Mathematicians on television Prizewinners High school math prodigies Encryption Data-mining at the NSA The shape of soccer balls Sabermetrics Mathematics of cake-cutting The Poincaré conjecture Women in math Quantum computing Mathematical art exhibits Climate modeling The statistics of war crimes Mathematics of finance
AMS members: Sign up for the Headlines & Deadlines service at www.ams.org/enews to receive email notifications when each new issue is posted. “I like to think of mathematicians as forming a nation of our own without distinctions of geographical origin, race, creed, sex, age or even time. . . all dedicated to the most beautiful of the arts and sciences.” —Julia Robinson
Purchase this inspiring film by May 30, 2008 and save 20%! Discount Code: AMS • www.akpeters.com • 781.416.2888 x18
Julia Robinson and HilbeRt’s tentH PRoblem A film by George Paul Csicsery
This is one of a kind—a completely entrancing, generously illustrated life of Julia Robinson, the first woman mathematician to be elected to the National Academy of Sciences as well as the first woman president of the American- Math ematical Society. In this film her life story is intertwined with her work on what is known as Hilbert’s Tenth Prob- lem, a problem that he presented with twenty- two other significant problems at the Interna- tional Congress of Mathematicians in 1900. Seventy years later came the solution by a young Russian, Yuri Matiyasevich, which rest- ed on more than twenty years of work by Julia and two other American mathematicians, Mar- tin Davis and Hilary Putnam. This American-Russian solution was to breach an “Iron Curtain” that had divided the world of mathematics since World War II.
A K Peters, Ltd.
This film was made possible by a grant from Margaret and Will Hearst and by generous support from the Clay Mathematics Institute. Henri’s Crystal Ball Philip J. Davis and David Mumford
n April 10, 1908, at the general session Poincaré’s talk should be compared and con- of the Fourth International Congress trasted with the earlier talk by David Hilbert of Mathematicians held in Rome, Gas- (1862–1943) at the Second International Congress ton Darboux presented a talk by Henri of Mathematics held in Paris in 1900. Hilbert Poincaré (1854–1912) entitled The specified twenty-three problems that he said were OFuture of Mathematics (Poincaré was unfortunately important and open for solution. History has given unable to deliver the talk himself). The original the accolade and notoriety to Hilbert’s problems, can be found on the web at: http://gallica. whereas Poincaré, who did not list specific prob- bnf.fr/ark:/12148/bpt6k17083c/f934n10. lems, has attracted not nearly as much publicity capture. and éclat within the mathematical world. It is now a full century since this date, and it is of some interest (and amusement) to see how Poincaré’s Generalities its contents shape up in view of the historically First: a brief summary of the first part of Poincaré’s turbulent years and the tremendously productive paper. He proposes that some people considered mathematical ones that followed. Poincaré’s talk mathematics in 1908 to be rich in ideas, having has long been available in an English translation. developed in “every sense”. But then he says, if this This translation can now be downloaded either was absolutely true, “Our riches would become an in pdf or html form: http://www-history.mcs. encumbrance” and produce an incomprehensible st-andrews.ac.uk/Extras/Poincare_Future. increase in knowledge. One answer to the plethora html or http://portail.mathdoc.fr/BIBLIOS/ of material is professional specialization. But this PDF/Poincare.pdf. The remarks in this paper are may be a “vexatious obstacle to the progress of based on the latter translation. our science”. Instead, he affirms that we must fight The talk is divided into two parts; the first specialization by seeking unifying ideas: presents generalities. In the second part, numer- If a new result has value it is when, by ous specific problems are mentioned in ten dif- binding together long known elements, ferent areas, in which the current status of the until now scattered and appearing un- problems is described and suggestions are made related to each other, it suddenly brings that research would be welcome along certain order where there reigned apparent follow-up lines. The language of the first part is disorder. vivid and clear. This is not the case with the second part, but what impresses there is the wide range Poincaré is fond of the Viennese physicist/phi- of mathematical material that Poincaré had at his losopher Ernst Mach (1838–1916). “The role of command. science,” Poincaré quotes Mach as saying, is “the production of economy of thought, just as a ma- Philip J. Davis is emeritus professor of applied mathemat- chine produces economy of labor.” Poincaré carries ics at Brown University. His email address is Philip_ this over to mathematics, citing both formulas and [email protected]. unifying theories. David Mumford is University Professor in the division of He further asserts that the aesthetic element applied mathematics at Brown University. His email ad- is often bound up with an achieved economy of dress is [email protected]. thought as well as labor. The aesthetic element in
458 Notices of the AMS Volume 55, Number 4 methods and results is thus of great importance. It is not pure “dilettantism” because it brings “a comprehension at the same time of the whole and the parts”. He asserts that long calculations alone cannot reveal the general structure of the originat- ing problem: When a somewhat long calculation has led us to a simple and striking result we are not fully satisfied until we have shown that we could have foreseen…its most characteristic details. … how vain would be any attempt to replace by any mechanical process the free initiative of the mathematician. Poincaré appreciates the rigor that the preced- ing fifty years had brought to mathematics but is wary of making a fetish out of it: In mathematics rigor is not everything, but without it there would be noth- ing…But is it necessary to repeat every time this discussion?…I fear that in this lengthening of our demonstra- Henri Poincaré tions they will lose that appearance of harmony. others which are not” because one has qualitative The linguistic element—i.e., the creation of approaches as well as quantitative, computation- new terms—is also of great importance. An older ally useful as well as computationally useless example is the word “convergence”, but he gives power series in addition to traditional solutions. as newer examples “group”, “invariant”, “isomor- Poincaré promotes the qualitative as opposed to phic”, and “transformation”. the quantitative when the latter is not immediately or easily forthcoming. One of those marks by which we recog- Poincaré’s overall conclusion is that the best that nize the pregnancy of a result is in that one can do in predicting the future of mathematics it permits a happy innovation in our is to start with the present and give heed to these language. The mere fact is oftentimes rubrics: take the various general lines along which without interest; it has been noted progress has been accomplished, extrapolate these many times, but it is of no service to sci- by generalization, abstraction, analogies, etc. But ence. It becomes of value only on that we should expect the greatest advances when two day when some happily advised thinker branches of mathematics find a “similarity of their perceives a relationship which he indi- forms despite the dissimilarity of material”, where cates and symbolizes by a word. “each takes profit from the other.” Poincaré acknowledges “the study of postulates, of unusual geometries, of functions having unusual A Few Comments values” as showing us “the workings of the human The comments that follow draw, of course, on mind… when freed from the tyranny of the exter- our knowledge of post-Poincaré developments in nal world.” But he is not impressed: “It is to the mathematics. opposite side—the side of nature—against which Predicting the future we must direct the main corps of our army.” Is the possession of a crystal ball a specific skill He imagines a physicist or engineer coming to possessed by some and not others, and do the a mathematician with a problem. Sometimes but people who are considered the most brilliant and not often the solution can be expressed explicitly prominent in a field have a better crystal ball? Per- in terms of known functions. But there is likely to haps their prominence and their lines of thought be a power series solution: still, does it converge in part shape the future. Can we do no better than, fast enough to be useful? His engineer has a time as Poincaré suggests, to extrapolate from the pres- constraint and cares little for what “the engineer ent by calling for intensifications, generalizations, of the twenty-second century” can do (is he imagin- analogies, abstractions, etc., of what is already ing a future of ultra-fast computers?). But for the around? What about the genuinely new? Historians mathematician, the conclusion is that “there are always find seeds of such developments in the no longer some problems which are solved and past, but these are post-hoc judgments.
April 2008 Notices of the AMS 459 Freeman Dyson analyzed how well one can pre- Computation dict the future and came to the conclusion that, in Poincaré seems rather hard on what might be science, unexpected technological breakthroughs called “naked” computation, denying it a role in the were often the events that led to the discovery of discovery process. Of course, the electronic digital wholly new and unexpected phenomena and thus computer was not around in Poincaré’s day, and to new theories. In mathematics it is harder to for him computation meant hand calculation, alge- separate technology and theory, but we shall find braic as well as numerical. We believe computation much of Dyson’s caution reflected in mathematical does have an important role. It has had differing developments that Poincaré did not predict when impacts on different areas of mathematics, but we take up specific fields below. few areas have not felt its impact. We will discuss Increase in the corpus of mathematics and several examples below. specialization In every generation, some mathematicians have Poincaré’s remarks on the increase of the math- used calculation extensively and some not. Gauss ematical corpus, of the subsequent specialization is a clear example that some of the most brilliant and the limitations it causes, are certainly valid. mathematicians have loved to calculate. With con- temporary computers, those who do like to calcu- Specialization and specialized vocabulary have late have the power of a race car at their disposal exploded and create huge barriers to sharing ideas compared with Gauss’s horse and buggy. both within mathematics and to neighboring fields. One can cite the existence of journals devoted When Alexander Ostrowski (1893–1986) came up to “experimental mathematics”. Virtually all the for his doctoral examination in 1920 (under the papers published in them draw sustenance from supervision of Hilbert and Landau) he once con- computer results. In this connection, it is appro- fided to one of us—perhaps in jest—that he was priate and revealing to quote from the announced the last student in mathematics who would ever be philosophy of the Journal of Experimental Math- expected to answer questions in any part whatever ematics: of mathematics. Poincaré himself has been called “the last of the universalists”. Experiment has always been, and in- At least the number of Ph.D.’s in mathematics creasingly is, an important method of who have been able to find gainful employment mathematical discovery. (Gauss de- has increased. Specialization has led to a vast clared that his way of arriving at math- increase in the number of journals, societies, meet- ematical truths was “through system- ings, papers (the last can be accurately tracked atic experimentation”.) Yet this tends in the exponential growth of Math Reviews and to be concealed by the tradition of Zentralblatt). presenting only elegant, well-rounded, Rigor and rigorous results. While we value the As Poincaré feared, there has occurred a wide- theorem-proof method of exposition, spread tendency towards more and more lengthy and do not depart from the established rigorous expositions and a resulting increase in view that a result can only become part the difficulty of finding the essential ideas often of mathematical knowledge once it is supported by a logical proof, we con- buried in a mathematician’s papers. Sometimes sider it anomalous that an important an increase in abstraction as well as the explosion component of the process of math- of new technical terms has compounded the bad ematical creation is hidden from public effects of meticulous rigor (although they are not discussion. It is to our loss that most the same). All of these make papers in any but your of us in the mathematical community own narrow field harder to read. are almost always unaware of how new But the question may be asked, insofar as abso- results have been discovered. It is espe- lute rigor is an unattainable ideal, how is it to be cially deplorable that this knowledge is attained and how much rigor suffices? An extreme, not made part of the training of gradu- not envisioned in Poincaré’s day, is computer veri- ate students, who are left to find their fication of proofs carried out within a precisely own way through the wilderness. defined set of predicate calculus axioms, as in the work of R. S. Moore and J. S. Boyer. The history of While we agree largely with the sentiments ex- mathematical proof shows that great mathemati- pressed here, we disagree with the above stated cians of the past were not hung up on rigor, that “established view” that all mathematical knowl- the standards of rigor have waned and waxed. “Suf- edge rests on logical proof. We would assert that ficient unto the day is the rigor thereof.” However, in various ways “mathematical knowledge” goes the twentieth century did bring some debacles: beyond that which is supported by logical proof. many papers in algebraic geometry in the period The quantitative vs. the qualitative 1920–1950 did contain “proofs” which were wrong Poincaré, of course, was one of the discoverers of or uncorrectable. the whole field of topology, and this is the prime
460 Notices of the AMS Volume 55, Number 4 area where qualitative approaches to geometry and red-hot debate between the qualitative and superseded quantitative ones. But in many other the quantitative that will most certainly be argued fields of pure and applied mathematics these two beyond our lifetimes. approaches still vie for dominance. Aesthetics as an element of discovery and In analysis, Poincaré uses the term “quantita- presentation tive” to indicate not just isolated numbers but the Poincaré’s sentiments, when he asserts that for whole theory of particular special functions from mathematicians elegance means a quality of a which specific numbers relevant to a theory or ex- proof that makes the whole comprehensible, periment have been derived and which then allow have been echoed by Gian-Carlo Rota. “A proof automatic application to other parallel theories. is beautiful,” Rota wrote, “when it gives away the From Poincaré’s own work to the present day, secret of the theorem, when it leads us to perceive the replacement of the “quantitative” by the the actual and not the logical inevitability of the “qualitative” has played a great role in the theory statement that is proved.” Aesthetics are certainly of differential equations. It was challenged by an an important part of mathematics, one that has old comment of the Nobelist in physics, Ernest attracted much comment and speculation. But it Rutherford, that “the qualitative is naught but should not be overstressed: poor quantitative.” What might have been in Rutherford’s mind was set out for us recently by I once heard [Paul] Dirac (1902–1984, a physicist friend: British physicist) say in a lecture, which largely consisted of students, that Suppose, for example, someone has a students of physics shouldn’t worry theory of capillary attraction. Try it: too much about what the equations water rises in the tube. Is the theory of physics mean, but only about the correct? Unless measurement agrees beauty of the equations. The faculty with a quantitative prediction you can’t members present groaned at the pros- possibly know; a qualitative experiment pect of all our students setting out to would be a waste of time and money. Of imitate Dirac. course, it can happen that a false theory —Steven Weinberg gives a correct answer but it happens Towards the Final Laws of Physics rarely; also no experiment is foolproof, but everybody knows there is room for The aesthetic and the useful should not be coincidence and error. Science does not confused. Thus, there are very many computer deal with facts but with probable facts. programs useful in promoting mathematical dis- These would be a logician’s nightmare covery and scientific computation that are hardly but they are part of a scientist’s every- aesthetic by the criterion of simplicity or any other day thinking. criterion such as that proposed by Gian-Carlo Rota. The proofs of the four-color theorem and of The so-called “catastrophe theory” of Thom, Zeeman, Arnold, and others is a prime example Kepler’s conjecture, which rely heavily on compu- of a qualitative theory whose validity many have tation, attest to their usefulness. questioned. Its mathematical elegance is obvious The linguistic element but since it avoids ever committing to specific Poincaré’s comment on the role of the linguistic models and differential equations, its applicabil- element in mathematics is both sharp and pro- ity is uncertain. Self-similar “fractal” models are phetic. It has been explored only in recent decades another example of a theory in this gray area. and deserves more elaboration and attention. The There is extensive numerical evidence in extremely famous linguist, Benjamin Whorf, proposed that diverse fields for self-similarity over several orders the structure of your language affects, in fact of magnitude but there are relatively few physical constrains, your understanding of a situation, the models that demonstrably exhibit this. way you think about it. In a recent letter to us, In many areas of applied mathematics, models semioticist and mathematician Kay O’Halloran are proposed for some aspect of highly complex put Poincaré’s perception in current semiotic ter- systems that cannot be modeled in their en- minology (or jargon): tirety. These models are qualitatively reasonable The “word” gives rise to existence!1 The but, in order to argue for their validity, they are relationship symbolized by the word fleshed out in quantitative guise in order to make undergoes processes of co-contextuali- “predictions” about experimental results and/or sation and re-contextualisation to enter computational simulations. This is sometimes a dubious procedure that can be summarized by 1This sounds almost theological. Cf. John: 1:1 “In the be- the skeptical sentiment “every model is doomed to ginning was the word.” But see: Kay L. O’Halloran, Math- succeed.” However, there is much that can be said ematical Discourse: Language, Symbolisms and Visual pro qualitative analysis, and there is an ongoing Images, Continuum, London & New York, 2005.
April 2008 Notices of the AMS 461 into other relationships: a never-ending By “congruences”,2 he clearly means polynomial ongoing phenomenon. equations mod p. Although “indeterminate analy- sis” is pretty vague, a sympathetic interpretation On the other hand, the development of twenti- would be that he is asking for connections between eth century mathematics has seen the explosion solutions of polynomials in many variables mod p of specialized vocabularies in each sub-sub-area and their solutions over the integers, Diophantine of mathematics. Who is conversant with all the equations. And this is what Weil’s conjectures concepts of Woodin cardinals, Lie superalgebras, made precise and Dwork, Grothendieck, and algebraic stacks, perverse sheaves, Weyl tensor, Deligne proved. He pursues the analogy between Thom spectra, Besov spaces, semi-martingales, number theory and algebraic geometry in the next chromatic index, and trapdoor functions, each paragraph: basic in its own field? It is not that these concepts are minor—they are each part of the standard vo- Another example where the analogy cabulary in their area. But sadly, they are a huge has not always been seen at first sight impediment to Poincaré’s dream that “interlock- is given to us by the theory of corpora ings” between diverse fields will drive the deepest and ideals. For a counterpart let us con- future discoveries. sider the curves traced upon a surface; to the existing numbers correspond the Poincaré’s specific predictions complete intersections, to the ideals In the second half of his talk, Poincaré takes up the incomplete intersections, and to each of the areas of mathematics and makes spe- the prime ideals the indecomposable cific comments. Poincaré, in contrast to Hilbert, curves; the various classes of ideals does not pinpoint the problems to be worked on; thus have their analogs. he merely points in a general way to certain “sub- areas” and issues in each field, sometimes with Here he seems to be talking about the theory frustratingly vague phrases. Ideally, the second of divisors on varieties, the “Picard” group or part of the talk should be responded to by experts ideal class group and the analogy again between in the various fields or sub-fields—thus confirming the number-theoretic situation and the algebro- Poincaré’s concern about the specialization and the geometric situation. In the twentieth century, class fragmentation of mathematics. Nonetheless, we field theory in the number-theoretic case, and will do our best to say something about what he the theory of generalized Jacobians and Picard had right and what he missed! In some instances, varieties in the algebro-geometric case, have devel- what followed after 1908 cannot be adequately oped this analogy. But note that Hilbert’s famous described except at the monograph level. Zahlbericht had appeared when this lecture was In each section, the heading is Poincaré’s, and, given and contained clearer leads to later devel- in parentheses, we put in some cases the more opments. standard contemporary name. A word of caution: His next topic is the theory of quadratic forms much of what he says is pretty vague, and one for which he says “(It) was one of the first to take needs (or at least we need) to interpret his text and shape … when the arithmeticians introduced unity guess what he is suggesting. through the consideration of groups of linear transformations.” He suggests that further groups Arithmetic (number theory) may yield more fruit, and he brings up discontinu- In this field, Poincaré is quite successful in predict- ous groups and Minkowski’s Geometrie der Zahlen. ing the twentieth century developments. His first Although this is a bit of a leap, one might say that point seems to us to foreshadow clearly the work his ideas are leading to the theory of semi-simple of André Weil creating characteristic p algebraic algebraic groups and their discrete subgroups. geometry alongside traditional algebraic geometry This has been one of the major themes of work in over the complex numbers: the twentieth century. The first example which comes to mind Finally, there is a paragraph about prime num- is the theory of congruences where we bers, where, he says, find a perfect parallelism with that of I believe I have a glimpse of the wished algebraic equations. And we will cer- for unity…All leads back without doubt tainly complete this parallelism which to the study of a family of transcenden- must exist between the theory of alge- tal functions which, through the study of braic curves and that of congruences of their singular points and the application two variables, for instance. And when of the method of M. Darboux, will permit the problems relative to congruences the calculation asymptotically of certain of several variables are solved we shall functions of very great numbers. have taken the first step toward the 2 solution of many of the questions of The translator mistakenly wrote “congruents” for indeterminate analysis. Poincaré’s word “congruences”.
462 Notices of the AMS Volume 55, Number 4 In this rather mysterious passage, it is possible to have been overly optimistic about finiteness re- to guess that he is foreshadowing the tremen- sults for rings of polynomials. He ends this section dously successful use of L-functions in number by proposing that questions about algebra should theory. If so, he has touched on all the major be done over rings of polynomials with integer or themes of twentieth century number theory. other coefficients but not pursuing this. Algebra Differential equations (dynamical systems) In Section II (Algebra), Poincaré focuses narrowly Poincaré starts off with a very astute proposal: we on polynomial equations. He starts by saying “the need a group of transformations that will group most important [subject here] is that of groups…,” dynamical systems into classes that are easier to obviously meaning Galois groups, but he will treat describe. He proposes the analogy with using bira- groups in a separate section. He discusses instead tional transformations to classify algebraic curves. “the question of the calculation of the numerical One can read this as foreshadowing Smale’s idea value of roots and the discussion of the number of using the full group of homeomorphisms to of real roots.” classify dynamical systems, more precisely defin- Concerning the numerical calculation of roots ing two systems to be topologically equivalent if of polynomials, it is hard to decipher Poincaré’s there is a homeomorphism taking the orbits of one specific remarks but there has certainly been much system to the orbits of the other. As an example, work and much success both experimental and Poincaré raises the question of counting the num- theoretical—all stimulated by the appearance of ber of limit cycles of two-dimensional dynamical increasingly powerful digital computers. Indeed, systems. the whole of numerical analysis, relatively stag- Curiously, Poincaré does not talk about the nant, burst forth in the digital age like the desert complexities of dynamical systems that he had en- cactus that blooms when it suddenly rains. Now, countered in his work on the three-body problem there is hardly a package for scientific computa- theory. The modern theory of dynamical systems tion that does not have a reasonably high precision has been dominated by the struggle to find a sat- polynomial root finder. Many diverse attacks on isfactory theory for such chaotic systems, the split the problem have been made, each with its pluses between the relatively simple hyperbolic systems and minuses. and those with strange attractors. Simple chaotic An allied problem, perhaps of more applied systems, such as the famous Lorenz system model- significance than “mere” root finding, is that of ing convection cells in the atmosphere, were found the numerical calculation of the eigenvalues of a to be ubiquitous in three or more dimensions. square matrix. The roots of a polynomial are the Instead Poincaré mentions holomorphic vector eigenvalues of its companion matrix. The QR algo- fields in the plane and asks when they have inte- rithm gives a reliable method for eigenvalue calcu- grals and what you can say about the functions lation. So a method of choice, valid for polynomials that uniformize their orbits. One can imagine links of degree, say, less than several hundred, first with the discovery and exploration in the century inaugurated by Cleve Moler of (Matlab fame) and to follow of the many unexpected completely later provided a substantial theoretical underpin- integrable dynamical systems such as KdV, the ning by Edelman and Murakami, also Trefethen, is Toda lattice, etc. to go that route. The companion matrix must first Equations with partial derivatives (linear PDEs) be “balanced” by a standard similarity transfor- Poincaré reviews what was then recent work of mation to reduce the condition of the matrix. For Fredholm on integral equations and clearly envi- polynomials of enormously high degree, arising sions the idea that linear PDEs are going to require in special problems, effective special algorithms an understanding of infinite-dimensional space have been devised. Future work on root finding and the extension of linear algebra to these spaces. will very likely be stimulated by improvements in He describes the analogy he sees between Hill’s digital computers combined with demands from work on infinite determinants and Fredholm’s the- scientific/technological applications. ory, the analogy between an infinite-dimensional Poincaré goes on to talk about invariants of space of sequences and an infinite-dimensional homogeneous polynomials, i.e., functions of their space of functions. At the end, he acknowledges coefficients invariant by linear substitutions, and that “Thanks to M. Hilbert, who has been doubly mentions Gordon and Hilbert’s work here. He then an initiator, we are already on that path.” That path writes “If we have an infinity of whole polynomials, is unifying these “two methods” and applying it to depending algebraically on a finite number among problems such as the Dirichlet problem. them, can we always deduce them from a finite As it turned out, linear PDEs were essentially number among them by addition and multiplica- mastered using function space techniques, dis- tion?” This would seem to be Hilbert’s 14th prob- tributions, and Fourier analysis a little after the lem. It was disproved by Nagata in 1959 for the middle of the twentieth century. Then the cutting ring of invariants of a representation of a power of edge turned to nonlinear PDEs which remain an the additive group. Both Hilbert and Poincaré seem area full of mysteries. Poincaré says nothing about,
April 2008 Notices of the AMS 463 for example, the Euler and Navier-Stokes fluid flow variable come in the harmonic func- equations. tions of four variables …In what sense The Abelian functions may we say that the transcendental This very short section is remarkably specific. The functions of two variables are to tran- question Poincaré raises is scendental functions of one variable as (algebraic or) rational functions of two What is the relationship of the Abelian variables are to (algebraic or) rational functions begot by the integrals rela- functions of one variable? tive to an algebraic curve to the general Abelian functions and how shall we Poincaré certainly hit on a ripe area here. The classify the latter? work of William Fogg Osgood on functions of several complex variables that date shortly after The question in the last part of this quote has 1908 can be found in his influential Lehrbuch proven to be by far the more important one. It der Funktionentheorie. The field opened up wide leads directly to the construction of Siegel’s modu- in the first half of the twentieth century, and lar variety, the moduli space that indeed classifies we have the later theories and books of e.g., what are now called principally polarized Abelian Behnke and Thullen, Bochner and Martin, Bergman, varieties. These spaces are the simplest arithme- Kodaira and Spencer, Hörmander, Remmert, tic quotients of Hermitian symmetric spaces and Krantz, Scheidemann. It gave birth to topics such all such modular varieties and the more general as pseudo-convexity, Stein manifolds, and sheaf arithmetic quotients are a key component of the theory. The link with the theory of algebraic variet- theories linking number theory, algebraic geom- ies of dimension two or more has been extremely etry and representations of Lie groups (especially fruitful, and the algebraic and transcendental the “Langlands conjecture”). Poincaré was certainly theory have intertwined continuously. The ghost on the right track in raising this classification of Poincaré is very pleased. question. Though Poincaré failed to mention analytic The first part of his question is a much more functions of one complex variable, this field also special one, although it has been studied by quite a flourished in the years following 1908. It also has few mathematicians. In modern algebro-geometric a rich history. The Riemann mapping theorem for language, it asks what is special about the Jacobian simply connected regions was worked on by Os- varieties of curves in the bigger set of all Abelian good, Carathéodory, and Perron. The Bieberbach varieties? Finding ways to characterize Jacobians conjecture and the extensive theory of conformal is now called the “Schottky problem”. There are mappings, Nevanlinna theory and the work of Ahl- remarkably very many quite different ideas for fors on meromorphic curves, Teichmüller theory solving this problem whose interrelations are still and its connection to three-manifolds via Thurston not completely clear: a review up to 1996 is in an theory all drove the field far. 3 appendix to one of the second author’s books. The theory of groups The theory of functions (complex variables) In a third short section, Poincaré states he will In another short section, Poincaré’s main concern talk only about Lie groups and Galois groups, thus is the theory of analytic functions of several vari- ignoring both the growing general theory of finite ables as opposed to one: groups and the discontinuous Kleinian groups on The analogy with the functions of a which he had worked himself. He recalls how Lie single variable gives a valuable but groups have been tamed by the use of Lie alge- insufficient guide; there is an essential bras (which he describes as a “special symbolism difference between the two classes of upon which you will excuse me for not dwelling”). functions (one and more than one vari- He says justly that “The study of the groups of able) and every time a generalization is Galois is much less advanced” and hopes that, as attempted by passing from one to the in the links between number theory and algebraic other, an unexpected obstacle has been geometry, links can be made between Lie theory encountered… and Galois theory. The search for a better under- standing of Galois groups has proven to be very Thus: difficult and continues to this day. Why is a conformal representation Geometry more often impossible in the domain Poincaré first asks if geometry is nothing more of four dimensions and what shall we than “the facts of algebra and analytical geometry substitute for it? Does not the true expressed in another language?” No, he says, generalization of functions of one “Common geometry has a great advantage in that the senses may come to the help of our reason 3D. Mumford, The Red Book of Varieties and Schemes, and aid it in finding what path to follow.” But 2nd edition, Springer Lecture Notes 1358. “our senses fail us when we try to escape from the
464 Notices of the AMS Volume 55, Number 4 classical three dimensions.” One should not forget this short paragraph are the paradoxes that arise that it was during Poincaré’s lifetime that math- in this field, the apparent contradictions which ematicians had come to accept higher-dimensional “would have overwhelmed Zeno…with joy.” spaces as a matter of course: As we know, from our vantage point, it was Gödel’s ingenious use of exactly these paradoxes We have nowadays become so familiar that led to the deepest result in the foundations of with this notion of more than three mathematics, to Gödel’s magnificent incomplete- dimensions that we may speak of it ness theorem, whose philosophical significance even in the university without arousing continues to reverberate. Starting from Russell astonishment. and Whitehead (1910–1913), the foundations of He states most eloquently that geometric intu- mathematics, the search for universal axioms for ition is more robust than one might expect and can integers, real numbers, and set theory, developed be useful in higher dimensions: into a field of its own. But Gödel showed that any finite set of axioms could not be a complete foun- It guides us into that space which is too dation for mathematics, and attempts to found vast for us and which we may not see; it mathematics on sets are not now universally ac- does this by ever bringing to mind the cepted. Some of these skeptics (admittedly a mi- relationship of the latter space to our nority of mathematicians) assert that mathematics ordinary, visible space, which without can’t have “ultimate” foundation stones, and, in doubt is only a very imperfect image, any case, it doesn’t need them. but which nevertheless is an image. In the century following 1908, brilliant math- He then introduces Analysis Situs (topology) as ematicians have created a large corpus of mate- a creation of Riemann and states that its impor- rial that goes under the rubric of logic, sets, and tance is very great, that it is leading the way into foundations. To name but a few: Zermelo, Fraenkel, higher dimensions and, indeed, must be studied Ramsey, Łukasiewicz, Post, von Neumann, Ber- in all dimensions. Of course, Poincaré is now usu- nays, Gödel, Turing, Cohen, Martin Davis, Henkin, ally considered as its creator. He is certainly on Feferman, Chaitin. Scanning a recent text on math- the money in foreseeing the central role topology ematical logic yields postulate systems such as PA will play in the twentieth century, creating key ele- (Peano arithmetic), ZF (Zermelo (1908), Fraenkel: ments of our vocabulary (such as homology and (1891–1965), ZFC (ZF + the axiom of choice), ZFL homotopy groups) and giving us some intuition (ZF + constructibility). It yields such topics as about higher-dimensional space. decidability, consistency, forcing, generalized con- It is interesting that he makes no speculations tinuum hypotheses, non-standard analysis, hyper- about how geometry in higher dimensions will dif- hyper inaccessible cardinals, alternate logics. fer from what we know in three dimensions. There But, on the other hand, there is also a wide- had been one hint at his time: Schläfli’s classifica- spread feeling among working mathematicians tion of regular polytopes showed that in dimension that measurable cardinals and the like, that is to 5 or more, life got simpler. It is interesting that say, present day set theory, are indeed some kind of “pathological case” as Poincaré put it, ideas this is exactly what happened with the higher- that can give the uninitiated existential angst. So dimensional versions of Poincaré’s conjectured Poincaré perhaps caught the future mainstream characterization of spheres: Stallings and Smale reaction to this area as well as pinpointing its showed that this was true in dimension 5 or more arguably most significant idea. because, in some sense, life was simpler due to there being more “elbow room”. This phenomenon The research of postulates (axiomatic analysis) of things stabilizing as dimensions get higher has This short section of Poincaré’s article may be occurred over and over in many fields. differentiated from the previous one by saying Poincaré goes on to doff his hat towards both that under “Cantorism”, he was thinking of the algebraic geometry and differential geometry, “a theoretical side of the logical analysis of the foun- vast field from which to reap a harvest”. This is dations of mathematics, while in this section, he certainly right but he has nothing specific to say was thinking of the applied side. If he was skeptical about them—a bit sad considering their great of Cantor, he is even more so of the usefulness of flowering in the twentieth century. axiomatic analysis: Cantorism (set theory and foundations) We are trying to enumerate the axioms One senses in this section considerable ambiva- and postulates, more or less deceiving, lence of Poincaré towards Cantor’s ideas. While which serve as the foundation stones of acknowledging that “(His) services to science we our various mathematical theories. M. all know,” he ends the paragraph by saying “(with Hilbert has obtained the most brilliant this theory) we can promise ourselves the joy of the results. It seems now that this domain physician called in to follow a beautiful pathologi- must be very limited and there will cal case!” It seems that uppermost in his mind in not be any more to be done when this
April 2008 Notices of the AMS 465 inventory is finished, and that will be followed the same path: look at all combinations of very soon. postulates and see what spaces they deliver. This point of view was thoroughly absorbed in Consideration of the underlined phrase might the culture of twentieth century mathematics and very well suggest that Poincaré believed such an was clearly enunciated in Bourbaki’s monumental inventory or enumeration of postulates was unnec- treatise. It is now taken for granted as the “obvi- essary or misleading. Poincaré was really wrong in ous” way to do things in the pure math community, this instance: Hilbert’s initiative not only at listing the way to find the best abstract setting for every all necessary postulates to complete Euclid, but at argument, the most general form for every theo- constructing alternate geometric universes where rem. But it seems that Poincaré missed it, that it all but one axiom held, has had a major influence was definitely not his cup of tea. on twentieth century mathematics. We summarize our thoughts in the presumptu- In the 1920s, the German school of “modern ous table below. It is interesting that in many areas algebra”, with its completely general rings, its he saw the possibility of links between fields and, abstract ideal theory, and Noether’s spectacular perhaps because it was less exciting, deempha- generalizations of Hilbert’s results, seems to us the sized the deepening of existing fields. His negative spiritual descendent of Hilbert’s inventory. Rings feelings about the “Research of Postulates” seems were now divorced from specific examples such as to lie behind his missing the explosion of work rings of algebraic integers, polynomials, or matri- in the first half of the twentieth century setting ces and instead were considered as having a vast almost every area of mathematics, but especially array of possible incarnations, cases where some algebra, in its most general abstract form and in- standard axioms held and others did not. Likewise, vestigating all mathematical objects that this led the abstract theory of topological spaces and of to (e.g., all finite simple groups). Banach spaces developed by the Polish school
SCORECARD
Foreseen Missed Importance of linking number theory Theory of general commutative, noncommutative and algebraic geometry rings Importance of analytic methods in number theory, L-functions Topological equivalence of dynamical systems Deeper theory of chaotic dynamical systems Importance of function spaces and their Small successes, challenges of nonlinear PDEs linear algebra Differences of several complex variables from Deeper theory of one complex variable (e.g., Teichmüller, one, links of complex analytic geometry with algebraic Bieberbach) geometry Importance of Lie and Galois groups Theory of general finite groups Topology as the key to higher dimensions Rich diversity of dimensions 3 and 4 and 7 (exotic spheres) Gödel and deep significance of the paradoxes Axiomatic treatment of every field (eventually: categories) Explosion of computational methods, computational experiments, numerical analysis Development of probability theory, stochastic differential equations, information theory
466 Notices of the AMS Volume 55, Number 4 Victor L. Klee 1925–2007 Peter Gritzmann and Bernd Sturmfels
ictor L. Klee passed away on August student, respectively) edited the volume Applied 17, 2007, in Lakewood, Ohio. Born in Geometry and Discrete Mathematics, which was San Francisco in 1925, he received his published by the American Mathematical Society. Ph.D. in mathematics from the Univer- For this obituary, we invited a group of former sity of Virginia in 1949. In 1953 he colleagues and mentees to contribute short pieces movedV to the University of Washington in Seattle, on Klee’s mathematical life. This resulted in ten where he was a faculty member for 54 years. individual spotlights, followed by some person- Klee specialized in convex sets, functional anal- al remarks by the editors. The emphasis lies on ysis, analysis of algorithms, optimization, and Klee’s work in the more recent decades of his combinatorics, writing more than 240 research rich scientific life, and hence they focus on finite- papers. He received many honors, including a dimensional convexity, discrete mathematics, and Guggenheim Fellowship; the Ford Award (1972), optimization. His bibliography, however, makes it the Allendoerfer Award (1980 and 1999), and clear that by the late 1960s he already had more the Award for Distinguished Service (1977) from than a career’s worth of papers in continuous and the Mathematical Association of America; and the infinite dimensional convexity. Humboldt Research Award (1980); as well as hon- orary doctorates from Pomona College (1965) and the Universities of Liège (1984) and Trier (1995). Louis J. Billera For collaborations with the first listed editor he received the Max Planck Research Award (1992). Richard P. Stanley Klee served as president of the Mathematical Asso- ciation of America from 1971 to 1973, was a fellow Algebraic Combinatorics and of the American Academy of Arts and Sciences, the g-Theorem and was a fellow of the American Association for the Advancement of Science. Victor Klee was a pioneer in two closely related In 1990, in honor of Klee’s 65th birthday and aspects of convex polytopes that have subse- the broad range of his mathematical interests, the quently played an important role in algebraic two of us (long-time co-worker and former Ph.D. combinatorics, namely, f -vectors and shellings. The f -vector of a polytope (or of more general geo- Peter Gritzmann is professor of mathematics at the metric complexes) encodes the number of faces of University of Technology, Munich, Germany. His email each dimension [33]. address is [email protected]. Bernd Sturmfels is professor of mathematics, statistics, Louis J. Billera is professor of mathematics and opera- and computer science at the University of California tions research at Cornell University. His email address is Berkeley. His email address is bernd@math. [email protected]. berkeley.edu. Richard P. Stanley is professor of applied mathematics The photo next page used with permission: Joseph at the Massachussetts Institute of Technology. His email Malkevitch/Victor Klee. address is [email protected].
April 2008 Notices of the AMS 467 Klee had the key insight of few economists, mathematicians, and computer proving results concerning f - scientists (including Klee) in the 1960s and 1970s. vectors in their greatest possible Butitwas the1984 paperbyKleeetal.[36]thatwas generality. Thus he proved the a catalyst for its further substantial development Dehn-Sommerville equation for and its further extension to many matrix proper- Eulerian manifolds (a vast general- ties. The authors of the book [9] were enticed into ization of polytopes), generalized the subject by this paper. the Upper Bound Conjecture for The study of sign solvability can be broken simplicial polytopes to triangula- down into the study of L-matrices (linear inde- tions of spheres, and proved a pendence of the rows can be determined solely special case for Eulerian mani- from the sign pattern) and S-matrices (the sign folds [29]. He also proved the pattern implies that the null space is spanned by Victor L. Klee Lower Bound Conjecture for poly- one positive vector). In [36] it was shown that topes in the general setting of recognizing L-matrices is NP-complete, even when pseudomanifolds [34]. the matrix is “almost square”. The recognition Klee was the first person to deal with shellings problem for square L-matrices (also called sign- of simplicial complexes in a systematic way [11]. nonsingular matrices), which can be formulated as His papers in this area paved the way for the use a pure graph-theoretic problem, was later shown of shellings as a major tool in proving combina- to be of polynomial complexity [45]. torial and topological properties of wide classes In the 1980s, Klee, with various coauthors, of complexes. His work on shellings and f -vectors continued his work on the class of S-matrices, had a big influence on our own research and led including recursive structure and recognition al- to some of our best papers. gorithms. He also investigated linear systems of Much of Klee’s interest in polytopes related to differential equations from the sign pattern point questions originally arising in optimization the- of view, constructing and classifying such systems ory. In the early 1960s he began to write and [5].In what I believeto be his last paperinthis area, lecture on f -vectors and diameters of polytopes. Klee investigated in 2000 the idea of conditional Interest in both of these topics was spurred by sign solvability where the sign pattern determines their relevance to computational techniques for the sign pattern of a solution when a solution linear programming problems. The d-step conjec- exists. Klee’s papers in this area were full of orig- ture poses a linear bound on the diameter of the inal ideas and clever combinatorial, geometrical, graph of a polytope in terms of its dimension and and analytic arguments. He, more than anyone, is number of facets. (In spite of all the progress on responsible for the explosion of interest in sign the combinatorics of polytopes since that time, patterns in the last twenty years. this question remains unsettled.) Klee’s paper [32] was seminal to part of the proof of the g-theorem, which characterizes f -vectors of simplicial poly- Jacob E. Goodman topes [3, 47]. It suggested a way to construct Richard Pollack extremal examples of polytopes by placing points over cyclic polytopes and led to the essential geometric step in the construction of simplicial Geometric Transversal Theory polytopes having predetermined f -vectors. Vic Klee’s interest in the combinatorial and topo- logical properties of convex sets, manifested in Richard A. Brualdi his early papers [26, 27, 28], led him to help found the subfield of discrete geometry that has recently been recognized with its own AMS classification, Sign Patterns of Matrices geometric transversal theory. After Helly’s the- orem was published [22, 44], there were some The idea that the signs (some or all) of the solution scattered papers written by Santaló, Vincensini, vector of some linear systems of equations could Horn, and others; but it was not until after Vic be determined knowing only the signs of the published [27] his first paper on transversals, that system parameters originated in the economics new people, such as Grünbaum, Hadwiger, and literature [46] in 1947. The subject, including the consideration of other matrix properties, e.g., sta- Jacob E. Goodman is professor of mathematics at the City bility, that could be determined solely on the basis College, City University of New York. His email address of the signs of entries, caught the attention of a is [email protected]. Richard Pollack is professor of mathematics and com- Richard A. Brualdi is the Beckwith Bascom Professor of puter science at the Courant Institute of Mathematical Mathematics at the University of Wisconsin-Madison. His Sciences at New York University. His email address is email address is [email protected]. [email protected].
468 Notices of the AMS Volume 55, Number 4 Danzer, began publishing results relating to com- combinatorial paradigms leading to polynomial- mon transversals of families of convex sets. In time algorithms for linear programming like the the past few decades the subject has blossomed, ellipsoid and the interior point methods; see [18]. and many long-outstanding problems have been In retrospect, his work on the simplex method resolved and new problems have taken their place. is at the heart of the more recent field of compu- A major inspiration to the field was the very com- tational convexity, the name having first appeared prehensive survey [12] that Vic wrote with Danzer in print in 1988 in [15]. The subject of computa- and Grünbaum in 1963, which summarized virtu- tional convexity draws its methods from discrete ally all the work that had been done in the field up mathematics and convex geometry, and many of to that time. Some recent surveys of GTT can be its problems from operations research, computer found in [13, 14, 48, 49]. Vic’s interest in geometric science, and other applied areas. In essence, it is transversal theory resurfaced in recent years, as the study of the computational and algorithmic evidenced in the papers [37, 42]. aspects of convex bodies in normed vector spaces In addition to his foundational work in a sub- of finite but generally not restricted dimension, ject close to our hearts, we can attest to Vic’s especially polytopes, with a view to applying the personal generosity and his encouragement. His knowledge gained to bodies that arise in a wide interests, perhaps more than anyone’s, spanned range of disciplines in the mathematical sciences. the complete scope of the journal Discrete & Com- Basic and typical problems deal with the effi- putational Geometry in its early years, on whose cient computation or approximation of geometric editorial board he served from its beginning in functionals such as the volume or the diameter of 1986. He once commented that DCG was his fa- a polytope, or with the algorithmic reconstruction of a polytope from data concerning it, or with vorite journal, the one whose new issues he looked algorithmic versions of geometric theorems; see forward to reading the most. That offhand remark [19, 20] for surveys. One emphasis in Vic’s work on has meant a great deal to us over the years and computational convexity was the computation of continues to inspire us as editors. radii of convex polytopes and more general bodies, leading to far reaching theoretical and algorithmic Peter Gritzmann results that have turned out to be of great rele- vance in applications ranging from data analysis Bernd Sturmfels to medical surgery planning; see [6, 7, 16, 17].
From the Klee-Minty Cube to Branko Grünbaum Computational Convexity Vic Klee has always applied his strong geometric Convexity insight to problems in mathematical program- ming. Arguably his most famous contribution to Convexity is a topic that has been studied since the this field was his paper with Minty [38] on the late nineteenth century. A “final report” of sorts worst-case behavior of the simplex algorithm. was the survey Theorie der konvexen Körper by Since the simplex method worked so well in prac- Bonnesen and Fenchel, published in 1934. A new tice, there was a long-standing conjecture that direction in convexity research arose mid-century, the number of required arithmetic operations (in combining aspects of convexity and discrete (or particular, the number of pivots) is bounded by combinatorial) mathematics. This was a topic to some polynomial in the dimension n and the num- which Vic was attracted all his life; in later years he also dealt with computational aspects of convexity. ber m of inequalities. However, [38] showed that In June 1961 Vic organized the first ever sym- the worst-case behavior of Dantzig’s pivot rule posium entitled Convexity. This served, in many is exponentially bad. The offending polytope is ways, as a starting point of widespread interest combinatorially equivalent to an n-cube; in par- in questions of combinatorial convexity. One of ticular, it is defined by 2n linear inequalities in the papers included in the proceedings of that n variables. For a bad choice of starting vertex, symposium was the 80-page survey “Helly’s The- the resulting path to the maximizer involves all orem and its Relatives” [12]. Its genesis occurred 2n vertices of P. Similarly bad behavior was later through Vic’s diplomacy: Ludwig Danzer, I, and established by other authors for other pivot rules. Vic were all three interested in writing a survey However, it is still unknown whether there exists about Helly’s theorem. As the organizer of the a pivot rule under which the worst-case behavior symposium and the editor of the proceedings (not of the simplex method is polynomially bounded, though certain pivot rules havebeenshown to have Branko Grünbaum is professor of mathematics at the good average-case behavior. The Klee-Minty exam- University of Washington, Seattle. His email address is ple was the starting point for the quest for less [email protected].
April 2008 Notices of the AMS 469 to mention his senior status relative to Danzer he liked to link Hamiltonian cycles with “life on and myself) Vic could have decided that only his Mars”, the idea being that a Hamiltonian cycle in a paper was to be published. Instead, he proposed chemical structure would make the encoding and to have a joint paper coauthored by all three of transmission of its structure easier. Vic was al- us (there were very few three-authors papers at so fond of talking about the Lekkerkerker-Boland that time). Although Danzer and I did contribute characterization of interval graphs. In a research to it, the overwhelming majority of the work on problem in the American Mathematical Monthly, the survey paper was done by Vic. The paper was he promoted research on a variant, the circular immediately hailed as a landmark; even more than arc graphs, a class that is now widely studied and forty years after it was written, this survey is the known to have many interesting properties. most quoted paper of Vic’s: According to the MR In addition to being an outstanding mathe- Citation Database it was referenced in 72 works matician, Vic was an outstanding person. Once reviewed since 2000. he agreed to hear a graduate student present a Another notable activity of Vic’s was the Un- “proof” of Fermat’s Last Theorem. I asked Vic why solved Problems column in the American Mathe- he was willing to invest his time in a project that matical Monthly, which Vic started in 1969 and almost certainly would end in failure. He said, to which he contributed many items. This was an “There was a small chance he was right. Then he outgrowth of an earlier endeavor: Vic compiled in would need someone to vouch for him.” Vic was the early 1960s a collection of unsolved problems, generous with his time, with his encouragement, meant to be part of a joint effort with Paul Erd˝os, and with his friendship. Laszlo Fejes Tóth, and Hugo Hadwiger; however, this collaboration never materialized. The level of Vic’s activity during the 1960s Peter Kleinschmidt can also be appreciated by recalling that it was during this time that he wrote his well-known The d-Step Conjecture papers on convex polytopes, which ushered in the still-continuing flourishing of that field. Indirectly, The d-step conjecture, first formulated by Warren these papers are responsible for my book Convex Hirsch in 1957 and published in 1963 in George Polytopes: In 1963 I conducted a seminar on con- Dantzig’s classical book on linear programming, vex polytopes at the Hebrew University, based on arose from an attempt to understand the computa- preprints of Vic’s papers. The students had dif- tional complexity of edge-following algorithms for ficulties understanding the material, so I started linear programming as exemplified by the simplex writing explanatory notes; ultimately, these notes algorithm. It can be stated in terms of diameters became the book [21]. of graphs of convex polytopes, in terms of the existence of nonrevisiting paths in such graphs, in terms of an exchange process for simplicial bases Robert Jamison of a vector space, and in terms of matrix pivot op- erations. This variety of equivalent formulations The Shift from Continuous to Discrete of the conjecture—largely due to Klee himself and reported in Klee-Walkup [40], Klee-Kleinschmidt Klee’s early work was largely in the area of the [35] and Grünbaum [21]—made it a typical field of topology of normed spaces and the geometry his research areas: geometry and combinatorics of convex bodies. But right from the start there of polytopes, linear programming, and complexity was an indication of the flexibility of his interest. theory. Warren Hirsch died about a month prior Among his earliest papers are several on the Euler to Victor on July 9, 2007. He spent most of his totient [25]. When I arrived in Seattle to study with career at NYU were he worked mainly as a prob- Vic in 1970, a major shift from the continuous abilist and statistician. He is best known for his and infinite to the discrete and finite was taking work in mathematical biology, particularly on the place. It is only fair to say that Vic did not drop transmission of parasitic diseases, but several of one subject for another, rather he expanded his his earlier papers concerned optimization. field of interest. The conjecture states that the maximum diam- One of Vic’s major discrete papers, co-authored eter of (the graphs of) d-polytopes with 2d facets with George Minty [38], showed the simplex al- is d. It is equivalent—though not necessarily on gorithm could be exponentially bad. He also did a dimension-for-dimension basis—to the Hirsch work on the greedy algorithm in infinite matroids conjecture, which states that ∆(d, n), the maxi- [31]. In addition to his own work, Klee was a pop- mum diameter of the graph of a d-polytope with ularizer of ideas and problems. In public lectures Peter Kleinschmidt is professor of business information Robert Jamison is professor of mathematics at Clemson systems at the University of Passau, Germany. His email University. His email address is [email protected]. address is [email protected].
470 Notices of the AMS Volume 55, Number 4 n facets, is not greater than n − d. Klee believed enough about the subject yet.” This engendered the conjecture to be false. However, the fact that it much laughter, although he seemed serious.) obviously reflects the worst-case behavior of a best Items in Mathematical Reviews concerning Vic’s edge-following LP-algorithm makes the study of papers often use modifiers such as “commendably the behavior of ∆(d, n) very important. The various clear”, “precise”, “elegant”, occasionally preceded edge-following LP algorithms, apart from numeri- by the phrase “as always”. I’d like to add two cal and implementational issues, differ principally others: “fun” and “exciting”. Chapter 2 certainly in the pivot rule by which the sequence of edges deservedall of these. It was an energeticaccount of is chosen. A pivot rule that generates a polyno- such topics as Helly’s Theorem, Radon’s Theorem, mial (in n and d) number of edges would imply and the notion of a positive basis. a polynomial bound for ∆(d, n). However, to this Vic greatly liked David Barnette’s work in set- day no such rule is known. The famous Klee- tling what (before Barnette) was called the “lower Minty example [38] shows that the original rule bound conjecture” for convex polytopes [1], and of Dantzig that maximizes the gradient in the his paper [34] related to that work provides an- space of nonbasic variables is exponential. For the other example in which a complicated topic is most common pivot rules exponential behavior treated with utter simplicity. In this paper, by us- was proved subsequently by various authors. The ing the method of Barnette in a graph-theoretical best currently known general upper bound for setting, he obtained a generalization for connect- ∆(d, n) is quasi-polynomial (Kalai-Kleitman [24]): ed pseudomanifolds. The mathematics was quite technically involved, but the paper was written in ∆(d, n) ≤ 2nlog(d)+1. such a way that one could read it in an almost This result contains the unbounded case. Results leisurely manner, and it imparted the feeling that of Barnette [2] and Larman [41] provide an upper he had actually had a lot of fun in writing it! (I bound that is linear in the number of facets but once mentioned to him that I liked the paper. He exponential in the dimension. For the important minimized his contribution, saying that he was class of 0-1 polytopes Naddef [43] has proved just making use of David’s methods.) the validity of the Hirsch conjecture. For other I suppose that he didn’t finish his book on classes of polyhedra arising in applications it is convexity. We would certainly have liked to see also known to be correct. For a survey see [35]. the rest of it. Slightly stronger versions of the Hirsch conjecture have been proved to be false (e.g., the case of unbounded polyhedra and the monotone version). Joseph Zaks Holt-Klee [23] showed that n − d is the best possi- ble lower bound for ∆(n, d) in the bounded case Shapes of the Future for n > d ≥ 8. I first met Victor Klee when I came to the University of Washington as a graduate student in 1966; I Jim Lawrence was fascinated by his talks in the Geometry Semi- nar and later on by his Open Problems section in Unfinished Business the Monthly. In the early 1970s I had enjoyed his two films “Shapes of the Future”. (See also [30].) I Not long ago I received email from Vic in which worked on manyproblems that Vic raisedin his pa- he mentioned health problems and described ac- pers and films, in particular on the illumination of tions that he had taken relating to the end of his planar polygonal simply-connected regions. I gave career; but he said that he was so encumbered by an example of a non-spherical, non-convex body unfinished business that his wife Jodey had made in 3-space that has constant HA-Measurements, a plaque for him reading “I was put on this earth and I have shown, with the aid of a computer (and to accomplish certain things. Right now, I’m so far my son Ayal) that there exist no nine neighborly behind that I’m sure I’ll never die.” Perhaps one tetrahedra in 3-space—these are two of the many of those pieces of unfinished business related to open problems that Vic mentioned in his articles. some hand-written, mimeographed notes from a I frequently use Vic’s part in his book [39] with class he taught when I was a graduate student. S. Wagon, and quite often I refer to Chapter 8, con- They seem to be part of Chapter 2 of a book in cerning the colorings of the rational spaces Q d ; this preparation, on the subject of convexity. (Some is related to the Beckman-Quarles Theorem, con- years later, I overheard his answer when asked why cerning one-distance preserving mappings from he hadn’t finished that book; after hesitating a mo- Q d to itself. ment, he said, “I think it’s because I don’t know Joseph Zaks is professor of mathematics at Haifa Uni- Jim Lawrence is professor of mathematics at George Ma- versity, Israel. His email address is [email protected]. son University. His email address is [email protected]. ac.il.
April 2008 Notices of the AMS 471 I have enjoyed Vic’s company during my recent paths of life, but also through his modesty, his visits to UW, and during many conferences all warmth, and his humor that enriched us, and the over. I last saw Vic when he came to my talk at thousand little things that left their traces. UW in October 2006. In a small tribute to Branko Of course, Vic found immortal results in many and to Vic, I had organized “The Klee-Grünbaum different branches of mathematics and neighbor- Festival of Geometry” in Ein Gev, Israel, in 2000, in ing fields. What was even more important to us which we celebrated the 70th birthday of Branko was his wonderful personality. Given his scientific and the 75th birthday of Vic. My wife Sara and I achievements, his numerous awards, and his ex- had the pleasure of having Jodey and Vic spend an ceptional standing in the scientific community, it overnight at our house in Israel, a few days before is by no means self-evident how modest, friendly, the festival. Vic was a great teacher, a devoted open-minded, and encouraging he was, how fun inspirer, and an extremely warm colleague. He will to be with, great to talk to, hike with, or play table be missed by all of his students, colleagues, and tennis or billiards with. friends. Vic always created an atmosphere that made it easy for others to grow despite their own imper- Günter M. Ziegler fection. He always encouraged others to explain their ideas, no matter how vague they were. It has Generosity been incredibly wonderful to be with him and to enjoy mathematics together. Thank you, Vic! Vic Klee was a wonderful poser of problems, who guided others to great success: For example, problems asked by Klee and Erd˝os in the early References 1960s (before I was born) led to the 1962 Danzer– [1] D. W. Barnette, A proof of the lower bound conjec- Grünbaum paper about point sets without obtuse ture for convex polytopes, Pacific J. Math 46 (1973), angles—which suddenly in 2006 was the key to 349–354. [2] , An upper bound for the diameter of a breakthroughs in Barvinok–Novik’s work on cen- polytope, Discrete Math. 10 (1974), 9–13. trally symmetric polytopes. But I also remember [3] L. J. Billera and C. W. Lee, A proof of the suf- him asking about cube tilings in Oberwolfach, ficiency of McMullen’s conditions for f -vectors of which stimulated Lagarias and Shor in their stun- simplicial convex polytopes, J. Combin. Theory Ser. ning disproof of Keller’s cube tiling conjecture in A 31 (1981), 237–255. 1992. [4] H. L. Boedlaender, P. Gritzmann, V. Klee, From our work on the second edition of Branko and J. van Leeuwen, Computational complexity Grünbaum’s Convex Polytopes [21], I remember of norm-maximization, Combinatorica 10 (1990), most vividly Vic’s generosity: Indeed, the first 203–225. [5] T. Bone, C. Jeffries, and V. Klee, A qualitative anal- edition from 1967 appeared “with the coopera- ysis of x˙ = Ax + b, Discrete Appl. Math. 20 (1988), tion of Victor Klee, Micha Perles, and Geoffrey 9–30. C. Shephard”; Vic wrote two influential chapters [6] A. Brieden, P. Gritzmann, R. Kannan, V. Klee, for the book; the re-edition of course would have L. Lovász, and M. Simonovits, Approximation of never happened without his sense of duty, tak- diameters: randomization doesn’t help, 1998 IEEE ing responsibility for the project. He provided a Symp. Found. Computer Sci. (FOCS’98), 244–251. wealth of ideas, references, and suggestions from [7] , Deterministic and randomized polynomial- his decades of work on convexity and polytopes, time approximation of radii, Mathematika 48 which reflected richly his stunning influence on (2001), 63–105. [8] A. Brieden, P. Gritzmann, and V. Klee, On the work of others; this wealth shows in the final inapproximability of some geometric and quadrat- product. In the end, the book won the 2005 Steele ic optimization problems, in Approximation and Prize. I hope that our lasting image of Vic Klee Complexity in Numerical Optimization: Continuous reflects some of the splendor and success that he and Discrete Problems ( P. M. Pardalos, ed.), Kluwer, helped others achieve. 2000, 96–115. [9] R. A. Brualdi and B. L. Shader, Matrices of Editors’ Epilogue Sign-Solvable Linear Systems, Cambridge Tracts in Looking at the photographs we have of Vic and Mathematics, No. 116, Cambridge, 1995. [10] S. Cokus and V. Klee, Decomposition theorems for his family, we know that Vic will live on in our conditional sign-solvability and sign-solvability of personal memories. He remains with us through general systems, SIAM J. Matrix Anal. Appl. 21(3) all the things we learned from him and admired (2000), 978–988. in him, through his strong direct influence on our [11] G. Danaraj and V. Klee, Shellings of spheres and polytopes, Duke Mathematical Journal 41 (1974), Günter M. Ziegler is professor of mathematics at Tech- 443–451. nische Universität Berlin, Germany. His email address is [12] L. Danzer, B. Grünbaum, and V. Klee, Helly’s the- [email protected]. orem and its relatives, in Convexity, Proc. Sympos.
472 Notices of the AMS Volume 55, Number 4 Pure Math., Vol. VII, Amer. Math. Soc., Providence, Amer. Math. Soc. Proc. Sym. Pure Math. 19 (1971), 1963, 101–180. 137–152. [13] J. Eckhoff, Helly, Radon, and Carathéodory [32] , Polytope pairs and their relationship to lin- type theorems. Handbook of Convex Geometry, ear programming, Acta Mathematica 133 (1974), (P. M. Gruber and J. M. Wills, eds.), Vol. A, B, 1–25. North-Holland, Amsterdam, 1993, 389–448. [33] , Convex polyhedra and mathematical pro- [14] J. E. Goodman, R. Pollack, and R. Wenger, Geo- gramming, Proceedings of the 1974 International metric transversal theory, New Trends in Discrete Congress of Mathematicians in Vancouver 1 (1975), and Computational Geometry, Algorithms Combin. 485–490. 10, Springer, Berlin, 1993, 163–198. [34] , A d-pseudomanifold with f0 vertices has [15] P. Gritzmann and V. Klee, On the 0-1- at least df0 − (d − 1)(d + 2) d-simplices, Houston maximization of positive definite quadratic forms, J. Math. 1 (1975), 81–86. Operations Research Proceedings, Springer, Berlin, [35] V. Klee and P. Kleinschmidt, The d-step conjec- 1988, 222–227. ture and its relatives, Math. Oper. Res. 12 (1987), [16] , Inner and outer j-radii of convex bodies in 718–755. finite dimensional normed spaces, Discrete Comput. [36] V. Klee, R. Ladner, and R. Manber, Signsolvability Geom. 7 (1992), 255–280. revisited, Linear Algebra Appl. 59 (1984), 131–157. [17] , Computational complexity of inner and out- [37] V. Klee, T. Lewis, and B. Von Hohenbalken, er j-radii of polytopes in finite dimensional normed Appollonius revisited: supporting spheres for sun- spaces, Math. Prog. 59 (1993), 163–213. dered systems, Discrete Comput. Geom. 18 (1997), [18] , Mathematical programming and convex 385–395. geometry, Handbook of Convex Geometry (P. M. Gru- [38] V. Klee and G. J. Minty, How good is the sim- ber and J. M. Wills, eds.), Vol. A, North-Holland, plex algorithm?, in Inequalities, III (O. Shisha, ed.), Amsterdam, 1993, 627–674. Academic Press, New York, 1972, 159–175. [19] , On the complexity of some basic problems [39] V. Klee and S. Wagon, Old and New Unsolved in computational convexity: I. Containment prob- Problems in Plane Geometry and Number Theory, lems, Discrete Math. 136 (1994), 129–174. Reprinted Math. Assoc. of America, 1991. in Trends in Discrete Mathematics (W. Deuber, H.- [40] V. Klee and D. W. Walkup, The d-step conjecture J. Prömel and B. Voigt, eds.); Topics in Discrete for polyhedra of dimension d < 6, Acta Math. 117 Mathematics 9, North-Holland, Amsterdam 1995, (1967), 53–78. 129–174. [41] D. G. Larman, Paths on polytopes, Proc. London [20] , On the complexity of some basic problems Math. Soc., III. Ser. 20 (1970), 161–178. in computational convexity: II. Volume and mixed [42] T. Lewis, B. von Hohenbalken, and V. Klee, Com- volumes, in Polytopes: Abstract, Convex and Compu- mon supports as fixed points, Geom. Dedicata 60 tational (T. Bisztriczky, P. McMullen, R. Schneider, (1996), 277–281. and A. Ivic Weiss, eds.), Kluwer, Boston, 1994, [43] D. Naddef, The Hirsch conjecture is true for 373–466. (0,1)-polytopes, Math. Program. 45 (1989), 109–110. [21] B. Grünbaum, Convex Polytopes, Graduate Texts in [44] J. Radon, Mengen konvexer Körper, die einen Mathematics, Vol. 221, Springer Verlag, New York, gemeinsamen Punkt enthalten, Math. Ann. 83 2003, (second edition edited by V. Kaibel, V. Klee (1921), 113–115. and G. M. Ziegler), original edition, Interscience, [45] N. Robertson, P. D. Seymour, and R. Thomas, Per- London, 1967. manents, Pfaffian orientations, and even directed [22] E. Helly, Über Mengen konvexer Körper mit circuits, Ann. of Math. (2) 150 (1999), 929–975. gemeinschaftlichen Punkten, Jber. Deutsch. Math. [46] P. A. Samuelson, Foundations of Economic Anal- Verein. 32 (1923), 175–176. ysis, Harvard University Press, Cambridge, 1947; [23] F. Holt and V. Klee, Many polytopes meeting the Atheneum, New York, 1971. conjectured Hirsch bound, Discrete Comput. Geom. [47] R. P. Stanley, The number of faces of a simpli- 20 (1998), 1–17. cial convex polytope, Advances in Mathematics 35 [24] G. Kalai and D. J. Kleitman, A quasi-polynomial (1980), 236–238. bound for the diameter of graphs of polyhedra, Bull. [48] R. Wenger, Progress in geometric transversal Amer. Math. Soc. 26 (1992), 315–316. theory, Advances in Discrete and Computational [25] V. Klee, Some remarks on Euler’s totient, American Geometry (South Hadley, MA, 1996), 375–393; Con- Mathematical Monthly 54 (1947), 332. temp. Math. 223, Amer. Math. Soc., Providence, [26] , Convex sets in linear spaces I, II, Duke Math. 1999. J. 18 (1951), 443–466, 875–883. [49] , Helly-type theorems and geometric [27] , On certain intersection properties of convex transversals, Handbook of Discrete and Com- sets, Canad. J. Math. (1951), 272–275. putational Geometry, Second Edition, 73–96, CRC [28] , Common secants for plane convex sets, Press Ser. Discrete Math. Appl., CRC, Boca Raton, Proc. Amer. Math. Soc. 5 (1954), 639–641. 2004. [29] , A combinatorial analogue of Poincaré’s duality theorem, Canad. J. Math. 16 (1964), 517–531. [30] , Shapes of the future, Two-Year College Mathematics Journal 2 (1971), 14–27. [31] , The greedy algorithm for finitary and cofini- tary matroids, in Combinatorics (T. Motzkin, ed.),
April 2008 Notices of the AMS 473 WHAT IS... ? Property A? Piotr Nowak and Guoliang Yu
Amenability of metric spaces usually manifests it- take Ax = X × {1} for all x ∈ X, and the ratio in the self in the existence of large sets with relatively small above definition vanishes. Next in line is the set of boundary. Think of Euclidean n-space. Here the vol- integers Z, with the usual Euclidean metric. To show ume of the ball of radius r is proportional to r n while Property A for Z, given R and ε, choose an integer −1 the area of its boundary, the sphere of radius r, is r ≥ 2Rε and define Ax to be the ball of radius r proportional to r n−1. Thus the area of the boundary centered at x for all x ∈ Z. is roughly 1/r of the volume of the ball, and the ratio The most interesting case is when X in the defini- tends to 0 as r increases. Such amenability proper- tion above is a finitely generated group G, equipped ties are very useful in many contexts. Unfortunately, with a metric in the following way. Having fixed it usually does not take much to prevent them from a finite set of generators, we declare the distance being satisfied. A simple example of a space that is between two elements g,h ∈ G to be the smallest not amenable in this sense is the hyperbolic plane number of generators and their inverses necessary H2. Property A is a weak amenability-type condition to write g−1h as a word. Such a metric is called the that is much less restrictive than the one described word length metric on G. For example, if we con- above and is satisfied by many known metric spaces. sider Z as an additive group generated by a single It was introduced in [3] and turns out to be of great element {1}, the word length metric is simply the importance in many areas of mathematics. We start usual metric on Z induced by absolute value. with the definition. In this setting the resemblance of Property A to amenability can be easily seen through Følner’s crite- Definition ([3]). A discrete metric space X has Prop- rion. A group G is called amenable if for every ε > 0 erty A if for every ε > 0 and every R > 0 there is a and every R > 0 there exists a finite set F ⊆ G such family {A } of finite subsets of X × N and a num- x x∈X that ber S > 0 such that #(F ∆ gF) #(A ∆A ) < ε, (1) x y < ε whenever d(x,y) ≤ R, #F #(A ∩ A ) x y whenever the distance of g to the identity element (2) Ax ⊆ B(x,S) × N for every x ∈ X. is less than R. Above gF is the translation of F by element g, and the sets F are called Følner sets. Here A ∆ A = (A \ A ) ∪ (A \ A ) denotes x y x y y x It follows from the definition that amenable the symmetric difference. In simple words, these groups satisfy Property A: given ε > 0 and a corre- conditions mean that when points x and y are at sponding Følner set F, one simply takes A = gF, most R apart, then the sets A and A are almost g x y and it can be easily verified that the sets A defined equal, but if the distance between x and y is at g this way satisfy the required condition. In fact, close least 2S, then A and A are disjoint. Property A x y examination of definitions reveals that for groups, is a large-scale geometric property, meaning that Property A is “non-equivariant” amenability—simply it is preserved by quasi-isometries—the copy of N imagine what “equivariant Property A” would mean appearing in the definition of the sets A is exactly x to end up exactly with amenability, modulo some to guarantee this invariance. We can thus say that simple calculations. a locally compact metric space has Property A if it But Property A covers a much wider class of is quasi-isometric to a discrete metric space with groups than that of amenable groups. Typical exam- Property A. ples of non-amenable groups are the free groups on Let us look at some examples. Observe that any n ≥ 2 generators F , but as it turns out, free groups finite metric space X has Property A trivially: simply n satisfy Property A. To give the proof recall that the Piotr Nowak is a Ph.D. candidate at Vanderbilt University. Cayley graph of a free group is a tree. In this tree His email address is [email protected]. fix a geodesic ray γ that originates at the identity, Guoliang Yu is professor of mathematics at Vanderbilt and given n ∈ N for every x ∈ F2 define the set Ax University. His email address is guoliang.yu@ to be the the unique geodesic segment of length 2n vanderbilt.edu. from x in the direction of the ray γ. It is not hard
474 Notices of the AMS Volume 55, Number 4 to check that for any ε there is an n ∈ N such that reduced C∗-algebra of G. Exactness of C∗-algebras the required conditions are satisfied. This method was introduced by Kirchberg, and a long-standing ∗ of proof can be generalized to show that hyperbolic problem was whether Cr (G) is exact for every G. groups and the hyperbolic plane H2 mentioned These results immediately prompted the ques- earlier have Property A. tion of whether there exist metric spaces and, more Another natural example is furnished by discrete importantly, finitely generated groups, that do not linear groups, i.e., subgroups of the group GLn(F) have Property A. However this question turned out of invertible n × n matrices over a field F. The fact to be quite difficult, and still only a handful of exam- that they satisfy Property A was proved by Guent- ples is known. One of them is due to Gromov, who ner, Higson and Weinberger. The list of classes of observed that a metric space constructed out of a groups for which Property A has been verified also sequence of expanders does not admit a coarse em- includes one-relator groups, Coxeter groups, groups bedding into a Hilbert space and therefore cannot acting on finite dimensional CAT(0) cube complexes, satisfy Property A. We refer to [2] for a description and many more. of expanders. For finitely generated groups the The original motivation for introducing Property problem of finding examples that would not satisfy A, see [3], was that it is a sufficient condition to Property A is much harder. A natural idea is to try coarsely embed a group into a Hilbert space. A to find a group that would metrically contain, in coarse embedding is a natural notion of inclusion its Cayley graph, a sequence of expanders. Such a in large-scale geometry. We recall the definition. group could not satisfy Property A for the same Definition (Gromov). A function f : X → Y between reason given earlier. Gromov implemented this idea metric spaces is a coarse embedding if in the realm of his random groups, but a search for more examples is under way. If found, such ϕ−(dX (x1, x2)) ≤ dY (f(x1),f(x2)) ≤ ϕ+(dX (x1, x2)) groups might shed some light on many problems in geometric group theory as well as for example for all x1, x2 ∈ X, where ϕ−,ϕ+ : [0, ∞) → [0, ∞) are index theory, where groups without Property A nondecreasing functions and limt→∞ ϕ−(t) =∞. served as counterexamples to some versions of the In [3] the Novikov conjecture was proved under Baum-Connes conjecture. the assumption of coarse embeddability into Hilbert Another major question is to what degree Prop- spaces. The Novikov conjecture is a rigidity state- erty A captures coarse embeddability into a Hilbert ment about high-dimensional, compact, smooth space. In particular, it was not known whether the manifolds. A compact manifold is said to be aspher- two notions coincide. An example of a metric space ical if its universal cover is contractible (a typical distinguishing the two properties was given in [1] n Rn example is a torus T with as its universal cover). and can be described as follows. Take discrete cubes The Borel conjecture claims that every aspherical {0, 1}n, n = 1, 2,... . We define two points in a cube manifold M is rigid in the sense that if another to be at distance k if they differ in exactly k coor- compact manifold N is homotopy equivalent to M, dinates. It is not hard to see that the disjoint union then N is actually homemorphic to M. In the case of these cubes (with the distance between cubes de- of aspherical manifolds, the Novikov conjecture is fined appropriately) embeds coarsely into a Hilbert an infinitesimal version of the Borel conjecture. It space. However using the fact that the cube {0, 1}n asserts that the rational Pontryagin classes, i.e., cer- has a structure of an amenable group—namely that tain characteristic classes associated to the tangent n of Z2 —it was proved that such a disjoint union of bundle of the manifold, are homotopy invariants. cubes does not have Property A. For more general manifolds the Novikov conjec- It would be extremely interesting to find more ture claims that higher signatures are homotopy examples of finitely generated groups that do not invariants. satisfy Property A, especially ones that do embed Thus the results of [3] yield the following impli- coarsely into a Hilbert space. Such groups would cation: have to exhibit completely new geometric phenom- if G has Property A then the Novikov conjecture is ena. At present these issues are far from being true for all closed manifolds with fundamental understood. group G. This theorem sparked significant interest in the Further Reading notion of Property A, and as a result Higson and [1] P. Nowak, Coarsely embeddable metric spaces Roe characterized Property A in terms of existence without Property A, J. Funct. Anal. (1) 252 (2007), of a topologically amenable action on some com- 126–136. pact space. The notion of amenability for group [2] P. Sarnak, What is…an expander?, Notices of the actions was introduced by Zimmer in ergodic the- AMS 51 (2004), no. 7, 762–763. ory and later adapted to the topological setting by [3] G. Yu, The coarse Baum-Connes conjecture for Anantharaman-Delaroche and Renault. spaces which admit a uniform embedding in- Another connection arose in the theory of C∗- to Hilbert space, Invent. Math. (1) 139 (2000), algebras. The work of Guentner and Kaminker and 201–240. subsequently Ozawa showed that, for groups, Prop- ∗ erty A is equivalent to exactness of Cr (G), the
April 2008 Notices of the AMS 475 476 Photographs by Tony Badeaux (Convention Photo by Joe Orlando, Inc.), Mike Breen, Bill Butterworth, Claudia Clark, Annette Emerson, and Adriana Salerno. N otices of the AMS V olume 55, N umber 4 See photo key on page 510.
April 2008 Notices of the AMS 477 Book Review
Fly Me to the Moon Reviewed by Shane Ross
s o m e t i m e s a t Fly Me to the Moon great personal Edward Belbruno cost to the pro- Princeton University Press, 2007 ponents. US$19.95, 176 pages, ISBN 978-0691128221 The setting of celestial mechan- There is a revolution afoot in how space travel ics provides a is done. Forget the big rocket burns of the past, seemingly time- which sent spacecraft hurtling away from Earth less context that only to need more large rocket burns to slow them conjures up im- down and enter orbit at their destination, be it the ages of famous Moon, Mars, or beyond. Think instead of comets, regularity, the wise old travelers of the solar system, which fol- clockwork cos- low the complex interplay of gravitational forces mos of circles to move from one place to another, sometimes within circles. But that’s only when finding themselves in a temporary orbit around a one considers the planet. While we can’t (yet) influence the motion two-body problem of a spacecraft and only one of comets, we can learn lessons from them as to massive body at a time. Belbruno infuses the how we can control spacecraft, directing them in element of chaos by adding one more massive such a way that they travel vast distances and get body to the mix and considering the three-body captured around planets and moons using practi- problem, for example a spacecraft moving in cally no fuel. the Earth-Moon system. By “chaos”, Belbruno Edward Belbruno’s Fly Me to the Moon provides is referring to sensitive dependence on initial an insider’s look at this revolution, what the sub- conditions. The motion of an object is consid- title calls “the new science of space travel”. The ered chaotic “if a tiny change in the motion at book intermingles popular-level explanations of some moment results in a large change [in] the some new and fascinating concepts regarding motion of the object and a substantially differ- gravity, chaos, and spacecraft trajectory design ent trajectory.” with the interesting personal story of Belbruno’s moments of discovery and struggle. The book pro- To help us visualize the chaotic motion of the third (and smallest) body in a three-body system, vides excellent, readily accessible, and profusely il- Belbruno introduces the concept of a “weak lustrated examples of the uses of chaotic dynamics stability boundary” around one of the larger, in celestial mechanics. And Belbruno’s story pro- massive bodies. Take the Moon, for example. vides insight into how new ideas gain acceptance The weak stability boundary of the Moon is a set within the scientific and engineering communities, of locations where the gravitational attraction of the Moon is almost balanced by the attrac- Shane Ross is assistant professor in the Department of Engineering Science and Mechanics at Virginia Tech. His tion of the Earth. This boundary is a separatrix email address is [email protected]. in the phase space, a critical surface where a
478 Notices of the AMS Volume 55, Number 4 spacecraft is particularly sensitive to perturba- Space Agency’s SMART 1 mission to the Moon, tions. A slight jostle one way or the other and the which launched in 2003 and arrived at the Moon in spacecraft heads off to very different fates, either 2004, was inspired by the LGAS design—a vindica- falling toward the Moon or hurtling away from it. tion of that initial discovery. On the boundary itself, however, a spacecraft is The most spectacular success of Belbruno’s weakly captured in a kind of celestial limbo. But weak stability approach was in the rescue of a Japa- with a small rocket maneuver, a weakly captured nese mission to the Moon. The mission originally spacecraft can be placed on a stable orbit around had two spacecraft, MUSES-A and MUSES-B; B was the Moon. If trajectories can be found from Earth to to go into orbit around the Moon, with A remain- the Moon’s weak stability boundary, these routes ing in Earth orbit as a communications relay. But B could potentially be very useful in practical ap- failed, and A did not have sufficient fuel to make plications as a cheaper (if not the cheapest!) way the journey to the Moon by the conventional route to the Moon. planned for B. However, by utilizing the ballistic Throughout the book, Belbruno leads us through capture concept, Belbruno and colleague James the professional and mental trajectory he took to Miller found a way to get A to the Moon that fit arrive at the weak stability boundary, its uses, and within the fuel budget. MUSES-A (renamed Hiten) its myriad insights. Through personal accounts, a left Earth orbit in April 1991 and reached the picture is painted of a man uniquely suited to tack- Moon that October, making it the first ballistic ling an interesting problem. Leaving an assistant capture trajectory to actually fly. As a result, Japan professorship post in a mathematics department, became the third nation to send a spacecraft to in 1985 Belbruno headed to NASA’s Jet Propulsion the Moon. Laboratory in California, in search of “some new As Belbruno shares, his ballistic capture ap- ideas, often not easy in an academic setting in proach was not appreciated by many of his col- which one has to pay attention to what is accept- leagues at the time. The trajectory flight times able or trendy at the time.” This gives us a glimpse were long, and the idea of using chaos to design of what motivated Belbruno, but more generally a trajectory conjured images of unpredictability what motivates all good and lasting mathematics that were not consistent with the way trajectories research: a dedication to the discovery of timeless had previously been designed. The idea of using truth, independent of the momentary and ever- “chaos to guide a spacecraft to the Moon and have changing winds of fad and research dollars. it achieve orbit with no fuel” was “the shattering In a new position as a trajectory mission analyst, of a paradigm”. And paradigms, bulwarked by the Belbruno found himself wondering if it were pos- human tendency to depend on the tried and true, sible to find a path through space that, after an do not like being shattered. initial boost near Earth, could get a spacecraft cap- The book begins by considering spacecraft tra- tured by the Moon using no fuel (sometimes called jectories, but goes on to describe an entire zoo of a “ballistic capture”). This would be analogous strange orbital behaviors and their significance for to standing on a beach in Florida and throwing a natural objects. For example, while studying cha- bottle into the ocean, into just the right current and otic motion of small objects, or rocks, in the Earth- at just the right time, so the bottle washes ashore Moon system, Belbruno found interesting cases in France. The ballistic capture concept was a far of intermittent behavior wherein the rock would cry from the trajectories used by missions like perform peculiar resonance transitions. The rock Apollo, which were moving so fast relative to the would start out in an orbit around the Earth that Moon when they approached it that another large was beyond the Moon’s, but in resonance with the expenditure of fuel was necessary to get into lunar Moon’s orbit. After passing closely by the Moon, orbit. If a ballistic capture path could be found, it the rock would then get into an Earth orbit interior could dramatically reduce the cost of a mission. to the Moon’s, and also in resonance. This kind of After asking around and searching the literature, resonance transition had not been observed before, Belbruno found that in the 1960s Charles Conley and Belbruno linked it with weak stability bound- conjectured that ballistic capture trajectories from aries. Interestingly, Belbruno relays how the same the Earth to the Moon might exist, but Conley never behavior has been seen among comets under the found them. Belbruno had a hunch they did indeed sway of Jupiter’s weak stability boundary. During exist and was determined to find them. Much of the encounters with Jupiter, some comets loosely orbit book discusses both the theory and the personal the planet, becoming temporarily captured moons. story of how he did find them. Analogous behavior has been seen in Kuiper belt The first success came in 1986. Using his con- objects, large comet-like objects that interact cept of the weak stability boundary, Belbruno strongly with Neptune. Also intriguing is the pos- found a low-fuel trajectory using ballistic (or weak) sibility of near-Earth objects that are caught in a capture for the Lunar Get Away Special (LGAS) chaotic tangle related to the Earth’s weak stability mission. The LGAS mission went through plan- boundary. Belbruno speculates that perhaps the ning stages but never flew. However, the European large impactor that collided with Earth to form the
April 2008 Notices of the AMS 479 Moon was in this precarious dynamical situation some four billion years ago. The principles of the weak stability boundary are not limited in scale, being a general feature of the three- (or more) body problem. Near the end of the book, Belbruno discusses recent work on comets moving between the stars. These inter- stellar wanderers get temporarily captured at a star before moving on to the next. These are of course slow processes. Nevertheless hitchhiking the galaxy from star system to star system may in fact take place, albeit on very large time scales. Belbruno points out the implication for life- bearing material hitchhiking on interstellar com- ets, which may collide with a planet while tem- porarily captured around a star. This mechanism may provide “a key to the origin of life within our own solar system.” Fly Me to the Moon provides a fast, very readable account of new developments in chaotic celestial mechanics, especially low-fuel space travel, at a level appropriate for a general audience. By the end, nonmathematicians will have gained some intuition about one of the hallmarks of chaos, sensitive dependence on initial conditions, and how chaos can be harnessed to good purpose. All readers will walk away thinking differently about the cosmos. Far from being a clockwork, it will seem more dynamic, more turbulent, and full of diverse possibilities.
480 Notices of the AMS Volume 55, Number 4 Book Review
Is Mathematics Misapplied to the Environment? Review by Christopher K. R. T. Jones
Useless Arithmetic: Why Environmental One of the most Scientists Can’t Predict the Future compelling exam- Orrin H. Pilkey and Linda Pilkey-Jarvis ples is the authors’ Columbia University Press, 2006 analysis of pit lake US$29.95, 248 pages, ISBN 978-0231132121 contamination. This is in particular refer- This book is about disastrous decisions made ence to the Berkeley on critical environmental issues. The authors docu- pit in Montana. The ment multiple cases ranging from nuclear waste problem is to predict disposal to plant invasion. Between the initial the environmental acceptance of a particular environmental issue impact of open-pit mining many years and the eventual decision for action (or inaction), down the road when they show that something all too often goes very the various contami- wrong. The cases they cite are unarguable, and nating by-products they are right, at least about the outcome, in each of the mining op- instance: extremely bad decisions have been made eration have been that have led to situations that should outrage all allowed to seep away from the original pit and of us. These have included the almost complete potentially contaminate groundwater. The vari- depletion of cod stocks on George’s Bank and the ous parties, either governmental or with direct engineering of beaches that has had the reverse business interests, have used models to make effect of what was purportedly intended, the sav- predictions. In spite of the underlying physics ing of those beaches. and chemistry of the pit lake pollution being only Having been living recently in North Carolina, I crudely estimated and modeled, the resulting pre- am aware of the role of one of the authors, Orrin dictions are presented with an unwarranted level Pilkey, in combating beach development. He has of specificity and certainty. The authors claim that stood up to the rampant and unthinking commer- the predictions have not been borne out by later facts. Although they, unfortunately, do not make cial exploitation of the coastline and exposed the a detailed comparison, they do make a strong case obfuscation of developers and politicians as well that the original modeling is misguided and that as the miscalculations of coastal engineers. He is little later verification and assessment was carried a hero of the environmental movement in North out despite many key decisions being based on the Carolina and deserves a hearing, even with a book earlier predictions. having a title as provocative as this one. I was convinced by their arguments that some- thing goes awry in the process of environmental C. K. R. T. Jones is the Guthridge Distinguished Professor, decision-making and that absurdly optimistic pre- University of North Carolina at Chapel Hill, and professor dictions, based on the use of mathematical mod- of applied mathematics, University of Warwick. His email els, are involved. The important question is what address is [email protected].
April 2008 Notices of the AMS 481 exactly does go wrong and how can it be fixed? The are often estimated in a subjective process with set- answer offered by the authors is unequivocal: the tings that are based, at best, on convenience or, at real culprit is the very use of mathematical models worst, with the intention of producing a particular in environmental science, and the fix is to rid the outcome. Moreover, the complexity of the models subject of such models altogether. means that many subprocesses are either included This is a fairly extreme position. Models, after only very approximately or omitted altogether. The all, are neutral in themselves, and if they are at result is a crude model whose predictive output the root of the problem then it is surely because may have little to do with the true outcome. This they are being misused. Such misuse can often inadequacy of the models is compounded by their be traced to people seeking to bolster their self- intrinsic limits to predictability due to internal interest by appealing to supposedly objective dynamics; for instance they may well be chaotic. results. The authors make this point themselves, Nevertheless, the models are used extensively but they also hammer on the inappropriateness by (coastal) engineers, government planners, and of mathematical models and advocate their near others for precise and specific predictions. Given total banishment from environmental sciences. this state of affairs, it is not surprising that the Although I ultimately disagree with their position, predictions have often proved to be inaccurate it is worthwhile to give it full consideration as there and have led to disastrous decisions. A modest are serious issues raised in the book and important and reasonable response at this point would be messages for mathematics as a discipline. to propose caution and advocate the restricted The authors make a distinction between quan- use of models and then only with considerable titative and qualitative models. In their lexicon, validation and verification. This, however, is not quantitative models are designed to give numbers the authors’ approach, as they take the extreme representing a specific prediction, while qualitative position of advocating the wholesale rejection of models are used for understanding underlying mathematical models in environmental sciences. physical processes. This distinction is based on the Their case for such a drastic proposal takes us into uses of the models rather than any of their intrinsic the psycho-sociological realm. properties and is, in my opinion, misleading. The authors have no fond feelings for the poli- A clearer view of modeling is as a continuum, ticians, planners, and developers who ultimately with one end being computational models, which make the decisions about policies affecting the involve intensive use of numerical solutions of environment. My guess is that they would agree some complex system of equations, and, at the these decision-makers would use other convenient other end, models that are more like rules-of- justifications for their decisions were the output thumb. The authors use their distinction inappro- of models not available or not well regarded. Their priately at times as they classify almost anything point, however, is that mathematical models carry they disagree with as quantitative. For example, an inherent susceptibility to manipulation in the they devote a considerable portion of the book to hands of not-so-well-intentioned. the discussion of beach erosion in which the Bruun They use terms like “priesthood” for the prac- Rule, which describes the amount of horizontal titioners of mathematical modeling and quote a retreat of the shore-face as a response to sea-level number of times a colleague whom they report rise, plays a starring role. In my view, this rule is as having said, “I stress that the problem was not far on the “rule-of-thumb” end of the modeling mathematics per se but the place of idolatry we spectrum, and yet they group it with quantitative have given it. And it is idolatry” [1]. Perhaps we modeling. It should surely be viewed as qualitative should be relieved that mathematics itself is freed modeling because it makes a broad brush stroke of of blame in their view, but, as an applied math- the physics. They disagree with its use in practice ematician, these statements give me considerable and even its applicability, but that would make it cause for concern. bad qualitative—not quantitative—modeling. Their point is that mathematical modeling is A more straightforward distinction to make being applied in a domain to which it is not rele- would be between the uses of models for predic- vant, namely studies of the environment, and yet is tion as opposed to understanding. Models all along held in such awe by the public that even ludicrous the spectrum may be used for either objective. It is decisions can hold sway if backed by mathemati- the use of models for prediction that the authors cal predictions. They seem to be suggesting that a question. I will argue below that to understand form of “math anxiety” is at play here, and I can- the limits to the predictive capacity of models, not help feeling that they are betraying a certain we must view them as working in concert with degree of such a condition themselves. We are all data. But, first, I will look in more detail at their very aware in the mathematics community of the arguments. reaction of the public to our erudite subject, and Models of environmental situations involve the it is sometimes all too easy to hide behind its mys- setting of a large number of parameters. The proper tique. It is, however, in our interest to demystify values of these parameters are largely unknown and mathematics and its uses as much as possible. If
482 Notices of the AMS Volume 55, Number 4 they are correct that bad decisions are being made and the data are insufficient to provide a descrip- in our name, then that should certainly concern tion from which a prediction might be extrapolated us. But is this an argument for the complete re- without the use of a model to fill in away from the jection of mathematical models in environmental data points. sciences? A serious weakness of this book is the lack of A closer look at their scientific case for the inap- discussion of data: how data can and indeed must propriateness of mathematical models to the envi- be incorporated into models. There is, of course, ronment is warranted. They argue that this use of a vicious circle here in that the topic is prediction mathematical models is extending mathematics be- and we do not have data from future events. The yond its proper home into a setting that is just too point is that once we realize the significance of complex to model. Its success in concrete physical data, we can start to circumscribe the valid use situations is well-known; they call this the land of of models in making predictions. It is determined bricks and mortar. In a recent review of this book by not going too far from where data are avail- in Nature by Roger Pielke Jr. [2], the reviewer points able. In the case of weather prediction, it means out that mathematics has met with extraordinary forecasting a few days out and understanding success in two areas of great relevance to flying that longer time predictions are to be taken much in an airplane, which is what he was doing while more lightly. writing the review, namely weather prediction and The authors argue that mathematical models the successful flight of the plane itself. He writes are being taken out of their domain of applicabil- that these uses of mathematical modeling are very ity by moving from the safe ground of physically different from those discussed in the book. Un- based modeling, such as for bridges and buildings, fortunately, he does not fully explore what makes to complex situations like those that occur in the them different. The prediction of weather, even on environment. I would argue that they are correct in short time scales, involves an extremely complex saying that models are being taken to a place they system that suffers from all the issues present in do not belong, but it is not the complexity of the the kind of environmental systems addressed in situation that is the problem, but its disconnection the book: unknown parameters, unresolved pro- from data. Once the point is understood properly cesses, and underlying chaotic dynamics. Airplane that data and models go hand-in-hand, a new focus flight is arguably more straightforward to model, can be adopted that places data assimilation in a but is still a highly complex system given that the central position. ambient air is undergoing all the dynamic effects Reading this book, one realizes that the scien- that make weather prediction so complex. tific research community has a very different view What then is the key difference? I would contend of mathematical models from those who typically that it is not the physical basis of these models put them into use, and the authors point this out that makes them so different but rather the data repeatedly. The scientific community sees models that are being incorporated into the predictive as a testing ground for ideas. New phenomena can process. The assimilation of data into the process be discovered in models and relationships between of forecasting weather is critical in its success. physical effects exposed and understood; in other We know that weather models will fail to predict words, hypotheses about cause and effect can be accurately after not too many hours without the tested. incorporation of available data. The data serves to One of my favorite examples is the work of correct the inaccuracies due to the inadequacies Hodgkin and Huxley on nerve impulses [4]. They of the model as well as its intrinsic instabilities. formulated a model for the propagation of a The mechanics of compromising between model voltage action potential along a nerve axon. It output and data is emerging as both an important involved all kinds of approximations concerning and fascinating area of science: data assimilation. the chemical concentration differences across the It involves a blend of statistical and dynamical membrane. The biochemical processes are not thinking that in itself offers many mathematical even physically modeled, only their effect on the challenges; see [3]. membrane is accounted for. Nevertheless, they The flying of an airplane is a similar story. There showed, using a primitive computational device is continual incorporation of information on the which was little more than an adding machine, response of the plane to its ambient environment, that this modeling of the mechanisms for chemical and the plane is then controlled to keep its flight passage through the membrane leads to a propa- on track. It is an extraordinary feat of engineering gating wave (the nerve impulse) in the equation that flights run so smoothly given the complexity for the voltage. They thus showed that the pos- of the physics. In both of these cases it is then the tulated chemical concentration differences and mutual support that data and model give each their changes in response to electrical excitation other that leads to successful predictions. Neither could explain why nerve axons support propagat- can live without the other: models will go wrong ing impulses. This groundbreaking piece of work fairly quickly without corrections in light of data, won them the Nobel Prize and would not have been
April 2008 Notices of the AMS 483 possible without the computations they performed is fascinating and critically important. This is on the mathematical model. This example is not essentially a mathematical subject but also has of environmental modeling, but neither is it from sociological and philosophical dimensions. It has the land of bricks-and-mortar. received much recent attention because of its sig- Another variant of the use of mathematical nificance in addressing climate change; see [9] for models is to test “what-if scenarios”. Information an interesting and current discussion. is fed into a model that reflects a particular set of It should be of concern to us as a community choices or decisions. The output of computational that mathematical models have been abused in runs of the model can then give tremendous in- environmental engineering as described in this sight into the potential consequences of the origi- book. But this is reason to get rid of the abuse, nal choices. The importance of this use of modeling not the models. is emphasized by Naomi Oreskes in a series of very insightful and interesting articles about prediction References and models [5]. [1] The authors attribute this to Jim O’Malley, who is a A fascinating example of this type, which is in representative of the fishing industry and is referred to extensively in Chapter 1. This quote is on p. xiii in the context of an environmental issue, was pointed the Preface, see also p. 156. out to me by Margaret Beck [6]. Loggerhead sea [2] Roger Pielke Jr., When the numbers don’t add up, turtles are a species that has been in danger of Nature 447 (2007), 35–6. extinction. Crouse et al. [7] tested various con- [3] The recent special issue of Physica D gives a good servation management strategies in a population overview of the state-of-the-art in data assimilation: dynamics model. They concluded that the manage- Data Assimilation, (Kayo Ide and Christopher K. R. ment practices of the time, with their focus on eggs T. Jones, eds.), Physica D 230 (2007). This volume on nesting beaches, were not the most effective is based on a special semester of activity held at SAMSI (Statistical and Applied Mathematical Sciences as this is the least responsive life stage. Based on Institute), an NSF funded mathematics institute in runs of the model, they proposed specific protec- Research Triangle Park, North Carolina. tion efforts for juvenile loggerheads, for instance [4] A. Hodgkin and A. Huxley, A quantitative description using turtle excluder devices that prevent turtles of membrane current and its application to conduc- from getting caught in nets. There is evidence that tion and excitation in nerve, J. Physio. 117 (1952), this approach has been successful; see the recent 500–544. articles [8]. [5] N. Oreskes, Why believe a computer? Models, mea- These examples are typical of the great suc- sures, and meaning in the natural world, The Earth cesses of mathematics applied through models. Around Us: Maintaining a Livable Planet, (Jill S. Sch- neiderman, ed.), W. H. Freeman and Co., San Francisco, Different physical effects are shown to be con- 2000, pp. 70–82; The role of quantitative models nected through their being modeled and the in science, Models in Ecosystem Science, (Charles D. resulting equations solved computationally. The Canham, Jonathan J. Cole, and William K. Lauenroth, suggestions of a replacement for mathematical eds.), Princeton University Press, Princeton, 2003, pp. models by the authors are rather vague. Their rec- 13–31. ommendation appears to amount to putting trust [6] Margaret Beck is currently an NSF Mathematical Sci- in the environmental experts who understand the ences Postdoctoral Fellow, and she dates her interest underlying physical processes. Without belittling in applied mathematics to the time she read this paper their own expertise and contributions, I would sug- as an undergraduate. [7] Deborah T. Crouse, Larry B. Crowder, and Hal gest that depending solely on expert advice would Caswell, A stage-based population model for log- constitute a system more vulnerable to abuse than gerhead sea turtles and implications for conserva- one based on mathematical models. tion, Ecology 68 (1987), 1412–1423; and Rebecca L. It is almost certain that mathematical models Lewison, Sloan A. Freeman, and Larry B. Crowder, are here to stay. Moreover, we should be happy Quantifying the effects of fisheries on threatened about this as they can be used to expose an species: the impact of pelagic longlines on loggerhead enormous amount about the underlying physical and leatherback sea turtles, Ecology Letters 7 (2004), mechanisms. It is critical to understand cause and 221–231. [8] See: http://www.ens-newswire.com/ens/ effect in environmental situations and to be able dec2002/2002-12-18-06.asp; http://www. to test the possible outcomes of different decision dukeresearch.duke.edu/database/pagemaker. strategies. Mathematical models play the key role cgi?992632903; http://www.commondreams.org/ in this enterprise, and they allow us to cover cases news2004/1129-06.htm; http://moray.ml.duke. that are far more complex than can be handled by edu/faculty/crowder/. well-informed expertise. We do need to be circum- [9] D. A. Stainforth, M. R. Allen, E. R. Tredger, and spect, however, about very specific predictions L. A. Smith, Confidence, uncertainty and decision- and reserve our faith in such predictions for cases support relevance in climate predictions, Phil. Trans. where reasonable data have been available and as- Roy. Soc. A 365 (2007), 2145–2161. similated into the model. The issue of delineating the validity of predictions and their presentation
484 Notices of the AMS Volume 55, Number 4 Mathematics Awareness Month April 2008
Math and Voting is the theme for Mathematics Awareness Month, held each year in April. Its goal is to increase public understanding of and appreciation for mathematics. Visit the Mathematics Awareness Month web site at www.mathaware.org for details.
Download a copy of this poster at www.mathaware.org. or Order a poster for $5; add $1 for each additional poster. Mail orders may be sent to: ASA Marketplace American Statistical Association 732 North Washington Street Alexandria, VA 22314
Mathematics Awareness Month is cosponsored by the American Mathematical Society, American Statistical Association, Mathematical Association of America, and Society for Industrial and Applied Mathematics. 2008 Steele Prizes
The 2008 Leroy P. Steele Prizes were awarded at The global theory the 114th Annual Meeting of the AMS in San Diego of nonlinear partial in January 2008. differential equations The Steele Prizes were established in 1970 in was mostly restricted honor of George David Birkhoff, William Fogg to PDE involving two Osgood, and William Caspar Graustein. Osgood variables until the late was president of the AMS during 1905–1906, and 1950s, when funda- Birkhoff served in that capacity during 1925–1926. mental estimates of The prizes are endowed under the terms of a DeGiorgi and Nash for bequest from Leroy P. Steele. Up to three prizes second-order elliptic are awarded each year in the following catego- (and parabolic) equa- ries: (1) Lifetime Achievement: for the cumulative tions finally broke influence of the total mathematical work of the open such PDE in more recipient, high level of research over a period of variables. The subject time, particular influence on the development of a Neil Trudinger thereupon exploded field, and influence on mathematics through Ph.D. beyond all expecta- students; (2) Mathematical Exposition: for a book tions, and nowadays the analysis of even extremely or substantial survey or expository research paper; degenerate and highly nonlinear second-order (3) Seminal Contribution to Research: for a paper, elliptic PDE in many variables is fairly routine, if whether recent or not, that has proved to be of very technical in detail. fundamental or lasting importance in its field or Neil Trudinger, starting with the original 1977 a model of important research. Each Steele Prize edition of his book with Gilbarg, has recorded the carries a cash award of US$5,000. progress of the field. He has reworked the break- The Steele Prizes are awarded by the AMS Coun- throughs, many due to him, recasting these tech- cil acting on the recommendation of a selection nical estimates into understandable form within committee. For the 2008 prizes the members of the the fixed notation and framework of this highly selection committee were: Rodrigo Bañuelos, En- cited book in its various domestic and foreign edi- rico Bombieri, Russel Caflisch, Lawrence C. Evans, tions. His service has been invaluable. Having this Lisa C. Jeffrey, Nicholas M. Katz, Julius L. Shaneson, foundational reference has made it possible for Richard P. Stanley, and David A. Vogan (chair). young researchers to enter the field, which would The list of previous recipients of the Steele Prize otherwise have been impenetrable. Here they can may be found on the AMS website at http://www. read in full detail all about Schauder estimates, ams.org/prizes-awards. Sobolev spaces, boundary estimates, Harnack in- The 2008 Steele Prizes were awarded to Neil equalities, a priori derivative bounds, and much, Trudinger for Mathematical Exposition, to Endre much more. Szemerédi for a Seminal Contribution to Research, Good mathematical exposition is always diffi- and to George Lusztig for Lifetime Achievement. cult, but it is especially so for technical estimates. The text that follows presents, for each awardee, The heights to which the research community has the selection committee’s citation, a brief bio- pushed the analysis of nonlinear second-order graphical sketch, and the awardee’s response upon elliptic PDE is amazing, but the fundamental in- receiving the prize. equalities are mostly without any good heuristic in- terpretations. Hard analysis is both hard and hard Mathematical Exposition: Neil Trudinger to explain: Neil Trudinger’s concise, elegant exposi- tion in this outstanding book is magnificent. Citation The Leroy P. Steele Prize for Mathematical Exposi- Biographical Sketch tion is awarded to Neil Trudinger in recognition Neil S. Trudinger was born in Ballarat, Australia, in of his book Elliptic Partial Differential Equations 1942. After schooling and undergraduate education of Second Order, written with the late David Gil- at the University of New England in Australia, he barg. completed his Ph.D. at Stanford University in 1966.
486 Notices of the AMS Volume 55, Number 4 Following appointments at the Courant Institute being thrown in a deep ocean. My first postdoctoral (1966–67); University of Pisa, Italy (1967); Mac- position in 1966 was a Courant Instructorship, and quarie University, Australia (1968–70); University I was assigned an advanced topics course in PDE of Queensland, Australia (1970–73); University for the full year. Armed with books by Bers, John, of Minnesota (1970–71); and Stanford University and Schechter on partial differential equations; (1971), he took up a chair of mathematics at the Morrey on multiple integrals in the calculus of Australian National University in 1973, where he variations; Friedman on parabolic partial differen- has been since. During this period he has also held tial equations; as well as works of Ladyzhenskaya numerous visiting positions at universities in Asia, and Ural’tseva, Moser, Serrin, and Stampacchia Europe, and the United States, as well as a profes- from my graduate days, I struggled to teach a sorship at Northwestern University from 1989 to full-year course on elliptic and parabolic equations 1993. Among various administrative positions at to students who all looked older than my meagre the Australian National University, he was head of twenty-four years. But this torture had its rewards. the Department of Pure Mathematics from 1973 I presented a then recent and now famous paper to 1980, director of the Commonwealth Special by John and Nirenberg on BMO as it was needed Research Centre for Mathematical Analysis from for the Moser Harnack inequality. Subsequently, I 1982 to 1990, and dean of the School of Mathemati- found that it could be bypassed for the Harnack cal Sciences from 1992 to 2000. inequality through a simpler argument, a byprod- Neil Trudinger is a fellow of the Australian uct of which was an exponential-type imbedding Academy of Science and a fellow of the Royal result, later sharpened by Moser and now well Society of London. He was also chief judge in the known as the Moser-Trudinger inequality. At the Singapore National Science Talent Search in 2002. same time, my quest to understand loss of com- His research contributions, while largely focused pactness in Sobolev imbeddings led to the Yamabe on nonlinear elliptic partial differential equa- “problem”. But most of all I was extremely well tions, have also spread into functional analysis, equipped when I started work on the book a few geometry, computational mathematics, and, more years later. recently, optimal transportation. I conclude on a sad note. Both David Gilbarg Response and Isolde Field passed away in recent years. This I am very honoured and pleased to receive the honour is for you, Dave and Isolde! Steele Prize for Mathematical Exposition. I could never have imagined forty years ago when my book Seminal Contribution to Research: Endre with David Gilbarg on elliptic partial differential Szemerédi equations was first published that it would get Citation such recognition. The book was originally con- The Steele Prize in 2008 for a Seminal Contribu- ceived by us after I had prepared lecture notes for tion to Mathematical Research is awarded to Endre the spring quarter of the graduate PDE course at Szemerédi for the paper “On sets of integers con- Stanford in 1971. My topics were Sobolev spaces and their application to linear elliptic PDE, and taining no k elements in arithmetic progression”, we decided to start by blending these with earlier Acta Arithmetica XXVII (1975), 199–245. notes of Dave on the Schauder theory. Six years A famous result of arithmetic combinatorics later and after a lot of hard work, including long due to van der Waerden in 1927 proving an earlier and painful negotiations over language, the first conjecture of Baudet states that if we partition edition appeared. We were extremely fortunate to the natural integers into finitely many subsets, have incredible assistance. First was the impec- then one of these subsets contains arithmetic cable typing of Anna Zalucki in Canberra and progressions of arbitrary length. In its finite ver- Isolde Field at Stanford. Isolde had already typed sion, because of the inevitable use of a multiple my Ph.D. thesis at Stanford several years earlier, induction argument, it leads to incredibly large and Dave had been my supervisor, so the Stanford bounds for the size of a set of consecutive integers team was ready to roll from the outset. In Austra- such that for every k-partition of it there is always lia I had an amazing research assistant, Andrew a subset containing an arithmetic progression of Geue, who checked every bibliographical reference k terms. In 1936 Erdo˝s and Turán proposed, as a against its original publication so that titles and natural extension of van der Waerden’s theorem, page numbers were always correct. We also got the conjecture that any infinite set of integers of plenty of encouragement and support from many positive density contained arbitrarily long arithme- colleagues over the succeeding years to whom I tic progressions; this may be viewed as a discrete am very grateful, as well as to those old friends analog of the classical theorem of Lebesgue that Catriona Byrne and Joachim Heinze at Springer in almost every point of a set of positive measure Heidelberg. of real numbers has density 1. This conjecture My own passage into mathematical exposition quickly became one of the major open questions was rather severe, akin to learning to swim by in Ramsey theory.
April 2008 Notices of the AMS 487 The first nontrivial found a new proof of Szemerédi’s theorem using result about the Erdo˝s- deep methods of ergodic theory, together with a Turán conjecture was correspondence principle showing the equivalence obtained by K. F. Roth of Szemerédi’s theorem with his new ergodic theo- in 1953 using harmonic rem. Furstenberg’s new method could then be used analysis, proving it for to attack multidimensional versions of the theorem progressions of length as well as nonlinear versions. In 2001 Gowers ob- 3, but his method did tained a new proof of Szemerédi’s theorem, based not extend to length on his novel idea of a Fourier analysis with non- 4 in any obvious way. linear phases. More recently, Green and Tao were In 1969 Szemerédi able to replace the positive density condition in proved the Erdo˝s- Szemerédi’s theorem by other arithmetical condi- Turán conjecture for tions, which allowed them, using again a suitable length 4 using a dif- transference principle, to prove the same result Endre Szemerédi ficult combinatorial for any sequence of primes of relative positive method. Finally, the density, thereby solving another famous conjec- Erdo˝s-Turán conjecture was settled in the affirma- ture of Erdo˝s considered inaccessible by standard tive by Szemerédi in his landmark 1975 paper. methods of analytic number theory. The solution is a true masterpiece of combi- Recent work by many authors strongly indicates natorics, containing new ideas and tools whose that these different approaches to Szemerédi’s impact go well beyond helping to solve a specific theorem are all interrelated. There is no doubt that hard problem. One of these new tools, his by now Szemerédi’s landmark paper is the source of these famous Regularity Lemma, has become a founda- beautiful developments in mathematics. tion of modern combinatorics. Its statement of Biographical Sketch striking simplicity asserts roughly that any suf- Endre Szemerédi was born in Budapest in 1940. He ficiently large dense graph can be approximated finished university in Budapest, at ELTE University. by a union of a bounded number of very regular He received his Ph.D. at the Moscow State Univer- subgraphs of almost equal size, looking in pairs sity. He has been a member of the Renyi Institute like very regular bipartite graphs; the upper and of the Hungarian Academy of Sciences since 1970. lower bounds for the number of subgraphs are Currently he is a professor in the Department of determined only by the desired quality of ap- Computer Sciences, Rutgers University. He is a proximation and are independent of the size of member of the Hungarian Academy of Sciences. the graph. In essence, every large dense graph is In 1976 he received the Pólya Prize. well approximated by a controlled bounded union Response of quasirandom bipartite graphs of almost equal I am really grateful to the AMS, to the Steele Prize size. This is a very surprising result, far from in- Committee, and to those people who recom- tuitive. The proof is short but very subtle, leading mended me. This prize is a great honor. to bounds for the number of components larger Here is what actually sparked my work on R4(n). than any tower of exponentials. The subtlety of the Assuming that it was a well-known fact that dense statement has been confirmed by recent work by sets of integers have arithmetic progressions of Gowers, showing that these gigantic bounds are length four, I proudly showed Paul Erdo˝s a proof indeed necessary for the validity of the Regularity that no positive fraction of elements in a long Lemma in all cases. arithmetic progression could be squares. Erdo˝s The impact in combinatorics of the Regularity pointed out a flaw in the argument, namely that Lemma and of the numerous variants that followed R4(n) was actually an open problem and that the it is due to the fact that there are many techniques rest of my proof was in fact already known to available for studying random graphs and, via the Euler. So now I really had to work on R4(n). Once Regularity Lemma, they can be transferred to the R4(n) was settled, so was the original problem study of completely arbitrary graphs. It is fair to about squares. Later, Bombieri, Granville, and say that the Regularity Lemma has transformed Pintz greatly improved my result. Luckily for me the focus of graph theory from the study of special this occurred several years after R4(n); otherwise graphs and of extremal problems to the study of I would never have worked on it. general graphs and random graphs. Beyond com- It is my opinion (and maybe only mine) that the binatorics it has found applications in number Regularity Lemma was born after the Rk(n) result, theory and in computer science, in particular in though certainly inspired by ideas from that paper. complexity theory. It is necessary to acknowledge Andras Hajnal for
However, the impact of Szemerédi’s paper goes the Rk(n) paper and Vasek Chvatal for the Regu- beyond this. The solution of the Erdo˝s-Turán larity Lemma paper. These friends literally wrote conjecture stimulated other mathematicians to every word of the papers based on my explana- find other lines of attack. In 1977 Furstenberg tions. I also want to express my gratitude to Paul
488 Notices of the AMS Volume 55, Number 4 Erdo˝s and to K. F. Roth for their encouragement irreducible represen- to persevere with Rk(n). tations of finite clas- This award could not have occurred were it not sical groups. For the for the fundamental work of other mathematicians exceptional groups, who developed the field of additive combinator- Lusztig was asking ics and established its relations with many other an entirely new fam- areas. Without them my theorem is only a fairly ily of questions about strong result, but no “seminal contribution to re- the Weyl groups, and search”. I acknowledge my debt to them. Finally, I considerable insight want to thank my wife, Anna, for all her patience, was needed to arrive at good humor, and support. complete answers, but eventually he did so.
Lifetime Achievement: George Lusztig Lusztig’s new ques- tions about Weyl George Lusztig Citation groups originate in The work of George Lusztig has entirely reshaped his 1979 paper with Kazhdan. The little that was representation theory and in the process changed known about irreducible representations first be- much of mathematics. comes badly behaved in some very specific exam- Here is how representation theory looked be- ples in SL(4, C). Kazhdan and Lusztig noticed that fore Lusztig entered the field in 1973. A central their new questions about Weyl groups first had goal of the subject is to describe the irreducible nontrivial answers in exactly these same examples representations of a group. The case of reductive (for the symmetric group on four letters). In an groups over locally compact fields is classically incredible leap of imagination, they conjectured a one of the most difficult and important parts. complete and detailed description of singular irre- There were three more or less separate subjects, ducible representations (for reductive groups over corresponding to groups over R (Lie groups), Qp the complex numbers) in terms of their new ideas (p-adic groups), and finite fields (finite Chevalley about Weyl groups. This (in its earliest incarnation) groups). is the Kazhdan-Lusztig conjecture. The first half of Lusztig’s first great contribution was to the the proof was given by Kazhdan and Lusztig them- representation theory of groups over finite fields. selves, and the second half by Beilinson-Bernstein In a 1974 book he showed how to construct “stan- and Brylinski-Kashiwara independently. dard” representations—the building blocks of the theory—in the case of general linear groups. The structure of the proof is now a paradigm for representation theory: use combinatorics on a Then, working with Deligne, he defined standard Weyl group to calculate some geometric invariants, representations for all finite Chevalley groups. This relate the geometry to representation theory, and was mathematics that had been studied for nearly draw conclusions about irreducible representa- a hundred years; Lusztig and Deligne did more in tions. Lusztig has used this paradigm in an unbe- one paper than everything that had gone before. lievably wide variety of settings. One striking case With the standard representations in hand (in is that of groups over p-adic fields. In that setting the finite field case), Lusztig turned to describ- Langlands formulated a conjectural parametriza- ing irreducible representations. The first step is tion of irreducible representations around 1970. simply to get a list of irreducible representations. Deligne refined this conjecture substantially, and This he did almost immediately for the “classical many more mathematicians have worked on it. groups”, like the orthogonal groups over a finite Lusztig (jointly with Kazhdan) showed how to field. The general case required deep new ideas prove the Deligne-Langlands conjecture in an about connections among three topics: irreducible enormous family of new cases. This work has representations of reductive groups, the represen- given new direction to the representation theory tations of the Weyl group, and the geometry of the of p-adic groups. unipotent cone. Although some key results were contributed by other (great!) mathematicians like There is much more to say: about Lusztig’s work T. Springer, the deepest new ideas about these con- on quantum groups, on modular representation nections came from Lusztig, sometimes in work theory, and on affine Hecke algebras, for instance. with Kazhdan. His work has touched widely separated parts of Lusztig’s results allowed him to translate the mathematics, reshaping them and knitting them problem of describing irreducible representations together. He has built new bridges to combinator- of a finite Chevalley group into a problem about ics and algebraic geometry, solving classical prob- the Weyl group. This allowed results about the lems in those disciplines and creating exciting new symmetric group (like the Robinson-Schensted ones. This is a remarkable career and as exciting to algorithm and the character theory of Frobenius watch today as it was at the beginning more than and Schur) to be translated into descriptions of the thirty years ago.
April 2008 Notices of the AMS 489 Biographical Sketch groups (which can be viewed as analogues of the George Lusztig was born in Timisoara, Romania, Iwahori-Hecke algebras, familiar from the finite in 1946. After graduating from the University group case). of Bucharest in 1968, he was an assistant at the Here are three topics from my research which I University of Timisoara and then a member of the am particularly fond of: Institute for Advanced Study in Princeton, where (i) the classification of complex irreducible repre- he studied with Michael Atiyah. During his sec- sentations of a finite Chevalley group; ond year at IAS he was also a graduate student at Princeton University and received a Ph.D. degree (ii) the theory of character sheaves, which helps in (1971) for work on Novikov’s higher signature computing the irreducible characters in (i); and families of elliptic operators. He then moved (iii) the theory of canonical bases arising from to the University of Warwick, U.K., becoming a quantum groups, which unexpectedly provides a professor in 1974. For the last thirty years he has very rigid structure with coefficients in the natural been a professor at the Massachusetts Institute of numbers for several of the known objects in Lie Technology. He has been a frequent visitor to the theory. IHÉS (Institut des Hautes Études Scientifiques) and I would like to make some comments on the spent the academic year 1985–86 at the Univer- period in which I focused on topic (i) above, from sity of Rome. Lusztig received the Berwick Prize late 1975 (when my paper with Deligne (DL) was (London Mathematical Society, 1977), the Cole just completed) to the spring of 1978. In the first Prize in Algebra (American Mathematical Society, few months of that period I worked on the “Cox- 1985), and the Brouwer Medal (Dutch Mathematical eter paper” (CP), in which I studied in detail the Society, 1999). He is a fellow of the Royal Society cohomology with compact support of the variety of London, a fellow of the American Academy of attached in (DL) to a Coxeter element in the Weyl Arts and Sciences, and a member of the National group. Luckily, in this case the eigenvalues of Academy of Sciences. Frobenius could be explicitly computed, and the Response eigenspaces provided a complete decomposition When writing a response it is very difficult to say into irreducible representations, giving several new something that has not been said before. There- key examples of cuspidal representations. Then fore, I thought that I might give some quotes from during the next year I found the classification and responses of previous Steele Prize recipients which degrees of the irreducible representations of clas- very accurately describe my sentiments. sical groups over a finite field using an extension “What a pleasant surprise!” (Y. Katznelson, of the method of (DL). After this (in 1977), as I 2002). “I feel honored and pleased to receive wrote the notes for my lectures in the CBMS Re- the Steele prize—with a small nuance, that it is gional Conference Series, No. 39, I found the clas- awarded for work done up to now” (D. Sullivan, sification and degrees of the irreducible unipotent 2006). “I always thought this prize was for an old representations of the finite exceptional groups person, certainly someone older than I, and so it of type other than E8, based on (DL) and (CP). To- was a surprise to me, if a pleasant one, to learn that wards the end of 1977 I discovered the nonabelian I was chosen a recipient” (G. Shimura, 1996). “But Fourier transform attached to any finite group H if ideas tumble out in such a profusion, then why (which in the case where H is abelian reduces to aren’t they here now when I need them to write this the ordinary Fourier transform for functions on little acceptance?” (J. H. Conway, 2000). H times its dual). This new Fourier transform al- Now, I thank the Steele Prize Committee for se- lowed me to find (in the spring of 1978) the clas- lecting me for this prize. It is an unexpected honor, sification and degrees of the irreducible unipotent and I am delighted to accept it. I am indebted to representations for E8. The same (or somewhat my teachers, collaborators, colleagues at MIT, and easier) methods can be used to obtain the classi- students for their encouragement and inspiration fication and degrees of nonunipotent irreducible over the years. representations of finite exceptional groups. Thus, Around the time of my Ph.D., I switched from contrary to what the citation says, the classification being a topologist with a strong interest in Lie of irreducible representations of finite exceptional theory to being a representation theorist with a groups does not depend on the “geometry of the strong interest in topology. (The switch happened unipotent cone” or on my work with Kazhdan done with some coaching by Michael Atiyah and later in 1979 (KL). On the other hand, the latter (KL) did by Roger Carter.) After that most of my research play a role in my work (1981, 1982) on computing was concerned with the study of representations the values of irreducible characters on semisimple of Chevalley groups over a finite field or used elements, and the former played a role in my work the experience I gained from groups over a finite (1983–1986) on character sheaves. Moreover, the field to explore neighboring areas such as p-adic use of (KL) simplifies some of the arguments in the groups (which can be viewed as groups over a finite classification, as I showed in my 1984 book. field that are infinite dimensional) or quantum
490 Notices of the AMS Volume 55, Number 4 2008 Conant Prize
The 2008 Levi L. Conant Prize was awarded at the history, known partial results and blind alleys, 114th Annual Meeting of the AMS in San Diego in various threads of numerical and theoretical evi- January 2008. dence, and suggestive connections with disparate The Conant Prize is awarded annually to recog- branches of mathematics and theoretical physics. nize an outstanding expository paper published The mathematical exposition is enhanced by the in either the Notices of the AMS or the Bulletin of judicious use of anecdotes illustrating the human the AMS in the preceding five years. Established drama of the quest for a proof and of figures that in 2001, the prize honors the memory of Levi L. help the reader visualize the zeta function as a Conant (1857–1916), who was a mathematician at function of a complex variable and the key connec- Worcester Polytechnic University. The prize carries tions between the distribution of prime numbers, a cash award of US$1,000. the distribution of the zeros of the Riemann zeta The Conant Prize is awarded by the AMS Coun- function, and conjecturally also the distribution of cil acting on the recommendation of a selection the eigenvalues of random Hermitian operators. committee. For the 2008 prize the members of Conrey remarks on one of those fascinating the selection committee were: Noam D. Elkies, connections (Gauss’s class number problem and Stephen J. Greenfield, and Carl R. Riehm (chair). a “conspiracy of L-functions”) that “we seem to Previous recipients of the Conant Prize are: Carl be players in the middle of a mystery novel.” The Pomerance (2001), Elliott Lieb and Jakob Yngvason same can be said of the status of the Riemann (2002), Nicholas Katz and Peter Sarnak (2003), Hypothesis itself. Conrey has given a masterly and Noam D. Elkies (2004), Allen Knutson and Terence lucid introduction to the plot thus far, to the de- Tao (2005), Ronald M. Solomon (2006), and Jeffrey tectives who brought us to this point, and to what Weeks (2007). may be called the main suspects: the mathemati- The 2008 Conant Prize was awarded to J. Brian cal structures that might be expected to figure in Conrey; and to Shlomo Hoory, Nathan Linial, the eventual resolution of this central mystery of and Avi Wigderson. The text that follows pres- ents the committee’s citations, brief biographical modern mathematics. sketches of the authors, and their responses upon Biographical Sketch receiving the prize. J. Brian Conrey is the founding executive director of the American Institute of Mathematics (AIM). J. Brian Conrey In this position, he oversees AIM’s operations and Citation helps to initiate programs that further AIM’s goal “The Riemann Hypothesis”, Notices, March 2003, of solving problems through focused collaborative pages 341–353. efforts. The Riemann Hypothesis (RH) has a strong Conrey received his Bachelor of Science from claim to being the outstanding open problem in Santa Clara University in 1976 and his doctorate mathematics. Much has been written about RH, from the University of Michigan in 1980. He con- but rarely with anything like the scope that Conrey ducted his postdoctoral studies at the University of covers in but a dozen Notices pages, outlining the Illinois, 1980–1982, and the Institute for Advanced mathematical context that justifies the importance Study in Princeton, 1982–1983. He was awarded an of RH, key moments in the problem’s 140-plus-year Alfred P. Sloan Fellowship in 1986.
April 2008 Notices of the AMS 491 J. Brian Conrey Shlomo Hoory Nathan Linial Avi Wigderson
Conrey was a mathematics professor at Okla- with many branches. One direction involves un- homa State University, serving as head of the derstanding the relationship of graph expansion department from 1991 to 1997. He joined AIM in to other graph invariants, most notably the second 1997. In 2005 he also became a professor at the largest eigenvalue of its adjacency matrix. Identify- University of Bristol. ing classes of expanders and proving that they are Conrey’s mathematical specialty is number the- indeed expanders involves a variety of techniques ory, and he has a particular interest in the nearly from harmonic analysis, group representation the- 150-year-old Riemann Hypothesis. He has pub- ory, graph theory, and information theory. Expand- lished more than fifty research papers and serves ers have found a variety of applications within the as an editor of the Journal of Number Theory. theory of computing and other fields, from direct Conrey has also helped launch several outreach application to interconnection networks, to more programs for students interested in mathematics, surprising applications such as the problem of including the San Jose Math Circle, MathCounts, understanding the relative power of deterministic and the Math MardiGras in Morgan Hill, and has and randomized computation, the construction of been involved in several Research Experiences computationally efficient error-correcting codes, for Undergraduates programs working with un- and the construction of finite metric spaces that dergraduates doing research. Conrey lives in San cannot be well approximated in Euclidean space. Martin, California, with his wife, Jan. They have These applications confirm that computer science three children: Brianna, Jennifer, and Rick. is an area with problems, techniques, and results Response that engage mathematicians in many fields. I am honored to receive the Levi Conant Prize for This very readable article, “Expander graphs and my article on the Riemann Hypothesis. I really en- their applications”, which appeared in Bull. Amer. joyed working on it and found the endeavor to be Math. Soc. (N.S.) 43 (2006), 439–561, provides a interesting and instructive. I hope that the article thorough overview of these and other develop- will play some small role in the eventual solution ments. It is readily accessible for self-study by of this beautiful problem, perhaps by inspiring a experienced graduate students and, with appro- young mathematician to think about it. priate guidance, could even be appropriate for an I would like to thank the people who helped advanced undergraduate seminar. me with the writing: Harold Boas, Brianna Conrey, Biographical Sketch: Shlomo Hoory David Farmer, Roger Heath-Brown, and K. Sounda- Shlomo Hoory received his Ph.D. in computer sci- rarajan, and with the graphics: Sandra Frost, An- ence in 2002 under Nathan Linial at the Hebrew drew Odlyzko, Mike Rubinstein, and Nina Snaith. University of Jerusalem. His postdoctoral work was done at the University of Toronto and at the Uni- Shlomo Hoory, Nathan Linial, and versity of British Columbia. Currently he is working Avi Wigderson at the IBM Haifa research labs in the Constraint Citation Satisfaction and Machine Learning group. Expander graphs are (finite) graphs that are both Response: Shlomo Hoory sparse and highly connected: a sequence of graphs It is a great honor for me to receive the Conant
Gi of increasing size is a family of expander graphs Prize for my joint paper with Nati Linial and Avi if there is an > 0 such that for each i and each Wigderson. I would like to thank Nati and Avi subset S of Gi , the number of edges from S to its for the pleasure of being a teacher assistant in complement is at least Gi . Since their introduc- their course on expander graphs at the Hebrew tion thirty years ago, the| study| of these graphs University and later for their help and encourage- has blossomed into a substantial area of research ment while I taught the course at the University of
492 Notices of the AMS Volume 55, Number 4 Toronto. Special thanks are due to the students of course whose scribe notes formed the foundation the course who wrote the scribe notes that formed of that paper. Special thanks to Mark Goresky, who the foundation for our paper and to Mark Goresky, convinced us to write it and whose enthusiasm who convinced us to make the effort and turn the and meticulous reading of earlier drafts helped notes into a full-scale review of the subject. Mark get us through the process. Thanks to the many Goresky also assisted us throughout the writing others who read and corrected earlier versions. process. I see great potential in the field of ex- And finally, thanks to the many colleagues and pander graphs for advancing areas in mathematics, collaborators from whom I learned so much in the computer science, and engineering. I hope that our wonderful world of expander graphs. expository paper will make the subject accessible to a wide audience. Biographical Sketch: Nathan Linial Nathan (Nati) Linial was born in Haifa, Israel, in 1953. He received his undergraduate education in mathematics at the Technion. His Ph.D. thesis in graph theory was written under Micha Perles at the Hebrew University of Jerusalem in 1978. Fol- lowing a postdoctoral period at the University of California, Los Angeles, he returned to the Hebrew University to become a professor of computer sci- ence, a position he has held ever since. His main research interests include the mathematical foun- dations of computer science and combinatorics. He is particularly fascinated by the interaction between geometry and combinatorics. In addition, he is interested in mathematical problems that are motivated by other scientific disciplines, such as bioinformatics. Response: Nathan Linial I was first exposed to graph theory in a class for mathematically oriented high school kids. As my mathematical horizons expanded, I came to like the connections between combinatorics and other parts of mathematics. There are few places where these connections shine as brightly as in the study of expander graphs. I believe that the full potential impact of combinatorics on the rest of mathemat- *NQPSUBOU.BUIFNBUJDT+PVSOBMT ics is only starting to reveal itself and the study of expander graphs can give us some idea of the true *OUFSOBUJPOBM+PVSOBMPG/6.#&35)&03: power of these connections. CZ#SVDF$#FSOEU 6OJWFSTJUZPG*MMJOPJTBU6SCBOB Biographical Sketch: Avi Wigderson $IBNQBJHO %JQFOESB1SBTBE 5BUB*OTUJUVUFPG 'VOEBNFOUBM3FTFBSDI BOE.JDIFM8BMETDINJEU Avi Wigderson is a professor at the School of 6OJWFSTJUÏ1JFSSFFU.BSJF$VSJF 1BSJT7* Mathematics, Institute for Advanced Study (IAS), Princeton. He obtained his B.Sc. in computer sci- *OUFSOBUJPOBM+PVSOBMPG."5)&."5*$4 ence from the Technion in 1980 and his Ph.D. from CZ:BTVZVLJ,BXBIJHBTIJ 6OJWPG5PLZP Princeton in 1983. He was a member of the faculty at the Hebrew University in Jerusalem from 1986 +PVSOBMPG."5)&."5*$"--0(*$ to 2003. He joined the permanent faculty of the CZ$IJUBU$IPOH /BUJPOBM6OJWFSTJUZPG4JOHBQPSF 5IFPEPSF"4MBNBOBOE8)VHI8PPEJO IAS in 1999. His research interests lie principally 6OJWFSTJUZPG$BMJGPSOJB #FSLFMFZ in complexity theory, algorithms, randomness, and cryptography. His awards include the Nevanlinna +PVSOBMPG):1&3#0-*$%*''&3&/5*"- Prize (1994). &26"5*0/4 Response: Avi Wigderson CZ1IJMJQQF(-F'MPDI 6OJWFSTJUZPG1BSJT7* BOE I am honored to receive the Conant Prize for my +(-JV 6OJWFSTJUZPG.BSZMBOE $PMMFHF1BSL joint paper with Shlomo Hoory and Nati Linial. 3FHJTUFSOPX!8PSME4DJ/FUDPNBOECFJOGPSNFEXIFOOFX Many thanks are in order. First and foremost, to JTTVFTPSBSUJDMFTPGZPVSQFSTPOBMJOUFSFTUBSFQVCMJTIFE Nati and Shlomo for the pleasure of teaching to- gether (at the Hebrew University) the course which resulted in this manuscript and for the big effort of writing it. Thanks to the many students of this
April 2008 Notices of the AMS 493 2008 Morgan Prize
The 2008 AMS-MAA-SIAM Frank and Princeton University with high honors. He also Brennie Morgan Prize for Outstand- received the mathematics department’s Peter ing Research in Mathematics by an Greenberg Prize, which honors outstanding math- Undergraduate Student was awarded ematical accomplishments. at the Joint Mathematics Meetings in This award is based principally on four im- San Diego in January 2008. pressive papers in algebraic number theory, two The Morgan Prize is awarded annu- ally for outstanding research in math- of them individual and two with other authors. ematics by an undergraduate student (Coauthors of the joint papers were careful to (or students having submitted joint highlight Kaplan’s substantial contributions.) At work). Students in Canada, Mexico, or least three of these papers have been accepted the United States or its possessions for publication in such venues as the Journal of are eligible for consideration for the Number Theory, the Journal of Algebra and Its prize. Established in 1995, the prize Applications, and Acta Arithmetica. Concerning Nathan Kaplan was endowed by Mrs. Frank (Brennie) Nathan’s paper “Flat cyclotomic polynomials of Morgan of Allentown, Pennsylvania, order three”, the Journal of Number Theory wrote and carries the name of her late hus- that the work “contains…rather definitive results band. The prize is given jointly by the AMS, the substantially advancing our understanding of cy- Mathematical Association of America (MAA), and clotomic polynomials of order three.” Another rec- the Society for Industrial and Applied Mathematics ommender observed that this and related work of (SIAM) and carries a cash award of US$1,000. Kaplan demonstrates “remarkable creativity [and] Recipients of the Morgan Prize are chosen by a technical facility…[and] will provide researchers joint AMS-MAA-SIAM selection committee. For the new tools.” 2008 prize, the members of the selection commit- Kaplan participated in three summer REU [Re- tee were Kelly J. Black, James H. Curry, Karen E. search Experiences for Undergraduates] programs Smith, Kannan Soundararajan, Judy L. Walker, and Paul Zorn (chair). (at Trinity University, Williams College, and the Previous recipients of the Morgan Prize are University of Minnesota-Duluth) during his un- Kannan Soundararajan (1995), Manjul Bhargava dergraduate career and produced publishable, (1996), Jade Vinson (1997), Daniel Biss (1998), professional-level work at all three. One of his Sean McLaughlin (1999), Jacob Lurie (2000), Ciprian supervisors described him as the most outstanding Manolescu (2001), Joshua Greene (2002), Melanie undergraduate with whom he had worked. Another Wood (2003), Reid Barton (2005), Jacob Fox (2006), supervisor described Kaplan as an extraordinary and Daniel Kane (2007). student—brilliant, friendly, outgoing, polite, and fun to work with. All of his recommenders, and The 2008 Morgan Prize was awarded to this committee, fully expect Kaplan to become a Nathan Kaplan. The text that follows presents very successful research mathematician. the selection committee’s citation, a brief bio- graphical sketch, and the awardee’s response upon receiving the prize. Biographical Sketch Nathan Kaplan was raised in Brooklyn, New York, Citation and began taking mathematics classes at Colum- Nathan Kaplan has been named the recipient of bia University while in high school. He graduated the 2008 Morgan Prize for Outstanding Research in June 2007 with a degree in mathematics from by an Undergraduate. He graduated in 2007 from Princeton University and is currently at Cambridge
494 Notices of the AMS Volume 55, Number 4 08CIQ05_E_3.25x9.5_E.qxd 2/18/08 6:03 PM Page 1
University doing Part III of the Mathematical Tri- pos. His first research experience was in the sum- NATIONAL SECURITY AGENCY mer of 2004 at the Trinity University REU program NSA studying numerical monoids with Scott Chapman. The following summer he worked in the algebraic number theory group at the Williams College SMALL program under the direction of Allison Pacelli. In 2006 Kaplan attended Joe Gallian’s REU at the University of Minnesota-Duluth and studied cyclotomic polynomials. This past sum- mer he returned to the Trinity REU and worked If you want to as a graduate assistant. He also participated in independent research at Princeton with Ramin make a career out Takloo-Bighash, who has advised him since his of solving complex first week on campus. mathematical Next fall he will begin the mathematics Ph.D. challenges, join program at Harvard University on a National Sci- ence Foundation Graduate Fellowship. He plans to NSA as a study algebraic number theory. He is enthusiastic Mathematician. about teaching and has been active in tutoring since high school. Outside of math he is a dedi- cated New York Mets fan, enjoys theater and film, At NSA you can bring the power of Mathematics and once bowled a 162. to bear on today's most distinctive challenges and Response problems. We identify structure within the chaotic, and discover patterns among the arbitrary. You I am very honored to be selected for the 2008 Mor- will work with the finest minds and the most gan Prize. I would like to thank Mrs. Frank Morgan for endowing the award and the AMS, MAA, and powerful technology. SIAM for sponsoring it. I am very grateful to all of my advisers who have taught me what research is all about: Ramin Takloo-Bighash and Manjul Make the move Bhargava at Princeton, Scott Chapman at Trinity that puts your University, Allison Pacelli at Williams, and Joe Gal- math intelligence lian at the University of Minnesota-Duluth. I owe a to work. Apply lot of thanks to the other students I worked with at summer REU programs and also to the students to NSA. in my problem set groups at Princeton for helping me get the most out of my academic experiences. I would also like to thank my friends in Princeton, WHERE INTELLIGENCE GOES TO WORK ® NYC, and elsewhere for giving me something to do when I needed a mathematical break. Most impor- DISCIPLINES tantly, I must thank my parents for their love and > Number Theory > Finite Field Theory support and for giving me so many opportunities > Probability Theory > Combinatorics to succeed. > Group Theory > Linear Algebra > Mathematical Statistics > and More
Visit our Web site for a complete list of current career opportunities.
Your perspective. Your culture. Your intelligence.
U.S. citizenship is required. NSA is an Equal Opportunity Employer and abides by applicable employment laws and regulations. Rubik’s Cube® is used by permission of Seven Towns Ltd. www.rubiks.com www.NSA.gov/Careers
April 2008 Notices of the AMS 495 D E G R U Y T E R Just published n Homotopy of Extremal Problems Theory and Applications Hans-Otto Georgii By Stanislav V. Emelyanov / n Stochastics Sergey K. Korovin / Nicolai A. Introduction to Probability and Bobylev / Alexander V. Bulatov Statistics September 2007. XI, 303 pages. Hardcover. € [D] 128.00 / sFr 205.00 / *US$ 158.00. Transl. by Marcel Ortgiese / Ellen ISBN 978-3-11-018942-1 Baake / Hans-Otto Georgii Series: de Gruyter Series in Nonlinear Analysis February 2008. Approx. IX, 370 pages. and Applications 11 Paperback. € [D] 39.95 / sFr 64.00 / *US$ 49.00. n Banach Spaces and their ISBN 978-3-11-019145-5 Series: de Gruyter Textbook Applications in Analysis In Honor of Nigel Kalton’s 60th n Combinatorial Number Birthday Theory Ed. by Beata Randrianantoanina / Proceedings of the ‘Integers Narcisse Randrianantoanina Conference 2005’ in Celebration September 2007. IX, 453 pages. 1 frontis- piece. Hardcover. of the 70th Birthday of Ronald € [D] 138.00 / sFr 221.00 / *US$ 158.00. Graham, Carrollton, Georgia, ISBN 978-3-11-019449-4 October 27-30, 2005 Series: de Gruyter Proceedings in Mathematics Ed. by Bruce Landman / P. A. Krylov / A. A. Tuganbaev Melvyn Nathanson / Jaroslav n Nešetril / Richard Nowakowski / Modules over Discrete Carl Pomerance Valuation Domains March 2007. IX, 489 pages. 1 frontispiece. January 2008. Approx. IX, 357 pages. Hardcover. Hardcover. € [D] 128.00 / sFr 205.00 / *US$ 168.00. € [D] 168.00 / sFr 269.00 / *US$ 186.00. ISBN 978-3-11-020053-9 ISBN 978-3-11-019029-8 Series: de Gruyter Expositions in Mathematics 43 Series: de Gruyter Proceedings in Mathematics
New Journal starting in 2008
n Advances in Calculus of n Journal of Mathematical Variations Cryptology Managing Editors: Frank Duzaar, Managing Editors: Erlangen, Germany / Spyros Magliveras, Boca Raton, Nicola Fusco, Naples, Italy USA / Rainer Steinwandt, Boca ISSN (Print) 1864-8258 Raton, USA / Tran van Trung, ISSN (Online) 1864-8266 Essen, Germany Annual Subscription Rates for 2008: Four issues per year (approx. 400 pages). ISSN 1862-2976 (Print) Print only or online only: ISSN 1862-2984 (Online) € 294.00 / US$* 435.00 Subscription Rates for Volume 2 (2008): Print + Online: € 338.00 / US$* 500.00 Four issues per year (approx. 400 pages). Single issue: € 80.00 / US$* 118.00 Print only or online only : www.degruyter.com/journals/acv € 300.00, *US$ 375.00 Print + Online: € 345.00, *US$ 431.00 Single Issue: € 81.00, *US$ 120.00 www.degruyter.com/journals/jmc
* for orders placed in North America. Prices are subject to change. www.degruyter.de Prices do not include postage and handling. 2008 Cole Prize in Number Theory
The 2008 Frank Nelson Cole Prize in Number Citation Theory was awarded at the 114th Annual Meeting Professor Manjul Bhargava of Princ- of the AMS in San Diego in January 2008. eton University is cited for his revo- The Cole Prize in Number Theory is awarded lutionary work on higher composition every three years for a notable research memoir laws. His series of articles on this in number theory that has appeared during the subject introduced completely new previous five years. The awarding of this prize and unexpected ideas into a subject alternates with the awarding of the Cole Prize in that began with work of Carl Friedrich Algebra, also given every three years. These prizes Gauss in 1801. were established in 1928 to honor Frank Nelson At that time, Gauss anticipated Cole (1861–1926) on the occasion of his retirement the modern theory of abelian groups as secretary of the AMS after twenty-five years of by constructing a law of composition service. He also served as editor-in-chief of the on the set of equivalence classes Bulletin for twenty-one years. The endowment was of binary quadratic forms of given Manjul Bhargava made by Cole, contributions from Society mem- discriminant. By the end of the nine- bers, and his son, Charles A. Cole. The Cole Prize teenth century, the fundamental con- carries a cash award of US$5,000. cept of an abstract group allowed one to view the The Cole Prize in Number Theory is awarded system of equivalence classes of binary quadratic by the AMS Council acting on the recommenda- forms of given discriminant as the “ideal class tion of a selection committee. For the 2008 prize group” of a quadratic field. Once this recasting the members of the selection committee were: of Gauss’s work became established, Gauss’s “law Nicholas M. Katz, Kenneth A. Ribet (chair), and of composition” became something of a curios- Alice Silverberg. ity—evidence of how a brilliant mathematician can Previous recipients of the Cole Prize in Number uncover a fundamental phenomenon even without Theory are: H. S. Vandiver (1931), Claude Chevalley the right tools to think about it. (1941), H. B. Mann (1946), Paul Erdo˝s (1951), John T. Bhargava’s original and surprising contribution Tate (1956), Kenkichi Iwasawa (1962), Bernard M. is the discovery of laws of composition on forms of Dwork (1962), James B. Ax and Simon B. Kochen higher degree. His techniques and insights into this (1967), Wolfgang M. Schmidt (1972), Goro Shimura question are dazzling; even in the case considered (1977), Robert P. Langlands (1982), Barry Mazur by Gauss, they lead to a new and clearer presenta- (1982), Dorian M. Goldfeld (1987), Benedict H. tion of that theory. If Bhargava had stopped with Gross and Don B. Zagier (1987), Karl Rubin (1992), this discovery, his work would already be quite Paul Vojta (1992), Andrew J. Wiles (1997), Henryk remarkable. But Bhargava has gone on to use his Iwaniec (2002), Richard Taylor (2002), and Peter composition laws to solve a new case of one of the Sarnak (2005). fundamental questions of number theory, that of The 2008 Cole Prize in Number Theory was asymptotic enumeration of number fields of given awarded to Manjul Bhargava. The text that fol- degree as the discriminant grows. The question lows presents the selection committee’s citation, is trivial for degree 1, and the quadratic case was a brief biographical sketch, and the awardee’s solved by Gauss’s work. Davenport and Heilbronn response upon receiving the prize.
April 2008 Notices of the AMS 497 treated the cubic case in 1971. Bhargava used and generosity and for always being available to his new composition laws to solve the degree 4 discuss interesting mathematics! case, brilliantly overcoming very serious analytic I thank the Department of Mathematics at Prince problems that had completely blocked all previous ton University for providing me with a wonder- work on the problem. ful work environment and the Clay Mathematics Institute and the Packard Foundation for funding Biographical Sketch my work. Manjul Bhargava was born in Hamilton, Ontario, The papers cited above build on ideas that go Canada, but spent most of his early years in Long way back, starting with the mathematical works Island, New York. He received his A.B. in mathemat- of Brahmagupta, Gauss, Dirichlet, Eisenstein, and ics summa cum laude from Harvard University in Dedekind and leading up to the works of modern 1996 and his Ph.D. from Princeton University in mathematicians such as Delone-Faddeev, Daven- 2001. After holding visiting positions at the Math- port-Heilbronn, Sato-Kimura, Wright-Yukie, and ematical Sciences Research Institute in Berkeley, Gan-Gross-Savin. I gratefully acknowledge my indebtedness to all these mathematicians! the Institute for Advanced Study in Princeton, Perhaps I should also take this opportunity to and Harvard University, he joined the faculty at thank here Erno Rubik for making his cube! Princeton University as professor of mathematics Finally, I thank my family for all their love and in 2003. He was also named the Clay Mathematics support. Institute’s first Five-Year Long-Term Prize Fellow in 2001. An accomplished tabla player whose research interests span number theory, combina- torics, and representation theory, Bhargava has received numerous awards and honors, including the Hoopes Prize for Excellence in Scholarly Work and Research from Harvard University (1996), the AMS-MAA-SIAM Frank and Brennie Morgan Prize for Outstanding Undergraduate Research in Math- ematics (1997), the MAA Merten M. Hasse Prize for Exposition (2003), the Packard Foundation Fellow- ship in Science and Engineering (2004), the Clay Research Award (2005), the SASTRA Ramanujan Prize (2005), and the Blumenthal Award for the Advancement of Research in Pure Mathematics (2005). He has been a three-time recipient of the Derek Bok Award for Excellence in Teaching and was named one of Popular Science magazine’s “Brilliant 10” in 2002. Bhargava was an invited speaker at the International Congress of Mathema- ticians in Madrid in 2006 and has given numerous other invited addresses, colloquia, seminars, and public lectures at colleges and universities across North America and Europe.
Response I am very grateful and honored to be the recipient of the 2008 Cole Prize. During the past few years I have had the good fortune of interacting with many wonderful mathematicians (both faculty and students) whose friendship and wisdom have been a constant source of inspiration for me. I would like to thank them all. In particular, I wish to express my deep gratitude to my graduate school teachers, Andrew Wiles, Peter Sarnak, and John Conway; and my undergraduate teachers and mentors, Dick Gross, Barry Mazur, Persi Diaconis, Joe Gallian, and Dave Cargo, from whom I have learned (and con- tinue to learn!) so much and by whom I have been constantly inspired. I am also extremely grateful to Hendrik Lenstra and Don Zagier for their kindness
498 Notices of the AMS Volume 55, Number 4 2008 Bôcher Prize
The 2008 Maxime Bôcher Memorial Prize was hyperbolic conservation laws. Professor Bressan awarded at the 114th Annual Meeting of the AMS has made important contributions to the well- in San Diego in January 2008. posedness theory; the results have been sum- Established in 1923, the prize honors the mem- marized in his monograph Hyperbolic Systems of ory of Maxime Bôcher (1867–1918), who was the Conservation Laws. The One-Dimensional Cauchy Society’s second Colloquium Lecturer in 1896 and Problem (Oxford Lecture Series in Mathematics who served as AMS president during 1909–1910. and Its Applications, 20, Oxford University Press, Bôcher was also one of the founding editors of Oxford, 2000, xii + 250 pp.). Another landmark Transactions of the AMS. The original endowment achievement is the work on zero dissipation limit was contributed by members of the Society. The (with Stefano Bianchini), “Vanishing viscosity so- prize is awarded for a notable paper in analysis lutions of nonlinear hyperbolic systems”, Ann. of published during the preceding six years. To be Math. (2) 161 (2005), no. 1, 223–342. eligible, the author should be a member of the Biographical Sketch AMS or the paper should have been published in Alberto Bressan was born in Venice, Italy. He com- a recognized North American journal. The prize is pleted his undergraduate studies at the University given every three years and carries a cash award of Padova, Italy, and received a Ph.D. from the of US$5,000. University of Colorado, Boulder, in 1982. He has The Bôcher Prize is awarded by the AMS Coun- held faculty positions at the University of Colorado cil acting on the recommendation of a selection and at the International School for Advanced Stud- committee. For the 2008 prize the members of ies in Trieste, Italy. Presently he holds the Eberly the selection committee were: Peter S. Constantin, Chair Professor of Mathematics at Pennsylvania Tai-Ping Liu (chair), and Elias M. Stein. State University. His scientific interests lie in the Previous recipients of the Bôcher Prize are: areas of differential inclusions, control theory, dif- G. D. Birkhoff (1923), E. T. Bell (1924), Solomon ferential games, partial differential equations, and Lefschetz (1924), J. W. Alexander (1928), Mar- hyperbolic systems of conservation laws. He gave ston Morse (1933), Norbert Wiener (1933), John a plenary lecture at the International Congress of von Neumann (1938), Jesse Douglas (1943), A. C. Mathematicians, Beijing, 2002. In 2006 he received Schaeffer and D. C. Spencer (1948), Norman the A. Feltrinelli Prize for Mathematics, Mechanics, Levinson (1953), Louis Nirenberg (1959), Paul and Applications from the Accademia Nazionale J. Cohen (1964), I. M. Singer (1969), Donald S. dei Lincei in Rome. Besides mathematics he enjoys Ornstein (1974), Alberto P. Calderón (1979), playing piano and flute. He lives in State College, Luis A. Caffarelli (1984), Richard B. Melrose Pennsylvania, with his wife, Wen Shen, and two (1984), Richard M. Schoen (1989), Leon Simon daughters, Luisa Mei and Maria Lan. (1994), Demetrios Christodoulou (1999), Sergiu Response Klainerman (1999), Thomas Wolff (1999), Daniel It is a great honor for me to receive this prize. Tataru (2002), Terence Tao (2002), Fanghua Lin It was also a pleasant surprise to discover that (2002), and Frank Merle (2005). my name is now listed among the 1,631 direct The 2008 Bôcher Prize was awarded to Alberto descendents of Maxime Bôcher listed in the Math Bressan, Charles Fefferman, and Carlos Kenig. Genealogy Project. The text that follows presents, for each awardee, When I first became interested in hyperbolic the selection committee’s citation, a brief bio- conservation laws in the 1980s, my main train- graphical sketch, and the awardee’s response upon ing had been in other fields: parabolic equations, receiving the prize. differential inclusions, and control theory. But as a fresh Ph.D. recipient, I was intrigued by the Alberto Bressan fact that something apparently so basic as the Citation well-posedness of the equations for gas dynam- Alberto Bressan of Penn State University is awarded ics could have remained an open problem for so the Bôcher Prize for his fundamental works on many years.
April 2008 Notices of the AMS 499 Alberto Bressan Charles Fefferman Carlos Kenig
The key estimates needed to establish con- 509–577, and “Whitney’s extension problem for tinuous dependence of solutions were something Cm”, Annals of Math. 164 (2006), 313–359. I could figure out fairly quickly. However, it took Biographical Sketch me nearly ten years to fix details and achieve a Charles Fefferman was born in Washington, D.C., rigorous proof in some significant cases. When I at- in 1949. He received his B.S. at the University of tended my first hyperbolic meeting in Stony Brook Maryland in 1966 and his Ph.D. at Princeton in in 1994, I was still an outsider. Within the research 1969 under E. M. Stein. He taught at Princeton from community on hyperbolic problems I found very 1969 to 1970, at the University of Chicago from friendly and encouraging people. One can now say 1970 to 1974, and again at Princeton since 1974. that the well-posedness for hyperbolic conserva- Fefferman has worked in classical Fourier analy- tion laws in one space dimension has really been sis, partial differential equations, several complex a cooperative accomplishment. In particular, the variables, conformal geometry, quantum mechan- ideas contributed by Tai Ping Liu and Tong Yang ics, fluid mechanics, and computational geometry. have been instrumental in creating the polished His honors include the Salem Prize, the Waterman theory we now have. Award, the Fields Medal, the Bergman Prize, and Understanding vanishing viscosity approxima- several honorary doctorates. He has served as tions was a second major challenge. This was chairman of the Princeton mathematics depart- achieved in 2001 in joint work with Stefano Bi- ment and currently chairs the board of trustees anchini at the International School for Advanced of the Mathematical Sciences Research Institute in Studies in Trieste. Bianchini was the kind of stu- Berkeley. He is a member of the American Academy dent that you can call yourself fortunate if you find of Arts and Sciences, the National Academy of Sci- one in a lifetime. He took up my research program ences, and the American Philosophical Society. and contributed a new and fundamental idea: using the center manifold theorem to decompose a solu- Response tion as local superposition of traveling waves. He I am grateful for my selection for the Bôcher Prize also found the energy and determination to push and for the recognition of my work on Whitney’s his way through an incredible amount of computa- problem. That question and its close relatives tional details, eventually completing the proof. have fascinated me for years. In solving them, I’ve In the end, all this is far beyond anything I could had crucial help in the form of beautiful, highly have hoped for when I first started reading about original ideas due to several people. Let me men- conservation laws and the Glimm scheme in Joel tion especially G. Glaeser, who invented a key Smoller’s book. I am delighted to receive this prize, geometric construction; E. Bierstone, P. Milman, and I thank the American Mathematical Society for and W. Pawłucki, who discovered a general form the award. of Glaeser’s construction; and Y. Brudnyi and P. Shvartsman, who conjectured a basic finiteness Charles Fefferman principle and proved it in the first hard case. Citation It has been a joy to collaborate with Bo’az Klar- Charles Fefferman of Princeton University is tag on the effective finite version of Whitney’s awarded the Bôcher Prize for his many fundamen- problem, which I hope will one day connect to ap- tal contributions to different areas of analysis, plied problems. Bo’az’s brilliant ideas (he insists including his recent work on the Whitney exten- they are obvious) have gotten us out of many an sion problem. His important work in this area is impasse. contained in his papers “A sharp form of Whitney’s Most of all, I am grateful that I can share the extension theorem”, Annals of Math. 161 (2005), pleasure of this occasion with my wife, Julie.
500 Notices of the AMS Volume 55, Number 4 Carlos Kenig and Antoni Zygmund (both now deceased), who introduced me as a graduate student to the Citation Calderón-Zygmund school of analysis. Eli Stein Carlos Kenig of the University of Chicago is awarded the Bôcher Prize for his important con- was my postdoctoral mentor, and I have greatly tributions to harmonic analysis, partial differential profited from many mathematical discussions with equations, and in particular to nonlinear dispersive him and from his continued support and encour- PDE. Kenig’s work has been influential in the analy- agement. The late Gene Fabes introduced me to re- sis of well-posedness under minimal regularity as- search in partial differential equations; he was my sumptions for physical equations. Examples of this mentor, collaborator, and dear friend. I continue to work include his seminal paper with G. Ponce and miss him. I am also particularly indebted to David L. Vega, “Well-posedness and scattering results for Jerison and to the late Björn Dahlberg for their generalized Korteweg-de Vries equations via the influence on me early on in my career. The three contraction principle”, Comm. Pure Appl. Math. 46 papers cited by the selection committee are joint (1993), 527–620; his remarkable work with A. Io- works. I am very thankful to Gustavo Ponce, Luis nescu, “Global well-posedness of the Benjamin-Ono Vega, Alex Ionescu, and Frank Merle, my coauthors equation in low regularity spaces”, J. Amer. Math. in the cited papers, for their fundamental contri- Soc. 20 (2007), 3, 753–798; and his outstanding butions to these joint works, without which these work with F. Merle, “Global well-posedness, scat- projects could not have been carried out. Finally, I tering and blow-up for the energy critical focusing would like to thank the University of Chicago, my nonlinear wave equation”, to appear, Acta Math. home institution for more than twenty years, for Biographical Sketch providing me with the excellent working conditions Carlos E. Kenig was born on November 25, 1953, in which my research is carried out. in Buenos Aires, Argentina, where he received The use of harmonic analysis techniques his early education. He obtained his Ph.D. at the in the study of nonlinear dispersive equations University of Chicago in 1978 under the direction was pioneered in works of I. Sigal, R. Strichartz, of Alberto Calderón. From 1978 to 1980 he was J. Ginibre-G. Velo, and T. Kato. In the late 1980s in an instructor at Princeton University, after which joint work with Ponce and Vega, we introduced the he held positions at the University of Minnesota, use of the machinery of modern harmonic analysis becoming professor in 1983. In 1985 he returned for the study of nonlinear dispersive equations to the University of Chicago, where he now is the with derivatives in the nonlinearity. We showed for Louis Block Distinguished Service Professor. the first time that the initial value problem for the Kenig has been a recipient of Sloan and Gug- generalized Korteweg-de Vries equation with data genheim Fellowships. In 1984 he was awarded in Sobolev spaces can be solved by the contrac- the Salem Prize. He was an invited speaker at tion mapping principle. In doing so, we obtained the International Congress of Mathematicians in results that (for many powers in the nonlinearity) Berkeley (1986) and in Beijing (2002). Since 2002 turned out to give the minimal regularity assump- he has been a fellow of the American Academy of tions on the data for which this can be done. This Arts and Sciences. was not the case with our first results for the Kenig’s current research interests include quadratic nonlinearity in the KdV equation. Here, boundary value problems under minimal regular- fundamental work of J. Bourgain (1993) expanded ity conditions, degenerate diffusions, free bound- the functional framework for the use of the con- ary problems, inverse problems, and nonlinear traction mapping principle in this setting. This dispersive equations. eventually led, in joint work with Ponce and Vega Response (1996), to the minimal regularity result for this It is a great honor to be a corecipient of this year’s case too. The resulting body of techniques (with Bôcher Memorial Prize. I am grateful to the Ameri- refinements and extensions by many authors) has can Mathematical Society and to the selection proved extremely powerful in many problems and committee for their recognition of my research. I settings and has attracted the attention of a large would like to thank my family—my wife, Sarah, and community of researchers. my daughters, Lucy and Anna—for their love and In recent years I have been interested in some support throughout the years. I would also like to natural equations for which there is an exact bal- thank my teachers, my many collaborators, and my ance between the smoothing properties of the lin- students, all of whom have shared many insights ear part and the strength of the nonlinearity, which with me. I am especially indebted to my long-time precludes the direct application of the techniques collaborators Gustavo Ponce and Luis Vega for described before. The Benjamin-Ono equation is more than twenty years (and still counting) of joint one such model. For this equation, examples of work, friendship, and shared fun. Molinet-Saut-Tzvetkov (2001) show that it is not There are many people who have influenced possible to use the contraction mapping principle my mathematical career to whom I owe thanks, on any Sobolev space. After an important con- beginning with Alberto Calderón, my advisor, tribution by Tao (2004), who introduced a gauge
April 2008 Notices of the AMS 501 transform into the problem (with a further exten- sion by Burq-Planchon (2005) simultaneous to our work), Ionescu and I were able to obtain the conjectured global well-posedness for data of finite mass. This was achieved by combining the gauge transform of Tao with some new function spaces inspired by earlier work of Tataru in the wave map problem. These new functional structures have since proved useful for Schrödinger maps in joint works with Ionescu and with Bejenaru and Ionescu. Multiplying Lately there has been considerable interest in the study (for nonlinear dispersive and wave equations) of the long-time behavior of solutions. Mathematics Issues like blow-up, global existence, and scat- tering have come to the forefront, especially in critical problems. The case of the energy critical, Research defocusing nonlinear wave equation was studied in pioneering works of many researchers in the 1980s and 1990s. (For instance M. Struwe (radial case), With fi ve new titles in 2008, including M. Grillakis (general case), J. Shatah-M. Struwe, three published on behalf of the Australian H. Bahouri-J. Shatah, H. Bahouri-P. Gerard, and Mathematical Society. others.) These works show that for general data in the energy space we have global existence and scattering. Corresponding results for the energy critical, defocusing nonlinear Schrödinger equa- tions were obtained in groundbreaking works of Bourgain (radial case, 1998), Colliander-Keel- Staffilani-Takaoka-Tao (general three-dimensional case), with higher-dimensional extensions due to Ryckman-Visan and to Visan (2005). For the cor- responding focusing problems, say in the case of the wave equation, H. Levine (1974) had shown that blow-up in finite time can occur. Moreover, there The ANZIAM Journal rapidly publishes papers is a stationary solution W (which solves the corre- sponding elliptic problem and plays an important in any fi eld of applied mathematics and related role in the Yamabe problem). For this solution, mathematical sciences. scattering obviously does not occur. In a series of joint works with Merle, partly inspired by the elliptic case and also by works of Merle and Martel- Bulletin of the Australian Mathematical Society Merle in mass critical problems, we have developed aims at quick publication of original research an approach to critical dispersive problems that in all branches of mathematics. applies to defocusing and for the first time also to focusing problems. The approach goes through a concentrated compactness procedure that reduces Journal of the Australian Mathematical Society matters to a rigidity theorem. For instance, for is the oldest journal of the Society and is well the case of the energy critical focusing nonlinear wave equation, we show that the energy of W is a established in its coverage of all areas of pure threshold. For data of energy smaller than that of mathematics and mathematical statistics. W , if the critical Sobolev norm is smaller than the one of W , we have global existence and scattering; while if it is bigger, there is finite time blow-up. There are many natural directions for future Find out more about these titles at research in the areas just described. I look forward journals.cambridge.org/ams08 to continued research in them. I thank the selection committee once more for honoring these lines of research.
journals.cambridge.org
502 Notices of the AMS Volume 55, Number 4 2008 Doob Prize
The 2008 Joseph Doob Prize was awarded at the The book also develops the extraordi- 114th Annual Meeting of the AMS in San Diego in nary work of Zhang and others on the January 2008. Bogomolov conjecture, puts forward an This prize was established by the AMS in elegant approach to Hilbert irreducibil- 2003 and endowed in 2005 by Paul and Virginia ity, and includes a detailed discussion Halmos in honor of Joseph L. Doob (1910–2004). of the Nevanlinna-Vojta theory. There Paul Halmos (1916–2006) was Doob’s first Ph.D is a lovely exposition of the important student. Doob received his Ph.D. from Harvard theory of unit equations and a most in 1932 and three years later joined the faculty brilliant discussion of the Subspace at the University of Illinois, where he remained Theorem of Schmidt and Schlickewei, until his retirement in 1978. He worked in prob- as well as the possibilities afforded by ability theory and measure theory, served as AMS the abc-conjecture and further develop- president in 1963–1964, and received the Steele ments along these lines. Enrico Bombieri Prize in 1984. The Doob Prize recognizes a single, The book is self-contained, yet sur- relatively recent, outstanding research book that prisingly accessible given the depth of makes a seminal contribution to the research lit- the material. Links between classical erature, reflects the highest standards of research Diophantine arithmetic and modern exposition, and promises to have a deep and long- arithmetic geometry are emphasized term impact in its area. The book must have been throughout the text in an appealing published within the six calendar years preceding way. There are well-constructed ap- the year in which it is nominated. Books may be pendices on key technical issues such nominated by members of the Society, by members as basic algebraic geometry, algebraic of the selection committee, by members of AMS ramification theory, and the geometry editorial committees, or by publishers. The prize of numbers (a subject which is going of US$5,000 is given every three years. through a revival at the moment). The Doob Prize is awarded by the AMS Coun- One gets the sense that every lemma, cil acting on the recommendation of a selection every theorem, every remark has been Walter Gubler committee. For the 2008 prize, the members of carefully considered, and every proof the selection committee were Andrew Granville, has been thought through in every de- Robin Hartshorne, Steven G. Krantz, Dale P. Rolfsen tail. There are well-chosen illuminating (chair), and Bhama Srinivasan. examples throughout every chapter. The book is The previous recipient of the Doob Prize is Wil- a masterpiece in terms of its original approach, liam P. Thurston. its unrivaled comprehensiveness, and the sheer The 2008 Doob Prize was awarded to Enrico elegance of the exposition. There can be no doubt Bombieri and Walter Gubler. The text that fol- that this book will become the basis for the future lows presents the selection committee’s citation development of this central subject of modern and, for each awardee, a brief biographical sketch mathematics. and the awardee’s response upon receiving the Biographical Sketch: Enrico Bombieri prize. Enrico Bombieri was born in Milan, Italy, in 1940. Citation He started studying mathematics, and in particu- Heights in Diophantine Geometry, by Enrico Bom- lar number theory, at an early age with Giovanni bieri and Walter Gubler (Cambridge University Ricci. He graduated from the University of Milan in Press, 2006). 1963 and became assistant professor there imme- The book is a research monograph on all aspects diately after. He spent the next year in Cambridge, of Diophantine geometry, both from the perspec- England, working with Davenport and Swinnerton- tive of arithmetic geometry and of transcendental Dyer, studying geometry over finite fields and the number theory. The key emphasis is on the (deli- distribution of prime numbers. He became a full cate) theory of heights, which is developed with professor in 1965, with his first appointment at the extraordinary precision and elegance. University of Cagliari and in 1966 at the University The choice of subjects is broad and gives the of Pisa. In 1975 he moved to the Scuola Normale sense of a powerful body of ideas. The great results Superiore in Pisa and in 1977 joined the School of of arithmetic geometry, the theorems of Mordell- Mathematics of the Institute for Advanced Study Weil, Roth, Siegel, and Faltings, are all proved with in Princeton as a full professor. He became a U.S. a consistent, remarkably accessible point of view. citizen in 1994.
April 2008 Notices of the AMS 503 He was elected a member of the U.S. National They formed an excellent basis for an introductory Academy of Sciences in 1965 and of the Accademia course, so it was decided to expand them to book Nazionale dei Lincei, Italy, in 1976; fellow of the form. Walter collaborated enthusiastically in the American Academy of Arts and Sciences in 1979; writing, and after a short while when the rough foreign member of the Institut de France, Aca- notes expanded well beyond the initial text in order démie des Sciences in 1984; foreign member of to include more and more foundational material the Royal Swedish Academy of Sciences in 1982; as well as complements to the main theory, he honorary member of the London Mathematical became a coauthor. The unifying theme would be Society in 1977; Chevalier de l’Ordre des Palmes the theory of heights and its application to Dio- Académiques, France, in 1993; Doctor Honoris phantine geometry on commutative groups. Causa, University of Pisa, in 2001; and Cavaliere Without Walter, this book could not have been di Gran Croce al Merito della Repubblica, Italy, in written. 2002. He received the Fields Medal at the Inter- It was a long task to write up and organize the national Congress of Mathematicians in 1974 in material, and in the meantime the subject itself Vancouver, the Feltrinelli Prize in 1976, and the kept growing and we had to play a catch-up game. Balzan Prize in 1980. His first studies in number So it took almost twelve years to write and revise theory were with Giovanni Ricci and Davenport the book. It was not the first one on the subject, and in algebraic geometry with Swinnerton-Dyer and there were already several other excellent and Aldo Andreotti. During his tenure in Pisa he monographs where one could learn the subject. was initiated into the theory of partial differential So why one more book? For me, writing this book equations and minimal surfaces by Guido Stampac- was like preparing carefully a series of lectures to chia and Ennio De Giorgi. bright students, and I received a lot of satisfaction His main interests in number theory are prime doing it. Now it is time for it to go out and establish number theory, zeta functions, Diophantine geom- its little place in the mathematical world, with the etry, and Diophantine approximation; in analysis, hope that it will be well received and prove itself complex function theory in one and several variables, to be useful to young mathematicians entering the minimal surfaces, and geometric measure theory; in beautiful subject of Diophantine geometry and algebraic geometry, geometry over finite fields, arith- arithmetic geometry. metic geometry, and classification problems. He is the author of two short monographs, a Biographical Sketch: Walter Gubler comprehensive monograph (with Walter Gubler) Walter Gubler was born October 30, 1965, in Olten, on the theory of heights in Diophantine geometry, Switzerland. He received his diploma in mathemat- and over 160 research papers published in lead- ics at the Eidgenössisches Technische Hochschule ing mathematical journals. After mathematics his Zürich in 1989. At the same place, he earned his main activities are painting and drawing. Ph.D. in 1992 under Gisbert Wüstholz. For his thesis, Heights of subvarieties, he won the silver Response: Enrico Bombieri medal of the ETH. From 1992 to 1993 he visited It is indeed a great surprise for me, and certainly the Institute for Advanced Study in Princeton. Then a great honor, to receive the Doob Prize for my he held postdoc positions at the ETH Zürich and at book with Walter Gubler on the theory of heights the Humboldt University in Berlin. In 2003 Walter in Diophantine geometry. The origin of this book Gubler received the venia legendi at the ETH for goes back to 1992 after I found a simplification of his habilitation thesis. From 2003 to 2007 he was Vojta’s landmark new proof of the Mordell conjec- a lecturer at the University of Dortmund. Currently ture. I had been invited to give a series of lectures he is BMS substitute professor at the Humboldt to graduate students and young researchers in University in Berlin. Pisa, and I thought it appropriate to give a short course on Diophantine geometry, culminating with Response: Walter Gubler the proof of the Mordell conjecture. This course It is an honour for me to receive the Doob Prize was well received, so when a little later I was asked 2008 together with my coauthor, Enrico Bombieri. by Wüstholz to give a Nachdiplom course to stu- Our book project started with a lecture by Enrico dents at the ETH in Zürich, we quickly agreed that at the ETH Zürich. I had not anticipated that we the same topic would be fine. There was a little would have to invest more than ten years of hard condition, namely, to develop all the material from work to finish this book. On the one hand, new scratch. Walter Gubler, who was then just finishing results came from research, and on the other hand, his Ph.D. thesis with Professor Wüstholz, was given a lot of efforts were necessary to make the book the job of taking notes in the best old-fashioned self-contained. From my point of view, the time European style. was well invested, as I learned so much about the To my great surprise, Walter’s notes were ab- subject and it was great fun to work with Enrico. solutely superb: well organized, clearly written, I wish to thank him for giving me the opportunity amplified in places, and correcting the inaccura- to collaborate. I am very gratified to receive this cies and mistakes I had made during my lectures. prize for all the effort. Thank you.
504 Notices of the AMS Volume 55, Number 4 2008 Eisenbud Prize
The 2008 Leonard Eisenbud Prize for Mathematics in physical string theory can be expressed in and Physics was awarded at the 114th Annual Meet- terms of the topological string; the authors here ing of the AMS in San Diego in January 2008. argue that these amplitudes control the counting The Eisenbud Prize was established in 2006 in of microscopic states of certain electrically and memory of the mathematical physicist Leonard magnetically charged black holes. Black holes and Eisenbud (1913–2004) by his son and daughter-in- enumerative invariants such as Gromov-Witten law, David and Monika Eisenbud. Leonard Eisen- invariants are both intensively studied but had bud, who was a student of Eugene Wigner, was not been significantly related to each other prior particularly known for the book Nuclear Structure to this work. (1958), which he coauthored with Wigner. A friend of Paul Erdo˝s, he once threatened to write a diction- Biographical Sketch: Hirosi Ooguri ary of “English to Erdo˝s and Erdo˝s to English”. He Hirosi Ooguri was born on March 13, 1962, in was one of the founders of the physics department Japan. He attended Gifu High School, whose no- at the State University of New York, Stony Brook, table alumni include Teiji Takagi, who developed where he taught from 1957 until his retirement in class field theory. Ooguri received a B.A. in 1984 1983. His son David was president of the American and an M.S. in 1986 from Kyoto University. Mathematical Society in 2003–2004. The Eisenbud In 1986 Ooguri became an assistant professor at Prize for Mathematics and Physics honors a work the University of Tokyo. After a year at the Institute or group of works that brings the two fields closer for Advanced Study in Princeton, he moved to the together. Thus, for example, the prize might be University of Chicago as an assistant professor in given for a contribution to mathematics inspired 1989. In the same year he was awarded an Sc.D. by modern developments in physics or for the de- from the University of Tokyo. A year later he re- velopment of a physical theory exploiting modern turned to Japan as an associate professor at the mathematics in a novel way. The US$5,000 prize Research Institute for Mathematical Sciences in will be awarded every three years for a work pub- Kyoto University. In 1994 he became a professor lished in the preceding six years. This is the first at the University of California at Berkeley and was time the prize has been awarded. appointed a faculty senior scientist at the Lawrence The Eisenbud Prize is awarded by the AMS Coun- Berkeley National Laboratory in 1996. Since 2000 cil acting on the recommendation of a selection he has been at Caltech, where he is now Fred Kavli committee. For the 2008 prize, the members of the Professor of Theoretical Physics. selection committee were Joel L. Lebowitz, David In 2007 Ooguri and his friends in Japan pro- R. Morrison (chair), and Edward Witten. posed establishing the Institute for the Physics and The 2008 Eisenbud Prize was awarded to Mathematics of the Universe at the University of Hirosi Ooguri, Andrew Strominger, and Cum- Tokyo. The proposal was approved with funding run Vafa. The text that follows presents the for two hundred staff scientists and visitors for selection committee’s citation, brief biographical the next ten years. Ooguri will continue to keep sketches of the awardees, and their responses his intellectual base at Caltech, but he will spend upon receiving the prize. a few months a year in Tokyo as a principal inves- tigator at the new institute to lead activities at the Citation interface of mathematics and physics. The Eisenbud Prize for 2008 is awarded to Hirosi Ooguri, Andrew Strominger, and Cumrun Vafa Response: Hirosi Ooguri for their paper “Black hole attractors and the to- I am deeply honored to share the Leonard Eisen- pological string” (Physical Review D (3) 70 (2004), bud Prize for Mathematics and Physics with such 106007). This paper contains a beautiful and highly outstanding physicists as Andy Strominger and unexpected proposal: that the counting of black Cumrun Vafa. hole states, in certain string theories obtained In an early stage of my career I had the good by compactification on a Calabi-Yau manifold fortune to work with Tohru Eguchi in Tokyo and X, can be expressed in terms of the topological to experience the power of quantum field theory in string partition function of X (i.e., in terms of the revealing new connections between different areas so-called Gromov-Witten invariants of X). The of mathematics. I have collaborated with Cumrun proposal explains some mysterious earlier results Vafa for over eighteen years on various aspects of to the effect that certain scattering amplitudes gauge theory and string theory, including N 2 =
April 2008 Notices of the AMS 505 fold was proven by Aleksey Zinger, and the conjecture on the so-called BCOV torsion for the mirror of the quintic was proven by Hao Fang, Zhiqin Lu, and Ken-ichi Yoshikawa. The conjectures for genus greater than one remain open. The black hole entropy formula was proposed by Jacob Bekenstein and Stephen Hawking based on a remarkable mathematical analogy between thermodynamics and black hole mechanics and on the semiclas- Hirosi Ooguri Andrew Strominger Cumrun Vafa sical theory of black hole radiance. It was expected that if there is a theory that successfully unifies quantum string theory, topological string theory, gauge the- mechanics and general relativity, in such a theory ories on D-branes, and their geometric engineering. the Bekenstein-Hawking formula can be derived Our collaborations have almost always aimed to as the statistical entropy of quantum states of discover hidden geometric structures in physical black holes. Thanks to the D-brane construction problems and to exploit them to develop new theo- by Joseph Polchinski for a certain class of black retical tools. Cumrun brims over with ideas that he holes in string theory, it has become possible to has generously shared with me and many others. count quantum states by evaluating topological I thank him for the collaboration and friendship. invariants of gauge theory on D-branes, such as the I have always admired Andy Strominger for his Euler characteristic of instanton moduli space. The creative insights, and I am happy to have had the counting was carried out by Strominger and Vafa in chance to collaborate with both Andy and Cumrun 1996, and they found a perfect agreement with the in the academic year of 2003–2004, which led to Bekenstein-Hawking formula in the limit of large the paper cited above. In this work we formulated black holes, for which the approximation used by a conjecture that relates two different concepts: Bekenstein and Hawking becomes precise. Our topological string theory, which computes the paper cited above showed that this approximation Gromov-Witten invariants, and the counting of can be significantly improved by using topological quantum states of black holes, which has to do string theory. I was surprised and delighted to find with topological invariants of gauge theories in the application of topological string theory to the various dimensions. I would like to make a brief counting of quantum states of black holes. This comment on each of them. reaffirmed my belief that exact results in quantum field theory and string theory have enduring value Topological string theory was introduced by and unintended applications. Edward Witten. The construction of mirror pairs of When I was a high school student, physics was Calabi-Yau manifolds by Brian Greene and Ronen my least favorite subject until I learned calculus. Plesser and their application to the computation of Clearly, physicists need mathematics to formulate the genus-zero Gromov-Witten invariants by Philip fundamental laws of nature. In return, physicists’ Candelas, Xenia De La Ossa, Paul Green, and Linda search for fundamental laws has inspired many Parkes sparked interest in the mathematics com- important developments in mathematics. In the munity. I spent the academic year of 1991–1992 at past couple of decades interactions of mathemati- Harvard University and collaborated with Michael cians and physicists have been particularly intense Bershadsky, Sergio Cecotti, and Cumrun Vafa to and productive in the area involving quantum field generalize their results to higher genus. We found theory and string theory. Since neither of them has that the higher genus topological string partition a proper definition, mathematicians often view functions can be used to compute certain scattering them as black boxes from which interesting con- amplitudes in superstring theory compactified jectures materialize. I think that collaborations of on a Calabi-Yau manifold. It took another twelve mathematicians and physicists can be elevated to years to find the compelling question in physics, an even higher level if these physical theories are i.e., the counting of quantum states of black holes, placed on more solid mathematical foundations. to which these amplitudes give an answer. We also I would like to thank Andy Strominger and Cum- derived the holomorphic anomaly equations for run Vafa for the wonderful collaboration. Topo- the topological string partition functions and de- logical string theory has been developed by many veloped a method to solve them recursively in the people. In particular, I would like to acknowledge genus. In this work we made several mathematical the influence of the earlier work by Gabriel Lopes conjectures. Recently, the conjecture on the genus- Cardoso, Bernard de Wit, and Thomas Mohaupt. one Gromov-Witten invariants for a quintic three-
506 Notices of the AMS Volume 55, Number 4 I would like to thank the American Mathematical the brane solutions of string theory, which have Society and the Eisenbud Prize Committee for rec- played a crucial role in unraveling the beautiful ognizing the progress in this line of research. I am mathematical structure and duality symmetries grateful to my teachers, collaborators, and friends of the theory. The branes were eventually used for helping me make contributions to this area. by Strominger and collaborators to give a micro- Finally, I would like to thank my wife, Kyoko, for scopic explanation of how black holes are able to her love and support and my daughter, Tomoko, store information, finally resolving a deep paradox for adding extra dimensions to my life. uncovered by Hawking and Bekenstein a quarter century earlier. He and coworkers also used the Biographical Sketch: Andrew Strominger branes to derive new relations in algebraic ge- Andrew Strominger, the son of biochemist Jack ometry, equating the moduli space of a brane in Strominger, is an American theoretical physicist a Calabi-Yau space to the mirror Calabi-Yau. Pre- whose research centers around string theory. He liminary attempts have been made to apply these is currently a professor at Harvard University, co- insights to cosmology. Current research continues founder of the Center for the Fundamental Laws attempts to better understand the fundamental of Nature at Harvard, and a senior fellow at the laws of nature. Society of Fellows. He received his undergraduate degree from Harvard University in 1977 and his Response: Andrew Strominger Ph.D. from the Massachusetts Institute of Tech- I am greatly honored to receive, along with my nology in 1982 under the supervision of Roman collaborators Cumrun Vafa and Hirosi Ooguri, Jackiw. His wide and varied contributions to phys- the first Leonard Eisenbud Prize of the American ics include: Mathematical Society for our work demonstrating a •a paper with Cumrun Vafa that explains the connection between Gromov-Witten invariants and microscopic origin of the black hole entropy, microstate degeneracies of black hole attractors. originally calculated thermodynamically by Ste- Our success in discovering this connection relied phen Hawking and Jacob Bekenstein from string on the uncanny ability of physical reasoning to lead theory; to insights into pure mathematics. •a paper with Philip Candelas, Gary Horowitz, and Biographical Sketch: Cumrun Vafa Edward Witten about the relevance of Calabi-Yau manifolds for obtaining the Standard Model from Cumrun Vafa is a Donner Professor of Science at string theory; Harvard University, where he teaches and does research on theoretical physics. •other articles discussing the dS/CFT correspon- Vafa was born in Tehran, Iran, in 1960 and came dence (a variation of AdS/CFT correspondence), to the U.S. for continuation of his education in S-branes (a variation of D-branes), and OM-theory 1977. He earned his B.S. in mathematics and phys- (with Shiraz Minwalla and Nathan Seiberg); ics from the Massachusetts Institute of Technology •research on massless black holes in the form of in 1981. He went on to earn his Ph.D. in physics wrapped D3-branes that regulate the physics of a from Princeton University in 1985 under the su- conifold and allow topology change interpretation pervision of Edward Witten. He came to Harvard of mirror symmetry as a special case of T-duality University in 1985 as a junior fellow of the Harvard (with Eric Zaslow and Shing-Tung Yau). Society of Fellows and has been on the Harvard fac- The fundamental laws of nature as we cur- ulty since 1988. He is married to Afarin Sadr, and rently understand them are both incomplete and they are the proud parents of three sons: Farzan, contradictory. Unsolved problems concerning Keyon, and Neekon. these laws include the incompatibility of quan- Response: Cumrun Vafa tum mechanics and Einstein’s theory of gravity, the origin of the universe, and the origin of the It is a great pleasure to receive the 2008 Leonard masses of the elementary particles. Strominger’s Eisenbud Prize, together with my collaborators. research has concerned various aspects of these I view this not only as an acknowledgment of a problems. The emergence of string theory as the single paper but also as an appreciation of the most promising approach to these problems began work of so many physicists and mathematicians with Strominger’s 1985 codiscovery of so-called that led to this work. With the intrinsic beauty of Calabi-Yau compactifications. This construction the connection between mathematics and physics demonstrated that string theory not only recon- and with so many talented researchers, I hope to ciles quantum mechanics and gravity but can also witness the continuing development of this re- contain within it electrons, protons, photons, and markable area of science. all the other observed particles and forces and I am greatly indebted for the support I have hence is a viable candidate for a complete unified received from my family and my parents, as well theory of nature. In 1991 Strominger codiscovered as my teachers over the years.
April 2008 Notices of the AMS 507 2008 Award for Distinguished Public Service
The 2008 Award for Distinguished and continuation of the Park City/IAS Mathemat- Public Service was presented at the ics Institute. 114th Annual Meeting of the AMS in San Diego in January 2008. Biographical Sketch The Award for Distinguished Public Herbert Clemens earned his Ph.D. in 1966 from Service is presented every two years the University of California, Berkeley, under the to a research mathematician who has direction of Phillip A. Griffiths. He has taught at made a distinguished contribution to Columbia University, the University of Utah, and the mathematics profession during the preceding five years. The purpose of the Ohio State University, where he has been on the award is to encourage and recog- the faculty since 2002. He has served as director nize those individuals who contribute of the NSF Regional Geometry Institute, Park City, their time to public service activities UT, and chair of the Steering Committee for the IAS in support of mathematics. The award Park City Mathematics Institute. He was an invited Herbert Clemens carries a cash prize of US$4,000. speaker at the International Congress of Mathema- The Award for Distinguished Public ticians in 1974 and in 1986. His academic honors Service is made by the AMS Council include a Silver Medal from the Italian Mathemati- acting on the recommendation of a selection com- cal Society and a Laurea de honoris causa from the mittee. For the 2008 award the members of the Universita di Torino, among others. His research selection committee were: William J. Lewis, Carolyn R. Mahoney, Paul J. Sally (chair), Richard A. Tapia, area is complex geometry. and Margaret H. Wright. Previous recipients of the award are: Kenneth M. Response Hoffman (1990), Harvey B. Keynes (1992), I. M. I feel very honored to receive the 2008 Award for Singer (1993), D. J. Lewis (1995), Kenneth C. Millett Distinguished Public Service from the American (1998), Paul J. Sally Jr. (2000), Margaret H. Wright Mathematical Society and regret that I am unable (2002), Richard A. Tapia (2004), and Roger Howe to be present in person to receive the award. I (2006). accept the award in the name of the hundreds of The 2008 Award for Distinguished Public Service AMS members engaged in professional outreach, was presented to Herbert Clemens. The text that which, though often viewed to lie at the margins of follows presents the selection committee’s citation, our calling as mathematicians, is vital to the long- a brief biographical sketch, and the recipient’s response upon receiving the award. term sustainability of our discipline, especially as pertains to the discipline’s continued support by Citation society at large. The American Mathematical Society's Distin- More particularly and currently, I accept this guished Public Service Award for 2008 is awarded award as recognizing the more than forty AMS to Herbert Clemens for his superb research in com- members offering their services for university plex algebraic geometry, for his continuing efforts lecturing in Cambodia, as recognizing an equiva- in education, beginning with his days at Columbia lent number working with African mathematicians University and his work with teachers in Chile to through the International Mathematical Union, and his teaching and collaborating with teachers in the finally as recognizing the countless AMS members Salt Lake City public schools and his influence in mathematics education at the national level; and, currently working in cooperation with the educa- in addition, for his seminal role in the founding tion community to improve pre-university math- ematics education in our country’s schools.
508 Notices of the AMS Volume 55, Number 4 Mathematics People
Hong Kong University of Science and Technology, and Awards Presented at 2007 Mu-Tao Wang, Columbia University. ICCM The ICCM International Cooperation Award is presented to an individual who has promoted the development of At each International Congress of Chinese Mathemati- mathematics in China, Hong Kong, and Taiwan through cians (ICCM), the winners of several prestigious awards collaboration, teaching, and support of Chinese mathema- are announced during the opening ceremony. These ticians. The inaugural award was presented in 2004. The awards include the Morningside Medal of Mathematics, the 2007 ICCM International Cooperation Award is awarded to Chern Prize in Mathematics, and the ICCM International Stanley Osher, University of California at Los Angeles. Cooperation Award. The Fourth ICCM was held in Hang- Supported by the New World Development Company zhou, China, December 17–22, 2007. At ICCM 2007, two Ltd., the New World Mathematics Awards recognize out- new prizes were introduced: the New World Mathematics standing doctoral, master’s, and undergraduate theses Awards and the S. T. Yau Mathematics Awards. written by mathematicians of Chinese descent who have The Morningside Medal of Mathematics is awarded to graduated from universities and institutes in the past exceptional mathematicians of Chinese descent under three years. The purpose is to provide encouragement the age of forty-five for their seminal achievements in to talented Chinese mathematicians and to promote cre- mathematics and applied mathematics. The winners of ativity and innovation in mathematics. Six Ph.D. Thesis the Morningside Medal of Mathematics are tradition- Awards, five Master Thesis Awards, and ten Bachelor ally announced at the ICCM. The inaugural medals were Thesis Awards were presented at the 2007 ICCM. presented in 1998. Each Morningside Medalist receives a Coorganized by the International Congress of Chinese certificate and medal, as well as a cash award of US$25,000 Mathematicians and the Taikang Life Insurance Company for a gold medal or US$10,000 for a silver medal. Ltd., the S. T. Yau Mathematics Awards recognize excel- The 2007 Morningside Gold Medal of Mathematics is lence in mathematics research projects among high school awarded to Jianqing Fan, Princeton University, and Xujia students of Chinese descent throughout the world. The Wang, Australian National University. The 2007 Morning- goal is to identify gifted mathematicians at a young age side Silver Medal of Mathematics is awarded to Chiu-Chu and foster their interest in this field of study. A press Liu, Northwestern University and Columbia University; briefing marking the establishment of the awards was held Lizhen Ji, University of Michigan and Zhejiang University; in December 2007. The first awards will be presented in Shi Jin, University of Wisconsin at Madison; Chiun-Chuan October 2008 in Beijing. Chen, Taiwan University; and Ye Tian, Morningside Center of Mathematics at the Chinese Academy of Sciences. —From an ICCM announcement The Chern Prize in Mathematics was established in 2001 in honor of Shing-Shen Chern, one of the greatest geometers and Chinese mathematicians of the twentieth Deloro and Moczydlowski century. The Chern Prize is presented every three years at Awarded ASL Sacks Prize the ICCM to mathematicians of Chinese descent who have made exceptional contributions to mathematical research Adrien Deloro of Rutgers University and Wojciech or to public service activities in support of mathematics. Moczydlowski of Cornell University have been awarded The 2007 Chern Prize is awarded to Shiu-Yuen Cheng, the 2007 Sacks Prizes of the Association for Symbolic Logic
April 2008 Notices of the AMS 509 Mathematics People
(ASL). The prize is awarded to the most outstanding doc- 2008 San Diego Joint toral dissertation or dissertations in mathematical logic. Mathematics Meetings Deloro received his Ph.D. in 2007 from the Université Paris 7. The prize citation notes that his thesis “deals Photo Key with the Cherlin-Zilber conjecture, according to which every simple group of finite Morley rank is isomorphic to an algebraic group over an algebraically closed field. In particular, the thesis removes the assumption that there 1 2 9 10 are no bad fields from the classification of minimal coun- terexamples.” Moczydlowski received his Ph.D. in 2007 from Cornell University. According to the prize citation, 8 3 16 11 his thesis “contains groundbreaking results on construc- tive set theory and its relation to type theory” and proves weak normalization for the intuitionistic Zermelo-Fraenkel 7 4 15 12 set theory with replacement rather than collection. The Sacks Prize was established in honor of Gerald Sacks for his unique contribution to mathematical logic. It consists of a cash award and five years’ free member- 6 5 14 13 ship in the ASL.
—From an ASL announcement Page 476 (left), clockwise from Number 1. Page 477 (right), clockwise from Number 9: 1. Welcome! AWM Essay Contest Winners 2. David Eisenbud (right) presenting the 2008 Eisenbud Prize to Cumrun Vafa. Announced 3. 3-D sculptures in the mathematical art exhibit. The Association for Women in Mathematics (AWM) has 4. In the Networking Center. announced the winners of its 2007 essay contest, “Biog- 5. Message Board area in the San Diego Convention raphies of Contemporary Women in Mathematics”. Center. The grand prize was awarded to Leena Shah, Hart- 6. AMS Colloquium speaker Wendelin Werner. land Middle School at Ore Creek, Brighton, Michigan, for 7. Entrance to the Employment Center. her essay “The Creation of a Female Mathematician: Ms. 8. AMS-MAA Joint Invited Address speaker Melanie Wood”. Shah’s essay won first place in the Grade Terence Tao. 6–8 category. As the grand prize winner, this essay will 9. Opening ceremony ribbon cutting for the JMM Exhibits be published in the AWM Newsletter. area (left to right: AMS executive director John Ewing, In the College category, first place went to Sarah MAA president Joseph Gallian, AMS president James Budrus, Hollins University, Huntington, West Virginia, for Glimm, MAA associate secretary James Tattersall, AMS “Dr. Marjorie Senechal: What do Silk, Crystals, Culture, and associate secretary Michel Lapidus). History Have in Common?” In the Grades 9–12 category, 10. MAA Invited Address speaker Karen Parshall. first place went to Elizabeth Faiella, homeschooled in 11. San Diego Convention Center. Northwood, New Hampshire, for “Dr. Rita Hibschweiler: 12. Who Wants to Be a Mathematician game host Mike Exploring the Pure Beauty of Mathematics”, while the hon- Breen and San Diego game winners Hansen Han (left) orable mention went to Haley Kossek, Elk Rapids High and Ben Wendel (right). School, Williamsburg, Michigan, for “Mrs. Ann Weber: Hard 13. AMS Membership Booth. Work Pays Off”. An honorable mention in the Grade 6–8 14. Avi Wigderson (left) receives Conant Prize from AMS category went to Helen A. Rawlins, Brier Terrace Middle president James Glimm. School, Bothell, Washington, for “Dr. Eve Riskin: Engineer, 15. AMS Booth in the Exhibits area. Professor, Role Model”. 16. Morgan Prize winner Nathan Kaplan. —From an AWM announcement Correction Because of incorrect information supplied to the Notices, the list of Doctoral Degrees Conferred that appeared in the February 2008 issue contained a misspelling of the name of John Kittrell, who received a doctorate from the University of California, Los Angeles.
—Allyn Jackson
510 Notices of the AMS Volume 55, Number 4 Mathematics Opportunities
summer MAA meetings and the Joint Mathematics Meet- DMS Workforce Program in the ings in January, and in an electronic discussion network. Mathematical Sciences Faculty for whom the 2008–2009 academic year will be the first or second year of full-time teaching (post-Ph.D.) The Division of Mathematical Sciences (DMS) of the Na- at the college or university level are invited to apply to tional Science Foundation (NSF) welcomes proposals for become Project NExT Fellows. the Workforce Program in the Mathematical Sciences. The application deadline is April 18, 2008. For more The long-range goal of the program is increasing the information see the Project NExT website, http:// number of well-prepared U.S. citizens, nationals, and archives.math.utk.edu/projnext/. Project NExT is a permanent residents who successfully pursue careers in program of the MAA. It receives major funding from the the mathematical sciences and in other NSF-supported ExxonMobil Foundation, with additional funding from the disciplines. Of primary interest are activities centered on Dolciani-Halloran Foundation, the American Mathemati- education that broaden participation in the mathematical cal Society, the Educational Advancement Foundation, sciences through research involvement for trainees at the the American Institute of Mathematics, the American undergraduate-through-postdoctoral educational levels. Statistical Association, the National Council of Teach- The program is particularly interested in activities that ers of Mathematics, Texas Instruments, the Association improve recruitment and retention, educational breadth, of Mathematics Teacher Educators, the Association for and professional development. Symbolic Logic, the W. H. Freeman Publishing Company, The submission period for unsolicited proposals is Maplesoft, John Wiley & Sons, MAA Sections, and the May 15–June 15, 2008. For more information and a list of Greater MAA Fund. cognizant program directors, see the website http://www. nsf.gov/funding/pgm_summ.jsp?pims_id=503233. —From a Project NExT announcement
—From a DMS announcement AP Calculus Readers Sought The Educational Testing Service and the College Board Project NExT: New Experiences invite interested college faculty to apply to be readers for in Teaching the Advanced Placement Calculus Exam. Each June, high school AP teachers and college faculty members from Project NExT (New Experiences in Teaching) is a profes- around the world gather in the United States for the an- sional development program for new and recent Ph.D.’s nual AP Reading. There they evaluate and score the free- in the mathematical sciences (including pure and ap- response sections of the AP Exams. AP Exam readers are plied mathematics, statistics, operations research, and led by a chief reader, a college professor who has the re- mathematics education). It addresses all aspects of an sponsibility of ensuring that students receive grades that academic career: improving the teaching and learning of accurately reflect college-level achievement. Readers find mathematics, engaging in research and scholarship, and the experience an intensive collegial exchange in which participating in professional activities. It also provides they can receive professional support and training. the participants with a network of peers and mentors To learn more about this opportunity or to apply for a as they assume these responsibilities. In 2008 about position as a reader, see the website http://apcentral. seventy faculty members from colleges and universities collegeboard.com/apc/public/homepage/4137.html; throughout the country will be selected to participate in email: [email protected]; telephone: 609-406-5384. a workshop preceding the Mathematical Association of America (MAA) summer meeting, in activities during the —Michael Boardman, Pacific University
April 2008 Notices of the AMS 511 Inside the AMS
From the AMS Public •Reviews. The Reviews webpage, part of the monthly Math in the Media online magazine, contains links to re- Awareness Office views of books, plays, films, and television shows that are related to mathematics (but are not aimed solely at the •Mathematics Awareness Month, April 2008. Mathemat- ics Awareness Month, held each year in April, is sponsored professional mathematician). The Reviews page is updated by the Joint Policy Board for Mathematics—a collaborative on an ongoing basis. Links are given to reviews posted on effort of the AMS, the American Statistical Association the Web, and each citation includes review title, reviewer, (ASA), the Mathematical Association of America (MAA), and source. In some cases the source requires a subscrip- and the Society for Industrial and Applied Mathematics tion, a password, or a search of the archives to access the (SIAM)—to increase public understanding of and appre- review; in other cases the review may be available only ciation for mathematics. This year’s theme, Mathematics in print directly from the source. The Reviews page is a and Voting, has been developed and publicized by the great resource for general readers, math clubs, librarians, American Statistical Association, and the AMS Public and mathematicians who want to keep abreast of what’s Awareness Office served in an advisory role to support this new in mathematical fiction, biographies, histories, mov- outreach program. Activities for Mathematics Awareness ies, plays, and television. Bookmark http://www.ams. Month have been orga- org/ams/reviews.html. nized on local, state, •Feature Column. Recent columns include “Pulling and regional levels by Digits out of Pi”, by David Austin; and “Urban Geometry”, by college and university Joe Malkevitch, at http://www.ams.org/featurecolumn/. departments, institu- tional public informa- —Annette Emerson and Mike Breen tion offices, student AMS Public Awareness Officers groups, and related [email protected] associations and in- terest groups. Down- load the theme poster, read essays, and view Deaths of AMS Members activities at http:// Eleazer Bromberg, from North Wales, PA, died on www.mathaware.org/ March 28, 2006. Born on October 7, 1913, he was a member mam/08/. of the Society for 57 years. •This Mathemati- Ralph Byers, University of Kansas, Lawrence, died on cal Month: Monthly December 15, 2007. He was a member of the Society for postings of vignettes 30 years. on people, publications, and mathematics to inform Ralph E. DeMarr, professor emeritus, University of and entertain. April: Oscar Zariski was born, world-fa- New Mexico, died in October 2007. Born on January 17, mous mathematician and Fields Medalist Enrico Bom- bieri played an April Fool’s Day joke, Robert P. Lang- 1930, he was a member of the Society for 47 years. lands of the Institute for Advanced Study in Princeton Karl-Heinz Diener, professor, University of Cologne, received the first NAS Award in Mathematics from the died on September 18, 2007. Born on January 8, 1930, he National Academy of Sciences, and more. Read about was a member of the Society for 42 years. these anecdotes and more events in April and link to Henry R. Dowson, professor, University of Glasgow, vignettes from other months at http://www.ams.org/ Scotland, died on January 28, 2008. Born on March 2, 1939, ams/thismathmonth-apr.html. he was a member of the Society for 41 years. •Headlines & Deadlines for Students. Students and Roy Dubisch, professor emeritus, University of Wash- advisors subscribe to this service, which provides email ington, Seattle, died on January 20, 2008. Born on February notification of news and upcoming deadlines. Recent 5, 1917, he was a member of the Society for 60 years. news includes the winner of the AMS-MAA-SIAM Frank Eugene Georg D’yakonov, professor, Moscow State and Brennie Morgan Prize for Outstanding Research in University, died on November 8, 2006. Born on July 2, Mathematics by an Undergraduate Student, Nathan Kaplan 1935, he was a member of the Society for 13 years. (Princeton University); and spring deadlines for stipends Richard E. Ewing, professor, Texas A&M University, and fellowships. The postings and sign-up pages are at College Station, died on December 5, 2007. Born on http://www.ams.org/news-for-students/. November 24, 1946, he was a member of the Society for 33 years.
512 Notices of the AMS Volume 55, Number 4 Inside the AMS AMERICAN MATHEMATICAL SOCIETY
Sr. Claude Marie Faust, from San Antonio, TX, died on July 3, 2007. Born on November 18, 1917, she was a member of the Society for 45 years. Richard F. Gabriel, professor emeritus, Seton Hall University, died on October 2, 2007. Born on November 30, Math in Moscow 1920, he was a member of the Society for 58 years. Robert S. Johnson, retired, from Cinnaminson, NJ, died on January 1, 2008. Born in November 1928, he was Scholarships a member of the Society for 52 years. Sam Karlin, professor, Stanford University, died on December 18, 2007. Born on June 8, 1924, he was a mem- ber of the Society for 21 years. Herbert B. Keller, professor, California Institute of Technology, died on January 26, 2008. Born on June 19, 1925, he was a member of the Society for 47 years. Henry E. Kyburg Jr., professor, University of Roches- ter, died on October 30, 2007. Born on October 9, 1928, he was a member of the Society for 48 years. Jean E. Lebel, retired, University of Toronto, died on December 14, 2007. Born on March 21, 1922, he was a member of the Society for 56 years. William J. LeVeque, retired AMS executive director, died on December 1, 2007. Born on August 9, 1923, he The AMS invites undergraduate mathematics was a member of the Society for 63 years. and computer science majors in the U.S. to Stuart P. Lloyd, retired, Bell Telephone Laboratories, apply for a special scholarship to attend a Murray Hill, died on October 20, 2007. Born on March 23, Math in Moscow semester at the Independent 1923, he was a member of the Society for 51 years. University of Moscow. Funding is provided by Ralph Mansfield, retired, from Santa Rosa, CA, died the National Science Foundation and is admin- on December 17, 2007. Born on August 21, 1912, he was istered by the AMS. a member of the Society for 69 years. Robert B. Reisel, professor emeritus, Loyola University The Math in Moscow program offers a unique of Chicago, died on November 16, 2007. Born on April 27, opportunity for intensive mathematical study 1925, he was a member of the Society for 56 years. and research, as well as a chance for students to Alex Rosenberg, professor emeritus, University of experience life in Moscow. Instruction during California Santa Barbara, died on October 27, 2007. Born on December 5, 1926, he was a member of the Society for the semester emphasizes in-depth under- 57 years. standing of carefully selected material: students Robert J. Rubin, retired from the National Institute explore significant connections with contem- of Standards and Technology, died on January 18, 2008. porary research topics under the guidance of Born on August 17, 1926, he was a member of the Society internationally recognized research mathema- for 23 years. ticians, all of whom have considerable teaching Richard C. Sacksteder, professor emeritus, City experience in English. University of New York, died on November 4, 2007. Born on February 11, 1928, he was a member of the Society for The application deadline for spring semesters is 50 years. September 30, and for fall semesters is April 15. William K. Smith, retired, from Northumberland, PA, died on October 9, 2007. Born on March 8, 1920, he was For more information, see www.ams.org/ a member of the Society for 58 years. employment/mimoscow.html. Masaru Takeuchi, professor emeritus from Kawani- shi, Japan, died on January 8, 2001. Born on January 12, Contact: Membership and Programs Depart- 1932, he was a member of the Society for 37 years. ment, American Mathematical Society, 201 Henry S. Tropp, retired, from Humboldt State Univer- Charles Street, Providence, RI 02904-2294, sity, died on March 24, 2007. Born on July 15, 1927, he USA; telephone: 800-321-4267, ext. 4170; was a member of the Society for 39 years. email: [email protected]. Andrew H. Wallace, professor emeritus, University of Pennsylvania, died on January 18, 2008. Born on June 14, 1926, he was a member of the Society for 57 years. Izaak Wirszup, retired professor from the University of Chicago, died on January 30, 2008. Born on January 5, 1915, he was a member of the Society for 51 years.
April 2008 Notices of the AMS 513 Reference and Book List
The Reference section of the Notices Upcoming Deadlines Joseph Traub at [email protected]. is intended to provide the reader March 31, 2008: Nominations for edu. with frequently sought information in prizes of the Academy of Sciences April 15, 2008: Applications for Math in Moscow for fall 2008. an easily accessible manner. New for the Developing World (TWAS). See information is printed as it becomes See http://www.mccme.ru/ http://www.twas.org/. available and is referenced after the mathinmoscow, or write to: Math March 31, 2008: Nominations for first printing. As soon as information in Moscow, P.O. Box 524, Wynnewood, 2008 Prize for Achievement in Infor- is updated or otherwise changed, it PA 19096; fax +7095-291-65-01; email: [email protected] will be noted in this section. mation-Based Complexity. Contact ; or contact Math in
Contacting the Notices Where to Find It The preferred method for contacting A brief index to information that appears in this and previous issues of the Notices. the Notices is electronic mail. The AMS Bylaws—November 2007, p. 1366 editor is the person to whom to send AMS Email Addresses—February 2008, p. 274 articles and letters for consideration. AMS Ethical Guidelines—June/July 2006, p. 701 Articles include feature articles, me- AMS Officers 2006 and 2007 (Council, Executive Committee, morial articles, communications, Publications Committees, Board of Trustees)—May 2007, p. 657 opinion pieces, and book reviews. AMS Officers and Committee Members—October 2007, p. 1178 The editor is also the person to whom Conference Board of the Mathematical Sciences—September 2007, to send news of unusual interest p. 1019 about other people’s mathematics IMU Executive Committee—December 2007, p. 1526 research. Information for Notices Authors—June/July 2007, p. 765 The managing editor is the person Mathematics Research Institutes Contact Information—August 2007, to whom to send items for “Math- p. 898 ematics People”, “Mathematics Op- National Science Board—January 2008, p. 69 portunities”, “For Your Information”, New Journals for 2005, 2006—June/July 2007, p. 767 “Reference and Book List”, and “Math- NRC Board on Mathematical Sciences and Their Applications—March ematics Calendar”. Requests for 2008, p. 401 permissions, as well as all other NRC Mathematical Sciences Education Board—April 2008, p. 515 inquiries, go to the managing editor. NSF Mathematical and Physical Sciences Advisory Committee—February The electronic-mail addresses are 2008, p. 276 [email protected] in the case of Program Officers for Federal Funding Agencies—October 2007, the editor and [email protected] in p. 1173 (DoD, DoE); December 2007, p. 1359 (NSF), December 2007, the case of the managing editor. The p. 1526 (NSF Mathematics Education) fax numbers are 405-325-7484 for Program Officers for NSF Division of Mathematical Sciences—Novem- the editor and 401-331-3842 for the ber 2007, p. 1358 managing editor. Postal addresses Stipends for Study and Travel—September 2007, p. 1022 may be found in the masthead.
514 Notices of the AMS Volume 55, Number 4 Reference and Book List
Moscow Program, Membership and 20001; telephone 202-334-2760; fax MSEB Staff Programs Department, American 202-334-2759; email: [email protected]. David R. Mandel, Director Mathematical Society, 201 Charles August 18, 2008: Applications The contact information is: Math- Street, Providence RI 02904-2294; for NSF Research Experiences for ematical Sciences Education Board, email: [email protected]. Undergraduates (REU) program National Academy of Sciences, 500 April 18, 2008: Applications for sites. See http://www.nsf.gov/ Fifth Street, NW, 11th Floor, Wash- Project NExT: New Experiences in publications/pub_summ.jsp?ods_ ington, DC 20001; telephone 202- Teaching. See “Mathematics Oppor- key=nsf07569. 334-2353; fax 202-344-2210; email: tunities” in this issue. October 1, 2008: Applications for [email protected]; World Wide Web May 1, 2008: Applications for AWM Travel Grants. See http:// http://www7.nationalacademies. AWM Travel Grants. See http:// www.awm-math.org/travelgrants. org/MSEB/About%20MSEB.html. www.awm-math.org/travelgrants. html; telephone: 703-934-0163; email: h t m l ; telephone 703-934-0163; [email protected]; or contact Asso- email: [email protected]; or contact ciation for Women in Mathematics, Book List Association for Women in Mathemat- 11240 Waples Mill Road, Suite 200, The Book List highlights books that ics, 11240 Waples Mill Road, Suite Fairfax, VA 22030. have mathematical themes and are 200, Fairfax, VA 22030. November 1, 2008: Applications aimed at a broad audience potentially May 1, 2008: Applications for for November review for the National including mathematicians, students, May review for the National Acad- Academies Postdoctoral and Senior and the general public. When a book emies Postdoctoral and Senior Re- Research Associateship Programs. See has been reviewed in the Notices, a search Associateship Programs. See http://www7.nationalacademies. reference is given to the review. Gen- http://www7.nationalacademies. org/rap/index.html or contact erally the list will contain only books org/rap/index.html or contact Research Associateship Programs, published within the last two years, Research Associateship Programs, National Research Council, Keck 568, though exceptions may be made in National Research Council, Keck 568, 500 Fifth Street, NW, Washington, DC cases where current events (e.g., the 500 Fifth Street, NW, Washington, DC 20001; telephone 202-334-2760; fax death of a prominent mathematician, 20001; telephone 202-334-2760; fax 202-334-2759; email: [email protected]. coverage of a certain piece of math- 202-334-2759; email: [email protected]. ematics in the news) warrant drawing May 15-June 15, 2008: Proposals Mathematical Sciences readers’ attention to older books. Sug- for DMS Workforce Program in the Education Board, National gestions for books to include on the list Mathematical Sciences. See “Math- Research Council may be sent to notices-booklist@ ematics Opportunities” in this issue. Jan de Lange, Freudenthal Institute, ams.org. June 1, 2008: Applications for The Netherlands *Added to “Book List” since the Christine Mirzayan Science and Keisha M. Ferguson, Pattengill list’s last appearance. Technology Policy Graduate Fel- Elementary School, Ann Arbor, MI lowship Fall Program. See http:// Louis Gomez, Northwestern Uni- Alfred Tarski: Life and Logic, by www7.nationalacademies.org/ versity Anita Burdman Feferman and Solo- policyfellows; or contact The Na- Javier Gonzalez, Pioneer High mon Feferman. Cambridge Univer- tional Academies Christine Mirza- School, Whittier, CA sity Press, October 2004. ISBN 0- yan Science and Technology Policy Sharon Griffin, Clark University 521-80240-7. (Reviewed September Graduate Fellowship Program, 500 Phillip A. Griffiths (chair), Institute 2007.) Fifth Street, NW, Room 508, Wash- for Advanced Study *Amongst Mathematicians: Teach- ington, DC 20001; telephone: 202- Arthur Jaffe, Harvard University ing and Learning Mathematics at 334-2455; fax: 202-334-1667; email: Jeremy Kilpatrick, University of University Level, by Elena Nardi. [email protected]. Georgia Springer, November 2007. ISBN: 978- June 10, 2008: Proposals for En- Julie Legler, St. Olaf College 0-387-37141-2. hancing the Mathematical Sciences W. James Lewis, University of Ants, Bikes, and Clocks: Problem Workforce in the Twenty-First Cen- Nebraska, Lincoln Solving for Undergraduates, by Wil- tury. See http://www.nsf.gov/ Kevin F. Miller, University of Michi- liam Briggs. Society for Industrial and publications/pub_summ.jsp?ods_ gan, Ann Arbor Applied Mathematics, 2005. ISBN 0- key=nsf05595. Marge Petit (vice chair), Consultant, 89871-574-1. August 1, 2008: Applications for Fayston, VT The Archimedes Codex, by Reviel August review for the National Acad- Donald Saari, University of Cali- Netz and William Noel. Weidenfeld emies Postdoctoral and Senior Re- fornia, Irvine and Nicolson, May 2007. ISBN-13: 978- search Associateship Programs. See Nancy J. Sattler, Terra State Com- 0-29764-547-4. http://www7.nationalacademies. munity College, Freemont, OH The Art of Mathematics: Cof- org/rap/index.html or contact Richard J. Schaar, Texas Instru- fee Time in Memphis, by Béla Bol- Research Associateship Programs, ments lobás. Cambridge University Press, National Research Council, Keck 568, Frank Wang, Oklahoma School of September 2006. ISBN-13: 978-0-52169- 500 Fifth Street, NW, Washington, DC Science and Mathematics 395-0.
April 2008 Notices of the AMS 515 Reference and Book List
The Artist and the Mathematician: and Thomas Garrity. Mathematical Mathematical Mind-Benders, by The Story of Nicolas Bourbaki, the Association of America, 2007. ISBN Peter Winkler. A K Peters, August Genius Mathematician Who Never 0-88385-900-9. 2007. ISBN-13: 978-15688-1336-3. Existed, by Amir D. Aczel. Thunder’s A History of Abstract Algebra, by The Mathematician’s Brain, by Mouth Press, August 2006. ISBN Israel Kleiner. Birkhäuser, October David Ruelle. Princeton University 1-560-25931-0. (Reviewed October 2007. ISBN-13: 978-0-8176-4684-4. Press, July 2007. ISBN-13: 978-0-691- 2007.) How Mathematicians Think: Using 12982-2. Benjamin Franklin’s Numbers: An Ambiguity, Contradiction, and Para- Mathematics at Berkeley: A History, Unsung Mathematical Odyssey, by dox to Create Mathematics, by William by Calvin C. Moore. A K Peters, February Paul C. Pasles. Princeton University Byers. Princeton University Press, May 2007. ISBN-13: 978-15688-130-28. Press, October 2007. ISBN-13: 978- 2007. ISBN-13: 978-0-6911-2738-5. The Millennium Prize Problems, 0-69112-956-3. (Reviewed December 2007.) edited by James Carlson, Arthur Jaffe, Bourbaki, a Secret Society of Math- I Am a Strange Loop, by Douglas R. and Andrew Wiles. AMS, June 2006. ematicians, by Maurice Mashaal. AMS, Hofstadter. Basic Books, March 2007. ISBN-13: 978-0-8218-3679-8. June 2006. ISBN 0-8218-3967-5. (Re- ISBN-13: 978-0-46503-078-1. (Reviewed The Mind of the Mathematician, by viewed October 2007.) August 2007.) Michael Fitzgerald and Ioan James. The Calculus Wars: Newton, Leib- The Indian Clerk, by David Leavitt. Johns Hopkins University Press, May niz, and the Greatest Mathematical Bloomsbury USA, September 2007. 2007. ISBN-13: 978-0-8018-8587-7. Clash of All Time, by Jason Socrates ISBN-13: 978-15969-1040-9. More Mathematical Astronomy Bardi. Thunder’s Mouth Press, April An Introduction to Gödel’s Theo- Morsels, by Jean Meeus. Willmann- 2007. ISBN-13: 978-1-56025-992-3. rems, by Peter Smith. Cambridge Uni- Bell, 2002. ISBN 0-943396-743. The Cat in Numberland, by Ivar versity Press, August 2007. ISBN-13: More Sex Is Safer Sex: The Uncon- Ekeland. Cricket Books, April 2006. 978-0-52167-453-9. ventional Wisdom of Economics, by ISBN-13: 978-0-8126-2744-2. John von Neumann: Selected Let- Steven E. Landsburg. Free Press, April A Certain Ambiguity: A Mathemati- ters, edited by Miklós Rédei. AMS, 2007. ISBN-13: 978-1-416-53221-7. cal Novel, by Gaurav Suri and Hartosh November 2005. ISBN 0-8218-3776-1. The Motion Paradox: The 2,500- Singh Bal. Princeton University Press, (Reviewed June/July 2007.) Year Old Puzzle behind All the Mys- June 2007. ISBN-13: 978-0-691-12709- Karl Pearson: The Scientific Life teries of Time and Space, by Joseph 5. (Reviewed February 2008.) in a Statistical Age, by Theodore M. Mazur. Dutton Adult, April 2007. Chases and Escapes: The Math- Porter. Princeton University Press, ISBN-13: 978-0-52594-992-3. ematics of Pursuit and Evasion, by (new edition) December 2005. ISBN- Mr. Hopkins’ Men: Cambridge Paul J. Nahin. Princeton University 13: 978-0-69112-635-7. (Reviewed Reform and British Mathematics in Press, May 2007. ISBN-13: 978-0- December 2007.) the 19th Century, by A. D. D. Craki. 69112-514-5. The Legacy of Mario Pieri in Geom- Springer, July 2007. ISBN-13: 978-1- Descartes: A Biography, by Desmond etry and Arithmetic, by Elena Anne 8462-8790-9. Clarke. Cambridge University Press, Marchisotto and James T. Smith. Music and Probability, by David March 2006. ISBN 0-521-82301-3. (Re- Birkhäuser, May 2007. ISBN-13: 978- Temperley. MIT Press, January 2007. viewed January 2008.) 0-8176-3210-6. ISBN-13: 978-0-262-20166-7. Does Measurement Measure Up?: Leonhard Euler, by Emil A. Fell- Music: A Mathematical Offering, by How Numbers Reveal and Conceal the mann. Birkhäuser, 2007. ISBN-13: 978- David J. Benson. Cambridge Univer- Truth, by John Henshaw. Johns Hopkins 3-7643-7538-6. sity Press, December 2006. ISBN-13: University Press, March 2006. ISBN-13: Leonhard Euler, a Man to Be Reck- 978-0-521-61999-8. 978-08018-8375-0. oned With, by Andreas K. Heyne and Negative Math: How Mathemat- Ernst Zermelo: An Approach to Alice K. Heyne. Birkhäuser, 2007. ISBN- ics Rules Can Be Positively Bent, by His Life and Work, by Heinz-Dieter 13: 978-3-7643-8332-9. (Reviewed Alberto A. Martinez. Princeton Ebbinghaus. Springer, April 2007. March 2008.) University Press, November 2005. ISBN-13: 978-3-540-49551-2. Letters to a Young Mathematician, ISBN-13: 978-0-691-12309-7. Flatland—The Movie: A Journey of by Ian Stewart. Perseus Books, April New Theories of Everything, by Many Dimensions. Flatworld Produc- 2006. ISBN-13: 978-0-465-08231-5. John D. Barrow. Oxford University tions, 2007. Special Educator Edition (Reviewed May 2007.) Press, July 2007. ISBN-13: 978-0-192- DVD, http://store.flatlandthemovie. The Math behind the Music, by 80721-2. com. (Reviewed November 2007.) Leon Harkleroad. Cambridge Univer- Nonplussed! Mathematical Proof Fly Me to the Moon: An Insider’s sity Press, August 2006. ISBN-13: 978- of Implausible Ideas, by Julian Havil. Guide to the New Science of Space 0-521-00935-5. Princeton University Press, May 2007. Travel, by Edward Belbruno. Prince Math Doesn’t Suck: How to Survive ISBN-13: 978-0-691-12056-0. ton University Press, January 2007. Middle-School Math without Losing The Numbers behind NUMB3RS: ISBN-13: 978-0-691-12822-1. (Re- Your Mind or Breaking a Nail, by Solving Crime with Mathematics, by viewed in this issue.) Danica McKellar. Hudson Street Press, Keith Devlin and Gary Lorden. Plume, The Great π/e Debate: Which Is the August 2007. ISBN-13: 978-1-5946- August 2007. ISBN-13: 978-0-4522- Better Number?, DVD by Colin Adams 3039-2. 8857-7.
516 Notices of the AMS Volume 55, Number 4 Reference and Book List
Out of the Labyrinth: Setting Math- Thinking about Gödel and Turing: ematics Free, by Robert Kaplan and Essays on Complexity, 1970–2007, by Ellen Kaplan. Oxford University Press, Gregory J. Chaitin. World Scientific, January 2007. ISBN-13: 978-0-19514- August 2007. ISBN-13: 978-9-8127- 744-5. 0895-3. Perfect Figures: The Lore of Num- The Triumph of Numbers: How bers and How We Learned to Count, by Counting Shaped Modern Life, by Bunny Crumpacker. Thomas Dunne I. B. Cohen. W. W. Norton, July 2006. Books, August 2007. ISBN-13: 978- ISBN-13: 978-0-393-32870-7. (Re- 03123-6005-4. viewed December 2007.) The Poincaré Conjecture: In Search The Trouble with Physics: The Rise of the Shape of the Universe, by Donal of String Theory, the Fall of a Science, O’Shea. Walker, March 2007. ISBN-13: and What Comes Next, by Lee Smolin. 978-0-8027-1532-6. (Reviewed Janu- Joseph Henry Press, October 2006. ary 2008.) ISBN 0-309-10192-1. (Reviewed Sep- Poincaré’s Prize: The Hundred-Year tember 2007.) Quest to Solve One of Math’s Great- Useless Arithmetic: Why Environ- est Puzzles, by George Szpiro. Dutton mental Scientists Can’t Predict the Adult, June 2007. ISBN-13: 978-0-525- Future, by Orrin Pilkey and Linda 95024-0. (Reviewed January 2008.) Pilkey-Jarvis. Columbia University The Probability of God: A Simple Press, February 2007. ISBN 0-231- Calculation That Proves the Ultimate 13212-3. (Reviewed in this issue.) Truth, by Stephen D. Unwin. Three The Volterra Chronicles: The Life Rivers Press (October 26, 2004). ISBN- and Times of an Extraordinary Mathe- 13: 978-14000-5478-7. (Reviewed matician, by Judith R. Goodstein. AMS, February 2008.) February 2007. ISBN-13: 978-0-821- Project Origami: Activities for Ex- 83969-0. (Reviewed March 2008.) ploring Mathematics, by Thomas Hull. Why Beauty Is Truth: The Story of Symmetry, by Ian Stewart. Perseus A K Peters, March 2006. ISBN 1-568- Books Group, April 2007. ISBN-13: 81258-2. (Reviewed May 2007.) 978-0-46508-236-0. Pythagoras: His Life, Teaching and Yearning for the Impossible: The Influence, by Christoph Riedweg. Surprising Truths of Mathematics, by Translated by Steven Rendall. Cornell John Stillwell. A K Peters, May 2006. University Press, March 2005. ISBN- ISBN 1-568-81254-X. (Reviewed June/ 13: 978-0-80144-240-7. July 2007.) Pythagoras: The Mathemagician, You Failed Your Math Test, Com by Karim El-koussa. Cloonfad Press, rade Einstein: Adventures and Mis September 2005. ISBN-13: 978-0- adventures of Young Mathematicians, 97694-042-5. or Test Your Skills in Almost Recre- The Pythagorean Theorem: A 4000- ational Mathematics, edited by M. Year History, by Eli Maor. Princeton Shifman. World Scientific, June 2005. University Press, May 2007. ISBN-13: ISBN-13: 978-9-8125-6279-1. 978-0-69112-526-8. Solving Mathematical Problems: A Personal Perspective, by Terence Tao. Oxford University Press, September 2006. ISBN-13: 978-0-199-20560-8. The Square Root of 2: A Dialogue Concerning a Number and a Se- quence, by David Flannery. Springer, December 2005. ISBN-13: 978-0- 38720-220-4. Superior Beings: If They Exist, How Would We Know? Game-Theoretic Im plications of Omnipotence, Omniscience, Immortality, and Incomprehensibility, by Steven Brams. Springer, second edition, November 2007. ISBN-13: 978- 0-387-48065-7. (Reviewed February 2008.)
April 2008 Notices of the AMS 517 3%#/.$ #!.!$! &2!.#% #/.'2%33 51°- -ONTREAL 1UEBEC *UNE WWWCANADA FRANCEMATHCA
PLENARY LECTURERS PRIZES Yves André (CNRS-ENS, Paris), Olivier Biquard CAIMS Arthur Beaumont Distinguished Service Award (Strasbourg), Luc Devroye (McGill), CAIMS Cecil Graham Doctoral Dissertation Award Andrew Granville (Montréal), CAIMS Research Prize Alice Guionnet (CNRS-ENS, Lyon), Rick Kenyon (UBC), CMS Jeffery-Williams Prize: Martin Barlow (UBC) Gérard Laumon (CNRS-Orsay), Mary Pugh (Toronto), CMS Krieger-Nelson Prize: Izabella Laba (UBC) Eric Sere (Paris-Dauphine), Jean-Pierre Serre (Collège de CMS Excellence in Teaching Award France), Nicole Tomczak-Jaegermann (Alberta), MITACS Poster Competition Prizes Nizar Touzi (CREST-Paris), Jianhong Wu (York) MITACS Student Awards PUBLIC LECTURE Yvan Saint-Aubin (Montréal)
SESSIONS .UMERICAL !NALYSIS FOR (YPERBOLIC 3YSTEMS CAIMS MINISYMPOSIA !LGEBRAIC #OMBINATORICS 0ARTIAL $IFFERENTIAL %QUATIONS !SYMPTOTIC ANALYSIS OF LOCALIZED PATTERNS IN 0$%S !LGEBRAIC 'ROUPS AND 2ELATED 4OPICS 0ROBABILITY 3CIENTIlC #OMPUTING -ODELS FOR TRANSMISSION OF COMMUNICABLE !LGEBRAIC 4OPOLOGY DISEASES !NALYTIC .UMBER 4HEORY 3ET 4HEORY AND ITS !PPLICATIONS -ODELS OF MOTION IN BIOLOGY #!)-3 !RITHMETIC 'EOMETRY AND .UMBER 4HEORY 3TATISTICS -ODELING mUID STRUCTURE INTERACTION IN NAVAL !UTOMORPHIC &ORMS 3TOCHASTIC 0ROCESSES IN %VOLUTION %COLOGY ARCHITECTURE AND OCEAN ENGINEERING AND 'ENETICS #OMPLEX !NALYSIS AND /PERATOR 4HEORY .EW SOFTWARE FOR THE NUMERICAL SOLUTION OF 3YMPLECTIC AND #ONTACT 'EOMETRY DIFFERENTIAL EQUATIONS #!)-3 #OMPLEX $YNAMICAL 3YSTEMS 3INGULAR PERTURBATIONS AND THE 'INZBURG 4OPOLOGY +NOTS AND 2ELATED &IELDS &INANCIAL