Wed, 04 Jun 2025
16:00
L6

Even the Loch Ness monster deserves a curve graph

Filippo Baroni
(University of Oxford)
Abstract
Every topologist knows that a mug is a doughnut, but did you know that the Loch Ness monster is a baguette?
 
This talk is meant as a gentle introduction to the theory of big surfaces and their mapping class groups. This is a topic that has gained significant traction in the last few years, and is undergoing an exciting phase of explosive expansion.
 
We will start by giving lots of examples of surfaces of infinite type, working our way towards a general classification theorem. We will then introduce big mapping class groups, and outline some of their topological properties that are reminiscent of classical geometric group theory. Finally, following a programme proposed by Calegari in 2009,  we will investigate to what extent the classical theory of curve and arc graphs of finite-type surfaces generalises to the infinite-type setting. 
 
The level of prior required knowledge on the topic of big mapping class groups will be the same as that of the speaker one week before the talk — that is, none.
Tue, 03 Jun 2025
16:00

The Fourier coefficients of the holomorphic multiplicative chaos

Joseph Najnudel
(University of Bristol)
Abstract

In this talk, we consider the coefficients of the Fourier series obtained by exponentiating a logarithmically correlated holomorphic function on the open unit disc, whose Taylor coefficients are independent complex Gaussian variables, the variance of the coefficient of degree k being theta/k where theta > 0 is an inverse temperature parameter. In joint articles with Paquette, Simm and Vu, we show a randomized version of the central limit theorem in the subcritical phase theta < 1, the random variance being related to the Gaussian multiplicative chaos on the unit circle. We also deduce, from results on the holomorphic multiplicative chaos, other results on the coefficients of the characteristic polynomial of the Circular Beta Ensemble, where the parameter beta is equal to 2/theta. In particular, we show that the central coefficient of the characteristic polynomial of the Circular Unitary Ensembles tends to zero in probability, answering a question asked in an article by Diaconis and Gamburd.

Tue, 03 Jun 2025
16:00
C3

Dual properties for abelian group actions

Robert Neagu
(KU Leuven)
Abstract

A landmark result in the study of locally compact, abelian groups is the Pontryagin duality. In simple terms, it says that for a given locally compact, abelian group G, one can uniquely associate another locally compact, abelian group called the Pontryagin dual of G. In the realm of C*-algebras, whenever such an abelian group G acts on a C*-algebra A, there is a canonical action of the dual group of G on the crossed product of A by G. In particular, it is natural to ask to what extent one can relate properties of the given G-action to those of the dual action. 

In this talk, I will first introduce a property for actions of locally compact abelian groups called the abelian Rokhlin property and then state a duality type result for this property. While the abelian Rokhlin property is in general weaker than the known Rokhlin property, these two properties coincide in the case of the acting group being the real numbers. Using the duality result mentioned above, I will give new examples of continuous actions of the real numbers which satisfy the Rokhlin property. Part of this talk is based on joint work with Johannes Christensen and Gábor Szabó.

Tue, 03 Jun 2025
15:30
L4

Bordism categories and orientations of moduli spaces

Dominic Joyce
(Oxford)
Abstract
In many situations in Differential or Algebraic Geometry, one forms moduli spaces $\cal M$ of geometric objects, such that $\cal M$ is a manifold, or something close to a manifold (a derived manifold, Kuranishi space, …). Then we can ask whether $\cal M$ is orientable, and if so, whether there is a natural choice of orientation.
  This is important in the definition of enumerative invariants: we arrange that the moduli space $\cal M$ is a compact oriented manifold (or derived manifold), so it has a fundamental class in homology, and the invariants are the integrals of natural cohomology classes over this fundamental class.
  For example, if $X$ is a compact oriented Riemannian 4-manifold, we can form moduli spaces $\cal M$ of instanton connections on some principal $G$-bundle $P$ over $X$, and the Donaldson invariants of $X$ are integrals over $\cal M$.
  In the paper arXiv:2503.20456, Markus Upmeier and I develop a theory of "bordism categories”, which are a new tool for studying orientability and canonical orientations of moduli spaces. It uses a lot of Algebraic Topology, and computation of bordism groups of classifying spaces. We apply it to study orientability and canonical orientations of moduli spaces of $G_2$ instantons and associative 3-folds on $G_2$ manifolds, and of Spin(7) instantons and Cayley 4-folds on Spin(7) manifolds, and of coherent sheaves on Calabi-Yau 4-folds. These have applications to enumerative invariants, in particular, to Donaldson-Thomas type invariants of Calabi-Yau 4-folds.
   All this is joint work with Markus Upmeier.
Tue, 03 Jun 2025
15:00
L5

Proper versus trivial actions on Lp-spaces

Indira Chatterji
Abstract

Property (T) (respectively aTmenability) is equivalent to admitting only a trivial action (respectively, a proper action) on a median space, and is also equivalent to admitting only a trivial action (respectively, a proper action) on a Hilbert space (so some L2). For p>2 I will investigate an analogous equivalent characterisation.

Tue, 03 Jun 2025
15:00
L5

TBC

Tue, 03 Jun 2025

14:00 - 15:00
L4

A new lower bound for the Ramsey numbers $R(3,k)$

Julian Sahasrabudhe
(University of Cambridge)
Abstract

In this talk I will discuss a new lower bound for the off-diagonal Ramsey numbers $R(3,k)$. For this, we develop a version of the triangle-free process that is significantly easier to analyse than the original process. We then 'seed' this process with a carefully chosen graph and show that it results in a denser graph that is still sufficiently pseudo-random to have small independence number.

This is joint work with Marcelo Campos, Matthew Jenssen and Marcus Michelen.

Tue, 03 Jun 2025
14:00
L5

A geometric approach to Nichols algebras and their approximations

Giovanna Carnovale
(University of Padova)
Abstract

Nichols algebras, also known as small shuffle algebras, are a family of graded bialgebras including the symmetric algebras, the exterior algebras, the positive parts of quantized enveloping algebras, and, conjecturally, Fomin-Kirillov algebras. As the case of Fomin-Kirillov algebra shows, it can be very
difficult to determine the maximum degree of a minimal generating set of relations of a Nichols algebra. 

Building upon Kapranov and Schechtman’s equivalence between the category of perverse sheaves on Sym(C) and the category of graded connected bialgebras,  we describe the geometric counterpart of the maximum degree of a generating set of relations of a graded connected bialgebra, and we show how this specialises to the case o Nichols algebras.

The talk is based on joint work with Francesco Esposito and Lleonard Rubio y Degrassi.
 

Tue, 03 Jun 2025
13:00
L2

Finite-temperature quantum topological order in three dimensions

Curt von Keyserlingk
(KCL )
Abstract

We identify a three-dimensional system that exhibits long-range entanglement at sufficiently small but nonzero temperature--it therefore constitutes a quantum topological order at finite temperature. The model of interest is known as the fermionic toric code, a variant of the usual 3D toric code, which admits emergent fermionic point-like excitations. The fermionic toric code, importantly, possesses an anomalous 2-form symmetry, associated with the space-like Wilson loops of the fermionic excitations. We argue that it is this symmetry that imbues low-temperature thermal states with a novel topological order and long-range entanglement. Based on the current classification of three-dimensional topological orders, we expect that the low-temperature thermal states of the fermionic toric code belong to an equilibrium phase of matter that only exists at nonzero temperatures. We conjecture that further examples of topological orders at nonzero temperatures are given by discrete gauge theories with anomalous 2-form symmetries. Our work therefore opens the door to studying quantum topological order at nonzero temperature in physically realistic dimensions.

Tue, 03 Jun 2025
12:30

On the Limits of PAC Learning Opinion Dynamics

Luisa Estrada-Plata, University of Warwick
Abstract

Agents in social networks with threshold-based dynamics change opinions when influenced by sufficiently many peers. Existing literature typically assumes that the network structure and dynamics are fully known, which is often unrealistic. In this work, we ask how to learn a network structure from samples of the agents' synchronous opinion updates. Firstly, if the opinion dynamics follow a threshold rule where a fixed number of influencers prevent opinion change (e.g., unanimity and quasi-unanimity), we give an efficient PAC learning algorithm provided that the number of influencers per agent is bounded. Secondly, under standard computational complexity assumptions, we prove that if the opinion of agents follows the majority of their influencers, then there is no efficient PAC learning algorithm. We propose a polynomial-time heuristic that successfully learns consistent networks in over 97% of our simulations on random graphs, with no failures for some specified conditions on the numbers of agents and opinion diffusion examples.

Tue, 03 Jun 2025
12:00

DecepTIV: A Large-Scale Benchmark for Robust Detection of T2V and I2V Synthetic Videos

Sotirios Stamnas, University of Warwick
Abstract
The latest advances of generative AI have enabled the creation of synthetic media that are indistinguishable from authentic content. To counteract this, the research community has developed a great number of detectors targeting face-centric deepfake manipulations such as face-swapping, face-reenactment, face editing, and entire face synthesis. However, the detection of the most recent type of synthetic videos, Text-To-Video (T2V) and Image-To-Video (I2V), remains significantly under-researched, largely due to the lack of reliable open-source detection datasets. To address this gap, we introduce DecepTIV, a large-scale fake video detection dataset containing thousands of videos generated by the latest T2V and I2V models. To ensure real-world relevance, DecepTIV features diverse, realistic-looking scenes in contexts where misinformation could pose societal risks. We also include perturbed versions of the videos using common augmentations and distractors, to evaluate detector robustness under typical real-world degradations. In addition, we propose a modular generation pipeline that supports the seamless extension of the dataset with future T2V and I2V models. The pipeline generates synthetic videos conditioned on real video content, which ensures content similarity between real and fake examples. Our findings show that such content similarity is essential for training robust detectors, as models may otherwise overfit to scene semantics rather than learning generalizable forensic artifacts.
Mon, 02 Jun 2025
16:30
L4

Overhanging solitary water waves

Monica Musso
(University of Bath)
Abstract
In this talk we consider the classical water wave problem for an incompressible inviscid fluid occupying a time-dependent domain in the plane, whose boundary consists
of a fixed horizontal bed  together with an unknown free boundary separating the fluid from the air outside the confining region.
We provide the first construction of overhanging gravity water waves having the approximate form of a disk joined to a strip by a thin neck. The waves are solitary with constant vorticity, and exist when an appropriate dimensionless gravitational constant is sufficiently small. Our construction involves combining three explicit solutions to related problems: a disk of fluid in rigid rotation, a linear shear flow in a strip, and a rescaled version of an exceptional domain discovered by Hauswirth, Hélein, and Pacard, the hairpin. The method developed here is related to the construction of constant mean curvature surfaces through gluing.
This result is in collaboration with J. Davila, M. Del Pino, M. Wheeler.
Mon, 02 Jun 2025
16:00
L6

On the largest $k$-product-free subsets of the Alternating Groups

Anubhab Ghosal
(University of Oxford)
Abstract

A subset $A$ of $A_n$ is $k$-product-free if for all $a_1,a_2,\dots,a_k\in A$, $a_1a_2\dots a_k$ $\notin A$.
We determine the largest $3$-product-free and $4$-product-free subsets of $A_n$ for sufficiently large $n$. We also obtain strong stability results and results on multiple sets with forbidden cross products. The principal technical ingredient in our approach is the theory of hypercontractivity in $S_n$. Joint work with Peter Keevash.

Mon, 02 Jun 2025
15:30
L5

Some geometry around torsion homology

Cameron Gates Rudd
(Oxford University )
Abstract

Given a space with some kind of geometry, one can ask how the geometry of the space relates to its homology. This talk will survey some comparisons of geometric notions of complexity with homological notions of complexity. We will then focus on hyperbolic 3-manifolds and the main result will replace a spectral gap problem related to torsion in homology with a geometric version involving geodesic length and stable commutator length. As an application, we provide "bad" examples of hyperbolic 3-manifolds with bounded geometry but extremely small (1-form) spectral gaps.

Mon, 02 Jun 2025
15:30
L3

Variance renormalisation of singular SPDEs

Dr Máté Gerencsér
(TU Wien )
Abstract

Scaling arguments give a natural guess at the regularity condition on the noise in a stochastic PDE for a local solution theory to be possible, using the machinery of regularity structures or paracontrolled distributions. This guess of ``subcriticality'' is often, but not always, correct. In cases when it is not, a the blowup of the variance of certain nonlinear functionals of the noise necessitates a different, multiplicative renormalisation. This led to a general prediction and the first results in the case of the KPZ equation in [Hairer '24]. We discuss recent developments towards confirming this prediction. Based on joint works with Fabio Toninelli and Yueh-Sheng Hsu.

Mon, 02 Jun 2025
14:15
L5

Laplacian spectra of minimal submanifolds in the hyperbolic space

Gerasim Kokarev
(Leeds)
Abstract
I will describe an extremal problem for the fundamental tone of submanifolds in the hyperbolic space, and will show that singular minimal submanifolds occur as natural maximisers for it. I will also discuss a closely related rigidity phenomenon for the Laplacian spectra of minimal submanifolds.
Mon, 02 Jun 2025

14:00 - 15:00
Lecture Room 3

Sketchy finite elements

Prof Nick Polydorides
(Institute for Imaging, Data and Communications, School of Engineering, University of Edinburgh)
Abstract

I will present some ongoing work on solving parametric linear systems arising from the application of the finite elements method on elliptic partial differential trial equations. The focus of the talk will be on leveraging randomised numerical linear algebra to solve these equations in high-dimensional parameter spaces with special emphasis on the multi-query context where optimal sampling is not practical. In this context I will discuss some ideas on choosing a suitable low-dimensional approximation of the solution, as well as reducing the variance of the sketched systems. This research aims at exploring the potential of randomisation as a probabilistic framework for model order reduction, with potential applications to online simulations, uncertainty quantification and inverse problems, via the research grant EPSRC EP/V028618/1

 

Bio: Nick Polydorides is a professor in computational engineering at the University of Edinburgh and has interests in randomised numerical linear algebra, inverse problems and edge computing. Previously, he was a faculty at the Cyprus Institute, and a postdoctoral fellow at MIT’s lab for Information and Decision Systems. He has a PhD in Electrical Engineering from the University of Manchester.  

Mon, 02 Jun 2025
13:00
C6

Supersymmetry is dying. Should we save it? (Debate Session, ALL ARE WELCOME)

Zhenghao Zhong
Abstract

The rise to fame of supersymmetry since the 1970s shook the world. It held much promise—from explaining naturalness, unifying fundamental forces, to being the ideal candidate for dark matter. But since the LHC (arguably even a bit before that), many of these dreams have been shattered by experiments. Today, the pursuit of supersymmetric theories by the physics community is a mere shadow of its former self.

This symposium is not to discuss whether supersymmetry is useful in the fields of physics and mathematics—it clearly is. Rather, this is a debate about whether its death is natural. We’ve had a crack at it for half a century. Is this the limit of what we can do? Are we any closer to achieving the original goals we set out? Is the death premature, accelerated by a negative campaign from SUSY critics? Or is it the other way around—has it been at death’s door for decades, kept alive only because authoritative figures cannot let go?

Twenty years ago, this wouldn’t even be a debate. Twenty years from now, there may not be any young people working on SUSY at all. This seems like the right time to talk.

Fri, 30 May 2025
14:30
L5

Minimal tension holography from a String theory in twistor space

Nathan McStay
(Cambridge )
Abstract

Explicit examples of the AdS/CFT correspondence where both bulk and boundary theories are tractable are hard to come by, but the minimal tension string on AdS_3 x S^3 x T^4  is one notable example. In this paper, we discuss how one can construct sigma models on twistor space, with a particular focus on applying these techniques to the aforementioned string theory. We derive novel incidence relations, which allow us to understand to what extent the minimal tension string encodes information about the bulk. We identify vertex operators in terms of bulk twistor variables and a map from twistor space to spacetime is presented. We also demonstrate the presence of a partially broken global supersymmetry algebra in the minimal tension string and we argue that this implies that there exists an N=2 formulation of the theory. The implications of this are studied and we demonstrate the presence of an additional constraint on physical states. This is based on work with Ron Reid-edwards https://arxiv.org/abs/2411.08836.

Fri, 30 May 2025
13:00
L5

A unified theory of topological and classical integral transforms

Vadim Lebovici

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

Abstract

Alesker's theory of generalized valuations unifies smooth measures and constructible functions on real analytic manifolds, extending classical operations on measures. Therefore, operations on generalized valuations can be used to define integral transforms that unify both classical Radon transforms and their topological analogues based on the Euler characteristic, which have been successfully used in shape analysis. However, this unification is proven under rather restrictive assumptions in Alesker's original paper, leaving key aspects conjectural. In this talk, I will present a recent result obtained with A. Bernig that significantly closes this gap by proving that the two approaches indeed coincide on constructible functions under mild transversality assumptions. Our proof relies on a comparison between these operations and operations on characteristic cycles.

Fri, 30 May 2025
12:00
L4

Celestial symmetries of black hole horizons

Celine Zwikel
(Perimeter Institute)
Abstract

I will present a novel correspondence between the gravitational phase space at null infinity and the subleading phase space for finite-distance null hypersurfaces, such as black hole horizons. Utilizing the Newman-Penrose formalism and an off-shell Weyl transformation, this construction transfers key structures from asymptotic boundaries to null surfaces in the bulk—for instance, a notion of radiation. Imposing self-duality conditions, I will identify the celestial symmetries and construct their canonical generators for finite-distance null hypersurfaces. This framework provides new observables for black hole physics.

Fri, 30 May 2025

12:00 - 13:00
Quillen Room

Weight part of Serre's conjecture

Calle Sonne
(London School of Geometry & Number Theory)
Abstract

In the 1970s, Serre conjectured that any continuous, irreducible and odd mod p representation of the absolute Galois group G_Q is modular. Serre furthermore conjectured that there should be an explicit minimal weight "k" such that the Galois representation is modular of this weight, and that this weight only depends on the restriction of the Galois representation to the inertial subgroup I_p. This is often called the weight part of Serre's conjecture. Both the weight part, and the modularity part, of the Serre's conjecture are nowadays known to be true. In this talk, I want to explain how to rephrase the conjecture in representation theoretic terms (for k >= 2), so that the weight k is replaced by a certain (mod p) irreducible representation of GL_2(F_p), and how upon rephrasing the conjecture one can realize it as a statement about local-global compatibility with the mod p local Langlands correspondence.

Fri, 30 May 2025

11:00 - 12:00
L4

Modelling the rheology of biological tissue

Professor Suzanne Fielding
(Dept of Physics Durham University)
Abstract

The rheological (deformation and flow) properties of biological tissues  are important in processes such as embryo development, wound healing and 
tumour invasion. Indeed, processes such as these spontaneously generate  stresses within living tissue via active process at the single cell level. 
Tissues are also continually subject to external stresses and deformations  from surrounding tissues and organs. The success of numerous physiological 
functions relies on the ability of cells to withstand stress under some conditions, yet to flow collectively under others. Biological tissue is 
furthermore inherently viscoelastic, with a slow time-dependent mechanics.  Despite this rich phenomenology, the mechanisms that govern the 
transmission of stress within biological tissue, and its response to bulk deformation, remain poorly understood to date.

This talk will describe three recent research projects in modelling the rheology of biological tissue. The first predicts a strain-induced 
stiffening transition in a sheared tissue [1]. The second elucidates the interplay of external deformations applied to a tissue as a whole with 
internal active stresses that arise locally at the cellular level, and shows how this interplay leads to a host of fascinating rheological 
phenomena such as yielding, shear thinning, and continuous or discontinuous shear thickening [2]. The third concerns the formulation of 
a continuum constitutive model that captures several of these linear and nonlinear rheological phenomena [3].

[1] J. Huang, J. O. Cochran, S. M. Fielding, M. C. Marchetti and D. Bi, 
Physical Review Letters 128 (2022) 178001

[2] M. J. Hertaeg, S. M. Fielding and D. Bi, Physical Review X 14 (2024) 
011017.

[3] S. M. Fielding, J. O. Cochran, J. Huang, D. Bi, M. C. Marchetti, 
Physical Review E (Letter) 108 (2023) L042602.

Thu, 29 May 2025
17:00
L3

The hierarchy of consistency strengths for membership in a computably enumerable set

Joel David Hamkins
(University of Notre Dame)
Abstract
For a given computably enumerable set W, consider the spectrum of assertions of the form n ∈ W. If W is c.e. but not computably decidable, it is easy to see that many of these statements will be independent of PA, for otherwise we could decide W by searching for proofs of n ∉ W. In this work, we investigate the possible hierarchies of consistency strengths that arise. For example, there is a c.e. set Q for which the consistency strengths of the assertions n ∈ Q are linearly ordered like the rational line. More generally, I shall prove that every computable preorder relation on the natural numbers is realized exactly as the hierarchy of consistency strength for the membership statements n∈W of some computably enumerable set W. After this, we shall consider the c.e. preorder relations. This is joint work with Atticus Stonestrom.