From Relations to Simplicial Complexes: A Toolkit for the Topological Analysis of Networks

Abstract: We present a rigorous yet accessible introduction to structures on finite sets foundational for a formal study of complex networks. This includes a thorough treatment of binary relations, distance spaces, their properties and similarities. Correspondences between relations and graphs are given and a brief introduction to graph theory is followed by a more detailed study of cohesiveness and centrality. We show how graph degeneracy is equivalent to the concept of k-cores, which give a measure of the cohesiveness or interconnectedness of a subgraph. We then further extend this to d-cores of directed graphs. After a brief introduction to topology, focusing on topological spaces from distances, we present a historical discussion on the early developments of algebraic topology. This is followed by a more formal introduction to simplicial homology where we define the homology groups. In the context of algebraic topology, the d-cores of a digraph give rise to a partially ordered set of subgraphs, leading to a set of filtrations that is two-dimensional in nature. Directed clique complexes of digraphs are defined in order to encode the directionality of complete subdigraphs. Finally, we apply these methods to the neuronal network of C.elegans. Persistent homology with respect to directed core filtrations as well as robustness of homology to targeted edge percolations in different directed cores is analyzed. Much importance is placed on intuition and on unifying methods of such dispersed disciplines as sociology and network neuroscience, by rooting them in pure mathematics.