Advances in Topology-Based Graph Classification
Abstract
Topological data analysis has proven to be an effective tool in machine learning, supporting the analysis of neural networks, but also driving the development of new algorithms that make use of topological features. Graph classification is of particular interest here, since graphs are inherently amenable to a topological description in terms of their connected components and cycles. This talk will briefly summarise recent advances in topology-based graph classification, focussing equally on ’shallow’ and ‘deep’ approaches. Starting from an intuitive description of persistent homology, we will discuss how to incorporate topological features into the Weisfeiler–Lehman colour refinement scheme, thus obtaining a simple feature-based graph classification algorithm. We will then build a bridge to graph neural networks and demonstrate a topological variant of ‘readout’ functions, which can be learned in an end-to-end fashion. Care has been taken to make the talk accessible to an audience that might not have been exposed to machine learning or topological data analysis.
The initial boundary value problem for the Einstein equations with totally geodesic timelike boundary
Abstract
Unlike the classical Cauchy problem in general relativity, which has been well-understood since the pioneering work of Y. Choquet-Bruhat (1952), the initial boundary value problem for the Einstein equations still lacks a comprehensive treatment. In particular, there is no geometric description of the boundary data yet known, which makes the problem well-posed for general timelike boundaries. Various gauge-dependent results have been established. Timelike boundaries naturally arise in the study of massive bodies, numerics, AdS spacetimes. I will give an overview of the problem and then present recent joint work with Jacques Smulevici that treates the special case of a totally geodesic boundary.
The 2020 Nobel Prize for Physics has been awarded to Roger Penrose, Reinhard Genzel and Andrea Ghez for their work on black holes. Oxford Mathematician Penrose is cited “for the discovery that black hole formation is a robust prediction of the general theory of relativity.”
Mike Giles, Head of the Mathematical Institute in Oxford, said "We are absolutely delighted for Roger - it is a wonderful recognition of his ground-breaking contributions to mathematical physics."
The mean-field limit for large stochastic systems with singular attractive interactions
Abstract
We propose a modulated free energy which combines of the method previously developed by the speaker together with the modulated energy introduced by S. Serfaty. This modulated free energy may be understood as introducing appropriate weights in the relative entropy to cancel the more singular terms involving the divergence of the flow. This modulated free energy allows to treat singular interactions of gradient-flow type and allows potentials with large smooth part, small attractive singular part and large repulsive singular part. As an example, a full rigorous derivation (with quantitative estimates) of some chemotaxis models, such as Patlak-Keller-Segel system in the subcritical regimes, is obtained.
15:45
Right-angled Artin subgroup of Artin groups
Abstract
Artin groups are a family of groups generalizing braid groups. The Tits conjecture, which was proved by Crisp-Paris, states that squares of the standard generators generate an obvious right-angled Artin subgroup. In a joint work with Kevin Schreve, we consider a larger collection of elements, and conjecture that their sufficiently large powers generate an obvious right-angled Artin subgroup. In the case of the braid group, regarded as a mapping class group of a punctured disc, these elements correspond to Dehn twist around the loops enclosing multiple consecutive punctures. This alleged right-angled Artin group is in some sense as large as possible; its nerve is homeomorphic to the nerve of the ambient Artin group. We verify this conjecture for some classes of Artin groups. We use our results to conclude that certain Artin groups contain hyperbolic surface subgroups, answering questions of Gordon, Long and Reid.
15:45
Constructing examples of infinity operads: a study of normalised cacti
Abstract
Operads are tools to encode operations satisfying algebro-homotopic relations. They have proved to be extremely useful tools, for instance for detecting spaces that are iterated loop spaces. However, in many natural examples, composition of operations is only associative up to homotopy and operads are too strict to captured these phenomena. This leads to the notion of infinity operads. While they are a well-established tool, there are few examples of infinity operads in the literature that are not the nerve of an actual operad. I will introduce new topological operad of bracketed trees that can be used to identify and construct natural examples of infinity operads. The key example for this talk will be the normalised cacti model for genus 0 surfaces.
Glueing surfaces along their boundaries defines composition laws that have been used to construct topological field theories and to compute the homology of the moduli space of Riemann surfaces. Normalised cacti are a graphical model for the moduli space of genus 0 oriented surfaces. They are endowed with a composition that corresponds to glueing surfaces along their boundaries, but this composition is not associative. By using the operad of bracketed trees, I will show that this operation is associative up to all higher homotopies and hence that normalised cacti form an infinity operad.
15:45
Cohomology of group theoretic Dehn fillings
Abstract
We study a group theoretic analog of Dehn fillings of 3-manifolds and derive a spectral sequence to compute the cohomology of Dehn fillings of hyperbolically embedded subgroups. As applications, we generalize the results of Dahmani-Guirardel-Osin and Hull on SQ-universality and common quotients of acylindrically hyperbolic groups by adding cohomological finiteness conditions. This is a joint work with Nansen Petrosyan.
15:45
Triangle presentations and tilting modules for SL(n)
Abstract
Triangle presentations are combinatorial structures on finite projective geometries which characterize groups acting simply transitively on the vertices of locally finite affine A_n buildings. From this data, we will show how to construct new fiber functors on the category of tilting modules for SL(n+1) in characteristic p (related to order of the projective geometry) using the web calculus of Cautis, Kamnitzer, Morrison and Brundan, Entova-Aizenbud, Etingof, Ostrik.
15:45
Isotopy in dimension 4
Abstract
The main result is the existence of smooth, properly embedded 3-discs in S¹ × D³ that are not smoothly isotopic to {1} × D³. We describe a 2-variable Laurent polynomial invariant of 3-discs in S¹ × D³. This allows us to show that, when taken up to isotopy, such 3-discs form an abelian group of infinite rank. Joint work with David Gabai.