Past

A non-nilpotent graph Γ(G) of a finite group G has elements of G as vertices, with x and y joined by an edge iff a subgroup generated by these two elements is non-nilpotent. During the talk we will prove several (often unrelated) properties of this construction; for instance, any simple graph can be found as an induced subgraph of Γ(G) for some (solvable) group G. The talk is based on my article "A few remarks on the theory of non-nilpotent graphs" (May 2023).

Physics beyond relativistic invariance and without Lorentz (or Poincaré) symmetry and the geometry underlying these non-Lorentzian structures have become very fashionable of late. This is primarily due to the discovery of uses of non-Lorentzian structures in various branches of physics, including condensed matter physics, classical and quantum gravity, fluid dynamics, cosmology, etc. In this talk, I will be talking about one such theory - Carrollian theory, where the Carroll group replaces the Poincare group as the symmetry group of interest. Interestingly, any null hypersurface is a Carroll manifold and the Killing vectors on the null manifold generate Carroll algebra. Historically, Carroll group was first obtained from the Poincaré group via a contraction by taking the speed of light going to zero limit as a “degenerate cousin of the Poincaré group”.  I will shed some light on Carrollian fermions, i.e. fermions defined on generic null surfaces. Due to the degenerate nature of the Carroll manifold, there exist two distinct Carroll Clifford algebras and, correspondingly, two different Carroll fermionic theories. I will discuss them in detail. Then, I will show some examples; when the dispersion relation becomes trivial, i.e. energy bands flatten out, there can be a possibility of the emergence of Carroll symmetry. 

Understanding the mechanisms behind the spatial distribution, self-organisation and aggregation of organisms is a central issue in both ecology and cell biology. Since self-organisation at the population level is the cumulative effect of behaviours at the individual level, it requires a mathematical approach to be elucidated.
In nature, every individual, be it a cell or an animal, inspects its territory before moving. The process of acquiring information from the environment is typically non-local, i.e. individuals have the ability to inspect a portion of their territory. In recent years, a growing body of empirical research has shown that non-locality is a key aspect of movement processes, while mathematical models incorporating non-local interactions have received increasing attention for their ability to accurately describe how interactions between individuals and their environment can affect their movement, reproduction rate and well-being. In this talk, I will present a study of a class of advection-diffusion equations that model population movements generated by non-local species interactions. Using a combination of analytical and numerical tools, I will show that these models support a wide variety of spatio-temporal patterns that are able to reproduce segregation, aggregation and time-periodic behaviours commonly observed in real systems. I will also show the existence of parameter regions where multiple stable solutions coexist and hysteresis phenomena.
Overall, I will describe various methods for analysing bifurcations and pattern formation properties of these models, which represent an essential mathematical tool for addressing fundamental questions about the many aggregation phenomena observed in nature.

Understanding the mechanisms behind the spatial distribution, self-organisation and aggregation of organisms is a central issue in both ecology and cell biology. Since self-organisation at the population level is the cumulative effect of behaviours at the individual level, it requires a mathematical approach to be elucidated.
In nature, every individual, be it a cell or an animal, inspects its territory before moving. The process of acquiring information from the environment is typically non-local, i.e. individuals have the ability to inspect a portion of their territory. In recent years, a growing body of empirical research has shown that non-locality is a key aspect of movement processes, while mathematical models incorporating non-local interactions have received increasing attention for their ability to accurately describe how interactions between individuals and their environment can affect their movement, reproduction rate and well-being. In this talk, I will present a study of a class of advection-diffusion equations that model population movements generated by non-local species interactions. Using a combination of analytical and numerical tools, I will show that these models support a wide variety of spatio-temporal patterns that are able to reproduce segregation, aggregation and time-periodic behaviours commonly observed in real systems. I will also show the existence of parameter regions where multiple stable solutions coexist and hysteresis phenomena.
Overall, I will describe various methods for analysing bifurcations and pattern formation properties of these models, which represent an essential mathematical tool for addressing fundamental questions about the many aggregation phenomena observed in nature.
 

It is well known that the theory of differential-difference fields in characteristic zero has a model companion. Here by a differential-difference field I mean a field with a differential and a difference structure where the operators commute (in other words the difference structure is a differential-endomorphism). The theory DCFA_0 was studied in a series of papers by Bustamante. In this talk I will address the case of positive characteristic.

I will report on work with Andrew Graham in which we prove new results towards the Bloch--Kato conjecture for automorphic forms on $\mathrm{GSp}_4 \times \mathrm{GL}_2$.

Kinetic and mean-field equations are central to understanding complex systems across fields such as classical physics, engineering, and the socio-economic sciences. Efficiently solving these equations remains a significant challenge due to their high dimensionality and the need to preserve key structural properties of the models. 

In this talk, we will focus on recent advancements in deterministic numerical methods, which provide an alternative to particle-based approaches (such as Monte Carlo or particle-in-cell methods) by avoiding stochastic fluctuations and offering higher accuracy. We will discuss strategies for designing these methods to reduce computational complexity while preserving fundamental physical properties and maintaining efficiency in stiff regimes. 
Special attention will be given to the role of these methods in addressing multi-scale problems in rarefied gas dynamics and plasma physics. Time permitting, we will also touch on emerging techniques for uncertainty quantification in these systems.

Anomalies characterize the breaking of a classical symmetry at the quantum level. They play an important role in quantum field theories, and constitute robust observables which appear in various contexts from phenomenological particle physics to black hole microstates, or to classify phases of matter. The anomalies of a d-dimensional QFT are naturally encoded via descent equations into the so-called anomaly polynomial in (d+2)-dimensions. The aim of this seminar is to review the descent procedure, anomaly polynomial, anomaly inflow, and in particular their realisation in M-theory. While this is quite an old story, there has been some more recent developments involving holography that I'll describe if time permits. 

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.

The Martinet flat structure is one of the simplest sub-Riemannian manifolds that has many non-Riemannian features: it is not equiregular, it has abnormal geodesics, and the Carnot-Carathéodory sphere is not sub-analytic. I will review how the geometry of the Martinet flat structure is tied to the equations of the pendulum. Surprisingly, the Measure Contraction Property (a weak synthetic formulation of Ricci curvature bounds in non-smooth spaces) fails, and we will try to understand why. If time permits, I will also discuss how this can be generalised to some Carnot groups that have abnormal extremals. This is a joint work in progress with Luca Rizzi.

Tensor methods are methods for unconstrained continuous optimization that can incorporate derivative information of up to order p > 2 by computing a step based on the pth-order Taylor expansion at each iteration. The most important among them are regularization-based tensor methods which have been shown to have optimal worst-case iteration complexity of finding an approximate minimizer. Moreover, as one might expect, this worst-case complexity improves as p increases, highlighting the potential advantage of tensor methods. Still, the global complexity results only guarantee pessimistic sublinear rates, so it is natural to ask how local rates depend on the order of the Taylor expansion p. In the case of strongly convex functions and a fixed regularization parameter, the answer is given in a paper by Doikov and Nesterov from 2022: we get pth-order local convergence of function values and gradient norms. 
The value of the regularization parameter in their analysis depends on the Lipschitz constant of the pth derivative. Since this constant is not usually known in advance, adaptive regularization methods are more practical. We extend the local convergence results to locally strongly convex functions and fully adaptive methods. 
We discuss how for p > 2 it becomes crucial to select the "right" minimizer of the regularized local model in each iteration to ensure all iterations are eventually successful. Counterexamples show that in particular the global minimizer of the subproblem is not suitable in general. If the right minimizer is used, the pth-order local convergence is preserved, otherwise the rate stays superlinear but with an exponent arbitrarily close to one depending on the algorithm parameters.

Tension-induced giant actuation in elastic sheets

Dr. Marc Suñé

Buckling is normally associated with a compressive load applied to a slender structure; from railway tracks in extreme heat to microtubules in cytoplasm, axial compression is relieved by out-of-plane buckling. However, recent studies have demonstrated that tension applied to structured thin sheets leads to transverse motion that may be harnessed for novel applications, such as kirigami grippers, multi-stable `groovy-sheets', and elastic ribbed sheets that close into tubes. Qualitatively similar behaviour has also been observed in simulations of thermalized graphene sheets, where clamping along one edge leads to tilting in the transverse direction. I will discuss how this counter-intuitive behaviour is, in fact, generic for thin sheets that have a relatively low stretching modulus compared to the bending modulus, which allows `giant actuation' with moderate strain.

Embedding the group algebra into a division ring has proven to be a powerful tool for detecting structural properties of the group, especially in relation to its homology. In this talk, we will show how division rings can be used to identify residual properties of groups, one-ended groups, and coherent groups. We will place special emphasis on the class of free-by-cyclic groups to provide a clear, explicit exposition.

A C*-algebra is said to be residually finite-dimensional (RFD) when it has `sufficiently many' finite-dimensional representations. The RFD property is an important, and still somewhat mysterious notion, with subtle connections to residual finiteness properties of groups. In this talk I will present certain characterisations of the RFD property for C*-algebras of amenable étale groupoids and for C*-algebraic crossed products by amenable actions of discrete groups, extending (and inspired by) earlier results of Bekka, Exel, and Loring. I will also explain the role of the amenability assumption and describe several consequences of our main theorems. Finally, I will discuss some examples, notably these related to semidirect products of groups.

We study networks of firms in which inputs for production are not easily substitutable, as in several real-world supply chains. Building on Robert May's original argument for large ecosystems, we argue that such networks generically become dysfunctional when their size increases, when the heterogeneity between firms becomes too strong, or when substitutability of their production inputs is reduced. At marginal stability and for large heterogeneities, crises can be triggered by small idiosyncratic shocks, which lead to “avalanches” of defaults. This scenario would naturally explain the well-known “small shocks, large business cycles” puzzle, as anticipated long ago by Bak, Chen, Scheinkman, and Woodford. However, an out-of-equilibrium version of the model suggests that other scenarios are possible, in particular that of `turbulent economies’.

I’ll discuss joint work of mine with with Ascencio-Martin, Britnell, Duncan, Francoeurs and Koutny to set up and study algebraic models of concurrent computation. 

Trace monoids were introduced by Mazurkiewicz as algebraic models of Petri nets, where some pairs of actions can be applied in either of two orders and have the same effect. Abstractly, a trace monoid is simply a right-angled Artin monoid. More recently Koutny et al. introduced the concept of a step trace monoid, which allows the additional possibility that a pair of actions may have the same effect performed simultaneously as sequentially. 

I shall introduce these monoids, discuss some problems we’d like to be able to solve, and the methods with which we are trying to solve them. In particular I’ll discuss normal forms for traces, comtraces and step traces, and generalisations of Stallings folding techniques for finitely presented groups and monoids.

This talk is rescheduled and will take place on 21 January 2025

A zero-one matrix $M$ is said to contain another zero-one matrix $A$ if we can delete some rows and columns of $M$ and replace some 1-entries with 0-entries such that the resulting matrix is $A$. The extremal number of $A$, denoted $\operatorname{ex}(n,A)$, is the maximum number of 1-entries that an $n\times n$ zero-one matrix can have without containing $A$. The systematic study of this function for various patterns $A$ goes back to the work of Furedi and Hajnal from 1992, and the field has many connections to other areas of mathematics and theoretical computer science. The problem has been particularly extensively studied for so-called acyclic matrices, but very little is known about the general case (that is, the case where $A$ is not necessarily acyclic). We prove the first asymptotically tight general result by showing that if $A$ has at most $t$ 1-entries in every row, then $\operatorname{ex}(n,A)\leq n^{2-1/t+o(1)}$. This verifies a conjecture of Methuku and Tomon.

Our result also provides the first tight general bound for the extremal number of vertex-ordered graphs with interval chromatic number two, generalizing a celebrated result of Furedi, and Alon, Krivelevich and Sudakov about the (unordered) extremal number of bipartite graphs with maximum degree $t$ in one of the vertex classes.

Joint work with Barnabas Janzer, Van Magnan and Abhishek Methuku.

A modern perspective on symmetry in quantum theories identifies the topological invariance of a symmetry operator within correlation functions as its defining property. Within this paradigm, a framework has emerged enabling a calculus of topological defects in terms of a higher-dimensional topological quantum field theory. In this seminar, I will discuss aspects of this construction for Euclidean lattice field theories. Exploiting this framework, I will present generalisations of the celebrated Kramers-Wannier duality of the Ising model, as combinations of gauging procedures and generalised Fourier transforms of the local weights encoding the dynamics. If time permits, I will discuss implications of this framework for the real-space renormalisation group flow of these theories.

The "index of hypocoercivity" is defined via a coercivity-type estimate for the self-adjoint/skew-adjoint parts of the generator, and it quantifies `how degenerate' a hypocoercive evolution equation is, both for ODEs and for evolutions equations in a Hilbert space. We show that this index characterizes the polynomial decay of the propagator norm for short time and illustrate these concepts for the Lorentz kinetic equation on a torus. Discrete time analogues of the above systems (obtained via the mid-point rule) are contractive, but typically not strictly contractive. For this setting we introduce "hypocontractivity" and an "index of hypocontractivity" and discuss their close connection to the continuous time evolution equations.

This talk is based on joint work with F. Achleitner, E. Carlen, E. Nigsch, and V. Mehrmann.

References:
1) F. Achleitner, A. Arnold, E. Carlen, The Hypocoercivity Index for the short time behavior of linear time-invariant ODE systems, J. of Differential Equations (2023).
2) A. Arnold, B. Signorello, Optimal non-symmetric Fokker-Planck equation for the convergence to a given equilibrium, Kinetic and Related Models (2022).
3) F. Achleitner, A. Arnold, V. Mehrmann, E. Nigsch, Hypocoercivity in Hilbert spaces, J. of Functional Analysis (2025).