Research Highlights

Machine Learning and Carbon Capture

IMSI - January 2025

Chemical engineers are teaming up with data scientists to use machine learning as a transformative technology in the discovery of new materials that can be used to capture the carbon dioxide produced by power plants. Their target are metal-organic frameworks – crystalline materials that act like sponges that can selectively absorb greenhouse gases in the flues of coal-burning and natural gas-burning power plants.

Machine Learning and Carbon Capture Thumbnail Image

With New Theory and Algorithm, IAS Researchers are the First to Compute K-Groups

IAS - December 2024

Since its founding, K-theory has presented seemingly intractable obstacles to computation. K-theory is a branch of pure mathematics that studies rings, algebraic structures that index systems of numbers using two binary operations. K-theory assigns rings a series of invariants, called K-groups, that provide insight into their character. Invariants are vital to understanding core truths and relationships in mathematics. They describe properties that remain constant through alteration, shedding light on – or sparking curiosity about – a wide range of objects in algebra, geometry, and topology...

Practical Inference Algorithms for Species Networks

ICERM - November 2024

Phylogenetics is a field of evolutionary biology dedicated to understanding the evolutionary relationships among species. Inferring these relationships is essential for diverse applications, including conservation efforts, tracking infectious disease dynamics, and improving agricultural practices.

Practical Inference Algorithms for Species Networks Thumbnail Image

Understanding Moneyless Markets

SLMath - November 2024

Economists are using mathematics to come to a deeper understanding of how to allocate indivisible goods in markets that do not use currency.

Understanding Moneyless Markets Thumbnail Image

A Second-Order Correction Method For A Parabolic-Parabolic Interface Problem

ICERM - September 2024

Fluid-structure interaction (FSI) problems involve the study of how fluids and solid structures behave when they come into contact with each other. These problems are important in many engineering and scientific applications, such as aeronautics, aeroelasticity, aerodynamics, biomechanics, civil engineering, and mechanical engineering. Sijing Liu introduces a second-order correction method for a parabolic-parabolic interface problem, a simplified version of FSI.

A Second-Order Correction Method For A Parabolic-Parabolic Interface Problem Thumbnail Image

Grothendieck Shenanigans: Permutons From Pipe Dreams via Integrable Probability

IPAM - August 2024

If Alice and Bob each take a walk, a random one, what is the chance they will meet? If n people walk randomly in Manhattan from the Upper East Side going south or west, how often will two of them meet until they reach the Hudson? If they do not want to see each other more than once, in what relative order will they most likely arrive at the Hudson shore? If we make a rhombus like an Aztec diamond from 2 by 1 dominoes, what would it most likely look like? If water molecules arrange themselves on a square grid, what angles between the hydrogen atoms will be formed near the boundaries? And if ribosomes are transcribing the mRNA, how do they hop between the sites (codons)?

Grothendieck Shenanigans: Permutons From Pipe Dreams via Integrable Probability Thumbnail Image

Algorithms, Fairness, and Equity

SLMath - August 2024

Political districting is an important and mathematically challenging problem. In fall 2023, the Simons Laufer Mathematical Sciences Institute (SLMath) hosted a semester program on algorithms, fairness, and equity, focusing on the intersection of computational tools and the many notions of fairness that arise in different mathematical and societal contexts, such as political districting.

Algorithms, Fairness, and Equity Thumbnail Image

Exploiting Combinatorial Regularity for Topological and Morse Measures of ReLU Neural Networks

ICERM - July 2024

Identifying the capabilities of a machine learning model before applying it is a key goal in neural architecture search. Too small of a model, and the network will never successfully perform its task. Too large of a model, and computational energy is wasted and the cost of model training may become unbearably high. While universal approximation theorems and even dynamics are available for various limiting forms of ReLU neural networks, there are still many questions about the limitations of what small neural networks of this form can accomplish. Marissa Masden seeks to understand ReLU neural networks through a combinatorial, discrete structure that enables capturing topological invariants of structures like the decision boundary.

Exploiting Combinatorial Regularity for Topological and Morse Measures of ReLU Neural Networks Thumbnail Image

Our Changing World: Algebraic Statistics for Evolutionary Biology and Ecology

IMSI - June 2024

Understanding the evolutionary history of a collection of species, through fields such as phylogenomics and comparative phylogenetics, is crucial as we consider the future effects of climate change. Algebraic statistics provides algebraic and geometric tools to study the models commonly used in evolutionary biology. The Institute for Mathematical and Statistical Innovation (IMSI), hosted a workshop, “Algebraic Statistics for Ecological and Biological Systems,” as part of a Long Program on “Algebraic Statistics and Our Changing World,” which highlighted these connections.

Our Changing World: Algebraic Statistics for Evolutionary Biology and Ecology Thumbnail Image

Improving Newton’s Method Near Singular Points with Anderson Acceleration

ICERM - May 2024

Nonlinear equations are ubiquitous in the sciences, a famous example being the Navier-Stokes equations in fluid mechanics. To compute a numerical solution for a given nonlinear equation, one often employs an iterative scheme such as Newton’s method. Recent works by Matt Dallas, Sara Pollock, and Leo Rebholz analyze Anderson accelerated Newton’s method applied to singular problems.

Improving Newton’s Method Near Singular Points with Anderson Acceleration Thumbnail Image