Tue, 21 Jan 2025
16:00
L6

Typical hyperbolic surfaces have an optimal spectral gap

Laura Monk
(University of Bristol )
Abstract
The first non-zero Laplace eigenvalue of a hyperbolic surface, or its spectral gap, measures how well-connected the surface is: surfaces with a large spectral gap are hard to cut in pieces, have a small diameter and fast mixing times. For large hyperbolic surfaces (of large area or large genus g, equivalently), we know that the spectral gap is asymptotically bounded above by 1/4. The aim of this talk is to present an upcoming article, joint with Nalini Anantharaman, where we prove that most hyperbolic surfaces have a near-optimal spectral gap. That is to say, we prove that, for any ε>0, the Weil-Petersson probability for a hyperbolic surface of genus g to have a spectral gap greater than 1/4-ε goes to one as g goes to infinity. This statement is analogous to Alon’s 1986 conjecture for regular graphs, proven by Friedman in 2003. I will present our approach, which shares many similarities with Friedman’s work, and relies on creating cancellations in the trace method.
 
The focus of this talk will be mostly analytic as I will present its geometric components at the GGT seminar. Both talks will be disjoint and independent, with the intention that they can be viewed either separately or together.
Tue, 21 Jan 2025
16:00
C3

Quantum symmetries on Kirchberg algebras

Kan Kitamura
(Riken iThems)
Abstract

In subfactor theory, it has been observed that operator algebras often admit symmetries beyond mere groups, sometimes called quantum symmetries. Besides recent substantial progress on the classification programs of simple amenable C*-algebras and group actions on them, there has been increasing interest in their quantum symmetries. This talk is devoted to an attempt to ensure the existence of various quantum symmetries on simple amenable C*-algebras, at least in the purely infinite case, by providing a systematic way to produce them. As a technical ingredient, a simplicity criterion for certain Pimsner algebras is given.

Tue, 21 Jan 2025
15:30
L4

Deformations and lifts of Calabi-Yau varieties in characteristic p

Lukas Brantner
(Oxford)
Abstract

Derived algebraic geometry allows us to study formal moduli problems via their tangent Lie algebras. After briefly reviewing this general paradigm, I will explain how it sheds light on deformations of Calabi-Yau varieties. 
In joint work with Taelman, we prove a mixed characteristic analogue of the Bogomolov–Tian–Todorov theorem, which asserts that Calabi-Yau varieties in characteristic $0$ are unobstructed. Moreover, we show that ordinary Calabi–Yau varieties in characteristic $p$ admit canonical (and algebraisable) lifts to characteristic $0$, generalising results of Serre-Tate for abelian varieties and Deligne-Nygaard for K3 surfaces. 
If time permits, I will conclude by discussing some intriguing questions related to our canonical lifts.  
 

Tue, 21 Jan 2025
15:00
L6

Counting non-simple closed geodesics on random hyperbolic surfaces

Laura Monk
Abstract
The aim of this talk is to present new results related to the length spectrum of random hyperbolic surfaces. The Weil-Petersson model is a beautiful probabilistic model that was popularised by Mirzakhani to study random hyperbolic surfaces. In this continuous model, it is easy to argue that there exists a density function V_g(l) which "counts" how many closed geodesics of length l an average surface of genus g contains. In the case where we only count simple geodesics (with no self-intersections), Mirzakhani proved explicit formulas for this density, writing it as a polynomial function that can be interpreted in terms of volumes of moduli spaces. I will present joint work with Nalini Anantharaman where we obtain new explicit formulas for any fixed topology. Notably, I will present new coordinate systems on Teichmüller spaces in which the Weil-Petersson volume has a surprisingly simple expression.
 
Though purely geometric, those results were obtained in a project related to the spectral gap of the Laplacian. I will present applications of the techniques presented in this talk to this problem at the RMT seminar. Both talks will be disjoint and independent, with the intention that they can be viewed either separately or together.
Tue, 21 Jan 2025

14:00 - 15:00
L4

On inapproximability of hypergraph colourings and beyond

Standa Živný
(University of Oxford)
Abstract

I'll discuss how a certain notion of symmetry captures the computational complexity of approximating homomorphism problems between relational structures, also known as constraint satisfaction problems. I'll present recent results on inapproximability of conflict-free and linearly-ordered hypergraph colourings and solvability of systems of equations.

Tue, 21 Jan 2025

14:00 - 15:00
L6

Proof of the Deligne—Milnor conjecture

Dario Beraldo
(UCL)
Abstract

Let X --> S be a family of algebraic varieties parametrized by an infinitesimal disk S, possibly of mixed characteristic. The Bloch conductor conjecture expresses the difference of the Euler characteristics of the special and generic fibers in algebraic and arithmetic terms. I'll describe a proof of some new cases of this conjecture, including the case of isolated singularities. The latter was a conjecture of Deligne generalizing Milnor's formula on vanishing cycles. 

This is joint work with Massimo Pippi; our methods use derived and non-commutative algebraic geometry. 

Tue, 21 Jan 2025
13:00
L5

Celestial Holography and Self-Dual Einstein Gravity

David Skinner
Abstract

Celestial Holography posits the existence of a holographic description of gravitational theories in asymptotically flat space-times. To date, top-down constructions of such dualities involve a combination of twisted holography and twistor theory. The gravitational theory is the closed string B model living in a suitable twistor space, while the dual is a chiral 2d gauge theory living on a stack of D1 branes wrapping a twistor line. I’ll talk about a variant of these models that yields a theory of self-dual Einstein gravity (via the Plebanski equations) in four dimensions. This is based on work in progress with Roland Bittleston, Kevin Costello & Atul Sharma.

Mon, 20 Jan 2025
16:30
L4

Fluctuations around the mean-field limit for attractive Riesz interaction kernels in the moderate regime

Alexandra Holzinger
(Mathematical Institute)
Abstract

In this talk I will give a short introduction to moderately interacting particle systems and the general notion of fluctuations around the mean-field limit. We will see how a central limit theorem can be shown for moderately interacting particles on the whole space for certain types of interaction potentials. The interaction potential approximates singular attractive potentials of sub-Coulomb type and we can show that the fluctuations become asymptotically Gaussians. The methodology is inspired by the classical work of Oelschläger in the 1980s on fluctuations for the porous-medium equation. To allow for attractive potentials we use a new approach of quantitative mean-field convergence in probability in order to include aggregation effects. 

Mon, 20 Jan 2025
15:30
L5

The Farrell--Jones Conjecture and automorphisms of relatively hyperbolic groups

Naomi Andrew
(Oxford University)
Abstract

The Farrell--Jones conjecture predicts that the algebraic K-theory of a group ring is isomorphic to a certain equivariant homology theory, and there are also versions for L-theory and Waldhausen's A-theory. In principle, this provides a way to calculate these K-groups, and has many applications. These include classifying manifolds admitting a given fundamental group and a positive resolution of the Borel conjecture.

I will discuss work with Yassine Guerch and Sam Hughes on the Farrell--Jones conjecture for extensions of relatively hyperbolic groups, as well as an application to their automorphism groups in the one-ended case. The methods are from geometric group theory: we go via the theory of JSJ decompositions to produce acylindrical actions on trees.

Mon, 20 Jan 2025
15:30
L3

Heat kernel for critical percolation clusters on the binary tree.

Prof Martin T Barlow
(University of British Columbia )
Abstract
Kesten defined the incipient infinite cluster (IIC) as the limit of large critical finite percolation clusters. We look at the (quenched) heat kernel on the IIC, and will see how it fluctuates due to the randomness of the cluster. 
 
This is a joint work with David Croydon and Takashi Kumagai. 
Mon, 20 Jan 2025
14:15
L5

Yang-Mills on an ALF-fibration

Jakob Stein
(UNICAMP)
Abstract

In this talk, we will make an explicit link between self-dual Yang-Mills instantons on the Taub-NUT space, and G2-instantons on the BGGG space, by displaying the latter space as a fibration by the former. In doing so, we will discuss analysis on non-compact manifolds, circle symmetries, and a new method of constructing solutions to quadratically singular ODE systems. This talk is based on joint work with Matt Turner: https://arxiv.org/pdf/2409.03886

Mon, 20 Jan 2025

13:00 - 14:00
L6

Symmetry Enhancement, SPT Absorption, and Duality in QED_3

Andrea Antinucci
Abstract

Abelian gauge theories in 2+1 dimensions are very interesting QFTs: they are strongly coupled and exhibit non-trivial dynamics. However, they are somewhat more tractable than non-Abelian theories in 3+1 dimensions. In this talk, I will first review the known properties of fermions in 2+1 dimensions and some conjectures about QED_3 with a single Dirac fermion. I will then present the recent proposal from [arXiv:2409.17913] regarding the phase diagram of QED_3 with two fermions. The findings reveal surprising (yet compelling) features: while semiclassical analysis would suggest two trivially gapped phases and a single phase transition, the actual dynamics indicate the presence of two distinct phase transitions separated by a "quantum phase." This intermediate phase exists over a finite range of parameters in the strong coupling regime and is not visible semiclassically. Moreover, these phase transitions are second-order and exhibit symmetry enhancement. The proposal is supported by several non-trivial checks and is consistent with results from numerical bootstrap, lattice simulations, and extrapolations from the large-Nf expansion.

Fri, 17 Jan 2025

11:00 - 12:00
L3

Do individuals matter? - From psychology, via wound healing and calcium signalling to ecology

Dr Ivo Siekmann
(School of Computer Science and Mathematics, Liverpool University)
Abstract
Should models in mathematical biology be based on detailed representations of individuals - biomolecules, cells, individual members of a population or agents in a social system? Or, alternatively, should individuals be described as identical members of a population, neglecting inter-individual differences? I will explore this question using recent examples from my own research.
 
In the beginning of my presentation I will ask you how you are feeling. Evaluating your answers, I will show how differences in personality can be represented in a model based on differential equations. I will then present an individual-based cell migration model based on the Ornstein-Uhlenbeck process that can help to design textured surfaces that enhance wound healing. In ecosystems, organisms that make decisions based on studying their environment such as fish might interact with populations that are unable of complex behaviour such as plankton. I will explain how piecewise-deterministic Markov (PDMP) models can be used for representing some populations as individuals and others as populations. PDMPs can also be used for modelling how interacting calcium channels generate calcium signals in cells. Finally, I will present a reaction-diffusion model of the photosynthetic activity of phytoplankton that explains how oxygen minimum zones emerge in the ocean.
Thu, 19 Dec 2024
16:00
L5

Geodesic cycles and Eisenstein classes for SL(2,Z)

Hohto Bekki
(MPIM Bonn)
Abstract

The geodesic cycles (resp. Eisenstein classes) for SL(2,Z) are special classes in the homology (resp. cohomology) of modular curve (for SL(2,Z)) defined by the closed geodesics (resp. Eisenstein series). It is known that the pairing between these geodesic cycles and Eisenstein classes gives the special values of partial zeta functions of real quadratic fields, and this has many applications. In this talk, I would like to report on some recent observations on the size of the homology subgroup generated by geodesic cycles and their applications. This is a joint work with Ryotaro Sakamoto.

Fri, 13 Dec 2024
12:00
L4

Asymptotic Higher Spin Symmetries in Gravity.

Nicolas Cresto
(Perimeter Institute)
Abstract

 I will first give a short review of the concepts of Asymptotically Flat Spacetimes, IR triangle and Noether's theorems. I will then present what Asymptotic Higher Spin Symmetries are and how they were introduced as a candidate for an approximate symmetry of General Relativity and the S-matrix. Next, I'll move on to the recent developments of establishing these symmetries as Noether symmetries and describing how they are canonically and non-linearly realized on the asymptotic gravitational phase space. I will discuss how the introduction of dual equations of motion encapsulates the non-perturbativity of the analysis. Finally I'll emphasize the relation to twistor, especially with 2407.04028. Based on 2409.12178 and 2410.15219

Thu, 12 Dec 2024
14:00
(This talk is hosted by Rutherford Appleton Laboratory)

A Subspace-conjugate Gradient Method for Linear Matrix Equations

Davide Palitta
(Università di Bologna)
Abstract

 
The solution of multiterm linear matrix equations is still a very challenging task in numerical linear algebra.
If many different solid methods for equations with (at most) two terms exist in the literature, having a number of terms greater than two makes the numerical treatment of these equations much trickier. Very few options are available in the literature. In particular, to the best of our knowledge, no decomposition-based method for multiterm equations has never been proposed; only iterative procedures exist.
A non-complete list of contributions in this direction includes a greedy procedure designed by Sirkovi\'c and Kressner, projection methods tailored to the equation at hand, Riemannian optimization schemes, and matrix-oriented Krylov methods with low-rank truncations. The last class of solvers is probably one of the most commonly used ones. These schemes amount to adapting standard Krylov schemes for linear systems to matrix equations by leveraging the equivalence between matrix equations and their Kronecker form.
As long as no truncations are performed, this equivalence means that the algorithm itself is not exploiting the structure of the problem as it is not able to see that we are actually solving a matrix equation and not a linear system. The low-rank truncations we may perform in the matrix-equation framework can be viewed as a simple computational tool needed to make the solution process affordable in terms of storage allocation and not as an algorithmic advance.

 
By taking inspiration from the matrix-oriented cg method, our goal is to design a novel iterative scheme for the solution of multiterm matrix equations. We name this procedure the subspace-conjugate gradient method (Ss-cg) due to the peculiar orthogonality conditions imposed to compute some of the quantities involved in the scheme. As we will show in this talk, the main difference between Ss-cg and cg is the ability of the former to capitalize on the matrix equation structure of the underlying problem. In particular, we will make full use of the (low-rank) matrix format of the iterates to define appropriate ``step-sizes''. If these quantities correspond to scalars alpha_k and beta_k in cg, they will amount to small-dimensional matrices in our fresh approach.
This novel point of view leads to remarkable computational gains making Ss-cg a very competitive option for the solution of multi-term linear matrix equations.

 
This is a joint work with Martina Iannacito and Valeria Simoncini, both from the Department of Mathematics, University of Bologna.
 
Mon, 09 Dec 2024
15:30
L4

Unstable cohomology of SL(n,Z) and Hopf algebras

Peter Patzt
(University of Oklahoma)
Abstract

I want to give a survey about the rational cohomology of SL_n
Z. This includes recent developments of finding Hopf algebras in the
direct sum of all cohomology groups of SL_n Z for all n. I will give a
quick overview about Hopf algebras and what this structure implies for
the cohomology of SL_n Z.

Fri, 06 Dec 2024
16:00
L1

Fridays@4 – A start-up company? 10 things I wish I had known

Professor Peter Grindrod
(Mathematical Institute (University of Oxford))
Abstract

Are you thinking of launching your own start-up or considering joining an early-stage company? Navigating the entrepreneurial landscape can be both exciting and challenging. Join Pete for an interactive exploration of the unwritten rules and hidden insights that can make or break a start-up journey.

Drawing from personal experience, Pete's talk will offer practical wisdom for aspiring founders and team members, revealing the challenges and opportunities of building a new business from the ground up.

Whether you're an aspiring entrepreneur, a potential start-up team member, or simply curious about innovative businesses, you'll gain valuable perspectives on the realities of creating something from scratch.

This isn't a traditional lecture – it will be a lively conversation that invites participants to learn, share, and reflect on the world of start-ups. Come prepared to challenge your assumptions and discover practical insights that aren't found in standard business guides.
 

A Start-Up Company? Ten Things I Wish I Had Known


Speaker: Professor Pete Grindrod

Fri, 06 Dec 2024
15:00
L5

From single neurons to complex human networks using algebraic topology

Lida Kanari
(École Polytechnique Fédérale de Lausanne (EPFL))

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

Abstract

Topological data analysis, and in particular persistent homology, has provided robust results for numerous applications, such as protein structure, cancer detection, and material science. In the field of neuroscience, the applications of TDA are abundant, ranging from the analysis of single cells to the analysis of neuronal networks. The topological representation of branching trees has been successfully used for a variety of classification and clustering problems of neurons and microglia, demonstrating a successful path of applications that go from the space of trees to the space of barcodes. In this talk, I will present some recent results on topological representation of brain cells, with a focus on neurons. I will also describe our solution for solving the inverse TDA problem on neurons: how can we efficiently go from persistence barcodes back to the space of neuronal trees and what can we learn in the process about these spaces. Finally, I will demonstrate how algebraic topology can be used to understand the links between single neurons and networks and start understanding the brain differences between species. The organizational principles that distinguish the human brain from other species have been a long-standing enigma in neuroscience. Human pyramidal cells form highly complex networks, demonstrated by the increased number and simplex dimension compared to mice. This is unexpected because human pyramidal cells are much sparser in the cortex. The number and size of neurons fail to account for this increased network complexity, suggesting that another morphological property is a key determinant of network connectivity. By comparing the topology of dendrites, I will show that human pyramidal cells have much higher perisomatic (basal and oblique) branching density. Therefore greater dendritic complexity, a defining attribute of human L2 and 3 neurons, may provide the human cortex with enhanced computational capacity and cognitive flexibility.

Fri, 06 Dec 2024

14:00 - 15:00
Mezzanine

End-of-term mathematical board games

Abstract

Would you like to meet some of your fellow students, and some graduate students and postdocs, in an informal and relaxed atmosphere, while building your communication skills? In this Friday@2 session, you'll be able to play a selection of board games, meet new people, and practise working together. What better way to spend the final Friday afternoon of term?! We'll play the games in the south Mezzanine area of the Andrew Wiles Building.

Fri, 06 Dec 2024

12:00 - 13:00
Quillen Room

Some Uniserial Specht Modules

Zain Kapadia
(Queen Mary University of London)
Abstract
The Representation Theory of the Symmetric Groups is a classical and rich area of combinatorial representation theory. Key objects of study include Specht modules, the irreducible ordinary representations, which can be reduced modulo p (for p prime). In general, these are no longer irreducible and finding their decomposition numbers and submodule structures are key questions in the area. We give sufficient and necessary conditions for a Specht module in characteristic 2, labelled by a hook partition to be a direct sum of uniserial summands.


 

Fri, 06 Dec 2024
12:00
L2

Combinatorial proof of a Non-Renormalization theorem

Paul-Hermann Balduf
(Oxford)
Abstract

In "Higher Operations in Perturbation Theory", Gaiotto, Kulp, and Wu discussed Feynman integrals that control certain deformations in quantum field theory. The corresponding integrands are differential forms in Schwinger parameters. Specifically, the integrand $\alpha$ is associated to a single topological direction of the theory.
I will show how the combinatorial properties of graph polynomials lead to a relatively simple, explicit formula for $\alpha$, that can be evaluated quickly with a computer. This is interesting for two reasons. Firstly, knowing the explicit formula leads to an elementary proof of the fact that $\alpha$ squares to zero, which asserts the absence of quantum corrections in topological field theories of two (or more) dimensions, known as Kontsevich's formality theorem. Secondly, the underlying constructions and proofs are not intrinsically limited to topological theories. In this sense, they serve as a particularly instructive example for simplifications that can occur in Feynman integrals with numerators.

Fri, 06 Dec 2024

11:00 - 12:00
L5

Spatial mechano-transcriptomics of mouse embryogenesis

Prof Adrien Hallou
(Dept of Physics University of Oxford)
Abstract

Advances in spatial profiling technologies are providing insights into how molecular programs are influenced by local signalling and environmental cues. However, cell fate specification and tissue patterning involve the interplay of biochemical and mechanical feedback. Here, we propose a new computational framework that enables the joint statistical analysis of transcriptional and mechanical signals in the context of spatial transcriptomics. To illustrate the application and utility of the approach, we use spatial transcriptomics data from the developing mouse embryo to infer the forces acting on individual cells, and use these results to identify mechanical, morphometric, and gene expression signatures that are predictive of tissue compartment boundaries. In addition, we use geoadditive structural equation modelling to identify gene modules that predict the mechanical behaviour of cells in an unbiased manner. This computational framework is easily generalized to other spatial profiling contexts, providing a generic scheme for exploring the interplay of biomolecular and mechanical cues in tissues.

Thu, 05 Dec 2024
17:00

Model-theoretic havens for extremal and additive combinatorics

Mervyn Tong
(Leeds University)
Abstract

Model-theoretic dividing lines have long been a source of tameness for various areas of mathematics, with combinatorics jumping on the bandwagon over the last decade or so. Szemerédi’s regularity lemma saw improvements in the realm of NIP, which were further refined in the subrealms of stability and distality. We show how relations satisfying the distal regularity lemma enjoy improved bounds for Zarankiewicz’s problem. We then pivot to arithmetic regularity lemmas as pioneered by Green, for which NIP and stability also imply improvements. Unsettled by the absence of distality in this picture, we discuss the role of distality in additive combinatorics, appealing to our result connecting distality with arithmetic tameness.