This is a survey on recent advances in classical decidability issues for local and global fields and for some canonical infinite extensions of those.

Cubulating a group means finding a proper cocompact action on a CAT(0) cube complex. I will describe how cubulating a group tells us some nice properties of the group, and explain a general strategy for finding cubulations.

In this talk I will introduce Hilbert's 10th Problem (H10) and the model-theoretic notions necessary to explore this problem from the perspective of mathematical logic. I will give a brief history of its proof, talk a little about its connection to decidability and definability, then close by speaking about generalisations of H10 - what has been proven and what has yet to be discovered.

In 1927 Polya proved that the Riemann Hypothesis is equivalent to the hyperbolicity of Jensen polynomials for Riemann’s Xi-function. This hyperbolicity has only been proved for degrees d=1, 2, 3. For each d we prove the hyperbolicity of all but (perhaps) finitely many Jensen polynomials. We obtain a general theorem which models such polynomials by Hermite polynomials. This theorem also allows us to prove a conjecture of Chen, Jia, and Wang on the partition function. This result can be thought of as a proof of GUE for the Riemann zeta function in derivative aspect. This is joint work with Michael Griffin, Larry Rolen, and Don Zagier.
 

We will see some results and conjectures on the zeta and multizeta values in the function field context, and see how they relate to homological-homotopical objects, such as t-motives, iterated extensions, and to Hopf algebras, big Galois representations.

A fundamental task in numerical computation is the solution of large linear systems. The conjugate gradient method is an iterative method which offers rapid convergence to the solution, particularly when an effective preconditioner is employed. However, for more challenging systems a substantial error can be present even after many iterations have been performed. The estimates obtained in this case are of little value unless further information can be provided about the numerical error. In this paper we propose a novel statistical model for this numerical error set in a Bayesian framework. Our approach is a strict generalisation of the conjugate gradient method, which is recovered as the posterior mean for a particular choice of prior. The estimates obtained are analysed with Krylov subspace methods and a contraction result for the posterior is presented. The method is then analysed in a simulation study as well as being applied to a challenging problem in medical imaging.

One of the main open problems in loop quantum gravity is to reconcile the fundamental quantum discreteness of space with general relativity in the continuum. In this talk, I present recent progress regarding this issue: I will explain, in particular, how the discrete spectra of geometric observables that we find in loop gravity can be understood from a conventional Fock quantisation of gravitational edge modes on a null surface boundary. On a technical level, these boundary modes are found by considering a quasi-local Hamiltonian analysis, where general relativity is treated as a Hamiltonian system in domains with inner null boundaries. The presence of such null boundaries requires then additional boundary terms in the action. Using Ashtekar’s original SL(2,C) self-dual variables, I will explain that the natural such boundary term is nothing but a kinetic term for a spinor (defining the null flag of the boundary) and a spinor-valued two-form, which are both intrinsic to the boundary. The simplest observable on the boundary phase space is the cross sectional area two-form, which generates dilatations of the boundary spinors. In quantum theory, the corresponding area operator turns into the difference of two number operators. The area spectrum is discrete without ever introducing spin networks or triangulations of space. I will also comment on a similar construction in three euclidean spacetime dimensions, where the discreteness of length follows from the quantisation of gravitational edge modes on a one-dimensional cross section of the boundary.
The talk is based on my recent papers: arXiv:1804.08643 and arXiv:1706.00479.
 

In this informal talk, I describe the kinds of functions relevant to scattering amplitudes in perturbative, four-dimensional quantum field theories. In particular, I will argue that generic amplitudes are non-polylogarithmic (beyond one loop), but that there is an upper bound to their geometric complexity. Moreover, I show a veritable `bestiary' of examples which saturate this bound in complexity---including three, all-loop families of integrals defined in massless $\phi^4$ theory which can, at best, be represented as dilogarithms integrated over (2L-2)-dimensional Calabi-Yau manifolds.