Towards a Flat Space Carrollian Hologram from AdS$_4$/CFT$_3$
Lipstein, A Ruzziconi, R Srikant, A (14 Apr 2025)
Evolution equations on co-evolving graphs: long-time behaviour and the
graph continuity equation
Carrillo, J Esposito, A Mikolás, L Journal of Nonlinear Science http://arxiv.org/abs/2504.10446v1
Modelling collective cell migration in a data-rich age: challenges and
opportunities for data-driven modelling
Baker, R Crossley, R Falco, C Martina-Perez, S (28 Apr 2025) http://arxiv.org/abs/2504.19974v1
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.

Lorentzian Gromov-Hausdorff convergence and pre-compactness
Mondino, A Sämann, C (14 Apr 2025)
Mon, 05 May 2025
16:00
L6

Modular arithmetic in the lambda-calculus

Maximilien Mackie
(University of Oxford)
Abstract

The lambda-calculus was invented to formalise arithmetic by encoding numbers and operations as abstract functions. We will introduce the lambda-calculus and present two encodings of modular arithmetic: the first is a recipe to quotient your favourite numeral system, and the second is purpose-built for modular arithmetic. A highlight of the second approach is that it does not require recursion i.e., it is defined without fixed-point operators. If time allows, we will also give an implementation of the Chinese remainder theorem which improves computational efficiency. 

A freǐman-type theorem for locally compact abelian groups
Sanders, T Annales de l'Institut Fourier volume 59 issue 4 1321-1335 (01 Jan 2009)
Living with multimorbidity: Medical and lay healthcare approaches
Porter, T Sanders, T Richardson, J Grime, J Ong, B International Journal of Clinical Rheumatology volume 10 issue 2 111-119 (01 Jan 2015)
Thu, 19 Jun 2025
17:00
L3

Tame valued fields, partial quantifier elimination, and NIP transfer

Sylvy Anscombe
(Université Paris Cité)
Abstract
Work of Kuhlmann and coauthors has established AKE principles for tame and separably tame valued fields, extending for example the work of Delon on the narrower class of algebraically (or separable-algebraically) maximal Kaplansky valued fields. These principles, and their underlying methods, have had striking applications, for example to existential theories of henselian valued fields, the transfer of NIP from residue field to valued field, and the recent work of Jahnke and Kartas on theories of perfectoid fields. The "Generalized Stability Theorem" is even an ingredient in Temkin's inseparable local uniformization. In this talk I want to explain some extensions of the known AKE principles, and related partial results on relative quantifier elimination, all in various special cases. This includes work joint with Boissonneau, and work of Soto Moreno.
Subscribe to