- freely available
- re-usable

*Symmetry*
**2012**,
*4*(2),
329-335;
doi:10.3390/sym4020329

## Abstract

**:**It is shown that the line graph transformation G ↦ L(G) of a graph G preserves an isomorphic copy of G as the nerve of a finite simplicial complex

**K**which is naturally associated with the Krausz decomposition of L(G). As a consequence, the homology of

**K**is isomorphic to that of G. This homology invariance algebraically confirms several well known graph theoretic properties of line graphs and formally establishes the Euler characteristic of G as a line graph transformation invariant.

## 1. Introduction

Because of its intrinsic interest, the line graph transformation G ↦ L(G) of a graph G has been widely studied. The impetus for much of this research was provided by Ore’s discussion of line graphs and problems associated with them [1]. Line graphs are also interesting from a practical standpoint, since it has been shown that certain NP-complete problems for graphs are polynomial time problems for line graphs, e.g., [2]. Because of their utility for recognizing non-isomorphic graphs, graph invariants have also been the object of intensive research, e.g., [3].

In this paper, a new topological invariance associated with the line graph transformation is found using the natural relationship between a Krausz decomposition of L(G) and an abstract simplicial complex **K**. In particular, it is shown that, under the line graph transformation, an isomorphic copy of G is preserved as the nerve of **K**. As a consequence, the homology of G is isomorphic to that of **K** and an application of the Euler-Poincare formula yields the Euler characteristic of G as a line graph transformation invariant. This invariance also algebraically confirms several well-known graph theoretic properties of line graphs.

The remainder of this paper is organized as follows: The relevant definitions and terminology are summarized in the next section. Required preliminary lemmas are provided in Section 3 and the main results are established in Section 4. A simple illustrative example is presented in Section 5. Closing remarks comprise the final section of this paper.

## 2. Definitions and Terminology

A graph G is a pair (V(G), E(G)), where V(G) is a finite non-empty set of vertices and E(G) is a set of doubleton subsets of V(G) called edges**. **G is a non-empty graph when V(G) ≠ Ø ≠ E(G) and G is a (p,q) graph if |V(G)| = p and |E(G)| = q. A (1,0) graph is a trivial graph. The number of edges incident to a vertex v is the valency of v. A vertex of valency zero is an isolated vertex (only graphs without isolated vertices are considered here). A component of G is a maximally connected subgraph of G. A complete graph K_{n}on n vertices has every pair of vertices adjacent. When V(G) is partitioned into two sets V_{1} and V_{2} of cardinality m and n such that each vertex in V_{1} is adjacent to every vertex in V_{2}, then G is the complete bipartite graph K_{m,n}. If G is connected and has no cycles, then G is a tree. Graph G_{1} is isomorphic to graph G_{2} (denoted G_{1} ≅ G_{2}) if there is an adjacency preserving bijective map 𝜑: V(G_{1}) → V(G_{2}).

Associate with any non-empty graph G its line graph L(G) which has E(G) as its vertex set and has as its edge set those pairs in E(G) which are adjacent in G. A collection $\mathcal{K}$ of subgraphs of a graph F is a Krausz decomposition of F if (i) each member of $\mathcal{K}$ is a complete graph; (ii) every edge of F is in exactly one member of $\mathcal{K}$; and (iii) every vertex of F is in exactly two members of $\mathcal{K}$. A nonempty graph is a line graph if, and only if, it has a Krausz decomposition and—provided that G_{1} and G_{2} are non-trivial connected graphs—L(G_{1}) ≅ L(G_{2}) if, and only if, G_{1} ≅ G_{2} or {G_{1},G_{2}} is (up to isomorphism) the unordered pair {K_{3},K_{1,3}} [4].

A hypergraph is a pair (𝓝, 𝓔), where 𝓝 is a finite set of vertices and 𝓔 is a set of hyperedges which are non-empty subsets of 𝓝. A Krausz hypergraph 𝓗 of a line graph L(G) has V(L(G)) as its vertex set and the family of subsets of V(L(G)) that induce the members of $\mathcal{K}$ as its hyperedges.

If S is a finite set, then the closure Cl(S) of S is the family of non-empty subsets of S. The closure Cl(𝓗) of 𝓗 is the union of the closures of its hyperedges, i.e., Cl(𝓗) = ⋃_{E }_{∈ }_{𝓔 }C𝑙(E). The number of sets of cardinality k in Cl(𝓗) is h_{k} and 𝝃 is the maximum k for which h_{k} ≠ 0.

Let {a_{0},…, a_{k}} be a set of geometrically independent points in ℝ^{n}. The k-simplex (or simplex) σ^{k} spanned by {a_{0},…, a_{k}} is the set of points x ∈ ℝ^{n} for which there exist non-negative real numbers λ_{0},…,λ_{k} such that x = ∑_{0} _{≤}_{ i} _{≤} _{k }λ_{i }a_{i} and ∑_{0} _{≤} _{i} _{≤}_{ k} λ_{i} = 1. In this case {a_{0},…, a_{k}} is the vertex set of σ^{ k}. A face of σ^{ k} is any simplex spanned by a non-empty subset of {a_{0},…, a_{k}}. A finite geometric simplicial complex (or complex) **K** is a finite union of simplices such that: (i) every face of a simplex of **K** is in **K**; and (ii) the non-empty intersection of any two simplices of **K** is a common face of each. Here it is assumed that all simplicial complexes are finite. Consequently, the dimension of **K** is the largest positive integer m such that **K** contains an m-simplex. The vertex scheme of **K** is the family of all vertex sets which span the simplices of **K**. The n-skeleton of **K** is the set of all simplices in **K** with dimension ≤n. **K** is connected if, and only if, its 1-skeleton is connected. If {L_{i}} is a family of subcomplexes of **K**, then ⋃_{i }L_{i} and ⋂_{i }L_{i} ≠ Ø are subcomplexes of **K**.

A finite abstract simplicial complex (or abstract complex) is a finite family 𝓢 of finite non-empty sets such that if A is in 𝓢, then so is every non-empty subset of A. Thus, the vertex scheme of a complex is an abstract complex as are finite unions of set closures and finite intersections of set closures when they are non-empty.

Two abstract complexes 𝓢 and 𝓣 are isomorphic if there is a bijection φ from the vertex set of 𝓢 onto the vertex set of 𝓣 such that {a_{0},…, a_{k}}∈ 𝓢 if, and only if, {φ(a_{0}),…, φ(a_{k})} ∈ 𝓣. Every abstract complex 𝓢 is isomorphic to the vertex scheme of some geometric simplicial complex **K**—in which case **K** is the geometric realization of 𝓢 and is uniquely determined (up to linear isomorphism). An isomorphism between 𝓢 and the vertex scheme of **K** is denoted 𝓢 ≃ **K**.

To each simplicial complex **K** there corresponds a chain complex, i.e., abelian groups $\mathcal{C}$_{p}(**K**) and homomorphisms ∂_{p+}_{1} : $\mathcal{C}$_{p+}_{1}(**K**) → $\mathcal{C}$_{p}(**K**), p ≥ 0. If **K** is finite and η_{p}(**K**) is the number of p-simplices in **K**, then the rank of $\mathcal{C}$_{p}(**K**) is η_{p}(**K**) and $\mathcal{C}$_{p}(**K**) is isomorphic to (here ≌ denotes both group and graph isomorphism) the direct sum of η_{p}(**K**) copies of the additive group of integers ℤ. The p^{th} homology group of **K** is the quotient group H_{p}(**K**) ≡ ker ∂_{p}/im ∂_{p}_{+1} and its rank is the p^{th} betti number b_{p}(**K**). Complexes **K** and **K** ´ are homologically isomorphic when H_{p}(**K**) ≌ H_{p}(**K** ´), p ≥ 0, and **K** is homologically acyclic (or acyclic) if H_{p}(**K**) ≌ 0, p ≥ 1. The complex of a simplex is acyclic and if **K** is empty, then **K** is acyclic. The number of components of **K** is the betti number b_{0}(**K**).

A cover of a simplicial complex **K** is a family of subcomplexes $\mathcal{L}$ = {L_{α} : α ∈ A} with **K** = ⋃_{α} L_{α}, where A is an index set. The family $\mathcal{L}$ is an acyclic cover if each L_{α} and each finite intersection ⋂_{α} L_{α} are acyclic. The nerve N($\mathcal{L}$) of$\mathcal{L}$ is the simplicial complex having A as its vertex set with ∆ = {α_{0},…,α_{n}} a simplex in N($\mathcal{L}$) if ⋂_{∆} L_{α} ≠ Ø.

## 3. Preliminary Lemmas

The following lemmas are required to prove the main results in the next section. The first four are well known and are stated without proof for completeness.

**Lemma 1.** [5] (Euler-Poincaré) If K is a complex of dimension m, then

∑_{0}_{ ≤}_{ p}_{ ≤}_{ m} (−1)^{p}η_{p}(K) = ∑_{0} _{≤}_{ p} _{≤}_{ m} (−1)^{p}b_{p}(K) (1)

**Lemma 2.** [6] A non-empty connected graph G is a tree if, and only if, G is homologically acyclic and H_{0}(G) ≌ ℤ.

**Lemma 3.** [7] Let F be a graph. Then F ≌ L(G) for some graph G if, and only if, the vertices of G can be placed into one-to-one correspondence with the members of a Krausz decomposition $\mathcal{K}$ of F such that two vertices of G are adjacent if, and only if, the corresponding members of $\mathcal{K}$ have a common vertex.

**Lemma 4.** [8] (Folkman-Leray) If $\mathcal{L}$ is an acyclic cover of a simplicial complex **K**, then **K** and N($\mathcal{L}$) are homologically isomorphic.

The closure operation C𝑙 is important for proving the main results of this paper. The required key properties of C𝑙 are provided by the next lemma. Since the proof is straight forward it is omitted.

**Lemma 5.** Let {E_{m} : m ∈ I }be a collection of non-empty finite sets. Then the following statements are true:

(1) ⋂

_{m}Cl(E_{m}) = C𝑙(⋂_{m}E_{m}) ;(2) A ⋂ B ≠ Ø ⇔ Cl(A) ⋂ C𝑙(B) ≠ Ø; and

(3) A = Ø ⇔ Cl(A) = Ø.

**Lemma 6.** Let 𝓗 = (𝓝, 𝓔) be a Krausz hypergraph. Suppose 𝓢 = Cl(𝓗) = ⋃_{E }_{∈ }_{𝓔} C𝑙(E) is the abstract complex associated with 𝓗 and its geometric realization is the Krausz complex **K**. If E_{i}, E_{j}, E_{k} ∈ 𝓔 are distinct and the subcomplex K_{i} of **K** corresponds to the abstract complex Cl(E_{i}) of 𝓢, then

(1) | K

_{i}⋂ K_{j}| ≤ 1; and(2) K

_{i}⋂ K_{j}⋂ K_{k}= Ø.

Proof. Condition (1) follows since E_{i} and E_{j} are induced by a Krausz decomposition and have at most one vertex in common (apply (2) of Lemma 5 with A = E_{i} and B = E_{j}). Condition (2) follows since no three hyperedges of 𝓗 have a common vertex (apply (3) of Lemma 5 with A = E_{i} ⋂ E_{j} ⋂ E_{k} = Ø and then (1) of Lemma 5 with ⋂_{m} E_{m} = E_{i} ⋂ E_{j} ⋂ E_{k}).

## 4. Main Results

The terminology and results of the previous sections are now used to prove the following main results of this paper. In what follows, it is assumed that: (i) **K** is a Krausz complex associated with a Krausz hypergraph 𝓗 = (𝓝, 𝓔) of a graph F ≌ L(G); (ii) G is a non-trivial connected graph; (iii) G is not isomorphic to K_{3} or K_{1,3}; and (iv) $\mathcal{L}$ = {K_{i} ⊂ **K** : K_{i} ≌ C𝑙(E_{i}), E_{i} ∈ 𝓔}.

**Theorem 1.** G ≌ N($\mathcal{L}$).

Proof. By definition of $\mathcal{L}$, |$\mathcal{L}$| = |𝓔|. Also, K_{i} ⋂ K_{j} ≠ Ø if, and only if, the corresponding pair of hyperedges in 𝓗 have a common vertex. Since F ≌ L(G), then Lemma 3 yields a correspondence between V(G) and 𝓔 such that u adjacent to v in G if, and only if, corresponding hyperedges have a vertex in common. Therefore, it follows from the definition of nerve that G ≌ N($\mathcal{L}$). (Recall that here G is assumed to not be isomorphic to K_{3} or K_{1,3}).

**Lemma 7.** $\mathcal{L}$ is an acyclic cover of **K**.

Proof. By definition **K** = ⋃_{i} K_{i}, where each K_{i} is the complex of a simplex. Thus, $\mathcal{L}$ covers **K**. Since each K_{i} and (via Lemma 6) every finite intersection of the K_{i}’s is acyclic, then $\mathcal{L}$ is an acyclic cover of **K**.

**Theorem 2.** **K**and G are homologically isomorphic.

Proof. **K **and N($\mathcal{L}$) are homologically isomorphic (Lemma 7 and Lemma 4). Since G ≌ N($\mathcal{L}$) (Theorem 1), then **K** and G are also homologically isomorphic.

**Corollary 1. **If G is a (p,q) graph and F ≌ L(G), then

∑_{1} _{≤} _{k} _{≤} _{𝝃} (−1)^{k−}^{1}h_{k} = p – q (2)

Proof. The left hand side of the Euler-Poincaré Formula (1), first for K = **K** and then for K = G, may be equated since, from Theorem 2, the corresponding right hand sides are equal. But when G =K, the left hand side of Equation (1) is p − q. Also, because of the one-to-one correspondence between the k − 1 dimensional simplices of **K** and the sets of size k in 𝓢 = Cl(𝓗) it is the case that the dimension of **K** is 𝝃 − 1 and 𝜼_{k−}_{1}(**K**) = h_{k}. The validity of Equation (2) now follows from these observations and the appropriate K = **K** and K = G substitutions in the left hand side of Equation (1).

**Corollary 2. **The graph G and corresponding line graph L(G) have the same number of components.

Proof. From Theorem 2, b_{0}(G) = b_{0}(**K**) so that G and **K** have the same number of components. But L(G) and **K** also have an identical number of components since L(G) is isomorphic to the 1-skeleton of **K**. (This implies that L(G) is connected since it is assumed here that G is connected).

**Corollary 3. **Let L(G) be a connected line graph. Then G is a tree if, and only if,

∑_{1} _{≤} _{k} _{≤} _{𝝃} (−1)^{k−}^{1}h_{k} = 1 (3)

Proof. Since L(G) is connected, an application of Corollary 2 shows that G is connected. A connected (p,q) graph G is a tree if, and only if, p − q = 1. The result follows from Equation (2).

## 5. Example

In order to illustrate the theory developed above, consider the non-trivial connected (4,4) graph G, its line graph L(G), and a Krausz decomposition of L(G) shown in Figure 1. The associated Krausz hypergraph 𝓗 has the sets E_{1} ={a,b}, E_{2} = {a,d}, E_{3} = {b,c,d}, and E_{4} = {c} as it hyperedges. Their closures are

Cl(E_{1}) = {{a,b},{a},{b}},

Cl(E_{2}) = {{a,d},{a},{d}},

Cl(E_{3}) = {{b,c,d},{b,c},{b,d},{c,d},{b},{c},{d}},

and

Cl(E_{4}) = {{c}},

so that

$\mathcal{L}$ = {Cl(E_{1}),Cl(E_{2}),Cl(E_{3}),Cl(E_{4})}

and

Cl(𝓗) = {{b,c,d},{a,b},{a,d},{b,c},{b,d},{c,d},{a},{b},{c},{d}}.

It is clear that $\mathcal{L}$ is an acyclic cover of the Krausz complex associated with Cl(𝓗).

The nerve N($\mathcal{L}$) of $\mathcal{L}$ has the set {1,2,3,4} of 𝓗 hyperedge subscripts as its set of vertices. Since

Cl(E_{1}) ⋂ Cl(E_{2}) ≠ Ø, Cl(E_{1}) ⋂ Cl(E_{3}) ≠ Ø, Cl(E_{2}) ⋂ Cl(E_{3}) ≠ Ø, Cl(E_{3}) ⋂ Cl(E_{4}) ≠ Ø

and

Cl(E_{1}) ⋂ Cl(E_{4}) = Ø, Cl(E_{2}) ⋂ Cl(E_{4}) = Ø

then the doubleton subsets {1,2}, {1,3}, {2,3}, and {3,4} are N($\mathcal{L}$) edges (see Figure 2). It is obvious from Figure 1 and Figure 2 that − as required by Theorem 1 − G ≅ N($\mathcal{L}$).

Since G is a p = 4 = q graph, then p − q = 0. It is also readily determined from Cl(𝓗) that h_{3} = 1, h_{2} = 5, h_{1} = 4, and 𝝃 = 3, so that − as required by Corollary 1−

∑_{1 ≤ k ≤ 3}(-1)^{k-1}h_{k }= 4 − 5 + 1 = 0 = p – q

## 6. Closing Remarks

It has been shown that a Krausz decomposition of the line graph of a graph G defines both an abstract simplicial complex and an acyclic cover $\mathcal{L}$ of a geometric realization **K** of the complex such that: (i) the nerve of $\mathcal{L}$ is isomorphic to G (i.e., the line graph transformation of G preserves an isomorphic copy of G as the nerve of $\mathcal{L}$); and (ii) **K** and G are homologically isomorphic (i.e., the line graph transformation of G preserves the homology of G as the homology of **K**). Item (ii) algebraically confirms the graph theoretic fact that G and L(G) have the same number of components when G has no isolated vertices. Thus, it establishes the Euler characteristic of G as a line graph transformation invariant and provides Equation (3) as a condition that must be satisfied by the abstract simplicial complex Cl(𝓗) associated with a Krausz decomposition of a line graph of G when G is a connected tree. It is also interesting to note that Corollary 3 is an algebraic analogue of Rao’s Theorem [9].

## Acknowledgments

This work was supported by a grant from the Naval Surface Warfare Center Dahlgren Division’s In-house Laboratory Independent Research program.

## References

- Ore, O. Theory of Graphs; American Mathematical Society: Providence, RI, USA, 1962. [Google Scholar]
- Lovásv, L. Vertex Packing Algorithms. In Automata, Languages, and Programming, 12th Colloquium Nafplion, Greece, 15–19 July, 1985; Brauer, W., Ed.; Springer-Verlag: Berlin, Germany, 1985; pp. 1–14. [Google Scholar]
- Brigham, R.; Dutton, R. A compilation of relations between graph invariants. Networks
**1985**, 15, 73–107. [Google Scholar] [CrossRef] - Hemminger, R.; Beineke, L. Line Graphs and Line Digraphs. In Selected Topics in Graph Theory; Beineke, L., Wilson, R., Eds.; Academic Press: London, UK, 1978; pp. 271–305. [Google Scholar]
- Hocking, J.; Young, G. Topology; Addison-Wesley: Reading, MA, USA, 1961; p. 242. [Google Scholar]
- Hu, S. Homology Theory:A First Course in Algebraic Topology; Holden-Day: San Francisco, CA, USA, 1966; p. 119. [Google Scholar]
- Behzad, M.; Chartrand, G.; Lesniak-Foster, L. Graphs and Digraphs; Wadsworth International Group: Belmont, CA, USA, 1979; p. 190. [Google Scholar]
- Rotman, J. An Introduction to Algebraic Topology; Springer-Verlag: New York, NY, USA, 1988; p. 154. [Google Scholar]
- Berge, C. Graphs and Hypergraphs; North-Holland: London, UK, 1973; p. 413. [Google Scholar]

© 2012 by the authors; licensee MDPI, Basel, Switzerland. This article is an open-access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).