Applied Topology Seminar

State-of-the art experimental data promises exquisite insight into the spatial heterogeneity in tissue samples. However, the high level of detail in such data is contrasted with a lack of methods that allow an analysis that fully exploits the available spatial information. Persistent Homology (PH) has been very successfully applied to many biological datasets, but it is typically limited to the analysis of single species data. In the first part of my talk, I will highlight two novel techniques in relational PH that we develop to encode spatial heterogeneity of multi species data. Our approaches are based on Dowker complexes and Witness complexes. We apply the methods to synthetic images generated by an agent-based model of tumour-immune cell interactions. We demonstrate that relational PH features can extract biological insight, including the dominant immune cell phenotype (an important predictor of patient prognosis) and the parameter regimes of a data-generating model. I will present an extension to our pipeline which combines graph neural networks (GNN) with local relational PH and significantly enhances the performance of the GNN on the synthetic data. In the second part of the talk, I will showcase a noise-robust extension of Reani and Bobrowski’s cycle registration algorithm  (2023) to reconstruct 3D brain atlases of Drosophila flies from a sequence of μ-CT images.

Periodic point clouds naturally arise when modelling large homogenous structures like crystals. They are naturally attributed with a map to a d-dimensional torus given by the quotient of translational symmetries, however there are many surprisingly subtle problems one encounters when studying their (persistent) homology. It turns out that bisheaves are a useful tool to study periodic data sets, as they unify several different approaches to study such spaces. The theory of bisheaves and persistent local systems was recently introduced by MacPherson and Patel as a method to study data with an attributed map to a manifold through the fibres of this map. The theory allows one to study the data locally, while also naturally being able to appeal to local systems of (co)sheaves to study the global behaviour of this data. It is particularly useful, as it permits a persistence theory which generalises the notion of persistent homology. In this talk I will present recent work on the theory and implementation of bisheaves and local systems to study 1-periodic simplicial complexes. Finally, I will outline current work on generalising this theory to study more general periodic systems for d-periodic simplicial complexes for d>1. 

To neural activity one may associate a space of correlations and a space of population vectors. These can provide complementary information. Assume the goal is to infer properties of a covariate space, represented by ochestrated activity of the recorded neurons. Then the correlation space is better suited if multiple neural modules are present, while the population vector space is preferable if neurons have non-convex receptive fields. In this talk I will explain how to coherently combine both pieces of information in a bifiltration using Dowker complexes and their total weights. The construction motivates an interesting extension of Dowker’s duality theorem to simplicial categories associated with two composable relations, I will explain the basic idea behind it’s proof.

The natural occurrence of singular spaces in applications has led to recent investigations on performing topological data analysis (TDA) on singular data sets. However, unlike in the non-singular scenario, the homotopy type (and consequently homology) are rather course invariants of singular spaces, even in low dimension. This suggests the use of finer invariants of singular spaces for TDA, making use of stratified homotopy theory instead of classical homotopy theory.
After an introduction to stratified homotopy theory, I will describe the construction of a persistent stratified homotopy type obtained from a sample with two strata. This construction behaves much like its non-stratified counterpart (the Cech complex) and exhibits many properties (such as stability, and inference results) necessary for an application in TDA.
Since the persistent stratified homotopy type relies on an already stratified point-cloud, I will also discuss the question of stratification learning and present a convergence result which allows one to approximately recover the stratifications of a larger class of two-strata stratified spaces from sufficiently close non-stratified samples. In total, these results combine to a sampling theorem guaranteeing the (approximate) inference of (persistent) stratified homotopy types from non-stratified samples for many examples of stratified spaces arising from geometrical scenarios.

In this talk I will describe a new model for time-varying graphs (TVGs) based on persistent topology and cosheaves. In its simplest form, this model presents TVGs as matrices with entries in the semi-ring of subsets of time; applying the classic Kleene star construction yields novel summary statistics for space networks (such as STARLINK) called "lifetime curves." In its more complex form, this model leads to a natural featurization and discrimination of certain Earth-Moon-Mars communication scenarios using zig-zag persistent homology. Finally, and if time allows, I will describe recent work with David Spivak and NASA, which provides a complete description of delay tolerant networking (DTN) in terms of an enriched double category.