Aiming: automated discovery for structure-preserving discretizations

The National Science Foundation Division of Mathematical Sciences awarded Cornell University $750,000 on January 1, 2027, under the Mathematical and Physical Sciences program (CFDA 47.049) to develop automated discovery methods for structure-preserving discretizations of partial differential equations.

The project, titled "AIMING: Automated Discovery for Structure-Preserving Discretizations," will create computational tools that automate the design of accurate and efficient numerical solvers for PDEs across different discretization methods. The work organizes around three primary tasks: discovering discretizations that satisfy conservation properties common in physical systems; developing finite difference methods that preserve positivity and causality structures; and creating tools to make known structure-preserving discretizations easier to use and more broadly applicable. Graduate students will participate in the research.

Performance occurs at Cornell's Ithaca, New York campus with a period of performance running through December 31, 2029. The funding supports research aligned with NSF's broader mission to promote progress in mathematical and physical sciences by strengthening the Nation's scientific enterprise.

Abstract

Partial differential equations (pdes) are one of the most common and flexible mathematical models for physical phenomena, from thermal conduction and fluid dynamics, to waves and electromagnetism. Accordingly, finding approximate solutions to pdes given physical parameters, such as the geometry of the domain, and the initial and boundary conditions, is of paramount importance in computational and applied mathematics. Defining a discretization of a PDE involves numerous choices, which have a significant impact on accuracy and computational performance. A central idea in numerical analysis is that the discrete problem should be designed to reflect relevant mathematical structures from the continuous problem. This project aims to automate the discovery of structure-preserving discretizations across different kinds of pdes and different discretization methods. Solvers for partial differential equations play a fundamental role across science and engineering for simulating physical phenomena. The proposed work has the potential to make these important simulations more accurate and more efficient, by providing automated assistance to capture relevant mathematical structure in the discretization, and to discover promising new discretization methods. The proposed work will also develop tools to make known structure-preserving discretizations easier to use and more broadly applicable. The project will involve graduate students. This project is organized along three primary tasks, each tackling a different aspect of discovering structure-preserving discretizations. Our first task aims to find discretizations satisfying conservation properties, one of the most common forms of structure in pdes describing physical systems. Our second task focuses on finite difference (FD) methods. We will consider automated discovery for FD discretizations that preserve two kinds of structure: positivity, and causality. Our final task turns to finite element methods (FEM). Rather than building on a fixed collection of discrete function spaces studied in the FEM literature, the focus of this task will be to automatically discover suitable shape functions, and compatible collections of function spaces that satisfy mimetic properties. On the more theoretical side, this project has the potential to automatically find new instances of structure-preserving methods for pdes, which may be of mathematical interest. On the more applied side, the new methods for verification and search developed by this project can lead to new automated tools that make structure-preserving discretizations easier to use in existing frameworks for computational simulation, such as devito (FD), fenics, and firedrake (FEM). This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the foundation's intellectual merit and broader impacts review criteria.- subawards are not planned for this award.