arxiv: v1 [math.at] 19 Aug 2017

Transcription

1 SPANNING SIMPLICIAL COMPLEXES OF UNI-CYCLIC MULTIGRAPHS arxiv: v [math.at] 9 Aug 207 IMRAN AHMED, SHAHID MUHMOOD Abstract. A multigraph is a nonsimple graph which is permitted to have multiple edges, that is, edges that have the same end nodes. We introduce the conceptofspanningsimplicial complexes s G ofmultigraphsg, which provides a generalization of spanning simplicial complexes of associated simple graphs. We give first the characterization of all spanning trees of a uni-cyclic multigraph Un,m r with n edges including r multiple edges within and outside the cycle of length m. Then, we determine the facet ideal I F s Un,m r of spanning simplicial complex sun,m r and its primary decomposition. The Euler characteristic is a well-known topological and homotopic invariant to classify surfaces. Finally, we device a formula for Euler characteristic of spanning simplicial complex s Un,m r. Key words: multigraph, spanning simplicial complex, Euler characteristic. 200 Mathematics Subject Classification: Primary 05E25, 55U0, 3P0, Secondary 06A, 3H0.. Introduction Let G = GV,E be a multigraph on the vertex set V and edge-set E. A spanning tree of a multigraph G is a subtree of G that contains every vertex of G. We represent the collection of all edge-sets of the spanning trees of a multigraph G by sg. The facets of spanning simplicial complex s G is exactly the edge set sg of all possible spanning trees of a multigraph G. Therefore, the spanning simplicial complex s G of a multigraph G is defined by s G = F k F k sg, which gives a generalization of the spanning simplicial complex s G of an associated simple graph G. The spanning simplicial complex of a simple connected finite graph was firstly introduced by Anwar, Raza and Kashif in []. Many authors discussed algebraic and combinatorial properties of spanning simplicial complexes of various classes of simple connected finite graphs, see for instance [], [5], [6] and [9]. Let be simplicial complex of dimension d. We denote f i by the number of i-cells of simplicial complex. Then, the Euler characteristic of is given

2 2 Ahmed and Muhmood by d χ = i f i, i=0 which is a well-known topological and homotopic invariant to classify surfaces, see [4] and [7]. The uni-cyclic multigraph Un,m r is a connected graph having n edges including r multiple edges within and outside the cycle of length m. Our aim is to give some algebraic and topological characterizations of spanning simplicial complex s Un,m r. In Lemma 3., we give characterization of all spanning trees of a uni-cyclic multigraph Un,m r having n edges including r multiple edges and a cycle of length m. In Proposition 3.2, we determine the facet ideal I F s Un,m r of spanning simplicial complex s Un,m r and its primary decomposition. In Theorem 3.3, we give a formula for Euler characteristic of spanning simplicial complex s Un,m r. 2. Basic Setup A simplicial complex on [n] = {,...,n} is a collection of subsets of [n] satisfying the following properties. {j} for all j [n]; 2 If F then every subset of F will belong to including empty set. The elements of arecalled faces of andthe dimension of any facef is defined as F andiswritten asdimf, where F is thenumber of vertices of F. The vertices and edges are 0 and dimensional faces of respectively, whereas, dim =. The maximal faces of under inclusion are said to be the facets of. The dimension of is denoted by dim and is defined by dim = max{dimf F }. If {F,...,F q } is the set of all the facets of, then =< F,...,F q >. A simplicial complex is said to be pure, if all its facets are of the same dimension. A subset M of [n] is said to be a vertex cover for if M has non-empty intersection with every F k. M is said to be a minimal vertex cover for if no proper subset of M is a vertex cover for. Definition 2.. Let G = GV,E be a multigraph on the vertex set V and edge-set E. A spanning tree of a multigraph G is a subtree of G that contains every vertex of G. Definition 2.2. Let G = GV,E be a multigraph on the vertex set V and edgeset E. Let sg be the edge-set of all possible spanning trees of G. We define a simplicial complex s G on E such that the facets of s G are exactly the elements of sg, we call s G as the spanning simplicial complex of G and given by s G = F k F k sg.

3 Spanning Simplicial Complexes of Uni-Cyclic Multigraphs 3 Definition 2.3. A uni-cyclic multigraph U r n,m is a connected graph having n edges including r multiple edges within and outside the cycle of length m. Let be simplicial complex of dimension d. Then, the chain complex C is given by 0 C d d C d d... 2 C C Each C i is a free abelian group of rank f i. The boundary homomorphism d : C d C d is defined by d σα d = d i=0 i σα d [v0,v,...,ˆvi,...,v d ]. Of course, H i = Z i /B i = Ker i /Im i+, where Z i = Ker i and B i = Im i+ are the groups of simplicial i- cycles and simplicial i-boundaries, respectively. Therefore, rankh i = rankz i rankb i. One can easily see that rank B d = 0 due to B d = 0. For each i 0 there is an exact sequence 0 Z i C i i B i 0. Moreover, f i = rankc i = rankz i +rankb i. Therefore, the Euler characteristic of can be expressed as i=0 i rankz i +rankb i χ = d i=0 i f i = d = d i=0 i rankz i + d i=0 i rankb i. Changing index of summation in the last sum and using the fact that rank B = 0 = rankb d, we get i=0 i+ rankb i χ = d i=0 i rankz i + d = d i=0 i rankz i rankb i = d Thus, the Euler characteristic of is given by χ = d i β i, i=0 i=0 i rankh i. where β i = rankh i is the i-th Betti number of, see [4] and [7]. 3. Topological Characterizations of s U r n,m Let Un,m r be a uni-cyclic multigraph having n edges including r multiple edges within and outside the cycle of length m. We fix the labeling of the edge set E of Un,m r as follows: E = {e,...,e t,...,e r,...,e r t r,e r +,...,e m,e m+,...,e m+tm+,...,e m+r,...,e m+r t m+r,e,...,e v }, where e i,...,e iti are the multiple edges of i-th edge of cycle with i r while e r +,...,e m are the single edges of the cycle and e j,...,e jtj are the multiple edges of the j-th edge outside the cycle with m+ j m+r, moreover, e,...,e v are single edges appeared outside the cycle.

4 4 Ahmed and Muhmood We give first the characterization of su r n,m. Lemma 3.. Let U r n,m be the uni-cyclic multigraph having n edges including r multiple edges and a cycle of length m with the edge set E, given above. A subset ET wiw E will belong to su r n,m if and only if T wi w = {e i,...,e r i r, e r +,...,e m,e m+im+,...,e m+r i m+r,e,...,e v }\{e wiw }for somei h {,...,t h } with h r, m + h m + r and i w {,...,t w } with w r or i w = with r + w m for some w = h and i w = i h appeared in T wiw. Proof. By cutting down method [3], the spanning trees of Un,m r can be obtained by removing exactly t h edges from each multiple edge such that h r, m + h m + r and in addition, an edge from the resulting cycle need to be removed. Therefore, the spanning trees will be of the form T wiw = {e i,...,e r i r,e r +,...,e m,e m+im+,...,e m+r i m+r,e,...,e v }\{e wiw } for some i h {,...,t h } with h r, m + h m + r and i w {,...,t w } with w r or i w = with r + w m for some w = h and i w = i h appeared in T wiw. In the following result, we give the primary decomposition of facet ideal I F s U r n,m. Proposition 3.2. Let s Un,m r be the spanning simplicial complex of unicyclic multigraph Un,m r having n edges including r multiple edges within and outside the cycle of length m. Then, I F s Un,m r = a v x a i r ;r + k m x i,...,x iti,x k r + k<l m x k,x l x i,...,x iti,x b,...,x btb x j,...,x jtj, i<b r m+ j m+r where t i with i r is the number of multiple edges appeared in the i-th edge of the cycle and t j with m+ j m+r is the number of multiple edges appeared in the jth-edge outside the cycle. Proof. Let I F s Un,m r be the facet ideal of the spanning simplicial complex s Un,m. r From [8], Proposition.8, minimal prime ideals of the facet ideal I F have one-to-one correspondence with the minimal vertex covers of the simplicial complex. Therefore, in order to find the primary decomposition of the facet ideal I F s Un,m; r it is sufficient to find all the minimal vertex covers of s Un,m r. As e a, a [v] is not an edge of the cycle of uni-cyclic multigraph Un,m r and does not belong to any multiple edge of Un,m r. Therefore, it is clear by definition of minimal vertex cover that {e a }, a v is a minimal vertex cover of s Un,m. r Moreover, a spanning tree is obtained by removing exactly t h edges from each multiple edge with h =,...,r,m+,...,m+r and

5 Spanning Simplicial Complexes of Uni-Cyclic Multigraphs 5 in addition, an edge from the resulting cycle of Un,m. r We illustrate the result into the following cases. Case. If atleast one multiple edge is appeared in the cycle of Un,m r. Then, we cannot remove one complete multiple edge and one single edge from the cycle of Un,m r to get spanning tree. Therefore, x i,...,x iti,x k with i r, r + k m is a minimal vertex cover of the spanning simplicial complex s Un,m r having non-empty intersection with all the spanning trees of Un,m. r Moreover, two single edges cannot be removed from the cycle of Un,m r to get spanning tree. Consequently, x k,x l for r + k < l m is a minimal vertex cover of s Un,m r having non-empty intersection with all the spanning trees of Un,m r. Case 2. If atleast two multiple edges are appeared in the cycle of Un,m r. Then, two complete multiple edges cannot be removed from the cycle of Un,m r to get spanning tree. Consequently, x i,...,x iti,x b,...,x btb for i < b r is a minimal vertex cover of s Un,m r having non-empty intersection with all the spanning trees of Un,m. r Case 3. If atleast one multiple edge appeared outside the cycle of Un,m. r Then, one complete multiple edge outside the cycle of Un,m r cannot be removed to get spanning tree. So, x j,...,x jtj for m+ j m+r is a minimal vertex cover of s Un,m r having non-empty intersection with all the spanning trees of Un,m. r This completes the proof. We give now formula for Euler characteristic of s U r n,m. Theorem 3.3. Let s Un,m r be spanning simplicial complex of uni-cyclic multigraph Un,m r having n edges including r multiple edges and a cycle of length m. Then, dim s Un,m r r = n t i m+r t j +r 2 and the Euler characteristic of s Un,m r is given by [ [ χ s Un,m r n = i n r nα+r i+ t m i i+m i=0 β β i j β j j=2 α+β α+β j j=2 ij / {r +,...,m} j=m+ tk lj βj nα+r ml lj i+ml m+ i <...<i j m+r k=i l=j i j tk α+β lj α+βj nl ] lj i+l i <...<i j m+r k=i l=j with α = r t i and β = m+r t j such that r and r are the number of multiple j=m+ edges appeared within and outside the cycle, respectively. Proof. Let E = {e,...,e t,...,e r,...,e r t r,e r +,...,e m,e m+,..., e m+tm+,...,e m+r,...,e m+r t m+r,e,...,e v }betheedgesetofuni-cyclic multigraphun,m r having nedgesincluding r multipleedgesandacycle oflength m such that r and r are the number of multiple edges appeared within and outside the cycle, respectively. ]

6 6 Ahmed and Muhmood One can easily see that each facet T wiw of s Un,m r is of the same dimension t i m+r t j +r2 = nαβ+r2 with α = r t i and β = m+r t j, n r j=m+ j=m+ see Lemma 3.. By definition, f i is the number of subsets of E with i + elements not containing cycle and multiple edges. There are r t nα+r m i i+m number of subsets of E containing cycle but not containing any multiple edge within the cycle. There are β nα+r mβ β β β nα+r = lβ ml i+mβ β lβ i+ml l=β subsets of E containing cycle and β multiple edges of Un,m r outside the cycle but not containing any multiple edge within the cycle. There are [ ] β nα+r mβ nα+r mβ β i+mβ i+mβ β β β β nα+r = lβ ml β l β i+ml l=β subsets of E containing cycle and β multiple edges of Un,m r outside the cycle but not containing any multiple edge within the cycle. Continuing in similar manner, the number of subsets of E containing cycle and two edges from a multiple edge outside the cycle but not containing any multiple edge within the cycle is given by β2 nα+r m2 0 i+m2 β2 nα+r m3 i+m3 + β2 nα+r m4 2 i+m4 + + β2 β2 nα+r mβ β β2 i+mβ = l2 β2 nα+r ml l2 i+ml. l=2 β i 2 There are choices of two edges from a 2 m+ i <i 2 m+r k=i tk m+ i <i 2 m+r k=i multiple edge outside the cycle. Therefore, we obtain β i 2 β tk 2 l=2 l2 β 2 l2 nα+r ml i+ml the number of subsets of E with i+ elements containing cycle and all possible choices of two edges from a multiple edge outside the cycle but not containing multiple edges within the cycle. Now, we use inclusion exclusion principal to obtain number of subsets of E containing cycle but not containing multiple edges= r t i [number of subsets of E with i + elements containing cycle but not containing multiple edges within the cyclenumber of subsets of E with i + elements containing cycle and β multiple edges outside the cycle but

7 Spanning Simplicial Complexes of Uni-Cyclic Multigraphs 7 not containing multiple edges within the cyclenumber of subsets of E with i+ elements containing cycle and β multiple edges outside the cycle but not containing multiple edges within the cycle number of subsets of E with i + elements containing cycle and two edges from a multiple edge outside the cycle but not containing multiple edges within the cycle] = r β β = r β β β lβ ββ nα+r ml lβ i+ml l=β lβ ββ nα+r ml lβ i+ml l=β β i 2 2 tk β l2 β2 nα+r ml l2 i+ml m+ i <i 2 m+r k=i l=2 t i [ nα+r m i+m β [ nα+r t m i i+m β β j=2 j i j tk m+ i <...<i j m+r k=i β lj βj nα+r ml lj i+ml l=j Therefore, we compute f i =number ofsubsets ofe withi+elementsnumber ofsubsets ofe with i + elements containing cycle but not containing multiple edgesnumber of subsets of E with i+ elements containing α+β multiple edgesnumber of subsets of E with i+ elements containing α+β multiple edges number of subsets of E with i+ elements containing two edges from a multiple edge of Un,m r = n i+ β α+β α+β r [ nα+r t m i i+m i j tk β k=i β j lj βj nα+r ml lj i+ml j=2 m+ i <...<i j m+r l=j α+β lα+β α+βα+β nl lα+β i+l l=α+β α+β lα+β α+βα+β nl lα+β i+l l=α+β α+β ij / {r +,...,m} i 2 2 tk α+β l2 α+β2 nl l2 i+l i <i 2 m+r k=i l=2 α+β α+β = n r i+ β β j j=2 α+β α+β j j=2 t i [ nα+r m i+m i j tk β lj βj nα+r ml lj i+ml m+ i <...<i j m+r k=i l=j i j tk α+β lj α+βj nl lj i <...<i j m+r k=i l=j ij / {r +,...,m} ] ]. ] ] i+l.

8 8 Ahmed and Muhmood e 3 e 2 e e 2 e 42 e 3 e 4 Figure. U 2 7,3 Example 3.4. Let E = {e,e 2,e 3,e 2,e 3,e 4,e 42 } be the edge set of unicyclic multigraph U 2 7,3 having 7 edges including 2 multiple edges and a cycle of length 3, as shown in Figure. By cutting-down method, we obtain su 2 7,3 = {{e 2,e 3,e 4 },{e,e 3,e 4 },{e,e 2,e 4 },{e 2,e 3,e 4 },{e 2,e 2,e 4 }, {e 3,e 3,e 4 },{e 3,e 2,e 4 },{e 2,e 3,e 42 },{e,e 3,e 42 },{e,e 2,e 42 },{e 2,e 3,e 42 }, {e 2,e 2,e 42 },{e 3,e 3,e 42 },{e 3,e 2,e 42 }}. By definition, f i is the number of subsets of E with i + elements not containing cycle and multiple edges. Since, {e },{e 2 },{e 3 },{e 2 },{e 3 },{e 4 } and {e 42 } are subsets of E containing one element. It implies that f 0 = 7. Thereare{e,e 2 },{e,e 3 },{e,e 4 },{e,e 42 },{e 2,e 2 },{e 2,e 3 },{e 2,e 4 }, {e 2,e 42 },{e 3,e 2 },{e 3,e 3 },{e 3,e 4 },{e 3,e 42 },{e 2,e 3 },{e 2,e 4 },{e 2,e 42 }, {e 3,e 4 },{e 3,e 42 } subsets of E containing two elements but not containing cycle and multiple edges. So, f = 7. We know that the spanning trees of U 2 7,3 are 2-dimensional facets of the spanning simplicial complex s U 2 7,3. Therefore, f 2 = 4. Thus, χ s U 2 7,3 = f 0 f +f 2 = 77+4 = 4. Now, we compute the Euler characteristic of s U7,3 2 by using Theorem 3.3. We observe that, n = 7, r =, r =, r = 2, m = 3, α = 3, β = 2 and 0 i d, where d = nαβ +r 2 = 2 is the dimension of s U7,3 2. By substituting these values in Theorem 3.3, we get 3 [ 2 0 ] [ f i = 7 i+ i i ] 0 i i i i i i i i+5 5 i+5. i+3 + Alternatively, we compute f 0,f,f 2 = 7,7,4 and χ s U 2 7,3 = 4. We compute now the Betti numbers of s U 2 7,3. The facet ideal of su 2 7,3 is given by

9 Spanning Simplicial Complexes of Uni-Cyclic Multigraphs 9 I F s U 2 7,3 = x F2,3,4,x F,3,4,x F,2,4,x F2,3,4,x F2,2,4,x F3,3,4,x F3,2,4, x F2,3,42,x F,3,42,x F,2,42,x F2,3,42,x F2,2,42,x F3,3,42,x F3,2,42. We consider the chain complex of s U 2 7,3 0 3 C 2 2 C C The homology groups are given by H i = Ker i Im i+ with i = 0,,2. Therefore, the i-th Betti number of s U7,3 2 is given by β i = rankh i = rankker i rankim i+ with i = 0,,2. Now, we compute rank and nullity of the matrix i of order f i f i+ with i = 0,,2. The boundary homomorphism 2 : C 2 s U7,3 2 C s U7,3 2 can be expressed as 2 F 2,3,4 = F 3,4 F 2,4 + F 2,3 ; 2 F,3,4 = F 3,4 F,4 + F,3 ; 2 F,2,4 = F 2,4 F,4 + F,2 ; 2 F 2,3,4 = F 3,4 F 2,4 + F 2,3 ; 2 F 2,2,4 = F 2,4 F 2,4 + F 2,2 ; 2 F 3,3,4 = F 3,4 F 3,4 + F 3,3 ; 2 F 3,2,4 = F 2,4 F 3,4 + F 3,2 ; 2 F 2,3,42 = F 3,42 F 2,42 + F 2,3 ; 2 F,3,42 = F 3,42 F,42 + F,3 ; 2 F,2,42 = F 2,42 F,42 + F,2 ; 2 F 2,3,42 = F 3,42 F 2,42 + F 2,3 ; 2 F 2,2,42 = F 2,42 F 2,42 + F 2,2 ; 2 F 3,3,42 = F 3,42 F 3,42 +F 3,3 ; 2 F 3,2,42 = F 2,42 F 3,42 +F 3,2. The boundary homomorphism : C s U7,3 2 C 0 s UM 2 7,3 can be written as F,2 = e 2 e ; F,3 = e 3 e ; F,4 = e 4 e ; F,42 = e 42 e ; F 2,2 = e 2 e 2 ; F 2,3 = e 3 e 2 ; F 2,4 = e 4 e 2 ; F 2,42 = e 42 e 2 ; F 3,2 = e 2 e 3 ; F 3,3 = e 3 e 3 ; F 3,4 = e 4 e 3 ; F 3,42 = e 42 e 3 ; F 2,3 = e 3 e 2 ; F 2,4 = e 4 e 2 ; F 2,42 = e 42 e 2 ; F 3,4 = e 4 e 3 ; F 3,42 = e 42 e 3. Then, by using MATLAB, we compute rank of 2 = ; nullity of 2 = 3; rank of = 6; nullity of =. Therefore, thebettinumbersaregivenbyβ 0 = rankker 0 rankim = 7 6 = ; β = rankker rankim 2 = = 0; β 2 = rankker 2 rankim 3 = 30 = 3. Alternatively, the Euler characteristic of s U7,3 2 is given by χ s U 2 7,3 = β 0 β +β 2 = 0+3 = 4. References [] I. Anwar, Z. Raza and A. Kashif, Spanning Simplicial Complexes of Uni-Cyclic Graphs, Algebra Colloquium, , no.4, [2] S. Faridi, The Facet Ideal of a Simplicial Complex, Manuscripta, , [3] F. Harary, Graph Theory, Reading, MA: Addison-Wesley, 994. [4] A. Hatcher, Algebraic Topology, Cambridge University Press, [5] A. Kashif, I. Anwar and Z. Raza, On the Algebraic Study of Spanning Simplicial Complex of r-cycles Graphs G n,r, ARS Combinatoria, 5 204, [6] Y. Pan, R. Li and G.Zhu, Spanning Simplicial Complexes of n-cyclic Graphs with a Common Vertex, International Electronic Journal of Algebra, 7 205,

10 0 Ahmed and Muhmood [7] J. J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, New York, 988. [8] R. H. Villarreal, Monomial Algebras. Dekker, New York, 200. [9] G. Zhu, F. Shi and Y.Geng, Spanning Simplicial Complexes of n-cyclic Graphs with a Common Edge, International Electronic Journal of Algebra, 5 204, COMSATS Institute of Information Technology, Lahore, Pakistan address: drimranahmed@ciitlahore.edu.pk COMSATS Institute of Information Technology, Lahore, Pakistan address: shahid nankana@yahoo.com