University of Cambridge

We formulate and solve a generalized inverse Navier–Stokes boundary value problem for velocity field reconstruction and simultaneous boundary segmentation of noisy Flow-MRI velocity images. We use a Bayesian framework that combines CFD, Gaussian processes, adjoint methods, and shape optimization in a unified and rigorous manner.
With this framework, we find the velocity field and flow boundaries (i.e. the digital twin) that are most likely to have produced a given noisy image. We also calculate the posterior covariances of the unknown parameters and thereby deduce the uncertainty in the reconstructed flow. First, we verify this method on synthetic noisy images of flows. Then we apply it to experimental phase contrast magnetic resonance (PC-MRI) images of an axisymmetric flow at low and high SNRs. We show that this method successfully reconstructs and segments the low SNR images, producing noiseless velocity fields that match the high SNR images, using 30 times less data.
This framework also provides additional flow information, such as the pressure field and wall shear stress, accurately and with known error bounds. We demonstrate this further on a 3-D in-vitro flow through a 3D-printed aorta and 3-D in-vivo flow through a carotid artery.

Stable commutator length (scl) is a measure of homological complexity in groups that has attracted attention for its various connections with geometric topology and group theory. In this talk, I will introduce scl and discuss the (hard) problem of computing scl in surface groups. I will present some results concerning isometric embeddings of free groups for scl, and how they generalise to surface groups for the relative Gromov seminorm.

The character table of GL(2,Fq), for a prime power q, was constructed over a century ago. Many of these characters were determined via the explicit construction of a corresponding representation, but purely character-theoretic techniques were first used to compute the so-called discrete series characters. It was not until the 1970s that Drinfeld was able to explicitly construct the corresponding discrete series representations via l-adic étale cohomology groups. This work was later generalised by Deligne and Lusztig to all finite groups of Lie type, giving rise to Deligne-Lusztig theory.

In a similar vein, we would like to construct the representations affording the (smooth) characters of compact groups like GL(2,Zp), where Zp is the ring of p-adic integers. Deligne-Lusztig theory suggests hunting for these representations inside certain cohomology groups. In this talk, I will consider one such approach using a non-archimedean analogue of de Rham cohomology.

Fluids sculpt many of the shapes we see in the world around us. We present a new mathematical model describing the shape evolution of a body that dissolves or melts under gravitationally stable buoyancy-driven convection, driven by thermal or solutal transfer at the solid-fluid interface. For high Schmidt number, the system is reduced to a single integro-differential equation for the shape evolution. Focusing on the particular case of a cone, we derive complete predictions for the underlying self-similar shapes, intrinsic scales and descent rates. We will present the results of new laboratory experiments, which show an excellent match to the theory. By analysing all initial power-law shapes, we uncover a surprising result that the tips of melting or dissolving bodies can either sharpen or blunt with time subject to a critical condition.

I will explain how various results in arithmetic statistics by Bhargava, Gross, Shankar and others on 2-Selmer groups of Jacobians of (hyper)elliptic curves can be organised and reproved using the theory of graded Lie algebras, following earlier work of Thorne. This gives a uniform proof of these results and yields new theorems for certain families of non-hyperelliptic curves. I will also mention some applications to rational points on certain families of curves.

After a general introduction to the study of random walks on groups, we discuss the relationship between limit theorems for random walks on Lie groups and Diophantine properties of the underlying distribution. Indeed, we will discuss the classical abelian case and more recent results by Bourgain-Gamburd for compact simple Lie groups such as SO(3). If time permits, we discuss some new results for non-compact simple Lie groups such as SL_2(R). We hope to touch on the relevant methods from harmonic analysis, number theory and additive combinatorics. The talk is aimed at a general audience. 

I will review the series of recent results with Merle (IHES), Rodnianski (Princeton) and Szeftel (Paris Sorbonne) concerning the description of implosion mechanisms for viscous three dimensional compressible fluids. I will explain how the problem is connected to the description of blow up mechanisms for classical super critical defocusing models. 

The statistical analysis of data which lies in a non-Euclidean space has become increasingly common over the last decade, starting from the point of view of shape analysis, but also being driven by a number of novel application areas. However, while there are a number of interesting avenues this analysis has taken, particularly around positive definite matrix data and data which lies in function spaces, it has increasingly raised more questions than answers. In this talk, I'll introduce some non-Euclidean data from applications in brain imaging and in linguistics, but spend considerable time asking questions, where I hope the interaction of statistics and topological data analysis (understood broadly) could potentially start to bring understanding into the applications themselves.

We consider, in a framework of iterated random conformal maps, a two-parameteraggregation model of Hastings-Levitov type, in which the size and intensity of new particles are each chosen to vary as a power of the density of harmonic measure. Then we consider a limit
in which the overall intensity of particles become large, while the particles themselves become
small. For a certain `sub-critical' range of parameter values, we can show a law of large numbers and fluctuation central limit theorem. The admissible range of parameters includes an off-lattice version of the Eden model, for which we can show that disk-shaped clusters are stable.
Many open problem remain, not least because the limit PDE does not yet have a satisfactory mathematical theory.

This is joint work with Vittoria Silvestri and Amanda Turner.

The dynamics of quantum many-body systems is intricately related to random matrix theory (RMT), to such a degree that quantum chaos is even defined through random matrix level statistics. However, exact results on this connection are typically precluded by the exponentially large Hilbert space. After a short introduction to the role of RMT in many-body dynamics, I will show how dual-unitary circuits present a minimal model of quantum chaos where this connection can be made rigorous. This will be illustrated using a new kind of emergent random matrix behaviour following a quantum quench: starting from a time-evolved state, an ensemble of pure states supported on a small subsystem can be generated by performing projective measurements on the remainder of the system, leading to a projected ensemble. In chaotic quantum systems it was conjectured that such projected ensembles become indistinguishable from the uniform Haar-random ensemble and lead to a quantum state design, which can be shown to hold exactly in dual-unitary circuit dynamics.