Past

Discrete and continuous energy problems that arise in a variety of scientific contexts are introduced, along with their fundamental existence and uniqueness results. Particular emphasis will be on Riesz and Gaussian pair potentials and their connections with best-packing and the discretization of manifolds. The latter application leads to the asymptotic theory (as N → ∞) for N-point configurations that minimize energy when the potential is hypersingular (short-range). For fixed N, the determination of such minimizing configurations on the d-dimensional unit sphere S d is especially significant in a range of contexts that include coding theory, discrete geometry, and physics. We will review linear programming methods for proving the optimality of configurations on S d , including Cohn and Kumar’s theory of universal optimality. The following reference will be made available during the short course: Discrete Energy on Rectifiable Sets, by S. Borodachov, D.P. Hardin and E.B. Saff, Springer Monographs in Mathematics, 2019.

Sessions:

Friday, 24 January 14:00-16:00

Friday, 31 January 14:00-16:00

The Junior Algebra and Representation Theory Seminar will kick-off the start of Hilary Term with a social event in the common room. Come to catch up with your fellow students and maybe play a board game or two. Afterwards we'll have lunch together.

Deep learning algorithms provide unprecedented opportunities to characterise complex structure in large data, but typically in a manner that cannot easily be interpreted beyond the 'black box'. We are developing methods to leverage the benefits of deep generative learning and computational modelling (e.g. fluid dynamics, solid mechanics, biochemistry), particularly in conjunction with biomedical imaging, to enable new insights into disease to be made. In this talk, I will describe our applications in several areas, including modelling drug delivery in cancer and retinal blood vessel loss in diabetes, and how this is leading us into the development of personalised digital twins.

I will describe the contents of a joint project with Pablo Destic and Nuno Hultberg. In the paper we confirm a conjecture of Roberto Gualdi regarding a formula for the average height of the intersection of twisted (by roots of unity) hyperplanes in a toric variety. I will introduce the 'GVF analytification' of a variety, which is defined similarly as the Berkovich analytification, but with norms replaced by heights. Moreover, I will discuss some motivations coming from (continuous) model theory and Arakelov geometry.

We present an exponential-integrator-based multi-index Monte Carlo (MIMC) method for the weak approximation of mild solutions to semilinear stochastic partial differential equations (SPDEs). Theoretical results on multi-index coupled solutions of the SPDE are provided, demonstrating their stability and the satisfaction of multiplicative error estimates. Leveraging this theory, we develop a tractable MIMC algorithm. Numerical experiments illustrate that MIMC outperforms alternative approaches, such as multilevel Monte Carlo, particularly in low-regularity settings.

Anomalies in quantum systems are present when a classical symmetry is broken by quantum effects. They give rise to physical predictions and constraints. This talk will focus on the mathematical features of anomalies of continuous, ordinary, symmetries. In the first part, we will review the topological nature of anomalies, in particular the connection to the Atiyah-Singer index theorem and its non-perturbative path-integral computation by Fujikawa. We will then discuss how anomalies and their associated (topological) Chern-Simons polynomials are related to BRST cohomology via the Stora-Zumino chain of descent equations, explaining the connection to the two-step descent procedure reviewed in the talk by Alice Lüscher last term.

Junior Strings is a seminar series where DPhil students present topics of common interest that do not necessarily overlap with their own research area. This is primarily aimed at PhD students and post-docs but everyone is welcome.

Active solids consume energy to allow for actuation and shape change not possible in equilibrium. I will first introduce active solids in comparison with their active fluid counterparts. I will then focus on active solids composed of non-reciprocal springs and show how so-called odd elastic moduli arise in these materials. Odd active solids have counter-intuitive elastic properties and require new design principles for optimal response. For example, in floppy lattices, zero modes couple to microscopic non-reciprocity, which destroys odd moduli entirely in a phenomenon reminiscent of rigidity percolation. Instead, an optimal odd lattice will be sufficiently soft to activate elastic deformations, but not too soft. These results provide a theoretical underpinning for recent experiments and point to the design of novel soft machines.

High-order tensor methods employing local Taylor approximations have attracted considerable attention for convex and nonconvex optimisation. The pth-order adaptive regularisation (ARp) approach builds a local model comprising a pth-order Taylor expansion and a (p+1)th-order regularisation term, delivering optimal worst-case global and local convergence rates. However, for p≥2, subproblem minimisation can yield multiple local minima, and while a global minimiser is recommended for p=2, effectively identifying a suitable local minimum for p≥3 remains elusive.
This work extends interpolation-based updating strategies, originally proposed for p=2, to cases where p≥3, allowing the regularisation parameter to adapt in response to interpolation models. Additionally, it introduces a new prerejection mechanism to discard unfavourable subproblem minimisers before function evaluations, thus reducing computational costs for p≥3.
Numerical experiments, particularly on Chebyshev-Rosenbrock problems with p=3, indicate that the proper use of different minimisers can significantly improve practical performance, offering a promising direction for designing more efficient high-order methods.

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 Q_p^ab, the maximal extension of the p-adic numbers 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 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).

Donaldson proved that there are pairs of 4-manifolds that are homeomorphic but not diffeomorphic, a phenomenon that does not appear for any lower dimensional manifolds. Until recently, proving this for compact manifolds has required smooth 4-manifold invariants coming from gauge theory. In this talk, we will give an introduction to an exciting new smooth 4-manifold invariant of Morrison Walker and Wedich, called a skein lasagna module that does not rely on gauge theory. Further, this talk will not assume any knowledge of 4-manifold topology.

In subfactor theory, it has been observed that operator algebras often admit symmetries beyond mere groups, sometimes called quantum symmetries. Besides recent substantial progress on the classification programs of simple amenable C*-algebras and group actions on them, there has been increasing interest in their quantum symmetries. This talk is devoted to an attempt to ensure the existence of various quantum symmetries on simple amenable C*-algebras, at least in the purely infinite case, by providing a systematic way to produce them. As a technical ingredient, a simplicity criterion for certain Pimsner algebras is given.

Paraphrasing the title of Riemann’s famous lecture of 1854 I ask: What is the most rudimentary notion of a geometry? A possible answer is a path system: Consider a finite set of “points” $x_1,…,x_n$ and provide a recipe how to walk between $x_i$ and $x_j$ for all $i\neq j$, namely decide on a path $P_{ij}$, i.e., a sequence of points that starts at $x_i$ and ends at $x_j$, where $P_{ji}$ is $P_{ij}$, in reverse order. The main property that we consider is consistency. A path system is called consistent if it is closed under taking subpaths. What do such systems look like? How to generate all of them? We still do not know. One way to generate a consistent path system is to associate a positive number $w_{ij}>0$ with every pair and let $P_{ij}$ be the corresponding $w$-shortest path between $x_i$ and $x_j$. Such a path system is called metrical. It turns out that the class of consistent path systems is way richer than the metrical ones.

My main emphasis in this lecture is on what we don’t know and wish to know, yet there is already a considerable body of work that we have done on the subject.

The new results that I will present are joint with my student Daniel Cizma as well as with him and with Maria Chudnovsky.

Derived algebraic geometry allows us to study formal moduli problems via their tangent Lie algebras. After briefly reviewing this general paradigm, I will explain how it sheds light on deformations of Calabi-Yau varieties. 
In joint work with Taelman, we prove a mixed characteristic analogue of the Bogomolov–Tian–Todorov theorem, which asserts that Calabi-Yau varieties in characteristic $0$ are unobstructed. Moreover, we show that ordinary Calabi–Yau varieties in characteristic $p$ admit canonical (and algebraisable) lifts to characteristic $0$, generalising results of Serre-Tate for abelian varieties and Deligne-Nygaard for K3 surfaces. 
If time permits, I will conclude by discussing some intriguing questions related to our canonical lifts.  
 

Let X --> S be a family of algebraic varieties parametrized by an infinitesimal disk S, possibly of mixed characteristic. The Bloch conductor conjecture expresses the difference of the Euler characteristics of the special and generic fibers in algebraic and arithmetic terms. I'll describe a proof of some new cases of this conjecture, including the case of isolated singularities. The latter was a conjecture of Deligne generalizing Milnor's formula on vanishing cycles. 

This is joint work with Massimo Pippi; our methods use derived and non-commutative algebraic geometry. 

I'll discuss how a certain notion of symmetry captures the computational complexity of approximating homomorphism problems between relational structures, also known as constraint satisfaction problems. I'll present recent results on inapproximability of conflict-free and linearly-ordered hypergraph colourings and solvability of systems of equations.

Celestial Holography posits the existence of a holographic description of gravitational theories in asymptotically flat space-times. To date, top-down constructions of such dualities involve a combination of twisted holography and twistor theory. The gravitational theory is the closed string B model living in a suitable twistor space, while the dual is a chiral 2d gauge theory living on a stack of D1 branes wrapping a twistor line. I’ll talk about a variant of these models that yields a theory of self-dual Einstein gravity (via the Plebanski equations) in four dimensions. This is based on work in progress with Roland Bittleston, Kevin Costello & Atul Sharma.

In this talk I will give a short introduction to moderately interacting particle systems and the general notion of fluctuations around the mean-field limit. We will see how a central limit theorem can be shown for moderately interacting particles on the whole space for certain types of interaction potentials. The interaction potential approximates singular attractive potentials of sub-Coulomb type and we can show that the fluctuations become asymptotically Gaussians. The methodology is inspired by the classical work of Oelschläger in the 1980s on fluctuations for the porous-medium equation. To allow for attractive potentials we use a new approach of quantitative mean-field convergence in probability in order to include aggregation effects. 

The Farrell--Jones conjecture predicts that the algebraic K-theory of a group ring is isomorphic to a certain equivariant homology theory, and there are also versions for L-theory and Waldhausen's A-theory. In principle, this provides a way to calculate these K-groups, and has many applications. These include classifying manifolds admitting a given fundamental group and a positive resolution of the Borel conjecture.

I will discuss work with Yassine Guerch and Sam Hughes on the Farrell--Jones conjecture for extensions of relatively hyperbolic groups, as well as an application to their automorphism groups in the one-ended case. The methods are from geometric group theory: we go via the theory of JSJ decompositions to produce acylindrical actions on trees.

In this talk, we will make an explicit link between self-dual Yang-Mills instantons on the Taub-NUT space, and G2-instantons on the BGGG space, by displaying the latter space as a fibration by the former. In doing so, we will discuss analysis on non-compact manifolds, circle symmetries, and a new method of constructing solutions to quadratically singular ODE systems. This talk is based on joint work with Matt Turner: https://arxiv.org/pdf/2409.03886. 

Abelian gauge theories in 2+1 dimensions are very interesting QFTs: they are strongly coupled and exhibit non-trivial dynamics. However, they are somewhat more tractable than non-Abelian theories in 3+1 dimensions. In this talk, I will first review the known properties of fermions in 2+1 dimensions and some conjectures about QED_3 with a single Dirac fermion. I will then present the recent proposal from [arXiv:2409.17913] regarding the phase diagram of QED_3 with two fermions. The findings reveal surprising (yet compelling) features: while semiclassical analysis would suggest two trivially gapped phases and a single phase transition, the actual dynamics indicate the presence of two distinct phase transitions separated by a "quantum phase." This intermediate phase exists over a finite range of parameters in the strong coupling regime and is not visible semiclassically. Moreover, these phase transitions are second-order and exhibit symmetry enhancement. The proposal is supported by several non-trivial checks and is consistent with results from numerical bootstrap, lattice simulations, and extrapolations from the large-Nf expansion.