Past

Shimura varieties are highly symmetric algebraic varieties that play an important role in the Langlands program. In the first part of the talk, I will try to give you a sense of what they are like, with a focus on their different kinds of symmetries. In the second part of the talk, I will introduce Igusa stacks, a powerful new tool in the study of Shimura varieties. To illustrate their role, I will discuss how Igusa stacks can shed light on the many structures that exist on the intersection cohomology of Shimura varieties. This is joint work in progress with Linus Hamann and Mingjia Zhang.

In the past years, deep learning algorithms have been applied to numerous classical problems from mathematical finance. In particular, deep learning has been employed to numerically solve high-dimensional derivatives pricing and hedging tasks. Theoretical foundations of deep learning for these tasks, however, are far less developed. In this talk, we start by revisiting deep hedging and introduce a recently developed adversarial training approach for making it more robust. We then present our recent results on theoretical foundations for approximating option prices, solutions to jump-diffusion PDEs and optimal stopping problems using (random) neural networks, allowing to obtain more explicit convergence guarantees. We address neural network expressivity, highlight challenges in analysing optimization errors and show the potential of random neural networks for mitigating these difficulties.

Dr Carolina Urzua Torres will talk about 'Paving the way to a T-coercive method for the wave equation'

Space-time Galerkin methods are gradually becoming popular, since they allow adaptivity and parallelization in space and time simultaneously. A lot of progress has been made for parabolic problems, and its success has motivated an increased interest in finding space-time formulations for the wave equation that lead to unconditionally stable discretizations. In this talk I will discuss some of the challenges that arise and some recent work in this direction.

In particular, I will present what we see as a first step toward introducing a space-time transformation operator $T$ that establishes $T$-coercivity for the weak variational formulation of the wave equation in space and time on bounded Lipschitz domains. As a model problem, we study the ordinary differential equation (ODE) $u'' + \mu u = f$ for $\mu>0$, which is linked to the wave equation via a Fourier expansion in space. For its weak formulation, we introduce a transformation operator $T_\mu$ that establishes $T_\mu$-coercivity of the bilinear form yielding an unconditionally stable Galerkin-Bubnov formulation with error estimates independent of $\mu$. The novelty of the current approach is the explicit dependence of the transformation on $\mu$ which, when extended to the framework of partial differential equations, yields an operator acting in both time and space. We pay particular attention to keeping the trial space as a standard Sobolev space, simplifying the error analysis, while only the test space is modified.
The theoretical results are complemented by numerical examples.  

The computation of accurate low-rank matrix approximations is central to improving the scalability of various techniques in machine learning, uncertainty quantification, and control. Traditionally, low-rank approximations are constructed using SVD-based approaches such as truncated SVD or RandomizedSVD. Although these SVD approaches---especially RandomizedSVD---have proven to be very computationally efficient, other low-rank approximation methods can offer even greater performance. One such approach is the CUR decomposition, which forms a low-rank approximation using direct row and column subsets of a matrix. Because CUR uses direct matrix subsets, it is also often better able to preserve native matrix structures like sparsity or non-negativity than SVD-based approaches and can facilitate data interpretation in many contexts. This paper introduces IterativeCUR, which draws on previous work in randomized numerical linear algebra to build a new algorithm that is highly competitive compared to prior work: (1) It is adaptive in the sense that it takes as an input parameter the desired tolerance, rather than an a priori guess of the numerical rank. (2) It typically runs significantly faster than both existing CUR algorithms and techniques such as RandomizedSVD, in particular when these methods are run in an adaptive rank mode. Its asymptotic complexity is  $\mathcal{O}(mn + (m+n)r^2 + r^3)$ for an $m\times n$ matrix of numerical rank $r$. (3) It relies on a single small sketch from the matrix that is successively downdated as the algorithm proceeds.

You will likely be familiar with the notion of a hydrogen atom, having seen something about its discrete energy levels and orbitals at some point or another. This is an example of a quantum system. In this talk, we explore what transpires when taking a quantum system and placing it into a three-dimensional container having some prescribed geometry. In the limit where the container is large (relative to the natural lengthscale of the quantum system), its influence over the quantum system is negligible; yet, as the container is made small (comparable to the aforementioned lengthscale), geometric information intrinsic to the container plays an important role in determining the energy and orbital structure of the system. We describe how to do (numerically-assisted) perturbation theory in this small-container limit and then match it to the large-box regime, using a combination of these asymptotics and direct simulations to tell the story of geometrically confined quantum systems. Much of our focus will be on linear Schrödinger equations governing single-particle quantum systems; however, time permitting, we will briefly discuss how to do similar things to study geometrically confined nonlinear Schrödinger equations, with geometric confinement of Bose-Einstein condensates being a primary motivation. Geometric confinement of an attractive Bose-Einstein condensate can, for instance, modify the collapse threshold and enhance stability, with the particular choice of confining geometry shifting the boundary of instability, staving off the collapse which is prevalent in three-dimensional attractive condensates.

A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; a core companion of a theory $T$ is a model-complete core theory $S$ such that every model of $T$ maps homomorphically to a model of $S$ and vice-versa. Whilst core companions may not exist in general, if they exist, they are unique. Moreover, $\omega$-categorical theories always have a core companion, which is also $\omega$-categorical.

In the first part of this talk, we show that many model-theoretic properties, such as stability, NIP, simplicity, and NSOP, are preserved when moving to the core companion of a complete theory.

In the second part of this talk, we study the notion of core interpretability, which arises by taking the core companions of structures interpretable in a given structure. We show that there are structures which are core interpretable but not interpretable in $(\mathbb{N};=)$ or $(\mathbb{Q};<)$. We conjecture that the class of structures which are core interpretable in $(\mathbb{N};=)$ equals the class of $\omega$-stable first-order reducts of finitely homogeneous relational structures, which was studied by Lachlan in the 80's. We present some partial results in this direction, including the answer a question of Walsberg.

This is joint work with Manuel Bodirsky and Bertalan Bodor.

 Given a group acting on a metric space X, one is often interested in the kernel of the action, consisting of those elements that fix every point of X. From a coarse geometric perspective, however, this notion is unsatisfactory, as the kernel is generally not invariant under G-equivariant quasi-isometries. To address this, one can instead consider the coarse kernel, defined as the collection of group elements that move every point of X by a uniformly bounded amount. In this talk, we study this coarse kernel under various assumptions on the action. 

When the action is geometric, we give a purely algebraic characterisation of the coarse kernel as the FC-centre of the group. We then specialise to actions on CAT(0) spaces, where we investigate the coarse kernel via the curtain model, a hyperbolic space associated to a CAT(0) space introduced by Petyt, Spriano, and Zalloum. Along the way, we will meet centralisers, boundaries, and actions on hyperbolic spaces! This is based on my summer project supervised by Davide Spriano and Harry Petyt.

Given a Galois representation attached to a regular algebraic cuspidal automorphic representation, the Hodge--Tate weight of the Galois representation is matched with the weight of the automorphic representation. Serre weight conjectures are mod p analogue of such a correspondence, relating ramification at p of a mod p Galois representation and Serre weights of mod p algebraic automorphic forms. In this talk, I will discuss how to understand Serre weight conjectures and modularity lifting as a relationship between representation theory of finite groups of Lie type (e.g. GSp4(Fp)) and the geometry of p-adic local Galois representations. Then I will explain the proof idea in the case of GSp4. This is based on a joint work with Daniel Le and Bao V. Le Hung.

AF-embeddability, i.e., the question whether a given C*-algebra can be realised as a subalgebra of an AF-algebra, has been studied for a long time with prominent early results by Pimsner and Voicuescu who constructed such embeddings for irrational rotation algebras in 1980. Since then, many AF-embeddings have been constructed for concrete examples but also many non-constructive AF-embeddability results have been obtained for classes of algebras typically assuming the UCT. 

In this talk by Joachim Zacharias, we will consider a separable unital C*-algebra A of decomposition rank at most 1 and construct from a suitable system of 1-decomposable cpc-approximations an AF-algebra E together with an embedding of A into E and a conditional expectation of E onto A without assuming the UCT. We also consider some extensions of this inclusion and indicate some applications.

The asymptotic large N limit of random matrices often transforms classical concepts (independence, cumulants, partitions of sets) into their free counter-parts (free independence, free cumulants, non-crossing partitions) and the limit of random matrices gives rise to interesting operator algebras. I will explain these relations, with a particular emphasis on the effect of non-linear functions on the entries of random matrices

How much does the derived ($\infty$-)category of a scheme remember? In this talk, I will consider this question in the context of deformation theory and make precise the close relationship between the deformation theory of a scheme and its derived category. Along the way, I will also introduce some basics of derived deformation theory and pay special attention to mixed and positive characteristic phenomena. This talk is based on my recent work https://arxiv.org/abs/2512.24347.

I'll discuss how to show 3D Poincaré duality and residual finiteness are together incompatible with property (T).

An edge-colouring of a graph $G$ can fail to be rainbow for two reasons: either it contains a monochromatic cherry (a pair of incident edges), or a monochromatic matching of size two. A colouring is a proper colouring if it forbids the first structure, and a star-colouring if it forbids the second structure. I will talk about the problem of determining the maximum number of colours in a star-colouring of a large complete graph which does not contain a rainbow copy of a given graph $H$. This problem is a special case of one studied by Axenovich and Iverson on generalised Ramsey numbers.

Joint work with Allan Lo, Klas Markström, Dhruv Mubayi, Maya Stein and Lea Weber.

We introduce a graph renormalization procedure based on the coarse-grained Laplacian, which generates reduced-complexity representations across scales. This method retains both dynamics and large-scale topological structures, while reducing redundant information, facilitating the analysis of large graphs by decreasing the number of vertices. Applied to graphs derived from electroencephalogram recordings of human brain activity, our approach reveals collective behavior emerging from neuronal interactions, such as coordinated neuronal activity. Additionally, it shows dynamic reorganization of brain activity across scales, with more generalized patterns during rest and more specialized and scale-invariant activity in the occipital lobe during attention.

Yotam Hendel will discuss how polynomial maps can be studied by examining the analytic behavior of pushforwards of regular measures under them over finite and local fields. 

The guiding principle is that bad singularities of a map are reflected in poor analytic behavior of its pushforward measures. Yotam will present several results in this direction, as well as applications to areas such as counting points over finite rings and representation growth. 

Based on joint work with I. Glazer, R. Cluckers, J. Gordon, and S. Sodin.

The flow of viscous fluid through a soft porous medium exerts drag on the matrix and induces non-uniform deformation. This behaviour can become increasingly complicated when the medium has a complex rheology, such that deformations exhibit elastic (reversible) and plastic (irreversible) behaviour, or when the rheology has a viscous component, making the response of the medium rate dependent. This is perhaps particularly the case when compaction is repeated over many cycles, or when additional forces (e.g. gravity or an external load) act simultaneously with flow to compact the medium, as in many industrial and geophysical applications. Here, we explore the interaction of viscous effects with elastic and plastic media from a theoretical standpoint, focussing on unidirectional compaction. We initially consider how the medium responds to the reversal of flow forcing when some of its initial deformation is non-recoverable. More generally, we explore how spatial variations in stress arising from fluid flow interact with the stress history of the sample when some element of its rheology is plastic and rate-dependent, and characterise the response of the medium depending on the nature of its constitutive laws for effective stress and permeability.

Consider a scalar conservation law with a spatially discontinuous flux at a single point x = 0, and assume that the flux is uniformly convex when x ̸= 0. I will discuss controllability problems for AB-entropy solutions associated to the so-called (A, B)-interface connection. I will first present a characterization of the set of profiles of AB-entropy solutions at a time horizon T > 0, as fixed points of a backward-forward solution operator. Next, I will address the problem of identifying the set of initial data driven by the corresponding AB-entropy solution to a given target profile ω T, at a time horizon T > 0. These results rely on the introduction of proper concepts of AB-backward solution operator, and AB-genuine/interface characteristics associated to an (A, B)-interface connection, and exploit duality properties of backward/forward shocks for AB-entropy solutions.
 

Based on joint works with Luca Talamini (SISSA-ISAS, Trieste)

The classical Leopoldt conjecture predicts that the global units of a number field (tensored with Qp) inject into the local units at p. In this talk, I'll discuss some non-abelian generalisations of this in the setting of Galois representations.

The talk will be about a natural percolation model built from the so-called Brownian loop soup. We will give sense to studying its phase transition in dimension d = 2 + epsilon, with epsilon varying in [0,1], and discuss how to perform a rigorous „epsilon-expansion“ in this context. Our methods give access to a whole family of universality classes, and elucidate the behaviour of critical exponents etc. near the (lower-)critical dimension, which for this model is d=2. 

Based on joint work with Wen Zhang.

By work of Goodwillie-Weiss, given any manifold $M$ with boundary, there is a cosimplicial space whose totalization is a close approximation to the space of embedding of $[0,1]$ in $M$ with fixed behaviour at the boundary. The resulting homology spectral sequence is known to collapse rationally for $M=\mathbb{R}^n$ by work of Lambrechts-Turchin and Volic. I will explain a new proof of this result which can be generalized to a manifold of the form $M=X\times[0,1]$ with $X$ a smooth and proper complex algebraic variety. This involves constructing an action of some Galois group on the completion of the cosimplicial space. This is joint work with Pedro Boavida de Brito and Danica Kosanovic.

We consider a class of Lagrangian sections L contained in certain Calabi-Yau Lagrangian fibrations (mirrors of toric weak Fano manifolds). We prove that a form of the Thomas-Yau conjecture holds in this case: L is isomorphic to a special Lagrangian section in this class if and only if a stability condition holds, in the sense of a slope inequality on objects in a set of exact triangles in the Fukaya-Seidel category. This agrees with general proposals by Li. On
surfaces and threefolds, under more restrictive assumptions, this result can be used to show a precise relation with Bridgeland stability, as predicted by Joyce. Based on arXiv:2505.07228 and arXiv:2508.17709.

Dominik Lukeš from the AI Competency Centre will give an introductory survey of AI in relation to programming.

Zigzag persistence enables tracking topological changes in time-dependent data such as video streams. Nevertheless, traditional methods face severe computational and memory bottlenecks. In this talk, I show how the zigzag persistence of image sequences can be reduced to a graph problem, making it possible to leverage the near-linear time algorithm of Dey and Hou. By invoking Alexander duality, we obtain both H₀ and H₁ at the same computational cost, enabling fast computation of homological features. This speed-up brings us close to real-time analysis of dynamical systems, and, if time permits, I will outline how it opens the door to new applications such as the study of PDE dynamics using zigzag persistence, with the Gray-Scott diffusion equation as a motivating example.

theories on the lattice based on symmetry disentanglers: constant-depth
circuits of local unitaries that transform not-on-site symmetries into on-
site ones. When chiral symmetry can be realized not-on-site and such a
disentangler exists, the symmetry can be implemented in a strictly local
Hamiltonian and gauged by standard lattice methods. Using lattice ro-
tor models, we realize this idea in 1+1 and 3+1 spacetime dimensions
for U (1) symmetries with mixed ’t Hooft anomalies, and show that sym-
metry disentanglers can be constructed when anomalies cancel. As an
example, we present an exactly solvable Hamiltonian lattice model of the
(1+1)-dimensional “3450” chiral gauge theory, and we argue that a related
construction applies to the U (1) hypercharge symmetry of the Standard
Model fermions in 3+1 dimensions. Our results open a new route toward
fully local, nonperturbative formulations of chiral gauge theories.

In this talk, I'm going to give an introduction to my area of research, which concerns automorphic L-functions. We're going to start by introducing the ring of adeles and how it leads us to an integral representation of the Riemann zeta function. We'll see how this can be generalised for an arbitrary automorphic representation and pose general conjectures which resemble the Riemann Hypothesis. I'll finish by presenting the statement and an idea behind my recent result related to those conjectures.

Normal heart function relies of the fine-tuned synchronization of cellular components. In healthy hearts, calcium oscillations and physical contractions are coupled across a synchronised network of 3 billion heart cells. When the process of functional isolation of rogue cells isn’t successful, the network becomes maladapted, resulting in cardiovascular diseases, including heart failure and arrythmia. To advance knowledge on this normal-to-disease transition we must first address the lack of a mechanistic understanding of the plastic readaptation of these networks. In this talk I will explore coupling and loss of synchronisation using a mathematical model of calcium oscillations informed by experimental data. I will show some preliminary results pointing at the heterogeneity hidden behind seemingly uniform cell populations, as a causative mechanism behind disrupted dynamics in maladapted networks.

Conventional data feeds from exchanges, even L3 feeds, generally only tell one what happened: accepted submissions of maker and taker orders,  cancellations, and the evolution of the order book and the best bid and ask prices. However, by analyzing a dataset derived from the blockchain of the highly liquid cryptocurrency exchange Hyperliquid, we are able to see all messages (4.5 bn in our one-month sample), including rejections. Unexpectedly, almost 60% of message traffic is generated by submission and subsequent rejection of a single order type: post-only limit orders sent to the 'wrong' (aggressive) side of the book, for example a buy limit order at a price at or above the best ask. Such orders are automatically rejected on arrival except in the (rare) case that the price moves up while the order is in transit. Nearly 30% of message traffic relates to cancellations, leaving a small fraction for all other messages.

I shall describe this order flow in detail, then address the question of why message traffic is dominated by rejected submissions which, by their nature, do not influence the order book in any way at all, and are invisible to all traders except the submitter. We propose that the reason lies in a market-making strategy whose aim is to gain queue priority immediately after any price change, and I shall show how the evidence supports this hypothesis. I shall also discuss the risk/return characteristics of the strategy, and finally discuss its pivotal role in replenishing liquidity following a price move.

Joint work with Jakob Albers, Mihai Cucuringu and Alex Shestopaloff.

Speaker Yongho Park will talk about 'Subspace Correction Methods for Convex Optimization: Algorithms, Theory, and Applications'

This talk considers a framework of subspace correction methods for convex optimization, which provides a unified perspective for the design and analysis of a wide range of iterative methods, including advanced domain decomposition and multigrid methods. We first develop a convergence theory for parallel subspace correction methods based on the observation that these methods can be interpreted as nonlinearly preconditioned gradient descent methods. This viewpoint leads to a simpler and sharper analysis compared with existing approaches. We further show how the theory can be extended to semicoercive and nearly semicoercive problems. In addition, we explore connections between subspace correction methods and other classes of iterative algorithms, such as alternating projection methods, through the lens of convex duality, thereby enabling a unified treatment. Several applications are presented, including nonlinear partial differential equations, variational inequalities, and mathematical imaging problems. The talk concludes with a discussion of relevant and emerging research directions.

Flat space holography, if there really is such a thing, is intimately related to Carrollian geometry. I will give an introduction to Carrollian geometry, and discuss how many Carrollian spaces of interest arise as homogeneous spaces of the Poincaré group. Finally, I will discuss the construction of Cartan geometries modelled on these spaces.

Speaker Edward Tansley will talk about: 'Low-rank functions in machine learning'

Functions that vary along a low-dimensional subspace of their input space, often called multi-index or low-rank functions, frequently arise in machine learning. Understanding how such structure emerges can provide insight into the learning dynamics of neural networks. One line of work that explores how networks learn low-rank data representations is the Neural Feature Ansatz (NFA), which states that after training, the Gram matrix of the first-layer weights of a deep network is proportional to some power of the average gradient outer product (AGOP) of the network with respect to its inputs. Existing results prove this relationship for 2-layer linear networks under balanced initialization. In this work, we extend these results to general L-layer linear networks and remove the assumption of balanced initialization for networks trained with weight decay.

 Is it possible to define gauge theories on singular spaces? The answer to this question is emphatically yes​, and the prime example of such spaces are two-dimensional orbifolds known as spindles​. First, I will introduce spindles from a symplectic geometry perspective. Then I will discuss the notion of orbi-bundles, which allows one to consistently describe regular gauge fields/spinors on orbifolds.

In recent years, a more top-down approach to renormalisation for singular SPDEs has emerged within the theory of regularity structures, based on regularity structures of multi-indices. This approach adopts a geometric viewpoint, aiming to stably parametrise the solution manifold rather than the larger space of renormalised objects that typically arise in fixed-point formulations of the equation. While several works have established the construction of the renormalised data (the model) in this setting, less has been shown with regards to the corresponding solution theory since the intrinsic nature of the model leads to renormalised data that is too lean to apply Hairer’s fixed-point approach.

In this talk, I will discuss past and ongoing work with L. Broux and F. Otto addressing this issue for the Phi^4 equation in its full subcritical regime. We establish local and global well-posedness within the framework of regularity structures of multi-indices; first in a space-time periodic setting and subsequently in domains with Dirichlet boundary conditions.

Given a quantum Hamiltonian, represented as an $N \times N$ Hermitian matrix $H$, we derive an expression for the largest Lyapunov exponent of the classical trajectories in the phase space appropriate for the dynamics induced by $H$. To this end we associate to $H$ a graph with $N$ vertices and derive a quantum map on functions defined on the directed edges of the graph. Using the semiclassical approach in the reverse direction we obtain the corresponding classical evolution (Liouvillian) operator. Using ergodic theory methods (Sinai, Ruelle, Bowen, Pollicott\ldots) we obtain closed expressions for the Lyapunov exponent, as well as for its variance. Applications for random matrix models will be presented.

Convex geometry has long been influenced by the study of dualities and extremal inequalities, with origins in classical affine geometry and functional analysis. In this talk, Kasia Wyczesany will explore an abstract concept of duality, focusing on the classical idea of the polar set, which captures the duality of finite-dimensional normed spaces. This notion leads to fundamental questions about volume products, inspiring some of the most famous inequalities in the field. Whilst Mahler’s influential 1939 conjecture regarding the minimiser of the volume product will be mentioned, the emphasis will be on the Blaschke–Santaló inequality, which identifies the maximiser, along with its modern extensions. Main new results are joint work with S. Artstein-Avidan and S. Sadovsky, and S. Artstein-Avidan and M. Fradelizi.