Computational Topology
Project IV (MATH4072)
Project IV (MATH4072)
Jeffrey Giansiracusa - email: jeffrey.giansiracusa@durham.ac.uk
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.
Geometric Topology III (MATH3491) would be very useful (we'll be building on some of the content from the 1st term).
Taking Algebraic Topology IV (MATH4161) alongside this project is recommended.
Data Science and Statistical Computing (MATH2801) would be good if you want to look at applications.
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.