Clique Complex Homology: a Combinatorial Invariant for Chordal Graphs Allen D

Clique Complex Homology: a Combinatorial Invariant for Chordal Graphs Allen D

International Journal of Sciences Research Article (ISSN 2305-3925) Volume 2, Issue July 2013 http://www.ijSciences.com Clique Complex Homology: A Combinatorial Invariant for Chordal Graphs Allen D. Parks1 1 Electromagnetic and Sensor Systems Department, 18444 Frontage Road Suite 327, Naval Surface Warfare Center Dahlgren Division, Dahlgren, VA 22448-5161, USA Abstract: It is shown that a geometric realization of the clique complex of a connected chordal graph is homologically trivial and as a consequence of this it is always the case for any connected chordal graph ( ) that ∑ ( ) ( ) , where ( ) is the number of cliques of order in and ( ) is the clique number of . Keywords: algebraic graph theory; chordal graph; clique complex; hypergraph; homology; Mayer-Vietoris theorem; graph invariant; Euler-Poincaré formula 1. Introduction set of doubleton subsets of ( ) called edges or the In recent years much attention has been devoted to the empty set . The order of is the cardinality of ( ) study of chordal graphs. In addition to understanding and the size of is the cardinality of ( ) . Two their intrinsic properties from a graph theoretic vertices ( ) are adjacent when { } perspective, a major motivation for this research has ( ) in which case is said to join and . A - been their usefulness in such diverse applied domains walk is an alternating sequence of vertices and edges as biology, relational database design, computer beginning with and ending with such that every science, matrix manipulation, psychology, scheduling, edge joins the vertices immediately preceding and and genetics, e.g., [1, 2]. Graph invariants have also following it. A - path is a - walk in which no been the subject of intense research because of their vertex is repeated. In this case is said to be utility for determining class membership of graphs connected to . is connected if its order is one or if and recognizing non-isomorphic graphs, e.g., [3]. every two vertices in are connected. A - path for which and which contains at least three edges is In this short paper a new combinatorial invariant for a cycle. The length of a cycle is the number of edges connected chordal graphs is found using the well- contained within it and a chord of a cycle is an edge established relationship between a connected chordal between nonconsecutive vertices in the cycle. graph and its associated -acyclic hypergraph ( ). The fact that ( ) is -acyclic and that ( ) A graph is a chordal graph if every cycle of length at also generates the clique complex ( ) of allows a least four has a chord. A graph is complete if every straightforward application of the Mayer-Vietoris two of its vertices are adjacent. A graph is a Theorem to show that a geometric realization of subgraph of if ( ) ( ) and ( ) ( ). A ( ) is homologically trivial. The combinatorial clique in is either a vertex or a complete subgraph invariant for connected chordal graphs follows from of and is maximal if it is not a proper subgraph of the direct application of the Euler-Poincare formula to another clique. The order of a clique is the cardinality . of its vertex set and the clique number ( ) of is the maximum order among the maximal cliques of . The remainder of this paper is organized as follows: A hypergraph is a pair ( ), where is a finite The relevant definitions and terminology are set of vertices and is a set of hyperedges which are summarized in the next section. Required preliminary non-empty subsets of (it is hereafter assumed that lemmas are provided in Section 3 and the main results is reduced, i.e., no hyperedge of is a subset of are established in Section 4. A simple illustrative another hyperedge of ). The hypergraph ( ) example is presented in Section 5. Closing remarks associated with graph has ( ) as its vertices and comprise the final section of this paper. the hyperedges of ( ) are the sets of vertices in the maximal cliques of . ( ) is connected if is 2. Definitions and Terminology connected. A connected hypergraph is -acyclic if it has the (nonempty) running intersection property, i.e., A graph is a pair ( ( ) ( )), where ( ) is a if there is an ordering ( ) of its hyperedges ( ) finite non-empty set of vertices and is either a so that for each , there is a such that Allen D. Parks (Correspondence) [email protected] ( ) homomorphisms () (), . If ( ) (note the fact that each of these intersections is non-empty implies is finite and () is the number of -simplices in , connectedness) [4, 5]. then the rank of () is () , i.e., () is isomorphic to (denoted ) the direct sum of The closure ( ) of a finite set is the family of () copies of the additive group of integers ℤ. The nonempty subsets of . The closure ( ) of a th homology group of is the quotient group hypergraph is the union of the closure of each of its () and its rank is the th Betti ( ) ( ) hyperedges, i.e., , and the closure number (). If is connected, then () ℤ ( ) of a graph is ( ) ( ), where and is homologically trivial if it is connected and is the set of vertices in a maximal clique of and () , , where is the trivial group. The is the set of all such ’s. complex of a simplex is homologically trivial. Let { } be a set of geometrically 3. Preliminary Lemmas independent points in . The k-simplex (or simplex) spanned by { } is the set of points Several lemmas are required to prove the main results for which there exist non-negative real found in the next section. The first three are well ∑ numbers such that and known and are repeated here for completeness. The ∑ In this case { } is the vertex fourth is lesser known and is due to D’Atri et al. set of . A face of is any simplex spanned by a non-empty subset of { } . A finite Lemma 3.1. [6] (Euler-Poincaré) If is a complex of geometric simplicial complex (or complex) is a finite dimension, then finite union of simplices such that: (i) every face of a simplex of is in ; and (ii) the non-empty ∑ ()( ) () ∑ ()( ) (). intersection of any two simplices of is a common face of each. The dimension () of is the Lemma 3.2. [7] (Mayer-Vietoris) Let be a complex largest positive integer m such that contains an m- with subcomplexes and such that simplex. The vertex scheme of is the family of all . Then there is an exact sequence vertex sets which span the simplices of . If { } is a collection of subcomplexes of , then ( ) ( ) ( ) and are also subcomplexes of . () ( ) . A finite abstract simplicial complex (or abstract complex) is a finite collection of finite non-empty Lemma 3.3. [8] Let be an abelian group, be a sets such that if is in , then so is every non-empty free abelian group, and be a surmorphism. subset of . Thus, the vertex scheme of a complex is Then . an abstract complex - as are finite unions of set closures and finite intersections of set closures. The Lemma 3.4. [9] If is a connected chordal graph, abstract complex ( ) is called the clique complex then ( ) is -acyclic. ( ) of graph . The closure operation is also important for proving Two abstract complexes and are isomorphic if the main results. The following three lemmas provide there is a bijection from the vertex set of onto the the required key properties of . Since the next lemma is straightforward, its proof has been omitted. vertex set of such that { } if, and Lemma 3.5. Let { } be a collection of non- only if, { ( ) ( ) ( )} . Every abstract complex is isomorphic to the vertex scheme of some empty finite sets. Then the following statements are geometric simplicial complex – in which case is true: the geometric realization of and is uniquely (1) if, and only if, ( ) ( ); determined (up to linear isomorphism). An (2) ( ) ( ); isomorphism between and the vertex scheme of is (3) ( ) ( ); denoted . An edge in is a doubleton subset of (4) if, and only if, ( ) ( ) ; vertices contained in . A distinct pair of vertices and of are path connected if there is an alternating (5) if, and only if, ( ) . sequence { } { } { } of vertices and ( ) edges of . The abstract complex is connected when Lemma 3.6. If the ordering of sets has either has one vertex or all pairs of its vertices are the running intersection property, then the ordering path connected. If is connected, then so is any ( ( ) ( ) ( )) also has the running geometric realization of . intersection property. To each (simplicial) complex there corresponds a Proof. The proof results from use of the identity ( ) ( ) in the following chain complex, i.e., abelian groups () and 97 http://www.ijSciences.com Volume 2, Issue July 2013 ( ) ( ) ( ) (Lemma 3.5 (1)); and that the abstract implication chain: complexes ( ) ( ) are therefore both ( ) ( ( isomorphic to the vertex scheme of the same simplex. )) ( ) (Lemma 3.5 (1),(5)) Item (2) follows from an induction argument on ( ( )) ( ) (Lemma 3.5 (3)) and the running intersection property’s nonempty ( ( ) ( )) ( ) (Lemma condition ( ( ) ( ( ))), along with 3.5 (2)) ( ) ( ( )) ( ) . the one-to-one correspondence between hyperedges Thus, the operation preserves the running and vertex sets of maximal cliques. Item (3): Since intersection property. and are subcomplexes of , then so is . Because ( ) has the running intersection property, Lemma 3.7. Let the ordering of sets ( ) along with Lemma 4.1, Corollary 4.2, and Lemma have the running intersection property. If 3.7, it follows that ( ( ) ( ( ))) ( ), then ( ) ( ) ( ( )). ( ( ) ( ( ))) ( ) . But for Proof. Again use the identity ( ) some (Lemma 3.6). Since ( ) is isomorphic ( ) and let . Application of Lemma to the vertex scheme for the complex of a simplex in 3.5 and the definition of provides the following ( ( ) ( ( ))) biconditional chain and completes the proof: , then is isomorphic to the ( ) for some vertex scheme of this complex of a simplex or to the ( ) for some ( complex of one of its faces.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    5 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us