Past

What do football passes and financial transactions have in common? Both are observable events in some real-world walk process that is happening over some network that is, however, not directly observable. In both cases, the basis for record-keeping is that these events move something tangible from one node to another. Here we explore process-driven approaches towards analyzing such data, with the goal of answering domain-specific research questions. First, we consider transaction data from a digital community currency recorded over 16 months. Because these are records of a real-world walk process, we know that the time-aggregated network is a flow network. Flow-based network analysis techniques let us concisely describe where and among whom this community currency was circulating. Second, we use a technique called trajectory extraction to transform football match event data into passing sequence data. This allows us to replicate classic results from sports science about possessions and uncover intriguing dynamics of play in five first-tier domestic leagues in Europe during the 2017-18 club season. Taken together, these two applied examples demonstrate the interpretability of process-driven approaches as opposed to, e.g., temporal network analysis, when the data are records of a real-world walk processes.

The plethysm product on symmetric functions corresponds to composition of polynomial representations of general linear groups. Decomposing a plethysm product into Schur functions, or equivalently, writing the corresponding composition of Schur functors as a direct sum of Schur functors, is one of the main open problems in algebraic combinatorics. I will give an introduction to these mathematical objects emphasising the beautiful interplay between representation theory and combinatorics. I will end with new results obtained in joint work with Rowena Paget (University of Kent) on stability on plethysm coefficients. No specialist background knowledge will be assumed.

We propose a nematic model for polyatomic gas, intending to study anisotropic phenomena. Such phenomena stem from the orientational degree of freedom associated with the rod-like molecules composing the gas. We adopt as a primer the Curitss-Boltzmann equation. The main difference with respect to Curtiss theory of hard convex body fluids is the fact that the model here presented takes into account the emergence of a nematic ordering. We will also derive from a kinetic point of view an energy functional similar to the Oseen-Frank energy. The application of the Noll-Coleman procedure to derive new expressions for the stress tensor and the couple-stress tensor will lead to a model capable of taking into account anisotropic effects caused by the emergence of a nematic ordering. In the near future, we hope to adopt finite-element discretisations together with multi-scale methods to simulate the integro-differential equation arising from our model.

Holography, which reveals a specific correspondence between gravitational and quantum theories, is an ongoing area of research that has known a lot of interest these past decades. The duality of holography has many applications: it provides an interpretation for black hole entropy in terms of microstates, it helps our understanding of solid state properties such as superconductivity and strongly coupled quantum systems, and it even offers insight into the mysterious realm of quantum gravity. 

In this talk, I will first introduce the concept of holography and some of its applications. I will then discuss some notions of string theory and geometry that are commonly used in holography. Finally, if time permits, I will present some of our latest results, where we match the energy of membranes in supergravity to properties of the dual quantum models.

In his pioneering work in 1860, Riemann proposed the Riemann problem and solved it for isentropic gas in terms of shocks and rarefaction waves. It eventually became the foundation of the theory of one-dimension conservation laws developed in the 20th century. We prove the non-nonlinear structural stability of the Riemann problem for multi-dimensional isentropic Euler equations in the regime of rarefaction waves. This is a joint work with Tian-Wen Luo.

In 1993, Erdős, Sárközy and Sós posed the question of whether there exists a set $S$ of positive integers that is both a Sidon set and an asymptotic basis of order $3$. This means that the sums of two elements of $S$ are all distinct, while the sums of three elements of $S$ cover all sufficiently large integers. In this talk, I will present a construction of such a set, building on ideas of Ruzsa and Cilleruelo. The proof uses a powerful number-theoretic result of Sawin, which is established using cutting-edge algebraic geometry techniques.

We describe an approach to Bialynicki-Birula theory for holomorphic $\mathbb{C}^*$ actions on complex analytic spaces and Morse-Bott theory for Hamiltonian functions for the induced circle actions. A key principle is that positivity of a suitably defined "virtual Morse-Bott index" at a critical point of the Hamiltonian function implies that the critical point cannot be a local minimum even when it is a singular point in the moduli space. Inspired by Hitchin’s 1987 study of the moduli space of Higgs monopoles over Riemann surfaces, we apply our method in the context of the moduli space of non-Abelian monopoles or, equivalently, stable holomorphic pairs over a closed, complex, Kaehler surface. We use the Hirzebruch-Riemann-Roch Theorem to compute virtual Morse-Bott indices of all critical strata (Seiberg-Witten moduli subspaces) and show that these indices are positive in a setting motivated by a conjecture that all closed, smooth four-manifolds of Seiberg-Witten simple type (including symplectic four-manifolds) obey the Bogomolov-Miyaoka-Yau inequality.

In this talk I will discuss a novel mechanism  that couples matter fields to three-dimensional de Sitter quantum gravity. This construction is based on the Chern-Simons formulation of three-dimensional Euclidean gravity, and it centers on a collection of Wilson loops winding around Euclidean de Sitter space. We coin this object a Wilson spool.  To construct the spool, we build novel representations of su(2). To evaluate the spool, we adapt and exploit several known exact results in Chern-Simons theory. Our proposal correctly reproduces the one-loop determinant of a free massive scalar field on S^3 as G_N->0. Moreover, allowing for quantum metric fluctuations, it can be systematically evaluated to any order in perturbation theory.   

Join us for our first Fridays@4 session of Trinity about different academic routes people take post-PhD, with a particular focus on fellowships and grants. We’ll hear from Jason Lotay about his experiences on both sides of the application process, as well as hear about the experiences of ECRs in the South Wing, North Wing, and Statistics. Towards the end of the hour we’ll have a Q+A session with the whole panel, where you can ask any questions you have around this topic!

One-dimensional persistent homology encodes geometric information of data by means of a barcode decomposition. Often, one needs to relate the persistence barcodes of two datasets which are intrinsically linked, e.g. consider a sample from a large point cloud. Such connections are encoded through persistence morphisms; as in linear algebra, a (one-dimensional) persistence morphism is fully understood by fixing a basis in the domain and codomain and computing the associated matrix. However, in the literature and existing software, the focus is often restricted to interval decompositions of images, kernels and cokernels. This is the case of the Bauer-Lesnick matching, which is computed using the intervals from the image. Unfortunately, this matching has substantial differences from the structure of the persistence morphism in very simple examples. In this talk I will present an induced block function that is well-behaved in such examples. This block function is computed using the associated matrix of a persistence morphism and is additive with respect to taking direct sums of persistence morphisms. This is joint work with M. Soriano-Trigueros and R. Gonzalez-Díaz from Universidad de Sevilla.

Abstract: Neurotransmission at chemical synapses relies on the calcium-induced fusion of synaptic vesicles with the presynaptic membrane. The distance of the vesicle to the calcium channels determines the fusion probability and consequently the postsynaptic signal. After a fusion event, both the release site and the vesicle undergo a recovery process before becoming available for reuse again. For all these process components, stochastic effects are widely recognized to play an important role. In this talk, I will present our recent efforts on how to describe and structurally understand neurotransmission dynamics using stochastic modeling approaches. Starting with a linear reaction scheme, a method to directly compute the exact first- and second-order moments of the filtered output signal is proposed. For a modification of the model including explicit recovery steps, the stochastic dynamics are compared to the mean-field approximation in terms of reaction rate equations. Finally, we reflect on spatial extensions of the model, as well as on their approximation by hybrid methods.

References:

- A. Ernst, C. Schütte, S. Sigrist, S. Winkelmann. Mathematical Biosciences, 343, 108760, 2022.

- A. Ernst, N. Unger, C. Schütte, A. Walter, S. Winkelmann. Under Review. https://arxiv.org/abs/2302.01635

In this talk, I give a statement of the “Galois to automorphic” direction of categorical geometric Langlands. I will describe the Galois and automorphic side, the Hecke action on both sides, and the definition of Hecke eigensheaves. On the way, I hope to give motivation for the various objects at play : the stack of $G^L$ local systems on the fixed curve $X$, the stack of $G$ bundles on $X$, $D$-modules, arc groups, loop groups, the affine Grassmannian, and geometric Satake.

Affine logic is the fragment of continuous logic in which the connectives are limited to affine functions. I will discuss the basics of this logic, first studied by Bagheri, and present the results of a recent joint work with I. Ben Yaacov and T. Tsankov in which we initiate the study of extreme types and extremal models in affine logic.

In particular, I will discuss an extremal decomposition result for models of simplicial affine theories, which generalizes the ergodic decomposition theorem.

Hoheisel used zero-density results to prove that for all x large enough there is a prime number in the interval $[x−x^{\theta}, x]$ with $θ < 1$. The connection between zero-density estimates and primes in short intervals was explicitly described in the work of Ingham in 1937. The approach of Ingham combined with the zero-density estimates of Huxley (1972) provides us with the distribution of primes in $[x−x^{\theta}, x]$ with $\theta > 7/12$. Further improvement upon the value of \theta was achieved by combining sieves with the weighted zero-density estimates in the works of Iwaniec and Jutila, Heath-Brown and Iwaniec, and Baker and Harman. The last work provides the best result achieved using zero-density estimates. We will discuss the main ideas of the paper by Baker and Harman and simplify some parts of it to show a more explicit connection between zero-density results and the sieved sums, which are used in the paper. This connection will provide a better understanding on which parts should be optimised for further improvements and on what the limits of the methods are. This project is still in progress.

Correlation operators are used in data assimilation algorithms
to weight the contribution of prior and observation information.
Efficient implementation of these operators is therefore crucial for
operational implementations. Diffusion-based correlation operators are popular in ocean data assimilation, but can require a large number of serial matrix-vector products. An all-at-once formulation removes this requirement, and offers the opportunity to exploit modern computer architectures. High quality preconditioners for the all-at-once approach are well-known, but impossible to apply in practice for the
high-dimensional problems that occur in oceanography. In this talk we
consider a nested preconditioning approach which retains many of the
beneficial properties of the ideal analytic preconditioner while
remaining affordable in terms of memory and computational resource.

My group is developing a roadmap to replace bulky electric motors in miniature robots requiring large mechanical work output.

First, I will describe the mechanics of coiled muscles made by twisting nylon fishing lines, and how these actuators use internal strain energy to achieve a “record breaking” performance. Then I will describe intriguing hierarchical super-, and hyper-coiled artificial muscles which exploit the interplay between nonlinear mechanics and material microstructure. Next, I will describe their use to actuate the dynamic snapping of insect-scale jumping robots. The combination of strong but slow muscles with a fast-snapping beam gives rise to dynamic buckling cascade phenomena leading to effective robotic jumping mechanisms.

These examples shed light on the future of automation propelled by new bioinspired materials, nonlinear mechanics, and unusual manufacturing processes.

This talk is concerned with the question of generating the homology of a covering space by lifts of simple closed curves (from topological viewpoint), and generating the first homology of a subgroup by powers of elements outside certain filtrations (from group-theoretic viewpoint). I will sketch Malestein's and Putman's construction of examples of branched covers where lifts of scc's span a proper subspace. I will discuss the relation of their proof to the Magnus embedding, and present recent results on similar embeddings of surface groups which facilitate extending their theorems to unbranched covers.

With conference season fast approaching, we will be meeting up to discuss our experiences of going to conferences and how best to prepare for them as a minority in Mathematics.

Orthogonal Intertwiners for Infinite Particle Systems On The Continuum:

Interacting particle systems are studied using powerful tools, including 
duality. Recently, dualities have been explored for inclusion processes, 
exclusion processes, and independent random walkers on discrete sets 
using univariate orthogonal polynomials. This talk generalizes these 
dualities to intertwiners for particle systems on more general spaces, 
including the continuum. Instead of univariate orthogonal polynomials, 
the talk dives into the theory of infinite-dimensional polynomials 
related to chaos decompositions and multiple stochastic integrals. The 
new framework is applied to consistent particle systems containing a 
finite or infinite number of particles, including sticky and correlated 
Brownian motions.

Spectral gap of the symmetric inclusion process:

In this talk, we consider the symmetric inclusion process on a general finite graph. Our main result establishes universal upper and lower bounds for the spectral gap of this interacting particle system in terms of the spectral gap of the random walk on the same graph. In the regime in which the gamma-like reversible measures of the particle system are log-concave, our bounds match, yielding a version for the symmetric inclusion process of the celebrated Aldous' spectral gap conjecture --- originally formulated for the interchange process and proved by Caputo, Liggett and Richthammer (JAMS 2010). Finally, by means of duality techniques, we draw analogous conclusions for an interacting diffusion-like unbounded conservative spin system known as Brownian energy process, which may be interpreted as a spatial version of the Wright-Fisher diffusion with mutation. Based on a joint work with Seonwoo Kim (SNU, South Korea).

The resolvents of finite volume restricted Hamiltonians, G^(⍵), have long been used to describe the localization of quantum systems. More recently, projected Green's functions (pGfs) -- finite volume restrictions of the resolvent -- have been applied to translation invariant free fermion systems, and the pGf zero eigenvalues have been shown to determine topological edge modes in free-fermion systems with bulk-edge correspondence. In this talk, I will connect the pGfs to the G^(⍵) appearing in the transfer matrices of quasi-periodic systems and discuss what pGF zeros can tell us about the solutions to transfer matrix equations. Using these methods, we re-examine the critical almost-Matthieu operator and notice new guarantees on analytic regions of its resolvent for Liouville irrationals.
 

An anomalous symmetry of an operator algebra A is a mapping from a group G into the automorphism group of A which is multiplicative up to inner automorphisms. To any anomalous symmetry, there is an associated cohomology invariant in H^3(G,T). In the case that A is the Hyperfinite II_1 factor R and G is amenable, the associated cohomology invariant is shown to be a complete invariant for anomalous actions on R by the work of Connes, Jones, and Ocneanu.

In this talk, I will introduce anomalous actions from the basics discussing examples and the history of their study in the literature. I will then discuss two obstructions to possible cohomology invariants of anomalous actions on simple C*-algebras which arise from considering K-theoretic invariants of the algebras. One of the obstructions will be of algebraic flavour and the other will be of topological flavour. Finally, I will discuss the classification question for certain classes of anomalous actions.

In work of Haiden-Katzarkov-Konsevich-Pandit (HKKP), a canonical filtration, labeled by sequences of real numbers, of a semistable quiver representation or vector bundle on a curve is defined. The HKKP filtration is a purely algebraic object that depends only on a lattice, yet it governs the asymptotic behaviour of a natural gradient flow in the space of metrics of the object. In this talk, we show that the HKKP filtration can be recovered from the stack of semistable objects and a so called norm on graded points, thereby generalising the HKKP filtration to other moduli problems of non-linear origin.