Past

The path signature is a characterization of paths that originated in Chen's iterated integral cochain model for path spaces and loop spaces. More recently, it has been used to form the foundations of rough paths in stochastic analysis, and provides an effective feature map for sequential data in machine learning. In this talk, we return to the topological foundations in Chen's construction to develop generalizations of the signature.

Adaptive agents through active inference: The main fields of research that are used to model and realise adaptive agents are optimal control, reinforcement learning and active inference. Active inference is a probabilistic description of adaptive agents that is relatively less known to mathematicians, as it originated from neuroscience in the last decade. This talk presents the mathematical underpinnings of active inference, starting from fundamental considerations about agents that maintain their structural integrity in the face of environmental perturbations. Through this, we derive a probability distribution over actions, that describes decision-making under uncertainty in adaptive agents . Interestingly, this distribution has an interesting information geometric structure, combining, for instance, drives for exploration and exploitation, which may yield a principled answer to the exploration-exploitation trade-off. Preserving this geometric structure enables to realise adaptive agents in practice. We illustrate their behaviour with simulation examples and empirical comparisons with reinforcement learning.

Scaling Limits of Random Graphs: The scaling limit of directed random graphs remains relatively unexplored compared to their undirected counterparts. In contrast, many real-world networks, such as links on the world wide web, financial transactions and “follows” on Twitter, are inherently directed. Previous work by Goldschmidt and Stephenson established the scaling limit for the strongly connected components (SCCs) of the Erdős -- Rényi model in the critical window when appropriately rescaled. In this talk, we present a result showing the SCCs of another class of critical random directed graphs will converge when rescaled to the same limit. Central to the proof is an exploration of the directed graph and subsequent encodings of the exploration as real valued random processes. We aim to present this exploration algorithm and other key components of the proof.

From Mathematics to Data Science and Back: We give an overview of the interaction between rough path theory and data science at the current time.
 

We consider spectral methods that uncover hidden structures in directed networks. We establish and exploit connections between node reordering via (a) minimizing an objective function and (b) maximizing the likelihood of a random graph model. We focus on two existing spectral approaches that build and analyse Laplacian-style matrices via the minimization of frustration and trophic incoherence. These algorithms aim to reveal directed periodic and linear hierarchies, respectively. We show that reordering nodes using the two algorithms, or mapping them onto a specified lattice, is associated with new classes of directed random graph models. Using this random graph setting, we are able to compare the two algorithms on a given network and quantify which structure is more likely to be present. We illustrate the approach on synthetic and real networks, and discuss practical implementation issues. This talk is based on a joint work with Desmond Higham and Konstantinos Zygalakis. 

Article link: https://royalsocietypublishing.org/doi/10.1098/rsos.211144

The Hull--Strominger system is a system of non-linear PDEs on heterotic string theory involving a pair of Hermitian metrics $(g,h)$ on a six dimensional manifold $M$. One of these equations dictates the metric $g$ on $M$ to be conformally balanced. We will begin the talk by giving a description of the geometry of cohomogeneity one manifolds and SU(3)-structures. Then, we will look for solutions to the Hull--Strominger system in the cohomogeneity one setting. We show that a six-dimensional simply connected cohomogeneity one manifold under the almost effective action of a connected Lie group $G$ admits no $G$-invariant balanced non-Kähler SU(3)-structures. This is a joint work with F. Salvatore.

Computing Donaldson-Thomas partition function of a G2 manifold has been a long standing problem. The key step for the problem is to understand the G2 instanton moduli space. I will discuss a string theory way to study the G2 instanton moduli space and explain how to compute the instanton partition function for a certain G2 manifold. An important insight comes from the twisted M-theory on the G2 manifold. This talk is based on a work with Michele del Zotto and Yehao Zhou.

This session will take place live in L1 and online. A Teams link will be shared 30 minutes before the session begins.

Candida Bowtell

Title: Chess puzzles: from recreational maths to fundamental mathematical structures

Abstract:
Back in 1848, in a German chess magazine, Max Bezzel asked how many ways there are to place 8 queens on a chessboard so that no two queens can attack one another. This question caught the attention of many, including Gauss, and was subsequently generalised. What if we want to place n non-attacking queens on an n by n chessboard? What if we embed the chessboard on the surface of a torus? How many ways are there to do this? It turns out these questions are hard, but mathematically interesting, and many different strategies have been used to attack them. We'll survey some results, old and new, including progress from this year.

Joshua Bull

Title: From Cancer to Covid: topological and spatial descriptions of immune cells in disease

Abstract:
Advances in medical imaging techniques mean that we have increasingly detailed knowledge of the specific cells that are present in different diseases. The locations of certain cells, like immune cells, gives clinicians clues about which treatments might be effective against cancer, or about how the immune system reacts to a Covid infection - but the more detailed this spatial data becomes, the harder it is for medics to analyse or interpret. Instead, we can turn to tools from topological data analysis, mathematical modelling, and spatial statistics to describe and quantify the relationships between different cell types in a wide range of medical images. This talk will demonstrate how mathematics can be used as a tool to advance our understanding of medicine, with a focus on immune cells in both cancer and covid-19.

The study of gravity currents has long been of interest due to their prevalence in industry and in nature, one such example being the spreading of viscoplastic (yield-stress) fluid films. When a viscoplastic fluid is extruded onto a flat plate, the resulting gravity current expands axisymmetrically when the surface is dry and rough. In this talk, I will discuss two instabilities that arise when (1) the no-slip surface is replaced by a free-slip surface; and (2) the flat plate is wet by a thin coating of water.

Over the past decades, the morbidity and mortality associated with cardiovascular disease have reduced due to advancements in patient care. However, cardiovascular disease remains the world’s leading cause of death, and the prevalence of myocardial pathologies remains significant. Continued advancements in diagnostics and therapeutics are needed to further drive down the social and economic burden of cardiac disease in both developed and developing countries. 

Routine clinical evaluation of patients with cardiovascular disease includes non-invasive imaging, such as echocardiography (echo), cardiac magnetic resonance imaging (MRI), and/or CT, and where appropriate, invasive investigation with cardiac catheterisation However, little clinical information is available regarding the linkage between structural and function remodelling of the heart and the intrinsic biomechanical properties of heart muscle which cannot be measured in patients with cardiovascular diseases. 

The lack of detailed mechanistic understanding about the change in biomechanical properties of heart muscle may play a significant role in non-specific diagnosis and patient management. Bioengineering approaches, such as computational modelling tools, provide the perfect platform to analyze a wealth of clinical data of individual patients in an objective and consistent manner to augment and enrich existing personalized clinical diagnoses and precise treatment planning by building 3D computational model of the patient's heart. 

In my presentation, I will present my research efforts in 1) developing integrative 3D computational modeling platform to enable model-based analysis of medical images of the heart; 2) studying the biomechanical mechanisms underpinning various forms of heart failure using pre-clinica experimental data; 3) applying personalized modeling pipeline to clinical heart failure patient data to non-invasively estimate mechanical properties of the heart muscle on a patient-specific basis; 4) performing in silico simulation of cardiac surgical procedures to evaluate efficacy of mitral clip in treating ischemic mitral regurgitation. 

My presentation aims to showcase the power of combining computational modeling and bioengineering technologies with medical imaging to enrich and enhance precision and personalized medicine. 

Variational phase-field models of fracture have been at the center of a multidisciplinary effort involving a large community of mathematicians, mechanicians, engineers, and computational scientists over the last 25 years or so.

I will start with a modern interpretation of Griffith's classical criterion as a variational principle for a free discontinuity energy and will recall some of the milestones in its analysis. Then, I will introduce the phase-field approximation per se and describe its numerical implementation. I illustrate how phase-field models have led to major breakthroughs in the predictive simulation of fracture in complex situations.

I then will turn my attention to current issues, with a specific emphasis on crack nucleation in nominally brittle materials. I will recall the fundamental incompatibility between Griffith’s theory and nucleation criteria based on a stress yield surface: the strength vs. toughness paradox. I will then present several attempts at addressing this issue within the realm of phase-fracture and discuss their respective strengths and weaknesses. 

--

A link for this talk will be sent to our mailing list a day or two in advance.  If you are not on the list and wish to be sent a link, please contact @email.

We will consider the viscous Burgers driven by a localised one-dimensional control. The problem is considered in a bounded domain and is supplemented with the Dirichlet boundary condition. We will prove that any solution of the equation in question can be exponentially stabilised. Combining this result with an earlier result on local exact controllability we will show global exact controllability by a localised control. This is a joint work with A. Shirikyan.

 In this talk, we show some recent results related to the study of mechanical instabilities in slender structures. First, we propose a model of metamaterial sheets inspired by the pellicle of Euglenids, unicellular organisms capable of swimming due to their ability of changing their shape. These structures are composed of interlocking elastic rods which can freely slide along their edges. We characterize the kinematics and the mechanics of these structures using the special Cosserat theory of rods and by assuming axisymmetric deformations of the tubular assembly. We also characterize the mechanics of a single elastic beam constrained to smoothly slide along a rigid support, where the distance between the rod midline and the constraint is fixed and finite. In the presence of a straight support, the rod can deform into shapes exhibiting helices and perversions, namely transition zones connecting together two helices with opposite chirality.

Finally, we develop a mathematical model of damaged axons based on the theory of continuum mechanics and nonlinear elasticity. In several pathological conditions, such as coronavirus infections, multiple sclerosis, Alzheimer's and Parkinson's diseases, the physiological shape of axons is altered and a periodic sequence of bulges appears. The axon is described as a cylinder composed of an inner passive part, called axoplasm, and an outer active cortex, composed mainly of F-actin and able to contract thanks to myosin-II motors. Through a linear stability analysis, we show that, as the shear modulus of the axoplasm diminishes due to the disruption of the cytoskeleton, the active contraction of the cortex makes the cylindrical configuration unstable to axisymmetric perturbations, leading to a beading pattern.

Several natural measures of complexity can be attached to an
existentially definable ("diophantine") subset of a field. One of these
is the minimal number of existential quantifiers required to define it,
while others are of a more geometric nature. I shall define these
measures and discuss interesting interactions and behaviours, some of
which depend on properties of the field (e.g. imperfection and
ampleness). We shall see for instance that the set of n-tuples of field
elements consisting of n squares is usually definable with a single
quantifier, but not always. I will also discuss connections with
Hilbert's 10th Problem and a number of open questions.
This is joint work with Nicolas Daans and Arno Fehm.

Group theoretic Dehn filling, motivated by Dehn filling in the theory of 3- manifolds, is a process of constructing quotients of a given group. This technique is usually applied to groups with certain negative curvature feature, for example word-hyperbolic groups, to construct exotic and useful examples of groups. In this talk, I will start by recalling the notion of word-hyperbolic groups, and then show that how group theoretic Dehn filling can be used to answer the Burnside Problem and questions about mapping class groups of surfaces.

The AdS/CFT correspondence provides a rich setup to study the properties of gauge theories and the dual theories of gravity, in particular their thermodynamic properties. On RxS3, the maximally supersymmetric Yang-Mills theory with gauge group U(N) exhibits a phase transition that resembles the confinement-deconfinement transition of QCD. For infinite N, this transition is characterized by Hagedorn behavior. We show how the corresponding Hagedorn temperature can be calculated at any value of the ’t Hooft coupling via integrability. For large but finite N, we show how the Hagedorn behavior is replaced by Lee-Yang behavior.

This will be a zoom seminar with communal viewing in L4

I will talk about some recent joint work with H. Bui and J. Keating where we study the Ratios Conjecture for the family of quadratic L-functions over function fields. I will also discuss the closely related problem of obtaining upper bounds for negative moments of L-functions, which allows us to obtain partial results towards the Ratios Conjecture in the case of one over one, two over two and three over three L-functions. 

Trophic coherence, a measure of a graph’s hierarchical organisation, has been shown to be linked to a graph’s structural and dynamical aspects such as cyclicity, stability and normality. Trophic levels of vertices can reveal their functional properties, partition and rank the vertices accordingly. Trophic levels and hence trophic coherence can only be defined on graphs with basal vertices, i.e. vertices with zero in-degree. Consequently, trophic analysis of graphs had been restricted until now. In this talk I will introduce a novel  framework which can be defined on any simple graph. Within this general framework, I'll illustrate several new metrics: hierarchical levels, a generalisation of the notion of trophic levels, influence centrality, a measure of a vertex’s ability to influence dynamics, and democracy coefficient, a measure of overall feedback in the system. I will then discuss what new insights are illuminated on the topological and dynamical aspects of graphs. Finally, I will show how the hierarchical structure of a network relates to the incidence rate in a SIS epidemic model and the economic insights we can gain through it.

Article link: https://www.nature.com/articles/s41598-021-93161-4

The $n$-queens problem asks how many ways there are to place $n$ queens on an $n \times n$ chessboard so that no two queens can attack one another, and the toroidal $n$-queens problem asks the same question where the board is considered on the surface of a torus. Let $Q(n)$ denote the number of $n$-queens configurations on the classical board and $T(n)$ the number of toroidal $n$-queens configurations. The toroidal problem was first studied in 1918 by Pólya who showed that $T(n)>0$ if and only if $n \equiv 1,5 \mod 6$. Much more recently Luria showed that $T(n)\leq ((1+o(1))ne^{-3})^n$ and conjectured equality when $n \equiv 1,5 \mod 6$. We prove this conjecture, prior to which no non-trivial lower bounds were known to hold for all (sufficiently large) $n \equiv 1,5 \mod 6$. We also show that $Q(n)\geq((1+o(1))ne^{-3})^n$ for all $n \in \mathbb{N}$ which was independently proved by Luria and Simkin and, combined with our toroidal result, completely settles a conjecture of Rivin, Vardi and Zimmerman regarding both $Q(n)$ and $T(n)$. 

In this talk we'll discuss our methods used to prove these results. A crucial element of this is translating the problem to one of counting matchings in a $4$-partite $4$-uniform hypergraph. Our strategy combines a random greedy algorithm to count `almost' configurations with a complex absorbing strategy that uses ideas from the methods of randomised algebraic construction and iterative absorption.

This is joint work with Peter Keevash.

A complex plane curve singularity gives rise to two objects: (1) a moduli space that representation theorists call an affine Springer fiber, and (2) a topological link up to isotopy. Roughly a decade ago, Oblomkov–Rasmussen–Shende conjectured a striking identity relating the homology of the affine Springer fiber to the so-called HOMFLYPT homology of the link. In unpublished writing, Shende speculated that it would follow from advances in nonabelian Hodge theory: the study of transcendental diffeomorphisms relating “Hitchin” and “Betti” moduli spaces. We make this dream precise by expressing HOMFLYPT homology in terms of the homology of a “Betti”-type space, which, we conjecture, deformation-retracts onto the affine Springer fiber. In doing so, we recast the whole story in terms of an arbitrary semisimple group. We give evidence for the nonabelian Hodge conjecture at the numerical level, using a mysterious formula that involves rational Cherednik algebras and the degrees of unipotent principal-series representations.

Michael Negus

Modelling high-speed droplet impact onto an elastic membrane

The impact of a high-speed droplet onto an elastic membrane is a highly nonlinear process and poses a formidable modelling challenge due to both the multi-scale nature of the flow and the fluid-structure interaction between the droplet and the membrane. We present two modelling approaches for droplet impact onto elastic membranes: matched asymptotics and direct numerical simulations (DNS). Inviscid Wagner theory is used in the former to derive analytical expressions which approximate the behaviour of the droplet during the early stages of impact, while the DNS builds on the open-source volume-of-fluid code Basilisk. We demonstrate the strong influence that the thickness, tension and stiffness of the membrane have on the dynamics of the droplet and the membrane. We also quantitatively show that the speed the droplet spreads across the substrate is notably decreased when the membrane is more compliant, which is consistent with experimental findings that splashing can be inhibited by impacting onto a soft substrate. We conclude by showing how these methods are complementary, as a combination of both can lead to a thorough understanding of the droplet impact across timescales.

Helen Saville

Lubrication model of a valve-controlled, gravity-driven bioreactor

Hospitals sometimes experience shortages of donor blood platelet supplies, motivating research into in vitro production of platelets. We model a novel platelet bioreactor described in Shepherd et al. [1]. The bioreactor consists of an upper channel, a lower channel, and a cell-seeded porous collagen scaffold situated between the two. Flow is driven by gravity, and controlled by valves on the four inlets and outlets. The bioreactor is long relative to its width, a feature which we exploit to derive a lubrication reduction of Navier-Stokes flow coupled to Darcy. Models for two cases are considered: small amplitude valve oscillations, and order one amplitude valve oscillations. The former model is a systematic reduction; the latter incorporates a phenomenological approximation for the cross-sectional flow profile. As the shear stress experienced by cells influences platelet production, we use our model to quantify the effect of valve dynamics on shear stress.

1: Shepherd, J.H., Howard, D., Waller, A.K., Foster, H.R., Mueller, A., Moreau, T., Evans, A.L., Arumugam, M., Chalon, G.B., Vriend, E. and Davidenko, N., Biomaterials, 182, pp.135-144. (2018)