Arxiv:1808.07461V4 [Math.CO] 19 Apr 2021 G − V the Resulting Graph by Deleting the Vertex V
Total Page:16
File Type:pdf, Size:1020Kb
HOMOLOGICAL AND COLLAPSIBILITY PROPERTIES OF CLIQUE COMPLEXES JESUS´ F. ESPINOZA, MART´IN-EDUARDO FR´IAS-ARMENTA, AND HECTOR´ A. HERNANDEZ´ Abstract. The family of contractible graphs, introduced by A. Ivashchenko, consists of the col- lection I of graphs constructed recursively from K1 by contractible transformations. In this paper we show that every graph in a subfamily of I (the strongly contractible ones) is a collapsible graph (in the simplicial sense), by providing a sequence of elementary collapses induced by removing contractible vertices or edges. In addition, we introduce an algorithm to identify the contractible vertices in any graph and show that there is a natural homomorphism, induced by the inclusion map of graphs, between the homology groups of the clique complex of graphs with the contractible vertices removed. Finally, we show an application of this result to the computation of the persistent homology for the Vietoris-Rips filtration. 1. Introduction In this paper, we only consider simple graphs, i.e., graphs with no loops and no multiple edges between the same pair of vertices. If G = (V (G);E(G)) is such a graph and v 2 V (G) is a vertex, we denote by NG(v) the (open) neighborhood of the vertex v in G, defined by NG(v) = fu 2 V (G) j fu; vg 2 E(G)g: The common neighborhood of two vertices v and w of G, is the intersection of their neighborhoods: NG(v; w) = NG(v) \ NG(w). Given a graph G, by abuse of notation, we denote indistinctly the graph and its set of vertices with the same symbol G. Given a G0 ⊂ G, we denote indistinctly both the set of vertices and the 0 induced subgraph by them as G . Particularly, NG(v) is the set of neighbors of v, and NG(v) is the induced subgraph by the set of neighbors of v too. Also, in the same order of ideas, we denote by arXiv:1808.07461v4 [math.CO] 19 Apr 2021 G − v the resulting graph by deleting the vertex v. For instance, the open neighborhood of the vertex a in graph G shown to the left in Figure 1 is NG(a) = fb; d; eg, which refers to the subgraph with vertices V (NG(a)) = fb; d; eg and edges E(NG(a)) = ffd; egg. Also, the common neighborhood of vertices a; c 2 V (G) is NG(a; c) = NG(a) \ NG(c) = fb; d; eg \ fb; dg = fb; dg, a graph with two vertices and no edges. 2010 Mathematics Subject Classification. 05C25, 05C85, 55U05, 55U15. Key words and phrases. Contractible transformations; collapsible graph; Vietoris-Rips complex; persistent homology. Corresponding author: [email protected] (Jes´usF. Espinoza). 1 2 JESUS´ F. ESPINOZA, MART´IN-EDUARDO FR´IAS-ARMENTA, AND HECTOR´ A. HERNANDEZ´ Figure 1. A graph G and its clique complex ∆(G). In [1], A. Ivashchenko defines the homology Hn(G; A) of a graph G, for n a nonnegative integer and A an abelian group of coefficients. Such definition agrees essentially with the definition of the simplicial homology of the clique complex of the graph G. From now on, when we refer to the homology of a graph, we will understanding the simplicial homology of the clique complex of such graph. In Section 2 is carefully defined such concept. The homology groups of a graph allow us to distinguish between non-equivalent graphs, i.e., graphs with non-isomorphic homology groups are not equivalent. For the graph G to the left in Figure 1, it can be proven that H0(G; A) = A, H1(G; A) = A and Hn(G; A) = 0 for every integer n ≥ 2. Such groups can be interpreted in the following way: the clique complex of G consists of one connected component (H0(G; A) = A), has one hole 1-dimensional (H1(G; A) = A) and no holes in higher dimensions (Hn(G; A) = A, n ≥ 2). The notion of an n-dimensional hole can be thought as an n-sphere embedded in the clique complex of G, assuming that every complete subgraph Kn, i.e., a graph in n vertices and all possible edges (according the notation in [25]), correspond to a (n − 1)-dimensional filled disk. In graph theory, several graph transformations have been studied and are of special interest those transformations T such that the n-th homology group of any graph G is isomorphic to the n-th homology group of the graph T (G), for every non-negative integer n. In [1], A. Ivashchenko defines the family of I-contractible graphs, which is constructed from the trivial graph with just one vertex (and no edges) through contractible transformations. That is to say we can add or delete a vertex or an edge if the respective neighborhood belongs to the family itself. Moreover, A. Ivashchenko proven that such transformations do not change the n-th homology groups of a graph. A remarkable subfamily of the I-contractible graphs is the family of graphs IS obtained from 0 0 K1 2 IS by gluing a vertex v to any graph G 2 IS in a subgraph G ⊂ G such that G 2 IS, or gluing an edge fv1; v2g between two nonadjacent vertices v1; v2 2 G when NG(v1; v2) 2 IS. The family IS is the main subject of study in this paper. Our goal is firstly, to identify the rela- tionship of IS with respect to other more studied families of graphs and secondly, to take advantage of its recursive construction and nice homological properties in order to construct algorithms to be part of the Topological Data Analysis' toolbox. To achieve the first goal, we prove that any G 2 IS graph satisfies a collapsibility property (described below), i.e., any G 2 IS belongs to the family of collapsible graphs C. Additionally, we conjecture that both families agree, IS = C, but we do not have a complete proof; however, we have extensive computational evidence that support such conjecture. In the design of our computational experimentation, we have used the algorithms that we show in this paper (whose scripts are available online in [7]) and, in regards to our second goal, we prove the compatibility of such algorithms with respect to the computation of the persistent homology of the Vietoris-Rips filtration, a workflow widely used in topological data analysis. HOMOLOGICAL AND COLLAPSIBILITY PROPERTIES OF CLIQUE COMPLEXES 3 We begin our study in Section 2 by defining the graph homology groups and contractible transfor- mations as were originally presented in [1] and [2]. The section concludes by showing the existence of an induced homomorphism between the graph homology groups of two graphs, given by the image of contractible transformations (Lemma 3), a key result that permits the extension of the full theory of contractible transformations to study the homology of a special kind of combinatorial objects, whose main application fits in the subject of topological data analysis. We describe such an approach in more detail at the end of this introduction. Some properties of the family of IS-contractible graphs are studied by its homology groups and others, like collapsibility, by the properties of their clique complex, which we describe now. We can think of the higher-dimensional analogues of the graphs as the simplicial complexes, or, families of subsets ∆ ⊂ 2A of a finite set A that are closed with respect to set contention. Any element σ 2 ∆ with cardinality n is called an (n − 1)-simplex. Also, a couple of simplices σ; τ 2 ∆ is called a free pair if the following two conditions are satisfied: (1) σ ( τ and, (2) τ is a maximal face of ∆ with respect to inclusion, and no other maximal face of C contains σ. For instance, the simplicial complex ∆ = f;; fag; fbg; fcg; fa; bg; fb; cgg has exactly two free pairs: (fag; fa; bg) and (fcg; fb; cg). If (σ; τ) is a free pair in ∆, then a simplicial collapse of ∆ in ∆ − (σ; τ) consists in removing of all simplices γ 2 ∆ such that σ ⊆ γ ⊆ τ. When it is possible to obtain, from ∆, the simplicial complex consisting of one 0-simplex as result of a sequence of collapses, then ∆ is called collapsible. This notion leads us to one of the families we study in this paper, namely, the family of collapsible graphs C, that is, the family of all graphs such that its clique complex ∆(G) := fσ ⊂ G j σ is a complete subgraph of Gg is collapsible. In other words, the clique complex ∆(G) is defined as the simplicial complex obtained by considering any complete subgraph Kn ⊂ G, on n vertices, as an (n − 1)-simplex. The picture to the right in Figure 1 shows the clique complex ∆(G) of the graph G shown to the left. In Section 3, we introduce the previous concepts with more detail. Furthermore, we prove one of our main results, that any graph in IS is also a collapsible graph (Theorem 6). As a consequence, the homology groups of any contractible graph are trivial, we have proven an easier way than [1]. We conjecture that any collapsible graph is in IS. However, we cannot follow similar arguments as proof of Theorem 1. We begin Section 4 with an example for showing that Theorem 6 is not trivially reversible. Given the difficulty to prove our conjecture (C ⊂ IS), we support it with the help of a computer. Thus, we have verified, with graphs of up to 9 vertices, the conjecture that both graph families coincide. To do that, first we generated a limited bank of graphs that were representative of their isomorphism class.