Past

During the talk I will describe my research on host-pathogen interactions during lung infections. Various modelling approaches have been used, including a hybrid multiscale individual-based model that we have developed, which simulates pulmonary infection spread, immune response and treatment within in a section of human lung. The model contains discrete agents which model the spatio-temporal interactions (migration, binding, killing etc.) of the pathogen and immune cells. Cytokine and oxygen dynamics are also included, as well as Pharmacokinetic/Pharmacodynamic models, which are incorporated via PDEs. I will also describe ongoing work to develop a continuum model, comparing the spatial dynamics resulting from these different modelling approaches.  I will focus in the most part on two infectious diseases: Tuberculosis and COVID-19.

I am going to start by reviewing axioms of quantum mechanics, which in fact give a description of a Hilbert space. I will argue that the language that Dirac and his followers developed is that of continuous logic and the form of axiomatisation is that of "algebraic logic" in the sense of A. Tarski's cylindric algebras. In fact, Hilbert spaces can be seen as a continuous model theory version of cylindric algebras.

We study a multi-agent setting in which brokers transact with an informed trader. Through a sequential Stackelberg-type game, brokers manage trading costs and adverse selection with an informed trader. In particular, supplying liquidity to the informed traders allows the brokers to speculate based on the flow information. They simultaneously attempt to minimize inventory risk and trading costs with the lit market based on the informed order flow, also known as the internalization-externalization strategy. We solve in closed form for the trading strategy that the informed trader uses with each broker and propose a system of equations which classify the equilibrium strategies of the brokers. By solving these equations numerically we may study the resulting strategies in equilibrium. Finally, we formulate a competitive game between brokers in order to determine the liquidity prices subject to precommitment supplied to the informed trader and provide a numerical example in which the resulting equilibrium is not Pareto efficient.

Let G be an infinite discrete group; e.g. free group, surface groups, or hyperbolic 3-manifold group.

Finite dimensional unitary representations of G of fixed dimension are usually very hard to understand. However, there are interesting notions of convergence of such representations as the dimension tends to infinity. One notion — strong convergence — is of interest both from the point of view of G alone but also through recently realized applications to spectral gaps of locally symmetric spaces. For example, this notion bypasses (unconditionally) the use of Selberg's Eigenvalue Conjecture in obtaining existence of large area hyperbolic surfaces with near-optimal spectral gaps. 

The talk is a broadly accessible discussion on these themes, based on joint works with W. Hide, L. Louder, D. Puder, J. Thomas, R. van Handel.

If $E/\mathbb{Q}$ is an elliptic curve, and $F/\mathbb{Q}$ is a finite Galois extension, then $E(F)$ is not merely a finitely generated abelian group, but also a Galois module. If we fix a finite group $G$, and let $F$ vary over all $G$-extensions, then what can we say about the statistical behaviour of $E(F)$ as a $\mathbb{Z}[G]$-module? In this talk I will report on joint work with Adam Morgan, in which we investigate the simplest non-trivial special case of this very general question. Our work has surprising connections to questions about frequency of failure of the Hasse principle for genus 1 hyperelliptic curves, and to work of Heath-Brown on 2-Selmer group distributions in quadratic twist families.

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.

Numerically solving PDEs typically requires compressing infinite information into a finite system of algebraic equations. Pragmatically, we usually follow a recipe: “Assume solutions of form X; substitute into PDE Y; discard terms by rule Z.” In contrast, Lanczos’s pioneering “tau method” prescribes modifying the PDE to form an exact finite system. Crucially, any recipe-based method can be viewed as adding a small equation correction, enabling us to compare multiple schemes independently of the solver. 

This talk also addresses a paradox: PDEs often admit infinitely many solutions, but finite systems produce only a finite set. When we include a “small” correction, the missing solutions are effectively hidden. I will discuss how tau methods frame this perspective and outline proposals for systematically studying and optimising various residuals.

Shape optimization is a rich field at the intersection of analysis, optimization, and engineering. It seeks to determine the optimal geometry of structures to minimize performance objectives, subject to physical constraints—often modeled by Partial Differential Equations (PDEs). Traditional approaches commonly assume that these constraints admit a unique solution for each candidate shape, implying a single-valued shape-to-solution map. However, many real-world structures exhibit multistability, where multiple stable configurations exist under identical physical conditions.

This research departs from the single-solution paradigm by investigating shape optimization in the presence of multiple solutions to the same PDE constraints. Focusing on a neo-Hookean hyperelastic model, we formulate an optimization problem aimed at controlling the energy jump between distinct solutions. Drawing on bifurcation theory, we develop a theoretical framework that interprets these solutions as continuous branches parameterized by shape variations. Building on this foundation, we implement a numerical optimization strategy and present numerical results that demonstrate the effectiveness of our approach.

Several physical models are available to understand the dynamics of fluid mixtures, including the so-called Baer-Nunziato models. The partial differential equations associated with these models look like those of Navier-Stokes, with the addition of new relaxation terms. One strategy to obtain these models is homogenisation: starting from a mesoscopic mixture, where two pure fluids satisfying the compressible Navier-Stokes equations share the space between them, a change of scale is performed to obtain a macroscopic mixture, where the two fluids can coexist at any point in space.

This problem concerns the study of the Navier-Stokes equations with strongly oscillating initial data. We'll start by explaining some results in this framework, in one dimension of space and on the torus, for barotropic fluids. We will then detail the various steps involved in demonstrating homogenisation. Finally, we'll explain how to adapt this reasoning to homogenisation for perfect gases, with and without heat conduction.

The notion of a superconformal structure on a supermanifold goes back some forty years. I will discuss some recent work that shows how these structures and their deformations govern supersymmetric and superconformal field theories in geometric fashion. A superconformal structure equips a supermanifold with a sheaf of dg commutative algebras; the tangent sheaf of this dg ringed space reproduces the Weyl multiplet of conformal supergravity (equivalently, the superconformal stress tensor multiplet), in any dimension and with any amount of supersymmetry. This construction is uniform under twists, and thus provides a classification of relations between superconformal theories, chiral algebras, higher Virasoro algebras, and more exotic examples.
 

Predictions of complex flows remain a significant challenge for engineering systems. Computationally affordable predictions of turbulent flows generally require Reynolds-Averaged Navier–Stokes (RANS) simulations and Large-Eddy Simulation (LES), the predictive accuracy of which can be insufficient due to non-Boussinesq turbulence and/or unresolved multiphysics that preclude qualitative fidelity in certain regimes. For example, in turbulent combustion, flame–turbulence interactions can lead to inverse-cascade energy transfer, which violates the assumptions of many RANS and LES closures. We present an adjoint-based, solver-embedded data assimilation method to augment the RANS and LES equations using trusted data. This is accomplished using Python-native flow solvers that leverage differentiable programming techniques to construct the adjoint equations needed for optimization. We present applications to shock-tube ignition delay predictions, turbulent premixed jet flames, and shock-dominated nonequilibrium flows and discuss the potential of adjoint-based approaches for future machine learning applications.

I introduce modal group theory, where one investigates the class of all groups using embeddability as a modal operator. By employing HNN extensions, I demonstrate that the modal language of groups is more expressive than the first-order language of groups. Furthermore, I establish that the theory of true arithmetic, viewed as sets of Gödel numbers, is computably isomorphic to the modal theory of finitely presented groups. Finally, I resolve an open question posed by Sören Berger, Alexander Block, and Benedikt Löwe by proving that the propositional modal validities of groups constitute precisely the modal logic S4.2.

Recently, much attention has been paid to the intersection between coarse geometry and graph theory, giving rise to the fresh, exciting new field aptly known as ‘coarse graph theory’. One aspect of this area is the study of so-called ‘fat minors’, a large-scale analogue of the usual idea of a graph minor.

In this talk, I will introduce this area and motivate some interesting questions and conjectures. I will then sketch a proof that a finitely presented group is either virtually planar or contains arbitrarily ‘fat’ copies of every finite graph.

No prior knowledge or passion for graph theory will be assumed in this talk.

Given a smooth geometrically connected curve C over a perfect field k and a smooth commutative group scheme G defined over the function field K of C, one can consider isomorphism classes of G-torsors locally trivial at completions of K coming from closed points of C. They form a generalized Tate-Shafarevich group which specializes to the classical one in the case when k is finite. Recently, these groups have been studied over other base fields k as well, for instance p-adic or number fields. Surprisingly, finiteness can be proven in some cases but there are also quite a few open questions which I plan to discuss  in my talk.

Conformal welding, the process of glueing together Riemann surfaces along their boundaries, has recently played a prominent role in probability theory. In this talk, I will discuss two examples, namely the welding associated with random Jordan curves (SLE(k) loops) and particularly their limit as k tends to zero, and the welding of random trees (such as the CRT).

In this talk I will present two new results concerning differentiability of Lipschitz maps between Carnot groups. The former is a suitable adaptation of Pansu-Rademacher differentiability theorem to general Radon measures. More precisely we construct a suitable bundle associated to the measure along which Lipschitz maps are differentiable, very much in the spirit of the results of Alberti-Marchese. The latter is the converse of Pansu’s theorem. Namely, let G be a Carnot group and μ a Radon measure on G. Suppose further that every Lipschitz map between G and H, some other Carnot group, is Pansu differentiable μ-almost everywhere. We show that μ must be absolutely continuous with respect to the Haar measure of G. This is a joint work with Guido De Philippis, Andrea Marchese, Andrea Pinamonti and Filip Rindler.

This new sub-Riemannian result will be an excuse to present and discuss the techniques employed in Euclidean spaces to prove the converse of Rademacher's theorem.

The Complexity Cluster Event Organisers Professor Gui-Qiang G. Chen, Professor Helen Byrne, and Professor Mohit Dalwadi, cordially invite you to attend a Complexity Cluster Research Workshop on Tuesday, 20th May 2025, in the Glen Callater Room, H B Allen Centre, Keble College.

Complexity Cluster Research Workshop
Venue: Glen Callater Room, H B Allen Centre, Keble College
Date: Tuesday, 20th May 2025
Organisers: 
Professor Helen Byrne
Professor Gui-Qiang G. Chen
Professor Mohit Dalwadi
 

Programme:
4.00pm ̶ 4.15pm: Coffee, Drinks & Refreshments
4:15pm ̶ 4:40pm: Professor Didier Bresch (CNRS and Universite Savoie Mont-Blanc, France): Mathematical Topics around Granular Media
4:45pm – 5:10pm: Dr. Keith Chambers (Mathematical Institute, University of Oxford): Structured Population Models to Explore Lipid-Driven Macrophage Heterogeneity in Early Atherosclerotic Plaques
5:15pm ̶ 5:40pm: Coffee, Drinks & Refreshments
5:40pm ̶ 6:05pm: Dr. Tara Trauthwein (Department of Statistics, University of Oxford): Approximation Results for Large Networks
6:05pm-6:30pm: Isaac Newell (OxPDE, Mathematical Institute, University of Oxford): The Gauss Equation for Isometric Embeddings of Regularity in W^1+2/3,3∩ C¹
6:35pm-7:00pm: Discussion

For abstracts please click the file here: Complexity-Cluster_Workshop_20250212_Final_0.pdf

The Complexity Cluster Event Organisers Professor Gui-Qiang G. Chen, Professor Helen Byrne, and Professor Mohit Dalwadi, cordially invite you to attend a Complexity Cluster Research Workshop on Tuesday, 20th May 2025, in the Glen Callater Room, H B Allen Centre, Keble College.

Complexity Cluster Research Workshop
Venue: Glen Callater Room, H B Allen Centre, Keble College
Date: Tuesday, 20th May 2025
Organisers: 
Professor Helen Byrne
Professor Gui-Qiang G. Chen
Professor Mohit Dalwadi
 

Programme:
4.00pm ̶ 4.15pm: Coffee, Drinks & Refreshments
4:15pm ̶ 4:40pm: Professor Didier Bresch (CNRS and Universite Savoie Mont-Blanc, France): Mathematical Topics around Granular Media
4:45pm – 5:10pm: Dr. Keith Chambers (Mathematical Institute, University of Oxford): Structured Population Models to Explore Lipid-Driven Macrophage Heterogeneity in Early Atherosclerotic Plaques
5:15pm ̶ 5:40pm: Coffee, Drinks & Refreshments
5:40pm ̶ 6:05pm: Dr. Tara Trauthwein (Department of Statistics, University of Oxford): Approximation Results for Large Networks
6:05pm-6:30pm: Isaac Newell (OxPDE, Mathematical Institute, University of Oxford): The Gauss Equation for Isometric Embeddings of Regularity in W^1+2/3,3∩ C¹
6:35pm-7:00pm: Discussion

For abstracts please click the file here: Complexity-Cluster_Workshop_20250212_Final_0.pdf

The Complexity Cluster Event Organisers Professor Gui-Qiang G. Chen, Professor Helen Byrne, and Professor Mohit Dalwadi, cordially invite you to attend a Complexity Cluster Research Workshop on Tuesday, 20th May 2025, in the Glen Callater Room, H B Allen Centre, Keble College.

Complexity Cluster Research Workshop
Venue: Glen Callater Room, H B Allen Centre, Keble College
Date: Tuesday, 20th May 2025
Organisers: 
Professor Helen Byrne
Professor Gui-Qiang G. Chen
Professor Mohit Dalwadi
 

Programme:
4.00pm ̶ 4.15pm: Coffee, Drinks & Refreshments
4:15pm ̶ 4:40pm: Professor Didier Bresch (CNRS and Universite Savoie Mont-Blanc, France): Mathematical Topics around Granular Media
4:45pm – 5:10pm: Dr. Keith Chambers (Mathematical Institute, University of Oxford): Structured Population Models to Explore Lipid-Driven Macrophage Heterogeneity in Early Atherosclerotic Plaques
5:15pm ̶ 5:40pm: Coffee, Drinks & Refreshments
5:40pm ̶ 6:05pm: Dr. Tara Trauthwein (Department of Statistics, University of Oxford): Approximation Results for Large Networks
6:05pm-6:30pm: Isaac Newell (OxPDE, Mathematical Institute, University of Oxford): The Gauss Equation for Isometric Embeddings of Regularity in W^1+2/3,3∩ C¹
6:35pm-7:00pm: Discussion

For abstracts please click the file here: Complexity-Cluster_Workshop_20250212_Final_0.pdf

Quantized universal enveloping algebras admit an intriguing class of (unbounded) Hilbert space representations obtained via their cluster structure. In these so-called positive representations the standard generators act by (essentially self-adjoint) positive operators. 

The aim of this talk is to discuss some analytical questions arising in this context, and in particular to what extent these representations can be understood using the theory of locally compact quantum groups in the sense of Kustermans and Vaes. I will focus on the simplest case in rank 1, where many of the key features (and difficulties) are already visible. (Based on work in progress with Kenny De Commer, Gus Schrader and Alexander Shapiro). 

The two-point Chowla conjecture predicts that $\sum_{x<n<2x} \lambda(n)\lambda(n+1) = o(x)$ as $x\to \infty$, where $\lambda$ is the Liouville function (a $\{\pm 1\}$-valued multiplicative function encoding the parity of the number of prime factors). While this remains an open problem, weaker versions of this conjecture are known. In this talk, we outline an approach initiated by Helfgott and Radziwill, which reformulates the problem in terms of bounding the eigenvalues of a certain matrix.

A consequence of the works of Costello and Lurie is that the Hochschild chain complex of a Calabi-Yau category admits the structure of a framed E_2 algebra (the genus zero operations). I will describe a new algebraic point of view on these operations which admits generalizations to the setting of relative
Calabi-Yau structures, which do not seem to fit into the framework of TQFTs. In particular, we obtain a generalization of string topology to manifolds with boundary, as well as interesting operations on Hochschild homology of Fano varieties. This is joint work with Chris Brav.

Given an FP-infinity subgroup G of SL(2,C), we are interested in the asymptotic behavior of the cohomology of G with coefficients in an irreducible complex representation V of SL(2,C). We prove that, as the dimension of V grows, the dimensions of these cohomology groups approximate the L2-Betti numbers of G. We make no further assumptions on G, extending a previous result of W. Fu. This yields a new method to compute those Betti numbers for finitely generated hyperbolic 3-manifold groups. We will give a brief idea of the proof, whose main tool is a completion of the universal enveloping algebra of the p-adic Lie algebra sl(2, Zp).

Given an FP-infinity subgroup G of SL(2,C), we are interested in the asymptotic behavior of the cohomology of G with coefficients in an irreducible complex representation V of SL(2,C). We prove that, as the dimension of V grows, the dimensions of these cohomology groups approximate the L2-Betti numbers of G. We make no further assumptions on G, extending a previous result of W. Fu. This yields a new method to compute those Betti numbers for finitely generated hyperbolic 3-manifold groups. We will give a brief idea of the proof, whose main tool is a completion of the universal enveloping algebra of the p-adic Lie algebra sl(2, Zp).