Past

Matrix-product state (MPS) skeletons are connected networks of local one-dimensional quantum lattice models with ground states admitting an MPS representation with finite bond dimension. In this talk, I will discuss how such skeletons underlie certain families of models obeying the Onsager algebra, and how these simple ground states provide a route to explicitly computing correlation functions.

A group is said to be matricially stable if every function from the group to unitary matrices that is "almost multiplicative" in the point-operator norm topology is "close," in the same topology, to a genuine representation. A result of Dadarlat shows that even cohomology obstructs matricial stability. The obstruction in his proof can be realized as follows. To each almost-representation,  a vector bundle may be associated. This vector bundle has topological invariants, called Chern characters, which lie in the even cohomology of the group. If any of these invariants are nonzero, the almost-representation is far from a genuine representation. The first Chern character can be computed with the "winding number argument" of Kazhdan, Exel, and Loring, but the other invariants are harder to compute explicitly. In this talk, Professor Forrest Glebe will discuss results that allow the computation of higher invariants in specific cases: when the failure to be multiplicative is scalar (joint work with Marius Dadarlat) and when the failure to be multiplicative is small in a Schatten p-norm.

What do the roots of random polynomials look like? Classical works of Erdős-Turán and others show that most roots are near the unit circle and they are approximately rotationally equidistributed. We will begin with an understanding of why this happens and see how ideas from extremal combinatorics can mix with analytic and probabilistic arguments to show this. Another main feature of random polynomials is that their roots tend to "repel" each other. We will see various quantitative statements that make this rigorous. In particular, we will study the smallest separation $m_n$ between pairs of roots and show that typically $m_n$ is on the order of $n^{-5/4}$. We will see why this reflects repulsion between roots and discuss where this repulsion comes from. This is based on joint work with Oren Yakir.

Logarithmic and orbifold structures provide two independent ways to model curves in a variety with tangency along a normal crossings divisor. The associated systems of Gromov-Witten invariants benefit from complementary techniques; this has motivated extensive interest in comparing the two approaches.

I will report on work in which we establish a complete comparison which, crucially, incorporates negative tangency orders. Negative tangency orders appear naturally in the boundary splitting formalisms of both theories. As such, our comparison opens the way for the wholesale importation of techniques from one side to the other. Work of Sam Johnston uses our comparison to give a new proof of the associativity of the Gross-Siebert intrinsic mirror ring.

Along the way, I will discuss the pathological geometry of negative tangency mapping spaces, and how this can be understood and controlled via tropical geometry. A crucial contribution of our work is the discovery of a "refined virtual class" on the logarithmic moduli space, which gives rise to a distinguished sector of the Gromov-Witten theory.

This is joint work with Luca Battistella and Dhruv Ranganathan.

Consider a tail trivial, positively associated site percolation process such that the set of open vertices is stochastically dominated by the set of closed ones. We show that, for any planar graph $G$, such a process must contain zero or infinitely many infinite connected components. The assumptions cover Bernoulli site percolation at parameter $p$ less than or equal to one half, resolving a conjecture of Benjamini and Schramm. As a corollary, we prove that $p_c$ is greater than or equal to $1/2$ for any unimodular, invariantly amenable planar graphs.

We will then apply this percolation statement to the loop $O(n)$ model on the hexagonal lattice, and show that, whenever $n$ is between $1$ and $2$ and $x$ is between $1/\sqrt{2}$ and $1$, the model exhibits infinitely many loops surrounding every face of the lattice, giving strong evidence for conformally invariant behavior in the scaling limit (as conjectured by Nienhuis).

This is joint work with Alexander Glazman (University of Innsbruck) and Nathan Zelesko (Northeastern University).

Migrant communities shape cross-border investment to their country of origin by reducing

information frictions and attitudes bias. Whether these benefits spill over to locals depends

not only on the size of the diaspora but also on the intensity of interaction between migrants

and locals in the host country. I present a theoretical model with agent-based simulation to

study how homophily between migrants and locals affects information and attitude diffusion

in the host society. I implement varying homophily preferences in a Schelling-style

segregation model and compare two diffusion processes: (i) a simple susceptible–infected

(SI) model for information diffusion; (ii) an adoption-threshold model for attitude diffusion.

For information diffusion, preliminary results indicate that higher homophily slows the

spread and confines diffusion within the migrant group, especially under high segregation. In

the attitude model, adoption varies non-monotonically with homophily. I also provide an

initial analysis of how these patterns interact with different migrant population shares and

seeding rules.

Introduced by Lusztig in the eighties, character sheaves are the geometrical counterpart of irreducible representations of finite groups of Lie type. Defined over algebraic groups, they allow us to use geometrical tools to deduce information on the finite groups. In this talk, Marie Roth will give a definition of character sheaves before explaining how to compute their restriction to conjugacy classes (to some extent). This work was part of her PhD thesis under the supervision of Olivier Dudas and Gunter Malle.

Energy correlations characterise the energy flux through detectors at infinity produced in a collision event. In CFTs, these detectors are examples of light-ray operators and, in particular, the stress tensor operator integrated over future null infinity. In N=4 SU(N_c) SYM, we combine perturbation theory, holography, integrability, supersymmetric localisation, and modern conformal bootstrap techniques to obtain predictions for such a collider experiment at finite coupling, both at finite number of colours, and in the planar limit. In QCD, the coupling runs with the angle between detectors, and there is a transition from perturbative to non-perturbative QCD. In N=4 SYM, a similar transition occurs when the coupling is varied, which we explore quantitatively. I will describe the physics underlying this observable and some of the methods used, particularly in regimes with analytical control.

Cellular adhesion is a fundamental mechanism underlying diverse collective cell behaviours, from tissue self-organisation in developmental biology to the formation of directional queues that guide cell migration. Modelling such interactions has also proven mathematically rich, motivating the use of continuum partial differential equation models that capture adhesion through nonlocal interaction kernels. These models can, for instance, reproduce classical cell-sorting patterns arising from differential adhesion in mixtures of cell populations. In this talk, we briefly review such models and explain how a local approximation of nonlocal aggregation–diffusion equations can be derived in the limit of short-range interactions. We then discuss recent advances in the field and highlight new results on pattern formation driven by adhesive interactions in migrating and proliferating cell populations, as well as in systems of nonreciprocally interacting cells.

Equations of fluctuating hydrodynamics, also called Dean-Kawasaki type equations, are stochastic PDEs describing the evolution of finitely many interacting particles which obey a Langevin equation. First, we give a mathematical derivation for such equations. The focus is on systems of interacting particles described by second order Langevin equations. For such systems,  the equations of fluctuating hydrodynamics are a stochastic variant of Vlasov-Fokker-Planck equations, where the noise is white in space and time, conservative and multiplicative. We show a dichotomy previously known for purely diffusive systems holds here as well: Solutions exist only for suitable atomic initial data, but provably not for any other initial data. The class of systems covered includes several models of active matter. We will also discuss regularisations, where existence results hold under weaker assumptions. 

The Deligne-Beilinson conjecture predicts that the special values of many L-functions are related to the ranks of certain Ext groups in the category of mixed Hodge structures. In this talk, we present Skinner’s constructions of certain extensions that are extracted from the cohomology of the modular curve using CM points and the Eisenstein series. Through an explicit analytic calculation, which is performed in the adelic setting using (g,K)-cohomology and Tate’s zeta integrals, we obtain a formula relating the non-triviality of these extensions to the well-known non-vanishing at s=1 of the L-functions associated to Hecke characters of imaginary quadratic fields. These constructions have natural analogs in the category of p-adic Galois representations which are useful for Euler systems.

We consider targeted intervention problems in dynamic network and graphon games. First, we study a general dynamic network game in which players interact over a graph and seek to maximize their heterogeneous, concave goal functionals. We establish the existence and uniqueness of a Nash equilibrium in both the finite-player network game and the corresponding infinite-player graphon game, and prove its convergence as the number of players tends to infinity. We then introduce a central planner who implements a dynamic targeted intervention. Given a fixed budget, the central planner maximizes the average welfare at equilibrium by perturbing the players' heterogeneous goal functionals. Using a novel fixed-point argument, we prove the existence and uniqueness of an optimal intervention in the graphon setting, and show that it achieves near-optimal performance in large finite networks. Finally, we study the special case of linear-quadratic goal functionals and derive semi-explicit solutions for the optimal intervention.

 

This is a joint work with Sturmius Tuschmann.  

I will relate two notorious open questions in low-dimensional topology.  The first asks whether every hyperbolic group is residually finite. The second, the congruence subgroup property, relates the finite-index subgroups of mapping class groups to the topology of the underlying surface. I will explain why, if every hyperbolic group is residually finite, then mapping class groups enjoy the congruence subgroup property. Time permitting, I may give some further applications to the question of whether hyperbolic 3-manifolds are determined by the finite quotients of their fundamental groups.

I will discuss an ascending filtration on the Chow group of zero-cycles on a smooth projective variety obtained roughly by considering the successive kernels of the iterates of some modified diagonal embedding of the variety. This filtration is particularly relevant in the case of abelian varieties and of hyper-Kähler varieties, where it is expected to be opposite to the conjectural Bloch-Beilinson filtration. In the case of abelian varieties, it can in fact be described explicitly in terms of the Beauville decomposition, while in the case of hyper-Kähler varieties, I conjecture (and prove in some cases) that it coincides with a filtration introduced earlier by Claire Voisin. As a by-product we obtain in joint work with Olivier Martin a criterion involving second Chern classes for two effective zero-cycles on a moduli space of stable objects on a K3 surface to be rationally equivalent, generalising a result of Marian-Zhao.

Modern deep learning methods provide the state-of-the-art in image reconstruction in most areas of computational imaging. However, such techniques are very data hungry and in a number of key imaging problems access to ground truth data is challenging if not impossible. This has led to the emergence of a range of self-supervised learning algorithms for imaging that attempt to learn to image without ground truth data. 

In this talk I will review some of the existing techniques and look at what is and might be possible in self-supervised imaging.

Classical finite element methods discretize scalar functions using piecewise polynomials. Vector finite elements, such as those developed by Raviart-Thomas, Nédélec, and Brezzi-Douglas-Marini in the 1970s and 1980s, have since undergone significant theoretical advancements and found wide-ranging applications. Subsequently, Bossavit recognized that these finite element spaces are specific instances of Whitney’s discrete differential forms, which inspired the systematic development of Finite Element Exterior Calculus (FEEC). These discrete topological structures and patterns also emerge in fields like Topological Data Analysis.

In this talk, we present an overview of discrete and finite element differential forms motivated by applications from topological hydrodynamics, alongside recent advancements in tensorial finite elements. The Bernstein-Gelfand-Gelfand (BGG) sequences encode the algebraic and differential structures of tensorial problems, such as those encountered in solid mechanics, differential geometry, and general relativity. Discretization of the BGG sequences extends the periodic table of finite elements, originally developed for Whitney forms, to include Christiansen’s finite element interpretation of Regge calculus and various distributional finite elements for fluids and solids as special cases. This approach further illuminates connections between algebraic and geometric structures, generalized continuum models, finite elements, and discrete differential geometry.

Mathematicians often like to think of maths as objective. Science communicator Hana Ayoob joins us to discuss how the fact that humans do maths means that the ways maths is developed, used, and communicated are not neutral.

This session will look at how you can get the most out of your lectures and tutorials. We’ll talk about how to prepare effectively, make lectures more productive, and understand what tutors expect from you during tutorials. You’ll leave with practical tips to help you study more confidently and make your learning time count.

This session is likely to be most relevant for first-year undergraduates, but all are welcome.

Cell and tissue movement during development, immune response, and cancer invasion depends on chemical or mechanical guidance cues. In many systems, this guidance arises not from long-range, pre-patterned cues but from self-generated gradients locally shaped by cells. However, how heterogeneous cell mixtures coordinate their migration by self-generated gradients remains largely unexplored. In this talk, I will first summarize our recent discovery that immune cells steer their long-range migration using self-generated chemotactic cues (Alanko et al., 2023). I will then introduce a multi-component Keller-Segel model that describes migration and patterning strategies of heterogeneous cell populations (Ucar et al., 2025). Our model predicts that the relative chemotactic sensitivities of different cell populations determine the shape and speed of traveling density waves, while boundary conditions such as external cell and attractant reservoirs substantially influence the migration dynamics. We quantitatively corroborate these predictions with in vitro experiments on co-migrating immune cell mixtures. Interestingly, immune cell co-migration occurs near the optimal parameter regime predicted by theory for coupled and colocalized migration. Finally, I will discuss the role of mechanical interactions, revealing a non-trivial interplay between chemotactic and mechanical non-reciprocity in driving collective migration.
 

An old conjecture of Graham asks whether there are infinitely many integers n such that \binom{2n}{n} is coprime to 105. This is equivalent to asking whether there are infinitely many integers which only have the digits 0,1 in base 3, 0,1,2 in base 5, and 0,1,2,3 in base 7. In general, one can ask whether there are infinitely many integers which only have 'small' digits in multiple bases simultaneously. For two bases this was established in 1975 by Erdos, Graham, Ruzsa, and Straus, but the case of three or more bases is much more mysterious. I will discuss recent joint work with Ernie Croot, in which we prove that (assuming the bases are sufficiently large) there are infinitely many integers such that almost all of the digits are small in all bases simultaneously. 

I will discuss some of my work on thermal correlators in AdS/CFT. In particular, given a thermal correlator, how are the characteristic properties of bulk black holes encoded in such correlators? This includes exploring the spectrum of QNMs, the so-called thermal product formula, the photon ring, and geodesics bouncing off the black hole singularity. I will discuss how the latter might change when finite string effects are considered.

Optimal damping consists of identifying a viscosity vector that maximizes the decay rate of a mechanical system's response. This can be rephrased as minimizing the trace of the solution of a Lyapunov equation whose coefficient matrix, representing the system dynamics, depends on the dampers' viscosities. The latter must be nonnegative for a physically meaningful solution, and the system must be asymptotically stable at the solution.

In this talk, we present conditions under which the system is never stable or may not be stable for certain values of the viscosity vector, and, in the latter case, discuss how to modify the constraints so as to guarantee stability. We show that the KKT conditions of our nonlinear optimization problem are equivalent to a viscosity-dependent nonlinear residual function that is equal to zero at an optimal viscosity vector. To minimize this residual function, we propose a Barzilai-Borwein residual minimization algorithm (BBRMA) and a spectral projection gradient algorithm (SPG). The efficiency of both algorithms relies on a fast computation of the gradient for BBRMA, and both the objective function and its gradient for SPG. By fully exploiting the low-rank structure of the problem, we show how to compute these in $O(n^2)$ operations, $n$ being the size of the mechanical system.

This is joint work with Qingna Li (Beijing Institute of Technology).

In continuum kinetic models of quasineutral plasmas, binary collisions between particles are represented by the bilinear Fokker-Planck collision operator. In full-F kinetic models, which solve for the entire particle probability distribution function, it is important to correctly capture this operator, which pushes the system towards thermodynamic equilibrium. We show a multi-species, conservative, finite element implementation of this operator, using the continuum Galerkin representation, in the Julia programming language. A Jacobian-free-Newton-Krylov solver is used to implement a backward-Euler time advance. We present several example problems that demonstrate the performance of the implementation, and we speculate on future applications.

You can cut a cake in half, a pizza into slices, but can you cut an infinite group? I'll tell you about my sensei's secret cutting technique and demonstrate a couple of examples. There might be some spectral goodies at the end too. 

When doing arithmetic geometry, it is helpful to have invariants of the objects which we are studying that see both the arithmetic and the geometry. Motivic homotopy theory allows us to produce new invariants which generalise classical topological invariants, such as the Euler characteristic of a variety. These motivic invariants not only recover the classical topological ones, but also provide arithmetic information. In this talk, I'll review the construction of a motivic Euler characteristic, then study its arithmetic properties, and mention some applications. I'll then talk about work in progress with Ran Azouri, Stephen McKean and Anubhav Nanavaty which studies a "higher Euler characteristic", allowing us to produce an invariant of automorphisms valued in an arithmetically interesting group. I'll then talk about how to relate part of this invariant to a more classical invariant of quadratic forms.

The 2d (massless) Sinh-Gordon model is amongst the simplest 2d quantum field theories that are expected to be integrable (= infinitely many symmetries), but without conformal symmetry. In this talk I will explain a rigorous construction of this model and its vertex correlations (= Laplace transforms) on the infinite cylinder using probability theory. A fundamental role is played by the Sinh-Gordon Hamiltonian and I will explain how the theory of Gaussian multiplicative chaos can be used to analyze this linear map. This talk will be based on joint work with Colin Guillarmou and Vincent Vargas.

We study the fixed points of the Berezin transform on the Fock-type spaces F^{2}_{m} with the weight e^{-|z|^{m}}, m > 0. It is known that the Berezin transform is well-defined on the polynomials in z and \bar{z}. In this talk from Ghazaleh Asghari from Reading University, we focus on the polynomial fixed points and we show that these polynomials must be harmonic, except possibly for countably many m \in (0,\infty). We also show that, in some particular cases, the fixed point polynomials are harmonic for all m.

I will speak about my work with Helge Ruddat on how to construct explicitly log structures and morphisms. I will also discuss some motivation. I will try to stay informal and assume no prior knowledge of log structures.

Given a set $A$ and a scalar $\lambda$, how large must the sum of dilate $A+\lambda\cdot A=\{a+\lambda a'\mid a,a'\in A\}$ be in terms of $|A|$? In this talk, we will discuss two different settings of this problem, and how they relate to each other.

• For transcendental $\lambda\in \mathbb{C}$ and $A\subset \mathbb{C}$, how does $|A+\lambda\cdot A|$ grow with $|A|$?
• For a fixed large $\lambda\in \mathbb{Z}$ and even larger prime $p$, with $A\subset \mathbb{Z}/p\mathbb{Z}$, how does the density of $A+\lambda\cdot A$ depend on the density of $A$?

Joint with David Conlon.

Major depressive disorder (MDD) is a heterogeneous mental disorder. International guidelines present overall symptom severity as the key dimension for clinical characterisation. However, additional layers of heterogeneity may reside within severity levels related to how symptoms interact with one-another in a patient, called symptom dynamics. We investigate these individual differences by estimating the proportion of patients that display differences in their symptom dynamics while sharing the same diagnosis and overall symptom severity. We show that examining symptom dynamics provides information about the person-specific psychopathological expression of patients beyond severity levels by revealing how symptoms aggravate each other over time. These results suggest that symptom dynamics may serve as a promising new dimension for clinical characterisation. Areas of opportunity are outlined for the field of precision psychiatry in uncovering disorder evolution patterns (e.g., spontaneous recovery; critical worsening) and the identification of granular treatment effects by moving toward investigations that leverage symptom dynamics as their foundation. Future work aimed at investigating the cascading dynamics underlying depression onset and maintenance using the large-scale (N > 5.5 million) CIPA Study are outlined. 

In this talk, David Luo will use type theory to construct a family of depth $\frac{1}{N}$ minimax supercuspidal representations of $p$-adic $\text{GL}(2N, F)$ which we call \textit{middle supercuspidal representations}. These supercuspidals may be viewed as a natural generalization of simple supercuspidal representations, i.e. those supercuspidals of minimal positive depth. Via explicit computations of twisted gamma factors, David will show that middle supercuspidal representations may be uniquely determined through twisting by quasi-characters of $F^{\times}$ and simple supercuspidal representations of $\text{GL}(N, F)$. Furthermore, David poses a conjecture which refines the local converse theorem for general supercuspidal representations of $\text{GL}(n, F)$.

The Friedmann--Lemaitre--Robertson--Walker family of spacetimes are the standard homogenous isotropic cosmological models in general relativity.  Each member of this family describes a torus, evolving from a big bang singularity and expanding indefinitely to the future, with expansion rate encoded by a suitable scale factor.  I will discuss a mixing effect which occurs for the Vlasov equation on these spacetimes when the expansion rate is suitably slow.

 This is joint work with Renato Velozo Ruiz (Imperial College London).

For families of Calabi-Yau threefolds, we derive an explicit formula to count the number of points over $\mathbb{F}_{q}$ in terms of the periods of the holomorphic three-form, illustrated by the one-parameter mirror quintic and the 5-parameter Hulek-Verrill family. The formula holds for conifold singularities and naturally incorporates p-adic zeta values, the Yukawa coupling and modularity in the local zeta function. I will give a brief introduction on the physics motivation and how this framework links arithmetic, geometric and physics.

Random Fields with posses the Markov Property have played an important role in the development of Constructive Field Theory. They are related to their relativistic counterparts through Nelson Reconstruction. In this talk I will describe an attempt to understand the Markov Property of the $\Phi^4$ measure in 3 dimensions. We will also discuss the Properties of its Generator (i.e) the $\Phi^4_3$ Hamiltonian. This is based on Joint work with T. Gunaratnam.

A 2-connected, rational homotopy 7-sphere is classified up to diffeomorphism by three invariants: its (finite) 4th cohomology group, its q-invariant and its Eells-Kuiper invariant.  The q-invariant is a quadratic refinement of the linking form and determines the homeomorphism type, while the Eells-Kuiper invariant then pins down the diffeomorphism type.  In this talk, I will discuss the diffeomorphism classification of a certain family of non-negatively curved, 2-connected, rational homotopy 7-spheres, discovered by Sebastian Goette, Krishnan Shankar and myself, which contains, in particular, all $S^3$-bundles over $S^4$ and all exotic 7-spheres.

Transfer learning is a machine learning technique that leverages knowledge acquired in one domain to improve learning in another, related task. It is a foundational method underlying the success of large language models (LLMs) such as GPT and BERT, which were initially trained for specific tasks. In this talk, I will demonstrate how reinforcement learning (RL), particularly continuous time RL, can benefit from incorporating transfer learning techniques, especially with respect to convergence analysis. I will also show how this analysis naturally yields a simple corollary concerning the stability of score-based generative diffusion models.

Based on joint work with Zijiu Lyu of UC Berkeley.

How do you efficiently look for jobs?

How can you make the most of careers fairs?

What makes a CV or cover letter stand out?

Get practical advice and bring your questions!

In this talk I will give a gentle introduction to some aspects of the theory of hypergeometric functions as a natural language for addressing various integrals appearing in quantum field theory (QFT). In particular I will focus on the so-called intersection pairings as well as the differential equations satisfied by the integrals, and I will show how these aspects of the mathematical theory can find a natural interpretation in concrete QFT applications. I will mostly focus on Feynman integrals as paradigmatic example, where the language will shed new light on our most powerful method for computing Feynman integrals as well as their non-local symmetries. I will then give an outlook how these methods could allow us to also learn about integrals appearing in other places in field and string theory, such as Coulomb branch amplitudes, celestial holography and AdS (supergravity and string) amplitudes.