Mon, 10 Feb 2025
16:00
C4

A new axiom for $\mathbb{Q}_p^{ab}$ and non-standard methods for perfectoid fields

Leo Gitin
(University of Oxford)
Abstract

The class of henselian valued fields with non-discrete value group is not well-understood. In 2018, Koenigsmann conjectured that a list of seven natural axioms describes a complete axiomatisation of $\mathbb{Q}_p^{ab}$, the maximal extension of the $p$-adic numbers $\mathbb{Q}_p$ with abelian Galois group, which is an example of such a valued field. Informed by the recent work of Jahnke-Kartas on the model theory of perfectoid fields, we formulate an eighth axiom (the discriminant property) that is not a consequence of the other seven. Revisiting work by Koenigsmann (the Galois characterisation of $\mathbb{Q}_p$) and Jahnke-Kartas, we give a uniform treatment of their underlying method. In particular, we highlight how this method yields short, non-standard model-theoretic proofs of known results (e.g. finite extensions of perfectoid fields are perfectoid).

Mon, 27 Jan 2025
16:00
C4

Applied analytic number theory

Cédric Pilatte
(University of Oxford)
Abstract

The security of many widely used communication systems hinges on the presumed difficulty of factoring integers or computing discrete logarithms. However, Shor's celebrated algorithm from 1994 demonstrated that quantum computers can perform these tasks in polynomial time. In 2023, Regev proposed an even faster quantum algorithm for factoring integers. Unfortunately, the correctness of his new method is conditional on an ad hoc number-theoretic conjecture. Using tools from analytic number theory, we establish a result in the direction of Regev's conjecture. This enables us to design a provably correct quantum algorithm for factoring and solving the discrete logarithm problem, whose efficiency is comparable to Regev's approach. In this talk, we will give an accessible account of these developments.

Mon, 02 Dec 2024
13:30
C4

Extended TQFT, gauge theory, and Measurement Based Quantum Computation

Gabriel Wong
Abstract

Measurement-Based Quantum Computation (MBQC) is a model of quantum computation driven by measurements instead of unitary gates.   In 2D it is capable of supporting universal quantum computations.   Interestingly, while all measurements are local, the computational output involves non local observables.   We will use the simpler case of 1D MBQC to illustrate how these features can be captured by ideas from gauge theory and extended TQFT. We will also explain  MBQC from the perspective of the extended Hilbert space construction in gauge theories, in which the entanglement edge modes play the role of the logical qubit.

Mon, 25 Nov 2024
13:30
C4

The Evaporation of Charged Black Holes

Clément Virally
Abstract

Since Hawking first discovered that black holes radiate, the evaporation of black holes has been a subject of great interest. In this talk, based on [2411.03447], we review some recent results about the evaporation of charged (Reissner-Nordström) black holes. We consider in particular the difference between neutral and charged particle emission, and explain how this drives the black hole near extremality, as well as how evaporation is then changed in that limit.

Mon, 11 Nov 2024
13:30
C4

A Celestial Dual for MHV Amplitudes

Walker Melton (Harvard)
Abstract

Celestial holography posits that the 4D S-matrix may be calculated holographically by a 2D conformal field theory. However, bulk translation invariance forces low-point massless celestial amplitudes to be distributional, which is an unusual property for a 2D CFT. In this talk, I show that translation-invariant MHV gluon amplitudes can be extracted from smooth 'leaf' amplitudes, where a bulk interaction vertex is integrated only over a hyperbolic slice of spacetime. After describing gluon leaf amplitudes' soft and collinear limits, I will show that MHV leaf amplitudes can be generated by a simple 2D system of free fermions and the semiclassical limit of Liouville theory, showing that translation-invariant, distributional amplitudes can be obtained from smooth correlation functions. An important step is showing that, in the semiclassical limit of Liouville theory, correlation functions of light operators are given by contact AdS Witten diagrams. This talk is based on a series of papers with Atul Sharma, Andrew Strominger, and Tianli Wang [2312.07820, 2402.04150,2403.18896]. 

Mon, 14 Oct 2024
13:30
C4

Black Hole Chemistry, an introduction

Christopher Couzens
Abstract

One recent(ish) development in classical black hole thermodynamics is the inclusion of vacuum energy (cosmological constant) in the form of thermodynamic pressure. New thermodynamic phase transitions emerge in this extended phase space, beyond the usual Hawking—Page transition. This allows us to understand black holes from the viewpoint of chemistry in terms of concepts such as Van Der Waals fluids, reentrant phase transitions and triple points. I will review these developments and discuss the dictionary between the bulk laws and those of the dual CFT.
 

Subscribe to C4