Past

Due to connections to flat space holography, Carrollian geometry, physics and fluid dynamics have received an explosion of interest over the last two decades. In the Carrollian limit of vanishing speed of light c, relativistic fluids reduce to a set of PDEs called the Carrollian fluid equations. Although in general these equations are not well understood, and their PDE theory does not appear to have been studied, in dimensions 1+1 it turns out that there is a duality with the Galilean compressible Euler equations in 1+1 dimensions inherited from the isomorphism of the Carrollian (c to 0) and Galilean (c to infinity) contractions of the Poincar\'e algebra. Under this duality time and space are interchanged, leading to different dynamics in evolution. I will discuss recent work with N. Athanasiou (Thessaloniki), M. Petropoulos (Paris) and S. Schulz (Pisa) in which we establish the first rigorous PDE results for these equations by introducing a notion of Carrollian isentropy and studying the equations using Lax’s method and compensated compactness. In particular, I will explain that there is global existence in rough norms but finite-time blow-up in smoother norms.

Galilean and Carrollian algebras are dual contractions of the Poincaré algebra. They act on two-dimensional Newton--Cartan and Carrollian manifolds and are isomorphic. A consequence of this property is a duality correspondence between one-dimensional Galilean and Carrollian fluids. I will describe the algebras and the dynamics of these systems as they emerge from the relevant  limits of Lorentzian hydrodynamics, and explore the advertised duality relationship. This interchanges longitudinal and transverse directions with respect to the flow velocity, and permutes equilibrium and out-of-equilibrium observables, unveiling specific features of Carrollian physics. I will also discuss the hydrodynamic-frame invariance in Lorentzian systems and its fate in the Galilean and Carrollian avatars.

Rank-based models for equity markets are reduced-form models where the asset dynamics depend on the rank that asset occupies in the investment universe. Such models are able to capture certain stylized macroscopic properties of equity markets, such as stability of the capital distribution curve and collision rates of stock rank switches. However, when calibrated to real equity data the models possess undesirable features such as an "Atlas stock" effect; namely the smallest security has an unrealistically large drift. Recently, Campbell and Wong (2024) identified that listings and delistings (i.e. entrances and exists) of securities in the market are important drivers for the stability of the capital distribution curve. In this work we develop a framework for ranked-based models with listings and delistings and calibrate them to data. By incorporating listings and delistings the calibration procedure no longer leads to an "Atlas stock" behaviour. Moreover, by studying an appropriate "local model", focusing on a specific target rank, we are able to connect collisions rates with a notion of particle density, which is more stable and easier to estimate from data than the collision rates. The calibration results are supported by novel theoretical developments such as a new master formula for functional generation of portfolios in this setting. This talk is based on joint work in progress with Martin Larsson and Licheng Zhang.  

A way to study rational points on a variety is by looking at their image in the p-adic points. Some natural questions that arise are the following: is there any obstruction to weak approximation on the variety? Which primes might be involved in it? I will explain how primes of good reduction can play a role in the Brauer-Manin obstruction to weak approximation, with particular emphasis on the case of K3 surfaces.

The Landau equation stands as one of the fundamental equations in kinetic theory and plays a key role in plasma physics. However, computing it presents significant challenges due to the complexity of the Landau operator,  the dimensionality, and the need to preserve the physical properties of the solution. In this presentation, I will introduce deep learning assisted particle methods aimed at addressing some of these challenges. These methods combine the benefits of traditional structure-preserving techniques with the approximation power of neural networks, aiming to handle high dimensional problems with minimal training. 

Junior Strings is a seminar series where DPhil students present topics of common interest that do not necessarily overlap with their own research area. This is primarily aimed at PhD students and post-docs but everyone is welcome.

On this talk we will focus on the family of aggregation-diffusion equations

Here, $\mathrm{m}(s)$ represents a continuous and compactly supported nonlinear mobility (saturation) not necessarily concave. $U$ corresponds to the diffusive potential and includes all the porous medium cases, i.e. $U(s) = \frac{1}{m-1} s^m$ for $m > 0$ or $U(s) = s \log (s)$ if $m = 1$. $V$ corresponds to the attractive potential and it is such that $V \geq 0$, $V \in W^{2, \infty}$.

Taking advantage of a family of approximating problems, we show the existence of $C_0$-semigroups of $L^1$ contractions. We study the $\omega$-limit of the problem, its most relevant properties, and the appearance of free boundaries in the long-time behaviour. Furthermore, since this problem has a formal gradient-flow structure, we discuss the local/global minimisers of the corresponding free energy in the natural topology related to the set of initial data for the $L^\infty$-constrained gradient flow of probability densities. Finally, we explore the properties of a corresponding implicit finite volume scheme introduced by Bailo, Carrillo and Hu.

The talk presents joint work with Prof. J.A. Carrillo and Prof. D.  Gómez-Castro.

Inversion problems, such as full waveform inversion (FWI), based on wave propagation, are computationally costly optimization processes used in many applications, ranging from seismic imaging to brain tomography. In most of these uses, high-order methods are required for both accuracy and computational efficiency. Within finite element methods (FEM), using high(er)-order can provide accuracy and the usage of flexible meshes. However, FEM are rarely employed in connection with unstructured simplicial meshes because of the computational cost and complexity of code implementation. They are used frequently with quadrilateral or hexahedral spectral finite elements, but the mesh adaptivity on those elements has not yet been fully explored. In this work, we address these challenges by developing software that leverages accurate higher-order mass-lumped simplicial elements with a mesh-adaption parameter, allowing us to take advantage of the computational efficiency of newer mass-lumped simplicial elements together with waveform-adapted meshes and the accuracy of higher-order function spaces. We also calculate these mesh-related parameters and develop software for high-order spectral element methods, allowing mesh flexibility. We will also discuss future developments. The open-source code was implemented using the Firedrake framework and the Unified Form Language (UFL), a mathematical-based domain specific language, allowing flexibility in a wide range of wave-based problems. 

The beautiful displays exhibited by fish schools and bird flocks have long fascinated scientists, but the role of their complex behavior remains largely unknown. In particular, the influence of hydrodynamic interactions on schooling and flocking has been the subject of debate in the scientific literature. I will present a model for flapping wings that interact hydrodynamically in an inviscid fluid, wherein each wing is represented as a plate that executes a prescribed time-periodic kinematics. The model generalizes and extends thin-airfoil theory by assuming that the flapping amplitude is small, and permits consideration of multiple wings through the use of conformal maps and multiply-connected function theory. We find that the model predictions agree well with experimental data on freely-translating, flapping wings in a water tank. The results are then used to motivate a reduced-order model for the temporally nonlocal interactions between schooling wings, which consists of a system of nonlinear delay-differential equations. We obtain a PDE as the mean-field limit of these equations, which we find supports traveling wave solutions. Generally, our results indicate how hydrodynamics may mediate schooling and flocking behavior in biological contexts.

We introduce ultrasolid modules, a variant of complete topological vector spaces. In this setting, we will prove some results in commutative algebra and apply them to the deformation of algebraic varieties in the language of derived algebraic geometry.

We present an existence and uniqueness result for nonlinear Fokker--Planck equations driven by rough paths. These equations describe the evolution of the probability distributions associated with McKean--Vlasov stochastic dynamics under (rough) common noise.  A key motivation comes from the study of interacting particle systems with common noise, where the empirical measure converges to a solution of such a nonlinear equation. 
Our approach combines rough path theory and the stochastic sewing techniques with Lions' differential calculus on Wasserstein spaces.

This is joint work with Peter K. Friz and Wilhelm Stannat.

The Critical 2d Stochastic Heat Flow arises as a non-trivial solution
of the Stochastic Heat Equation (SHE) at the critical dimension 2 and at a phase transition point.
It is a log-correlated field which is neither Gaussian nor a Gaussian Multiplicative Chaos.
We will review the phase transition of the 2d SHE, describe the main points of the construction of the Critical 2d SHF
and outline some of its features and related questions. Based on joint works with Francesco Caravenna and Rongfeng Sun.

A classical result of Dixmier and Douady enables us to classify locally trivial bundles of C*-algebras with compact operators as fibres via methods in homotopy theory. Dadarlat and Pennig have shown that this generalises to the much larger family of bundles of stabilised strongly self-absorbing C*-algebras, which are classified by the first group of the cohomology theory associated to the units of complex topological K-theory. Building on work of Evans and Pennig I consider Z/pZ-equivariant C*-algebra bundles over Z/pZ-spaces. The fibres of these bundles are infinite tensor products of the endomorphism algebra of a Z/pZ-representation. In joint work with Pennig, we show that the theory refines completely to this equivariant setting. In particular, we prove a full classification of the C*-algebra bundles via equivariant stable homotopy theory.

I will discuss various results and conjectures about off-diagonal hypergraph Ramsey numbers, focusing on recent developments.

I am interested in studying moduli spaces and associated enumerative invariants via degeneration techniques. Logarithmic geometry is a natural language for constructing and studying relevant moduli spaces. In this talk I  will explain the logarithmic Hilbert (or more generally Quot) scheme and outline how the construction helps study enumerative invariants associated to Hilbert/Quot schemes- a story we now understand well. Time permitting, I will discuss some challenges and key insights for studying moduli of stable vector bundles/ sheaves via similar techniques - a theory whose details are still being worked out. 

In this talk I will give an introduction to analogues to the classical finiteness conditions FP_n for totally disconnected locally compact groups. I will present a construction of non-discrete tdlc groups of arbitrary finiteness length. As a bi-product we also obtain a new collection of (discrete) Thompson-like groups which contains, for all positive integers n, groups of type FP_n but not of type FP_{n+1}. This is joint work with I. Castellano, B. Marchionna, and Y. Santos-Rego.

Networks provide a powerful language to model interacting systems by representing their units as nodes and the interactions between them as links. Interactions can be connotated in several ways, such as binary/weighted, undirected/directed, etc. In the present talk, we focus on the positive/negative connotation - modelling trust/distrust, alliance/enmity, friendship/conflict, etc. - by considering the so-called signed networks. Rooted in the psychological framework of the balance theory, the study of signed networks has found application in fields as different as biology, ecology, economics. Here, we approach it from the perspective of statistical physics by extending the framework of Exponential Random Graph Models to the class of binary un/directed signed networks and employing it to assess the significance of frustrated patterns in real-world networks. As our results reveal, it critically depends on i) the considered system and ii) the employed benchmark. For what concerns binary directed networks, instead, we explore the relationship between frustration and reciprocity and suggest an alternative interpretation of balance in the light of directionality. Finally,  leveraging the ERGMs framework, we propose an unsupervised algorithm to obtain statistically validated projections of bipartite signed networks, according to which any, two nodes sharing a statistically significant number of concordant (discordant) motifs are connected by a positive (negative) edge, and we investigate signed structures at the mesoscopic scale by evaluating the tendency of a configuration to be either `traditionally' or `relaxedly' balanced.

A set in the Euclidean plane is called an integer distance set if the distance between any pair of its points is an integer.  All so-far-known integer distance sets have all but up to four of their points on a single line or circle; and it had long been suspected, going back to Erdős, that any integer distance set must be of this special form. In a recent work, joint with Marina Iliopoulou and Sarah Peluse, we developed a new approach to the problem, which enabled us to make the first progress towards confirming this suspicion.  In the talk, I will discuss the study of integer distance sets, its connections with other problems, and our new developments.

Nakajima quiver varieties form an important class of examples of conical symplectic singularities. For example, such varieties of dimension 2 are Kleinian singularities. Starting from this, I will describe a combinatorial approach to classifying the next case, affine quiver varieties of dimension 4. If time permits, I will try to say the implications we obtained and how can one compute the number of crepant symplectic resolutions of these varieties. This is a joint project with Samuel Lewis.

I will discuss the recent progress in the numerical bootstrap of the 3d Ising CFT using the correlation functions of stress-energy tensor and the relevant scalars. This numerical bootstrap setup gives excellent results which are two orders of magnitude more accurate than the previous world's best. However, it also presents many significant technical challenges. Therefore, in addition to describing in detail the numerical results of this work, I will also explain the state-of-the art numerical bootstrap methods that made this study possible. Based on arXiv:2411.15300 and work in progress.

When it comes to the nonlinear heat equation u_t - \Delta u = u^p, a sharp condition for the stability of positive radial steady states was derived in the classical paper by Gui, Ni and Wang.  In this talk, I will present some recent joint work with Daniel Devine that focuses on a more general system of reaction-diffusion equations (which is also also known as the parabolic Henon-Lane-Emden system).  We obtain a sharp condition that determines the stability of positive radial steady states, and we also study the separation property of these solutions along with their asymptotic behaviour at infinity.

A generalisation of Wiles’ famous modularity theorem, the Fontaine-Mazur conjecture, predicts that two dimensional representations of the absolute Galois group of the rationals, with a few specific properties, exactly correspond to those representations coming from classical modular forms. Under some mild hypotheses, this is now a theorem of Kisin. In this talk, I will explain how one can p-adically interpolate the objects on both sides of this correspondence to construct an eigensurface and “trianguline” Galois deformation space, as well as outline a new approach to proving a theorem of Emerton, that these spaces are often isomorphic.