A fundamental problem in the context of Einstein's equations of general relativity is to understand precisely the dynamical evolution of small perturbations of stationary black hole solutions. It is expected that there is a discrete set of characteristic frequencies that play a dominant role at late time intervals and carry information about the nature of the black hole, much like the normal frequencies of a vibrating string. These frequencies are called quasi-normal frequencies or resonances and they are closely related to scattering resonances in the study of Schrödinger-type equations. I will discuss a new method of defining and studying resonances for linear wave equations on asymptotically flat black holes, developed from joint work with Claude Warnick.

Dr Rachel Philip will discuss her experiences working at the interface between academic mathematics and industry. Oxford University Innovation will discuss how they can help academics when interacting with industry. 

Speaker: Daniel Woodhouse (North)
Title: Generalizing Leighton's Graph Covering Theorem
Abstract: Before he ran off and became a multimillionaire, exploiting his knowledge of network optimisation, the computer scientist F. Thomas Leighton proved an innocuous looking result about finite graphs. The result states that any pair of finite graphs with isomorphic universal covers have isomorphic finite covers. I will explain what all this means, and why this should be of tremendous interest to group theorists and topologists.

Speaker: Benjamin Fehrman (South)
Title: Large deviations for particle processes and stochastic PDE
Abstract: In this talk, we will introduce the theory of large deviations through a simple example based on flipping a coin.  We will then define the zero range particle process, and show that its diffusive scaling limit solves a nonlinear diffusion equation.  The large deviations of the particle process about its scaling limit formally coincide with the large deviations of a certain ill-posed, singular stochastic PDE.  We will explain in what sense this relationship has been made mathematically precise.

Speaker: Joseph Keir (North)
Title: Dispersion (or not) in nonlinear wave equations
Abstract: Wave equations are ubiquitous in physics, playing central roles in fields as diverse as fluid dynamics, electromagnetism and general relativity. In many cases of these wave equations are nonlinear, and consequently can exhibit dramatically different behaviour when their solutions become large. Interestingly, they can also exhibit differences when given arbitrarily small initial data: in some cases, the nonlinearities drive solutions to grow larger and even to blow up in a finite time, while in other cases solutions disperse just like the linear case. The precise conditions on the nonlinearity which discriminate between these two cases are unknown, but in this talk I will present a conjecture regarding where this border lies, along with some conditions which are sufficient to guarantee dispersion.

Speaker: Priya Subramanian (South)
Title: What happens when an applied mathematician uses algebraic geometry?
Abstract: A regular situation that an applied mathematician faces is to obtain the equilibria of a set of differential equations that govern a system of interest. A number of techniques can help at this point to simplify the equations, which reduce the problem to that of finding equilibria of coupled polynomial equations. I want to talk about how homotopy methods developed in computational algebraic geometry can solve for all solutions of coupled polynomial equations non-iteratively using an example pattern forming system. Finally, I will end with some thoughts on what other 'nails' we might use this new shiny hammer on.

Persistent homology has been applied to graph classification problems as a way of generating vectorizable features of graphs that can be fed into machine learning algorithms, such as neural networks. A key ingredient of this approach is a filter constructor that assigns vector features to nodes to generate a filtration. In the case where the filter constructor is smoothly tuned by a set of real parameters, we can train a neural network graph classifier on data to learn an optimal set of parameters via the backpropagation of gradients that factor through persistence diagrams [Leygonie et al., arXiv:1910.00960]. We propose a flexible, spectral-based filter constructor that parses standalone graphs, generalizing methods proposed in [Carrière et al., arXiv: 1904.09378]. Our method has an advantage over optimizable filter constructors based on iterative message passing schemes (`graph neural networks’) [Hofer et al., arXiv: 1905.10996] which rely on heuristic user inputs of vertex features to initialise the scheme for datasets where vertex features are absent. We apply our methods to several benchmark datasets and demonstrate results comparable to current state-of-the-art graph classification methods.