Independence complex

The independence complex of a graph is a mathematical object describing the independent sets of the graph. Formally, the independence complex of an undirected graph G, denoted by I(G), is an abstract simplicial complex (that is, a family of finite sets closed under the operation of taking subsets), formed by the sets of vertices in the independent sets of G. Any subset of an independent set is itself an independent set, so I(G) indeed meets the requirement of an abstract simplicial complex that every subset of a set in the family should also be in the family.

Every independent set in a graph is a clique in its complement graph, and vice-versa. Therefore, the independence complex of a graph equals the clique complex of its complement graph, and vice-versa.

Homology groups

Several authors studied the relations between the properties of a graph G = (V, E), and the homology groups of its independence complex I(G).[1] In particular, several properties related to the dominating sets in G guarantee that some reduced homology groups of I(G) are trivial.

1. The total domination number of G, denoted , is the minimum cardinality of a set total dominating set of G - a set S such that every vertex of V is adjacent to a vertex of S. If then .[2]

2. The total domination number of a subset A of V in G, denoted , is the minimum cardinality of a set S such that every vertex of A is adjacent to a vertex of S. If there exists an independent set A in G such that then .[3]

3. The domination number of G, denoted , is the minimum cardinality of a dominating set of G - a set S such that every vertex of V \ S is adjacent to a vertex of S. Note that . If G is a chordal graph and then .[4]

4. The induced matching number of G, denoted , is the largest cardinality of an induced matching in G - a matching that includes every edge connecting any two vertices in the subset. If there exists a subset A of V such that then .[5] This is a generalization of both properties 1 and 2 above.

5. The non-dominating independence complex of G, denoted I'(G), is the abstract simplicial complex of the independent sets that are not dominating sets of G. Obviously I'(G) is contained in I(G); denote the inclusion map by . If G is a chordal graph then the induced map is zero for all .[1]:Thm.1.4 This is a generalization of property 3 above.

6. The fractional star-domination number of G, denoted , is the minimum size of a fractional star-dominating set in G. If then .[1]:Thm.1.5

Meshulam's game

Meshulam's game is a game used to explain a theorem of Roy Meshulam related to the homological connectivity of the independence complex of a graph. The formulation of this theorem as a game is due to Aharoni, Berger and Ziv.[6][7]

The game-board is a graph G. It is a zero-sum game for two players, CON and NON. CON wants to show that I(G), the independence complex of G, has a high connectivity; NON wants to prove the opposite.

At his turn, CON chooses an edge e from the remaining graph. NON then chooses one of two options:

  • Deletion – remove the edge e from the graph.
  • Explosion – remove both endpoints of e, together with all their neighbors and the edges incident to them.

The score of CON is defined as follows:

  • If at some point the remaining graph has an isolated vertex, the score is infinity;
  • Otherwise, at some point the remaining graph contains no vertex; in that case the score is the number of explosions.

For every given graph G, the game value on G (i.e., the score of CON when both sides play optimally) is denoted by Ψ(G).

Meshulam[1] proved that, for every graph G, the homological connectivity of I(G) is at least Ψ(G).

The matching complex of a graph G, denoted M(G), is an abstract simplicial complex of the matchings in G. It is the independence complex of the line graph of G.[8][9]

The (m,n)-chessboard complex is the matching complex on the complete bipartite graph Km,n. It is the abstract simplicial complex of all sets of positions on an m-by-n chessboard, on which it is possible to put rooks without each of them threatening the other.[10][11]

gollark: (! is the falling factorial, which is defined as the product of all numbers equal to the input)
gollark: It is limited to the year 9999!
gollark: Python datetime is so terrible, yes.
gollark: Is the screenshot a game?
gollark: Interesting.

See also

References

  1. Meshulam, Roy (2003-05-01). "Domination numbers and homology". Journal of Combinatorial Theory, Series A. 102 (2): 321–330. doi:10.1016/S0097-3165(03)00045-1. ISSN 0097-3165.
  2. Chudnovsky, Maria (2000). Systems of disjoint representatives (M.Sc. thesis). Haifa, Israel: Technion, department of mathematics.
  3. Aharoni, Ron; Haxell, Penny (2000). "Hall's theorem for hypergraphs". Journal of Graph Theory. 35 (2): 83–88. doi:10.1002/1097-0118(200010)35:2<83::aid-jgt2>3.0.co;2-v. ISSN 0364-9024.
  4. Aharoni, Ron; Berger, Eli; Ziv, Ran (2002-07-01). "A Tree Version of Kőnig's Theorem". Combinatorica. 22 (3): 335–343. doi:10.1007/s004930200016. ISSN 0209-9683.
  5. Meshulam, Roy (2001-01-01). "The Clique Complex and Hypergraph Matching". Combinatorica. 21 (1): 89–94. doi:10.1007/s004930170006. ISSN 1439-6912.
  6. Aharoni, Ron; Berger, Eli; Ziv, Ran (2007-05-01). "Independent systems of representatives in weighted graphs". Combinatorica. 27 (3): 253–267. doi:10.1007/s00493-007-2086-y. ISSN 0209-9683.
  7. Aharoni, Ron; Berger, Eli; Kotlar, Dani; Ziv, Ran (2017-01-04). "On a conjecture of Stein". Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg. 87 (2): 203–211. doi:10.1007/s12188-016-0160-3. ISSN 0025-5858.
  8. Björner, A.; Lovász, L.; Vrećica, S. T.; Živaljević, R. T. (1994). "Chessboard Complexes and Matching Complexes". Journal of the London Mathematical Society. 49 (1): 25–39. doi:10.1112/jlms/49.1.25. ISSN 1469-7750.
  9. Reiner, Victor; Roberts, Joel (2000-03-01). "Minimal Resolutions and the Homology of Matching and Chessboard Complexes". Journal of Algebraic Combinatorics. 11 (2): 135–154. doi:10.1023/A:1008728115910. ISSN 1572-9192.
  10. Friedman, Joel; Hanlon, Phil (1998-09-01). "On the Betti Numbers of Chessboard Complexes". Journal of Algebraic Combinatorics. 8 (2): 193–203. doi:10.1023/A:1008693929682. ISSN 1572-9192.
  11. Ziegler, Günter M. (1994-02-01). "Shellability of chessboard complexes". Israel Journal of Mathematics. 87 (1): 97–110. doi:10.1007/BF02772986. ISSN 1565-8511.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.