Tue, 30 Jan 2024
11:00
Lecture room 5

On two Formulations of McKean--Vlasov Control with Killing

Philipp Jettkant
Abstract

We study a McKean–Vlasov control problem with killing and common noise. The particles in this control model live on the real line and are killed at a positive intensity whenever they are in the negative half-line. Accordingly, the interaction between particles occurs through the subprobability distribution of the living particles. We establish the existence of an optimal semiclosed-loop control that only depends on the particles’ location and not their cumulative intensity. This problem cannot be addressed through classical mimicking arguments, because the particles’ subprobability distribution cannot be reconstructed from their location alone. Instead, we represent optimal controls in terms of the solutions to semilinear BSPDEs and show those solutions do not depend on the intensity variable.

Mon, 29 Jan 2024

16:30 - 17:30
L5

Asymptotic stability of traveling waves for one-dimensional nonlinear Schrodinger equations

Charles Collot
(CY Cergy Paris Université )
Abstract

We consider one-dimensional nonlinear Schrodinger equations around a traveling wave. We prove its asymptotic stability for general nonlinearities, under the hypotheses that the orbital stability condition of Grillakis-Shatah-Strauss is satisfied and that the linearized operator does not have a resonance and only has 0 as an eigenvalue. As a by-product of our approach, we show long-range scattering for the radiation remainder. Our proof combines for the first time modulation techniques and the study of space-time resonances. We rely on the use of the distorted Fourier transform, akin to the work of Buslaev and Perelman and, and of Krieger and Schlag, and on precise renormalizations, computations, and estimates of space-time resonances to handle its interaction with the soliton. This is joint work with Pierre Germain.

Mon, 29 Jan 2024
16:00
L2

Quantitative bounds for a weighted version of Chowla's conjecture

Cédric Pilatte
(University of Oxford)
Abstract

The Liouville function $\lambda(n)$ is defined to be $+1$ if $n$ is a product of an even number of primes, and $-1$ otherwise. The statistical behaviour of $\lambda$ is intimately connected to the distribution of prime numbers. In many aspects, the Liouville function is expected to behave like a random sequence of $+1$'s and $-1$'s. For example, the two-point Chowla conjecture predicts that the average of $\lambda(n)\lambda(n+1)$ over $n < x$ tends to zero as $x$ goes to infinity. In this talk, I will discuss quantitative bounds for a logarithmic version of this problem.

Mon, 29 Jan 2024
15:30
L4

Categorifying the four color theorem with applications to Gromov-Witten theory

Scott Baldridge
(Louisiana State University)
Abstract
The four color theorem states that each bridgeless planar graph has a proper $4$-face coloring. It can be generalized to certain types of CW complexes of any closed surface for any number of colors, i.e., one looks for a coloring of the 2-cells (faces) of the complex with $m$ colors so that whenever two 2-cells are adjacent to a 1-cell (edge), they are labeled different colors.

In this talk, I show how to categorify the $m$-color polynomial of a surface with a CW complex. This polynomial is based upon Roger Penrose’s seminal 1971 paper on abstract tensor systems and can be thought of as the ``Jones polynomial’’ for CW complexes. The homology theory that results from this categorification is called the bigraded $m$-color homology and is based upon a topological quantum field theory (that will be suppressed from this talk due to time). The construction of this homology shares some similar features to the construction of Khovanov homology—it has a hypercube of states, multiplication and comultiplication maps, etc. Most importantly, the homology is the $E_1$ page of a spectral sequence whose $E_\infty$ page has a basis that can be identified with proper $m$-face colorings, that is, each successive page of the sequence provides better approximations of $m$-face colorings than the last. Since it can be shown that the $E_1$ page is never zero, it is safe to say that a non-computer-based proof of the four color theorem resides in studying this spectral sequence! (This is joint work with Ben McCarty.)

If time, I will relate this work to the study of the moduli space of stable genus $g$ curves with $n$ marked points. Using Strebel quadratic differentials, one can identify this moduli space with a subspace of the space of metric ribbon graphs with labeled boundary components. Proper $m$-face coloring in this setup is, in a sense, studying points in the space of metric ribbon graphs where similarly-colored boundaries (marked points) don’t get ``too close’’ to each other. We will end with some speculations about what this might mean for Gromov-Witten theory of Calabi-Yau manifolds.
 
Note to students: This talk will be hands-on with ideas explained through the calculation of examples. Graduate students and researchers who are interested in graph theory, topology, or representation theory are encouraged to attend.   
 
Mon, 29 Jan 2024
15:30
Lecture room 5

A rigorous approach to the Dean-Kawasaki equation of fluctuating hydrodynamics

Professor Julian Fischer
(Institute of Science and Technology Austria)
Abstract

Fluctuating hydrodynamics provides a framework for approximating density fluctuations in interacting particle systems by suitable SPDEs. The Dean-Kawasaki equation - a strongly singular SPDE - is perhaps the most basic equation of fluctuating hydrodynamics; it has been proposed in the physics literature to describe the fluctuations of the density of N diffusing weakly interacting particles in the regime of large particle numbers N. The strongly singular nature of the Dean-Kawasaki equation presents a substantial challenge for both its analysis and its rigorous mathematical justification: Besides being non-renormalizable by approaches like regularity structures, it has recently been shown to not even admit nontrivial martingale solutions.

In this talk, we give an overview of recent quantitative results for the justification of fluctuating hydrodynamics models. In particular, we give an interpretation of the Dean-Kawasaki equation as a "recipe" for accurate and efficient numerical simulations of the density fluctuations for weakly interacting diffusing particles, allowing for an error that is of arbitarily high order in the inverse particle number. 

Based on joint works with Federico Cornalba, Jonas Ingmanns, and Claudia Raithel

Mon, 29 Jan 2024
14:15
L4

Floer cohomology for symplectic ${\mathbb C}^*$-manifolds

Alexander Ritter
(Oxford)
Abstract

In this joint work with Filip Zivanovic, we construct symplectic cohomology for a class of symplectic manifolds that admit ${\mathbb C}^*$-actions and which project equivariantly and properly to a convex symplectic manifold. The motivation for studying these is a large class of examples known as Conical Symplectic Resolutions, which includes quiver varieties, resolutions of Slodowy varieties, and hypertoric varieties. These spaces are highly non-exact at infinity, so along the way we develop foundational results to be able to apply Floer theory. Motivated by joint work with Mark McLean on the Cohomological McKay Correspondence, our goal is to describe the ordinary cohomology of the resolution in terms of a Morse-Bott spectral sequence for positive symplectic cohomology. These spectral sequences turn out to be quite computable in many examples. We obtain a filtration on ordinary cohomology by cup-product ideals, and interestingly the filtration can be dependent on the choice of circle action.

Mon, 29 Jan 2024

14:00 - 15:00
Lecture Room 3

Infectious diseases and their control - a modelling perspective

Samir Bhatt
(University of Copenhagen & Imperial College London)
Abstract

The COVID-19 pandemic has brought a spotlight to the field of infectious disease modelling, prompting widespread public awareness and understanding of its intricacies. As a result, many individuals now possess a basic familiarity with the principles and methodologies involved in studying the spread of diseases. In this presentation, I aim to deliver a somewhat comprehensive (and hopefully engaging) overview of the methods employed in infectious disease modelling, placing them within the broader context of their significance for government and public health policy.

 

I will navigate through applications of Spatial Statistics, Branching Processes, and Binary Trees in modelling infectious diseases, with a particular emphasis on integrating machine learning methods into these areas. The goal of this presentation is to take you on a broad tour of methods and their applications, offering a personal perspective by highlighting examples from my recent work.

Mon, 29 Jan 2024

13:00 - 14:00
N3.12

Mathematrix: Standing up for your Rights

Abstract

We will be joined by Tim LaRock, president of the UCU, to talk about everything money and work related, and how these issues intersect with being a minority. Lunch will be provided. 

Fri, 26 Jan 2024
16:00
L1

North meets South

Dr Cedric Pilatte (North Wing) and Dr Boris Shustin (South Wing)
Abstract

Speaker: Cedric Pilatte 
Title: Convolution of integer sets: a galaxy of (mostly) open problems

Abstract: Let S be a set of integers. Define f_k(n) to be the number of representations of n as the sum of k elements from S. Behind this simple definition lie fascinating conjectures that are very easy to state but seem unattackable. For example, a famous conjecture of Erdős and Turán predicts that if f_2 is bounded then it has infinitely many zeroes. This talk is designed as an accessible overview of these questions. 
 
Speaker: Boris Shustin

Title: Manifold-Free Riemannian Optimization

Abstract: Optimization problems constrained to a smooth manifold can be solved via the framework of Riemannian optimization. To that end, a geometrical description of the constraining manifold, e.g., tangent spaces, retractions, and cost function gradients, is required. In this talk, we present a novel approach that allows performing approximate Riemannian optimization based on a manifold learning technique, in cases where only a noiseless sample set of the cost function and the manifold’s intrinsic dimension are available.

Fri, 26 Jan 2024

15:00 - 16:00
L5

Expanding statistics in phylogenetic tree space

Gillian Grindstaff
(Mathematical Institute)
Abstract
For a fixed set of n leaves, the moduli space of weighted phylogenetic trees is a fan in the n-pointed metric cone. As introduced in 2001 by Billera, Holmes, and Vogtmann, the BHV space of phylogenetic trees endows this moduli space with a piecewise Euclidean, CAT(0), geodesic metric. This has be used to define a growing number of statistics on point clouds of phylogenetic trees, including those obtained from different data sets, different gene sequence alignments, or different inference methods. However, the combinatorial complexity of BHV space, which can be most easily represented as a highly singular cube complex, impedes traditional optimization and Euclidean statistics: the number of cubes grows exponentially in the number of leaves. Accordingly, many important geometric objects in this space are also difficult to compute, as they are similarly large and combinatorially complex. In this talk, I’ll discuss specialized regions of tree space and their subspace embeddings, including affine hyperplanes, partial leaf sets, and balls of fixed radius in BHV tree space. Characterizing and computing these spaces can allow us to extend geometric statistics to areas such as supertree contruction, compatibility testing, and phylosymbiosis.


 

Fri, 26 Jan 2024

14:00 - 15:00
L3

The hitchhiker's guide to complex models of intracellular signalling

Professor Fabian Frohli
(The Francis Crick Institute London)
Abstract

Unraveling the intricacies of intracellular signalling through predictive mathematical models holds great promise for advancing precision medicine and enhancing our foundational comprehension of biology. However, navigating the labyrinth of biological mechanisms governing signalling demands a delicate balance between a faithful description of the underlying biology and the practical utility of parsimonious models.
In this talk, I will present methods that enable training of large ordinary differential equation models of intracellular signalling and showcase application of such models to predict sensitivity to anti-cancer drugs. Through illustrative examples, I will demonstrate the application of these models in predicting sensitivity to anti-cancer drugs. A critical reflection on the construction of such models will be offered, exploring the perpetual question of complexity and how intricate these models should be.
Moreover, the talk will explore novel approaches that meld machine learning techniques with mathematical modelling. These approaches aim to harness the benefits of simplistic and unbiased phenomenological models while retaining the interpretability and biological fidelity inherent in mechanistic models.
 

Fri, 26 Jan 2024
12:00
L3

Geometric action for extended Bondi-Metzner-Sachs group in four dimensions

Romain Ruzziconi
(Oxford)
Abstract

This will be an informal discussion seminar based on https://arxiv.org/abs/2211.07592:

The constrained Hamiltonian analysis of geometric actions is worked out before applying the construction to the extended Bondi-Metzner-Sachs group in four dimensions. For any Hamiltonian associated with an extended BMS4 generator, this action provides a field theory in two plus one spacetime dimensions whose Poisson bracket algebra of Noether charges realizes the extended BMS4 Lie algebra. The Poisson structure of the model includes the classical version of the operator product expansions that have appeared in the context of celestial holography. Furthermore, the model reproduces the evolution equations of non-radiative asymptotically flat spacetimes at null infinity.

Fri, 26 Jan 2024

12:00 - 13:00
Quillen Room

Coadmissible modules over Fréchet-Stein algebras

Finn Wiersig
(University of Oxford)
Abstract

Let K be a non-archimedean field of mixed characteristic (0,p), and let L be a finite extension of
the p-adic numbers contained in K. The speaker is interested in the continuous representations of a
given L-analytic group G in locally convex (usually infinite dimensional) topological vector spaces over K.
This is, up to technicalities, equivalent to studying certain topological modules over the locally
analytic distribution algebra D(G,K) of G. But doing algebra with topological objects is hard!
In this talk, we present an excellent remedy, found by Schneider and Teitelbaum in the early 2000s.

Thu, 25 Jan 2024

17:00 - 18:00
L3

A motivic circle method

Margaret Bilu
(Institut de Mathématiques de Bordeaux)
Abstract

The Hardy–Littlewood circle method is a well-known analytic technique that has successfully solved several difficult counting problems in number theory. More recently, a version of the method over function fields, combined with spreading out techniques, has led to new results about the geometry of moduli spaces of rational curves on hypersurfaces of low degree. I will explain how one can implement a circle method with an even more geometric flavour, where the computations take place in a suitable Grothendieck ring of varieties, leading thus to a more precise description of the geometry of the above moduli spaces. This is joint work with Tim Browning.

Thu, 25 Jan 2024

16:00 - 17:00
Virtual

An Approximation Theory for Metric Space-Valued Functions With A View Towards Deep Learning

Anastasis Kratsios
Further Information
Abstract

We build universal approximators of continuous maps between arbitrary Polish metric spaces X and Y using universal approximators between Euclidean spaces as building blocks. Earlier results assume that the output space Y is a topological vector space. We overcome this limitation by "randomization": our approximators output discrete probability measures over Y. When X and Y are Polish without additional structure, we prove very general qualitative guarantees; when they have suitable combinatorial structure, we prove quantitative guarantees for Hölder-like maps, including maps between finite graphs, solution operators to rough differential equations between certain Carnot groups, and continuous non-linear operators between Banach spaces arising in inverse problems. In particular, we show that the required number of Dirac measures is determined by the combinatorial structure of X and Y. For barycentric Y, including Banach spaces, R-trees, Hadamard manifolds, or Wasserstein spaces on Polish metric spaces, our approximators reduce to Y-valued functions. When the Euclidean approximators are neural networks, our constructions generalize transformer networks, providing a new probabilistic viewpoint of geometric deep learning. 

As an application, we show that the solution operator to an RDE can be approximated within our framework.

Based on the following articles: 

         An Approximation Theory for Metric Space-Valued Functions With A View Towards Deep Learning (2023) - Chong Liu, Matti Lassas, Maarten V. de Hoop, and Ivan Dokmanić (ArXiV 2304.12231)

         Designing universal causal deep learning models: The geometric (Hyper)transformer (2023) B. Acciaio, A. Kratsios, and G. Pammer, Math. Fin. https://onlinelibrary.wiley.com/doi/full/10.1111/mafi.12389

         Universal Approximation Under Constraints is Possible with Transformers (2022) - ICLR Spotlight - A. Kratsios, B. Zamanlooy, T. Liu, and I. Dokmanić.

 

Thu, 25 Jan 2024
16:00
L3

Causal transport on path space

Rui Lim
(Mathematical Insitute, Oxford)
Further Information

Join us for refreshments from 330 outside L3.

Abstract

Causal optimal transport and the related adapted Wasserstein distance have recently been popularized as a more appropriate alternative to the classical Wasserstein distance in the context of stochastic analysis and mathematical finance. In this talk, we establish some interesting consequences of causality for transports on the space of continuous functions between the laws of stochastic differential equations.
 

We first characterize bicausal transport plans and maps between the laws of stochastic differential equations. As an application, we are able to provide necessary and sufficient conditions for bicausal transport plans to be induced by bi-causal maps. Analogous to the classical case, we show that bicausal Monge transports are dense in the set of bicausal couplings between laws of SDEs with unique strong solutions and regular coefficients.

 This is a joint work with Rama Cont.

Thu, 25 Jan 2024

14:00 - 15:00
Lecture Room 3

Stress and flux-based finite element methods

Fleurianne Bertrand
(Chemnitz University of Technology)
Abstract

This talk explores recent advancements in stress and flux-based finite element methods. It focuses on addressing the limitations of traditional finite elements, in order to describe complex material behavior and engineer new metamaterials.

Stress and flux-based finite element methods are particularly useful in error estimation, laying the groundwork for adaptive refinement strategies. This concept builds upon the hypercircle theorem [1], which states that in a specific energy space, both the exact solution and any admissible stress field lie on a hypercircle. However, the construction of finite element spaces that satisfy admissible states for complex material behavior is not straightforward. It often requires a relaxation of specific properties, especially when dealing with non-symmetric stress tensors [2] or hyperelastic materials.

Alternatively, methods that directly approximate stresses can be employed, offering high accuracy of the stress fields and adherence to physical conservation laws. However, when approximating eigenvalues, this significant benefit for the solution's accuracy implies that the solution operator cannot be compact. To address this, the solution operator must be confined to a subset of the solution that excludes the stresses. Yet, due to compatibility conditions, the trial space for the other solution components typically does not yield the desired accuracy. The second part of this talk will therefore explore the Least-Squares method as a remedy to these challenges [3].

To conclude this talk, we will emphasize the integration of those methods within global solution strategies, with a particular focus on the challenges regarding model order reduction methods [4].

 

[1] W. Prager, J. Synge. Approximations in elasticity based on the concept of function space.

Quarterly of Applied Mathematics 5(3), 1947.

[2] FB, K. Bernhard, M. Moldenhauer, G. Starke. Weakly symmetric stress equilibration and a posteriori error estimation for linear elasticity, Numerical Methods for Partial Differential Equations 37(4), 2021.

[3] FB, D. Boffi. First order least-squares formulations for eigenvalue problems, IMA Journal of Numerical Analysis 42(2), 2023.

[4] FB, D. Boffi, A. Halim. A reduced order model for the finite element approximation of eigenvalue problems,Computer Methods in Applied Mechanics and Engineering 404, 2023.

 

Thu, 25 Jan 2024

12:00 - 13:00
L3

Collective motion and environmental path entropy

Matthew Turner
(University of Warwick)
Further Information

Matthew Turner is a Professor in the Physics department, attached to the Complexity center, at Warwick University. He works on Biological and Soft Matter Physics, amongst other things.

Abstract

 

We study “bottom-up” models for the collective motion of large groups of animals. Similar models can be encoded into (micro)robotic matter, capable of sensing light and processing information. Agents are endowed only with visual sensing and information processing. We study a model in which moving agents reorientate to maximise the path-entropy of their visual environment over paths into the future. There are general arguments that principles like this that are based on retaining freedom in the future may confer fitness in an uncertain world. Alternative “top-down” models are more common in the literature. These typically encode coalignment and/or cohesion directly and are often motivated by models drawn from physics, e.g. describing spin systems. However, such models can usually give little insight into how co-alignment and cohesion emerge because these properties are encoded in the model at the outset, in a top-down manner. We discuss how our model leads to dynamics with striking similarities with animal systems, including the emergence of coalignment, cohesion, a characteristic density scaling anddifferent behavioural phenotypes. The dynamics also supports a very unusual order-disorder transition in which the order (coalignment) initially increases upon the addition of sensory or behavioural noise, before decreasing as the noise becomes larger.

 

 

Thu, 25 Jan 2024

11:00 - 12:00
C3

Pre-seminar meeting on motivic integration

Margaret Bilu
(University of Oxford)
Abstract

This is a pre-seminar meeting for Margaret Bilu's talk "A motivic circle method", which takes place later in the day at 5PM in L3.

Tue, 23 Jan 2024

16:00 - 17:00
C2

Asymptotic freeness in tracial ultraproducts

Cyril Houdayer
(ENS Paris)
Abstract

I will present novel freeness results in ultraproducts of tracial von Neumann algebras. As a particular case, I will show that if a and b are the generators of the free group F_2, then the relative commutants of a and b in the ultraproduct of the free group factor are free with respect to the ultraproduct trace. The proof is based on a surprising application of Lp-boundedness results of Fourier multipliers in free group factors for p > 2. I will describe applications of these results to absorption and model theory of II_1 factors. This is joint work with Adrian Ioana.

Tue, 23 Jan 2024

16:00 - 17:00
L6

Combinatorial moment sequences

Natasha Blitvic
(Queen Mary University of London)
Abstract

We will look at a number of interesting examples — some proven, others merely conjectured — of Hamburger moment sequences in combinatorics. We will consider ways in which this positivity may be expected: for instance, in different types of combinatorial statistics on perfect matchings that encode moments of noncommutative analogues of the classical Central Limit Theorem. We will also consider situations in which this positivity may be surprising, and where proving it would open up new approaches to a class of very hard open problems in combinatorics.

Tue, 23 Jan 2024

15:30 - 16:30
Online

Paths in random temporal graphs

Nina Kamčev
(University of Zagreb)
Further Information

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

Abstract

Random temporal graphs are a version of the classical Erdős-Rényi random graph $G(n,p)$ where additionally, each edge has a distinct random time stamp, and connectivity is constrained to sequences of edges with increasing time stamps. We are interested in the asymptotics for the distances in such graphs, mostly in the regime of interest where the average degree $np$ is of order $\log n$ ('near' the phase transition).

More specifically, we will discuss the asymptotic lengths of increasing paths: the lengths of the shortest and longest paths between typical vertices, as well as the maxima between any two vertices; this also covers the (temporal) diameter. In the regime $np \gg \log n$, longest increasing paths were studied by Angel, Ferber, Sudakov and Tassion.

The talk contains joint work with Nicolas Broutin and Gábor Lugosi.

Tue, 23 Jan 2024
15:00
L6

Cocycle and orbit equivalence superrigidity for measure preserving actions

Daniel Drimbe
Abstract

The classification of measure preserving actions up to orbit equivalence has attracted a lot of interest in the last 25 years. The goal of this talk is to survey the major discoveries in the field, including Popa's cocycle and orbit equivalence superrigidity theorem and discuss some recent superrigidity results for dense subgroups of Lie groups acting by translation.

Tue, 23 Jan 2024

14:30 - 15:00
L6

Manifold-Free Riemannian Optimization

Boris Shustin
(Mathematical Institute (University of Oxford))
Abstract

Optimization problems constrained to a smooth manifold can be solved via the framework of Riemannian optimization. To that end, a geometrical description of the constraining manifold, e.g., tangent spaces, retractions, and cost function gradients, is required. In this talk, we present a novel approach that allows performing approximate Riemannian optimization based on a manifold learning technique, in cases where only a noiseless sample set of the cost function and the manifold’s intrinsic dimension are available.

Tue, 23 Jan 2024

14:00 - 15:00
Online

Sharpness of the phase transition for interlacements percolation

Augusto Teixeira
(Instituto Nacional de Matemática Pura e Aplicada (IMPA))
Further Information

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

Abstract

In this talk we will review the problem of sharpness in percolation, tracing its origins back to the seminal works of Menshikov, Grimmett-Marstrand and Aizenman-Barsky, which successfully settled the question in the context of Bernoulli independent percolation. Then we will present some recent advancements on the field, which have opened up the possibility of investigating dependent percolation models. Special emphasis will be given to the Interpolation technique, which has proved itself very effective. In particular, it has been used to establish the sharpness for Interlacements Percolation, a model introduced by Sznitman with notoriously intricate dependencies.

This talk is based on a joint work with Duminil-Copin, Goswami, Rodriguez and Severo