Past

TBA

We present Gromov's celebrated reconstruction theorem in Lorentzian geometry and show two applications. First, we introduce several notions of convergence of (isomorphism classes of) normalized bounded Lorentzian metric measure spaces, for which we describe several fundamental properties. Second, we state a version within the spacetime reconstruction problem from quantum gravity. Partly in collaboration with Clemens Sämann (University of Vienna).

Quantum computers are designed based on quantum mechanics principle, they are most suitable to solve the Schrodinger equation, and linear PDEs (and ODEs) evolved by unitary operators.  It is important to  to explore whether other problems in scientific computing, such as ODEs, PDEs, and  linear algebra that arise in both classical and quantum systems which are not unitary evolution,  can be handled by quantum computers.  

We will present a systematic way to develop quantum simulation algorithms for general differential equations. Our basic framework is dimension lifting, that transfers non-autonomous ODEs/PDEs systems to autonomous ones, nonlinear PDEs to linear ones, and linear ones to Schrodinger type PDEs—coined “Schrodingerization”—with uniform evolutions. Our formulation allows both qubit and qumode (continuous-variable) formulations, and their hybridizations, and provides the foundation for analog quantum computing which are easier to realize in the near term. We will also discuss  dimension lifting techniques for quantum simulation of stochastic DEs and PDEs with fractional derivatives. 

For homogeneous, defect-free TQFTs, (1) n+\epsilon-dimensional versions of the theories are relatively easy to construct; (2) an n+\epsilon-dimensional theory can be extended to n+1-dimensional (i.e. the top-dimensional path integral can be defined) if certain more restrictive conditions related to handle cancellation are satisfied; and (3) applying this path integral construction to a handle decomposition of an n+1-manifold yields a state sum description of the path integral.  In this talk, I'll show that the same pattern holds for defect TQFTs.  The adaptation of homogeneous results to the defect setting is mostly straightforward, with the only slight difficulty being the purely topological problem of generalizing handle theory to manifolds with defects.  If time allows, I'll describe two applications: a Verlinde-like dimension formula for the dimension of the ground state of fracton systems, and a generalization, to arbitrary dimension, of Ostrik's theorem relating algebra objects to modules (gapped boundaries).

Multiscale analysis has become a cornerstone of modern signal and image processing. Driven by the objective of representing data in a hierarchical fashion, capturing coarse-to-fine structures and revealing features across scales, multiscale transforms enable powerful techniques for a wide range of applications. In this talk, we will begin with a comprehensive overview of the construction of multiscale transforms via refinement operators, highlighting recent advances in the area. These operators serve as upsampling in the process of multiscaling. Once established, we will describe the adaptation of multiscale transforms to manifolds, and then focus on their extension to Wasserstein spaces. The talk will highlight both theoretical developments and practical implementations, illustrating the potential of multiscale methods in emerging data-driven applications. Lastly, we will explore how classical multiscaling tools such as wavelet transforms can be utilized for autoregressive image generation via large language models. We will show experimental results that indicate promising performance.

Wael Mattar

I will describe recent developments in information geometry (the study of optimal transport and entropy) for the setting of free probability.  One of the main goals of free probability is to model the large-n behavior of several $n \times n$ matrices $(X_1^{(n)},\dots,X_m^{(n)})$ chosen according to a sufficiently nice joint distribution that has a similar formula for each n (for instance, a density of the form constant times $e^{-n^2 \tr_n(p(x))}$ where $p$ is a non-commutative polynomial).  The limiting object is a tuple $(X_1,\dots,X_m)$ of operators from a von Neumann algebra.  We want the entropy and the optimal transportation distance of the probability distributions on $n \times n$ matrix tuples converge in some sense to their free probabilistic analogs, and so to obtain a theory of Wasserstein information geometry for the free setting.  I will present both negative results showing unavoidable difficulties in the free setting, and positive results showing that nonetheless several crucial aspects of information geometry do adapt.

We apply techniques of exponential asymptotics to the KdV equation to derive the small-time behaviour for dispersive waves that propagate in one direction.  The results demonstrate how the amplitude, wavelength and speed of these waves depend on the strength and location of complex-plane singularities of the initial condition.  Using matched asymptotic expansions, we show how the small-time dynamics of complex singularities of the time-dependent solution are dictated by a Painlevé II problem with decreasing tritronquée solutions.  We relate these dynamics to the solution on the real line.

Mini Course: Topological Phenomena in the Cuntz semigroup 

Mathematical Institute, University of Oxford

10-12 Sept 2025

This short mini course aims to introduce participants to the interplay between algebraic and differential topology and the  Cuntz semigroup of C*-algebras. It will describe the use of the Cuntz semigroup to build C*-algebras outside the scope of the Elliott classification programme.  There will be opportunities for participants to offer contributed talks.

We talk about the global-in-time well-posedness of classical solutions to the vacuum free boundary problem of the 1D viscous Saint-Venant system for laminar shallow water with large data. Since the depth of the fluid vanishes on the moving boundary, the momentum equations become degenerate both in the time evolution and spatial dissipation, which may lead to singularities for the derivatives of the velocity of the fluid and then makes it challenging to study classical solutions. By exploiting the intrinsic degenerate-singular structures of the viscous Saint-Venant system, we are able to identify two classes of admissible initial depth profile and obtain the global well-posedness theory here: the first class of the initial depth profile satisfies the well-known BD entropy condition; the second class of the initial depth profile satisfies the well-known physical vacuum boundary condition, but violates the BD entropy condition. One of the key ingredients of the analysis here is to establish some new degenerate weighted estimates for the effective velocity via its transport properties, which do not require the initial BD entropy condition or the physical vacuum boundary condition. These new estimates enable one to obtain the upper bound for the first order spatial derivative of the flow map. Then the global-in-time regularity uniformly up to the vacuum boundary can be obtained by carrying out a series of singular or degenerate weighted energy estimates carefully designed for this system.

In this talk, we will explore three flow configurations that illustrate the behaviour of slow-moving viscous fluids in confined geometries: viscous gravity currents, fracturing of shear-thinning fluids in a Hele-Shaw cell, and rectangular channel flows of non-Newtonian fluids. We will first develop simple mathematical models to describe each setup, and then we will compare the theoretical predictions from these models with laboratory experiments. As is often the case, we will see that even models that are grounded in solid physical principles often fail to accurately predict the real-world flow behaviour. Our aim is to identify the primary physical mechanisms absent from the model using laboratory experiments. We will then refine the mathematical models and see whether better agreement between theory and experiment can be achieved.

The hot spots conjecture, proposed by Rauch in 1974, asserts that the second Neumann eigenfunction of the Laplacian achieves its global maximum (the hottest point) exclusively on the boundary of the domain. Notably, for triangular domains, the absence of interior critical points was recently established by Judge and Mondal in [Ann. Math., 2022]. Nevertheless, several important questions about the second Neumann eigenfunction in triangles remain open. In this talk, we address issues such as: (1) the uniqueness of non-vertex critical points; (2) the necessary and sufficient conditions for the existence of non-vertex critical points; (3) the precise location of the global extrema; (4) the position of the nodal line; among others. Our results not only confirm both the original theorem and Conjecture 13.6 proposed by Judge and Mondal in [Ann. Math., 2020], but also accomplish a key objective outlined in the Polymath 7 research thread 1 led by Terence Tao. Furthermore, we resolve an eigenvalue inequality conjectured by Siudeja [Proc. Amer. Math. Soc., 2016] concerning the ordering of mixed Dirichlet–Neumann Laplacian eigenvalues for triangles. Our approach employs the continuity method via domain deformation. 

TBA

I will present a pair of off-shell functionals in position space, localized on the self-dual and the anti-self-dual planes which naturally give the Parke-Taylor denominator. These can therefore be used: 
i) to compute scattering amplitudes of particles with different spins and helicities; and 
ii) develop a Lagrangian description. 
Using Witten's half-Fourier transform, I will express these functionals in twistor space and present the kernels in a closed compact form. For even multiplicities, I will show how to obtain this form geometrically which than then be “folded” to get the one-less odd-multiplicity result. 
 

I will review some recent developments in effective field theory of  composite higher-spin particles, namely, Zinoviev's massive gauge symmetry and 
the new chiral-field approach. The latter approach was inspired by a simple spinor-helicity structure first singled out by Arkani-Hamed, Huang and Huang, which encodes the higher-spin information of two massive particles. It turned out to be persistent in tree-level amplitudes with any number of additional identical-helicity gluons or gravitons, leading to the discovery of the chiral-field approach. I will mention the applications of massive higher-spin scattering amplitudes to classical gravitational dynamics of rotating black  holes. 
 

In this talk we review some recent applications of generalised symmetries to scattering amplitudes. We start in 4d by describing the connection between spontaneously broken higher-form symmetries and soft theorems for scattering amplitudes of the associated Nambu-Golstone bosons, and show a new soft theorem for theories with a so-called 2-group symmetry. Then, we switch gears and consider non-invertible symmetries in 2d theories. We show that the standard form of the S-matrix is incompatible with the non-invertible symmetry, and derive new S-matrices satisfying a modified crossing symmetry.

Junior Strings is a seminar series where DPhil students present topics of common interest that do not necessarily overlap with their own research area. This is primarily aimed at PhD students and post-docs but everyone is welcome.

Actions on CAT(0) cube complexes are powerful geometric tool for both algebraically decomposing groups and establishing subgroup separability results.  I will describe boundaries associated to hyperbolic and relatively hyperbolic groups. With a focus on (quotients of) free products, I will discuss variations on a boundary criteria of Bergeron—Wise for exhibiting cocompact actions on CAT(0) cube complexes.  I will explain some ideas on how to use these tools to show that most (small-cancellation or random density) quotients of free products preserve residual finiteness. This is based on multiple joint works with subsets of Einstein, Krishna MS, Montee, and Steenbock.

Directed graph algebras have long been studied as tractable examples of C*-algebras, but they are limited by their inability to have torsion in their K_1 group. Graphs of groups, which are famed in geometric group theory because of their intimate connection with group actions on trees, are a more recent addition to the C*-algebra scene. In this talk, I will introduce the child of these two concepts – directed graphs of groups – and describe how their algebras inherit the best properties of its parents’, with a view to outlining how we can use these algebras to model a class of C*-algebras (stable UCT Kirchberg algebras) which is classified completely by K-theory.

In this talk we will construct a basis of quantum gravity states by cutting the Euclidean path integral. These states are made by inserting heavy dust shell operators on the asymptotic boundary. We will use this basis to resolve two puzzles : 

(1) The two boundary gravity Hilbert space seemingly does not factorise, which is in tension with holography. 

(2) Gibbons and Hawking proposed the gravity thermal partition function is computed by the euclidean path integral with a periodic time boundary condition. Why is does this perform a trace over gravity states?

To resolve these puzzles we will introduce some tricks that simply the evaluation of the gravity path integral in the saddle point approximation. 

In this talk, we present a topological framework for interpreting the latent representations of Multilayer Perceptrons (MLPs) [1] using tools from Topological Data Analysis. Our approach constructs a simplicial tower, a sequence of simplicial complexes linked by simplicial maps, to capture how the topology of data evolves across network layers. This construction is based on the pullback of a cover tower on the output layer and is inspired by the Multiscale Mapper algorithm. The resulting commutative diagram enables a dual analysis: layer persistence, which tracks topological features within individual layers, and MLP persistence, which monitors how these features transform across layers. Through experiments on both synthetic and real-world medical datasets, we demonstrate how this method reveals critical topological transitions, identifies redundant layers, and provides interpretable insights into the internal organization of neural networks.

Let p be a prime. In this talk we look at the bounded derived category of modules over the Rubik’s cube group and show that the faithful action on the corners and edges is a progenerator for the coadmissible subcategory.

The motion of a particle suspended in a fluid flow is governed by hydrodynamic interactions. In this talk, I will present the rich nonlinear dynamics that arise from particle-fluid interactions for two different setups: (i) passive particles in 3D channel flows where fluid inertia is important, and (ii) active particles in 3D channel flows in the Stokes regime (i.e. without fluid inertia).

For setup (i), the particle-fluid interactions result in focusing of particles in the channel cross section, which has been exploited in biomedical microfluidic technologies to separate particles by size. I will offer insights on how dynamical system features of bifurcations and tipping phenomena might be exploited to efficiently separate particles of different sizes. For setup (ii), microswimmers routinely experience unidirectional flows in confined environment such as sperm cells swimming in fallopian tubes, pathogens moving through blood vessels, and microrobots programed for targeted drug delivery applications. I will show that our minimal model of the system exhibits rich nonlinear and chaotic dynamics resulting in a diverse set of active particle trajectories.