Mon, 04 Nov 2024
13:30
C4

Type IIA string theory and homotopy theory

Matthew Yu
Abstract

Abstract: I will introduce and explain a new symmetry structure for type IIA string theory, called string^h. Using string^h I will explain  how some objects of stable homotopy theory relating to elliptic cohomology enter into type IIA string theory.

Fri, 01 Nov 2024
15:00
L5

Generalized Multiple Subsampling for Persistent Homology

Yueqi Cao
(Imperial College London)
Abstract

Persistent homology is infeasible to compute when a dataset is very large. Inspired by the bootstrapping method, Chazal et al. (2014) proposed a multiple subsampling approach to approximate the persistence landscape of a massive dataset. In this talk, I will present an extension of the multiple subsampling method to a broader class of vectorizations of persistence diagrams and to persistence diagrams directly. First, I will review the statistical foundation of the multiple subsampling approach as applied to persistence landscapes in Chazal et al. (2014). Next, I will talk about how this analysis extends to a class of vectorized persistence diagrams called Hölder continuous vectorizations. Finally, I will address the challenges in applying this method to raw persistence diagrams for two measures of centrality: the mean persistence measure and the Fréchet mean of persistence diagrams. I will demonstrate these methods through simulation results and applications in estimating data shapes. 

Fri, 01 Nov 2024

14:00 - 15:00
L1

Study skills: Time-management

Abstract

This week's Fridays@2 will feature a panel discussion on how to manage your time during your degree. The panel will share their thoughts and experiences in a Q&A session, discussing some of the practicalities of juggling lectures, the many ways to study independently and non-maths activities. 

Fri, 01 Nov 2024
12:00
L2

Analytic and Algebraic Structures in Feynman Integrals

Felix Tellander
( Oxford)
Abstract

At the heart of both cross-section calculations at the Large Hadron Collider and gravitational wave physics lie the evaluation of Feynman integrals. These integrals are meromorphic functions (or distributions) of the parameters on which they depend and understanding their analytic structure has been an ongoing quest for over 60 years. In this talk, I will demonstrate how these integrals fits within the framework of generalized hypergeometry by Gelfand, Kapranov, and Zelevinsky (GKZ). In this framework the singularities are simply calculated by the principal A-determinant and I will show that some Feynman integrals can be used to generate Cohen-Macaulay rings which greatly simplify their analysis. However, not every integral fits within the GKZ framework and I will show how the singularities of every Feynman integral can be calculated using Whitney stratifications.

Fri, 01 Nov 2024
12:00
L2

TBA

Felix Tellander
(Oxford)
Fri, 01 Nov 2024

12:00 - 13:00
Quillen Room

The Bruhat-Tits building

Mick Gielen
(University of Oxford)
Abstract

The Bruhat-Tits building is a crucial combinatorial tool in the study of reductive p-adic groups and their representation theory. Given a p-adic group, its Bruhat-Tits building is a simplicial complex upon which it acts with remarkable properties. In this talk I will give an introduction to the Bruhat-Tits building by sketching its definition and going over some of its basic properties. I will then show the usefulness of the Bruhat-Tits by determining the maximal compact subgroups of a p-adic group up to conjugacy by using the Bruhat-Tits building.

Fri, 01 Nov 2024

11:00 - 12:00
L5

Applications of extreme statistics to cellular decision making and signaling

Prof Alan Lindsay
(Dept of Applied and Computational Maths University of Notre Dame)
Abstract

Cells must reliably coordinate responses to noisy external stimuli for proper functionality whether deciding where to move or initiate a response to threats. In this talk I will present a perspective on such cellular decision making problems with extreme statistics. The central premise is that when a single stochastic process exhibits large variability (unreliable), the extrema of multiple processes has a remarkably tight distribution (reliable). In this talk I will present some background on extreme statistics followed by two applications. The first regards antigen discrimination - the recognition by the T cell receptor of foreign antigen. The second concerns directional sensing - the process in which cells acquire a direction to move towards a target. In both cases, we find that extreme statistics explains how cells can make accurate and rapid decisions, and importantly, before any steady state is reached.

Thu, 31 Oct 2024
17:00

The Koponen Conjecture

Scott Mutchnik
(IMJ-PRG)
Abstract
This is on joint work with John Baldwin and James Freitag.
One of the central projects of model theory, initiated by Shelah in his book "Classification Theory," is to classify unstable first-order theories. As part of this program, Koponen proposes to classify simple homogeneous structures, such as the random graph. More precisely, she conjectures (2016) that all simple theories with quantifier elimination in a finite relational language are supersimple of finite rank, and asks (2014) whether they are one-based. In this talk, we discuss our resolution of the Koponen conjecture, where we show that the answer to this question is yes. In the process, we further demonstrate what Kennedy (2020) calls ''the fragility of the syntax-semantics distinction.”
Thu, 31 Oct 2024
16:00
L4

Re(Visiting) Large Language Models in Finance

Eghbal Rahimikia
(University of Manchester)
Abstract

This study introduces a novel suite of historical large language models (LLMs) pre-trained specifically for accounting and finance, utilising a diverse set of major textual resources. The models are unique in that they are year-specific, spanning from 2007 to 2023, effectively eliminating look-ahead bias, a limitation present in other LLMs. Empirical analysis reveals that, in trading, these specialised models outperform much larger models, including the state-of-the-art LLaMA 1, 2, and 3, which are approximately 50 times their size. The findings are further validated through a range of robustness checks, confirming the superior performance of these LLMs.

Thu, 31 Oct 2024
16:00
L3

Cusp forms of level one and weight zero

George Boxer
(Imperial College London)
Abstract
A theme in number theory is the non-existence of objects which are "too unramified".  For instance, by Minkowski there are no everywhere unramified extensions of Q, and by Fontaine and Abrashkin there are no abelian varieties over Q with everywhere good reduction.  Such results may be viewed (possibly conditionally) through the lens of the Stark-Odlyzko positivity method in the theory of L-functions.
 
After reviewing these things, I will turn to the question of this talk: for n>1 do there exist cuspidal automorphic forms for GL_n which are everywhere unramified and have lowest regular weight (cohomological weight 0)?  For n=2 these are more familiarly holomorphic cuspforms of level 1 and weight 2.  This question may be rephrased in terms of the existence of cuspidal cohomology of GL_n(Z) or (at least conjecturally) in terms of the existence of certain motives or Galois representations.  In 1997, Stephen Miller used the positivity method to show that they do not exist for n<27.  In the other direction, in joint work with Frank Calegari and Toby Gee, we prove that they do exist for some n, including n=79,105, and 106.
Thu, 31 Oct 2024

14:00 - 15:00
Lecture Room 3

Theory to Enable Practical Quantum Advantage

Balint Koczor
(Oxford University)
Abstract

Quantum computers are becoming a reality and current generations of machines are already well beyond the 50-qubit frontier. However, hardware imperfections still overwhelm these devices and it is generally believed the fault-tolerant, error-corrected systems will not be within reach in the near term: a single logical qubit needs to be encoded into potentially thousands of physical qubits which is prohibitive.

 

Due to limited resources, in the near term, hybrid quantum-classical protocols are the most promising candidates for achieving early quantum advantage and these need to resort to quantum error mitigation techniques. I will explain the basic concepts and introduce hybrid quantum-classical protocols are the most promising candidates for achieving early quantum advantage. These have the potential to solve real-world problems---including optimisation or ground-state search---but they suffer from a large number of circuit repetitions required to extract information from the quantum state. I will finally identify the most likely areas where quantum computers may deliver a true advantage in the near term.

 

Bálint Koczor

Associate Professor in Quantum Information Theory

Mathematical Institute, University of Oxford

webpage

Thu, 31 Oct 2024

12:00 - 12:30
Lecture Room 6

Distributional Complexes in two and three dimensions

Ting Lin
(Peking University)
Abstract

In recent years, some progress has been made in the development of finite element complexes, particularly in the discretization of BGG complexes in two and three dimensions, including Hessian complexes, elasticity complexes, and divdiv complexes. In this talk, I will discuss distributional complexes in two and three dimensions. These complexes are simply constructed using geometric concepts such as vertices, edges, and faces, and they share the same cohomology as the complexes at the continuous level, which reflects that the discretization is structure preserving. The results can be regarded as a tensor generalization of the Whitney forms of the finite element exterior calculus. This talk is based on joint work with Snorre Christiansen (Oslo), Kaibo Hu (Edinburgh), and Qian Zhang (Michigan).

Thu, 31 Oct 2024

12:00 - 13:00
L3

Volcanic fissure localisation and lava delta formation: Modelling of volcanic flows undergoing rheological evolution

Jesse Taylor-West
(University of Bristol)
Abstract
In this talk, I will present two volcanologically motivated modelling problems.  In the first, I will detail how thermoviscous localisation of volcanic eruptions is influenced by the irregular geometry of natural volcanic fissures. Fissure eruptions typically start with the opening of a linear fissure that erupts along its entire length, following which activity localises to one or more isolated vents within a few hours or days. Previous work has proposed that localisation can arise through a thermoviscous fingering instability driven by the strongly temperature dependent viscosity of the rising magma. I will show that, even for relatively modest variations of the fissure width, a non-planar geometry supports strongly localised steady states, in which the wider parts of the fissure host faster, hotter flow, and the narrower parts of the fissure host slower, cooler flow. This geometrically-driven localisation is different from, and typically more potent than, the thermoviscous fingering localisation observed in planar geometries.  
 
The second problem concerns lava delta formation. A lava delta arises when a volcanic lava flow enters a body of water, extending the pre-eruption shoreline via the creation of new, flat land. A combination of cooling induced rheological changes and the reduction in gravitational driving forces controls the morphology and evolution of the delta. I will present shallow-layer continuum models for this process, highlighting how different modes of delta formation manifest in different late-time behaviours.
Wed, 30 Oct 2024
16:00
L6

Counting subgroups of surface groups

Sophie Wright
(University of Bristol)
Abstract

The fundamental group of a hyperbolic surface has an infinite number of rank k subgroups. What does it mean, therefore, to pick a 'random' subgroup of this type? In this talk, I will introduce a method for counting subgroups and discuss how counting allows us to study the properties of a random subgroup and its associated cover.

Tue, 29 Oct 2024
16:00
C3

Semi-uniform stability of semigroups and their cogenerators

Andrew Pritchard
(University of Newcastle)
Abstract

The notion of semi-uniform stability of a strongly continuous semi-group refers to the stability of classical solutions of a linear evolution equation, and this has analogues with the classical Katznelson-Tzafriri theorem. The co-generator of a strongly continuous semigroup is a bounded linear operator that comes from a particular discrete approximation to the semigroup. After reviewing some background on (quantified) stability theory for semigroups and the Katznelson-Tzafriri theorem, I will present some results relating the stability of a strongly continuous semigroup with that of its cogenerator. This talk is based on joint work with David Seifert.

Tue, 29 Oct 2024
16:00
L6

"Musical chairs": dynamical aspects of rank-one non-normal deformations.

Guillaume Dubach
(Ecole Polytechnique (CMLS))
Abstract

We will present some of the remarkable properties of eigenvalue trajectories for rank-one perturbations of random matrices, with an emphasis on two models of particular interest, namely weakly non-Hermitian and weakly non-unitary matrices. In both cases, precise estimates can be obtained for the critical timescale at which an outlier can be observed with high probability. We will outline the proofs of these results and highlight their significance in connection with quantum chaotic scattering. (Based on joint works with L. Erdös and J. Reker)

Tue, 29 Oct 2024
15:00
L6

Twisted conjugacy growth of virtually nilpotent groups

Alex Evetts
Abstract

The conjugacy growth function of a finitely generated group is a variation of the standard growth function, counting the number of conjugacy classes intersecting the n-ball in the Cayley graph. The asymptotic behaviour is not a commensurability invariant in general, but the conjugacy growth of finite extensions can be understood via the twisted conjugacy growth function, counting automorphism-twisted conjugacy classes. I will discuss what is known about the asymptotic and formal power series behaviour of (twisted) conjugacy growth, in particular some relatively recent results for certain groups of polynomial growth (i.e. virtually nilpotent groups).

Tue, 29 Oct 2024

14:00 - 15:00
L4

Lower tails for triangle counts in the critical window

Matthew Jenssen
(King's College London)
Abstract

The classical lower-tail problem for triangles in random graphs asks the following: given $\eta\in[0,1)$, what is the probability that $G(n,p)$ contains at most $\eta$ times the expected number of triangles?  When $p=o(n^{-1/2})$ or $p = \omega(n^{-1/2})$ the asymptotics of the logarithm of this probability are known via Janson's inequality in the former case and regularity or container methods in the latter case.

We prove for the first time asymptotic formulas for the logarithm of the lower tail probability when $p=c n^{-1/2}$ for $c$ constant.  Our results apply for all $c$ when $\eta \ge 1/2$ and for $c$  small enough when $\eta < 1/2$.  For the special case $\eta=0$ of triangle-freeness, our results prove that a phase transition occurs as $c$ varies (in the sense of a non-analyticity of the rate function), while for $\eta \ge 1/2$ we prove that no phase transition occurs.

Our method involves ingredients from algorithms and statistical physics including rapid mixing of Markov chains and the cluster expansion.  We complement our asymptotic formulas with efficient algorithms to approximately sample from $G(n,p)$ conditioned on the lower tail event.

Joint work with Will Perkins, Aditya Potukuchi and Michael Simkin.

Tue, 29 Oct 2024

14:00 - 15:00
L6

Endomorphisms of Gelfand—Graev representations

Jack G Shotton
(University of Durham)
Abstract

Let G be a reductive group over a finite field F of characteristic p. I will present work with Tzu-Jan Li in which we determine the endomorphism algebra of the Gelfand-Graev representation of the finite group G(F) where the coefficients are taken to be l-adic integers, for l a good prime of G distinct from p. Our result can be viewed as a finite-field analogue of the local Langlands correspondence in families. 

Tue, 29 Oct 2024

14:00 - 15:00
C3

One, two, tree: counting trees in graphs and some applications

Karel Devriendt
(Mathematical Institute (University of Oxford))
Abstract

Kirchhoff's celebrated matrix tree theorem expresses the number of spanning trees of a graph as the maximal minor of the Laplacian matrix of the graph. In modern language, this determinantal counting formula reflects the fact that spanning trees form a regular matroid. In this talk, I will give a short historical overview of the tree-counting problem and a related quantity from electrical circuit theory: the effective resistance. I will describe a characterization of effective resistances in terms of a certain polytope and discuss some recent applications to discrete notions of curvature on graphs. More details can be found in the recent preprint: https://arxiv.org/abs/2410.07756

Tue, 29 Oct 2024
13:00
L2

Fivebrane Stars

Yoav Zigdon
(Cambridge )
Abstract
The low energy limit of string theory contains solutions of large redshift, either near an event horizon or extended objects. Alday, de Boer, and Messamah compared the massless BTZ black hole to the ensemble average of horizonless BPS solutions with the same charges and found them to differ. I will show that averaging gives rise to a spherically symmetric and horizon-free "fivebrane star" solution by employing an effective string description for Type IIA NS5-branes. By further including internal excitations of the extended objects in this description, we obtain solutions of smaller sizes and greater redshifts relative to those with purely transverse excitations, thereby approaching the black hole phase.


 

Mon, 28 Oct 2024
16:30
L4

Lipschitz Regularity of harmonic maps from the Heisenberg group into CAT(0) spaces

Renan Assimos
(Leibniz Universität Hannover)
Abstract

We prove the local Lipschitz continuity of energy minimizing harmonic maps between singular spaces, more specifically from the n-dimensional Heisenberg group into CAT(0) spaces. The present result paves the way for a general regularity theory of sub-elliptic harmonic maps, providing a versatile approach applicable beyond the Heisenberg group.  Joint work with Yaoting Gui and Jürgen Jost.

Mon, 28 Oct 2024
16:00
C3

An introduction to modularity lifting

Dmitri Whitmore
(University of Cambridge)
Abstract
The (global) Langlands programme is a vast generalization of classical reciprocity laws. Roughly, it predicts a correspondence between:
1) modular forms (and their generalizations, automorphic forms)
2) representations of the Galois group of a number field.
While many constructions of Galois representations from automorphic forms exist, the converse direction is often harder to establish. The main tools to do so are modularity lifting theorems and are proved via the Taylor-Wiles method, originating from Wiles' proof of Fermat's Last Theorem.
 
I will introduce these ideas and their applications, focusing particularly on the problem of modularity of elliptic curves. I will then briefly discuss a generalization of the Taylor-Wiles method developed in my thesis which led to new modularity theorems in the setting of quadratic extensions of totally real fields by building of work of Boxer-Calegari-Gee-Pilloni.
Mon, 28 Oct 2024
15:30
L3

Higher Order Lipschitz Functions in Data Science

Dr Andrew Mcleod
(Mathematical Institute)
Abstract

The notion of Lip(gamma) Functions, for a parameter gamma > 0, introduced by Stein in the 1970s (building on earlier work of Whitney) is a notion of smoothness that is well-defined on arbitrary closed subsets (including, in particular, finite subsets) that is instrumental in the area of Rough Path Theory initiated by Lyons and central in recent works of Fefferman. Lip(gamma) functions provide a higher order notion of Lipschitz regularity that is well-defined on arbitrary closed subsets, and interacts well with the more classical notion of smoothness on open subsets. In this talk we will survey the historical development of Lip(gamma) functions and illustrate some fundamental properties that make them an attractive class of function to work with from a machine learning perspective. In particular, models learnt within the class of Lip(gamma) functions are well-suited for both inference on new unseen input data, and for allowing cost-effective inference via the use of sparse approximations found via interpolation-based reduction techniques. Parts of this talk will be based upon the works https://arxiv.org/abs/2404.06849 and https://arxiv.org/abs/2406.03232.