# School of Mathematics

## How will we do mathematics in 2030 ?

We make the case that over the coming decade, computer assisted reasoning will become far more widely used in the mathematical sciences. This includes interactive and automatic theorem verification, symbolic algebra, and emerging technologies such as formal knowledge repositories, semantic search and intelligent textbooks.

## Permutation property testing

## Thresholds Versus Fractional Expectation-Thresholds

Given an increasing family F in {0,1}^n, its measure according to mu_p increases and often exhibits a threshold behavior, growing quickly as p increases from near 0 to near 1 around a specific value p_c. Thresholds of families have been of great historical interest and a central focus of the study of random discrete structures (e.g. random graphs and hypergraphs), with estimation of thresholds for specific properties the subject of some of the most challenging work in the area.

## A rigorous derivation of the kinetic wave equation

In this talk I will outline recent work in collaboration with Pierre Germain, Zaher Hani and Jalal Shatah regarding a rigorous derivation of the kinetic wave equation. The proof presented will rely of methods from PDE, statistical physics and number theory.

## On the gradient-flow structure of multiphase mean curvature flow

Due to its importance in materials science where it models the slow relaxation of grain boundaries, multiphase mean curvature flow has received a lot of attention over the last decades.

## The h-principle in symplectic geometry

Symplectic geometry, and its close relative contact geometry, are geometries closely tied to complex geometry, smooth topology, and mathematical physics. The h-principle is a general method used for construction of smooth geometric objects satisfying various underdetermined properties. In the symplectic context, h-principles typically give constructions of surprising exotica, and methods for detecting the basic flexible objects. We survey a number of results from the previous decade.

## Graph Sparsification via Short Cycle Decomposition

## The nonlinear stability of the Schwarzschild metric without symmetry

I will discuss an upcoming result proving the full finite-codimension non-linear asymptotic stability of the Schwarzschild family as solutions to the Einstein vacuum equations in the exterior of the black hole region.

No symmetry is assumed. The work is based on our previous understanding of linear stability of Schwarzschild in double null gauge. Joint work with G. Holzegel, I. Rodnianski and M. Taylor.