Research Highlights

Lean for the Curious Mathematician 2022

ICERM - March 2023

Interactive theorem proving software can check, manipulate, and generate proofs of mathematical statements, just as computer algebra software can manipulate numbers, polynomials, and matrices. Over the last few years, these systems have become highly sophisticated, and have learnt a large amount of mathematics.

Lean for the Curious Mathematician 2022 Thumbnail Image

Mathematics and Statistics Contribute to Climate Science and Policy

IMSI - February 2023

Scientists from across the disciplines have spent decades making the case that our planet is rapidly warming due to anthropogenic emissions of carbon dioxide (CO2) and other greenhouse gasses. The catastrophic consequences of global warming are becoming undeniably obvious. Scientists, economists, and social scientists are now collaborating to improve our understanding and predictions of how Earth’s changing climate will impact humanity and the ecological and social systems upon which life relies.

Mathematics and Statistics Contribute to Climate Science and Policy Thumbnail Image

Finding vulnerabilities in machine learning—and searching for ways to protect against them

IAS - September 2022

Theoretical computer scientists prove that undetectable, malicious backdoors are possible.

Gibbs measures and nonlinear wave equations

ICERM - August 2022

Gibbs measures are tools from probability that play a fundamental role in mathematics (partial differential equations (PDE), stochastic partial differential equations, etc.) and in physics (statistical mechanics, Euclidean field theories, etc).

Gibbs measures and nonlinear wave equations Thumbnail Image

The quest for uniform bounds

AIM - April 2022

Laura DeMarco, Holly Krieger, and Hexi Ye employ arithmetic tools and ideas from dynamical systems to provide a uniform Manin-Mumford bound on the number of torsion points for a family of genus 2 curves.

The quest for uniform bounds Thumbnail Image

Mathematics and Physics at the Moiré Scale

IPAM - April 2022

The unique electronic, optical, and mechanical properties of 2D materials have recently sparked an extraordinary level of experimental, theoretical, and computational activity in the materials science and physics communities. Interest in the mathematics community has recently emerged to develop rigorous foundations, improved models, and computational methods. IPAM sponsored a workshop on “Theory and Computation for 2D Materials” during January 13-17, 2020 that facilitated exchanges between the mathematics community and the physics communities working on 2D materials.

Mathematics and Physics at the Moiré Scale Thumbnail Image

SQuaRE group mixes theory and computation

AIM - April 2022

AIM SQuaRE group produces a new tool for research in algebraic geometry.

SQuaRE group mixes theory and computation Thumbnail Image

Mathematicians prove forced Navier-Stokes solutions are not unique in the Leray-Hopf class

IAS - March 2022

For almost 200 years, scientists and engineers have used the so-called Navier-Stokes equations to describe how fluids behave. These partial differential equations arose from Newton’s second law—that an object’s acceleration depends on its mass and the net force acting upon it—and incorporate internal forces, such as pressure, and external forces, such as gravity, on the movement of fluids. Among their applications, the Navier-Stokes equations, and their variations, are the main models used today for determining currents in the oceans, airflow around airplanes and cars, smoke dispersion from chimneys, and water flow in pipes.

Dispersive shock waves

ICERM - March 2022

Shock waves can be observed both experimentally and theoretically, and manifest as a train of localized, highly oscillating waves. They are observed in water waves, plasma, optics, or Bose-Einstein condensates. Dispersive shock waves can appear when one of the relevant quantities of the model changes abruptly compared to the others. Mathematically, it is possible to grasp the formation of a dispersive shock wave by letting a particular parameter of the modeling equation tend to zero: this is called the zero-dispersion limit.

Dispersive shock waves Thumbnail Image

Universality and Integrability in Random Matrix Theory and Interacting Particle Systems

SLMath - March 2022

This semester, participants in the Universality and Integrability in Random Matrix Theory and Interacting Particle Systems semester program studied the broad connections between random matrix theory and interacting particle systems, which can be used to model atoms or molecules, but also to find applications in areas as dissimilar as traffic flow, epidemiology, and financial markets.

Universality and Integrability in Random Matrix Theory and Interacting Particle Systems Thumbnail Image