N3.12

In this talk I will introduce the concept of the path signature and motivate its recent use in analysis of time-ordered data. I will then describe a new feature map for barcodes in persistent homology by first realizing each barcode as a path in a vector space, and then computing its signature which takes values in the tensor algebra over that vector space. The composition of these two operations — barcode to path, path to tensor series — results in a feature map that has several desirable properties for statistical learning, such as universality and characteristicness.

Hilbert's fifth problem asks informally what is the difference between Lie groups and topological groups. In 1950s this problem was solved by Andrew Gleason, Deane Montgomery, Leo Zippin and Hidehiko Yamabe concluding that every locally compact topological group is "essentially" a Lie group. In this talk we will show the complete proof of this theorem.

I will give an introduction to the asymptotic behaviour of random geometric complexes. In the specific case of a simplicial complex realised as the Cech complex of a point process sampled from a closed Riemannian manifold, we will explore conditions which guarantee the homology of the Cech complex coincides with the homology of the underlying manifold. We will see techniques which were originally developed to study random geometric graphs, which together with ideas from Morse Theory establish homological connectivity thresholds.

I will give an overview of audio identification methods on spectral representations of songs. I will outline the persistent homology-based approaches that I propose and their shortcomings. I hope that the review of previous work will help spark a discussion on new possible representations and filtrations.

This talk is a brief introduction to the analysis of Donaldson theory, a branch of gauge theory. Roughly, this is an area of differential topology that aims to extract smooth structure invariants from the geometry of the space of solutions (moduli space) to a system of partial differential equations: the Yang-Mills equations.

I will start by discussing the differential geometric background required to talk about Yang-Mills connections. This will involve introducing the concepts of principal fibre bundles, connections and curvature. In the second half of the talk I will attempt to convey the flavour of the mathematics used to address technical issues in gauge theory. I plan to do this by presenting a sketch of the proof of Uhlenbeck's compactness theorem, the main technical tool involved in the compactification of the moduli space.

This talk will cover the connections of persistence with the topology of random structures. This includes an overview of various results from stochastic topology as well as the role persistence ideas  play in the analysis. This will include results on the maximally persistent classes and minimum spanning acycles/generalised trees.

One of the key properties of 1-parameter persistent homology is that its output can entirely encoded in a purely combinatorial way via persistence diagrams or barcodes.  However, many applications of topological data analysis naturally present themselves with more than 1 parameter. Multiparameter persistence suggests itself as the natural invariant to use, but the problem here is that the moduli space of multiparameter persistence diagrams has a much more complicated structure and we lack a combinatorial diagrammatic description.  An alternative approach was suggested by work of Giansiracusa-Moon-Lazar, where they investigated calculating a series of 1-parameter persistence diagrams as the other parameter is varied. In this talk I will discuss work in progress to produce a refinement of their perspective, making use the Algebraic Stability Theorem for persistent homology and work of Bauer-Lesnick on induced matchings.

The class of sheaf Laplacians can be characterized as the convex closure of a certain set of sparse semidefinite matrices. From this viewpoint, the study of sheaf Laplacians becomes a question of linear algebra on sparse matrices. I will discuss the applications of this perspective to the problems of approximating, sparsifying, and learning sheaves.

KW states that every finite abelian extension of the rationals is contained in a cyclotomic extension. In a previous talk, this was reduced to considering cyclic extensions of the local fields Q_p of prime power order l^r. When l\neq p, general theory is sufficient, however for l=p, more specific (although not necessarily more abstruse) descriptions become necessary.
I will focus on the simple structure of Q_p's extensions to obstruct the remaining obstructions to KW (and hopefully provoke some interest in local fields in those less familiar). Time-permitting, I will talk about this theorem in the context of class field theory and/or Hilbert's 12th problem.

The Kronecker-Weber theorem states that every finite abelian extension of the rationals is contained in some cyclotomic field. I will present a proof that emphasizes the standard local-global philosophy by first proving it for the p-adics and then deducing the global case.