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
( 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)