Tue, 18 Feb 2025
15:00
L6

Dynamical alternating groups and the McDuff property

David Kerr
Abstract

In operator algebra theory central sequences have long played a significant role in addressing problems in and around amenability, having been used both as a mechanism for producing various examples beyond the amenable horizon and as a point of leverage for teasing out the finer structure of amenable operator algebras themselves. One of the key themes on the von Neumann algebra side has been the McDuff property for II_1 factors, which asks for the existence of noncommuting central sequences and is equivalent, by a theorem of McDuff, to tensorial absorption of the unique hyperfinite II_1 factor. We will show that, for a topologically free minimal action of a countable amenable group on the Cantor set, the von Neumann algebra of the associated dynamical alternating group is McDuff. This yields the first examples of simple finitely generated nonamenable groups for which the von Neumann algebra is McDuff. This is joint work with Spyros Petrakos.

Tue, 18 Feb 2025
14:00
L6

On a geometric dimension growth conjecture

Yotam Hendel
(Ben Gurion University of the Negev)
Abstract

Let X be an integral projective variety of degree at least 2 defined over Q, and let B>0 an integer. The dimension growth conjecture, now proven in almost all cases following works of Browning, Heath-Brown, and Salberger, provides a certain uniform upper bound on the number of rational points of height at most B lying on X. 

Shifting to the geometric setting (where X may be defined over C(t)), the collection of C(t)-rational points lying on X of degree at most B naturally has the structure of an algebraic variety, which we denote by X(B). In ongoing work with Tijs Buggenhout and Floris Vermeulen, we uniformly bound the dimension and, when the degree of X is at least 6, the number of irreducible components  of X(B) of largest possible dimension​ analogously to dimension growth bounds. We do this by developing a geometric determinant method, and by using results on rational points on curves over function fields. 

Joint with Tijs Buggenhout and Floris Vermeulen.

Tue, 18 Feb 2025

14:00 - 15:00
L4

Cube-root concentration of the chromatic number of $G(n,1/2)$ – sometimes

Oliver Riordan
(University of Oxford)
Abstract
A classical question in the theory of random graphs is 'how much does the chromatic number of $G(n,1/2)$ vary?' For example, roughly what is its standard deviation $\sigma_n$? An old argument of Shamir and Spencer gives an upper bound of $O(\sqrt{n})$, improved by a logarithmic factor by Alon. For general $n$, a result with Annika Heckel implies that $n^{1/2}$ is tight up to log factors. However, according to the 'zig-zag' conjecture $\sigma_n$ is expected to vary between $n^{1/4+o(1)}$ and $n^{1/2+o(1)}$ as $n$ varies. I will describe recent work with Rob Morris, building on work of Bollobás, Morris and Smith, giving an $O^*(n^{1/3})$ upper bound for certain values of $n$, the first bound beating $n^{1/2-o(1)}$, and almost matching the zig-zag conjecture for these $n$. The proof uses martingale methods, the entropy approach of Johansson, Kahn and Vu, the second moment method, and a new (we believe) way of thinking about the distribution of the independent sets in $G(n,1/2)$.
Tue, 18 Feb 2025
14:00
C4

Temporal graph reproduction with RWIG

Piet Van Mieghem
(Delft University of Technology)
Abstract

Our Random Walkers Induced temporal Graphs (RWIG) model generates temporal graph sequences based on M independent, random walkers that traverse an underlying graph as a function of time. Co-location of walkers at a given node and time defines an individual-level contact. RWIG is shown to be a realistic model for temporal human contact graphs.   

A key idea is that a random walk on a Markov graph executes the Markov process. Each of the M walkers traverses the same set of nodes (= states in the Markov graph), but with own transition probabilities (in discrete time) or rates (in continuous time). Hence, the Markov transition probability matrix Pj reflects the policy of motion of walker wj. RWIG is analytically feasible: we derive closed form solutions for the probability distribution of contact graphs.

Usually, human mobility networks are inferred through measurements of timeseries of contacts between individuals. We also discuss this “inverse RWIG problem”, which aims to determine the parameters in RWIG (i.e. the set of probability transfer matrices P1, P2, ..., PM and the initial probability state vectors s1[0], ...,sM[0] of walkers w1,w2, ...,wM in discrete time), given a timeseries of contact graphs.

This talk is based on the article:
Almasan, A.-D., Shvydun, S., Scholtes, I. and P. Van Mieghem, 2025, "Generating Temporal Contact Graphs Using Random Walkers", IEEE Transactions on Network Science and Engineering, to appear.


 

Tue, 18 Feb 2025
13:00
L5

Homotopy algebras, quantum field theory and AKSZ-gravity

Leron Borsten
(University of Hertfordshire)
Abstract

We’ll begin by introducing homotopy algebras (assuming no background) and their intimate connection to quantum field theory, with a briefly summary of some applications: scattering amplitude recursion relations, colour-kinematics duality, and generalised asymptotic observables. We’ll then introduce (deformed) Alexandrov–Kontsevich–Schwarz–Zaboronsky theories as the paradigmatic example of this framework, before developing their applications to gravity in two, three and four dimensions.   

Mon, 17 Feb 2025
16:30
L4

Stable Free Boundaries in Dimension 3: Bernoulli and Allen--Cahn

Xavier Fernandez-Real
(EPFL)
Abstract
In this talk, we present a forthcoming work on the classification of global stable solutions to the Bernoulli problem in $\mathbb R^3$. In particular, this yields local universal curvature bounds for the free boundary for the local problem.
By means of this result, we prove the free boundary Allen--Cahn stability conjecture in dimension 3: global stable solutions to the free boundary analogue of the Allen--Cahn equation are one dimensional in dimension 3. This solves a long-standing conjecture in the free boundary case.

 
Mon, 17 Feb 2025
16:00
C6

TBC

Jori Merikowski
(University of Oxford)
Abstract

TBC

Mon, 17 Feb 2025
16:00
C6

Hoheisel's theorem on primes in short intervals via combinatorics

Jori Merikoski
(Oxford)
Abstract

Hoheisel's theorem states that there is some $\delta> 0$ and some $x_0>0$ such that for all $x > x_0$ the interval $[x,x+x^{1-\delta}]$ contains prime numbers. Classically this is proved using the Riemann zeta function and results about its zeros such as the zero-free region and zero density estimates. In this talk I will describe a new elementary proof of Hoheisel's theorem. This is joint work with Kaisa Matomäki (Turku) and Joni Teräväinen (Cambridge). Instead of the zeta function, our approach is based on sieve methods and ideas coming from additive combinatorics, in particular, the transference principle. The method also gives an L-function free proof of Linnik's theorem on the least prime in arithmetic progressions.

Mon, 17 Feb 2025
15:30
L5

Koszul duality and Calabi Yau strutures

Julian Holstein
(Universität Hamburg)
Abstract
I will talk about two aspects of Koszul duality. Firstly, Koszul duality for dg categories provides a way of modelling dg categories as certain curved coalgebras. This is a linearization of the correspondence of simplicial categories as simplicial sets (quasi-categories). Secondly, Koszul duality exchanges smooth and proper Calabi-Yau structures for dg categories and curved coalgebras. This is a generalization and conceptual explanation of the following phenomen: For a topological space X with the homotopy type of a finite complex having an oriented Poincaré duality structure (with local coefficients) is equivalent to a smooth Calabi-Yau structure on the dg algebra of chains on the based loop space of X.  This is joint work with Andrey Lazarev and with Manuel Rivera, respectively.
Mon, 17 Feb 2025
15:30
L3

Stochastic wave equations with constraints: well-posedness and Smoluchowski-Kramers diffusion approximation

Prof Zdzislaw Brzezniak
(University of York)
Abstract

I will discuss  the well-posedness of a class of stochastic second-order in time-damped evolution equations in Hilbert spaces, subject to the constraint that the solution lies on  the unit sphere. A specific example is provided by  the stochastic damped wave equation in a bounded domain of a $d$-dimensional Euclidean space, endowed with the Dirichlet boundary conditions, with the added constraint that the $L^2$-norm of the solution is equal to one. We introduce a small mass $\mu>0$ in front of the second-order derivative in time and examine the validity of the Smoluchowski-Kramers diffusion approximation. We demonstrate that, in the small mass limit, the solution converges to the solution of a stochastic parabolic equation subject to the same constraint. We further show that an extra noise-induced drift emerges, which  in fact does not account for the Stratonovich-to-It\^{o} correction term. This talk is based on joint research with S. Cerrai (Maryland), hopefully to be published in Comm Maths Phys.

Mon, 17 Feb 2025
14:15
L5

Curve counting and spaces of Cauchy-Riemann operators

Aleksander Doan
(University College London)
Abstract

It is a long-standing open problem to generalize sheaf-counting invariants of complex projective three-folds to symplectic manifolds of real dimension six. One approach to this problem involves counting  J-holomorphic curves  C, for a generic almost complex structure J, with weights depending on J. Various existing symplectic invariants (Gromov-Witten, Gopakumar-Vafa, Bai-Swaminathan) can be expressed as such weighted counts. In this talk, based on joint work with Thomas Walpuski, I will discuss a new construction of weights associated with curves and a closely related problem about the structure of the space of Cauchy-Riemann operators on  C.

Mon, 17 Feb 2025
13:00
L6

Introduction to the membrane theory of entanglement dynamics

Jiang Hanzhi
Abstract

The time evolution of quantum matter systems toward their thermal equilibria, characterized by their entanglement entropy (EE), is a question that permeates many areas of modern physics. The dynamic of EE in generic chaotic many-body systems has an effective description in terms of a minimal membrane described by its membrane tension function. For strongly coupled systems with a gravity dual, the membrane tension can be obtained by projecting the bulk Hubeny-Rangamani-Ryu-Takayanagi (HRT) surfaces to the boundary along constant infalling time. In this talk, I will introduce the membrane theory of entanglement dynamics, its generalization to 2d CFT, as well as several applications. Based on arXiv: 1803.10244 and arXiv: 2411.16542.

Fri, 14 Feb 2025
15:00
L4

Distance-from-flat persistent homology transforms

Nina Otter
(Inria Saclay)

Note: we would recommend to join the meeting using the Teams client for best user experience.

Abstract
The persistent homology transform (PHT) was introduced in the field of Topological Data Analysis about 10 years ago, and has since been proven to be a very powerful descriptor of Euclidean shapes. The PHT consists of scanning a shape from all possible directions and then computing the persistent homology of sublevel set filtrations of the respective height functions; this results in a sufficient and continuous descriptor of Euclidean shapes. 
 
In this talk I will introduce a generalisation of the PHT in which we consider arbitrary parameter spaces and sublevel-set filtrations with respect to any function. In particular, we study transforms, defined on the Grassmannian AG(m,n) of affine subspaces of n-dimensional Euclidean space, which allow to scan a shape by probing it with all possible affine m-dimensional subspaces P, for fixed dimension m, and by then computing persistent homology of sublevel-set filtrations of the function encoding the distance from the flat P. We call such transforms "distance-from-flat PHTs". I will discuss how these transforms generalise known examples, how they are sufficient descriptors of shapes and finally present their computational advantages over the classical persistent homology transform introduced by Turner-Mukherjee-Boyer. 
Fri, 14 Feb 2025

14:00 - 15:00
L1

What are employers looking for in mathematical graduates?

Jenny Roberts
(IMA)
Abstract

In this interactive session, Jenny Roberts from the Institute of Mathematics and its Applications will offer guidance on what employers are looking for in mathematical graduates, and how best to sell yourself for those jobs!

Fri, 14 Feb 2025

12:00 - 13:00
Quillen Room

Shifted twisted Yangians and even finite W-algebras

Lukas Tappeiner
(University of Bath)
Abstract

There is a well-known relationship between finite W-algebras and Yangians. The work of Rogoucy and Sorba on the "rectangular case" in type A eventually led Brundan and Kleshchev to introduce shifted Yangians, which surject onto the finite W-algebras for general linear Lie algebras. Thus, these W-algebras can be realised as truncated shifted Yangians. In parallel, the work of Ragoucy and then Brown showed that truncated twisted Yangians are isomorphic to the finite W-algebra associated to a rectangular nilpotent element in a Lie algebra of type B, C or D. For many years there has been a hope that this relationship can be extended to other nilpotent elements.

I will report on a joint work with Lewis Topley in which we introduced the shifted twisted Yangians, following the work of Lu-Wang-Zhang, and described Poisson isomorphisms between their truncated semiclassical degenerations and the functions Slodowy slices associated with even nilpotent elements in classical simple Lie algebras( which can be viewed as semiclassical W-algebras). I will also mention a work in progress with Lu-Peng-Topley-Wang which deals with the quantum analogue of our theorem.

I will also recall what Poisson algebras and (filtered) quantizations are and give a brief intro to Slodowy slices, finite W-algebras and Yangians so that the talk should be quite accessible.

Fri, 14 Feb 2025

11:00 - 12:00
L4

Computational investigation of single-scale and multi-scale heterogeneous immune responses during cancer evolution

Prof Raluca Eftimie
(Mathematics Laboratory Université de Franche-Comté, Besançon)
Abstract

Tumour microenvironment is characterised by heterogeneity at various scales: from various cell populations (immune cells, cancerous cells, ...) and various molecules that populate the microenvironment (cytokines, chemokines, extracellular vesicles, …); to phenotype heterogeneity inside the same cell population (e.g., immune cells with different phenotypes and different functions); as well as temporal heterogeneity in cells’ phenotypes (as cancer evolves through time) and spatial heterogeneity.
In this talk we overview some mathematical models and computational approaches developed to investigate different single-scale and multi-scale aspects related to heterogeneous immune responses during cancer evolution. Throughout the talk we emphasise the qualitative vs. quantitative results, and data availability across different scales

Thu, 13 Feb 2025
17:00
L3

The open core of NTP2 topological structures

Pablo Andujar Guerrero
(University of Leeds)
Abstract

The open core of a structure is the reduct generated by the open definable sets. Tame topological structures (e.g. o-minimal) are often inter-definable with their open core. Structures such as M = (ℝ,<, +, ℚ) are wild in the sense that they define a dense co-dense set. Still, M is NIP and its open core is o-minimal. In this talk, we push forward the thesis that the open core of an NTP2 (a generalization of NIP) topological structure is tame. Our main result is that, under suitable conditions, the open core has quantifier elimination (every definable set is constructible), and its definable functions are generically continuous.

Thu, 13 Feb 2025
16:00
Lecture Room 4

On the exceptional set in the abc conjecture

Joni Teräväinen
(University of Cambridge)
Abstract
The well known abc conjecture asserts that for any coprime triple of positive integers satisfying $a+b=c$, we have $c<K_{\varepsilon} \mathrm{rad}(abc)^{1+\varepsilon}$, where $\mathrm{rad}$ is the squarefree radical function. 
 
In this talk, I will discuss a proof giving the first power-saving improvement over the trivial bound for the number of exceptions to this conjecture. The proof is based on a combination of various methods for counting rational points on curves, and a combinatorial analysis to patch these cases together.
 
This is joint work with Tim Browning and Jared Lichtman.
Thu, 13 Feb 2025

14:00 - 15:00
Lecture Room 3

Global Optimization with Hamilton-Jacobi PDEs

Dante Kalise
(Imperial College London)
Abstract

We introduce a novel approach to global optimization  via continuous-time dynamic programming and Hamilton-Jacobi-Bellman (HJB) PDEs. For non-convex, non-smooth objective functions,  we reformulate global optimization as an infinite horizon, optimal asymptotic stabilization control problem. The solution to the associated HJB PDE provides a value function which corresponds to a (quasi)convexification of the original objective.  Using the gradient of the value function, we obtain a  feedback law driving any initial guess towards the global optimizer without requiring derivatives of the original objective. We then demonstrate that this HJB control law can be integrated into other global optimization frameworks to improve its performance and robustness. 

Thu, 13 Feb 2025
13:00
N3.12

The Penrose Inequality: An Application of Geometric PDEs to Physics

Christopher Wright
Abstract

In this talk, I will discuss a conjecture of Penrose, which asserts a lower bound on the mass of a spacetime in terms of the area of a suitable horizon. Whilst Penrose presented a physical motivation for this inequality in the 1970s, the only proofs heavily rely upon PDE arguments, and in particular the use of geometric flows. I hope to show in this talk, through this concrete example (and without unpleasant technical details!), how ideas from geometric PDE theory can be helpful in obtaining results in physics.
 

Thu, 13 Feb 2025

12:00 - 12:30
Lecture room 5

High-order and sparsity-promoting Stokes elements

Pablo Brubeck
(Mathematical Institute (University of Oxford))
Abstract
One of the long-standing challenges of numerical analysis is the efficient and stable solution of incompressible flow problems (e.g. Stokes). It is fairly non-trivial to design a discretization that yields a well-posed (invertible) linear saddle-point problem. Additionally requiring that the discrete solution preserves the divergence-free constraint introduces further difficulty. In this talk, we present new finite elements for incompressible flow using high-order piecewise polynomials spaces. These elements exploit certain orthogonality relations to reduce the computational cost and storage of augmented Lagrangian preconditioners. We achieve a robust and scalable solver by combining this high-order element with a domain decomposition method, and a lower-order element as the coarse space. We illustrate our solver with numerical examples in Firedrake.
Thu, 13 Feb 2025

12:00 - 13:00
L3

Various

Various Speakers from OCIAM Year 2 Graduates
(Mathematical Institute)
Thu, 13 Feb 2025
12:00
L3

OCIAM TBC

OCIAM TBC
Thu, 13 Feb 2025

11:00 - 12:00
C5

Around Siu inequality

Michał Szachniewicz
(University of Oxford)
Abstract

I will talk about the connections between the Siu inequality and existence of the model companion for GVFs. The talk will be partially based on a joint work with Antoine Sedillot.

Wed, 12 Feb 2025
16:00
Lecture Room 4

Weak integrality of finitely presented groups

Hélène Esnault
(Freie Universität Berlin)
Abstract

This is  a notion we defined with Johan de Jong. If a finitely presented group  is the topological fundamental group of a smooth quasi-projective complex variety, then we prove that it is weakly integral. To this aim we use the Langlands program (both arithmetic to produce companions and geometric to use de Jong’s conjecture). On the other hand there are finitely presented groups which are not weakly integral (Breuillard). So this notion is an obstruction.