Past

Hilbert's fifth problem asks informally what is the difference between Lie groups and topological groups. In 1950s this problem was solved by Andrew Gleason, Deane Montgomery, Leo Zippin and Hidehiko Yamabe concluding that every locally compact topological group is "essentially" a Lie group. In this talk we will show the complete proof of this theorem.

 Massless scattering amplitudes in four-dimensional Minkowski spacetime can be Mellin transformed to correlation functions on the celestial sphere at null infinity called celestial amplitudes. We study various properties of massless four-point scalar and gluon celestial amplitudes such as conformal partial wave decomposition, crossing relations and optical theorem. As a byproduct, we derive the analog of the single and double soft limits for all gluon celestial amplitudes.

Black holes are predicted by Einstein's theory of general relativity, and now we have ample observational evidence for their existence. However theoretically there are many unanswered questions about how black holes come into being. In this talk, with tools from hyperbolic PDE, quasilinear elliptic equations and geometric analysis, we will prove that, through a nonlinear focusing effect, initially low-amplitude and diffused gravitational waves can give birth to a trapped (black hole) region in our universe. This result extends the 2008 Christodoulou’s monumental work and it also proves a conjecture of Ashtekar on black-hole thermodynamics

The moduli space of smooth hypersurfaces in projective space was constructed by Mumford in the 60’s using his newly developed classical (a.k.a. reductive) Geometric Invariant Theory.  I wish to generalise this construction to hypersurfaces in weighted projective space (or more generally orbifold toric varieties). The automorphism group of a toric variety is in general non-reductive and I will use new results in non-reductive GIT, developed by F. Kirwan et al., to construct a moduli space of quasismooth hypersurfaces in certain weighted projective spaces. I will give geometric characterisations of notions of stability arising from non-reductive GIT.

Optimisation in 1D is far simpler than multidimensional optimisation and this is largely due to the notion of a bracket. A bracket is a trio of points such that the middle point is the one with the smallest objective function value (of the three). The existence of a bracket is sufficient to guarantee that a continuous function has a local minimum within the bracket. The most stable 1D optimisation methods, such as Golden Section or Brent's Method, make use of this fact. The mentality behind these methods is to maintain a bracket at all times, all the while finding smaller brackets until the local minimum can be guaranteed to lie within a sufficiently small range. For smooth functions, Brent's method in particular converges quickly with a minimum of function evaluations required. However, when applied to a piece-wise smooth functions, it achieves its realistic worst case convergence rate. In this presentation, I will present a new method which uses ideas from Brent and Golden Section, while being designed to converge quickly for piece-wise smooth functions.

Let $p$ be an odd prime and $n$ a natural number. We determine the irreducible constituents of the permutation module induced by the action of the symmetric group $S_n$ on the cosets of a Sylow $p$-subgroup $P_n$. In the course of this work, we also prove a symmetric group analogue of a well-known result of Navarro for $p$-solvable groups on a conjugacy action of $N_G(P)$. Before describing some consequences of these results, we will give an overview of the background and recent related results in the area.

A stationary Navier-Stokes-Brinkman model coupled to a system of advection-diffusion equations serves as a model for so-called double-diffusive viscous flow in porous mediain which both heat and a solute within the fluid phase are subject to transport and diffusion. The solvability analysis of these governing equations results as a combination of compactness arguments and fixed-point theory. In addition an H(div)-conforming discretisation is formulated by a modification of existing methods for Brinkman flows. The well-posedness ofthe discrete Galerkin formulation is also discussed, and convergence properties are derived rigorously. Computational tests confirm the predicted rates of error decay and illustrate the applicability of the methods for the simulation of bacterial bioconvection and thermohaline circulation problems.

String compactifications are essential for connecting string theory to low energy particle physics and cosmology. Moduli stabilisation gives rise to effective Lagrangians that capture the low-energy degrees of freedom. Much recent interest has been on swampland consistency conditions on such effective
field theories - which low energy Lagrangians can arise from quantum gravity? Furthermore, given that moduli stabilisation scenarios often exist in AdS space, we can also ask: what do swampland conditions mean in the context of AdS/CFT? I describe work on developing a holographic understanding of moduli stabilisation and swampland consistency conditions. I focus in particular on the Large Volume Scenario, which is especially appealing from a holographic perspective as in the large volume limit all its interactions can be expressed solely in terms of the AdS radius, with no free dimensionless parameters.

Coupling dynamics of the states of the nodes of a network to the dynamics of the network topology leads to generic absorbing and fragmentation transitions. The coevolving voter model is a typical system that exhibits such transitions at some critical rewiring. We study the robustness of these transitions under two distinct ways of introducing noise. Noise affecting all the nodes destroys the absorbing-fragmentation transition, giving rise in finite-size systems to two regimes: bimodal magnetization and dynamic fragmentation. Noise targeting a fraction of nodes preserves the transitions but introduces shattered fragmentation with its characteristic fraction of isolated nodes and one or two giant components. Both the lack of absorbing state for homogeneous noise and the shift in the absorbing transition to higher rewiring for targeted noise are supported by analytical approximations.

Paper Link:

https://journals.aps.org/pre/abstract/10.1103/PhysRevE.92.032803

A two-dimensional, minimally Supersymmetric Quantum Field Theory is "nullhomotopic" if it can be deformed to one with spontaneous supersymmetry breaking, including along deformations that are allowed to "flow up" along RG flow lines. SQFTs modulo nullhomotopic SQFTs form a graded abelian group $SQFT_\bullet$. There are many SQFTs with nonzero index; these are definitely not nullhomotopic, and indeed represent nontorision classes in $SQFT_\bullet$. But relations to topological modular forms suggests that $SQFT_\bullet$ also has rich torsion. Based on an analysis of mock modularity and holomorphic anomalies, I will describe explicitly a "secondary invariant" of SQFTs and use it to show that a certain element of $SQFT_3$ has exact order $24$. This work is joint with D. Gaiotto and E. Witten.

What is the point of giving a talk?  What is the point of going to a talk?  In this presentation, which is intended to have a lot of audience participation, I would like to explore how one should prepare talks for different audiences and different occasions, and what one should try to get out of going to a talk.

I will give an introduction to the asymptotic behaviour of random geometric complexes. In the specific case of a simplicial complex realised as the Cech complex of a point process sampled from a closed Riemannian manifold, we will explore conditions which guarantee the homology of the Cech complex coincides with the homology of the underlying manifold. We will see techniques which were originally developed to study random geometric graphs, which together with ideas from Morse Theory establish homological connectivity thresholds.

I will give an overview of audio identification methods on spectral representations of songs. I will outline the persistent homology-based approaches that I propose and their shortcomings. I hope that the review of previous work will help spark a discussion on new possible representations and filtrations.

The last Fridays@2 of the year will be the Prelims Preparation Lecture aimed at first-year undergraduates. Richard Earl and Vicky Neale will highlight some key points to be aware of as you prepare for exams, thinking both about exam technique and revision strategy, and a student will offer some tips from their personal experience.  This will complement the Friday@2 event in Week 2, on Managing exam anxiety.  As part of the Prelims Preparation session, we'll look through two past exam questions, giving tips on how to structure a good answer.  You'll find that most helpful if you've worked through the questions yourself beforehand, so this is advance notice so that you can slot the questions into your timetable for the next few days.  They are both from 2013, one is Q5 from Maths I (on the Groups and Group Actions course), and the other is Q3 from Maths IV (on the Dynamics course).  You can access these, and a large collection of other past Prelims exam questions, via the archive.

In this talk, we will consider how two very different atmospheric phenomena, the terrestrial tropical cyclone and the martian polar vortex, can be described within a single simplified dynamical framework based on the forced shallow water equations. Dynamical forcings include angular momentum transport by secondary (transverse) circulations and local heating due to latent heat release. The forcings act in very different ways in the two systems but in both cases lead to distinct annular distributions of potential vorticity, with a local vorticity maximum at a finite radius surrounding a central minimum.  In both systems, the resulting vorticity distributions are subject to shear instability and the degree of eddy growth versus annular persistence can be examined explicitly under different forcing scenarios.

PLEASE NOTE THAT THIS SEMINAR IS CANCELLED DUE TO UNFORESEEN CIRCUMSTANCES.

In 1983, Erdos and Szemerédi conjectured that for any finite subset of the integers, either the sumset or the product set has nearly quadratic growth. Applications include incidence geometry, exponential sums, compressed image sensing, computer science, and elsewhere. We discuss recent progress towards the main conjecture and related questions. 

The world of quantum invariants began in 1983 with the discovery of the Jones polynomial. Later on, Reshetikhin and Turaev developed an algebraic machinery that provides knot invariants. This algebraic construction leads to a sequence of quantum generalisations of this invariant, called coloured Jones polynomials. The original Jones polynomial can be defined by so called skein relations. However, unlike other classical invariants for knots like the Alexander polynomial, its relation to the topology of the complement is still a mysterious and deep question. On the topological side, R. Lawrence defined a sequence of braid group representations on the homology of coverings of configuration spaces. Then, based on her work, Bigelow gave a topological model for the Jones polynomial, as a graded intersection pairing between certain homology classes. We aim to create a bridge between these theories, which interplays between representation theory and low dimensional topology. We describe the Bigelow-Lawrence model, emphasising the construction of the homology classes. Then, we show that the sequence of coloured Jones polynomials can be seen through the same formalism, as topological intersection pairings of homology classes in coverings of the configuration space in the punctured disc.

Chemical reaction network (CRN) theory focusses on making claims about dynamical behaviours of reaction networks which are, as far as possible, dependent on the network structure but independent of model details such as functions chosen and parameter values. The claims are generally about the existence, nature and stability of limit sets, and the possibility of bifurcations, in models of CRNs with particular structural features. The methodologies developed can often be applied to large classes of models occurring in biology and engineering, including models whose origins are not chemical in nature. Many results have a natural algorithmic formulation. Apart from the potential for application, the results are often pleasing mathematically for their power and generality. 

This talk will concern some recent themes in CRN theory, particularly focussed on how the presence or absence of particular subnetworks ("motifs") influences allowed dynamical behaviours in ODE models of a CRN. A number of recent results take the form: "a CRN containing no subnetworks satisfying condition X cannot display behaviour of type Y"; but also, in the opposite direction, "if a CRN contains a subnetwork satisfying condition X, then some model of this CRN from class C admits behaviour of type Y". The proofs of such results draw on a variety of techniques from analysis, algebra, combinatorics, and convex geometry. I'll describe some of these results, outline their proofs, and sketch some current challenges in this area. 
 

In this talk, I am going to give an introduction to operator preconditioning as a general and robust strategy to precondition linear systems arising from Galerkin discretization of PDEs or Boundary Integral Equations. Then, in order to illustrate the applicability of this preconditioning technique, I will discuss the simple case of weakly singular and hypersingular integral equations, arising from exterior Dirichlet and Neumann BVPs for the Laplacian in 3D. Finally, I will show how we can also tackle operators with a more difficult structure, like the electric field integral equation (EFIE) on screens, which models the scattering of time-harmonic electromagnetic waves at perfectly conducting bounded infinitely thin objects, like patch antennas in 3D.

We investigate monotone solutions of the moral hazard problems without the monotone likelihood ratio property. The solutions are explicitly characterised by a concave envelope relaxation approach for a two-action model in which the principal is risk neutral or exhibits constant absolute risk aversion.  

The classical wave equation is derived from the system of three equations: The equation of motion of a (one-dimensional) deformable body, the Hook law as a constitutive equation, and the  strain measure, and describes wave propagation in elastic media. 
Fractional wave equations describe wave phenomena when viscoelasticity of a material or non-local effects of a material comes into an account. For waves in viscoelastic media, instead of Hook's law, a constitutive equation for viscoelastic body,  for example, Fractional Zener model or distributed order model of viscoelastic body, is used. To consider non-local effects of a media, one may replace classical strain measure by non-local strain measure. There are other constitutive equations and other ways to describe non-local effects which will be discussed within the talk.  
The system of three equations subject to initial conditions, initial displacement and initial velocity, is equivalent to one single equation, called fractional wave equation. Using different models for constitutive equations, and non-local measures, different fractional wave equations are obtained. After derivation of such equations, existence and uniqueness of their solution in the spaces of distributions is proved by the use of Laplace and Fourier transforms as main tool. Plots of solutions are presented. For some of derived equations microlocal analysis of the solution is conducted.