Tue, 20 May 2025

16:00 - 19:00
Glen Callater Room, H B Allen Centre, Keble College

Complexity Cluster Research Workshop

Abstract

The Complexity Cluster Event Organisers Professor Gui-Qiang G. Chen, Professor Helen Byrne, and Professor Mohit Dalwadi, cordially invite you to attend a Complexity Cluster Research Workshop on Tuesday, 20th May 2025, in the Glen Callater Room, H B Allen Centre, Keble College.

Complexity Cluster Research Workshop
Venue: Glen Callater Room, H B Allen Centre, Keble College
Date: Tuesday, 20th May 2025
Organisers: 
Professor Helen Byrne
Professor Gui-Qiang G. Chen
Professor Mohit Dalwadi
 

Programme:
4.00pm ̶ 4.15pm: Coffee, Drinks & Refreshments
4:15pm ̶ 4:40pm: Professor Didier Bresch (CNRS and Universite Savoie Mont-Blanc, France): Mathematical Topics around Granular Media
4:45pm – 5:10pm: Dr. Keith Chambers (Mathematical Institute, University of Oxford): Structured Population Models to Explore Lipid-Driven Macrophage Heterogeneity in Early Atherosclerotic Plaques
5:15pm ̶ 5:40pm: Coffee, Drinks & Refreshments
5:40pm ̶ 6:05pm: Dr. Tara Trauthwein (Department of Statistics, University of Oxford): Approximation Results for Large Networks
6:05pm-6:30pm: Isaac Newell (OxPDE, Mathematical Institute, University of Oxford): The Gauss Equation for Isometric Embeddings of Regularity in W1+2/3,3∩ C1
6:35pm-7:00pm: Discussion

For abstracts please click the file here: Complexity-Cluster_Workshop_20250212_Final_0.pdf

Tue, 20 May 2025
16:00
C3

Positive representations of quantum groups

Christian Voigt
(University of Glasgow)
Abstract

Quantized universal enveloping algebras admit an intriguing class of (unbounded) Hilbert space representations obtained via their cluster structure. In these so-called positive representations the standard generators act by (essentially self-adjoint) positive operators. 

The aim of this talk is to discuss some analytical questions arising in this context, and in particular to what extent these representations can be understood using the theory of locally compact quantum groups in the sense of Kustermans and Vaes. I will focus on the simplest case in rank 1, where many of the key features (and difficulties) are already visible. (Based on work in progress with Kenny De Commer, Gus Schrader and Alexander Shapiro). 

Tue, 20 May 2025

16:00 - 19:00
Glen Callater Room, H B Allen Centre, Keble College

Complexity Cluster Research Workshop

Abstract

The Complexity Cluster Event Organisers Professor Gui-Qiang G. Chen, Professor Helen Byrne, and Professor Mohit Dalwadi, cordially invite you to attend a Complexity Cluster Research Workshop on Tuesday, 20th May 2025, in the Glen Callater Room, H B Allen Centre, Keble College.

Complexity Cluster Research Workshop
Venue: Glen Callater Room, H B Allen Centre, Keble College
Date: Tuesday, 20th May 2025
Organisers: 
Professor Helen Byrne
Professor Gui-Qiang G. Chen
Professor Mohit Dalwadi
 

Programme:
4.00pm ̶ 4.15pm: Coffee, Drinks & Refreshments
4:15pm ̶ 4:40pm: Professor Didier Bresch (CNRS and Universite Savoie Mont-Blanc, France): Mathematical Topics around Granular Media
4:45pm – 5:10pm: Dr. Keith Chambers (Mathematical Institute, University of Oxford): Structured Population Models to Explore Lipid-Driven Macrophage Heterogeneity in Early Atherosclerotic Plaques
5:15pm ̶ 5:40pm: Coffee, Drinks & Refreshments
5:40pm ̶ 6:05pm: Dr. Tara Trauthwein (Department of Statistics, University of Oxford): Approximation Results for Large Networks
6:05pm-6:30pm: Isaac Newell (OxPDE, Mathematical Institute, University of Oxford): The Gauss Equation for Isometric Embeddings of Regularity in W1+2/3,3∩ C1
6:35pm-7:00pm: Discussion

For abstracts please click the file here: Complexity-Cluster_Workshop_20250212_Final_0.pdf

Tue, 20 May 2025
16:00
L6

Approaching the two-point Chowla conjecture via matrices

Cedric Pilatte
(University of Oxford)
Abstract

The two-point Chowla conjecture predicts that $\sum_{x<n<2x} \lambda(n)\lambda(n+1) = o(x)$ as $x\to \infty$, where $\lambda$ is the Liouville function (a $\{\pm 1\}$-valued multiplicative function encoding the parity of the number of prime factors). While this remains an open problem, weaker versions of this conjecture are known. In this talk, we outline an approach initiated by Helfgott and Radziwill, which reformulates the problem in terms of bounding the eigenvalues of a certain matrix.

Tue, 20 May 2025

16:00 - 19:00
Glen Callater Room, H B Allen Centre, Keble College

Complexity Cluster Research Workshop

Abstract

The Complexity Cluster Event Organisers Professor Gui-Qiang G. Chen, Professor Helen Byrne, and Professor Mohit Dalwadi, cordially invite you to attend a Complexity Cluster Research Workshop on Tuesday, 20th May 2025, in the Glen Callater Room, H B Allen Centre, Keble College.

Complexity Cluster Research Workshop
Venue: Glen Callater Room, H B Allen Centre, Keble College
Date: Tuesday, 20th May 2025
Organisers: 
Professor Helen Byrne
Professor Gui-Qiang G. Chen
Professor Mohit Dalwadi
 

Programme:
4.00pm ̶ 4.15pm: Coffee, Drinks & Refreshments
4:15pm ̶ 4:40pm: Professor Didier Bresch (CNRS and Universite Savoie Mont-Blanc, France): Mathematical Topics around Granular Media
4:45pm – 5:10pm: Dr. Keith Chambers (Mathematical Institute, University of Oxford): Structured Population Models to Explore Lipid-Driven Macrophage Heterogeneity in Early Atherosclerotic Plaques
5:15pm ̶ 5:40pm: Coffee, Drinks & Refreshments
5:40pm ̶ 6:05pm: Dr. Tara Trauthwein (Department of Statistics, University of Oxford): Approximation Results for Large Networks
6:05pm-6:30pm: Isaac Newell (OxPDE, Mathematical Institute, University of Oxford): The Gauss Equation for Isometric Embeddings of Regularity in W1+2/3,3∩ C1
6:35pm-7:00pm: Discussion

For abstracts please click the file here: Complexity-Cluster_Workshop_20250212_Final_0.pdf

Tue, 20 May 2025
15:30
L4

Relative orientations and the cyclic Deligne conjecture

Nick Rozenblyum
(University of Toronto)
Abstract

A consequence of the works of Costello and Lurie is that the Hochschild chain complex of a Calabi-Yau category admits the structure of a framed E_2 algebra (the genus zero operations). I will describe a new algebraic point of view on these operations which admits generalizations to the setting of relative
Calabi-Yau structures, which do not seem to fit into the framework of TQFTs. In particular, we obtain a generalization of string topology to manifolds with boundary, as well as interesting operations on Hochschild homology of Fano varieties. This is joint work with Chris Brav.

Tue, 20 May 2025
15:00
L6

Cohomology of subgroups of SL2

Henrique Souza
Abstract

Given an FP-infinity subgroup G of SL(2,C), we are interested in the asymptotic behavior of the cohomology of G with coefficients in an irreducible complex representation V of SL(2,C). We prove that, as the dimension of V grows, the dimensions of these cohomology groups approximate the L2-Betti numbers of G. We make no further assumptions on G, extending a previous result of W. Fu. This yields a new method to compute those Betti numbers for finitely generated hyperbolic 3-manifold groups. We will give a brief idea of the proof, whose main tool is a completion of the universal enveloping algebra of the p-adic Lie algebra sl(2, Zp).

Tue, 20 May 2025
15:00
L6

Cohomology of subgroups of SL2

Henrique Souza
(Universidad Autonoma de Madrid)
Abstract

Given an FP-infinity subgroup G of SL(2,C), we are interested in the asymptotic behavior of the cohomology of G with coefficients in an irreducible complex representation V of SL(2,C). We prove that, as the dimension of V grows, the dimensions of these cohomology groups approximate the L2-Betti numbers of G. We make no further assumptions on G, extending a previous result of W. Fu. This yields a new method to compute those Betti numbers for finitely generated hyperbolic 3-manifold groups. We will give a brief idea of the proof, whose main tool is a completion of the universal enveloping algebra of the p-adic Lie algebra sl(2, Zp).

Tue, 20 May 2025
14:00
L6

Dehn functions of Bestvina--Brady groups

Matteo Migliorini
(Karlsruhe Institute of Technology)
Abstract

Bestvina--Brady groups were first introduced by Bestvina and Brady for their interesting finiteness properties. In this talk, we discuss their Dehn functions, that are a notion of isoperimetric inequality for finitely presented groups and can be thought of as a "quantitative version" of finite presentability. A result of Dison shows that the Dehn function of a Bestvina--Brady group is always bounded above by a quartic polynomial.

Our main result is to compute the Dehn function for all finitely presented Bestvina--Brady groups. In particular, we show that the Dehn function of a Bestvina--Brady group grows as a polynomial of integer degree, and we present the combinatorial criteria on the graph that determine whether the Dehn functions of the associated Bestvina--Brady group is linear, quadratic, cubic, or quartic.

This is joint work with Chang and García-Mejía.

Tue, 20 May 2025
13:00
L5

Monopoles, duality, and QED3

Shai Chester
(IC)
Abstract

We consider quantum electrodynamics in 2+1 dimensions (QED3) with N matter fields and Chern-Simons level k. For small values of k and N, this theory describes various experimentally relevant systems in condensed matter, and is also conjectured to be part of a web of non-supersymmetric dualities. We compute the scaling dimensions of monopole operators in a large N and k expansion, which appears to be extremely accurate even down to the smallest values of N and k, and allows us to find dynamical evidence for these dualities and make predictions about the phase transitions. For instance, we combine these estimates with the conformal bootstrap to predict that the notorious Neel-VBS transition (QED3 with 2 scalars) is tricritical, which was recently confirmed by independent lattice simulations. Lastly, we propose a novel phase diagram for QED3 with 2 fermions, including duality with the O(4) Wilson-Fisher fixed point.

Mon, 19 May 2025
16:30
L4

Weak solutions for the Navier-Stokes system for a compressible fluid with non-isotropic viscous-stress tensor.

Cosmin Burtea
(Université Paris Cité)
Abstract

When dealing with PDEs arising in fluid mechanics, bounded-energy weaksolutions are, in many cases, the only type of solutions for which one can guarantee global existence without imposing any restrictions on the size of the initial data or forcing terms. Understanding how to construct such solutions is also crucial for designing stable numerical schemes.

In this talk, we will explain the strategy for contructing weak solutions for the Navier-Stokes system for viscous compressible flows, emphasizing the difficulties encountered in the case of non-isotropic viscous stress tensors. In particular, I will present some results obtained in collaboration with Didier Bresch and Maja Szlenk.

Mon, 19 May 2025
16:00
L6

On derived deformations of Galois representations (after Galatius-Venkatesh)

Samuel Moore
(University of Oxford)
Abstract


Given a mod $p$ Galois representation, one often wonders whether it arises by reducing a $p$-adic one, and whether these lifts are suitably 'well-behaved'. In this talk, we discuss how ideas from homotopy theory aid the study of Galois deformations, reviewing work of Galatius-Venkatesh.

Mon, 19 May 2025
15:30
L5

Stable equivalence relations of 4-manifolds

Daniel Kasprowski
(University of Southampton)
Abstract

Kreck’s modified surgery gives an approach to classify 2n-manifolds up to stable diffeomorphism, i.e., up to a connected sum with copies of $S^n \times  S^n$. In dimension 4, we use a combination of modified and classical surgery to compare the stable diffeomorphism classification with other stable equivalence relations. Most importantly, we consider homotopy equivalence up to connected sum with copies of $S^2 \times  S^2$. This talk is based on joint work with John Nicholson and Simona Veselá.

Mon, 19 May 2025
15:30
L3

Quantitative Convergence of Deep Neural Networks to Gaussian Processes

Prof Dario Trevisan
(University of Pisa)
Abstract

In this seminar, we explore the quantitative convergence of wide deep neural networks with Gaussian weights to Gaussian processes, establishing novel rates for their Gaussian approximation. We show that the Wasserstein distance between the network output and its Gaussian counterpart scales inversely with network width, with bounds apply for any finite input set under specific non-degeneracy conditions of the covariances. Additionally, we extend our analysis to the Bayesian framework, by studying exact posteriors for neural networks, when endowed with Gaussian priors and regular Likelihood functions, but we also provide recent advancements in quantitative approximation of trained networks via gradient descent in the NTK regime. Based on joint works with A. Basteri, and A. Agazzi and E. Mosig.

Mon, 19 May 2025

14:00 - 15:00
Lecture Room 3

Bridging Classical and Modern Computer Vision: PerceptiveNet for Tree Crown Semantic Segmentation

Dr Georgios Voulgaris
(Department of Biology, Oxford University)
Abstract

The accurate semantic segmentation of individual tree crowns within remotely sensed data is crucial for scientific endeavours such as forest management, biodiversity studies, and carbon sequestration quantification. However, precise segmentation remains challenging due to complexities in the forest canopy, including shadows, intricate backgrounds, scale variations, and subtle spectral differences among tree species. While deep learning models improve accuracy by learning hierarchical features, they often fail to effectively capture fine-grained details and long-range dependencies within complex forest canopies.

 

This seminar introduces PerceptiveNet, a novel model that incorporates a Logarithmic Gabor-implemented convolutional layer alongside a backbone designed to extract salient features while capturing extensive context and spatial information through a wider receptive field. The presentation will explore the impact of Log-Gabor, Gabor, and standard convolutional layers on semantic segmentation performance, providing a comprehensive analysis of experimental findings. An ablation study will assess the contributions of individual layers and their interactions to overall model effectiveness. Furthermore, PerceptiveNet will be evaluated as a backbone within a hybrid CNN-Transformer model, demonstrating how improved feature representation and long-range dependency modelling enhance segmentation accuracy.

Mon, 19 May 2025
13:00
L6

Mellin transforms for recursive sums of Feynman integrals

Paul-Hermann Balduf
Abstract

In recent meetings of the journal club, two constructions that have been
discussed are Mellin transforms and chord diagrams. In my talk, I will
continue that thread and review  how a Mellin transform describes the
insertion of subgraphs into Feynman integrals. This operation comes up
in various contexts, as a concrete example, I will show how to compute
the infinite sum of rainbow diagrams in phi^3 theory in 6 dimensions. On
a combinatorial level, the procedure can be encoded by chord diagrams,
or by tubings of rooted trees, which I will mention in passing.
The talk is loosely based on doi 10.1112/jlms.70006 .
 

Fri, 16 May 2025

14:00 - 15:00
L1

Prelims Preparation

Abstract

This session is aimed at first-year undergraduates preparing for Prelims exams. A panel of lecturers will share key advice on exam technique and revision strategies, and a current student will offer practical tips from their own experience. This event complements the Friday@2 session in Week 1 on Dealing with Exam Anxiety.

Fri, 16 May 2025
13:00
L6

Certifying robustness via topological representations

Andrea Guidolin
(University of Southampton)

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

Abstract
Deep learning models are known to be vulnerable to small malicious perturbations producing so-called adversarial examples. Vulnerability to adversarial examples is of particular concern in the case of models developed to operate in security- and safety-critical situations. As a consequence, the study of robustness properties of deep learning models has recently attracted significant attention.

In this talk we discuss how the stability results for the invariants of Topological Data Analysis can be exploited to design machine learning models with robustness guarantees. We propose a neural network architecture that can learn discriminative geometric representations of data from persistence diagrams. The learned representations enjoy Lipschitz stability with a controllable Lipschitz constant. In adversarial learning, this stability can be used to certify robustness for samples in a dataset, as we demonstrate on synthetic data.
Fri, 16 May 2025

12:00 - 13:00
Quillen Room

The derived l-modular unipotent block of p-adic GLn

Rose Berry
(University of East Anglia)
Abstract

Complex representations of p-adic groups are in many ways well-understood. The category has Bernstein's decomposition into blocks, and for many groups each block is known to be equivalent to modules over a Hecke algebra. In particular, the unipotent block of GLn (the block containing the trivial representation) is equivalent to the modules over an extended affine hecke algebra of type A. Over \bar{Fl} the situation is more complicated in the general case: the Bernstein block decomposition can fail (eg for SP8), and there is no longer in general an equivalence with the Hecke algebra. However, some groups, such as GLn and its inner forms, still have a Bernstein decomposition. Furthermore, Vigernas showed that the unipotent block of GLn contains a subcategory that is equivalent to modules over the Schur algebra, a mild extension of the Hecke algebra with much of the same theory, and this subcategory generates the unipotent block under extensions. Building on this work, we show that the derived category of the unipotent block of GLn is triangulated-equivalent to the perfect complexes over a dg-enriched Schur algebra. We prove this by combining general finiteness results about Schur algebras with the well-known structure of the l-modular unipotent blocks of GLn over finite fields.

Fri, 16 May 2025

11:00 - 12:00
L4

Round the clock: circadian gene expression, growth and division in cyanobacteria

Dr Bruno Martins
(School of Life Sciences, University of Warwick)
Abstract

Circadian clocks generate autonomous daily rhythms of gene expression in anticipation of daily sunlight and temperature cycles in a variety of organisms. The simples and best characterised of all circadian clocks in nature is the cyanobacterial clock, the core of which consists of just 3 proteins - KaiA, KaiB and KaiC - locked in a 24-h phosphorylation-dephosphorylation loop. Substantial progress has been made in understanding how cells generate and sustain this rhythm, but important questions remain: how does the clock maintain resilience in the face of internal and external fluctuations, how is the clock coupled to other cellular processes and what dynamics arise from this coupling? We address these questions using an interdisciplinary approach combining time-lapse microscopy and modelling. In this talk, I will first characterise the clock's free-running robustness and explore how the clock buffers environmental noise and genetic mutations. Our stochastic model predicts how the clock filters out such noise, including fast light fluctuations, to keep time while remaining responsive to environmental shifts, revealing also that the wild-type operates at a noise optimum. Next, I will focus on how the clock interacts with the other major cellular cycle, the cell division cycle. Our single-cell data shows that the clock couples to the division rate and expression of cell cycle-dependent factors using both frequency modulation and amplitude modulation strategies, with implications for cell growth and cell size control. Our findings illustrate how simple systems can exhibit complex dynamics, advancing our understanding of the interdependency between gene circuits and cellular physiology.  
 

Thu, 15 May 2025
17:00
L3

Feferman's Completeness Theorem

Michael Rathjen
(University of Leeds)
Abstract

Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of uniform reflections. This result is commonly known as Feferman's completeness theorem. The talk aims to give one or two new proofs of Feferman's completeness theorem that, we hope, shed new light on this mysterious and often overlooked result.

Moreover, one of the proofs furnishes sharp bounds on the order types of well-orders necessary to attain completeness.

(This is joint work with Fedor Pakhomov and Dino Rossegger.)

Thu, 15 May 2025
16:00
Lecture Room 4, Mathematical Institute

Sums along binary cubic forms

Mayank Pandey
(Princeton)
Abstract

We discuss ongoing work with Joseph Leung in which we obtain estimates for sums of Fourier coefficients of GL(2) and certain GL(3) automorphic forms along the values of irreducible binary cubics.

Thu, 15 May 2025
14:00
Lecture Room 3

Quick on the draw: high-frequency trading in the Wild West of cryptocurrency limit order-book markets

Sam Howison
(Mathematical Institute (University of Oxford))
Abstract

Cryptocurrencies such as Bitcoin have only recently become a significant part of the financial landscape. Many billions of dollars are now traded daily on limit order-book markets such as Binance, and these are probably among the most open, liquid and transparent markets there are. They therefore make an interesting platform from which to investigate myriad questions to do with market microstructure. I shall talk about a few of these, including live-trading experiments to investigate the difference between on-paper strategy analysis (typical in the academic literature) and actual trading outcomes. I shall also mention very recent work on the new Hyperliquid exchange which runs on a blockchain basis, showing how to use this architecture to obtain datasets of an unprecendented level of granularity. This is joint work with Jakob Albers, Mihai Cucuringu and Alex Shestopaloff.

Thu, 15 May 2025
12:00
C6

Recent progress on the inverse scattering theory for ideal Alfvén waves

Mengni Li
(Southeast University, Nanjing)
Abstract

The Alfvén waves are fundamental wave phenomena in magnetized plasmas. Mathematically, the dynamics of Alfvén waves are governed by a system of nonlinear partial differential equations called the magnetohydrodynamics (MHD) equations. Let us introduce some recent results about inverse scattering of Alfvén waves in ideal MHD, which are intended to establish the relationship between Alfvén waves emanating from the plasma and their scattering fields at infinities.The proof is mainly based on the weighted energy estimates. Moreover, the null structure inherent in MHD equations is thoroughly examined, especially when we estimate the pressure term.