Thu, 05 Mar 2026
11:00
C1

On Booleanizations of theories

Jamshid Derakhshan
(Oxford University)
Abstract

I will introduce the concept of Booleanization of a theory and state some examples, including ring of adeles of number fields and sheaves of structures, and discuss some model theoretic properties.

This is joint work with Ehud Hrushovski from
Jamshid Derakhshan and Ehud Hrushovski, Imaginaries, Products, and the Adele Ring, https://arxiv.org/abs/2309.11678v3

Wed, 04 Mar 2026
12:45
TCC VC

Krylov complexity and the universal operator growth hypothesis

Om Gupta
Abstract

A central goal in the study of quantum chaos is being able to make universal statements about the dynamics of generic Hamiltonian systems. Under time evolution, an initially local operator progressively explores the Hilbert space of a system becoming increasingly non-local in the process. We will see that this idea lends itself to a natural notion of operator complexity measured (in the Hilbert space of operators) by the overlap of a time-evolving operator with a basis naturally adapted to time evolution and stratified by the growth in the operator's support. The information contained in this so-called Krylov basis is encoded in a sequence called the Lanczos coefficients which quantify the rate at which an operator is "pushed" along the Krylov basis to successively more complex elements. The universal operator growth hypothesis is then the conjecture that the Lanczos coefficients grow asymptotically linearly in any quantum chaotic system. In this talk, I will present an overview of these ideas and see how they manifest in the example of the well-studied SYK model. This talk is primarily based on 1812.08657.

Accelerating Inference for Multilayer Neural Networks with Quantum Computers
Rattew, A Huang, P Guo, N Pira, L Rebentrost, P The Fourteenth International Conference on Learning Representations
Visual description of the concept
Quantum computers achieve a remarkable exponential speedup in integer factorisation (potentially making widely deployed cryptographic schemes vulnerable). Beyond that large-scale applications remain comparatively scarce, and if a fully error-corrected quantum computer were available it is not clear what 'killer app' it would be used for.
Mon, 15 Jun 2026

15:30 - 16:30
L3

TBA

Emilio Ferrucci
(SISSA)
Abstract

TBA

Mon, 27 Apr 2026

15:30 - 16:30
L3

TBA

Prof. Zhen-Qing Chen
(University of Washington)
Abstract

TBA

Wed, 25 Mar 2026

11:00 - 13:00
L4

Large-N Methods and Renormalisation Group

Leonard Ferdinand
(Max Planck Institute for Mathematics in the Sciences )
Abstract

I will review how the large N expansion can be used in the context of the renormalisation group to probe some strongly coupled regimes. In particular, I will discuss a work by Gawedzki and Kupiainen where the authors study the three-dimensional non-Gaussian infrared fixed point of Phi^4 in the case of a hierarchical model of rank-one covariance, and explain how their approach could generalise to more realistic models. 

This is a joint work with Ajay Chandra.  

Fri, 13 Mar 2026
12:00
L5

Classical conformal blocks as generating functions

Harini Desiraju
(The Mathematical Institute, Oxford)
Abstract
In this talk, I will consider a CFT on a four punctured sphere. I will first gather three known results in the literature about the role classical (c-> infinity) conformal blocks play as generating functions for: accessory parameters, monodromy coordinates, and the connection constant of Heun equations.  Secondly, I will outline analogous results for the one-point torus and provide a road-map to proving these results rigorously using probability techniques. Finally, I will discuss potential challenges in rigorous proofs for conformal blocks on any other geometry.
 
Fri, 06 Mar 2026
12:00
L5

From amplitudes at strong coupling to Hitchin moduli spaces via twistors

Lionel Mason
(Oxford )
Abstract

Alday & Maldacena conjectured an equivalence between string amplitudes in AdS5 ×S5 and null polygonal Wilson loops together with a duality with amplitudes for planar N = 4 super-Yang-Mills (SYM).  At strong coupling this identifies SYM amplitudes with (regularized) areas of minimal surfaces in AdS.  They reformulated the minimal surface problem as a Hitchin system and in collaboration with Gaiotto, Sever & Vieira they introduced a Y-system and a thermodynamic Bethe ansatze (TBA) expressing the complete integrability that could in principle be used to solve for the amplitude at strong coupling. This lecture will review the parts of this material that we need and use them to identify new geometric structures on the spaces of kinematics for super Yang-Mills amplitudes/null polygonal Wilson loops.   In AdS3, the kinematic space is the cluster variety  M_{0.n} X M_{0,n}, where M_{0,n} is the moduli space of n points on the Riemann sphere moduli Mobius transformations.   The nontrivial part of these amplitudes at strong coupling, the remainder function,  turns out to be the (pseudo-)K ̈ahler scalar for a (pseudo-)hyper-Kaher geometry. It satisfies an integrable system and we give its its Lax form. The result follows from a new perspective on Y-systems more generally as defining the natural twistor space associated to the hyperkahler geometry of the Hitchin moduli space for these minimal surfaces. These connections in particular allows us to prove that  the amplitude at strong coupling satisfies the Plebanski equations for a hyperKahler scalar for  these pseudo-hyperk ̈ahler and related geometries. These hyperkahler geometries are nontrivial, (not semiflat) with a nontrivial TBA that encodes the mutations of the cluster structure.  These new structures underpinning the N=4 SYM amplitudes  will be important beyond strong coupling.  This is based on joint work with Hadleight Frost and Omer Gurdogan, https://arxiv.org/abs/2306.17044.

Mon, 02 Mar 2026
16:00
C5

Vanishing sums of matrix products

Noah Kravitz
((Mathematical Institute University of Oxford))
Abstract

Any two 1 by 1 real matrices commute.  This is in general not the case for 2 by 2 real matrices.  However, if A, B, C, and D are any 2 by 2 real matrices, then ABCD - ABDC - ACBD + ACDB + ADBC - ADCB - BACD + BADC + BCAD - BCDA - BDAC + BDCA + CABD - CADB - CBAD + CBDA + CDAB - CDBA - DABC + DACB + DBAC - DBCA - DCAB + DCBA = 0.  This identity is the first instance of a general result of Amitsur and Levitski; I will explain a simple graph-theoretic proof due to Swan.

Subscribe to