We spotlight how this 12 months’s awardees from a number of the most necessary prizes in arithmetic have had an impression within the computational science neighborhood.
On 5 July 2022, the Worldwide Mathematical Union (IMU), a global non-governmental and non-profit scientific group, introduced the awardees of a number of the most prestigious and necessary prizes in arithmetic. All of those awards characterize necessary scientific contributions that considerably transfer the sector of arithmetic — and science as an entire — ahead. A number of the awards from this 12 months are additionally significantly noteworthy for the computational and laptop science communities.
The Fields Medal, typically described because the Nobel Prize of arithmetic, acknowledges excellent mathematical achievements and is awarded to mathematicians beneath 40 years of age. This 12 months, there have been 4 medalists in whole; among the many awardees, Hugo Duminil-Copin, a professor on the Institute of Superior Scientific Research in France and on the College of Geneva in Switzerland, works on the intersection between arithmetic and physics. One in every of his most notable contributions is the event of mathematical fashions that can be utilized to discover a elementary bodily phenomenon generally known as part transition: for instance, when ice melts, a part change happens and strong transforms into liquid water. Of their work, Duminil-Copin and colleagues prolonged the well-understood two-dimensional Ising mannequin to larger dimensions; notably, this extension resolved the continuity downside of part transition in three-dimensional Ising fashions.
The IMU Abacus Medal, beforehand generally known as the Rolf Nevanlinna Prize, is awarded to theoretical laptop scientists beneath 40 years of age for excellent contributions within the mathematical features of knowledge sciences, together with laptop science, scientific computing and numerical evaluation. Notable winners of the earlier Rolf Nevanlinna Prize embrace, for example, Leslie Valiant, for his many contributions to theoretical laptop science; Peter Shor, for his work on quantum computation, and extra particularly, for deriving Shor’s algorithm; and Jon Kleinberg, for his contributions to the mathematical idea of the worldwide info atmosphere, together with small-world networks and the idea underlying search engines like google and yahoo. This 12 months, the Abacus Medal goes to Mark Braverman, a professor of laptop science at Princeton College, for bringing mathematical rigor — from info idea — into communication complexity, an space that considers eventualities the place there are a number of events performing computation. Braverman’s work focuses on growing methods for proving exact estimates on the quantity of communication wanted between a number of events, with the objective of minimizing the quantity of knowledge that they should share to finish their job: in different phrases, how can the duty be achieved with every celebration studying as little as potential from one another? Virtually, this has implications on varied real-world settings that rely on interactive communication, corresponding to info safety, knowledge compression, and the design of streaming algorithms.
One other notable awardee for the computational science neighborhood is Elliott Lieb, a professor of arithmetic and Higgins professor of physics at Princeton College, who’s the recipient of this 12 months’s Carl Friedrich Gauss Prize. This prize is awarded for excellent mathematical contributions which have discovered necessary purposes exterior of arithmetic; in Lieb’s case, his contributions have had extraordinary breadth, with implications in fields corresponding to quantum mechanics, quantum info idea, and computational chemistry. Amongst many achievements, Lieb and colleagues solved the two-dimensional Ising mannequin; proved the sturdy subadditivity of quantum entropy, which is a primary theorem in quantum info idea; and offered varied proofs of thermodynamic features, together with within the homogenous electron fuel, which serves as the premise of many functionals in density practical idea. Lieb’s work on figuring out varied inequalities has contributed to the calibration of density functionals, the understanding of the soundness of matter, and the institution of constants in practical evaluation to evaluate nonlinear quantum methods.
It’s actually not shocking that the ideas and advances within the subject of arithmetic are broadly necessary to different areas of analysis, together with computational science. Carl Friedrich Gauss, the well-known mathematician after which one of many prizes is called, is alleged to have acknowledged that arithmetic is ‘the queen of sciences’. We couldn’t agree extra with such an announcement.
About this text
Cite this text
Arithmetic, the queen of sciences.
Nat Comput Sci (2022). https://doi.org/10.1038/s43588-022-00293-2