Mon, 13 May 2024

18:30 - 20:30
L2

International Women in Maths Day Celebration

Further Information

Join us on Monday 13th May at 6:30 in L2 to celebrate International Women in Maths Day. Traditionally celebrated on May 12th, Mirzakhani's birthday, this is an occasion to celebrate all the wonderful women and non-binary people that make up our mathematical community. This event will be open to all, regardless of gender identity. 

 
We will be screening the film 'The Mathematical Vision of Maryam Mirzakhani' from 6:30. This will be followed by free pizza, snacks, and drinks in the mezzanine area. To ensure we get enough pizza for everyone and cater to all dietary requirements, please fill in the following google form https://forms.gle/kQ5phShD2416CUof6
Mon, 13 May 2024
16:00
L2

Eigenvarieties and p-adic propagation of automorphy

Zachary Feng
(University of Oxford)
Abstract

Functoriality is a key feature in Langlands’ conjectured relationship between automorphic representations and Galois representations; it predicts that certain Galois representations are automorphic, i.e. should come from automorphic representations. We discuss the idea of $p$-adic propagation of automorphy, which seeks to establish the automorphy of everything in a “neighborhood” given the automorphy of something in that neighborhood. The “neighborhoods” that we consider will be the irreducible components of a $p$-adic analytic space called the eigenvariety, which parameterizes $p$-adic automorphic representations. This technique was introduced by Newton and Thorne in their proof of symmetric power functoriality, and can be adapted to investigate similar problems.

Mon, 13 May 2024
15:30
L5

Generating RAAGs in 1-relator groups

Ashot Minasyan
(Southampton University)
Abstract
Given a finite simplicial graph $\Gamma$, the right angled Artin group (RAAG) $A(\Gamma)$ is generated by the vertices of $\Gamma$ subject to the relations that two vertices commute if and only if they are adjacent in $\Gamma$. RAAGs play an important role in Geometric Group Theory and in Low Dimensional Topology.
 
Given a group $G$, a finite graph $\Gamma$ and a homomorphism $\phi: A(\Gamma) \to G$ one can ask for conditions ensuring that this homomorphism can be "promoted" to an injective one. In my talk I will discuss such criteria in the case when $G$ is a one-relator group and $\Gamma$ is a forest. In particular, I will sketch an argument showing that it is sufficient for $\phi$ to be injective on the positive sub-monoid of $A(\Gamma)$.
 
The talk will be based on joint work with Motiejus Valiunas (University of Wroclaw, Poland).

 
Mon, 13 May 2024
15:30
Lecture Room 3

Martingale model risk

Prof Nizar Touzi
(NYU)
Abstract

We consider the general framework of distributionally robust optimization under a martingale restriction. We provide explicit expressions for model risk sensitivities in this context by considering deviations in the Wasserstein distance and the corresponding adapted one. We also extend the dual formulation to this context.

Mon, 13 May 2024
14:15
L4

Quadratic Euler characteristics of singular varieties

Simon Pepin Lehalleur
(KdV Institute, Amsterdam)
Abstract

The quadratic Euler characteristic of an algebraic variety is a (virtual) symmetric bilinear form which refines the topological Euler characteristic and contains interesting arithmetic information when the base field is not algebraically closed. For smooth projective varieties, it has a quite concrete expression in terms of the cup product and Serre duality for Hodge cohomology. However, for singular varieties, it is defined abstractly (using either cut and paste relations or motivic homotopy theory) and is still rather mysterious. I will first introduce this invariant and place it in the broader context of quadratic enumerative geometry. I will then explain some progress on concrete computations, first for symmetric powers (joint with Lenny Taelman) and second for conductor formulas for hypersurface singularities (older results with Marc Levine and Vasudevan Srinivas on the one hand, and joint work in progress with Ran Azouri, Niels Feld, Yonathan Harpaz and Tasos Moulinos on the other).

Mon, 13 May 2024

14:00 - 15:00
Lecture Room 3

Compression of Graphical Data

Mihai Badiu
(Department of Engineering Science University of Oxford)
Abstract

Data that have an intrinsic network structure can be found in various contexts, including social networks, biological systems (e.g., protein-protein interactions, neuronal networks), information networks (computer networks, wireless sensor networks),  economic networks, etc. As the amount of graphical data that is generated is increasingly large, compressing such data for storage, transmission, or efficient processing has become a topic of interest. In this talk, I will give an information theoretic perspective on graph compression. 

The focus will be on compression limits and their scaling with the size of the graph. For lossless compression, the Shannon entropy gives the fundamental lower limit on the expected length of any compressed representation. I will discuss the entropy of some common random graph models, with a particular emphasis on our results on the random geometric graph model. 

Then, I will talk about the problem of compressing a graph with side information, i.e., when an additional correlated graph is available at the decoder. Turning to lossy compression, where one accepts a certain amount of distortion between the original and reconstructed graphs, I will present theoretical limits to lossy compression that we obtained for the Erdős–Rényi and stochastic block models by using rate-distortion theory.

Fri, 10 May 2024
16:00
L1

Talks on Talks

Abstract

What makes a good talk? This year, graduate students and postdocs will give a series talks on how to give talks! There may even be a small prize for the audience’s favourite.

If you’d like to have a go at informing, entertaining, or just have an axe to grind about a particularly bad talk you had to sit through, we’d love to hear from you (you can email Ric Wade or ask any of the organizers).
 

Fri, 10 May 2024

14:00 - 15:00
L3

The determining role of cell adhesions for force transmission, mechanical activity and stiffness sensing in cells and tissues

Dr Carina Dunlop
(Dept of Mathematics University of Surrey)
Abstract

The role of tissue stiffness in controlling cell behaviours ranging from proliferation to signalling and activation is by now well accepted. A key focus of experimental studies into mechanotransduction are focal adhesions, localised patches of strong adhesion, where cell signalling has been established to occur. However, these adhesion sites themselves alter the mechanical equilibrium of the system determining the force balance and work done. To explore this I have developed an active matter continuum description of cellular contractility and will discuss recent results on the specific role of spatial positioning of adhesions in mechanotransduction. I show using energy arguments why the experimentally observed arrangements of focal adhesions develop and the implications this has for stiffness sensing and cellular contractility control. I will also show how adhesions play distinct roles in single cells and tissue layers respectively drawing on recent experimental work with Dr JR Davis (Manchester University) and Dr Nic Tapon (Crick Institute) with applications to epithelial layers and organoids.

Fri, 10 May 2024

12:00 - 13:00
Quillen Room

The orbit method for the Witt algebra

Tuan Pham
(University of Edinburgh)
Abstract

The orbit method is a fundamental tool to study a finite dimensional solvable Lie algebra g. It relates the annihilators of simple U(g)-module to the coadjoint orbits of the adjoint group on g^* . In my talk, I will extend this story to the Witt algebra – a simple (non-solvable) infinite dimensional Lie algebra which is important in physics and representation theory. I will construct an induced module from an element of W^* and show that its annihilator is a primitive ideal. I will also construct an algebra homomorphism that allows one to relate the orbit method for W to that of a finite dimensional solvable algebra.

Fri, 10 May 2024

12:00 - 13:15
L3

Chiralization of cluster structures

Mikhail Bershstein
(University of Edinburgh)
Abstract

The chiralization in the title denotes a certain procedure which turns cluster X-varieties into q-W algebras. Many important notions from cluster and q-W worlds, such as mutations, global functions, screening operators, R-matrices, etc emerge naturally in this context. In particular, we discover new bosonizations of q-W algebras and establish connections between previously known bosonizations. If time permits, I will discuss potential applications of our approach to the study of 3d topological theories and local systems with affine gauge groups. This talk is based on a joint project with J. Shiraishi, J.E. Bourgine, B. Feigin, A. Shapiro, and G. Schrader.

Thu, 09 May 2024

17:00 - 18:00
L3

Existentially closed valued difference fields

Jan Dobrowolski
(University of Manchester)
Abstract
I will report on a joint work in progress with F. Gallinaro and R. Mennuni in which we aim to understand the (non-elementary) class of existentially closed valued difference fields (of equicharacteristic zero). As our approach relies on our earlier results with Mennuni about automorphisms of ordered abelian groups, I will start by briefly overviewing those.
Thu, 09 May 2024
16:00
L5

Random multiplicative functions and non-Gaussian central limit theorem

Mo Dick Wong
(University of Durham)
Abstract

There have been a lot of interests in understanding the behaviour of random multiplicative functions, which are probabilistic models for deterministic arithmetic functions such as the Möbius function and Dirichlet characters. Despite recent advances, the limiting distributions of partial sums of random multiplicative functions remain mysterious even at the conjectural level. In this talk, I shall discuss the so-called $L^2$ regime of twisted sums and provide a precise answer to the distributional problem. This is based on ongoing work with Ofir Gorodetsky.

Thu, 09 May 2024
16:00
L4

Signature Trading: A Path-Dependent Extension of the Mean-Variance Framework with Exogenous Signals

Owen Futter
(Mathematical Institute)
Further Information

Please join us for reshments outside the lecture room from 1530.

Abstract

In this seminar we introduce a portfolio optimisation framework, in which the use of rough path signatures (Lyons, 1998) provides a novel method of incorporating path-dependencies in the joint signal-asset dynamics, naturally extending traditional factor models, while keeping the resulting formulas lightweight, tractable and easily interpretable. Specifically, we achieve this by representing a trading strategy as a linear functional applied to the signature of a path (which we refer to as “Signature Trading” or “Sig-Trading”). This allows the modeller to efficiently encode the evolution of past time-series observations into the optimisation problem. In particular, we derive a concise formulation of the dynamic mean-variance criterion alongside an explicit solution in our setting, which naturally incorporates a drawdown control in the optimal strategy over a finite time horizon. Secondly, we draw parallels between classical portfolio stategies and Sig-Trading strategies and explain how the latter leads to a pathwise extension of the classical setting via the “Signature Efficient Frontier”. Finally, we give explicit examples when trading under an exogenous signal as well as examples for momentum and pair-trading strategies, demonstrated both on synthetic and market data. Our framework combines the best of both worlds between classical theory (whose appeal lies in clear and concise formulae) and between modern, flexible data-driven methods (usually represented by ML approaches) that can handle more realistic datasets. The advantage of the added flexibility of the latter is that one can bypass common issues such as the accumulation of heteroskedastic and asymmetric residuals during the optimisation phase. Overall, Sig-Trading combines the flexibility of data-driven methods without compromising on the clarity of the classical theory and our presented results provide a compelling toolbox that yields superior results for a large class of trading strategies.

This is based on works with Blanka Horvath and Magnus Wiese.

Thu, 09 May 2024

14:00 - 15:00
Lecture Room 4

Fast optimistic methods for monotone equations and convex optimization problems

Radu Bot
(University of Vienna)
Further Information

 

Please note; the seminar is taking place in Lecture Room 4 on this occasion 

Abstract

In this talk, we discuss continuous in time dynamics for the problem of approaching the set of zeros of a single-valued monotone and continuous operator V . Such problems are motivated by minimax convexconcave and, in particular, by convex optimization problems with linear constraints. The central role is played by a second-order dynamical system that combines a vanishing damping term with the time derivative of V along the trajectory, which can be seen as an analogous of the Hessian-driven damping in case the operator is originating from a potential. We show that these methods exhibit fast convergence rates for kV (z(t))k as t ! +1, where z( ) denotes the generated trajectory, and for the restricted gap function, and that z( ) converges to a zero of the operator V . For the corresponding implicit and explicit discrete time models with Nesterov’s momentum, we prove that they share the asymptotic features of the continuous dynamics.

Extensions to variational inequalities and fixed-point problems are also addressed. The theoretical results are illustrated by numerical experiments on bilinear games and the training of generative adversarial networks.

Thu, 09 May 2024

12:00 - 13:00
L1

Models of viscous anisotropy

Daniel Richards
(University of Tasmania)
Abstract

What do fiber polymers and ice sheets have in common? They both flow with a directionally dependent - anisotropic - viscosity. This behaviour occurs in other geophysical flows, such as the Earth's mantle, where a material's microstructure affects its large-scale flow. In ice, the alignment of crystal orientations can cause the viscosity to vary by an order of magnitude, consequently having a strong impact on the flow of ice sheets and glaciers. However, the effect of anisotropy on large-scale flow is not well understood, due to a lack of understanding of a) the best physical approximations to model crystal orientations, and b) how crystal orientations affect rheology. In this work, we aim to address both these questions by linking rheology to crystal orientation predictions, and testing a range of models against observations from the Greenland ice sheet. The results show assuming all grains experience approximately the same stress provides realistic predictions, and we suggest a set of equations and parameters which can be used in large-scale models of ice sheets. 

Thu, 09 May 2024

11:00 - 12:00
C3

Skolem problem for several matrices

Emmanuel Breuillard
(University of Oxford)
Abstract

I will present a recent work with G. Kocharyan, where we show the undecidability of the following two problems: given a finitely generated subgroup G of GL(n,Q), a) determine whether G has a non-identity element whose (i,j) entry is equal to zero, and b) determine whether the stabilizer of a given vector in G is non-trivial. Undecidability of problem b) answers a question of Dixon from 1985. The proofs reduce to the undecidability of the word problem for finitely presented groups.

Wed, 08 May 2024

16:00 - 17:00
L6

The Morse local-to-global property

Davide Spriano
(University of Oxford)
Abstract

I'll talk about the Morse local-to-global property and try to convince you that is a good property. There are three reasons. Firstly, it is satisfied by many examples of interest. Secondly, it allows to prove many theorems. Thirdly, it sits nicely in the larger program of classifying groups up to quasi-isometry and it has connections with open questions.

Tue, 07 May 2024

16:00 - 17:00
C2

Title: $C^*$ -diagonal of Inductive limits of 1-dimensional Noncommutative CW-complexes

Dolapo Oyetunbi
(University of Ottawa)
Abstract

A $C^*$-diagonal is a certain commutative subalgebra of a $C^∗$ -algebra with a rich structure. Renault and Kumjian showed that finding a $C^*$ -diagonal of a $C^∗$-algebra is equivalent to realizing the $C^*$-algebra via a groupoid. This establishes a close connection between $C^∗$-diagonals and dynamics and allows one to relate the geometric properties of groupoids to the properties of $C^∗$ -diagonals. 

In this talk, I will explore the unique pure state extension property of an Abelian $C^*$-subalgebra of a 1-dim NCCW complex, the approximation of morphisms between two 1-dim NCCW complexes by $C^*$-diagonal preserving morphisms, and the existence of $C^*$-diagonal in inductive limits of certain 1-dim NCCW complexes.

Tue, 07 May 2024

15:30 - 16:30
Online

Coboundary expansion and applications

Irit Dinur
(Weizmann Institute of Science)
Further Information

Part of the Oxford Discrete Maths and Probability Seminar, held via Zoom. Please see the seminar website for details.

Abstract

Coboundary expansion is a notion introduced by Linial and Meshulam, and by Gromov that combines combinatorics topology and linear algebra. Kaufman and Lubotzky observed its relation to "Property testing", and in recent years it has found several applications in theoretical computer science, including for error correcting codes (both classical and quantum), for PCP agreement tests, and even for studying polarization in social networks.

In the talk I will introduce this notion and some of its applications. No prior knowledge is assumed, of course.

Tue, 07 May 2024
15:00
L6

Oka manifolds and their role in complex analysis and geometry

Franc Forstneric
Abstract

Oka theory is about the validity of the h-principle in complex analysis and geometry. In this expository lecture, I will trace its main developments, from the classical results of Kiyoshi Oka (1939) and Hans Grauert (1958), through the seminal work of Mikhail Gromov (1989), to the introduction of Oka manifolds (2009) and the present state of knowledge. The lecture does not assume any prior exposure to this theory.

Tue, 07 May 2024

14:30 - 15:00
L3

The application of orthogonal fractional polynomials on fractional integral equations

Tianyi Pu
(Imperial College London)
Abstract

We present a spectral method that converges exponentially for a variety of fractional integral equations on a closed interval. The method uses an orthogonal fractional polynomial basis that is obtained from an appropriate change of variable in classical Jacobi polynomials. For a problem arising from time-fractional heat and wave equations, we elaborate the complexities of three spectral methods, among which our method is the most performant due to its superior stability. We present algorithms for building the fractional integral operators, which are applied to the orthogonal fractional polynomial basis as matrices. 

Tue, 07 May 2024

14:00 - 15:00
Online

Random triangulations of surfaces, and the high-genus regime

Guillaume Chapuy
(Institut de Recherche en Informatique Fondamentale)
Further Information

Part of the Oxford Discrete Maths and Probability Seminar, held via Zoom. Please see the seminar website for details.

Abstract

I will talk about the behaviour of random maps on surfaces (for example, random triangulations) of given genus, when their size tends to infinity. Such questions can be asked from the viewpoint of the local behaviour (Benjamini-Schramm convergence) or global behaviour (diameter, Gromov Hausdorff convergence), and in both cases, much combinatorics is involved. I will survey the landmark results for the case of fixed genus, and state very recent results in which we manage to address the "high genus" regime, when the genus grows proportionally to the size – for this regime we establish isoperimetric inequalities and prove the long-suspected fact that the diameter is logarithmic with high probability.

Based on joint work with Thomas Budzinski and Baptiste Louf.

Tue, 07 May 2024
14:00
L6

On the density of complex eigenvalues of sub-unitary scattering matrices in quantum chaotic systems.

Yan Fyodorov
(King's College London)
Abstract

The scattering matrix in quantum mechanics must be unitary to ensure the conservation of the number of particles, hence their 
eigenvalues are unimodular.  In systems with fully developed Quantum Chaos  the statistics of those unimodular 
eigenvalues  is well described by  the Poisson kernel.
However, in real experiments  the associated scattering matrix is sub-unitary due to intrinsic losses,  and
 the moduli of S-matrix eigenvalues become non-trivial,  yet the corresponding theory is not well-developed in general.  
 I will present some results for the mean density of those moduli in the framework of random matrix models for the case of broken time-reversal invariance,
and discuss a way to get a generalization of the Poisson kernel to systems with uniform losses.

Tue, 07 May 2024

14:00 - 15:00
L5

Using hyperbolic Coxeter groups to construct highly regular expander graphs

Francois Thilmany
(UC Louvain)
Abstract

A graph $X$ is defined inductively to be $(a_0, . . . , a_{n−1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius 1 around $v$ is an $(a_1, . . . , a_{n−1})$-regular graph. A family $F$ of graphs is said to be an expander family if there is a uniform lower bound on the Cheeger constant of all the graphs in $F$. 

After briefly (re)introducing Coxeter groups and their geometries, we will describe how they can be used to construct very regular polytopes, which in turn can yield highly regular graphs. We will then use the super-approximation machinery, whenever the Coxeter group is hyperbolic, to obtain the expansion of these families of graphs. As a result, we obtain interesting infinite families of highly regular expander graphs, some of which are related to the exceptional groups. 

The talk is based on work joint with Conder, Lubotzky, and Schillewaert. 

Tue, 07 May 2024

14:00 - 14:30
L3

The Approximation of Singular Functions by Series of Non-integer Powers

Mohan Zhao
(University of Toronto)
Abstract
In this talk, we describe an algorithm for approximating functions of the form $f(x) = \langle \sigma(\mu),x^\mu \rangle$ over the interval $[0,1]$, where $\sigma(\mu)$ is some distribution supported on $[a,b]$, with $0<a<b<\infty$. Given a desired accuracy and the values of $a$ and $b$, our method determines a priori a collection of non-integer powers, so that functions of this form are approximated by expansions in these powers, and a set of collocation points, such that the expansion coefficients can be found by collocating a given function at these points. Our method has a small uniform approximation error which is proportional to the desired accuracy multiplied by some small constants, and the number of singular powers and collocation points grows logarithmically with the desired accuracy. This method has applications to the solution of partial differential equations on domains with corners.
Tue, 07 May 2024
13:00
L2

Continuous symmetries, non-compact TQFTs, and holography

Andrea Antinucci
(SISSA)
Abstract

The progress in our understanding of symmetries in QFT has led to the proposal that the complete information on a symmetry structure is encoded in a TQFT in one dimension higher, known as the Symmetry TFT. This picture is well understood for finite symmetries, and I will explain the extension to continuous symmetries in the first part of the talk, based on a paper with F. Benini. This extension requires studying new TQFTs with a non-compact spectrum of operators. Like for finite symmetries, these TQFTs capture anomalies and topological manipulations via their topological boundary conditions. The main new ingredient for continuous symmetries is dynamical gauging, which is described by maps between different TQFTs. I will use this to derive the Symmetry TFT for the non-invertible chiral symmetry of QED. Moreover, the various TQFTs related by dynamical gauging arise as different boundary conditions of a unique TQFT in two dimensions higher. In the second part of the talk, based on work in progress with F. Benini and G. Rizi, I will use these tools to derive some new connections between the Symmetry TFTs and the universal EFTs describing the spontaneous symmetry breaking of any (generalized) global symmetry.

Tue, 07 May 2024
11:00
L5

Transportation-cost inequalities for nonlinear Gaussian functionals

Ioannis Gasteratos
(Imperial College, London)
Abstract

In this talk, we study concentration properties for laws of non-linear Gaussian functionals on metric spaces. Our focus lies on measures with non-Gaussian tail behaviour which are beyond the reach of Talagrand’s classical Transportation-Cost Inequalities (TCIs). Motivated by solutions of Rough Differential Equations and relying on a suitable contraction principle, we prove generalised TCIs for functionals that arise in the theory of regularity structures and, in particular, in the cases of rough volatility and the two-dimensional Parabolic Anderson Model. Our work also extends existing results on TCIs for diffusions driven by Gaussian processes.

Mon, 06 May 2024
16:30
L4

On Galerkin approximations of the 2D Euler equations

Luigi Berselli
(University of Pisa)
Abstract

We study fully discrete approximation of the 2D Euler equations for ideal homogeneous fluids. We focus on spectral methods and  discuss rates of convergence of velocity and vorticity under different assumptions on the smoothness of the data.

Mon, 06 May 2024
16:00
L2

On twisted modular curves

Franciszek Knyszewski
(University of Oxford)
Abstract

Modular curves are moduli spaces of elliptic curves equipped with certain level structures. This talk will be concerned with how the attendant theory has been used to answer questions about the modularity of elliptic curves over $\mathbb{Q}$ and over quadratic fields. In particular, we will outline two instances of the modularity switching technique over totally real fields: the 3-5 trick of Wiles and the 3-7 trick of Freitas, Le Hung and Siksek. The recent work of Caraiani and Newton over imaginary quadratic fields naturally leads one to consider the descent theory of 'twisted' modular curves, and this will be the focus of the final part of the talk.

Mon, 06 May 2024
15:30
L5

Factorization algebras in quite a lot of generality

Clark Barwick
(University of Edinburgh)
Abstract

The objects of arithmetic geometry are not manifolds. Some concepts from differential geometry admit analogues in arithmetic, but they are not straightforward. Nevertheless, there is a growing sense that the right way to understand certain Langlands phenomena is to study quantum field theories on these objects. What hope is there of making this thought precise? I will propose the beginnings of a mathematical framework via a general theory of factorization algebras. A new feature is a subtle piece of additional structure on our objects – what I call an _isolability structure_ – that is ordinarily left implicit.

Mon, 06 May 2024
14:15
L4

Singularities of fully nonlinear geometric flows

Stephen Lynch
(Imperial College)
Abstract
We will discuss the evolution of hypersurfaces by fully nonlinear geometric flows. These are cousins of the mean curvature flow which can be tailored to preserve different features of the underlying hypersurface geometry. Solutions often form singularities. I will present new classification results for blow-ups of singularities which confirm the expectation that these are highly symmetric and hence rigid. I will explain how this work fits into a broader program aimed at characterising Riemannian manifolds with positively curved boundaries.



 

Mon, 06 May 2024

14:00 - 15:00
Lecture Room 3

Bayesian Interpolation with Linear and Shaped Neural Networks

Boris Hanin
(Princeton University)
Abstract

This talk, based on joint work with Alexander Zlokapa, concerns Bayesian inference with neural networks. 

I will begin by presenting a result giving exact non-asymptotic formulas for Bayesian posteriors in deep linear networks. A key takeaway is the appearance of a novel scaling parameter, given by # data * depth / width, which controls the effective depth of the posterior in the limit of large model and dataset size. 

Additionally, I will explain some quite recent results on the role of this effective depth parameter in Bayesian inference with deep non-linear neural networks that have shaped activations.

Fri, 03 May 2024
16:00
L1

Maths meets Stats

Mattia Magnabosco (Maths) and Rebecca Lewis (Stats)
Abstract

Speaker: Mattia Magnabosco (Newton Fellow, Maths)
Title: Synthetic Ricci curvature bounds in sub-Riemannian manifolds
Abstract: In Riemannian manifolds, a uniform bound on the Ricci curvature tensor allows to control the volume growth along the geodesic flow. Building upon this observation, Lott, Sturm and Villani introduced a synthetic notion of curvature-dimension bounds in the non-smooth setting of metric measure spaces. This condition, called CD(K,N), is formulated in terms of the optimal transport interpolation of measures and consists in a convexity property of the Rényi entropy functionals along Wasserstein geodesics. The CD(K,N) condition represents a lower Ricci curvature bound by K and an upper bound on the dimension by N, and it is coherent with the smooth setting, as in a Riemannian manifold it is equivalent to a lower bound on the Ricci curvature tensor. However, the same relation between curvature and CD(K,N) condition does not hold for sub-Riemannian (and sub-Finsler) manifolds. 

 

Speaker: Rebecca Lewis (Florence Nightingale Bicentenary Fellow, Stats)
Title: High-dimensional statistics
Abstract: Due to the increasing ease with which we collect and store information, modern data sets have grown in size. Whilst these datasets have the potential to yield new insights in a variety of areas, extracting useful information from them can be difficult. In this talk, we will discuss these challenges.

Fri, 03 May 2024

15:00 - 16:00
L5

Local systems for periodic data

Adam Onus
(Queen Mary University of London)
Abstract

 

Periodic point clouds naturally arise when modelling large homogenous structures like crystals. They are naturally attributed with a map to a d-dimensional torus given by the quotient of translational symmetries, however there are many surprisingly subtle problems one encounters when studying their (persistent) homology. It turns out that bisheaves are a useful tool to study periodic data sets, as they unify several different approaches to study such spaces. The theory of bisheaves and persistent local systems was recently introduced by MacPherson and Patel as a method to study data with an attributed map to a manifold through the fibres of this map. The theory allows one to study the data locally, while also naturally being able to appeal to local systems of (co)sheaves to study the global behaviour of this data. It is particularly useful, as it permits a persistence theory which generalises the notion of persistent homology. In this talk I will present recent work on the theory and implementation of bisheaves and local systems to study 1-periodic simplicial complexes. Finally, I will outline current work on generalising this theory to study more general periodic systems for d-periodic simplicial complexes for d>1. 

Fri, 03 May 2024

14:00 - 15:00
L3

Epidemiological modelling with behavioural considerations and to inform policy making

Dr Edward Hill
(Dept of Mathematics University of Warwick)
Abstract
Many problems in epidemiology are impacted by behavioural dynamics, whilst in response to health emergencies prompt analysis and communication of findings is required to be of use to decision makers. Both instances are likely to benefit from interdisciplinary approaches. This talk will feature two examples, one with a public health focus and one with a veterinary health focus.
 
In the first part, I will summarise work originally conducted in late 2020 that was contributed to Scientific Pandemic Influenza Group on Modelling, Operational sub-group (SPI-M-O) of SAGE (Scientific Advisory Group for Emergencies) on Christmas household bubbles in England. This was carried out in response to a policy involving a planned easing of restrictions in England between 23–27 December 2020, with Christmas bubbles allowing people from up to three households to meet throughout the holiday period. Using a household model and computational simulation, we estimated the epidemiological impact of both this and alternative bubble strategies that allowed extending contacts beyond the immediate household.

(Associated paper: Modelling the epidemiological implications for SARS-CoV-2 of Christmas household bubbles in England in December 2020. https://doi.org/10.1016/j.jtbi.2022.111331)

In the second part, I will present a methodological pipeline developed to generate novel quantitative data on farmer beliefs with respect to disease management, process the data into a form amenable for use in mathematical models of livestock disease transmission and then refine said mathematical models according to the findings of the data. Such an approach is motivated by livestock disease models traditionally omitting variation in farmer disease management behaviours. I will discuss our application of this methodology for a fast, spatially spreading disease outbreak scenario amongst cattle herds in Great Britain, for which we elicited when farmers would use an available vaccine and then used the attained behavioural groups within a livestock disease model to make epidemiological and health economic assessments. 

(Associated paper: Incorporating heterogeneity in farmer disease control behaviour into a livestock disease transmission model. https://doi.org/10.1016/j.prevetmed.2023.106019)
Fri, 03 May 2024

12:00 - 13:00
Quillen Room

The canonical dimension of depth-zero supercuspidal representations

Mick Gielen
(University of Oxford)
Abstract

Associated to a complex admissible representation of a p-adic group is an invariant known is the "canonical dimension". It is closely related to the more well-studied invariant called the "wavefront set". The advantage of the canonical dimension over the wavefront set is that it allows for a completely different approach in computing it compared to the known computational methods for the wavefront set. In this talk we illustrate this point by finding a lower bound for the canonical dimension of any depth-zero supercuspidal representation, which depends only on the group and so is independent of the representation itself. To compute this lower bound, we consider the geometry of the associated Bruhat-Tits building.

Thu, 02 May 2024

17:00 - 18:00
L4

Cohomogeneity one Ricci solitons and Hamiltonian formalism

Qiu Shi Wang
(University of Oxford)
Abstract
A Riemannian manifold is said to be of cohomogeneity one if there is a Lie group acting on it by isometries with principal orbits of codimension one. On such manifolds, the Ricci soliton equation simplifies to a system of ODEs, which can be considered as a Hamiltonian system. Various conserved quantities, such as superpotentials, can then be defined to find cases in which the system is explicitly integrable.

There is a considerable body of work, primarily due to A. Dancer and M. Wang, on the analogous procedure for the Einstein equation.

In this talk, I will introduce the abovementioned methods and illustrate with examples their usefulness in finding explicit formulae for Ricci solitons. I will also discuss the classification of superpotentials.


 

Thu, 02 May 2024

17:00 - 18:00
L3

Multi topological fields, approximations and NTP2

Silvain Rideau-Kikuchi
(École Normale Supérieure )
Abstract

(Joint work with S. Montenegro)

The striking resemblance between the behaviour of pseudo-algebraically closed, pseudo real closed and pseudo p-adically fields has lead to numerous attempts at describing their properties in a unified manner. In this talk I will present another of these attempts: the class of pseudo-T-closed fields, where T is an enriched theory of fields. These fields verify a « local-global » principle with respect to models of T for the existence of points on varieties. Although it very much resembles previous such attempts, our approach is more model theoretic in flavour, both in its presentation and in the results we aim for.

The first result I would like to present is an approximation result, generalising a result of Kollar on PAC fields, respectively Johnson on henselian fields. This result can be rephrased as the fact that existential closeness in certain topological enrichments come for free from existential closeness as a field. The second result is a (model theoretic) classification result for bounded pseudo-T-closed fields, in the guise of the computation of their burden. One of the striking consequence of these two results is that a bounded perfect PAC field with n independent valuations has burden n and, in particular, is NTP2.

Thu, 02 May 2024
16:00
Lecture Room 4, Mathematical Institute

Twisted correlations of the divisor function via discrete averages of $\operatorname{SL}_2(\mathbb{R})$ Poincaré series

Jori Merikoski
(University of Oxford)
Abstract

The talk is based on joint work with Lasse Grimmelt. We prove a theorem that allows one to count solutions to determinant equations twisted by a periodic weight with high uniformity in the modulus. It is obtained by using spectral methods of $\operatorname{SL}_2(\mathbb{R})$ automorphic forms to study Poincaré series over congruence subgroups while keeping track of interactions between multiple orbits. This approach offers increased flexibility over the widely used sums of Kloosterman sums techniques. We give applications to correlations of the divisor function twisted by periodic functions and the fourth moment of Dirichlet $L$-functions on the critical line.

Thu, 02 May 2024
16:00
L4

Robust Duality for multi-action options with information delay

Dr Anna Aksamit
(University of Sydney)
Further Information

Please join us for reshments outside the lecture room from 1530.

Abstract

We show the super-hedging duality for multi-action options which generalise American options to a larger space of actions (possibly uncountable) than {stop, continue}. We put ourselves in the framework of Bouchard & Nutz model relying on analytic measurable selection theorem. Finally we consider information delay on the action component of the product space. Information delay is expressed as a possibility to look into the future in the dual formulation. This is a joint work with Ivan Guo, Shidan Liu and Zhou Zhou.

Thu, 02 May 2024

14:00 - 15:00
Lecture Room 3

Mathematics: key enabling technology for scientific machine learning

Wil Schilders
(TU Eindhoven)
Abstract

Artificial Intelligence (AI) will strongly determine our future prosperity and well-being. Due to its generic nature, AI will have an impact on all sciences and business sectors, our private lives and society as a whole. AI is pre-eminently a multidisciplinary technology that connects scientists from a wide variety of research areas, from behavioural science and ethics to mathematics and computer science.

Without downplaying the importance of that variety, it is apparent that mathematics can and should play an active role. All the more so as, alongside the successes of AI, also critical voices are increasingly heard. As Robert Dijkgraaf (former director of the Princeton Institute of Advanced Studies) observed in May 2019: ”Artificial intelligence is in its adolescent phase, characterised by trial and error, self-aggrandisement, credulity and lack of systematic understanding.” Mathematics can contribute to the much-needed systematic understanding of AI, for example, greatly improving reliability and robustness of AI algorithms, understanding the operation and sensitivity of networks, reducing the need for abundant data sets, or incorporating physical properties into neural networks needed for super-fast and accurate simulations in the context of digital twinning.

Mathematicians absolutely recognize the potential of artificial intelligence, machine learning and (deep) neural networks for future developments in science, technology and industry. At the same time, a sound mathematical treatment is essential for all aspects of artificial intelligence, including imaging, speech recognition, analysis of texts or autonomous driving, implying it is essential to involve mathematicians in all these areas. In this presentation, we highlight the role of mathematics as a key enabling technology within the emerging field of scientific machine learning. Or, as I always say: ”Real intelligence is needed to make artificial intelligence work.”

 

Thu, 02 May 2024
12:00
L5

Gradient Flow Approach to Minimal Surfaces

Christopher Wright
(University of Oxford)
Abstract

Minimal surfaces, which are critical points of the area functional, have long been a source of fruitful problems in geometry. In this talk, I will introduce a new approach, primarily coming from a recent paper of M. Struwe, to constructing free boundary minimal discs using a gradient flow of a suitable energy functional. I will discuss the uniqueness of solutions to the gradient flow, including recent work on the uniqueness of weak solutions, and also what is known about the qualitative behaviour of the flow, especially regarding the interpretation of singularities which arise. Time permitting, I will also mention ongoing joint work with M. Rupflin and M. Struwe on extending this theory to general surfaces with boundary.

Thu, 02 May 2024

12:00 - 13:00
L3

Path integral formulation of stochastic processes

Steve Fitzgerald
(University of Leeds)
Abstract

Traditionally, stochastic processes are modelled one of two ways: a continuum Fokker-Planck approach, where a PDE is solved to determine the time evolution of the probability density, or a Langevin approach, where the SDE describing the system is sampled, and multiple simulations are used to collect statistics. There is also a third way: the functional or path integral. Originally developed by Wiener in the 1920s to model Brownian motion, path integrals were famously applied to quantum mechanics by Feynman in the 1950s. However, they also have much to offer classical stochastic processes (and statistical physics).  

In this talk I will introduce the formalism at a physicist’s level of rigour, and focus on determining the dominant contribution to the path integral when the noise is weak. There exists a remarkable correspondence between the most-probable stochastic paths and Hamiltonian dynamics in an effective potential [1,2,3]. I will then discuss some applications, including reaction pathways conditioned on finite time [2]. We demonstrate that the most probable pathway at a finite time may be very different from the usual minimum energy path used to calculate the average reaction rate. If time permits, I will also discuss the extremely nonlinear crystal dislocation response to applied stress [4].  

[1] Ge, Hao, and Hong Qian. Int. J. Mod. Phys. B 26.24 1230012 (2012)     

[2] Fitzgerald, Steve, et al. J. Chem. Phys. 158.12 (2023).

[3] Honour, Tom and Fitzgerald, Steve. in press J. Phys. A (2024)

[4] Fitzgerald, Steve. Sci. Rep. 6 (1) 39708 (2016)

 

Thu, 02 May 2024

11:00 - 12:00
C3

Difference fields with an additive character on the fixed field

Stefan Ludwig
(École Normale Supérieure )
Abstract

Motivated by work of Hrushovski on pseudofinite fields with an additive character we investigate the theory ACFA+ which is the model companion of the theory of difference fields with an additive character on the fixed field. Building on results by Hrushovski we can recover it as the characteristic 0-asymptotic theory of the algebraic closure of finite fields with the Frobenius-automorphism and the standard character on the fixed field. We characterise 3-amalgamation in ACFA+. As cosequences we obtain that ACFA+ is a simple theory, an explicit description of the connected component of the Kim-Pillay group and (weak) elimination of imaginaries. If time permits we present some results on higher amalgamation.

Wed, 01 May 2024

16:00 - 17:00
L6

ℓ²-Betti numbers of RFRS groups

Sam Fisher
(University of Oxford)
Abstract

RFRS groups were introduced by Ian Agol in connection with virtual fibering of 3-manifolds. Notably, the class of RFRS groups contains all compact special groups, which are groups with particularly nice cocompact actions on cube complexes. In this talk, I will give an introduction to ℓ²-Betti numbers from an algebraic perspective and discuss what group theoretic properties we can conclude from the (non)vanishing of the ℓ²-Betti numbers of a RFRS group.

Tue, 30 Apr 2024

16:00 - 17:00
C2

Equivariantly O2-stable actions: classification and range of the invariant

Matteo Pagliero
(KU Leuven)
Abstract

One possible version of the Kirchberg—Phillips theorem states that simple, separable, nuclear, purely infinite C*-algebras are classified by KK-theory. In order to generalize this result to non-simple C*-algebras, Kirchberg first restricted his attention to those that absorb the Cuntz algebra O2 tensorially. C*-algebras in this class carry no KK-theoretical information in a strong sense, and they are classified by their ideal structure alone. It should be mentioned that, although this result is in Kirchberg’s work, its full proof was first published by Gabe. In joint work with Gábor Szabó, we showed a generalization of Kirchberg's O2-stable theorem that classifies G-C*-algebras up to cocycle conjugacy, where G is any second-countable, locally compact group. In our main result, we assume that actions are amenable, sufficiently outer, and absorb the trivial action on O2 up to cocycle conjugacy. In very recent work, I moreover show that the range of the classification invariant, consisting of a topological dynamical system over primitive ideals, is exhausted for any second-countable, locally compact group.

In this talk, I will recall the classification of O2-stable C*-algebras, and describe their classification invariant. Subsequently, I will give a short introduction to the C*-dynamical working framework and present the classification result for equivariant O2-stable actions. Time permitting, I will give an idea of how one can build a C*-dynamical system in the scope of our classification with a prescribed invariant. 

Tue, 30 Apr 2024
16:00
L6

Best approximation by restricted divisor sums and random matrix integrals

Brad Rodgers (Queen's University, Kingston)
Abstract

Let X and H be large, and consider n ranging from 1 to X. For an arithmetic function f(n), what is the best mean square approximation of f(n) by a restricted divisor sum (a function of the sort sum_{d|n, d < H} a_d)? I hope to explain how for a wide variety of arithmetic functions, when X grows and H grows like a power of X, a solution of this problem is connected to the evaluation of random matrix integrals. The problem is connected to some combinatorial formula for computing high moments of traces of random unitary matrices and I hope to discuss this also.

Tue, 30 Apr 2024
15:00
L6

Graph products and measure equivalence

Camille Horbez
Abstract

Measure equivalence was introduced by Gromov as a measure-theoretic analogue to quasi-isometry between finitely generated groups. In this talk I will present measure equivalence classification results for right-angled Artin groups, and more generally graph products. This is based on joint works with Jingyin Huang and with Amandine Escalier.