Tue, 28 Oct 2025

14:00 - 15:00
L4

Erdős–Hajnal and VC-dimension

Tung Nguyen
(University of Oxford)
Abstract

A 1977 conjecture of Erdős and Hajnal asserts that for every hereditary class of graphs not containing all graphs, every graph in the class has a polynomial-sized clique or stable set. Fox, Pach, and Suk and independently Chernikov, Starchenko, and Thomas asked whether this conjecture holds for every class of graphs of bounded VC-dimension. In joint work with Alex Scott and Paul Seymour, we resolved this question in the affirmative. The talk will introduce the Erdős–Hajnal conjecture and discuss some ideas behind the proof of the bounded VC-dimension case.

Mon, 03 Nov 2025

16:30 - 17:30
L4

Rigidity in the Ginzburg–Landau equation from S2 to S2

Matilde Gianocca
(ETH Zurich)
Abstract

The Ginzburg–Landau energy is often used to approximate the Dirichlet energy. As the perturbation parameter tends to zero, critical points of the Ginzburg–Landau energy converge, in an appropriate (bubbling) sense, to harmonic maps. In this talk I will first explain key analytical properties of this approximation procedure, then show that not every harmonic map can be approximated in this way. This is based on a rigidity theorem: under the energy threshold of 8pi, we classify all solutions of the associated nonlinear elliptic system from S2 to S2, thereby identifying exactly which harmonic maps can arise as Ginzburg–Landau limits in this regime.

Mon, 02 Feb 2026

16:30 - 17:30
L4

Mean-field limits of non-exchangeable interacting diffusions on co-evolutionary networks

Prof. David Poyato
(University of Granada)
Abstract
Multi-agent systems are ubiquitous in Science, and they can be regarded as large systems of interacting particles with the ability to generate large-scale self-organized structures from simple local interactions rules between each agent and its neighbors. Since the size of the system is typically huge, an important question is to connect the microscopic and macroscopic scales in terms of mean-field limits, which is a fundamental problem in Physics and Mathematics closely related to Hilbert Sixth Problem. In most real-life applications, the communication between agents is not based on uniform all-to-all couplings, but on highly heterogeneous connections, and this makes agents distinguishable. However, the classical strategies based on mean-field limits are strongly based on the crucial assumption that agents are indistinguishable, and it therefore does not apply to our distinguishable setting, so that we need substantially new ideas.
 
In this talk I will present a recent work about the rigorous derivation of the mean-field limit for systems of non-exchangeable interacting diffusions on co-evolutionary networks. While previous research has primarily addressed continuum limits or systems with linear weight dynamics, our work overcomes these restrictions. The main challenge arises from the coupling between the network weight dynamics and the agents' states, which results in a non-Markovian dynamics where the system’s future depends on its entire history. Consequently, the mean-field limit is not described by a partial differential equation, but by a system of non-Markovian stochastic integrodifferential equations. A second difficulty stems from the non-linear weight dynamics, which requires a careful choice for the limiting network structure. Due to the limitations of the classical theory of graphons (Lovász and Szegedy, 2006) in handling non-linearities, we employ K-graphons (Lovász and Szegedy, 2010), also termed probability-graphons (Abraham, Delmas, and Weibel, 2025). This framework pro seems to provide a natural topology that is compatible with such non-linearities.
 
This is a joint work with Julián Cabrera-Nyst (University of Granada).
Wed, 12 Nov 2025
11:00
L4

TBA

Trishen Gunaratnam
(Tata Institute for Fundamental Research)
Wed, 05 Nov 2025
11:00
L4

Coming up from $-\infty$ for KPZ via stochastic control

Carlos Villanueva Mariz
(Free University Berlin)
Abstract

We derive a lower bound, independent of the initial condition, for the solution of the KPZ equation on the torus, using its representation as the value function of a stochastic control problem.

With the same techniques we also prove a bound for its oscillation, again independent of initial conditions, which is related to Harnack's inequality for the (rough) heat equation.

 

Tue, 04 Nov 2025
12:00
L4

Lean tutorial (part 1)

Remy Degenne
(INRIA LILLE)
Abstract
This tutorial will be a hands-on introduction to proving theorems in Lean, using its mathematical library Mathlib. It will not assume any previous knowledge about formal theorem provers. We will discover the Lean language, learn how to read a statement and a proof, and learn the essential "tactics" one can use to prove theorems in Lean.
Participants should come with a computer, and it would be best if they could install Lean before the tutorial by following the instructions at https://lean-lang.org/install/ . The installation should be easy and takes only a few minutes.
Tue, 25 Nov 2025

14:00 - 15:00
L4

TBA

Maria-Romina Ivan
(University of Cambridge, Stanford University)
Wed, 22 Oct 2025
11:00
L4

Two partition-function approaches to non-symmetric random tensor eigenvalues

Giacomo La Scala
(Oxford University)
Abstract
At large N, random matrices with Gaussian distributed entries follow the Wigner semicircular law for the distribution of their eigenvalues. Random tensors are of interest in contexts of d > 2 dimensional quantum theories but do not enjoy simple generalisations of eigenvalues. Work has recently been done by Gurau to extend Wigner’s law to totally symmetric random tensors, with an approach inspired by the partition function of a Gaussian p-spin model. Starting from Gurau’s approach, I will motivate and introduce two new attempts to define and study eigenvalues of non-symmetric random tensors through partition functions, at finite and large N. One approach, based on a definition of a characteristic function, will be related to Gurau’s distribution. The other, based on a permuted definition of eigenvalues, will hint at a universality with differently-computed distributions for symmetric and complex random tensors.
Subscribe to L4