University of Cambridge

We study the nonlinear wave equations on a class of asymptotically flat Lorentzian manifolds $(\mathbb{R}^{3+1}, g)$ with time dependent inhomogeneous metric g. Based on a new approach for proving the decay of solutions of linear wave equations, we give several applications to nonlinear problems. In particular, we show the small data global existence result for quasilinear wave equations satisfying the null condition on a class of time dependent inhomogeneous backgrounds which do not settle to any particular stationary metric.

The coalescing Brownian flow on $\R$ is a process which was introduced by Arratia (1979) and Toth and Werner (1997), and which formally corresponds to starting coalescing Brownian motions from every space-time point. We provide a new state space and topology for this process and obtain an invariance principle for coalescing random walks. The invariance principle holds under a finite variance assumption and is thus optimal. In a series of previous works, this question was studied under a different topology, and a moment of order $3-\eps$ was necessary for the convergence to hold. Our proof relies crucially on recent work of Schramm and Smirnov on scaling limits of critical percolation in the plane. Our approach is sufficiently simple that we can handle substantially more complicated coalescing flows with little extra work -- in particular similar results are obtained in the case of coalescing Brownian motions on the Sierpinski gasket. This is the first such result where the limiting paths do not enjoy the non-crossing property.

Joint work with Christophe Garban (Lyon) and Arnab Sen (Minnesota).

With F. Johansson Viklund (Columbia) and A. Turner (Lancaster), we have studied a regularized version of the Hastings-Levitov model of random Laplacian growth. In addition to the usual feedback parameter $\alpha>0$, this regularized version of the growth process features a smoothing parameter $\sigma>0$.

We prove convergence of random clusters, in the limit as the size of the individual aggregating particles tends to zero, to deterministic limits, provided the smoothing parameter does not tend to zero too fast. We also study scalings limit of the harmonic measure flow on the boundary, and show that it can be described in terms of stopped Brownian webs on the circle. In contrast to the case $\alpha=0$, the flow does not always collapse into a single Brownian motion, which can be interpreted as a random number of infinite branches being present in the clusters.

Colloidal suspensions do not freeze uniformly; rather, the frozen phase (e.g. ice) becomes segregated, trapping bulk regions of the colloid within, which leads to a fascinating variety of patterns that impact both nature and technology. Yet, despite the central importance of ice segregation in several applications, the physics are poorly understood in concentrated systems and continuum models are available only in restricted cases. I will discuss a particular set of steady-state ice segregation patterns that were obtained during a series of directional solidification experiments on concentrated suspensions. As a case study, I will focus of one of these patterns, which is very reminiscent of ice lenses observed in freezing soils and rocks; a form of ice segregation which underlies frost heave and frost weathering. I will compare these observations against an extended version of a 'rigid-ice' model used in previous frost heave studies. The comparison between theory and experiment is qualitatively correct, but fails to quantitatively predict the ice-lensing pattern. This leaves open questions about the validity of the assumptions in 'rigid-ice' models. Moreover, 'rigid-ice' models are inapplicable to the study of other ice segregation patterns. I conclude this talk with some possibilities for a more general model of freezing colloidal suspensions.

Convection in a porous medium plays an important role in many geophysical and industrial processes, and is of particular current interest due to its implications for the long-term security of geologically sequestered CO_2. I will discuss two different convective systems in porous media, with the aid of 2D direct numerical simulations: first, a Rayleigh-Benard cell at high Rayleigh number, which gives an accurate characterization both of the convective flux and of the remarkable dynamical structure of the flow; and second, the evolution and eventual `shut-down' of convection in a sealed porous domain with a source of buoyancy along only one boundary. The latter case is also studied using simple box models and laboratory experiments, and can be extended to consider convection across an interface that can move and deform, rather than across a rigid boundary. The relevance of these results in the context of CO_2 sequestration will be discussed.

Very-large scale data analytics are an alleged golden goose for efforts in parallel and distributed computing, and yet contemporary statistics remain somewhat of a dark art for the uninitiated. In this presentation, we are going to take a mathematical and algorithmic look beyond the veil of Big Data by studying the structure of the algorithms and data, and by analyzing the fit to existing and proposed computer systems and programming models. Towards highly scalable kernels, we will also discuss some of the promises and challenges of approximation algorithms using randomization, sampling, and decoupled processing, touching some contemporary topics in parallel numerics.

********** PLEASE NOTE THE SPECIAL TIME **********

Total generalised variation (TGV) was introduced by Bredies et al. as a high quality regulariser for variational problems arising in mathematical image processing like denoising and deblurring. The main advantage over the classical total variation regularisation is the elimination of the undesirable stairscasing effect. In this talk we will give a small introduction to TGV and provide some properties of the exact solutions to the L^{2}-TGV model in the one dimensional case.

The star-triangle transformation is used to obtain an equivalence extending over a set bond percolation models on isoradial graphs. Amongst the consequences are box-crossing (RSW) inequalities and the universality of alternating arms exponents (assuming they exist) for such models, under some conditions. In particular this implies criticality for these models.

(joint with Geoffrey Grimmett)