Graph_homology Knowpia

In algebraic topology and graph theory, graph homology describes the homology groups of a graph, where the graph is considered as a topological space. It formalizes the idea of the number of "holes" in the graph. It is a special case of a simplicial homology, as a graph is a special case of a simplicial complex. Since a finite graph is a 1-complex (i.e., its 'faces' are the vertices - which are 0-dimensional, and the edges - which are 1-dimensional), the only non-trivial homology groups are the 0-th group and the 1-th group.^[1]

The 1st homology group edit

The general formula for the 1st homology group of a topological space X is:

H_{1}(X):=\ker \partial _{1}{\big /}\operatorname {im} \partial _{2}

The example below explains these symbols and concepts in full detail on a graph.

Example edit

Let X be a directed graph with 3 vertices {x,y,z} and 4 edges {a: x→y, b: y→z, c: z→x, d: z→x}. It has several cycles:

One cycle is represented by the loop a+b+c. Here, the plus sign represents the fact that all edges are travelled at the same direction. Since the addition operation is commutative, the + sign represents the fact that the loops a+b+c, b+c+a, and c+a+b, all represent the same cycle.
A second cycle is represented by the loop a+b+d.
A third cycle is represented by the loop c−d. Here, the minus sign represents the fact that the edge d is travelled backwards.

If we cut the plane along the loop a+b+d, and then cut at c and "glue" at d, we get a cut along the loop a+b+c. This can be represented by the following relation: (a+b+d) + (c-d) = (a+b+c). To formally define this relation, we define the following commutative groups:^[2]^: 6:00

C₀ is the free abelian group generated by the set of vertices {x,y,z}. Each element of C₀ is called a 0-dimensional chain.
C₁ is the free abelian group generated by the set of directed edges {a,b,c,d}. Each element of C₁ is called a 1-dimensional chain. The three cycles mentioned above are 1-dimensional chains, and indeed the relation (a+b+d) + (c-d) = (a+b+c) holds in the group C₁.

Most elements of C₁ are not cycles, for example a+b, 2a+5b-c, etc. are not cycles. To formally define a cycle, we first define boundaries. The boundary of an edge is denoted by the $\partial _{1}$ operator and defined as its target minus its source, so $\partial _{1}(a)=y-x,~\partial _{1}(b)=z-y,~\partial _{1}(c)=\partial _{1}(d)=x-z.$ So $\partial _{1}$ is a mapping from the group C₁ to the group C₀. Since a,b,c,d are the generators of C₁, this $\partial _{1}$ naturally extends to a group homomorphism from C₁ to C₀. In this homomorphism, $\partial _{1}(a+b+c)=\partial _{1}(a)+\partial _{1}(b)+\partial _{1}(c)=(y-x)+(z-y)+(x-z)=0$ . Similarly, $\partial _{1}$ maps any cycle in C₁ to the zero element of C₀. In other words, the set of cycles in C₁ generates the null space (the kernel) of $\partial _{1}$ . In this case, the kernel of $\partial _{1}$ has two generators: one corresponds to a+b+c and the other to a+b+d (the third cycle, c-d, is a linear combination of the first two). So ker $\partial _{1}$ is isomorphic to Z².

In a general topological space, we would define higher-dimensional chains. In particular, C₂ would be the free abelian group on the set of 2-dimensional objects. However, in a graph there are no such objects, so C₂ is a trivial group. Therefore, the image of the second boundary operator, $\partial _{2}$ , is trivial too. Therefore:

H_{1}(X)=\ker \partial _{1}{\big /}\operatorname {im} \partial _{2}\cong \mathbb {Z} ^{2}/\mathbb {Z} ^{0}=\mathbb {Z} ^{2}

This corresponds to the intuitive fact that the graph has two "holes". The exponent is the number of holes.

General case edit

The above example can be generalized to an arbitrary connected graph G = (V, E). Let T be a spanning tree of G. Every edge in E \ T corresponds to a cycle; these are exactly the linearly independent cycles. Therefore, the first homology group H₁ of a graph is the free abelian group with |E \ T| generators. This number equals |E|-|V|+1; so:^[1]

H_{1}(X)\cong \mathbb {Z} ^{|E|-|V|+1}.

In a disconnected graph, when C is the set of connected components, a similar computation shows:

H_{1}(X)\cong \mathbb {Z} ^{|E|-|V|+|C|}.

In particular, the first group is trivial if and only if X is a forest.

The 0-th homology group edit

The general formula for the 0-th homology group of a topological space X is:

H_{0}(X):=\ker \partial _{0}{\big /}\operatorname {im} \partial _{1}

Example edit

We return to the graph with 3 vertices {x,y,z} and 4 edges {a: x→y, b: y→z, c: z→x, d: z→x}. Recall that the group C₀ is generated by the set of vertices. Since there are no (−1)-dimensional elements, the group C₋₁ is trivial, and so the entire group C₀ is a kernel of the corresponding boundary operator: $\ker \partial _{0}=C_{0}$ = the free abelian group generated by {x,y,z}.^[3]

The image of $\partial _{1}$ contains an element for each pair of vertices that are boundaries of an edge, i.e., it is generated by the differences {y−x, z−y, x−z}. To calculate the quotient group, it is convenient to think of all the elements of $\operatorname {im} \partial _{1}$ as "equivalent to zero". This means that x, y and z are equivalent - they are in the same equivalence class of the quotient. In other words, $H_{0}(X)$ is generated by a single element (any vertex can generate it). So it is isomorphic to Z.

General case edit

The above example can be generalized to any connected graph. Starting from any vertex, it is possible to get to any other vertex by adding to it one or more expressions corresponding to edges (e.g. starting from x, one can get to z by adding y-x and z-y). Since the elements of $\operatorname {im} \partial _{1}$ are all equivalent to zero, it means that all vertices of the graph are in a single equivalence class, and therefore $H_{0}(X)$ is isomorphic to Z.

In general, the graph can have several connected components. Let C be the set of components. Then, every connected component is an equivalence class in the quotient group. Therefore:

H_{0}(X)\cong \mathbb {Z} ^{|C|}.

It can be generated by any |C|-tuple of vertices, one from each component.

Reduced homology edit

Often, it is convenient to assume that the 0-th homology of a connected graph is trivial (so that, if the graph contains a single point, then all its homologies are trivial). This leads to the definition of the reduced homology. For a graph, the reduced 0-th homology is:

{\tilde {H_{0}}}(X)\cong \mathbb {Z} ^{|C|-1}.

This "reduction" affects only the 0-th homology; the reduced homologies of higher dimensions are equal to the standard homologies.

Higher dimensional homologies edit

A graph has only vertices (0-dimensional elements) and edges (1-dimensional elements). We can generalize the graph to an abstract simplicial complex by adding elements of a higher dimension. Then, the concept of graph homology is generalized by the concept of simplicial homology.

Example edit

In the above example graph, we can add a two-dimensional "cell" enclosed between the edges c and d; let's call it A and assume that it is oriented clockwise. Define C₂ as the free abelian group generated by the set of two-dimensional cells, which in this case is a singleton {A}. Each element of C₂ is called a 2-dimensional chain.

Just like the boundary operator from C₁ to C₀, which we denote by $\partial _{1}$ , there is a boundary operator from C₂ to C₁, which we denote by $\partial _{2}$ . In particular, the boundary of the 2-dimensional cell A are the 1-dimensional edges c and d, where c is in the "correct" orientation and d is in a "reverse" orientation; therefore: $\partial _{2}(A)=c-d$ . The sequence of chains and boundary operators can be presented as follows:^[4]

C_{2}\xrightarrow {\partial _{2}} C_{1}\xrightarrow {\partial _{1}} C_{0}

The addition of the 2-dimensional cell A implies that its boundary, c-d, no longer represents a hole (it is homotopic to a single point). Therefore, the group of "holes" now has a single generator, namely a+b+c (it is homotopic to a+b+d). The first homology group is now defined as the quotient group:

H_{1}(X):=\ker \partial _{1}{\big /}\operatorname {im} \partial _{2}

Here,

\ker \partial _{1}

is the group of 1-dimensional cycles, which is isomorphic to Z², and

\operatorname {im} \partial _{2}

is the group of 1-dimensional cycles that are boundaries of 2-dimensional cells, which is isomorphic to Z. Hence, their quotient H₁ is isomorphic to Z. This corresponds to the fact that X now has a single hole. Previously. the image of

\partial _{2}

was the trivial group, so the quotient was equal to

\ker \partial _{1}

. Suppose now that we add another oriented 2-dimensional cell B between the edges c and d, such that

\partial _{2}(B)=\partial _{2}(A)=c-d

. Now C₂ is the free abelian group generated by {A,B}. This does not change H₁ - it is still isomorphic to Z (X still has a single 1-dimensional hole). But now C₂ contains the two-dimensional cycle A-B, so

\partial _{2}

has a non-trivial kernel. This cycle generates the second homology group, corresponding to the fact that there is a single two-dimensional hole:

H_{2}(X):=\ker \partial _{2}\cong \mathbb {Z}

We can proceed and add a 3-cell - a solid 3-dimensional object (called C) bounded by A and B. Define C₃ as the free abelian group generated by {C}, and the boundary operator

\partial _{3}:C_{3}\to C_{2}

. We can orient C such that

\partial _{3}(C)=A-B

; note that the boundary of C is a cycle in C₂. Now the second homology group is:

H_{2}(X):=\ker \partial _{2}{\big /}\operatorname {im} \partial _{3}\cong {0}

corresponding to the fact that there are no two-dimensional holes (C "fills the hole" between A and B).

General case edit

In general, one can define chains of any dimension. If the maximum dimension of a chain is k, then we get the following sequence of groups:

C_{k}\xrightarrow {\partial _{k}} C_{k-1}\cdots C_{1}\xrightarrow {\partial _{1}} C_{0}

It can be proved that any boundary of a (k+1)-dimensional cell is a k-dimensional cycle. In other words, for any k,

\operatorname {im} \partial _{k+1}

(the group of boundaries of k+1 elements) is contained in

\ker \partial _{k}

(the group of k-dimensional cycles). Therefore, the quotient

\ker \partial _{k}{\big /}\operatorname {im} \partial _{k+1}

is well-defined, and it is defined as the k-th homology group:

H_{k}(X):=\ker \partial _{k}{\big /}\operatorname {im} \partial _{k+1}

References edit

^ ^a ^b Sunada, Toshikazu (2013), Sunada, Toshikazu (ed.), "Homology Groups of Graphs", Topological Crystallography: With a View Towards Discrete Geometric Analysis, Surveys and Tutorials in the Applied Mathematical Sciences, Tokyo: Springer Japan, pp. 37–51, doi:10.1007/978-4-431-54177-6_4, ISBN 978-4-431-54177-6
^ Wildberger, Norman J. (2012). "An introduction to homology". YouTube.
^ Wildberger, Norman J. (2012). "Computing homology groups". YouTube.
^ Wildberger, Norman J. (2012). "An introduction to homology (cont.)". YouTube.