 Review
 Open Access
 Published:
Persistence homology of networks: methods and applications
Applied Network Sciencevolume 4, Article number: 61 (2019)
Abstract
Information networks are becoming increasingly popular to capture complex relationships across various disciplines, such as social networks, citation networks, and biological networks. The primary challenge in this domain is measuring similarity or distance between networks based on topology. However, classical graphtheoretic measures are usually local and mainly based on differences between either node or edge measurements or correlations without considering the topology of networks such as the connected components or holes. In recent years, mathematical tools and deep learning based methods have become popular to extract the topological features of networks. Persistent homology (PH) is a mathematical tool in computational topology that measures the topological features of data that persist across multiple scales with applications ranging from biological networks to social networks.
In this paper, we provide a conceptual review of key advancements in this area of using PH on complex network science. We give a brief mathematical background on PH, review different methods (i.e. filtrations) to define PH on networks and highlight different algorithms and applications where PH is used in solving network mining problems. In doing so, we develop a unified framework to describe these recent approaches and emphasize major conceptual distinctions. We conclude with directions for future work. We focus our review on recent approaches that get significant attention in the mathematics and data mining communities working on network data. We believe our summary of the analysis of PH on networks will provide important insights to researchers in applied network science.
Introduction
Information networks are important tools to model the relationship between complex data. They exist in multiple disciplines such as social networks, biological networks, the World Wide Web and so on. Analysis of such networks includes many applications such as node classification (Bhagat et al. 2011; Akbas and Aktas 2019), community detection (Akbas and Zhao 2017a,b), and link prediction (Lopes et al. 2010; Sharan et al. 2007).
The primary challenge in applied network science is measuring similarity or distance between networks without knowing node correspondences. Since comparing the graphs with the graph isomorphism is computationally expensive (Babai 2016), many statistically oriented graph similarity measures have been proposed in literature (Baur and Benkert 2005; Zager and Verghese 2008). While some of these methods embed the graphs into a feature space and then define distances on that space, other methods define kernel functions on graphs to build similarity measures (Vishwanathan et al. 2010). Moreover, in graphtheoretic approaches, similarity measures are defined based on the difference in graphtheoretic features such as assortativity, betweenness centrality, smallworldness, and network homogeneity. However, such classical graphtheoretic measures are usually local and mainly based on differences between either node or edge measurements, or correlations without considering the network topology. Therefore, they may have information loss over topological structures, such as the connected components or holes in networks. On the other hand, structural holes in networks can give important information about network topology (Xu et al. 2016). For instance, node importance can be measured based on structural holes. The unique characteristics of nodes in the location of structural holes can help to separate the structural holes nodes from other nodes. Moreover, the existence and distribution of structural holes in networks can be used as important topological features for network comparison and classification (Xu et al. 2018).
In recent years, mathematical tools and deep learning based methods have become popular to extract the topological features of networks. Persistent homology (PH) is a mathematical tool in computational topology that measures the topological features of data that persist across multiple scales. Its applications range from biological systems (Li et al. 2017) to computer vision (Adcock et al. 2013). The basic idea in PH is to replace the data points with a parametrized family of simplicial complexes, which can roughly be considered as a union of points, edges, triangles, tetrahedron and higherdimensional polytopes, and encode the change of the topological features (such as the number of connected components, holes, voids) of the simplicial complexes across different parameters for data analysis (Ghrist 2008). For an extensive and rigorous introduction to the computation of persistent homology, we refer readers to the survey papers (Patania et al. 2017; Otter et al. 2017).
Nowadays PH is largely applied for the study of complex networks as a feature extractor since persistent homology gives multiscales summarization of the graph, unlike the traditional metrics that describe the graph in specific angles. In this paper, we provide a conceptual review of key advancements in the area of using PH on complex network science.
The paper is structured as follows: In “Preliminaries” section, we define and give the background on networks, simplicial complex, simplicial homology, and persistent homology. In “Filtrations” section, we list and compare the filtrations defined for networks. In “Algorithms and applications” section, we highlight different algorithms and applications where PH is used in solving network mining problems. Lastly, we conclude the paper with directions for future work in “Conclusion” section.
Preliminaries
While a network can be represented as a graph, it can also be represented as other topological objects. Topology is a branch of mathematics that studies the property of the shapes that are invariant under continuous deformation such as stretching, twisting, bending but not tearing or gluing. For example, a donut and a coffee mug are topologically equivalent since one can transform one to the other continuously. Topological invariants, which are properties of the shapes that do not change under continuous transformation, are useful to detect whether given two shapes are topologically equivalent. The number of connected components, the existence of holes or voids are examples of the topological invariants. Algebraic topology is the area in topology that extracts these invariants of an object by simply counting them or associating algebraic structures, such as vector spaces, to them. For example, for a given topological object X, homology associates vector spaces H_{i}(X) for i={0,1,2,...} where the dimension of H_{0}(X) gives the number of connected components, H_{1}(X) gives the number of holes, H_{2}(X) gives the number of voids and so on.
For a finite set of points, e.g. a point cloud data, homology does not give interesting information. The dimension of H_{0}(X) gives the number of points, and the dimensions of the higher dimensional homology are zero. It is also similar in a network setting. The dimension of H_{0}(X) gives the number of disconnected subgraphs, H_{1}(X) gives the number of loops and the dimensions of the higher dimensional homology are zero since a graph does not have 2 and higher dimensional simplices. Hence, instead of just looking the homology of the finite set of points itself, using (1) a distance function, e.g. a correlation or a measure of dissimilarity between points, and (2) a parameter value, one can add simplices and check how homology changes across different scales. Persistent homology then tracks the change in homology as the parameter value increases and detects which topological features “persist" across different scales.
In general, it is very difficult to compute homology of an arbitrary topological object. Hence, instead of doing this, we can approximate a topological object with a simplicial complex and then compute the homology, that is actually called simplicial homology.
In this section, we define how to define persistent homology on a finite set of points and networks. We first give a formal definition of graphs and explain their characteristics. We then define the simplicial complex and how to compute the simplicial homology. Finally, we briefly explain the persistent homology and two special metrics which are very useful for using persistent homology in data analysis applications.
Graphs
As a formal definition, a graph G is a pair of sets G=(V,E) where V is the set of vertices and E is the set of edges of the graph. Networks can be represented via graphs where vertices represent the objects and edges represent the relations between objects. There are different types of graphs to represent different relations between vertices. While in an undirected graph, edges link two vertices symmetrically, in a directed graph (also called digraph in literature), edges link two vertices asymmetrically. If there is a score for the relationship between vertices which could represent the strength of interactions, we can represent this type of relations or interactions by a weighted network. In a weighted graph, a weight function \(W: E \rightarrow \mathbb {R}\) is defined to assign a weight on each edge. Weights could come from the Euclidean space or other spaces.
A graph G with n vertices can be represented by an n×n adjacency matrix. Entries of the matrix will be G_{ij}=1 for an unweighted graph and G_{ij}=w_{ij} for a weighted graph if there is an edge from vertex i to vertex j. If there is no edge between vertex i and vertex j, it will be G_{ij}=0.
Furthermore, there are two different graph types we study in this paper. Firstly, a graph is called a metric graph if each edge is assigned a positive length and if the graph is equipped with a natural metric where the distance between any two points of the graph (not necessarily vertices) is defined to be the minimum length of all paths from one to the other. Secondly, a graph is called a dynamic (timevarying) graph if the graph varies over time, i.e. it can have vertex and edge deletions and additions.
Simplicial complex
Informally, a simplicial complex is a topological object which is built as a union of points, edges, triangles, tetrahedron, and higherdimensional polytopes. The building blocks of a simplicial complex are called simplices (plural of simplex). Simplices are higher dimensional analogs of points, line segments, and triangles, such as a tetrahedron. We start this section with a formal definition of a simplex.
Definition 1
An isimplex σ is the convex hull of i+1 affinely independent points, i.e. the set of all convex combinations λ_{0}v_{0}+λ_{1}v_{1}+...+λ_{i}v_{i} where λ_{0}+λ_{1}+...+λ_{i}=1 and λ_{j}≤1 for all j∈{0,1,...,i}.
A 0simplex is just a point, a 1simplex is two points connected with a line segment, a 2simplex is a filled triangle (see Fig. 1). We call vertex for 0simplex, edge for 1simplex, triangle for 2simplex, and tetrahedron for 3simplex.
We can now define a simplicial complex roughly as a union of simplices, but these simplices need to be glued in a certain way. Here is the formal definition.
Definition 2
A simplicial complex is a finite collection of simplices K such that

1
Every face of a simplex in K also belongs to K.

2
For any two simplices σ_{1} and σ_{2} in K, if σ_{1}∩σ_{2}≠∅, then σ_{1}∩σ_{2} is a common face of both σ_{1} and σ_{2}.
The first condition says that if a simplex, e.g. a triangle, is in K, then its faces, such as its edges and vertices, need to be also in K. The second condition says that we can only glue simplices by their common faces. For example, we can glue two triangles by a common vertex or a common edge but cannot glue a vertex of a triangle on one of the edges of the other triangle. Figure 2a is an example of a simplicial complex whereas Fig. 2b and c are not a simplicial complex since they are violating the first and second condition in Definition 2 respectively.
Before we start to explain how to compute the homology of a simplicial complex, we define the clique complex of a graph G which will be a crucial concept to define most of the filtrations in “Filtrations” section.
Definition 3
The clique complex Cl(G) of an undirected graph G=(V,E) is a simplicial complex where vertices of G are its vertices and each kclique, i.e. the complete subgraphs with k vertices, in G corresponds to a (k−1)simplex in Cl(G).
For example, in Fig. 3a, there is a graph with a 4clique on the left, 2clique in the middle and 3clique on the right. Hence, its clique complex, Fig. 3b, has a 3simplex (tetrahedron), a 1simplex (edge) and a 2simplex (triangle).
Simplicial homology
In a simplicial complex, we can consider the holes as voids bounded by simplices of different dimensions. In dimension 0, they are connected components, in dimension 1, they are loops bounded by edges (1simplices), in dimension 2, they are holes bounded by triangles (2simplices) and in general, in dimension i, they are the holes bounded by isimplices.
The simplicial homology is the way to find the holes in a simplicial complex. To understand what simplicial homology is, we need to define the chains, and two special types of chains, namely cycles and boundaries.
Definition 4
Fix a dimension i and assume we use the field of integers. An ichain is a formal sum of isimplices of a simplicial complex K with integer coefficients and the sum is taken over possible isimplices. The set of all ichains of K is denoted with C_{i}(K).
For example, c_{1}=a−3b+4d,c_{2}=2a+c−2d+3e are 0chains for the simplicial complex in Fig. 4. One can add two ichains by simply adding the corresponding integer coefficients, e.g. c_{1}+c_{2}=3a−3b+c+2d+3e, and multiply by scalars, e.g. 2c_{1}=2a−6b+8d. Hence, C_{i}(K) is actually a vector space over integers (more generally we can over any field such as real numbers). For simplicity, we assume the field is the binary field \(\mathbb {Z}/2\mathbb {Z}=\{0,1\}\) from now on.
To map an isimplex to an (i−1)simplex, we define the boundary of an isimplex as the sum of its (i−1)dimensional faces. Formally speaking, for an isimplex σ=[v_{0},...,v_{i}], its boundary is
where the hat indicates the v_{j} is omitted. We can expand this definition to ichains. For an ichain \(c=c_{i}\sigma _{i}, \partial _{i}(c)=\sum c_{i}\partial _{i} \sigma i\). For example, in Fig. 4, ∂_{1}A=e+a and ∂_{2}T=E+D+F.
We should also note here that the boundary of a boundary is empty, i.e. ∂_{i}∂_{i+1}=0. For example, in Fig. 4, ∂_{1}∂_{2}(T)=∂_{1}(E+D+F)=(d+e)+(e+c)+(c+d)=2c+2d+2e=0 since 2=0 in the binary field \(\mathbb {Z}/2\mathbb {Z}=\{0,1\}\).
We can now distinguish two special types of chains using the boundary map that will be useful to define homology. The first one is an icycle, which is defined as an ichain with empty boundary. In other words, an ichain c is an icycle if and only if ∂_{i}(c)=0, i.e. c∈ker(∂_{i}). For example, the 1chain A+B+C+F in Fig. 4 is a 1cycle since ∂_{1}(A+B+C+F)=∂_{1}(A)+∂_{1}(B)+∂_{1}(C)+∂_{1}(F)=(e+a)+(a+b)+(b+c)+(c+e)=0. The set of all such icycles forms a subspace in C_{i}(K), which we denote Z_{i}(K).
Second special type of an ichain is iboundary: an ichain c is an iboundary if there exists an (i+1)chain d such that c=∂_{i+1}(d), i.e. c∈im(∂_{i+1}). For example. the one chain E+D+F is a 1boundary since E+D+F=∂_{2}(T). The set of all such iboundaries forms a subspace in C_{i}(K), which we denote B_{i}(K).
After defining these two special subspaces, icycles Z_{i}(K) and iboundaries B_{i}(K) of C_{i}(K), we now take the quotient space of B_{i}(K) as a subset of Z_{i}(K). In this quotient space, there are only the icycles that do not bound an (i+1)complex left. These are actually the ivoids of K. We call this quotient space as the ith homology of the simplicial complex K
The dimension of ith homology is called the ith Betti number of K, β_{i}(K), where β_{i}(K)= dim ker (∂_{i})− dim im (∂_{i+1}). Basically, the ith Betti number is the number of idimensional voids in the simplicial complex. For example, β_{0} gives the number of connected components and β_{1} gives the number of loops. In Fig. 4, β_{0}=1,β_{1}=1,β_{2}=0.
Persistent homology
For a finite set of points X, e.g. a point cloud data, homology does not give interesting information. β_{0} gives the number of connected components, which is just the number of points, and all other Betti numbers are zero since there are no other dimensional holes in the set. Hence, instead of working with the set of points, one can induce a family of simplicial complexes \(K_{X}^{\delta }\) for a range of values of \(\delta \in \mathbb {R}\) out of the set X so that the complex at step m is embedded in the complex at n for m≤n, i.e. \(K_{X}^{m} \subseteq K_{X}^{n}\). This nested family of simplicial complexes is called filtration (see Fig. 5 for an example). During this construction, some holes may appear and then disappear and the persistency of these homological features can be considered as the features of the dataset. In a filtration, one can record the birth, the time a hole appears, and death, the time a hole disappears, of holes. The essence of the persistent homology is to tract the birth and death of these homological features in \(K_{X}^{\delta }\) for different δ values. The lifespan of each homological feature can be represented as an interval, where the start and end points of the interval correspond to the birth and the death of the homological feature respectively. For a given dataset and a filtration, one can record all these intervals by a persistence barcode (PB) as a multiset of intervals bounded below (Carlsson et al. 2005). Equivalently, a persistence barcode can be represented via persistence diagram (PD) that consists of the birth and death times of the features as a point (birth, death) in the extended real plane \(\bar {\mathbb {R}}^{2}\) (Edelsbrunner et al. 2000). The longer bars in PBs and the points far away to diagonal in PDs are considered as the real feature of the dataset.
Example 1
Figure 6 has the 0 and 1dimensional persistence barcodes (Fig. 6a) and the 0 and 1dimensional persistence diagrams (Fig. 6b) of the filtration in Fig. 5.
We first investigate the 0dimensional PB and PD. As we see in the filtration, when δ=0, there are five disconnected vertices, which means there are five connected components in the simplicial complex. That is why five bars are born at the beginning of the 0dimensional PB. When δ=1, two edges are added that decreases the total number of connected components to three, hence two bars die at δ=1. When δ=2, three more edges are added and this makes the simplicial complex only one connected component, thus two more bars die at δ=2. After this point, the number of connected component does not change so the top bar lives forever (arrowhead at the right of that bar implies this fact). Following the same reasoning, 0dimensional PD has the point (0,1) two times, that corresponds to the two bars spanning from 0 to 1 in the 0dimensional PB, the point (0,2) again two times, that corresponds to the two bars spanning from 0 to 2 in the 0dimensional PB, and the point (0,∞), that corresponds to the top bar that lives forever in the 0dimensional PB.
For the 1dimensional PB and PD, since the first 1dimensional hole (loop) appears for δ=2, there is a bar born at this value in the 1dimensional barcode. When δ=3, this loop splits into two loops, hence the number of the loops increases to two, and as a result, a new bar is born at δ=3. When δ=4, one of the two loops also splits into two loops, so there is another bar born at δ=4. When δ=5, the top triangle is filled in (a 2simplex is added), so the number of the loops decreases by one and this results into a death of the bar born at δ=4. Similarly, other two bars die at δ=6 and δ=7. In the 1dimensional PD, there are the points (2,7), (3,6) and (4,5) that correspond to the three bars in the 1dimensional PB.
Two metrics for persistence diagrams
One may want to employ persistence diagrams to compare the corresponding datasets. For example, in the network matching problem, we can create a persistence diagram for each network and compare the persistence diagrams to obtain the network similarity. For such a comparison, we need to measure the distance between persistent diagrams using stable metrics. A metric is stable if a small perturbation of a dataset creates only a small change in the persistence diagram up to that metric. There are two metrics, which can be stable depending on how simplices are defined, that have been commonly used to measure the distance between diagrams: the bottleneck distance and the Wasserstein distance. We first define the bottleneck distance.
Definition 5
Let P and Q be two persistence diagrams. The bottleneck distance between P and Q is defined as
where γ ranges over all matchings from P to Q and p−q_{∞}= max(p_{1}−q_{1},p_{2}−q_{2}) for \(p=(p_{1},p_{2}), q=(q_{1},q_{2}) \in \bar {\mathbb {R}^{2}}\) with ∞−∞=0.
In other words, the bottleneck distance measures the distance between two persistence diagrams P and Q by the maximum distance between two points in a matching from P to Q. Hence, the bottleneck distance only outputs the distance between the greatest outlier, rather than the distance between all pair of points.
As an answer to this concern, the Wasserstein distance can be used.
Definition 6
Let P and Q be two persistence diagrams. The pth Wasserstein distance between P and Q is defined as
where γ ranges over all matchings from P to Q and p−q_{p}=(p_{1}−q_{1}^{p}+p_{2}−q_{2}^{p})^{1/p} for \(p=(p_{1},p_{2}), q=(q_{1},q_{2}) \in \bar {\mathbb {R}^{2}}\) with ∞−∞=0.
In other words, the Wasserstein distance considers the total distance between the matched pair of points, hence provides an overall quantification for the similarity between persistence diagrams.
Filtrations
In this section, we review the filtrations defined for networks in the literature. We compare the filtrations according to their properties such as sensitivity to different network types (e.g. directed/undirected, weighted/unweighted). We also provide a comparison table, Table 1, at the end of the section.
Throughout this section, we use the notations defined for graphs in “Graphs” section.
VietorisRips filtration (VR)
Let G=(V,E) be an undirected weighted graph with the weight function \(W: V \times V \rightarrow \mathbb {R}\) defined on E. For any \(\delta \in \mathbb {R}\), the 1skeleton G_{δ}=(V_{δ},E_{δ})⊂G is defined as the subgraph of G where V_{δ}=V and its edge set E_{δ}∈E only includes the edges whose weight is less than or equal to δ. Then, for any \(\delta \in \mathbb {R}\), we define the VietorisRips complex as the clique complex of the 1skeleton G_{δ}, Cl(G_{δ}), and the VietorisRips filtration is then defined as
In other words, in this filtration, we first start with the vertex set. We then rank the edge weights from the minimum weight, w_{min}, to the maximum weight, w_{max}, and let the parameter δ increase from w_{min} to w_{max}. At each step, we add the corresponding edges and take the clique complex of the thresholded subgraph G_{δ}. This construction yields the VietorisRips filtration on networks.
For the application purposes, we may prefer to add edges with larger weights before the ones with smaller weights to stress the importance of the weights. In other words, after adding the vertex set, we rank the edge weights from w_{max} to w_{min} and for any \(\delta \in \mathbb {R}\), we add edges whose weight is bigger than or equal to δ. This yields a similar yet another filtration. This filtration is called the weight rank clique filtration by Petri et al. (2013a). However, to be more concise, we prefer to call this as inverse VietorisRips filtration.
Dowker sink and source filtration (DSS)
Using the idea of the VietorisRips filtration, the authors in Chowdhury and Mémoli (2016, 2018) define the Dowker δsink and δsource simplicial complex on directed weighted networks that is sensitive edge directions. For a directed graph G=(V,E) with edge weights \(W: V \times V \rightarrow \mathbb {R}\), the Dowker δsink simplicial complex associated to G is defined as
In other words, there is a sink vertex x^{′}∈V such that there are edges from each x_{i}∈σ to x^{′} with weights less than or equal to the threshold δ. Using this simplicial complex, they define the Dowker sink filtration as follows
They similarly define a dual construction, namely the Dowker δsource simplicial complex associated to a directed weighted network G, as follows
The only difference here is the edge directions: there is a source vertex x^{′}∈V such that there are edges from x^{′} to each x_{i}∈σ with weights less than or equal to the threshold δ. Similarly, they define the Dowker source filtration as
Dowker sink and source (DSS) filtrations are formed with respect to a central authority x^{′}∈V, hence they could be preferred on networks, such as smallworld networks, who would desire simplices to be formed with respect to particular hub nodes.
The authors also prove that both filtrations generate the same persistent diagram.
Clique complex filtration (CCL)
For a graph G with \(n \in \mathbb {Z}\) vertices and its clique complex Cl(G), the clique complex filtration is defined as
such that Cl_{0}(G)⊂Cl_{1}(G)⊂⋯⊂Cl_{n}(G)=Cl(G) where the ith complex in the filtration is given by \(Cl_{i}(G)=\sum _{j=1}^{i} S_{j}\) where S_{j} is the jth skeleton of the clique complex, i.e. the set of simplices of dimension less than or equal to j (Horak et al. 2009). In other words, in this filtration, we add the vertices at δ=0, add the edges at δ=1, add the triangles at δ=2 and so on.
Vertexbased clique filtration (VBCL)
This filtration is originally defined in Rieck et al. (2018) for just the 0dimension, however it can be extended to higher dimensions as well. Let G=(V,E) be a graph with a vertex weight function \(\omega : V \rightarrow \mathbb {R}\). For this filtration, we use vertex weights, instead of the edge weights, as threshold values. For any \(\delta \in \mathbb {R}\), the 1skeleton G_{δ}=(V_{δ},E_{δ})⊂G is defined as the subgraph of G where V_{δ}:={v∈Vω(v)≤δ} and the edges E_{δ}:={e={u,v}∈Eω(e):= max (ω(u),ω(v))≤δ}. Then, for any \(\delta \in \mathbb {R}\), using the clique complex of the 1skeleton G_{δ},Cl(G_{δ}), the filtration is defined as
Furthermore, we can also define the inverse vertexbased clique filtration by just filtering from ω_{max} to ω_{min} as we do in the VietorisRips filtration.
kclique filtration (kCL)
This filtration is used to detect the evolution of kclique communities for a fixed k in Rieck et al. (2018). In this filtration, we assume the graph G=(V,E) has a vertex weight function \(\omega : V \rightarrow \mathbb {R}\). First, using the vertex weights, we assign a weight function ω(·) on an arbitrary clique σ inductively as
i.e., the maximum weight of its vertices. Second, for a fixed k, we detect all kclique communities in G and create the kclique connectivity graph G^{k}=(V^{k},E^{k}) where there is a vertex for every kclique of G and its edges are defined by
i.e., σ and σ^{′} intersect in a (k−1)clique, in other words, they share k−1 vertices in common. We then extend the weight function ω(·) to the edges of G_{k} by setting
Next, in a similar way, for any \(\delta \in \mathbb {R}\), the 1skeleton \(G^{k}_{\delta }=\left (V^{k}_{\delta },E^{k}_{\delta }\right) \subset G^{k}\) is defined as the subgraph of G^{k} where \(V^{k}_{\delta }:=\left \{v \in V^{k}  \omega (v)\leq \delta \right \}\) and the edges \(E^{k}_{\delta }:=\{e=\{u,v\}\in E^{k}  \omega (e)\leq \delta \}.\) Then, for any \(\delta \in \mathbb {R}\), using the clique complex of the 1skeleton \(G^{k}_{\delta }\), the filtration is defined as
This filtration is unique in a sense that it just focuses on the evolution of the kclique communities only in the original graph.
Weighted simplex filtration (WS)
In the previous filtration, we assign weights to arbitrary cliques, i.e. simplices, using the vertex weights. Alternatively, one may use another way to assign weights to simplices and use these weights to create a filtration. For example, Huang et all (Huang and Ribeiro 2017) assign weights to each simplex in a simplicial complex K based on relationship functions in a given dissimilarity network. For any \(\delta \in \mathbb {R}\), they define K_{δ}⊆K to be the collection of simplices appearing before or on δ. Then, this construction yields the filtration
To be a welldefined filtration, we need to have all faces of each simplex and intersections of any simplices in K_{δ} also appear before or on δ. They prove that this filtration from a given dissimilarity network is a welldefined filtration, i.e. satisfies both conditions.
Vertex function based filtration (VFB)
Let G=(V,E) be an undirected graph and \(f:V \rightarrow \mathbb {R}\) be a function defined on its vertices. We construct the sublevel graphs G_{δ}=(V_{δ},E_{δ}) for \(\delta \in \mathbb {R}\) where V_{δ}={v∈V:f(v)≤δ and E_{δ}={(v_{1},v_{2})∈E:v_{1},v_{2}∈V_{δ}}. Hence, increasing δ from −∞ to ∞ provides a nested sequence of increasing subgraphs. The sublevel vertex function based (VFB) filtration is given by taking the clique complex of each sublevel graph
Similarly, we can construct the superlevel graphs G_{δ}=(V_{δ},E_{δ}) for \(\delta \in \mathbb {R}\) where V_{δ}={v∈V:f(v)≥δ and E_{δ}={(v_{1},v_{2})∈E:v_{1},v_{2}∈V_{δ}}. This time decreasing δ from ∞ to −∞ provides a nested sequence of increasing subgraphs which yields to the superlevel vertex function based (VFB) filtration as follows
Intrinsic Čech filtration (IC)
This filtration is defined only for metric graphs in Gasparovic et al. (2017). Let (G,d_{G}) be a metric graph with geometric realization G. For any point x∈G, we define the set B(x,δ):={y∈G:d_{G}(x,y)<δ}, and we let U_{δ}:={B(x,δ):x∈G} be an open cover. Since G has all the vertices and every point along the edges, it has uncountable points. Hence, U_{δ} is also an uncountable cover. We let C_{δ} denote the nerve of U_{δ} where the nerve of a family of sets {Y_{i}}_{i∈I} is the abstract simplicial complex defined on the vertex set I where a family {i_{0},i_{1},...,i_{k}} with i_{j}∈I for all j∈{0,...,k} spans a ksimplex if and only if \(U_{i_{0}} \cap U_{i_{1}} \cap \cdots \cap U_{i_{k}} \neq \emptyset \). The associated intrinsic Čech filtration is defined as the set of inclusion maps
Functional metric graph filtration (FMG)
This filtration is also defined for metric graphs only Dey et al. (2015). Let G be a metric graph and take a fixed point s∈G. They consider \(f:G \rightarrow \mathbb {R}\) where f(x)=d_{G}(x,s), i.e. to be the geodesic distance from x to s. Let G_{δ}:={x∈Gf(x)≥δ} denote the superlevel set of G with respect to \(\delta \in \mathbb {R}\). Clearly \(\phantom {\dot {i}\!}G_{\delta } \subseteq G_{\delta '}\) for δ≥δ^{′}. Then the filtration is given by
Similarly, instead of using superlevel set of G, one can use the sublevel set of G for each δ, G_{δ}:={x∈Gf(x)≤δ}. This yields another filtration
Depending on problems, one may choose either of the filtrations.
Power filtration (POW)
Let G=(V,E) be a graph. A u−v walk is an alternating sequence of vertices and edges beginning with u and ending with v such that every edge joins the vertices immediately preceding and following it. A u−v path is a u−v walk in which no vertex is repeated and the number of edges it contains is its length. The graph distance d(u,v) between u,v∈V(G) is the minimum length of all u−v paths. One can also consider the edge weights while computing the graph distance as well. The rth power G^{r},r≥1, of G is the graph with vertex set V(G^{r})=V(G) and for which {u,v}∈E(G^{r}) if, and only if, the distance between u and v in G is at most r. The power filtration is the clique complex of the rth power G^{r}. In other words, for an appropriate distance range 1≤r≤p within G, the power filtration is given by
where Cl denotes the clique complex.
Temporal filtration (TMP)
This filtration is defined in Pal et al. (2017) for dynamic (timevarying) networks. If the network is growing in time t_{0}<⋯<t_{n}, this will yield a sequence of networks {G_{t},t=t_{0},...,t_{n}} where the network G_{t} represents the network occurred until time t. This network sequence results in the temporal filtration given by the clique complex of each network
Zigzag simplicial filtration (ZSF)
This filtration is also defined for dynamic networks. While “Temporal filtration (TMP)” section only considers the vertex and edge insertion into a dynamic graph which yields adding simplices to the simplicial complexes, this method also allows vertex and edge deletion from a dynamic graph which yields removing simplices from the simplicial complexes. In a standard filtration on a graph G, \(\phantom {\dot {i}\!}G_{\delta } \subseteq G_{\delta '}\) whenever δ≤δ^{′}. This filtration generalizes standard filtrations by allowing the simplicial complexes to sometimes become smaller. A zigzag simplicial filtration on a graph G is a filtration with extra two conditions: (1) The set of points of discontinuity of the zigzag simplicial filtration should be locally finite, i.e. each point in the set has a neighborhood that includes only finitely many of the points in the set and (2) for any scale parameter value \(\delta \in \mathbb {R}\), it holds that G_{δ−ε}⊆G_{δ}⊇G_{δ+ε} for all sufficiently small ε>0. Then we use the zigzag persistent homology to obtain the persistence barcodes/diagrams (Carlsson and De Silva 2010). The same basic idea applies in the zigzag persistent homology. For example, for the 0dimensional zigzag persistence barcodes, we just track the number of connected components in the filtration.
Digraph filtration using persistent path homology (PPH)
In Chowdhury and Mémoli (2018), the authors define a new way to construct homology on networks: persistent path homology (PPH) which is sensitive to the edge directions. We summarize the construction in 4 steps.
Step 1: Let G=(V,E) be directed weighted graph. Given any integer \(p \in \mathbb {Z}_{+}\), an elementary ppath overV is a sequence [v_{0},...,v_{p}] of p+1 vertices of V. For each \(p \in \mathbb {Z}_{+}\), the free vector space consisting of all formal linear combinations of elementary ppaths over V with coefficients in \(\mathbb {K}\) is denoted \(\Lambda _{p} = \Lambda _{p}(V) = \Lambda _{p}(V, \mathbb {K})\). One also defines \(\Lambda _{1} := \mathbb {K}\) and Λ_{−2}:={0}. Next, for any \(p \in \mathbb {Z}_{+}\), one defines the nonregular boundary map\(\partial _{p}^{nr}:\Lambda _{p} \rightarrow \Lambda _{p1}\) as
for each elementary ppath [v_{0},...,v_{p}]∈Λ_{p}. \(\partial _{1}^{nr}: \Lambda _{1} \rightarrow \Lambda ^{2}\) is the zero map. Observe that \(\partial _{p+1}^{nr} \circ \partial _{p}^{nr}=0\) for all p≥−1 so \((\Lambda _{p},\partial _{p}^{nr})_{p\in \mathbb {Z}^{+}}\) is a chain complex.
Step 2: For each \(p\in \mathbb {Z}^{+}\), an elementary ppath [v_{0},...,v_{p}] is called regular if v_{i}≠v_{i+1} for each 0≤i≤p−1 and irregular otherwise. Let \(\mathcal {R}_{p}(V,\mathbb {K}):= \mathbb {K}[\{[v_{0},...,v_{p}]: [v_{0},...,v_{p}] \text { is regular} \}]\) and \(\mathcal {I}_{p}\) is irregular one. We have \(\partial _{p}^{nr}(\mathcal {I}_{p}) \subseteq \mathcal {I}_{p1}\) so \(\partial _{p}^{nr}\) is well defined on \(\Lambda _{p}/\mathcal {I}_{p}\). Since \(\mathcal {R}_{p} \cong \Lambda _{p}/\mathcal {I}_{p}\) via a natural isomorphism, one can define \(\partial _{p}: \mathcal {R}_{p} \rightarrow \mathcal {R}_{p1}\) as the pullback of \(\partial _{p}^{nr}\) via this isomorphism. ∂_{p} is called the regular boundary map and now we have a chain complex \((\mathcal {R}_{p}, \partial _{p})_{p\in \mathbb {Z}^{+}}\).
Step 3: For each \(p \in \mathbb {Z}^{+}\), one defines an elementary ppath [v_{0},...,v_{p}] on V to be allowed if (v_{i},v_{i+1})∈E for each 0≤i≤p−1. For each \(p \in \mathbb {Z}^{+}\), the free vector space on the allowed ppaths on (V,E) is denoted \(\mathcal {A}_{p}=\mathcal {A}_{p}(G) = \mathcal {A}_{p}(V,E,\mathbb {K})\) and is called the space of allowed ppaths. Furthermore, \(\mathcal {A}_{1}:=\mathbb {K}\), \(\mathcal {A}_{2}:= \{0\}\).
Step 4: The allowed paths do not form a chain complex since the image of an allowed path under ∂ need not to be allowed. To handle this problem, they define the space of ∂invariant ppaths on G as the following subspace of \(\mathcal {A}_{p}(G)\):
One further defines \(\Omega _{1}:=\mathcal {A}_{1}=\mathbb {K}\) and \(\Omega _{2}:=\mathcal {A}_{2}=\{0\}\). Now we have a chain complex and this yields to path homology groups.
Filtration: For any \(\delta \in \mathbb {R}\) and a directed weighted graph G=(V,E) with the edge weight function \(W: V \times V \rightarrow \mathbb {R}\), we define the directed subgraphs \(\mathfrak {G}_{\delta }=(V, E_{\delta })\) where E_{δ}:={(v,v^{′})∈V×V:v≠v^{′},W(v,v^{′})≤δ}. We then define the digraph filtration as
After getting the filtration, instead of the persistent homology, they apply the persistent path homology (PPH). They show that in an undirected graph, PPH and Dowker filtrations agree in dimension 1 if a certain local condition is satisfied (need to be squarefree). The authors also prove the stability result for PPH.
Generalizations of VietorisRips filtration (GVR)
The author in Turner (2016) uses orderedtuple complexes instead of using simplicial complexes to increase the flexibility regarding order. An orderedtuple complex (OTcomplex) is a collection K of ordered tuples such that if (v_{0},v_{1},v_{2},...,v_{n})∈K then \((v_{0},...,\hat {v_{i}},...,v_{n}) \in K\) for all i (where \((v_{0},...,\hat {v_{i}},...,v_{n})\) is the ordered tuple with v_{i} removed). For example, the tuples (v_{1},v_{2},v_{3}) and (v_{3},v_{1},v_{2}) are distinct. One can define a chain complex, homology and kth dimensional ordered tuple persistence homology of OTcomplexes as defined for simplicial complexes. Then, the author defines the four generalization of VietorisRips filtrations. She also proves the stability theorem for each case. Hence, we will not mention the theorem for each case separately. For the following filtrations, let (V,f) be the vertex set and a function \(f:V\times V \rightarrow \mathbb {R}\) (f can be considered as an edge weight function).
VietorisRips filtration under sym _{a}
For any a∈[0,1] we can define a symmetric function sym\(_{a}(f):V\times V \rightarrow \mathbb {R}\)
Set \(\mathcal {R}(V,\text {sym}_{a}(f))_{t}\) be the simplicial complex containing [v_{0},v_{1},...,v_{p}] whenever sym _{a}f(v_{i},v_{j})≤t for all i,j. This filtration is called the VietorisRips filtration under sym _{a} of (V,f).
Directed VietorisRips filtration
Set \(\{\mathcal {R}^{dir}(V,f)_{t}\}\) to be the filtration of OTcomplexes where \((v_{0},v_{1},...,v_{p})\in \mathcal {R}^{dir}(V)_{t}\) when f(v_{i},v_{j})≤t for all i≤j. This filtration is called \(\left \{\mathcal {R}^{dir}(X)_{t}\right \}\) the directed VietorisRips filtration of (V,f).
Associated filtration of directed graphs
There is a natural filtration of directed graphs \(\{\mathcal {D}(V)_{t}: t \in [0,\infty)\}\) associated to V by setting \(\mathcal {D}(V,f)_{t}\) to the the directed graph with vertices {v∈V:f(v,v)≤t} and including the directed edges u→v whenever max {f(u,u),f(v,v),f(u,v)}≤t. This filtration is called the associated filtration of directed graphs of (V,f).
Preorder filtration
Given a preorder (V,≤_{t}), let \(\mathcal {O}(V,\leq _{t})\) be the OTcomplex containing (v_{0},v_{1},...,v_{p}) when v_{0}≤v_{1}≤...≤v_{p}. Let \(\mathcal {O}(V,f)) =\{\mathcal {O}(V,f)_{t}\}\) be the filtration of OTcomplexes corresponding to the filtration of posets {(V_{t},≤_{t})}. This filtration is called the preorder filtration of (V,f).
Algorithms and applications
In recent years, persistent homology has found applications in data analysis, including neuroscience (Sizemore et al. 2019), time series data (Seversky et al. 2016), text mining (Wagner et al. 2012) and shape analysis (Gamble and Heo 2010). In the complex network setting, while some studies analyze the evaluation of a single graph, some studies analyze multiple graphs for graph matching and classification with characterizing the temporal changes in topological features of a network. Besides these, while some studies use Betti numbers, some studies use persistent diagrams to extract some statistical features of the network. In this section, we categorize the persistent homology enabled applications as single graph and multiple graph analysis. We explain the algorithms and applications of each study in their corresponding sections. We also provide a comparison table, Tables 2 and 3, for algorithms with datasets after each section.
Analysis on single graph
In some applications, persistent homology is used to detect global structural features of a single network such as complexity and distributions of strongly connected regions. While some applications analyze the evaluation of a single graph according to edge weights, others analyze the evaluation of the graph over time.
In many studies, Betti numbers are used as the complexity measure for different networks. Benzekry et al. (2015) propose that cancer therapy can be guided by changes in the complexity of proteinprotein interaction (PPI) networks. They analyze 11 cancer interaction networks and find out that there is a correlation between 1dimensional Betti number and survival of cancer patients. They compute Betti numbers using the power filtration (Power filtration (POW) section). To examine the effect of a node on the network complexity, each node in the network is removed and the change in Betti number is recorded. They consider the drop of the Betti number as the drop of the complexity. Therefore, if the removal of a node results in the largest drop in Betti number, it also results in the largest drop in complexity and is potentially a good drug target.
Similar to this, Rucco et al. (2016) use Betti number as persistent entropy to measure the graph complexity. They study the behavior of the idiotypic network of the mammal immune system. Their main goal is to detect the behavior of the immune system reaction to an external stimulus in terms of phase transitions. In addition to the persistent entropy, they use 2 other graph complexity measures, which are the connectivity entropy and the approximate von Neumann entropy (Petz 2001). While connectivity entropy is used to analyze the structural properties and to identify the set of key players of the idiotypic network, approximate von Neumann entropy is used to distinguish graphs corresponding to the same system but in different conditions. For persistent entropy, they use persistent barcodes constructed with the VietorisRips filtration (VietorisRips filtration (VR) section). In their experiment, they create the simulation of the idiotypic network and obtain a weighted idiotypic network using the coexistence function as a weight function between antibodies. After computing the 3 different entropy measures on this network, they identify that peak on entropy corresponds to the activation of the immune response. While the connectivity entropy does not distinguish between the activation and the immune memory states, both the approximated von Neumann entropy and the persistent entropy are able to recognize the activation of the immune system. The analysis of the Betti numbers reveals that there is a subset of antibodies arranged in a 1dimensional hole that is present both in the activation state and in the memory state.
Cliques and cycles are important structural features of complex networks to describe their cohesive structures. Rieck et al. (2018) use persistent homology to detect clique communities and their evolution in weighted networks. Persistent diagram is created using the vertexbased clique filtration (Vertexbased clique filtration (VBCL) section) and the kclique filtration (kclique filtration (kCL) section). They analyze the connectivity relations for all clique degrees and all weight thresholds. Various networks are studied including cooccurrence network, brain network, and collaboration network. An interactive visualization tool is created that is capable of detecting and tracking the evolution of networks’ clique communities for different thresholds and clique degrees.
Persistent homology is also used to analyze the brain networks by computing distributions of cliques (brain regions) and cycles (strongly connected regions) in them. In Giusti et al. (2016), the authors review the underlying mathematical background of using simplicial complex in neural data, specifically brain networks. They list different types of simplicial complexes for encoding neural data such as networks, clique complex, independence complex, and concurrence complex. They also elaborate on using persistent homology to measure the global structure of simplicial complexes and the strength of neural connections using the weighted simplex filtration (Weighted simplex filtration (WS) section) to generate persistent diagrams.
In Sizemore et al. (2018), the authors test the hypothesis that the spatial distributions of cliques and cycles will differ in their anatomical locations. They construct 1 and 2dimensional persistent diagrams of brain networks using the VietorisRips filtration (VietorisRips filtration (VR) section). The structural brain networks of eight volunteers is extracted using diffusion spectrum imaging. The undirected and weighted network consists of 83 nodes representing different brain regions and edges that refer to the density of white matter between the nodes. Weak and strong connections between cliques are assessed by observing the difference between birth and death times of kcliques in persistent diagrams.
Additionally, in Chung et al. (2013), persistent homology is also used to analyze the brain networks with the aim of examining the abnormal white matter in maltreated children. Networks are obtained by thresholding (based on the sample covariance) sparse correlations for the Jacobian determinant from magnetic resonance imaging (MRI) and fractional anisotropy from diffusion tensor imaging (DTI) at different threshold values. The collection of the thresholded graphs forms a VietorisRips filtration (VietorisRips filtration (VR) section).
Moreover, in Khalid et al. (2014), the authors demonstrate that persistent homology is useful in analyzing functional brain connectivity. The application involves electroencephalography (EEG) data from eight cortical regions of corticosterone (CORT) induced depression mouse and control models. After the EEG measurement is obtained, the square root of (1correlation) distance metric is used to create a binary network. Next, the VietorisRips filtration (VietorisRips filtration (VR) section) is applied and used to visualize topological changes by 0dimensional barcodes which are then used to construct singlelinkage dendrograms (SLD). Finally, singlelinkage distance is computed using the generated SLDs. The results show that CORT model is characterized by an increased local connectivity and by a decreased global connectivity.
Besides its utility on brain networks, persistent homology is also used to analyze word cooccurrence, remittance, and migration networks. In Salnikov et al. (2018), the authors study the word cooccurrence networks to explore the conceptual landscape of mathematical research. They first create the network using 54177 articles in arXiv from 01/1994 to 03/2007. Then they parse a concept list from Wikipedia that includes 1612 equations, theorems, and lemmas. Next, they combine these two datasets by checking 1612 concepts’ appearance in the articles and find that 1067 of them match in at least one article and 35018 articles contain at least one of the concepts. They first take 1067 concepts as nodes and include a (n−1)simplex for each article containing nconcepts. Furthermore, whenever the concept sets of two articles intersect at n concepts, their corresponding simplices share a face of dimension (n−1). In total, this construction results in 32707 unweighted edges. They use the temporal filtration (Temporal filtration (TMP) section) using article dates. They create the 1 and 2dimensional persistent diagrams, i.e. they just look at the 2dimensional holes bounded by edges and 3dimensional holes bounded by triangles respectively. They interpret these holes to explain the intrinsic characteristics of how research evolves in mathematics. They also explore the authors’ conceptual profile using the holes and their attributes to the holes.
Ignacio and Darcy (2019) analyze the patterns and shapes in remittance and migration networks as a directed weighted network via persistent homology to identify flow patterns between multiple countries. They detect both local and global patterns that highlight simultaneous interactions among multiple nodes. They extend the VietorisRips filtration (VietorisRips filtration (VR)) to detect topological features such as persistent cycles in directed networks using the weight of the edges and create persistence barcodes. They use 0, 1 and 2dimensional barcodes to analyze the cycles in networks. As a modification on 1 and 2dimensional barcodes, to encode additional information, they color the bars in barcodes according to the standard deviation of the weights in the cycles they represent. They create the 2015 Asian net migration and remittance networks which include 50 countries and states to perform their analysis on. They define the weight of a directed edge (a,b) as the profit country b gains from exchanging remittances with the country a for remittance networks and define it in a similar manner for net migration networks.
One of the challenges for most graphing methods is the inability of visualizing the global structure of graphs as a result of the absence of interactive exploration mechanisms. Persistent homology is used to address this challenge (Suh et al. 2017). They use 0dimensional PH features to control and modify forcedirected layouts of a graph. The 0dimensional barcode, obtained by the power filtration (Power filtration (POW) section), enables the visualization of contraction and repulsion events in the network. More forces are added to the graph layout based on the selected number of barcodes. They have three case studies to show the effectiveness of their method on 3 different realworld networks. One of the networks is “Les Miserables” which contains 77 nodes (characters) and 254 edges, weighted by how many scenes two characters share during any chapter of the novel. Some of the key characters featured in the book can be identified on the forcedirected layout modified with PH features. They are also able to extract major important nodes in the Madrid Train Bombing network and US Senate 2007 and 2008 Co and Antivoting network using their method.
Multiple graphs analysis
Graph comparison is an important task for many graph applications such as classification and matching. On the other hand, it is a computationally complex problem where we need to compute the similarity between 2 networks (Conte et al. 2004). It has been studied for many years and defined as either exact matches (e.g. graph isomorphism (Cordella et al. 2004)) or some measures of structural similarity (e.g. graph edit distance (Gao et al. 2010)). Graph kernels are also used to capture the graph similarity (Shervashidze et al. 2011). Recent years, persistent homology is used to extract topological features of networks to compare them.
While most existing metrics for network structure rely on local features of vertices such as node degrees, correlation of neighborhood nodes, they do not capture the precise mesoscopic structure of complex networks. Sizemore et al. (Sizemore et al. 2016) extract mesoscale homological features as 03 dimensional Betti numbers. They use the VietorisRips (VietorisRips filtration (VR) section) filtration to compute the homology and record the maximal clique distribution and Betti sequence. Extracted features are used to classify 14 commonly studied weighted network models into four groups or classes with agglomerative hierarchical clustering to use for graph classification. Betti values and parameters from the maximal clique distribution are used to determine the structural similarities between networks. After classifying networks into groups, they analyze the structural patterns in each group of networks.
In Petri et al. (2013a, b; Binchi et al. 2013b), persistent homology is used to detect particular nonlocal structural features of networks. After creating the barcodes with the inverse VietorisRips (VietorisRips filtration (VR) section) filtration based on edge weights, statistical distributions of 1dimensional barcodes are computed. They classify realworld networks into 2 classes according to the similarity of their cycle distribution with randomized version. In Class I, cycle distributions are markedly different from the randomized versions and in Class II, cycle distributions are very close to their random versions. The authors study different network datasets, such as US air passenger networks, C. Elegans’s neuronal network (Watts and Strogatz 1998), the online messages network (Opsahl and Panzarasa 2009), gene network, network of mentions and retweet between Twitter users, school facetoface contact network, coauthorship networks. While the gene network and airport network are in class 1, coauthorship networks and twitter network are in class 2.
In (Carrière et al. 2019), the authors propose to use persistence diagrams for graph classification problem for undirected weighted graphs. They first define a graph kernel function, namely heat kernel signatures (Hu et al. 2014), on networks and use the sublevel and superlevel Vertex function based filtration (VFB) section filtration on each network to generate PDs. Then they employ two layers neural network architecture to process the PDs and classify the graphs. They evaluate their classification model on social networks, medical and biological networks. They also compare their results with four different stateoftheart graph classification methods and show that their method has comparable results despite being much simpler than other methods.
Moreover, persistent homology is used to analyze the structure of weighted networks. In Carstens and Horadam (2013), the authors consider the collaboration networks as weighted network. They use the VietorisRips (VietorisRips filtration (VR) section) filtration to generate the persistence barcodes of networks. They employ the Betti numbers of 0, 1, and 2 dimensions and use them to distinguish collaboration networks from random networks. They conclude that the first and second Betti numbers give us richer information about weighted networks.
Pal et al. (2017) study the growing collaboration network with a temporal parametrization and characterize the temporal changes in its topological features. In a collaboration network, each person in a paper or a movie is represented as a vertex, and each collaborative act (and each of its subsets) is represented as a simplex of vertices comprising it. They define a temporal filtration (Temporal filtration (TMP) section) from growing collaboration networks, with adding new collaborations occurred in each year. In addition, they introduce a new distance measure between a growing network which captures the difference in the rate of growth of cycles in the networks being compared. They use DBLP (Digital bibliography & library project) and IMDB (Internet movie database) data sets from 19502008 considering 10year windows. They study the topological properties of networks as the growth in the cyclicity, with respect to the time corresponding to the 10year windows, and size of the largest connected component.
In Schauf et al. (2016), the authors consider the national inputoutput networks of domestic products as a weighted network and use persistent homology to identify dissimilarities between them. The nodes are available sectors in an economy and edge weights are the monetary flow measuring the magnitude of the economic relationship between two sectors. They generate persistence diagrams for dimensions 0, 1, and 2 with the VietorisRips (VietorisRips filtration (VR) section) filtration. Using 0dimensional diagrams, they distinguish economies with high GDP, large population, and small import/export percentages of GDP from those with lower GDP, small population, and larger import/export percentages. They also discuss the potential for applying higherdimensional persistent homology to study these networks.
Similarly, financial networks are considered as weighted networks and persistent homology is used to detect early signs of critical transitions of financial crisis in Gidea (2017). The vertices correspond to the stocks, each pair of distinct nodes is connected by an edge and each edge is assigned a weight using the Pearson correlation coefficient. For each time frame, they generate 0 and 1dimensional persistent diagrams of the network using the VietorisRips (VietorisRips filtration (VR) section) filtration. Then, the distance between them is measured via Wasserstein distance. They show that the persistent diagrams and the distances between them have significant changes prior to the 20072008 financial crisis.
Furthermore, in Keil and Aktas (2018), the undirected attributed networks are considered as weighted networks. They first assign weights on edges using the vertex attributes. Then, they extract the egonetworks of each vertex and define a graph kernel function, namely the diffusion Fréchet function (Martínez et al. 2018), on each ego network that takes both the network topology and edge weights into consideration. Next, they generate the persistence diagrams of each ego network using the sublevel and the superlevel “Vertex function based filtration (VFB)” filtration and obtain the distance matrix between each vertex computing the Wasserstein distance between their persistence diagrams. Finally, they cluster the network using the kmeans clustering algorithm.
Beside previous weighted networks, brain networks are considered as sparse weighted networks and persistent homology is also used to analyze them (Chung et al. 2015). They obtain the topological structure of a graph induced by sparse correlation. They first transform MRI and DTI data to weighted networks where they employ the sparse Pearson correlation to obtain the edge weights. They generate the 0dimensional Betti plots for the brain networks using the VietorisRips filtration (VietorisRips filtration (VR) section). They also generate Betti plots using sparse covariance. They show that the sparse correlation method gets a huge group separation between normal and stressexposed children visually. This method is also less computationally expensive than the sparse covariance method.
In (Knyazeva et al. 2018), the authors study dynamical connectome state analysis on brain networks using three different methods: kmeans clustering, modularity based clustering and topological feature based clustering. They consider brain networks as weighted networks. In topological feature based clustering, they use the VietorisRips (VietorisRips filtration (VR) section) filtration. They first split the correlation matrix to the two matrices with positive and negative correlations. Then, they create VietorisRips filtration (VR) section filtrations for both matrices. In their clustering, different type of connections describes different processes in the brain, so they compute persistent homology with annotated intervals collection. After getting the intervals, they compute different statistics for each homology group and for types of interactions. Then, finally, they perform hierarchical clustering based on these topological features. They show that topological feature based clustering is more informative than the other two clustering methods.
In addition to this, in (Chowdhury and Mémoli 2016; 2018), the authors classify the brain (hippocampal) networks using persistence diagrams. They consider five different environments with 4 holes, 3 holes, 2 holes, 1 hole and no hole and for each environment, 20 simulated brain networks are created. Persistence diagrams of these 100 networks are computed with the Dowker filtration (Dowker sink and source filtration (DSS) section). They use the bottleneck distance between the 1dimensional diagrams of networks to compare them. Finally, they classify the networks using the single linkage dendrogram algorithm and show that Dowker filtration is successful in capturing the differences between the five classes of networks. The authors also work on the same problem and dataset using the zigzag simplicial filtration (Zigzag simplicial filtration (ZSF) section) in Chowdhury et al. (2018). They create 1dimensional zigzag persistent diagrams to perform persistent homology computations on dynamic simplicial complexes resulted from these brain networks.
In Yoo et al. (2016), the authors show that persistent homology, or more precisely persistence vineyard, is a robust approach to estimate functional connectivity in the resting and gaming stages of the brain networks. They conduct an experiment with 26 male college students aged 1929 years old from two universities located in Seoul, Republic of Korea. They undergo all the 26 healthy subjects resting and gaming experiments. Each stage was recorded for five minutes separately. They segment their data using 30s window lengths and 2s step size. For each window, they compute the persistence diagram using Pearson correlation between brain channels employing the weighted simplex filtration (Weighted simplex filtration (WS) section). Then, they compute the 0dimensional persistence vineyard to analyze the dynamic brain connectivity. In a brief, a persistent vineyard is a p dimension persistent diagram with a time dimension added, tracking the birth and death of p dimension diagrams in a timevarying topological space (Edelsbrunner and Harer 2010). Their results show that persistence vineyard is successful to determine the temporarily dynamic properties of the brain in a robust and thresholdfree way. They also show that persistent vineyard is more effective than the principal component analysis (PCA) and standard graph theoretical methods.
Petri et al. (2014) compares resting state functional brain activity in 15 healthy volunteers after intravenous infusion of placebo and psilocybin using persistent homology and other statistical methodsdensity function. First, the raw data from fMRI (functional magnetic resonance imaging) dataset is transformed into a functional network. They create the 1dimensional persistence diagram using the VietorisRips (VietorisRips filtration (VR) section) filtration. Later, they define two different homological scaffolds depending on how frequently edges are part of the generators of the persistent homology groups and how persistent are the generators to which they belong to. The results show that the homological structure of the brain’s functional patterns undergoes a dramatic change postpsilocybin, characterized by the appearance of many transient structures of low stability and of a small number of persistent ones that are not observed in the case of placebo.
In Horak et al. (2009), the authors first study random graphs using the clique complex (Clique complex filtration (CCL) section) filtration. Using different probabilities, they generate random networks and compute their barcodes. They show that the results on these barcodes are in agreement with the theoretical studies on these complexes. As another application, they study an email network. They create barcodes and show that higher dimensional barcodes, which do not exist for random networks, correspond to more dense communications among certain groups. They also apply their methods on scalefree networks with a modular structure. They use three different parameters to generate three types of scale networks: Clustered modular networks, clustered nonmodular networks and nonclustered modular networks. They show that both clustered modular and clustered nonmodular networks have more bars in their 3dimensional and 4dimensional barcodes than the nonclustered modular network.
Moreover, persistent homology is used for metric graph comparison. In (Dey et al. 2015), the authors first introduce the functional metric graph filtration (Functional metric graph filtration (FMG) section) on metric graphs. Then, they define the persistence distortion distance between two finite metric graphs using the persistence diagrams from FMG filtration. In their experiment, they show the stability of the proposed distance measure on the Athen’s road network as a metric graph and generate its noisy sample using a noise level ε. The results show that the persistence distortion distance between the original graph and its noisy sample grows roughly proportionally to ε. They also use proposed persistence distortion distance to compare surface meshes of different geometric models. Models from the same group have very smaller persistence distortion distances among them than those between the dissimilar group, which shows the that proposed distance is able to differentiate surface models.
In (Hajij et al. 2018), persistent homology is employed to quantify structural changes in timevarying (dynamic) graphs. Their objective is to transform each instance of the timevarying graph into a metric space, extract topological features using persistent homology, and compare those features over time by means of bottleneck or Wasserstein distance between their corresponding persistence diagrams. Finally, several case studies on realworld networks, such as high school communication network, show how this method can find cyclic patterns, deviations from those patterns, and onetime events in timevarying graphs. In particular, 0 and 1dimensional PH are utilized to detect the components and tunnels respectively. Each graph constitutes a distinct metric space for which the VietorisRips (VietorisRips filtration (VR) section) filtration is implemented to compute the corresponding Betti numbers.
High order networks are weighted complete hypergraphs collecting relationships between elements of tuples. Computing distance between high order network is difficult when the number of nodes is large. In Huang and Ribeiro (2017), the authors use persistent homology to derive distance approximations of networks. They compute the bottleneck distance between persistence diagrams of networks to evaluate the differences between networks. They first define a relationship function between a set of nodes to represent a measure of similarity or dissimilarity for members of the group. They use this function to assign weight on each simplex. Using these weights and the weighted simplex filtration (Weighted simplex filtration (WS) section), they generate 0, 1 and 2dimensional persistence diagrams. They show that they can lower bound distance between two higher order networks, which is in general computationally expensive, with a computationally less expensive distance between their persistence diagrams. They apply their method to the coauthorship networks. They first create the networks using 5 journals from the mathematics community and 6 journals from the engineering community. They use the lower bounds to classify the networks, distinguish the collaboration patterns of engineering and mathematics community and also discriminate engineering communities with different research interests.
To answer the question of whether the existing anonymization mechanisms for preserving privacy truly keep the graph utility, Gao et al. (Gao and Li 2018) employ persistent homology to analyze and evaluate four anonymization mechanisms. They study online social networks (OSN). They define the distance between two nodes as the number of hopes on the shortest path between these nodes and create 0,1 and 2dimensional persistence barcodes using this distance in the power filtration (Power filtration (POW) section). They analyze the original and anonymized OSNs using the barcodes. The results show that original OSN graphs have stable structures. Furthermore, the 0dimensional barcodes they obtain show that most anonymized OSNs are more closely connected than the original graph. All anonymized graphs are not as stable as the original graph, because they have more 2dimensional holes or larger holes. They also compare their results with traditional graph metrics.
In Kim and Memoli (2018), the authors study flocking/swarming behaviors in animals. They first create dynamic graphs and simplicial complexes using the VietorisRips complex for a fixed scale parameter. Then, they construct the zigzag simplicial filtration (Zigzag simplicial filtration (ZSF) section) and obtain 0dimensional zigzag persistent diagrams to classify the four different type of flocking behavior in animals. Finally, using the bottleneck distance, the single linkage hierarchical clustering, and MDS, they distinguish the 4 behaviors very well.
In (Chowdhury and Mémoli 2018), the authors characterize the directed cycle networks by digraph filtration using persistent path homology (Digraph filtration using persistent path homology (PPH) section). They prove that the persistent diagrams of a cycle network with n nodes for n≥3 solely depends on n.
Conclusion
In this paper, we provide a conceptual review of key advancements in the area of using PH on applied network science. We look into research studies that use PH on networks and highlight different algorithms that are used to extract topological features of networks. We review the applications where PH is used in solving network mining problems. We believe our summary of the analysis of PH on networks will provide important insights to researchers in applied network science.
At the moment, the implicit goal of most studies is to extract the topological features of the networks that persist across multiple scales. However, there are some limitations to these studies. Firstly, scalability may be a concern for future progress. The networks used in these studies are mostly small networks (number of vertices is less than 1000). There is still significant work needed to be done in scaling PH approaches for larger networks. Secondly, there are some filtrations whose stability has not proven yet.
Furthermore, although many filtration methods are proposed, they are mainly designed for static networks. However, many realworld networks are evolving over time. For example, in the Facebook network, friendships between users always dynamically change over time, hence new edges are continuously added to the social network while some edges may be deleted. Most of the existing methods cannot be directly applied to large scale evolving networks. New filtration algorithms, which are able to tackle the dynamic nature of evolving networks, are highly desirable in persistent homology.
As another future research direction, PH can also be used for network and subnetwork embedding problems.
Availability of data and materials
Not applicable.
Abbreviations
 CCL:

Clique complex filtration
 CORT:

Cortical regions of corticosterone
 DBLP:

Digital Bibliography &Library Project
 dim:

dimension. DSS: Dowker sink and source filtration
 DTI:

Diffusion tensor imaging
 EEG:

Electroencephalography
 FMG:

Functional metric graph filtration
 fMRI:

Functional magnetic resonance imaging
 GDP:

Gross domestic product
 GVR:

Generalizations of VietorisRips filtration
 IC:

Intrinsic Čech filtration
 IMDB:

Internet movie database
 kCL:

kclique filtration
 MDS:

Multidimensional scaling
 MRI:

Magnetic resonance imaging
 OSN:

Online social networks
 PB:

Persistence barcode
 PCA:

Principal component analysis
 PD:

Persistence diagram
 PH:

Persistent homology
 POW:

Power filtration
 PPH:

Persistent path homology
 PPI:

Proteinprotein interaction networks
 SLD:

Singlelinkage dendrograms
 TMP:

Temporal filtration
 US:

United States
 VBCL:

VertexBased clique filtration
 VFB:

Vertex function based filtration
 VR:

VietorisRips filtration
 WRCL:

Weight rank clique filtration
 WS:

Weighted simplex filtration
 ZSF:

Zigzag simplicial filtration
References
Adcock, A, Carlsson E, Carlsson G (2013) The ring of algebraic functions on persistence bar codes. arXiv preprint arXiv:1304.0530.
Akbas, E, Aktas M (2019) Network embedding: on compression and learning. arXiv preprint arXiv:1907.02811.
Akbas, E, Zhao P (2017) Attributed graph clustering: An attributeaware graph embedding approach In: Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, ASONAM ’17, 305–308.. ACM, New York.
Akbas, E, Zhao P (2017) Trussbased community search: a trussequivalence based indexing approach. Proc VLDB Endowment 10(11):1298–1309.
Babai, L (2016) Graph isomorphism in quasipolynomial time In: Proceedings of the Fortyeighth Annual ACM Symposium on Theory of Computing, 684–697.. ACM.
Baur, M, Benkert M (2005) Network comparison In: Network Analysis, 318–340.. Springer, Berlin.
Benzekry, S, Tuszynski JA, Rietman EA, Klement GL (2015) Design principles for cancer therapy guided by changes in complexity of proteinprotein interaction networks. Biol Direct 10(1):32.
Bhagat, S, Cormode G, Muthukrishnan S (2011) Node classification in social networks In: Social Network Data Analytics, 115–148.. Springer, US.
Binchi, J, Merelli E, Rucco M, Petri G, Vaccarino F (2014) jholes: A tool for understanding biological complex networks via clique weight rank persistent homology. Electron Notes Theor Comput Sci 306:5–18.
Carlsson, G, De Silva V (2010) Zigzag persistence. Found Comput Math 10(4):367–405.
Carlsson, G, Zomorodian A, Collins A, Guibas LJ (2005) Persistence barcodes for shapes. Int J Shape Model 11(02):149–187.
Carrière, M, Chazal F, Ike Y, Lacombe T, Royer M, Umeda Y (2019) A general neural network architecture for persistence diagrams and graph classification. arXiv preprint arXiv:1904.09378.
Carstens, CJ, Horadam KJ (2013) Persistent homology of collaboration networks. Math Probl Eng 2013:1–7.
Chowdhury, S, Mémoli F (2016) Persistent homology of directed networks In: Signals, Systems and Computers, 2016 50th Asilomar Conference On, 77–81.. IEEE.
Chowdhury, S, Mémoli F (2018) A functorial dowker theorem and persistent homology of asymmetric networks. arXiv preprint arXiv:1608.05432.
Chowdhury, S, Dai B, Mémoli F (2018) The importance of forgetting: Limiting memory improves recovery of topological characteristics from neural data. PLoS ONE 13(9):0202561.
Chowdhury, S, Mémoli F (2018) Persistent path homology of directed networks In: Proceedings of the TwentyNinth Annual ACMSIAM Symposium on Discrete Algorithms, 1152–1169.. SIAM.
Chung, MK, Hanson JL, Lee H, Adluru N, Alexander AL, Davidson R. J., Pollak SD (2013) Persistent homological sparse network approach to detecting white matter abnormality in maltreated children: Mri and dti multimodal study In: International Conference on Medical Image Computing and ComputerAssisted Intervention, 300–307.. Springer, Berlin.
Chung, MK, Hanson JL, Ye J, Davidson RJ, Pollak SD (2015) Persistent homology in sparse regression and its application to brain morphometry. IEEE Trans Med Imaging 34(9):1928–1939.
Conte, D, Foggia P, Sansone C, Vento M (2004) Thirty years of graph matching in pattern recognition. Int J Pattern Recog Artif Intell 18(03):265–298.
Cordella, LP, Foggia P, Sansone C, Vento M (2004) A (sub) graph isomorphism algorithm for matching large graphs. Int J Pattern Recog Artif Intell 26(10):1367–1372.
Dey, TK, Shi D, Wang Y (2015) Comparing graphs via persistence distortion. arXiv preprint arXiv:1503.07414.
Edelsbrunner, H, Harer J (2010) Computational Topology: an Introduction. American Mathematical Soc., Rhode Island.
Edelsbrunner, H, Letscher D, Zomorodian A (2000) Topological persistence and simplification In: Proceedings 41st Annual Symposium on Foundations of Computer Science, 454–463.. IEEE.
Gamble, J, Heo G (2010) Exploring uses of persistent homology for statistical analysis of landmarkbased shape data. J Multivar Anal 101(9):2184–2199.
Gao, T, Li F (2018) Studying the utility preservation in social network anonymization via persistent homology. Comput Secur 77:49–64.
Gao, X, Xiao B, Tao D, Li X (2010) A survey of graph edit distance. Pattern Anal Applic 13(1):113–129.
Gasparovic, E, Gommel M, Purvine E, Sazdanovic R, Wang B, Wang Y, Ziegelmeier L (2017) A complete characterization of the 1dimensional intrinsic cech persistence diagrams for metric graphs. arXiv preprint arXiv:1702.07379.
Ghrist, R (2008) Barcodes: the persistent topology of data. Bull Am Math Soc 45(1):61–75.
Gidea, M (2017) Topological data analysis of critical transitions in financial networks In: International Conference and School on Network Science, 47–59.. Springer, Cham.
Giusti, C, Ghrist R, Bassett DS (2016) Two’s company, three (or more) is a simplex. J Comput Neurosci 41(1):1–14.
Hajij, M, Wang B, Scheidegger CE, Rosen P (2018) Visual detection of structural changes in timevarying graphs using persistent homology In: 2018 IEEE Pacific Visualization Symposium (PacificVis), 125–134.. IEEE.
Horak, D, Maletić S, Rajković M (2009) Persistent homology of complex networks. J Stat Mech Theory and Exp 2009(03):03034.
Hu, N, Rustamov RM, Guibas L (2014) Stable and informative spectral signatures for graph matching In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2305–2312.. IEEE.
Huang, W, Ribeiro A (2017) Persistent homology lower bounds on highorder network distances. IEEE Trans Sig Process 65(2):319–334.
Ignacio, PSP, Darcy IK (2019) Tracing patterns and shapes in remittance and migration networks via persistent homology. EPJ Data Sci 8(1):1.
Khalid, A, Kim BS, Chung MK, Ye JC, Jeon D (2014) Tracing the evolution of multiscale functional networks in a mouse model of depression using persistent brain network homology. NeuroImage 101:351–363.
Keil, W, Aktas M (2018) Topological data analysis of attribute networks using diffusion frechet function with egonetworks In: The 7th International Conference on Complex Networks and Their Applications (extended Abstract), Cambridge, United Kingdom, 194–196.. Springer, Cham.
Kim, W, Memoli F (2018) Stable signatures for dynamic graphs and dynamic metric spaces via zigzag persistence. arXiv preprint arXiv:1712.04064.
Knyazeva, I, Poyda A, Orlov V, Verkhlyutov V, Makarenko N, Kozlov S, Velichkovsky B, Ushakov V (2018) Resting state dynamic functional connectivity: Network topology analysis. Biologically Inspired Cogn Archit 23:43–53.
Li, M, Duncan K, Topp CN, Chitwood DH (2017) Persistent homology and the branching topologies of plants. Am J Bot 104(3):349–353.
Lopes, GR, Moro MM, Wives LK, De Oliveira JPM (2010) Collaboration recommendation on academic social networks In: International Conference on Conceptual Modeling, 190–199.. Springer, Berlin.
Martínez, DHD, Lee CH, Kim PT, Mio W (2018) Probing the geometry of data with diffusion fréchet functions. Appl Comput Harmon Anal. Elsevier.
Opsahl, T, Panzarasa P (2009) Clustering in weighted networks. Soc Netw 31(2):155–163.
Otter, N, Porter MA, Tillmann U, Grindrod P, Harrington HA (2017) A roadmap for the computation of persistent homology. EPJ Data Sci 6(1):17.
Pal, S, Moore TJ, Ramanathan R, Swami A (2017) Comparative topological signatures of growing collaboration networks. In: Gonçalves B, Menezes R, Sinatra R, Zlatic V (eds)Complex Networks VIII, 201–209.. Springer, Cham.
Patania, A, Vaccarino F, Petri G (2017) Topological analysis of data. EPJ Data Sci 6(1):7.
Petri, G, Scolamiero M, Donato I, Vaccarino F (2013a) Topological strata of weighted complex networks. PloS ONE 8(6):66506.
Petri, G, Expert P, Turkheimer F, CarhartHarris R, Nutt D, Hellyer PJ, Vaccarino F (2014) Homological scaffolds of brain functional networks. J R Soc Interface 11(101):20140873.
Petri, G, Scolamiero M, Donato I, Vaccarino F (2013b) Networks and cycles: a persistent homology approach to complex networks In: Proceedings of the European Conference on Complex Systems 2012, 93–99.. Springer, Cham.
Petz, D (2001) Entropy, von Neumann and the von Neumann Entropy(Rédei M, Stöltzner M, eds.). Springer, Dordrecht.
Rieck, B, Fugacci U, Lukasczyk J, Leitte H (2018) Clique community persistence: A topological visual analysis approach for complex networks. IEEE Trans Vis Comput Graph 24:822–831.
Rucco, M, Castiglione F, Merelli E, Pettini M (2016) Characterisation of the idiotypic immune network through persistent entropy In: Proceedings of ECCS 2014, 117–128.. Springer, Cham.
Salnikov, V, Cassese D, Lambiotte R, Jones NS (2018) Cooccurrence simplicial complexes in mathematics: identifying the holes of knowledge. Appl Netw Sci 3(1):37.
Schauf, A, Cho JB, Haraguchi M, Scott JJ (2016) Discrimination of economic inputoutput networks using persistent homology. The Santa Fe Institute CSSS Working Paper.
Seversky, LM, Davis S, Berger M (2016) On timeseries topological data analysis: New data and opportunities In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 59–67.. IEEE.
Sharan, R, Ulitsky I, Shamir R (2007) Networkbased prediction of protein function. Mol Syst Biol 3(1):88.
Shervashidze, N, Schweitzer P, Leeuwen EJv, Mehlhorn K, Borgwardt KM (2011) Weisfeilerlehman graph kernels. J Mach Learn Res 12(Sep):2539–2561.
Sizemore, A, Giusti C, Bassett DS (2016) Classification of weighted networks through mesoscale homological features. J Compl Netw 5(2):245–273.
Sizemore, AE, Giusti C, Kahn A, Vettel JM, Betzel RF, Bassett DS (2018) Cliques and cavities in the human connectome. J Comput Neurosci 44(1):115–145.
Sizemore, AE, PhillipsCremins JE, Ghrist R, Bassett DS (2019) The importance of the whole: topological data analysis for the network neuroscientist. Netw Neurosci 3(3):656–673.
Suh, A, Hajij M, Wang B, Scheidegger C, Rosen P (2017) Driving interactive graph exploration using 0dimensional persistent homology features. arXiv preprint arXiv:1712.05548. http://arxiv.org/abs/1712.05548.
Turner, K (2016) Generalizations of the rips filtration for quasimetric spaces with persistent homology stability results. arXiv preprint arXiv:1608.00365.
Vishwanathan, SVN, Schraudolph NN, Kondor R, Borgwardt KM (2010) Graph kernels. J Mach Learn Res 11(Apr):1201–1242.
Watts, DJ, Strogatz SH (1998) Collective dynamics of ’smallworld’networks. Nature 393(6684):440.
Wagner, H, Dłotko P, Mrozek M (2012) Computational topology in text mining In: Computational Topology in Image Context, 68–78.. Springer, Berlin.
Xu, H, Zhang J, Yang J, Lun L (2018) Assessing nodes’ importance in complex networks using structural holes. Int J High Perform Comput Netw 12(3):314–323.
Xu, H, Zhang J, Yang J, Lun L (2016) Measurement of nodes importance for complex networks structuralholesoriented. In: Che W, Han Q, Wang H, Jing W, Peng S, Lin J, Sun G, Song X, Song H, Lu Z (eds)Social Computing, 458–469.. Springer, Singapore.
Yoo, J, Kim EY, Ahn YM, Ye JC (2016) Topological persistence vineyard for dynamic functional brain connectivity during resting and gaming stages. J Neurosci Methods 267:1–13.
Zager, LA, Verghese GC (2008) Graph similarity scoring and matching. Appl Math Lett 21(1):86–94.
Acknowledgements
Not applicable.
Funding
Not applicable.
Author information
Affiliations
Contributions
MEA and EA designed the project. MEA studied the filtrations defined on networks. MEA, EA and AEF studied the algorithm and applications of the persistent homology in network settings. MEA, EA and AEF wrote the manuscript. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Mehmet E. Aktas.
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 Persistent homology
 Networks
 Simplicial complex
 Filtration