The organisers asked me to give a brief talk on what I’ve been thinking about lately. So, I’ll tell you about Schwinger-Keldysh EFTs: an EFT framework for non-equilibrium dissipative systems such as hydrodynamics. These are built on a closed-time contour that runs forward and backward in time, allowing access to a variety of non-equilibrium observables. However, these EFTs fundamentally miss a wider class of observables, called out-of-time-ordered correlators (OTOCs), which are closely tied to quantum chaos. In this talk, I’ll share some thoughts on extending Schwinger-Keldysh EFTs to multifold contours that capture such observables. I’ll also touch on the discrete KMS symmetry of thermal systems, which generalises from Z_2 in the single-fold case to the dihedral group D_n in the n-fold case. With any luck, I’ll reach the point where I’m stuck and you can help me figure it out.

Two different, almost orthogonal approaches to QFT are: (1) the study of von Neumann algebras of local observables in flat space, and (2) the study of extended and topological defects in general spacetime manifolds. While naively the two focus on different aspects, it has been recently pointed out that some of the axioms of approach (1) clash with certain expectations from approach (2). In this JC talk, I’ll give a brief introduction to both approaches and review the recent discussion in [2008.11748], [2503.20863], and [2509.03589], explaining (i) what the tensions are, (ii) a recent proposal to solve them, and (iii) why it can be useful.

to follow

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.

Permutons are a framework set up for understanding large permutations, and are instrumental in pattern densities. However, they miss most of the algebraic properties of permutations. I will discuss what can still be said in this direction, and some possible ways to move beyond permutons. Joint with Fiona Skerman and Peter Winkler.

We propose a new framework of Markov α-potential games to study Markov games. 

We show that any Markov game with finite-state and finite-action is a Markov α-potential game, and establish the existence of an associated α-potential function. Any optimizer of an α-potential function is shown to be an α-stationary Nash equilibrium. We study two important classes of practically significant Markov games, Markov congestion games and the perturbed Markov team games, via the framework of Markov α-potential games, with explicit characterization of an upper bound for αand its relation to game parameters. 

Additionally, we provide a semi-infinite linear programming based formulation to obtain an upper bound for α for any Markov game. 

Furthermore, we study two equilibrium approximation algorithms, namely the projected gradient- ascent algorithm and the sequential maximum improvement algorithm, along with their Nash regret analysis.

This talk is part of the Erlangen AI Hub.

A 2024 collection of articles in the Bulletin of the AMS asked "Will machines change mathematics?", suggesting that  "Pure mathematicians are used to enjoying a great degree of research autonomy and intellectual freedom, a fragile and precious heritage that might be swept aside by a mindless use of machines." and challenging readers to  "decide upon our subject’s future direction.”

This was a response to the mathematical capabilities of emerging technologies, alone or in combination. These techniques include  software such as LEAN for  providing formal proofs; use of LLMs to produce credible, if derivative, research papers with expert human guidance; specialist algorithms such as AlphaGeometry; and sophisticated use of machine learning to search for examples.  Their development (at huge cost in compute power and energy) has been accompanied by an unfamiliar and exuberant level of hype from well-funded start-ups claiming to “solve mathematics” and the like. And it raises questions beyond the technical concerning governance, funding and the nature of the mathematical profession.

To try and understand what’s going on we look historical examples of changes in mathematical practice - as an example we consider key developments in the early days of computational group theory.

The speaker is keen to hear of colleagues using LLMs, LEAN or similar things in research, even if they can’t come to the talk.