Dr Jindong Wang will talk about; 'Stabilised Finite Element Methods for General Convection–Diffusion Equations'

This talk presents several stabilised finite element methods for general convection–diffusion equations, with particular emphasis on recent extensions to vector-valued problems arising in magnetohydrodynamics (MHD). Owing to the non-self-adjoint structure of the operator and the potentially large disparity between convective and diffusive scales, standard Galerkin discretisations may exhibit non-physical oscillations. We design a class of upwind-type schemes and exponentially fitted methods for vector-valued problems that mitigate these effects, highlighting both their shared stabilisation mechanisms and the distinctive features that arise in the vector-valued setting. These developments illustrate concrete strategies for the design and analysis of finite element discretisations for general convection–diffusion problems.

Over 30 years has passed since the original proof of Fermat's Last Theorem by Wiles and Taylor—Wiles. There are now several proofs known to humanity, and I'm currently teaching one of them to a computer. This made me try to find out what the most ergonomic route was nowadays, and I found it by asking Richard Taylor what it was. In the talk I will summarise how to prove Fermat's Last Theorem in 2026, highlighting the differences between the modern method and the original route discovered by Wiles (we do use p=3, but in a different way). I won't talk much at all about Lean and essentially none of the work I will present is my own; this will just be a standard number theory seminar, and probably everything in it will already be known to the experts, but hopefully younger people will learn something.

Graph causal optimal transport is a recent generalisation of causal optimal transport in which the allowed couplings satisfy causal restrictions given by a directed graph. Inspired by applications to structural causal models, it was originally introduced in Eckstein and Cheridito (2023). We study fundamental properties of graph causal optimal transport, with a particular focus on its induced Wasserstein distance. Our main result is a full characterisation of the directed graphs for which this associated Wasserstein distance is indeed a metric, an open problem in the original paper. We fully characterise the gluing properties of graph causal couplings, prove denseness of Monge maps, and provide a dynamic programming principle. Finally, we present an application to continuity of stochastic team problems. Based on joint work with Jan Obloj.

ACFA is the model companion of the theory of a field endowed with a distinguished endomorphism. This theory has been extensively studied by Chatzidakis and Hrushovski. Notably, it was shown that any non-principal ultraproduct of algebraically closed fields with powers of the Frobenius map gives rise to a model of ACFA.

In this talk, I will discuss the model theory of pairs of ACFA. In particular, we will give an axiomatization of those pairs in which the smaller one is transformally algebraically closed in the larger one. These are precisely the ultraproducts of pairs of algebraically closed fields equipped with powers of the Frobenius map. This theory also provides an example of beautiful pairs in the sense of Cubides Kovacsics, Hils, and Ye.

This is joint work with Martin Hils, Udi Hrushovski, and Jinhe Ye.

The representation theory of Lie algebras over fields of positive characteristic behaves quite differently to the characteristic zero case. For example, in positive characteristic, the dimension of all simple modules is finite and bounded. In this talk, we’ll begin by recalling the classification of finite simple representations of sl_2, and then explore how this changes when we move to the positive characteristic setting. Along the way, we’ll discuss the additional structures that appear in positive characteristic, such as restricted Lie algebras, the p-centre, and reduced enveloping algebras.

Alday & Maldacena conjectured an equivalence between string amplitudes in AdS5 ×S5 and null polygonal Wilson loops together with a duality with amplitudes for planar N = 4 super-Yang-Mills (SYM).  At strong coupling this identifies SYM amplitudes with (regularized) areas of minimal surfaces in AdS.  They reformulated the minimal surface problem as a Hitchin system and in collaboration with Gaiotto, Sever & Vieira they introduced a Y-system and a thermodynamic Bethe ansatze (TBA) expressing the complete integrability that could in principle be used to solve for the amplitude at strong coupling. This lecture will review the parts of this material that we need and use them to identify new geometric structures on the spaces of kinematics for super Yang-Mills amplitudes/null polygonal Wilson loops.   In AdS3, the kinematic space is the cluster variety  M_{0.n} X M_{0,n}, where M_{0,n} is the moduli space of n points on the Riemann sphere moduli Mobius transformations.   The nontrivial part of these amplitudes at strong coupling, the remainder function,  turns out to be the (pseudo-)K ̈ahler scalar for a (pseudo-)hyper-Kaher geometry. It satisfies an integrable system and we give its its Lax form. The result follows from a new perspective on Y-systems more generally as defining the natural twistor space associated to the hyperkahler geometry of the Hitchin moduli space for these minimal surfaces. These connections in particular allows us to prove that  the amplitude at strong coupling satisfies the Plebanski equations for a hyperKahler scalar for  these pseudo-hyperk ̈ahler and related geometries. These hyperkahler geometries are nontrivial, (not semiflat) with a nontrivial TBA that encodes the mutations of the cluster structure.  These new structures underpinning the N=4 SYM amplitudes  will be important beyond strong coupling.  This is based on joint work with Hadleight Frost and Omer Gurdogan, https://arxiv.org/abs/2306.17044.

Gaussian fields arise in a variety of contexts in both pure and applied mathematics. While their geometric properties are well understood, their topological features pose deeper mathematical challenges. In this talk, I will begin by highlighting some motivating examples from different domains. I will then outline the classical theory that describes the geometric behaviour of Gaussian fields, before turning to more recent developments aimed at understanding their topology using the Wiener chaos expansion.

An unpublished theorem of Clozel, proven with global techniques, says that the class of essentially discrete series representations of a connected reductive p-adic group is stable under twist by automorphisms of the complex numbers, and hence this class is defined over $\bar{\mathbb{Q}_\ell}$. Recent work of Solleveld, building on work of Kazhdan-Varshavsky-Solleveld, says that the same is true of the class of standard representations. Stefan Dawydiak will give a geometric proof of this result for the principal block, and use this to deduce a local proof of Clozel's theorem for the general linear group. Time permitting, Stefan will also give geometric formulas for certain Harish-Chandra Schwartz functions that help illustrate these results.

to follow

The Bogomolov-Miyaoka-Yau inequality for minimal compact complex surfaces of general type was proved in 1977 independently by Miyaoka, using methods of algebraic geometry, and by Yau, as an outgrowth of his proof of the Calabi conjectures. In this talk, we outline our program to prove the conjecture that symplectic 4-manifolds with $b^+>1$ obey the Bogomolov-Miyaoka-Yau inequality. Our method uses Morse theory on the gauge theoretic moduli space of non-Abelian monopoles, where the Morse function is a Hamiltonian for a natural circle action and natural two-form.  We shall describe generalizations of Donaldson’s symplectic subspace criterion (1996) from finite to infinite dimensions. These generalized symplectic subspace criteria can be used to show that the natural two-form is non-degenerate and thus an almost symplectic form on the moduli space of non-Abelian monopoles. This talk is based on joint work with Tom Leness and the monographs https://arxiv.org/abs/2010.15789  (to appear in AMS Mathematical Surveys and Monographs), https://arxiv.org/abs/2206.14710 and https://arxiv.org/abs/2410.13809. 

We introduce equivariant bivariant K-theory for bornological algebras by taking a presentable refinement of the bivariant K-theory of Lafforgue and Paravicini. An upshot of this refinement is that we may purely formally define a Bost-Connes assembly map via localisation in the sense of Meyer-Nest. Another feature built into the refinement is a large UCT-class; on this UCT-class, we show that the rationalised Chern-Connes character from KK-theory to local cyclic homology is an equivalence. This is joint work with Anupam Datta.

Arham Farid (MI EDI Officer) will join us to chat about current EDI initiatives and to hear our thoughts about ways EDI can improve in the Maths Institute.

Rare and extreme events are notoriously hard to handle in any complex stochastic system: They are simultaneously too rare to be reliably observable in experiments or numerics, but at the same time often too impactful to be ignored. Large deviation theory provides a classical way of dealing with events of extremely small probability, but generally only yields the exponential tail scaling of rare event probabilities. In this talk, I will discuss theory, and algorithms based upon it, that improve on this limitation, yielding sharp quantitative estimates of rare event probabilities from a single computation and without fitting parameters. Notably, these estimates require the computation of determinants of differential operators, which in relevant cases are not traceclass and require appropriate renormalization. We demonstrate that the Carleman--Fredholm operator determinant is the correct choice. Throughout, I will demonstrate the applicability of these methods to high-dimensional real-world systems, for example coming from atmosphere and ocean dynamics.

TBA

Large-scale symmetric matrix Lyapunov equations arise in control theory, model order reduction, and the discretization of PDEs. State-of-the-art algorithms, such as standard and rational Krylov methods, aim to approximate the solution with a low-rank matrix. However, the standard polynomial Krylov method (also referred to as the Lanczos method) often converges slowly and faces a memory bottleneck as the dimension of the Lanczos basis grows. Conversely, rational Krylov alternatives, while effective for low-rank approximations, require the solution of expensive shifted linear systems involving a large coefficient matrix.

In this talk, I will present a low-memory variant of the Lanczos algorithm for solving symmetric Lyapunov equations. Our approach leverages a polynomial Krylov subspace while employing rational subspaces associated with small matrices to compress the Lanczos basis. This method accesses the large coefficient matrix exclusively through matrix-vector products and maintains fixed storage requirements. The resulting low-rank solution has a rank that is independent of the dimension of the underlying polynomial Krylov subspace.

Dr Anna Lisa Vari will talk about: 'The orbital structure of the Hill's problem'

Hill’s problem is a limiting case of the circular restricted gravitational three-body problem in which the mass ratio between the two massive bodies tends to zero, leaving a small region surrounding the secondary in which it remains gravitationally dominant. Originally formulated in terms of point masses, Hill’s problem may be modified to include a secondary of finite extent, thus providing a more realistic description of the dynamics internal to a stellar cluster orbiting within a host galaxy. By considering stellar energies above the cluster escape energy, we may investigate the dynamics that underpin the process of stellar escape from star clusters -- a topical issue in contemporary astrophysics. Specifically, we construct a self-consistent formulation of Hill’s problem using a tidally perturbed cluster model for the secondary body. The behaviour of energetically unbound stellar orbits within such a self-consistent problem, as characterised using Poincaré surfaces of section, is then numerically explored via a structure-preserving integrator, revealing a previously unknown bifurcation in the orbital structure.

Everything you have been taught about Turing patterns is wrong! (Well, not everything, but qualifying statements tend to weaken a punchy first sentence). Turing patterns are universally used to generate and understand patterns across a wide range of biological phenomena. They are wonderful to work with from a theoretical, simulation and application point of view. However, they have a paradoxical problem of being too easy to produce generally, whilst simultaneously being heavily dependent on the details. In this talk I demonstrate how to fix known problems such as small parameter regions and sensitivity, but then highlight a new set of issues that arise from usually overlooked issues, such as boundary conditions, initial conditions, and domain shape. Although we’ve been exploring Turing’s theory for longer than I’ve been alive, there’s still life in the old (spotty) dog yet.

Dr Steph Foulds will talk about; 'Lazy Quantum Walks with Native Multiqubit Gates'

Quantum walks, the quantum analogue to the classical random walk, have been shown to deliver the Dirac equation in the continuum limit. Recent work has shown that 'lazy', open quantum walks can be mapped to computational methods for fluid simulation such as lattice Boltzmann method, quantum fluid dynamics, and smoothed-particle hydrodynamics. This work concerns evaluating the ability of near-term hardware to perform small, proof-of-concept quantum walks - but crucially with the inclusion of a rest state to encompass 'lazy' quantum walks, providing an integral step towards quantum walks for fluid simulation.

Neutral atom hardware is a promising choice of platform for implementing quantum walks due to its ability to implement native multiqubit gates and to dynamically re-arrange qubits. Using detail realistic modelling for near-term multiqubit Rydberg gates via two-photon adiabatic rapid passage, SPAM, and passive error, we present the gate sequences and final state fidelities for quantum walks with and without a rest state on 4 to 16-node rings. This, along with results of an error model with improved two- and three-qubit gate fidelities, leads us to conclude that a native four-qubit gate is required for the near-term implementation of interesting quantum walks on neutral atom hardware.

Please note; this talk is hosted by Rutherford Appleton Laboratory, Harwell Campus, Didcot, OX11 0QX

I will review how the large N expansion can be used in the context of the renormalisation group to probe some strongly coupled regimes. In particular, I will discuss a work by Gawedzki and Kupiainen where the authors study the three-dimensional non-Gaussian infrared fixed point of Phi^4 in the case of a hierarchical model of rank-one covariance, and explain how their approach could generalise to more realistic models. 

This is a joint work with Ajay Chandra.  

TBA

TBA

TBA

TBA

TBA

to follow

TBA