Past

Multiparameter persistent homology is a generalization of persistent homology that allows for more than a single filtration function. Such constructions arise naturally when considering data with outliers or variations in density, time-varying data, or functional data. Even though its algebraic roots are substantially more complicated, several new invariants have been proposed recently. In this talk, I will go over such invariants, as well as their stability, vectorizations and implementations in statistical machine learning.

In this Fridays@4 event – for this week renamed Fridays@1 (with lunchtime pizza) – Torkel Loman from the Mathematics Institute and Alastair McCullough from the Department of Computer Science will present their talks.

Torkel Loman
The behaviours of noisy feedback loops and where (in parameter space) to find them

Alastair McCullough 
Tech, Coffee, and the Regulation of Truth: An Enterprise Barista's Story

Torkel's abstract

Mixed positive/negative feedback loops (networks where a single component both activates and deactivates its own productions) are common across biological systems, and also the subject of this talk. Here (inspired by systems for e.g. bacterial antibiotics resistance), we create a minimal mathematical model of such a feedback loop. Our model (a stochastic delay differential equation) depends on only 6, biologically interpretable, parameters. We describe 10 distinct behaviours that such feedback loops can produce, and map their occurrence across 6-dimensional parameter space.

A monoid S is said to be weakly right coherent if every finitely generated right ideal of S is finitely presented as a right S-act. It is known that S is weakly right coherent if and only if it satisfies the following conditions: S is right ideal Howson, meaning that the intersection of any two finitely generated right ideals of S is finitely generated; and the right annihilator congruences r(a)={(u,v) in S x S | au=av} for each a in S are finitely generated as right congruences.

This talk will introduce basic semigroup theoretic concepts as is necessary before briefly surveying some important coherency-related results. Closure properties of the classes of monoids satisfying each of the above properties will be shared, with details explored for a specific construction. Time permitting, connections with axiomatisation will be discussed.

This talk will in part be based on a paper written with coauthors Craig Miller and Victoria Gould, preprint available at: arXiv:2411.03947.

Consumer-resource interactions are central to ecology, as all organisms rely on consuming resources to survive. Functional responses describe how a consumer's feeding rate changes with resource availability, influenced by processes like searching for, capturing, and handling resources. To study functional responses, experiments typically measure the amount of food consumed—often in discrete units like prey—over a set time. These experiments systematically vary prey availability to observe how it affects the consumer's feeding behaviour. The data generated by such experiments are often analysed using differential equation-based models. Here, we argue that such models do not represent a realistic data-generating process for many such experiments and propose an alternative stochastic individual-based model. This class of models, however, is expensive for inference, and we use machine learning methods to expedite fitting these models to data. We then use our method to do generalised linear model-based inference for a series of experiments conducted on a stickleback fish. Our methodology is made available to others in a Python package for Bayesian hierarchical inference for stochastic, individual-based models of functional responses.

Let F(x,y) be a polynomial over the complex numbers. The Elekes-Ronyai theorem says that if F(x,y) is not essentially addition or multiplication, then F(x,y) exhibits expansion: for any finite subset A, B of complex numbers of size n, the size of F(A,B)={F(a,b):a in A, b in B} will be much larger than n. In fact, it is proved that |F(A,B)|>Cn^{4/3} for some constant C. In this talk, I will present a recent joint work with Martin Bays, which is an asymmetric and higher dimensional version of the Elekes-Rónyai theorem, where A and B can be taken to be of different sizes and y a tuple. This result is achieved via a generalisation of the Elekes-Szabó theorem.

For some values of degrees d=(d_1,...,d_c), we construct a compactification of a Hilbert scheme of complete intersections of type d. We present both a quotient and a direct construction. Then we work towards the construction of a quasiprojective coarse moduli space of smooth complete intersections via Geometric Invariant Theory.

In this talk, I will introduce a dynamic model of a banking network in which the value of interbank obligations is continuously adjusted to reflect counterparty default risk. An interesting feature of the model is that the credit value adjustments increase volatility during downturns, leading to endogenous distress contagion. The counterparty default risk can be computed backwards in time from the obligations' maturity date, leading to a specification of the model in terms of a forward-backward stochastic differential equation (FBSDE), coupled through the banks' default times. The singular nature of this coupling, makes a probabilistic analysis of the FBSDE challenging. So, instead, we derive a characterisation of the default probabilities through a cascade of partial differential equations (PDE). Each PDE represents a configuration with a different number of defaulted banks and has a free boundary that coincides with the banks' default thresholds. We establish classical well-posedness of this PDE cascade, from which we derive existence and uniqueness of the FBSDE.

We talk about effective equidistribution of the expanding horocycles on the unit cotangent bundle of the modular surface with respect to various classes of Borel probability measures on the reals, depending on their Fourier asymptotics.  This is a joint work with Shreyasi Datta.

In this talk I will review some recent results concerning the qualitative behaviour of symplectic integrators applied to Hamiltonian PDEs, such as the nonlinear wave equation or Schrödinger equations. 

Additionally, I will discuss the problem of numerical resonances, the existence of modified energy and the existence and stability of numerical solitons over long times. 

These are works with B. Grébert, D. Bambusi, G. Maierhofer and K. Schratz. 

In string theory, elementary particles correspond to the various oscillation modes of fundamental strings, whose dynamics in spacetime is described by a two-dimensional conformal field theory on the worldsheet of the propagating strings. While the theory enjoys several desirable features - UV-finiteness, the presence of the graviton in the closed-string spectrum, a pathway to unification - several aspects remain elusive or unsatisfactory, including the on-shell and perturbative nature of string scattering amplitudes and the presence of infrared divergences. String field theory - the formulation of string theory as a quantum field theory - provides a unique and complete framework for describing string dynamics, allowing for example to compute off-shell amplitudes and non-perturbative contributions, to regulate infrared divergences and to approach background independence. This talk will be concerned with the construction of string field theories. Following a brief review of string theory, I will introduce the string fields, and discuss the construction of a string field action and the associated Feynman diagrams. Finally, I will mention some applications before concluding.

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.

This talk is about a classical problem in differential geometry and global analysis: the isometric immersions of Riemannian manifolds into Euclidean spaces. We focus on the PDE approach to isometric immersions, i.e., the analysis of Gauss--Codazzi--Ricci equations, especially in the regime of low Sobolev regularity. Such equations are not purely elliptic, parabolic, or hyperbolic in general, hence calling for analytical tools for PDEs of mixed types. We discuss various recent contributions -- in line with the pioneering works by G.-Q. Chen, M. Slemrod, and D. Wang [Proc. Amer. Math. Soc. (2010); Comm. Math. Phys. (2010)] -- on the weak continuity of Gauss--Codazzi--Ricci equations, the weak stability of isometric immersions, and the fundamental theorem of submanifold theory with low regularity. Two mixed-type PDE techniques are emphasised throughout these developments: the method of compensated compactness and the theory of Coulomb--Uhlenbeck gauges.

The Ciarlet definition of a finite element has been core to our understanding of the finite element method since its inception. It has proved particularly useful in structuring the implementation of finite element software. However, the definition does not encapsulate all the details required to uniquely implement an element, meaning each user of the definition (whether a researcher or software package) must make further mathematical assumptions to produce a working system. 

The talk presents a new definition built on Ciarlet’s that addresses these concerns. The novel definition forms the core of a new piece of software in development, FUSE, which allows the users to consider the choice of finite element as part of the data they are working with. This is a new implementation strategy among finite element software packages, and we will discuss some potential benefits of the development.

Determining stationary compact configurations of vorticity described by the 2D Euler equations is a classic problem dating back to the late 19th century. The aim is to find equilibrium distributions of vorticity, in the form  of point vortices, vortex sheets, vortex patches, and hollow vortices. This endeavour has driven the development of mathematical and numerical techniques such as Hamiltonian vortex dynamics and contour dynamics.

In the case of vortex sheets, methods and results are presented for finding rotating equilibria, some in the presence of point vortices. To begin, a numerical approach based on that recently developed by Trefethen, Costa, Baddoo, and others for solving Laplace's equation in the complex plane by series and rational approximation is described. The method successfully reproduces the exact vortex sheet solutions found by O'Neil (2018) and Protas & Sakajo (2020). Some new solutions are found.

The numerical approach suggests an analytical method based on conformal mapping for finding exact closed-form vortex sheet equilibria. Examples are presented.

Finally, new numerical solutions are computed for steady, doubly-connected vortex layers of uniform vorticity surrounding a solid object such that the fluid velocity vanishes on the outer free boundary. While dynamically unrelated, these solutions have mathematical analogy and application to the industrial free boundary problem arising in the dip-coating of objects by a viscous fluid.

''Positive geometries'' are a class of semi-algebraic domains which admit a unique ''canonical form'': a logarithmic form whose residues match the boundary structure of the domain. The study of such geometries is motivated by recent progress in particle physics, where the corresponding canonical forms are interpreted as the integrands of scattering amplitudes. We recast these concepts in the language of mixed Hodge theory, and identify ''genus zero pairs'' of complex algebraic varieties as a natural and general framework for the study of positive geometries and their canonical forms. In this framework, we prove some basic properties of canonical forms which have previously been proved or conjectured in the literature. We give many examples and study in detail the case of arrangements of hyperplanes and convex polytopes.

In this talk, we consider Dirichlet forms related to stochastic quantisation for the exp(φ)_{2}-model on the torus. We show strong uniqueness of the corresponding Dirichlet operators by applying an idea of (singular) SPDEs. This talk is based on ongoing joint work with Hirotatsu Nagoji (Kyoto University).

We consider two approximation schemes for the construction of a class of non-Gaussian multiplicative chaos, and show that they give rise to the same limit in the entire subcritical regime. Our approach uses a modified second moment method with the help of a new coupling argument, and does not rely on any Gaussian approximation or thick point analysis. As an application, we extend the martingale central limit theorem for partial sums of random multiplicative functions to L^1 twists. This is a joint work with Ofir Gorodetsky.

Rota’s Alternierende Verfahren theorem in classical probability theory, which examines the convergence of iterates of measure preserving Markov operators, relies on a dilation technique. In the noncommutative setting of von Neumann algebras, this idea leads to the notion of absolute dilation.  

In this talk, we explore when a Fourier multiplier on a group von Neumann algebra is absolutely dilatable. We discuss conditions that guarantee absolute dilatability and present an explicit counterexample—a Fourier multiplier that does not satisfy this property. This talk is based on a joint work with Christian Le Merdy.

Profinite rigidity explores the extent to which non-isomorphic groups can be distinguished by their finite quotients. Many interesting examples of this phenomenon arise in the context of group extensions—short exact sequences of groups with a fixed kernel and quotient. This talk will outline two main mechanisms that govern profinite rigidity in this setting and provide concrete examples of families of extensions that cannot be distinguished by their finite quotients.

The talk is based on my DPhil thesis.

The class of $t$-perfect graphs consists of graphs whose stable set polytopes are defined by their non-negativity, edge inequalities, and odd circuit inequalities. These were first studied by Chvátal in 1975, motivated by the related and well-studied class of perfect graphs. While perfect graphs are easy to colour, the same is not true for $t$-perfect graphs; numerous questions and conjectures have been posed, and even the most basic, on whether there exists some $k$ such that every $t$-perfect graph is $k$-colourable, has remained open since 1994. I will talk about joint work with Maria Chudnovsky, Linda Cook, James Davies, and Sang-il Oum in which we establish the first finite bound and show that a little less than 200 000 colours suffice.

The discrete Hodge Laplacian offers a way to extract network topology and geometry from higher-ordered networks. The operator is inspired by concepts from algebraic topology and differential geometry and generalises the graph Laplacian. In particular, it allows to relate global structure of networks to the local properties of nodes. In my talk, I will talk about some general behaviour of the Hodge Laplacian and then continue to show how to use the extracted information to a) to use trajectory data infer the topology of the underlying network while simultaneously classifying the trajectories and b) to extract cell differentiation trees from single-cell data, an exciting new application in computational genomics.    

The Gelfand--Kirillov dimension is a classical invariant that measures the size of smooth representations of p-adic groups. It acquired particular relevance in the mod p Langlands program because of the work of  Breuil--Herzig--Hu--Morra--Schraen, who computed it for the mod p cohomology of GL_2 over totally real fields, and used it to prove several structural properties of the cohomology. In this talk, we will present a simplified proof of this result, which has the added benefit of working unchanged for nonsplit inner forms of GL_2. This is joint work with Bao V. Le Hung.

Come chill out after a busy term and play some board games with us. We'll provide some games but feel free to bring your own!