Computational Topology

Jeffrey Giansiracusa - email: jeffrey.giansiracusa@durham.ac.uk

Description

Much of topology is concerned with reasoning about abstract shapes such as cell complexes, manifolds, and knots, and one of the main things we do with them is compute invariants such as connected components, the fundamental group, and homology. 

Over the past decade many people have started to realize that the abstract mathematical tools of topology can have interesting and important things to say about data science!  Data sets sometimes come with complicated topological and geometric structure, and understanding this structure can lead to insights about the data and the process that might have generated it.  There have been fascinating applications across many disciplines, including neuroscience, physics, finance, materials science, politics, and many more.

Working with data means that we need computer algorithms capable of manipulating topological objects and computing their invariants.  But the subject is not all about appications.  Applications have inspired new invariants that can also be interesting to study from a purely theoretical perspective.

This project will start with the basics of how topological objects can be constructed and represented in computers.  The fundamental objects are simplicial complexes and open covers. Then we will look at some of the key concepts of computational topology, such as Vietoris-Rips and Alpha compelexes, the Mapper algorithm, and persistent homology.  The project can either go in a theoretical direction by focussing on the abstract properties of these objects, or an applied direction by working with Python software and real data sets.

Prerequisites and corequisites

Topology III (MATH3281) is essential.

Taking Algebraic Topology IV (MATH4161) alongside this project is recommended.

Data Science and Statistical Computing (MATH2687) would be good if you want to look at applications.

Resources

Herbert Edelsbrunner and John Harer, Computational Topology: An Introduction.   Available as a PDF here.

Lecture notes and videos of a Math 574 taught by Bala Krishnamoorthy at Washington State University.

Lecture notes and videos of Math 529 Computational Topology, taught by Bala Krinshnamoorthy at Washington Sate Univesity and his TEDx talk.

Many more good resources can be found on Peter Bubenik's page.