Seminars without (*) are in the Maths Seminars archive; the others are hosted on external websites or have no web presence.
Abstract: Potts models are relatively easily described models defined on a lattice, which are of interest as they exhibit a physical phenomenon known as a phase transition. For example, on a square lattice we might consider "configurations" where we assign […]
In this talk, I will discuss ongoing work in which we use conformal geodesics to construct an extended representation of timelike infinity in Minkowski and Schwarzschild spacetimes. This construction relies on a key property of conformal geodesics: every non-null metric […]
Abstract: In this talk we give a snapshot of developments in the local-global representation theory of finite groups in recent years. We will begin by describing some of the context and motivating concepts behind counting conjectures and open problems, and […]
Carnot groups play a role in subRiemannian geometry analogous to that of Euclidean spaces in Riemannian geometry. Indeed, they arise as metric tangents of equiregular sub-Riemannian manifolds. Their group structure and homogeneous dilations also lead to an intrinsic notion of […]
In light of the $G_0$-dichotomy (Kechris-Solecki-Todorčević), Lecomte and Zeleny asked for least graphs with no $Σ^0_α$-measurable countable colourings; the provided examples for $α = 1,2,3$. We describe classes of graphs with no $Σ^0_α$ colourings, using notions of forcing inspired by […]
Amyloid positron emission tomography (PET) supports the early diagnosis of Alzheimer’s disease by visualising beta-amyloid deposits in the cerebral cortex. However, patient head motion can degrade image quality and reduce confidence in clinical diagnosis. Existing motion correction relies on external […]
In 2020 M. Mucciconi and L. Petrov introduced a long-range deformation of the quantum open non-relativistic Toda system. We prove the integrability of the deformed Toda system by constructing a 2 × 2 Lax operator, which produces the commutative family […]
One of the most famous formulas in modal logic is the Löb formula, which expresses a (true) extension of Gödel's second incompleteness theorem. Besides for its arithmetical interpretation, the formula is well-known for its model theory and proof theory, which […]
The Skolemization method in first-order logic is a well-known translation on formulas that makes explicit the implicit functions hidden in quantifier combinations ∀∃. It is an important tool in certain areas in computer science but it also has intriguing properties […]
TBA