Tue, 03 Mar 2026

15:30 - 16:30
Online

Faster random walk via infrequent steering

Boris Bukh
(Carnegie Mellon Univeristy)
Abstract

Random walks on graphs can mix slowly. To speed it up, imagine that at each step instead of choosing the neighbor at random, there is a small probability $\varepsilon > 0$ that we can choose it. We show that in this case, at least for graphs of bounded degree, there is a way to steer the walk so that we visit every vertex in $n^{1+o(1)}$ many steps. The key to this result is a way to decompose arbitrary graphs into small-diameter pieces.

Further Information

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

Mon, 23 Feb 2026
16:00
C6

Non-abelian Leopoldt conjectures

Andrew Graham
(University of Oxford)
Abstract

The classical Leopoldt conjecture predicts that the global units of a number field (tensored with Qp) inject into the local units at p. In this talk, I'll discuss some non-abelian generalisations of this in the setting of Galois representations.

$\mathcal{N}=(0,2)$ AdS$_3$ Solutions of Type IIB and F-theory with Generic Fluxes
Couzens, C (11 Nov 2019)
Thu, 26 Feb 2026
11:00
C1

Taking model-complete cores

Paolo Marimon
(Oxford University)
Abstract

A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; a core companion of a theory $T$ is a model-complete core theory $S$ such that every model of $T$ maps homomorphically to a model of $S$ and vice-versa. Whilst core companions may not exist in general, if they exist, they are unique. Moreover, $\omega$-categorical theories always have a core companion, which is also $\omega$-categorical.

In the first part of this talk, we show that many model-theoretic properties, such as stability, NIP, simplicity, and NSOP, are preserved when moving to the core companion of a complete theory.

In the second part of this talk, we study the notion of core interpretability, which arises by taking the core companions of structures interpretable in a given structure. We show that there are structures which are core interpretable but not interpretable in $(\mathbb{N};=)$ or $(\mathbb{Q};<)$. We conjecture that the class of structures which are core interpretable in $(\mathbb{N};=)$ equals the class of $\omega$-stable first-order reducts of finitely homogeneous relational structures, which was studied by Lachlan in the 80's. We present some partial results in this direction, including the answer a question of Walsberg.

This is joint work with Manuel Bodirsky and Bertalan Bodor.

Mon, 23 Feb 2026

15:30 - 16:30
L3

Loop soups in 2 + epsilon dimensions

Prof. Pierre-François Rodriguez
(University of Cambridge )
Abstract

The talk will be about a natural percolation model built from the so-called Brownian loop soup. We will give sense to studying its phase transition in dimension d = 2 + epsilon, with epsilon varying in [0,1], and discuss how to perform a rigorous „epsilon-expansion“ in this context. Our methods give access to a whole family of universality classes, and elucidate the behaviour of critical exponents etc. near the (lower-)critical dimension, which for this model is d=2. 

Based on joint work with Wen Zhang.

Wed, 25 Feb 2026
12:45
TCC VC

Positive Geometry and Canonical Forms

Catherine Notman
Abstract
In recent years an unexpected connection has been found between polytopes in complex projective varieties and the physics of scattering amplitudes. In this talk I will discuss the Grassmannian generalisation of simplexes and polytopes, called positive geometries, and their associated canonical forms. Adding a generalised idea of convexity results in the Amplituhedron, whose canonical form exactly corresponds to scattering amplitudes in N=4 super Yang-Mills theory.
Topology identifies concurrent cyclic processes in single-cell transcriptomics and androgen receptor function
Maggs, K Youssef, M Pulver, C Isma, J Nguyên, T Arzt, M Karthaus, W Harrington, H Hess, K Dotto, G
On the Parallels Between Minimal Surfaces and Einstein Four-Manifolds
Beard, M Journal of Geometry and Physics 105801-105801 (01 Feb 2026)
Subscribe to