Imperial College London

TBA

We review progress made by our group on soft matter at interfaces and related physics from the nano- to macroscopic lengthscales. Specifically, to capture nanoscale properties very close to interfaces and to establish a link to the macroscale behaviour, we employ elements from the statistical mechanics of classical fluids, namely density-functional theory (DFT). We formulate a new and general dynamic DFT that carefully and systematically accounts for the fundamental elements of any classical fluid and soft matter system, a crucial step towards the accurate and predictive modelling of physically relevant systems. In a certain limit, our DDFT reduces to a non-local Navier-Stokes-like equation that we refer to as hydrodynamic DDFT: an inherently multiscale model, bridging the micro- to the macroscale, and retaining the relevant fundamental microscopic information (fluid temperature, fluid-fluid and wall-fluid interactions) at the macroscopic level.

Work analysing the moving contact line in both equilibrium and dynamics will be presented. This has been a longstanding problem for fluid dynamics with a major challenge being its multiscale nature, whereby nanoscale phenomena manifest themselves at the macroscale. A key property captured by DFT at equilibrium, is the fluid layering on the wall-fluid interface, amplified as the contact angle decreases. DFT also allows us to unravel novel phase transitions of fluids in confinement. In dynamics, hydrodynamic DDFT allows us to benchmark existing phenomenological models and reproduce some of their key ingredients. But its multiscale nature also allows us to unravel the underlying physics of moving contact lines, not possible with any of the previous approaches, and indeed show that the physics is much more intricate than the previous models suggest.

We will close with recent efforts on machine learning and DFT. In particular, the development of a novel data-driven physics-informed framework for the solution of the inverse problem of statistical mechanics: given experimental data on the collective motion of a classical many-body system, obtain the state functions, such as free-energy functionals.

The vacant set of the random walk on the torus undergoes a percolation phase transition at Poissonian timescales in dimensions 3 and higher. The talk will review this phenomenon and discuss recent progress regarding the nature of the transition, both for this model and its infinite-volume limit, the vacant set of random interlacements, introduced by Sznitman in Ann. Math., 171 (2010), 2039–2087. The discussion will lead up to recent progress regarding the long purported equality of several critical parameters naturally associated to the transition. 

We apply recent ideas in Floer homotopy theory to some questions in symplectic topology. We show that Floer homology can detect smooth structures of certain Lagrangians, as well as using this to find restrictions on symplectic mapping class groups. This is based on joint work-in-progress with Ivan Smith.

Wiles' modularity lifting theorem was the central argument in his proof of modularity of (semistable) elliptic curves over Q, and hence of Fermat's Last Theorem. His proof relied on two key components: his "patching" argument (developed in collaboration with Taylor) and his numerical isomorphism criterion.

In the time since Wiles' proof, the patching argument has been generalized extensively to prove a wide variety of modularity lifting results. In particular Calegari and Geraghty have found a way to generalize it to prove potential modularity of elliptic curves over imaginary quadratic fields (contingent on some standard conjectures). The numerical criterion on the other hand has proved far more difficult to generalize, although in situations where it can be used it can prove stronger results than what can be proven purely via patching.

In this talk I will present joint work with Srikanth Iyengar and Chandrashekhar Khare which proves a generalization of the numerical criterion to the context considered by Calegari and Geraghty (and contingent on the same conjectures). This allows us to prove integral "R=T" theorems at non-minimal levels over imaginary quadratic fields, which are inaccessible by Calegari and Geraghty's method. The results provide new evidence in favor of a torsion analog of the classical Langlands correspondence.

Modern Data Assimilation (DA) can be traced back to the sixties and owes a lot to earlier developments in linear filtering theory. Since then, DA has evolved independently of Filtering Theory. To-date it is a massively important area of research due to its many applications in meteorology, ocean prediction, hydrology, oil reservoir exploration, etc. The field has been largely driven by practitioners, however in recent years an increasing body of theoretical work has been devoted to it. In this talk, In my talk, I will advocate the interpretation of DA through the language of stochastic filtering. This interpretation allows us to make use of advanced particle filters to produce rigorously validated DA methodologies. I will present a particle filter that incorporates three additional add-on procedures: nudging, tempering and jittering. The particle filter is tested on a two-layer quasi-geostrophic model with O(10^6) degrees of freedom out of which only a minute fraction are noisily observed.

Given a variety defined over a field of characteristic zero and an algebraically integrable foliation of corank less than or equal to two, we show the existence of a categorical quotient, defined on the non-empty open subset of algebraically smooth points, through which every invariant morphism factors uniquely. Some applications to quotients by connected groups will be discussed.
 

Persistent homology is an important methodology from topological data analysis which adapts theory from algebraic topology to data settings and has been successfully implemented in many applications. It produces a statistical summary in the form of a persistence diagram, which captures the shape and size of the data. Despite its widespread use, persistent homology is simply impossible to implement when a dataset is very large. In this talk, I will address the problem of finding a representative persistence diagram for prohibitively large datasets. We adapt the classical statistical method of bootstrapping, namely, drawing and studying smaller multiple subsamples from the large dataset. We show that the mean of the persistence diagrams of subsamples—taken as a mean persistence measure computed from the subsamples—is a valid approximation of the true persistent homology of the larger dataset. We give the rate of convergence of the mean persistence diagram to the true persistence diagram in terms of the number of subsamples and size of each subsample. Given the complex algebraic and geometric nature of persistent homology, we adapt the convexity and stability properties in the space of persistence diagrams together with random set theory to achieve our theoretical results for the general setting of point cloud data. We demonstrate our approach on simulated and real data, including an application of shape clustering on complex large-scale point cloud data.

This is joint work with Yueqi Cao (Imperial College London).