Past

We will construct several algebras of functions definable in R_{an,\exp} which are stable under parametric integration. 

Given one such algebra A, we will study the parametric Mellin and Fourier transforms of the functions in A. These are complex-valued oscillatory functions, thus we leave the realm of o-minimality. However, we will show that some of the geometric tameness of the functions in A passes on to their integral transforms.

Dispersion relations for S-matrices and CFT correlators translate UV consistency into bounds on IR observables. In this talk, I will begin with briefly introducing dispersionrelations in 2D flat space which will guide the analogous discussion in AdS₂/CFT₁. I will introduce a set of functionals acting on the 1D CFT. These will allow us to prove bounds on higher-derivative couplings in weakly coupled non-gravitational EFTs in AdS₂. At the leading order in the bulk-point limit, the bounds agree with the flat-space result. Furthermore we can compute the leading universal effect of finite AdS radius on the bounds.

Direct Multisearch (DMS) is a well-known multiobjective derivative-free optimization class of methods, with competitive computational implementations that are often successfully used for benchmark of new algorithms and in practical applications. As a directional direct search method, its structure is organized in a search step and a poll step, being the latter responsible for its convergence. A first implementation of DMS was released in 2010. Since then, the algorithmic class has continued to be analyzed from the theoretical point of view and new improvements have been proposed for the numerical implementation. Worst-case-complexity bounds have been derived, a search step based on polynomial models has been defined, and parallelization strategies have successfully improved the numerical performance of the code, which has also shown to be competitive for multiobjective derivative-based problems. In this talk we will survey the algorithmic structure of this class of optimization methods, the main theoretical properties associated to it and report numerical experiments that validate its numerical competitiveness.

It has been known for some time that the contact sets between
self-avoiding idealised tubes (i.e. with exactly circular, normal
cross-sections) in various highly compact, tight structures comprise
double lines of contact. I will re-visit those results for two canonical
examples, namely the orthogonal clasp and the ideal trefoil knot. I will
then show experimental and 3D FEM simulation data for deformable elastic
tubes (obtained within the group of Pedro Reis at the EPFL) which
reveals that the ideal contact set lines bound (in a non-rigorous sense)
the actual contact patches that arise in reality.

[1] The shapes of physical trefoil knots, P. Johanns, P. Grandgeorge, C.
Baek, T.G. Sano, J.H. Maddocks, P.M. Reis, Extreme Mechanics Letters 43
(2021), p. 101172, DOI:10.1016/j.eml.2021.101172
[2]  Mechanics of two filaments in tight orthogonal contact, P.
Grandgeorge, C. Baek, H. Singh, P. Johanns, T.G. Sano, A. Flynn, J.H.
Maddocks, and P.M. Reis, Proceedings of the National Academy of Sciences
of the United States of America 118, no. 15 (2021), p. e2021684118
DOI:10.1073/pnas.2021684118

In recent years, a tend of higher category theory is growing from multiple areas of research throughout mathematics, physics and theoretical computer science. Guided by Cobordism Hypothesis, I would like to introduce some basics of `higher representation theory’, i.e. the part of higher category theory where we focus on the fundamental objects: `finite dimensional’ linear n-categories. If time permits, I will also introduce some recent progress in linear higher categories and motivations from condensed matter physics.

It is well known that if a group von Neumann algebra of a (nontrivial) discrete group is a factor, then it is a factor of type II_1. During the talk, I will answer the following question: which types appear as types of injective factors being group von Neumann algebras of discrete quantum groups (or looking from the dual perspective - von Neumann algebras of bounded functions on compact quantum groups)? An important object in our work is the subgroup of real numbers t for which the scaling automorphism tau_t is inner. This is joint work with Piotr Sołtan.

I will present two examples of log-correlated fields in 2 dimensions. It is well known that the log-characteristic polynomial of a uniform unitary matrix converges toward a 1 dimensional log-correlated field, and our first example will be obtained from a dynamical version of this model. The second example will be obtained from a radically different construction, based on the Brownian loop soup that we will introduce. It will lead to a whole family of log-correlated fields. We will focus on the description of the behaviour of these objects, more than on rigorous details.

This is joint work with Corey Bregman. We study the homotopy type of embedding spaces of unparameterised links, inspired by work of Brendle and Hatcher. We obtain a simple description of the fundamental group of the embedding space, which I will describe for you. Our main tool is a homotopy equivalent semi-simplicial space of separating spheres. As I will explain, this is a combinatorial object that provides a gateway to studying the homotopy type of embedding spaces of split links via the homotopy type of their individual pieces. 

A graph has a pair $(m,f)$ if it has an induced subgraph on $m$ vertices and $f$ edges. We write $(n,e)\rightarrow (m,f)$  if any graph on $n$ vertices and $e$ edges has a pair $(m,f)$.  Let  $$S(n,m,f)=\{e: ~(n,e)\rightarrow (m,f)\} ~{\rm and}$$     $$\sigma(m,f) =   \limsup_{n\rightarrow \infty}\frac{ |S(n,m,f)|}{\binom{n}{2}}.$$ These notions were first introduced and investigated by Erdős, Füredi, Rothschild, and Sós. They found five pairs $(m,f)$ with  $\sigma(m,f)=1$ and showed that for all other pairs $\sigma(m,f)\leq 2/3$.  We extend these results in two directions.

First, in a joint work with Weber, we show that not only $\sigma(m,f)$ can be zero, but also $S(n,m,f)$  could be empty for some pairs $(m,f)$ and any sufficiently large $n$. We call such pairs $(m,f)$ absolutely avoidable.

Second, we consider a natural analogue $\sigma_r(m,f)$ of $\sigma(m,f)$ in the setting of $r$-uniform hypergraphs.  Weber showed that for any $r\geq 3$ and  $m>r$,  $\sigma_r(m,f)=0$ for most values of $f$.  Surprisingly, it was not immediately clear whether there are nontrivial pairs $(m,f)$,  $(f\neq 0$, $f\neq \binom{m}{r}$,  $r\geq 3$),  for which $\sigma_r(m,f)>0$. In a joint work with Balogh, Clemen, and Weber we show that $\sigma_3(6,10)>0$ and conjecture that in the $3$-uniform case $(6,10)$ is the only such pair.

In this talk we will present some work in progress generalising Lubin-Tate formal group laws to higher dimensions. There have been some other generalisations, but ours is different in that the ring over which the formal group law is defined changes as the dimension increases. We will state some conjectures about these formal group laws, including their relationship to the Drinfeld tower over the p-adic upper half plane, and provide supporting evidence for these conjectures.

A Hele-Shaw Newton's cradle: Circular bubbles in a Hele-Shaw channel. (Daniel Booth)

We present a model for the motion of approximately circular bubbles in a Hele-Shaw cell. The bubble velocity is determined by a balance between the hydrodynamic pressures from the external flow and the drag due to the thin films above and below the bubble. We find that the qualitative behaviour depends on a dimensionless parameter and is found to agree well with experimental observations.  Furthermore, we show how the effects of interaction with cell boundaries and/or other bubbles also depend on the value of this dimensionless parameter For example, in a train of three identical bubbles travelling along the centre line, the middle bubble either catches up with the one in front or is caught by the one behind, forming what we term a Hele-Shaw Newton's cradle.
 

Reciprocity in Fluids (Matthew Cotton)

Reciprocity is a useful, and often underused, way to calculate integrated quantities when a to solution to a related problem is known. In the remaining time, I will overview these ideas and give some example use cases

The Riemann hypothesis (RH) is one of the great open problems in
mathematics. It arose from the study of prime numbers in an analytic
context, and—as often occurs in mathematics—developed analogies in an
algebraic setting, leading to the influential Weil conjectures. RH for
curves over finite fields was proven in the 1940’s by Weil using
algebraic-geometric methods, and later reproven by Stepanov and
Bombieri by elementary means. In this talk, we use RH for curves to
prove the Weil bound for certain (Kloosterman) exponential sums, which
in turn is a fundamental tool in the study of prime numbers.

What is the largest deterministic amount of time T∗ that a suitably normalized martingale X can be kept inside a convex body K in Rd? We show, in a viscosity framework, that T∗ equals the time it takes for the relative boundary of K to reach X(0) as it undergoes a geometric flow that we call (positive) minimum curvature flow. This result has close links to the literature on stochastic and game representations of geometric flows. Moreover, the minimum curvature flow can be viewed as an arrival time version of the Ambrosio–Soner codimension-(d − 1) mean curvature flow of the 1-skeleton of K. We present very preliminary sampling-based numerical approximations to the solution of the corresponding PDE. The numerical part is work in progress.

This work is based on a collaboration with Camilo Garcia Trillos, Martin Larsson, and Yufei Zhang.

THIS TALK IS CANCELLED DUE TO ILLNESS -- In this talk I will present classification results for rigid Frobenius algebras in Dijkgraaf–Witten categories ℨ( Vec(G)ᵚ ) over a field of arbitrary characteristic, generalising existing results by Davydov-Simmons. For this purpose, we provide a braided Frobenius monoidal functor from ℨ ( Vect(H)ᵚˡᴴ ) to ℨ( Vec(G)ᵚ ) for any subgroup H of G. I will also discuss about their categories of local modules, which are modular tensor categories  by results of Kirillov–Ostrik in the semisimple case and Laugwitz–Walton in the general case. Joint work with Robert Laugwitz (Nottingham) and Sam Hannah (Cardiff).

Donaldson-Thomas theory is classically defined for moduli spaces of sheaves over a Calabi-Yau threefold. Thanks to recent foundational work of Cao-Leung, Borisov-Joyce and Oh-Thomas, DT theory has been extended to Calabi-Yau 4-folds. We discuss how, in this context, one can define natural K-theoretic refinements of Donaldson-Thomas invariants (counting sheaves on Hilbert schemes) and Pandharipande-Thomas invariants (counting sheaves on moduli spaces of stable pairs) and how — conjecturally — they are related. Finally, we introduce an extension of DT invariants to Calabi-Yau 4-orbifolds, and propose a McKay-type correspondence, which we expect to be suitably interpreted as a wall-crossing phenomenon. Joint work (in progress) with Yalong Cao and Martijn Kool.

In this talk, I will discuss and introduce deep insight from the dynamical system perspective to understand the convergence guarantees of first-order algorithms involving inertial features for convex optimization in a Hilbert space setting.

Such algorithms are widely popular in various areas of data science (data processing, machine learning, inverse problems, etc.).
They can be viewed discrete as time versions of an inertial second-order dynamical system involving different types of dampings (viscous damping,  Hessian-driven geometric damping).

The dynamical system perspective offers not only a powerful way to understand the geometry underlying the dynamic, but also offers a versatile framework to obtain fast, scalable and new algorithms enjoying nice convergence guarantees (including fast rates). In addition, this framework encompasses known algorithms and dynamics such as the Nesterov-type accelerated gradient methods, and the introduction of time scale factors makes it possible to further accelerate these algorithms. The framework is versatile enough to handle non-smooth and non-convex objectives that are ubiquituous in various applications.

Only a decade ago the detection of gravitational waves seemed like a fantasy to most, and merely a handful of 
people in the world believed in the validity and even great potential of using the powerful framework of EFT, and 
more generally -- advances in QFT to study gravity theory for real-world gravitational waves. I will present the 
significant advancement accomplished uniquely via the tower of EFTs with the EFT of spinning gravitating objects, 
and the incorporation of QFT advances, which my work has pioneered since those days. Today, only 6 years after 
the official birth of precision gravity with a rapidly growing influx of gravitational-wave data, and a decade of great 
theoretical progress, the power and insight of using modern QFT for real-world gravity have become incontestable.

Your supervisor is the person you will interact with on a scientific level most of all during your studies here. As a result, it is vital that you establish a good working relationship. But how should you do this? In this session we discuss tips and tricks for getting the most out of your supervisions to maximize your success as a researcher. Note that this session will have no faculty in the audience in order to allow people to speak openly about their experiences. 

Cell-to-cell variability is often a primary source of variability in experimental data. Yet, it is common for mathematical analysis of biological systems to neglect biological variability by assuming that model parameters remain fixed between measurements. In this two-part talk, I present new mathematical and statistical tools to identify cell-to-cell variability from experimental data, based on mathematical models with random parameters. First, I identify variability in the internalisation of material by cells using approximate Bayesian computation and noisy flow cytometry measurements from several million cells. Second, I develop a computationally efficient method for inference and identifiability analysis of random parameter models based on an approximate moment-matched solution constructed through a multivariate Taylor expansion. Overall, I show how analysis of random parameter models can provide more precise parameter estimates and more accurate predictions with minimal additional computational cost compared to traditional modelling approaches.

Here is the program.

Auslander-Reiten theory provides lots of powerful tools to study algebras of finite representation type. One of these is Auslander correspondence, a well-known result establishing a bijection between the class of algebras of finite representation type and their corresponding Auslander algebras. I will present these classical results in a key example: the class of algebras associated to quivers of type A_n. I will talk about well-known results regarding their derived equivalence with another class of algebras, and I will present a more recent result regarding the perfect derived category of the Auslander algebras of type A_n.

Monumo is interested in computing physical properties of electric motors (torque, efficiency, back EMF) from their designs (shapes, materials, currents). This involves solving Maxwell's equations (non-linear PDEs). They currently compute the magnetic flux, and then use that to compute the other properties of interest. The main challenge they face is that they want to do this for many, many different designs. There seems to be lots of redundancy here, but exploiting it has proved difficult.

The Zilber-Pink conjecture predicts that there should be only finitely
many algebraic numbers t such that the three elliptic curves with
j-invariants t, -t, 2t are all isogenous to each other.  Using previous
work of Habegger and Pila, it suffices to prove a height bound for such
t.  I will outline the proof of this height bound by viewing periods of
the elliptic curves as values of G-functions.  An innovation in this
work is that both complex and p-adic periods are required.  This is
joint work with Christopher Daw.

In this talk, we consider the sensitivity to the model uncertainty of an optimization problem. By introducing adapted Wasserstein perturbation, we extend the classical results in a static setting to the dynamic multi-period setting. Under mild conditions, we give an explicit formula for the first order approximation to the value function. An optimization problem with a cost of weak type will also be discussed.

Associated to any smooth projective curve C is its degree d Jacobian variety, parametrising isomorphism classes of degree d line bundles on C. Letting the curve vary as well, one is led to the universal Jacobian stack. This stack admits several compactifications over the stack of marked stable curves, depending on the choice of a stability condition. In this talk I will introduce these compactified universal Jacobians, and explain how their moduli spaces can be constructed using Geometric Invariant Theory (GIT). This talk is based on arXiv:2210.11457.

Electric 1-form symmetries are generically broken in gauge theories with Chern-Simons terms. In this talk we discuss how infinite subsets of these symmetries become non-invertible topological defects. Time permitting we will also discuss generalizations and applications to the Swampland program in relation to the completeness hypothesis.

Combining the classical theory of optimal transport with modern operator splitting techniques, I will present a new numerical method for nonlinear, nonlocal partial differential equations, arising in models of porous media,materials science, and biological swarming. Using the JKO scheme, along with the Benamou-Brenier dynamical characterization of the Wasserstein distance, we reduce computing the solution of these evolutionary PDEs to solving a sequence of fully discrete minimization problems, with strictly convex objective function and linear constraint. We compute the minimizer of these fully discrete problems by applying a recent, provably convergent primal dual splitting scheme for three operators. By leveraging the PDE’s underlying variational structure, ourmethod overcomes traditional stability issues arising from the strong nonlinearity and degeneracy, and it is also naturally positivity preserving and entropy decreasing. Furthermore, by transforming the traditional linear equality constraint, as has appeared in previous work, into a linear inequality constraint, our method converges in fewer iterations without sacrificing any accuracy. We prove that minimizers of the fully discrete problem converge to minimizers of the continuum JKO problem as the discretization is refined, and in the process, we recover convergence results for existing numerical methods for computing Wasserstein geodesics. Simulations of nonlinear PDEs and Wasserstein geodesics in one and two dimensions that illustrate the key properties of our numerical method will be shown.

We will be joined by Frances Kirwan to talk about the various careers available for Mathematicians and how to be a successful applicant.

This talk is motivated by work on the existence theory for viscoelasticity of Kelvin-Voigt type with non-convex stored energies (joint with K. Koumatos (U. of Sussex), C. Lattanzio and S. Spirito (U. of LAquila)), which shows propagation of H1-regularity for the deformation gradient of weak solutions for semiconvex stored energies. It turns out that weak solutions with deformation gradient in H1 are in fact unique in two-space dimensions, providing a striking analogy to corresponding results in the theory of 2D Euler equations with bounded vorticity.

While weak solutions still exist for initial data in L2, oscillations on the deformation gradi- ent can now persist and propagate in time. This can be seen via a counterexample indicating that for non-monotone stress-strain relations in 1-d oscillations of the strain lead to solutions with sustained oscillations. The existence of sustained oscillations in hyperbolic-parabolic system is then studied in several examples motivated by viscoelasticity and thermoviscoelas- ticity. Sufficient conditions for persistent oscillations are developed for linear problems, and examples in some nonlinear systems of interest. In several space dimensions oscillatory exam- ples are associated with lack of rank-one convexity of the stored energy. Nonlinear examples in models with thermal effects are also developed.

What sets the size and form of living organisms is still, by large, an open question. During this talk, I will illustrate how we are addressing this question by examining the links between spatial scales, from subcellular to organ, both experimentally and theoretically. First, I will present how we are deriving continuous plant growth mechanical models using homogenisation. Second, I will discuss how directionality of organ growth emerges from cell level. Last, I will present predictions of fluctuations at multiple scales and experimental tests of these predictions, by developing a data analysis approach that is broadly relevant to geometrically disordered materials.

Persistent homology is both a powerful framework for data science and a fruitful source of mathematical questions. Here, we will give an introduction to both single-parameter and multiparameter persistent homology. We will see some examples of how topology has been successfully applied to the real world, and also explore some of the pure-mathematical ideas that arise from this new perspective.

We are surrounded by systems that involve many elements and the interactions between them: the air we breathe, the galaxies we watch, herds of animals roaming the African planes and even us – trying to decide on whom to vote for.

As common as such systems are, their mathematical investigation is far from simple. Motivated by the realisation that in most cases we are not truly interested in the individual behaviour of each and every element of the system but in the average behaviour of the ensemble and its elements, a new approach emerged in the late 1950s - the so-called mean field limits approach. The idea behind this approach is fairly intuitive: most systems we encounter in real life have some underlying pattern – a correlation relation between its elements. Giving a mathematical interpretation to a given phenomenon and its emerging pattern with an appropriate master/Liouville equation, together with such correlation relation, and taking into account the large number of elements in the system results in a limit equation that describes the behaviour of an average limit element of the system. With such equation, one hopes, we could try and understand better the original ensemble.

In our talk we will give the background to the formation of the ideas governing the mean field limit approach and focus on one of the original models that motivated the birth of the field – Kac’s particle system. We intend to introduce Kac’s model and its associated (asymptotic) correlation relation, chaos, and explore attempts to infer information from it to its mean field limit – The Boltzmann-Kac equation.

Conformal blocks appear in several areas of mathematical physics from random geometry to black hole physics. A probabilistic notion of conformal blocks using gaussian multiplicative chaos measures was recently formulated by Promit Ghosal, Guillaume Remy, Xin Sun, Yi Sun (arxiv:2003.03802). In this talk, I will show that the semiclassical limit of the probabilistic conformal blocks recovers a special case of the elliptic form of Painlevé VI equation, thereby proving a conjecture by Zamolodchikov. This talk is based on an upcoming paper with Promit Ghosal and Andrei Prokhorov.

Since their introduction by Gromov in the 80s, a wealth of tools have been developed to study hyperbolic groups. Thus, when studying a class of groups, a characterisation of those that are hyperbolic can be very useful. In this talk, we will turn to the class of one-relator groups. In previous work, we showed that a one-relator group not containing any Baumslag--Solitar subgroups is hyperbolic, provided it has a Magnus hierarchy in which no one-relator group with a so called `exceptional intersection' appears. I will define one-relator groups with exceptional intersection, discuss the aforementioned result and will then provide a characterisation of the hyperbolic one-relator groups with exceptional intersection. Finally, I will then discuss how this characterisation can be used to establish properties for all one-relator groups.

Rational functions are able to approximate functions containing branch point singularities with a root-exponential convergence rate. These appear for example in the solution of boundary value problems on domains containing corners or edges. Results from Newman in 1964 indicate that the poles of the optimal rational approximant are exponentially clustered near the branch point singularities. Trefethen and collaborators use this knowledge to linearize the approximation problem by fixing the poles in advance, giving rise to the Lightning approximation. The resulting approximation set is however highly ill-conditioned, which raises the question of stability. We show that augmenting the approximation set with polynomial terms greatly improves stability. This observation leads to a  decoupling of the approximation problem into two regimes, related to the singular and the smooth behaviour of the function. In addition, adding polynomial terms to the approximation set can result in a significant increase in convergence speed. The convergence rate is however very sensitive to the speed at which the clustered poles approach the singularity.

A Latin square of order n is an n by n grid filled with n different symbols so that every symbol occurs exactly once in each row and each column, while a transversal in a Latin square is a collection of cells which share no row, column or symbol. The Ryser-Brualdi-Stein conjecture states that every Latin square of order n should have a transversal with n-1 elements, and one with n elements if n is odd. In 2020, Keevash, Pokrovskiy, Sudakov and Yepremyan improved the long-standing best known bounds on this conjecture by showing that a transversal with n-O(log n/loglog n) elements exists in any Latin square of order n. In this talk, I will discuss how to show, for large n, that a transversal with n-1 elements always exists.

We outline Dirac cohomology for Lie algebras and Vogan’s conjecture. We then cover some basic material on Schur-Weyl duality and Arakawa-Suzuki functors. Finishing with current efforts and results on generalising Vogan’s conjecture to a Schur-Weyl duality setting. This would relate the centre of a Lie algebra with the centre of the relevant tantaliser algebra. We finish by considering a unitary module X and giving a bound on the action of the tantalizer algebra.

Most algorithms for computing a matrix function $f(A)$ are based on finding a rational (or polynomial) approximant $r(A)≈f(A)$ to the scalar function on the spectrum of $A$. These functions are often in a composite form, that is, $f(z)≈r(z)=r_k(⋯r_2(r_1(z)))$ (where $k$ is the number of compositions, which is often the iteration count, and proportional to the computational cost); this way $r$ is a rational function whose degree grows exponentially in $k$. I will review algorithms that fall into this category and highlight the remarkable power of composite (rational) functions.

Standard twistor theory involves a complex projective
3-space PT which naturally divides into two halves PT+
and PT–, joined by their common 5-real-dimensional
boundary PN. However, this splitting has two quite
different basic physical interpretations, namely
positive/negative helicity and positive/negative
frequency, which ought not to be confused in the
formalism, and the notion of “bi-twistors” is introduced
to resolve this issue. It is found that quantized bi-
twistors have a previously unnoticed G2* structure,
which enables the split-octonion algebra to be directly
formulated in terms of quantized bi-twistors, once the
appropriate complex structure is incorporated.

So-called Schauder estimates are a standard tool in the analysis of linear elliptic and parabolic PDE. They have been originally obtained by Hopf (1929, interior case), and by Schauder and Caccioppoli (1934, global estimates). The nonlinear case is a more recent achievement from the ’80s (Giaquinta & Giusti, Ivert, Lieberman, Manfredi). All these classical results hold in the uniformly elliptic framework. I will present the solution to the longstanding problem, open since the ‘70s, of proving estimates of such kind in the nonuniformly elliptic setting. I will also cover the case of nondifferentiable functionals and provide a complete regularity theory for a new double phase model. From joint work with Giuseppe Mingione (University of Parma).

In this talk, I will discuss the (non-)construction of the focusing Gibbs measures and the associated dynamical problems. This study was initiated by Lebowitz, Rose, and Speer (1988) and continued by Bourgain (1994), Brydges-Slade (1996), and Carlen-Fröhlich-Lebowitz (2016). In the one-dimensional setting, we consider the mass-critical case, where a critical mass threshold is given by the mass of the ground state on the real line. In this case, I will show that the Gibbs measure is indeed normalizable at the optimal mass threshold, thus answering an open question posed by Lebowitz, Rose, and Speer (1988).

In the three dimensional-setting, I will first discuss the construction of the $\Phi^3_3$-measure with a cubic interaction potential. This problem turns out to be critical, exhibiting a phase transition:normalizability in the weakly nonlinear regime and non-normalizability in the strongly nonlinear regime. Then, I will discuss the dynamical problem for the canonical stochastic quantization of the $\Phi^3_3$-measure, namely, the three-dimensional stochastic damped nonlinear wave equation with a quadratic nonlinearity forced by an additive space-time white noise (= the hyperbolic $\Phi^3_3$-model). As for the local theory, I will describe the paracontrolled approach to study stochastic nonlinear wave equations, introduced in my work with Gubinelli and Koch (2018). In the globalization part, I introduce a new, conceptually simple and straightforward approach, where we directly work with the (truncated) Gibbs measure, using the variational formula and ideas from theory of optimal transport.

The first part of the talk is based on a joint work with Philippe Sosoe (Cornell) and Leonardo Tolomeo (Bonn/Edinburgh), while the second part is based on a joint work with Mamoru Okamoto (Osaka) and Leonardo Tolomeo (Bonn/Edinburgh).

Ideal triangulations were introduced by Thurston as a tool for studying hyperbolic three-manifolds.  Taut ideal triangulations were introduced by Lackenby as a tool for studying "optimal" representatives of second homology classes.

After these applications in geometry and topology, it is time for dynamics. Veering triangulations (taut ideal triangulations with certain decorations) were introduced by Agol to study the mapping tori of pseudo-Anosov homeomorphisms.  Gueritaud gave an alternative construction, and then Agol and Gueritaud generalised it to find veering triangulations of three-manifolds admitting pseudo-Anosov flows (without perfect fits).

We prove the converse of their result: that is, from any veering triangulation we produce a canonical dynamic pair of branched surfaces (in the sense of Mosher).  These give flows on appropriate Dehn fillings of the original manifold.  Furthermore, our construction and that of Agol--Gueritaud are inverses.  This then gives a "perfect" combinatorialisation of pseudo-Anosov flow (without perfect fits).

This is joint work with Henry Segerman.

For a family of finite sets whose cardinalities are naturally called class numbers, the Gauss problem asks to determine the subfamily in which every member has class number one. We study the Siegel moduli space of abelian varieties in characteristic $p$ and solve the Gauss problem for the family of central leaves, which are the loci consisting of points whose associated $p$-divisible groups are isomorphic. Our solution involves mass formulae, computations of automorphism groups, and a careful analysis of Ekedahl-Oort strata in genus $4$. This geometric Gauss problem is closely related to an arithmetic Gauss problem for genera of positive-definite quaternion Hermitian lattices, which we also solve.

I will talk about homological enumerative invariants for vector bundles on algebraic curves. These invariants were defined by Joyce, and encode rich information about the moduli space of semistable vector bundles, such as its volume and intersection numbers, which were computed by Witten, Jeffrey and Kirwan in previous work. I will define a notion of regularization of divergent infinite sums, and I will express the invariants explicitly as such a divergent sum in a vertex algebra.

While there have been substantial successes of actor-critic methods in continuous control, simpler critic-only methods such as Q-learning often remain intractable in the associated high-dimensional action spaces. However, most actor-critic methods come at the cost of added complexity: heuristics for stabilisation, compute requirements as well as wider hyperparameter search spaces. To address this limitation, we demonstrate in two stages how a simple variant of Deep Q Learning matches state-of-the-art continuous actor-critic methods when learning from simpler features or even directly from raw pixels. First, we take inspiration from control theory and shift from continuous control with policy distributions whose support covers the entire action space to pure bang-bang control via Bernoulli distributions. And second, we combine this approach with naive value decomposition, framing single-agent control as cooperative multi-agent reinforcement learning (MARL). We finally add illustrative examples from control theory as well as classical bandit examples from cooperative MARL to provide intuition for 1) when action extrema are sufficient and 2) how decoupled value functions leverage state information to coordinate joint optimization.

Argyres—Douglas (AD) theories are 4d N=2 SCFTs which have some unusual features, and until recently, explicit holographic duals of these theories were unknown. We will consider a concrete class of these theories obtained by wrapping the 6d N=(2,0) ADE theories on a (twice) punctured sphere: one irregular and one regular puncture, and construct their holographic duals. The novel aspects of these solutions require a relaxation of the regularity conditions of the usual Gaiotto—Maldacena framework and to allow for brane singularities. We show how to construct the dictionary between the AdS(5) solutions and the field theory and match observables between the two. If time allows, I will comment on some on-going work about further compactifying the AD theories on spindles, or the 6d theories on four-dimensional orbifolds.