Imperial College

(Joint with Gareth Boxall) In this talk I will introduce some properties of distal theories. I will remark that distality is preserved neither under reducts nor expansions of the language. I will then go on to discuss a recent result that the Shelah expansion of a theory is distal if and only if the theory itself is distal. 

I will talk about the fluid equations used to model pedestrian motion and traffic. I will present the compressible-incompressible Navier-Stokes two phase system describing the flow in the free and in the congested regimes, respectively. I will also show how to approximate such system by the compressible Navier-Stokes equations with singular pressure for the fixed barrier densities and also some recent developments for the barrier densities varying in the space and time.
This is a talk based on several papers in collaboration with: D. Bresch, C. Perrin, P. Degond, P. Minakowski, and L. Navoret.
 

I will explain how to prove the exactness of the homotopy sequence of overconvergent p-adic fundamental groups for a smooth and projective morphism in characteristic p. We do so by first proving a corresponding result for rigid analytic varieties in characteristic 0, following dos Santos in the algebraic case. In characteristic p we proceed by a series of reductions to the case of a liftable family of curves, where we can apply the rigid analytic result. Joint work with Chris Lazda.

One of the challenges of 21st-century science is to model the evolution of complex systems.  One example of practical importance is urban structure, for which the dynamics may be described by a series of non-linear first-order ordinary differential equations.  Whilst this approach provides a reasonable model of urban retail structure, it is somewhat restrictive owing to uncertainties arising in the modelling process.

We address these shortcomings by developing a statistical model of urban retail structure, based on a system of stochastic differential equations.   Our model is ergodic and the invariant distribution encodes our prior knowledge of spatio-temporal interactions.  We proceed by performing inference and prediction in a Bayesian setting, and explore the resulting probability distributions with a position-specific metrolpolis-adjusted Langevin algorithm.

Stochastic Hamiltonian systems with multiplicative noise are a mathematical model for many physical systems with uncertainty. For example, they can be used to describe synchrotron oscillations of a particle in a storage ring. Just like their deterministic counterparts, stochastic Hamiltonian systems possess several important geometric features; for instance, their phase flows preserve the canonical symplectic form. When simulating these systems numerically, it is therefore advisable that the numerical scheme also preserves such geometric structures. In this talk we propose a variational principle for stochastic Hamiltonian systems and use it to construct stochastic Galerkin variational integrators. We show that such integrators are indeed symplectic, preserve integrals of motion related to Lie group symmetries, demonstrate superior long-time energy behavior compared to nonsymplectic methods, and they include stochastic symplectic Runge-Kutta methods as a special case. We also analyze their convergence properties and present the results of several numerical experiments. 

We propose a multilevel paradigm for the global optimisation of polynomials with sparse support. Such polynomials arise through the discretisation of PDEs, optimal control problems and in global optimization applications in general. We construct projection operators to relate the primal and dual variables of the SDP relaxation between lower and higher levels in the hierarchy, and theoretical results are proven to confirm their usefulness. Numerical results are presented for polynomial problems that show how these operators can be used in a hierarchical fashion to solve large scale problems with high accuracy.

We will prove an upper bound for the volume of a minimal
hypersurface in a closed Riemannian manifold conformally equivalent to
a manifold with $Ric > -(n-1)$.  In the second part of the talk we will
construct a sweepout of a closed 3-manifold with positive Ricci
curvature by 1-cycles of controlled length and prove an upper bound
for the length of a stationary geodesic net. These are joint works
with Parker Glynn-Adey (Toronto) and Xin Zhou (MIT).

I will explain some recent work using minimal surfaces to address problems in 3-manifold topology.  Given a Heegaard splitting, one can sweep out a three-manifold by surfaces isotopic to the splitting, and run the min-max procedure of Almgren-Pitts and Simon-Smith to construct a smooth embedded minimal surface.   If the original splitting were strongly irreducible (as introduced by Casson-Gordon), H. Rubinstein sketched an argument in the 80s showing that the limiting minimal surface should be isotopic to the original splitting.  I will explain some results in this direction and how jointly with T. Colding and D. Gabai we can use such min-max minimal surfaces to complete the classification problem for Heegaard splittings of non-Haken hyperbolic 3-manifolds.