# 2017-18

Organiser: Stephen Cantrell

#### Term 1 2017-18 - The seminars are held on Wednesday 12:00 - 13:00 in B3.02 - Mathematics Institute

Week 1: Wednesday 4th October

Alex Wendland - Generalising Cayley Graphs

Cayley graphs form one of the most well understood families of vertex transitive graphs, in this talk we talk about one possible generalisation to enlarge this family. The talk will consist of a soft introduction to Cayley and vertex transitive graphs in general, then will discuss some easily stated problems in this field to motivate why generalising this definition is a natural construction. The talk will include copious hand waving and trippy graph drawing.

Week 2: Wednesday 11th October

Ellie Archer - Random Walks on Fractals

The aim of this talk is to introduce random walks on fractals via some key examples. It is not a priori clear how to even define a random walk on a fractal so we start by discussing random walks on finite graphs. We will then introduce electrical network theory, which can be used to define random walks on fractals by essentially taking scaling limits of random walks on sets which approximate the fractal. We will illustrate this with the example of the Sierpinski Triangle.

We will then move on to random fractals, focusing mainly on the case of random trees and looptrees, and explain how the theory developed for deterministic fractals can be applied to the random case. Time permitting, we will conclude by discussing some properties of random walks on the Continuum Random Tree and on looptrees.

Week 3: Wednesday 18th October

Philip Herbert - Particles in Biomembranes

The shape of a membrane is important in many biological mechanisms, such as trafficking or signal detection. One wishes to study how constraints affect the shape. This talk aims to introduce the problem of a membrane with embedded proteins and will discuss some of the tools being used to model this problem supposing that any deformations are small.

Week 4: Wednesday 25th October

Trish Gunaratnam - Transport of Gaussian measures under Hamiltonian PDE dynamics

Transport of Gaussian measures under Hamiltonian PDE dynamics
In this talk, we look at the transport properties of a Gaussian measure that is naturally associated to linear wave dynamics. In particular, we are interested in a recent result of Oh and Tzvetkov about the quasi-invariance of this measure under the dynamics of the cubic nonlinear Klein-Gordon equation on the two-dimensional torus.

We start gently and explore the transport properties of this measure under linear dynamics, leading up to the Cameron-Martin theorem and also to invariance under the wave equation. We then turn our attention to the dynamics of the nonlinear Klein-Gordon equation. The focus will be on understanding the result, its limitations, corollaries and associated results. Time permitting, we will look at some ideas behind the proof.

Week 5: Wednesday 1st November

Augustin Moinat - Coming down from infinity in $\Phi^4_d$.

We present a new method for obtaining estimates in stochastic differential equations, through the example of the $\Phi^4_d$ equation:
$(\partial_t-\Delta)u=-u^3+\xi$
where we prove bounds independent of initial conditions. The method involves looking at regularity through bounds on mollified objects.

Week 6: Wednesday 8th November

Natalia Jurga - Dimension of Bernoulli measures for non-linear countable Markov maps

It is well known that the Gauss map $G: [0,1) \to [0,1)$
$$G(x)= \frac{1}{x} \mod 1$$
has an absolutely continuous invariant probability measure $\mu_G$ given by
$$\mu_G(A)= \frac{1}{\log 2} \int_A \frac{1}{1+x} dx$$

Kifer, Peres and Weiss showed that there exists a 'dimension gap' between the supremum of the Hausdorff dimensions of Bernoulli measures $\mu_{\mathbf{p}}$ for the Gauss map and the dimension of the measure of maximal dimension (which in this case is $\mu_G$ with dimension 1). In particular they showed that
$$\sup_{\mathbf{p}} \dim_H \mu_{\mathbf{p}} < 1- 10^{-7}$$

They also proved analogous results for maps $T$ arising from $f$-expansions with a corresponding absolutely continuous measure $\mu_T$, under the condition that the digits of the $f$-expansion were dependent with respect to $\mu_T$.

However, sometimes the absolutely continuous measure is not known or the above condition is difficult to verify. Instead, we consider the underlying geometric cause of the dimension gap; in particular we show that under an explicit non-linearity condition on the map $T$ we obtain a dimension gap.

Week 7: Wednesday 15th Novermber

Livia Campo - Walking on a zig-zag: a journey on Sarkisov links

Wanna go from an algebraic variety to another? Without getting lost in the path, if it's possible... you know, no-one likes to be trapped in front of a canyon...

But if you listen to Sarkisov's advices (and you follow the rays!) you'll find your way! However you have to take into account that your perception of the world might be flipped...

If this adventure hasn't teased you enough, and you'd like to have some more technical information, than you might want to know that Sarkisov links are useful tools to construct maps between Fano 3-folds looking at the ambient space where they sit inside. Since Fano 3-folds are still far away from being completely classified, the big aim is to connect known ones to undiscovered ones via birational maps (for example Sarkisov links).

Week 8: Open Day Talks - Wednesday 22nd November

Talk 1 - Bartlomiej Matejczyk - Macroscopic models for ion transport in nanoscale pores

'You only see what your eyes can see' Do you? What if we can use mathematical reasoning to see objects and shape that are too small to see even with a microscope?

During the seminar, we will discuss particles flow through nanoscale structures. We will present different approaches to modelling of the electrochemically driven flow and its application in biology and physics. We show how to use the models to recover a shape and physical properties of objects that are too small to observe even using the best available microscopes.

The talk covers an introduction to the Poisson-Nernst-Planck system of differential equation and its applicability to the shape identification problems connected to Ionic transport through confined geometries.

Talk 2 - Mattia Sanna - Siteswap: the math behind Juggling

The oldest record of juggling dates back to almost four thousand years ago in a tomb of an unknown Egyptian prince. However a big question among the juggler was does exists a method to learn and develop new tricks in an easy and fast way? The answer came in 1981: Siteswap. Siteswap is a mathematical notation system which can be used to notate juggling tricks & patterns. It has often been described as, "Sheet music for jugglers". As well as being a very useful notation system used for descriptive purposes it is also a very elegant mathematical model of a juggling pattern. A model which can be analysed & manipulated in many ways to create new patterns.

Week 9: Wednesday 29th November

Yiwen Chen - Morse theory for Hamiltonian functions and application to convexity theorems

Hamiltonian group actions on symplectic manifolds have their origin from Hamiltonian mechanics: the phase space of a mechanical system is a symplectic manifold and the groups represent the symmetries of the system. A Hamiltonian action is by definition an action with an associated function whose critical points correspond to the fixed points of the action. Thus it becomes natural to study the action with Morse theory, which reveals the topological structure of a manifold using the information of differentiable functions on it.

During this talk we will review the classical application of Morse theory to Hamiltonian systems and see how it provides a unified proof for some seemingly unrelated convexity theorems. As yet another application, we will talk about a combinatorial description of a certain kind of Hamiltonian actions if time allows.

Week 10: Wednesday 6th December

Wojciech Ożański - An invitation to convex integration

The method of convex integration, which goes back to the celebrated work of Nash (1954 & 1956) on the isometric embedding problem, is a modern method that can be used to yield existence of irregular solutions to various problems in the area of partial differential equations and elsewhere. It has recently been applied in the context of the Euler equations by De Lellis & Székelyhidi Jr. (2009, 2012), and, after a number of significant contributions to the theory, led to the resolution of the Onsager conjecture by Isett (2016) and Buckmaster, De Lellis, Székelyhidi Jr. & Vicol (2017). Moreover, very recently this method was used by Buckmaster & Vicol (2017) in the context of the 3D Navier–Stokes equations to show nonuniqueness of weak solutions, a result very closely related to one of the six outstanding Millennium Problems.

In the talk we will discuss a counter-intuitive theorem regarding divergence-free vector fields whose proof demonstrates the main steps of the method while being elementary. Furthermore, we will explain how the method can be adapted to the 3D Euler equations to yield existence of infinitely many solutions with any prescribed energy profile.