arxiv: v1 [math.co] 26 Jan 2018

Transcription

1 arxv: v1 [math.co] 26 Jan 2018 The zero forcng polynomal of a graph Krk Boyer Bors Brmkov Sean Englsh Danela Ferrero Arel Keller Rachel Krsch Mchael Phllps Carolyn Renhart Abstract Zero forcng s an teratve graph colorng process, where gven a set of ntally colored vertces, a colored vertex wth a sngle uncolored neghbor causes that neghbor to become colored. A zero forcng set s a set of ntally colored vertces whch causes the entre graph to eventually become colored. In ths paper, we study the countng problem assocated wth zero forcng. We ntroduce the zero forcng polynomal of a graph G of order n as the polynomal Z(G;x = n =1 z(g;x, where z(g; s the number of zero forcng sets of G of sze. We characterze the extremal coeffcents of Z(G; x, derve closed form expressons for the zero forcng polynomals of several famles of graphs, and explore varous structural propertes of Z(G; x, ncludng multplcatvty, unmodalty, and unqueness. Keywords: Zero forcng polynomal, zero forcng set, recognzablty, threshold graph, unmodalty 1 Introducton Gven a graph G = (V,E and a set S V of ntally colored vertces, the zero forcng color change rule dctates that at each tmestep, a colored vertex u wth a sngle uncolored neghbor v forces that neghbor to become colored. The closure of S s the set of colored vertces obtaned after the color change rule s appled untl no new vertex can be forced. A zero forcng set s a set whose closure s all of V; the zero forcng number of G, denoted Z(G, s the mnmum cardnalty of a zero forcng set. Zero forcng and smlar processes have been ndependently studed n the contexts of lnear algebra [1], quantum physcs [16], theoretcal computer scence [47], and power network montorng[34, 48]. Zero forcng has applcatons n modelng varous physcal phenomena [15, 17, 21, 26] and n boundng or approxmatng other graph parameters [1, 6, 15, 18]. See also Department of Mathematcs, Unversty of Denver, Denver, CO, 80208, USA (krk.boyer@du.edu Department of Computatonal and Appled Mathematcs, Rce Unversty, Houston, TX, 77005, USA (bors.brmkov@rce.edu Department of Mathematcs, Western Mchgan Unversty, Kalamazoo, MI, 49008, USA (sean.j.englsh@wmch.edu Department of Mathematcs, Texas State Unversty, San Marcos, TX, 78666, USA (df20@txstate.edu Department of Mathematcs and Computer Scence, Emory Unversty, Atlanta, GA, 30322, USA (arel.keller@emory.edu Department of Mathematcs, Unversty of Nebraska, Lncoln, NE, 68588, USA (rkrsch@huskers.unl.edu Department of Mathematcal and Statstcal Scence, Unversty of Colorado Denver, Denver, CO, 80204, USA (mchael.2.phllps@ucdenver.edu Department Mathematcs, Iowa State Unversty, Ames, IA, 50011, USA (renh196@astate.edu 1

2 [5, 12, 27, 31, 37] for varants of zero forcng, whch are typcally obtaned by modfyng the zero forcng color change rule or addng certan restrctons to the structure of a forcng set. In ths paper, we study the countng problem assocated wth zero forcng,.e., characterzng and countng the dstnct zero forcng sets of a graph. The set of mnmum zero forcng sets of a graph has been alluded to prevously n the context of propagaton tme [7, 36, 45], where the objectve s to fnd the largest or smallest number of tmesteps t takes for the graph to be colored by a mnmum zero forcng set. Smlarly, the set of all zero forcng sets of a graph has been used n the context of throttlng [19, 20], where the objectve s to mnmze the sum of the sze of a zero forcng set and the number of tmesteps t takes for that zero forcng set to color the graph. In order to study the collecton of zero forcng sets of a graph n a more general framework, we ntroduce the zero forcng polynomal of a graph, whch counts the number of dstnct zero forcng sets of a gven sze. Defnton 1. Let G be a graph on n vertces and z(g; be the number of zero forcng sets of G wth cardnalty. The zero forcng polynomal of G s defned as Z(G;x = n z(g;x. =1 In ths paper, we study the basc algebrac and graph theoretc propertes of the zero forcng polynomal, present structural and extremal results about ts coeffcents, and gve closed form expressons for the zero forcng polynomals of several famles of graphs 1. As an applcaton, we relate the zero forcng polynomal to specal sets of vertces used n nteger programmng approaches for computng the zero forcng number. In general, graph polynomals contan mportant nformaton about the structure and propertes of graphs that can be extracted by algebrac methods. In partcular, the values of graph polynomals at specfc ponts, as well as ther coeffcents, roots, and dervatves, often have meanngful nterpretatons. Such nformaton and other unexpected connectons between graph theory and algebra are sometmes dscovered long after a graph polynomal s orgnally ntroduced (see, e.g., [14, 43]. The study of graph polynomals was motvated by the Four Color Conjecture, when Brkhoff and Whtney [8, 46] ntroduced the chromatc polynomal whch counts the number of proper colorngs of a graph G. Tutte generalzed the chromatc polynomal nto the two-varable Tutte polynomal [44], whch also contans as specal cases the flow polynomal, relablty polynomal, shellng polynomal, and Jones polynomal; see [22, 28, 40] for more detals. Graph polynomals whch are not drect specalzatons of the Tutte polynomal have also been studed. For example, the domnaton polynomal [4] of a graph G counts the number of domnatng sets of G. Work n ths drecton ncludes dervatons of recurrence relatons [41], analyss of the roots [13], and characterzatons for specfc graphs [2, 38]. Smlar results have been obtaned for the connected domnaton polynomal [24], ndependence polynomal [35], clque polynomal [32], vertex cover polynomal [25], and edge cover polynomal [3], whch are defned as the generatng functons of ther eponymous sets. For more defntons, results, and applcatons of graph polynomals, see the survey of Ells-Monaghan and Merno [29] and the bblography theren. Ths paper s organzed as follows. In the next secton, we recall some graph theoretc notons and notaton. In Secton 3, we characterze the extremal coeffcents of the zero forcng polynomal. 1 Some of these results, as well as analogous results about a connected varant of zero forcng, have been reported n [10]. 2

3 In Secton 4, we gve closed form expressons for the zero forcng polynomals of several famles of graphs. In Secton 5, we explore varous structural propertes of the zero forcng polynomals of general graphs. We conclude wth some fnal remarks and open questons n Secton 6. 2 Prelmnares A graph G = (V,E conssts of a vertex set V and an edge set E of two-element subsets of V. The order of G s denoted by n = V. Two vertces v,w V are adjacent, or neghbors, f {v,w} E; we wll wrte v w f v and w are adjacent. The neghborhood of v V s the set of all vertces whch are adjacent to v, denoted N(v;G; the degree of v V s defned as d(v;g = N(v;G. The closed neghborhood of v s the set N[v;G] = N(v;G {v}. The mnmum degree and maxmum degree of G are denoted by δ(g and (G, respectvely. The dependence of these parameters on G can be omtted when t s clear from the context. Gven S V, the nduced subgraph G[S] s the subgraph of G whose vertex set s S and whose edge set conssts of all edges of G whch have both endponts n S. An somorphsm between graphs G 1 and G 2 wll be denoted by G 1 G 2. A leaf, or pendent, s a vertex wth degree 1; an solated vertex s a vertex of degree 0. A domnatng vertex s a vertex whch s adjacent to all other vertces. A cut vertex s a vertex whch, when removed, ncreases the number of connected components n G. A bconnected component of G s a maxmal subgraph of G whch has no cut vertces. The path, cycle, complete graph, and empty graph on n vertces wll respectvely be denoted P n, C n, K n, K n. The complete multpartte graph whose parts have szes a 1,...,a k wll be denoted K a1,...,a k. Gven two graphs G 1 and G 2, the dsjont unon G 1 G 2 s the graph wth vertex set V(G 1 V(G 2 and edge set E(G 1 E(G 2. The jon of G 1 and G 2, denoted G 1 G 2, s the graph obtaned from G 1 G 2 by addng an edge between each vertex of G 1 and each vertex of G 2. The Cartesan product ofg 1 and G 2, denoted G 1 G 2, s the graphwth vertexset V(G 1 V(G 2, where vertces (u,u and (v,v are adjacent n G 1 G 2 f and only f ether u = v and u s adjacent to v n G 2, or u = v and u s adjacent to v n G 1. For other graph theoretc termnology and defntons, we refer the reader to [9]. A chronologcal lst of forces of a set S V(G s a sequence of forcng steps appled to obtan the closure of S n the order they are appled; note that there can be ntally colored vertces whch do not force any vertex. A forcng chan for a chronologcal lst of forces s a maxmal sequence of vertces (v 1,...,v k such that v forces v +1 for 1 k 1. Each forcng chan corresponds to a dstnct path n G, one of whose endponts s an ntally colored vertex and the rest of whch s uncolored at the ntal tmestep; we wll say the ntally colored vertex ntates the forcng chan, and we wll call the other endpont of the forcng chan a termnal vertex. Gven a set X, we denote by ( X k the set of all k-element subsets of X; we denote by 2 X the power set of X. Gven ntegers a and b wth 0 a < b, we adopt the conventon that ( a b = 0. For any postve nteger n, [n] denotes the set {1,...,n}. 3 Extremal coeffcents of Z(G; x In ths secton, we characterze some of the extremal coeffcents of Z(G; x. Theorem 1. Let G = (V,E be a graph. Then, 3

4 1. z(g;n = 1, 2. z(g;n 1 = {v V : d(v 0}, 3. z(g;n 2 = {{u,v} V : u v,d(u 0,d(v 0,N(u\{v} N(v\{u}}, 2 f G P n,n 2, 4. z(g;1 = 1 f G P 1, 0 otherwse. Proof. The numbers of the proofs below correspond to the numbers n the statement of the theorem. 1. V s the only zero forcng set of sze n. 2. Any non-solated vertex v has a neghbor whch can force v. Thus, each set whch excludes one non-solated vertex of G s a zero forcng set of sze n 1; conversely, no set whch excludes an solated vertex s a zero forcng set. 3. Let u,v be two non-solated vertces of G. If N(u\{v} N(v\{u}, then there s a vertex w adjacent to one of u and v, but not the other. Suppose u w; then, V\{u,v} s a zero forcng set snce w can force u and any neghbor of v can force v. On the other hand, a par of vertces u,v whch does not satsfy these condtons cannot be excluded from a zero forcng set, snce every vertex whch s adjacent to one wll be adjacent to the other, and hence no vertex wll be able to force u or v. 4. The only graph wth zero forcng number 1 s P n. Thus, f G P n, z(g;1 = 0. If G P n and n 2, ether end vertex of the path s a zero forcng set. If n = 1, there s a sngle zero forcng set. We next consder the coeffcent z(g; Z(G,.e., the number of mnmum zero forcng sets of a graph G. Reversng the forcng chans assocated wth a zero forcng set produces another zero forcng set; thus, a (non-empty graph cannot have a unque mnmum zero forcng set. Moreover, a trval upper bound on the coeffcent z(g;z(g s z(g;z(g ( n Z(G. We now classfy the famles of graphs for whch ths bound holds wth equalty. Theorem 2. If G s a graph on n vertces wth z(g;z(g = ( n Z(G, then G Kn or G K n. Proof. If z(g;z(g = ( n Z(G, then every set of vertces of sze Z(G s a zero forcng set. Clearly, when G K n or G K n, ths property holds. We wll assume that G K n and show that G K n. If Z(G = 1, t s easy to see that G K 2 ; thus, assume henceforth that Z(G 2. Snce G K n, t follows that Z(G < n. Then, f G contans an solated vertex v (and G K 1, a set of sze Z(G whch omts v s not forcng, so G could not have the desred property. Thus, G does not have solated vertces. We next clam that δ(g = Z(G. Indeed, for any graph G, δ(g Z(G. Suppose there exsts a vertex v wth d(v < Z(G, and let w be a neghbor of v (whch exsts snce v s not an solated vertex. Then, let S be a set consstng of N[v]\{w} together wth Z(G d(v 1 vertces not adjacent to v. Note that ths set contans Z(G 1 elements so t s not a zero forcng set, but 4

5 ths set forces w. Once ths ntal force s performed, we have a set wth Z(G colored vertces, whch must be a forcng set by our assumptons a contradcton. Thus δ(g = Z(G. Let v be any vertex, and let S N(v be a set of Z(G vertces. Then, S s a zero forcng set. Let u S be a vertex whch can perform the frst force; then, d(u = δ(g = Z(G. Snce N(u s a set of sze Z(G, t s also a zero forcng set. Let w N(u be a vertex whch can perform the frst force; then, d(w = Z(G and N(w = N(u\{w} {u}. Note that N(u\{w} = N(w\{u}, so any set whch excludes at least one of u and w cannot be a zero forcng set. Ths mples that Z(G = n 1, snce f Z(G n 2, a set of sze Z(G whch excludes both u and w would not be zero forcng. Snce K n s the only graph wthout solates whch has zero forcng number n 1, t follows that G K n. 4 Characterzatons of Z(G; x for specfc graphs In ths secton, we gve closed form expressons for the zero forcng polynomals of certan famles of graphs. Proposton 3. For n 2, Z(K n ;x = x n +nx n 1. Proof. Z(K n = n 1, so z(k n ; = 0 for < n 1. By Theorem 1, z(k n ;n 1 = n and z(k n ;n = 1, so Z(K n ;x = x n +nx n 1. Proposton 4. If a 1,...,a k 2, Z(K a1,...,a k ;x = ( 1 <j k a a j x n 2 +nx n 1 +x n. Proof. Z(K a1,...,a k = n 2, so z(k a1,...,a k ; = 0 for < n 2. Each mnmum zero forcng set of K a1,...,a k excludes a vertex from two ofthe parts ofk a1,...,a k ; there are 1 <j k a a j waysto pck such a par of vertces, so z(k a1,...,a k ;n 2 = 1 <j k a a j. By Theorem 1, z(k a1,...,a k ;n 1 = n and z(k a1,...,a k ;n = 1, so Z(K a1,...,a k ;x = x n +nx n 1 +( 1 <j k a a j x n 2. Proposton 5. For n 1, Z(P n ;x = n =1 (( n ( n 1 x. Proof. The sets of P n of sze whch are not forcng are those whch do not contan an end-vertex of the path and do not contan adjacent vertces. To count the number of non-forcng sets of sze, we can use the followng argument: there are n ndstngushable uncolored vertces to be placed n the +1 postons around the colored vertces, where each poston must receve at least one uncolored vertex (n order for there not to be any adjacent colored vertces and for the end-vertces to be uncolored. There are ( (n 1 (+1 1 ways to choose the postons of the uncolored vertces. Thus, there are ( n n 1 <, and hence ( n 1 Proposton 6. For n 3, Z(C n ;x = n =2 (( n ( n 1 zero forcng sets of sze. Note that when n 2, then = 0. Thus, Z(Pn ;x = n ( n 1 x. n =1 (( n ( n 1 1 Proof. The sets of C n of sze whch are not forcng are those whch do not contan adjacent vertces. To count the number of non-forcng sets of sze, we can use the followng argument: frst, select a representatve vertex v of C n and color t; ths can be done n n ways. There are n ndstngushable uncolored vertces to be placed n the postons around the remanng 1 colored vertces, where each poston must receve at least one uncolored vertex (n order for there not to be any adjacent colored vertces. There are ( n 1 1 ways to choose the postons x. 5

6 of the uncolored vertces. Ths can be done for each of the n choces of a representatve vertex v; however, snce we are nterested n sets wthout a representatve vertex, and snce each set has been counted tmes ( wth a dfferent representatve vertex, we must dvde ths quantty by. Thus, there are n n 1 ways to choose vertces from Cn so that no two are adjacent. It follows that there are ( n n 1 ( n 1 1 n 1 < 1, and hence ( n 1 1 zero forcng sets of sze. Note that when n 2 +1, then = 0. Thus, Z(Cn ;x = n n x. =2 (( n ( n Wheels Let S be a set of k vertces of a cycle C n ; we wll say these k vertces are consecutve f C n [S] s a path. Lemma 7. Gven ntegers n > k m 3, the number of ways to select k labeled vertces of C n such that at least m of the selected vertces are consecutve s R m (n,k := n ( 1 t 1n ( ( n mt 1 n (m+1t. t t 1 k mt t=1 Proof. Label the vertces of C n wth [n] so that for 1 n 1, the vertces wth labels and +1 are adjacent; defne { ( } [n] A := S :,...,+m 1 S, 1 S, k where all arthmetc s mod n. Then [n] A s the set of all ways to pck k labeled vertces from C n so that at least m of them are consecutve, or the number of k-sets S V(C n so that C n [S] contans P m as a subgraph. By the prncple of ncluson-excluson, we have A = ( 1 J 1 A j. (1 [n] =J [n] We wll now gve a closed form expresson for the rght-hand sde of (1. Frst, we wll determne the number of sets J of sze t for whch j J A j s nonempty as well as the sze of the ntersecton n terms of t. To ths end, we make an observaton about the spacng around C n of the elements of J when the ntersecton s nonempty. Pck some dstnct,j J, S j J A j, and j mod n < j mod n (.e. the shorterdstance around the cycle s from to j. Then +1,...,+m 1 S and j 1 / S, so at least these m vertces le strctly between and j. Each j J determnes the ncluson n S of m+1 consecutve vertces, m of whch are n S, and for dstnct,j J, these sets of consecutve vertces are dsjont. Therefore S j J A j determnes the ncluson n S of (m + 1 J vertces, m J of whch are n S. We dstngush between the S A j by choosng whch k m J of the remanng n (m+1 J vertces are n S. Wth t = J, ( A j n (m+1t =. k mt j J j J 6

7 All that remans s to determne how many subsets J of sze t have nonempty j J A j. Frst, assume that J contans the vertex wth label 1. Note that J s non-empty f and only f there are at least m vertces between each vertex n J. Ths s equvalent to the well-known problem of placng n t ndstngushable balls nto t dstngushable boxes wth each box contanng at least m balls, whch can be done n ( n mt 1 t 1 ways. Fxng any ntal vertex of C n would result n the same number of sequences, but n ( n mt 1 t 1 overcounts each subset J by a factor of t, once for each of t dstnct choces from J for ths ntal vertex. Therefore, the number of subsets J of sze t where j J A ( j s nonempty s n n mt 1 t t 1. Hence (1 smplfes to n A = ( 1 t 1n ( ( n mt 1 n (m+1t. t t 1 k mt V (C n t=1 The wheel on n vertces, denoted W n, s the graph obtaned by addng a domnatng vertex to C n 1. Theorem 8. For n 4, Z(W n ;x = n =1 (z(c n 1; 1+R 3 (n 1,x. Proof. Let v be the domnatng vertex of W n. The zero forcng sets of W n of sze can be parttoned nto those whch contan v and those whch do not contan v. Snce v s a domnatng vertex of W n, S s a zero forcng set of W n of sze whch contans v f and only f S\{v} s a zero forcng set (of sze 1 of W n v. Snce W n v C n 1, by Proposton 6, the number of zero forcng sets of W n of sze whch contan v s z(c n 1 ; 1. Next, to count the number of zero forcng sets of W n of sze whch do not contan v, note that S V(G\{v} s a zero forcng set of W n f and only f S nduces a path on at least three vertces, snce the domnatng vertex must be forced before any other vertces can force. By Lemma 7, there are R 3 (n 1, such sets (for < 3, we can defne R 3 (n 1, = 0. By addng z(c n 1 ; 1 and R 3 (n 1,, we conclude that Z(W n ;x s as desred. 4.2 Threshold graphs A graph G = (V,E s a threshold graph f there exsts a real number T and vertex weght functon w : V R such that uv E f and only f w(u+w(v T. For a bnary strng B, the threshold graph generated by B, wrtten T(B, s the graph whose vertces are the symbols n B, and whch has an edge between a par of symbols x and y wth x to the left of y f and only f y = 1. It was shown by Chvátal and Hammer [23] that every threshold graph s generated by some bnary strng, and two dstnct bnary strngs yeld the same threshold graph f and only f they only dffer n the frst symbol of the strng. To avod ths repetton, wthout loss of generalty, we wll deal exclusvely wth bnary strngs whose frst and second symbols are the same. A block of a bnary strng B s a maxmal contguous substrng consstng ether of only 0s or only 1s. A partton of B nto ts blocks s called the block partton of B, and when the block partton of B has t blocks, we label the blocks B, 1 t, and wrte B = B 1 B 2...B t. Each B consstng of 0s s called a 0-block, and each B consstng of 1s s a 1-block. Smlarly, we wll call a vertex n a 0-block a 0-vertex, and a vertex n a 1-block a 1-vertex. Fnally, we wll assume that T(B s connected,.e. that B t s a 1-block. 7

8 Lemma 9. Let T = T(B be a threshold graph on bnary strng B. Then, 1 If any 1-vertex s uncolored, then no 1-vertex can force a 0-vertex. 2 If more than one 1-vertex s uncolored, then no 1-vertex can force any of ts neghbors. Proof. All 1-vertces are adjacent. In the frst case, any colored 1-vertex wth an uncolored 0- neghbor has the uncolored 1-neghbor as well, and thus cannot force ether neghbor. In the second case, every colored 1-vertex has at least two uncolored 1-neghbors and thus cannot force ether of them. Theorem 10. Let T = T(B be a threshold graph on bnary strng B, B 2. A set S V(T s a zero forcng set f and only f 1 S excludes at most one vertex from each block of B, and 2 In B, between any two 1-vertces not n S, there s a 0-vertex n S. Proof. ( Let S be a zero forcng set of T. We wll show condtons 1 and 2 both hold. Suppose frst that x and y are vertces n the same block. Then N(x\{y} = N(y\{x}, so f S excludes both x and y, then any vertex that could force x or y would have at least two uncolored neghbors, nether of whch can be forced. Therefore, S cannot exclude both x and y and so condton 1 holds. Now, suppose there are two 1-vertces x and y not n S and that every 0-vertex n B between x and y s also not n S. By Lemma 9, no 1-vertex can force anythng untl ether x or y s forced by some 0-vertex. Snce 0-vertces are not adjacent to other 0-vertces, they cannot force other 0-vertces; thus, only 0-vertces n S could possbly force x or y. However, 0-vertces that come before x and y n B are adjacent to both x and y (and hence cannot force, 0-vertces between x and y are not n S, and 0-vertces that come after x and y are not adjacent to ether. Therefore S must contan a 0-vertex between any two 1-vertces not n S and condton 2 holds. ( Let S be a set whch satsfes condtons 1 and 2. We wll show that S s a zero forcng set. If B has a sngle block, ths block s a 1-block and T(B s a complete graph, and both condtons clearly hold. Smlarly, f B has a sngle 1-block whch conssts of a sngle element, then T(B s a star and both condtons hold. Hence, we can assume B has at least two 1-vertces. We wll show that the forcng n T(B happens sequentally n two stages. Frst, the 1-vertces not n S areforced n orderfrom rghtto left, each byacolored0-vertexn the 0-blockmmedately to ts left. Second, the 0-vertces not n S are forced n order from left to rght, each by a colored 1-vertex n the 1-block mmedately to ts rght. These stages are descrbed n more detal below. Recall our assumptons that T(B s connected and that the frst element n B s the same as the second; hence, the rghtmost block B t s a 1-block and the leftmost block B 1 has at least two vertces. Stage 1: Let v be the rghtmost uncolored 1-vertex n B. If v s the only uncolored 1-vertex n B, then snce B 1 has at least two vertces, by condton 1, one of them must be n S and can therefore force v. If v s not the only uncolored 1-vertex n B, by condton 2, there s a colored 0-vertex w between v and the next uncolored 1-vertex. The neghborhood of w s the set of 1-vertces to the rght of w, whch s exactly v and all of the 1-vertces to the rght of v, whch are already colored. Therefore w can force v. Inductvely, all 1-vertces n B get colored. Stage 2: Let v be the leftmost uncolored 0-vertex n B. Consder a 1-vertex w n the block mmedately to the rght of v. The neghborhood of w s the set of all vertces to the left of w, and 8

9 the set of 1-vertces to the rght of w. Snce Stage 1 s complete, w and all other 1-vertces are colored. By condton 1, v s the only uncolored 0-vertex n ts block; moreover, all 0-vertces n the blocks to the left of v are already colored. Therefore w can force v. Inductvely, all 0-vertces n B get colored. Ths characterzaton of zero forcng sets can also be stated n terms of a selecton of elements wthn blocks of the bnary strng, as follows. Corollary 11. Let B 1...B t be the block partton for a bnary strng B. Then for any zero forcng set S of the threshold graph T(B, there s a set of block ndces A {1,...,t} and a correspondng set of symbol ndces J = {j {1,..., B } : A} that unquely dentfes S. In partcular, S s the set of sze n A that contans all vertces except the j th vertex from block B for each A. Corollary 11 shows that any zero forcng set n a threshold graph can be descrbed by lstng the blocks n whch a sngle vertex s not part of the set, and dentfyng whch vertex ths s wthn each block. However, n order to satsfy Condton 2 of Theorem 10, the selecton of blocks must be made carefully when a vertex n a 0-block of sze 1 s excluded from a zero forcng set; see Algorthm 1 for a formal descrpton of how to fnd all sets of block ndces correspondng to zero forcng sets. Algorthm 1: Fndng all sets of block ndces correspondng to zero forcng sets Input: Bnary strng B = B 1...B t ; Output: Set A of all sets of block ndces correspondng to zero forcng sets of T(B; f t mod 2 = 1 then A 1 {(,0,({1},1}; s 3; else A 2 {(,0,({1},0,({2},1,({1,2},1}; s 4; whle s t do A s ; for (A,k A s 2 do f k = 1 and B s 1 = 1 then A s A s {(A,0,(A {s 1},1,(A {s},1}; else A s A s {(A,0,(A {s 1},0,(A {s},1,(a {s 1,s},1}; s s+2; return A {A : (A,k A t,k {0,1}}; Theorem 12. Let B be a bnary strng wth block partton B 1...B t, and let A be the output of Algorthm 1. Then, 9

10 Z(T(B;x = A A [( ] B x n A = A n k=n t A A A =n k ( A B xk. (2 Proof. We wll frst show that A s the collecton of all sets of block ndces for whch there s at least one zero forcng set S fttng the descrpton of Corollary 11. More precsely, we wll show that A A f and only f for each set J = {j : A} wth j B for A, the set S := V(T(B\J s a zero forcng set of T(B. In Algorthm 1, for s t such that B s s a 1-block, each element of A s s an ordered par (A,k: the frst entry s a set A of block ndces such that there exsts a zero forcng set of the threshold graph generated by B 1...B s that excludes one vertex from each block whose ndex s n A; the second entry k ndcates when vertces from a 1-block cannot be excluded. In partcular, k = 0 ndcates that ether no 1-block has been excluded thus far or a 1-block has been excluded and there s a 0-vertex ncluded after the rghtmost excluded 1-block, and k = 1 ndcates that a 1-block has been excluded and there s no 0-vertex ncluded after the rghtmost excluded 1-block. Let A be an arbtrary element of A and J be an arbtrary set of ndces, one from each block B for A. We wll show that S := V(T(B\J s a zero forcng set of T(B. S satsfes Condton 1 of Theorem 10 snce S excludes only one vertex from each block B, A. To see that S satsfes Condton 2, frst note that n order for a 1-block to be excluded at any stage of Algorthm 1, (A {s},1 or (A {s 1,s},1 s added to A s. In both cases, the ndcator entry of the correspondng set s k = 1. Now, let a,b A be the ndces of two 1-blocks selected, and assume wthout loss of generalty that there are no other 1-block ndces n A between a and b. If any 0-block between B a and B b has length greater than 1, then there must be a 0-block n A between B a and B b. Thus suppose all 0-blocks between B a and B b are of length 1, and that the ndex of each one appears n A. In Algorthm 1, when the ndcator entry s k = 1, the 0-block s of length 1 and the ndex of the 0-block s added to A, the ndcator coordnate stays 1 and an ndex correspondng to a 1-block s not added. Ths s a contradcton snce then b could not be added to A. Now, let S = V(T(B\J be a zero forcng set of T(B for some J whch ncludes a vertex of B for each A; we wll show that A A. The only case n whch Algorthm 1 does not add every possble contnuaton of (A,k to A s s when k = 1 and B s 1 = 1. The ndcator k = 1 mples that the after the most recently excluded 1-vertex, every 0-vertex has been excluded. Thus, n ths case any vertex set excludng one vertex from each block wth ndex n A {s 1,s} would exclude two 1-vertces n a row wthout a 0-vertex n between, contradctng Condton 2 of Theorem 10. Thus no set of block ndces wth a correspondng zero forcng set contans A {s 1,s}, so only the sets not n A do not have a correspondng zero forcng set. The vertces n a block of B are ndstngushable, so once we choose whch blocks wll be mssng one vertex by choosng A, we only need to count how many ways there are to exclude one vertex from each chosen block, whch can be done n exactly A B ways. Ths gves the frst equalty of (2. The second equalty follows mmedately from combnng terms wth the same power of x. One result that follows from Theorem 12 s that there are arbtrarly large sets of nonsomorphc graphs that share a zero forcng polynomal; see Theorem 14 for detals. Note also that the ntermedate sets A s produced by Algorthm 1 can be used together wth (2, at no addtonal 10

11 cost, to gve the zero forcng polynomals of the threshold graphs generated by B 1...B s for any s t such that B s s a 1-block. 5 Structural propertes In ths secton, we wll show several structural results about the zero forcng polynomal of a graph. We wll frst show that the zero forcng polynomal of a dsconnected graph s multplcatve over ts connected components. Proposton 13. If G s a graph such that G G 1 G 2, then Z(G;x = Z(G 1 ;xz(g 2 ;x. Proof. A zero forcng set of sze n G conssts of a zero forcng set of sze 1 n G 1 and a zero forcng set of sze 2 = 1 n G 2. Snce zero forcng sets of sze 1 and 2 can be chosen ndependently n G 1 and G 2 for each 1 Z(G 1, 2 Z(G 2, and snce z(g 1 ; 1 z(g 2 ; 2 = 0 for each 1 < Z(G 1 or 2 < Z(G 2, t follows that z(g; = z(g 1+ 2= 1; 1 z(g 2 ; 2. The lefthand-sdeofthsequatonsthecoeffcentofx nz(g, andsncez(g 1 ;x = V (G 1 =Z(G z(g 1 1;x and Z(G 2 ;x = V(G 2 =Z(G z(g 2 2;x, the rght-hand-sde of the equaton s the coeffcent of x n Z(G 1 ;xz(g 2 ;x. Thus, Z(G 1 ;xz(g 2 ;x and Z(G;x have the same coeffcents and the same degree, so they are dentcal. The next result lsts some other basc facts about the zero forcng polynomal. Theorem 14. Let G = (V,E be a graph. Then, 1. z(g; = 0 f and only f < Z(G, 2. Zero s a root of Z(G;x of multplcty Z(G, 3. Z(G; x s strctly ncreasng n [0,. 4. There exst arbtrarly large sets of graphs whch all have the same zero forcng polynomals. 5. A connected graph and a dsconnected graph can have the same zero forcng polynomal. 6. The zero forcng polynomal of a graph can have complex roots. Proof. The numbers of the proofs below correspond to the numbers n the statement of the theorem. 1. Follows from the defnton of z(g;. 2. Follows from the fact that the frst nonzero coeffcent of Z(G;x corresponds to x Z(G. 3. Follows from the fact that all coeffcents of Z(G; x are nonnegatve, and hence the dervatve of Z(G; x s a polynomal wth nonnegatve coeffcents. 11

12 4. Fx k > 2 and consder the class of threshold graphs whose bnary strng B has (k 1 1-blocks of szes 2 through k (n any order and between each two consecutve 1-blocks, a 0-block of sze 2. These graphs are dstnct for each permutaton of the lengths of the 1-blocks, so ths class of graphs has (k 1! members for any k > 2. Each such bnary strng B has exactly 2k 3 blocks and all blocks n B have sze at least 2. Thus, any choce of block ndces A 2 [2k 3] corresponds to some zero forcng set of T(B, snce condton 2 of Theorem 10 s satsfed for such a bnary strng B as long as condton 1 s satsfed. Theorem 12 shows that the zero forcng polynomal of a threshold graph only depends on whch choces of block ndces correspond to zero forcng sets, and on the szes of the blocks, whch are the same for all the graphs n ths class. Thus, all graphs n ths class have the same zero forcng polynomal. 5. We clam that for any a,b 2, K a K b and K a,b have the same zero forcng polynomal. Indeed, Z(K a K b ;x = Z(K a ;xz(k b ;x = (x a +ax a 1 (x b +bx b 1 = abx a+b 2 +(a+ bx a+b 1 + x a+b = Z(K a,b ;x, where the frst equalty follows from Proposton 13, the second equalty follows from Proposton 3, and the last equalty follows from Proposton By Proposton 5, Z(P 4 ;x = 2x+6x 2 +4x 3 +x 4. Ths polynomal has two real roots x = 0 and x 0.46, and two complex roots x 1.77±1.11. The next result of ths secton concerns the unmodalty of the zero forcng polynomal. We frst recall a well-known theorem due to Hall [33]. A matchng of G = (V,E s a set M E such that no two edges n M have a common endpont. A matchng M saturates a vertex v, f v s an endpont of some edge n M. Theorem 15 (Hall s Theorem [33]. Let G be a bpartte graph wth parts X and Y. G has a matchng that saturates every vertex n X f and only f for all S X, S N(S. Theorem 16. Let G = (V,E be a graph on n vertces. Then, z(g; z(g;+1 for 1 < n 2. Proof. For every zero forcng set R of sze and every v V\R, R {v} s a zero forcng set of cardnalty + 1. We wll now show that to each zero forcng set of sze, 1 < n 2, we can assocate a dstnct zero forcng set of sze +1. Let H be a bpartte graph wth parts X and Y, where the vertces of X are zero forcng sets of G of sze, and the vertces of Y are all subsets of V of sze +1; a vertex x X s adjacent to a vertex y Y n H whenever x y. For each x X, there are n vertces not n x; thus, d(x;h = n. Snce a set of sze +1 has +1 subsets of sze, t follows that for each y Y, d(y;h +1. Suppose for contradcton that there exsts a set S X such that S > N(S. Snce each vertex n S has n neghbors and snce S > N(S, by the Pgeonhole Prncple, some vertex v N(S must have more than n neghbors. Thus, +1 d(v;h > n, whence t follows that n 2 ; ths contradcts the assumpton that < n 2. Thus, for every S X, S N(S. By Theorem 16, H has a matchng that saturates all vertces of X. Thus, there are at least as many zero forcng sets of sze +1 as there are of sze, for 1 < n 2. A fort of a graph G, as defned n [30], s a non-empty set F V such that no vertex outsde F s adjacent to exactly one vertex n F. Let F(G be the set of all forts of G. In [11], t was shown that Z(G s equal to the optmum of the followng nteger program: 12

13 mn s.t.: v V s v s v 1 v F s v {0,1} F F(G v V We now gve a way to bound the number of constrants n ths model usng the zero forcng polynomal. Proposton 17. Let G be a graph of order n. Then, F(G 2 n Z(G;1. Proof. Z(G;1 = n =1z(G; equals the number of zero forcng sets of G, and hence also the number of complements of zero forcng sets of G. By [30, Theorem 5.2], a zero forcng set must ntersect every fort. Thus, the complement of a zero forcng set cannot be a fort, and so the number of complements of zero forcng sets of G s at most the number of sets of G whch are not forts,.e., 2 n F(G. Thus, Z(G;1 2 n F(G, and the result follows. Next, we agan use forts to bound the coeffcents of the zero forcng polynomals of certan graphs. Proposton 18. Let G be a graph of order n whch has a fort F wth F Z(G + 1. Then, z(g; ( ( n n 1 for 1 n. Proof. For > n/2, clearly z(g; ( ( n n 1 ( = n ; thus, we wll assume henceforth that {Z(G,...,n/2}. Let f = F and let z (G; denote the number of non-forcng sets of G of sze. There are ( n f subsets of V(G\F of sze, each of whch s a non-forcng set of G. Thus, z (G; ( n f. Snce f Z(G +1 and Z(G, t follows that +1 f and hence n f n (+1. Thus, z (G; ( n f z(g; ( n (+1, and so ( n z (G; ( n ( n 1. We conclude ths secton by showng that the bound from Proposton 18 also holds for Hamltonan graphs. A Hamltonan path s a path whch vsts every vertex of a graph exactly once. ( Proposton 19. Let G be a graph of order n whch has a Hamltonan path. Then, z(g; n ( n 1 for 1 n, and ths bound s sharp. Proof. Label the vertces of G n ncreasng order along a Hamltonan path as v 1,...,v n. Label the vertces of a path P n n order from one end-vertex to the other as v 1,...,v n. Let S be a non-forcng set of P n. We clam that S = {v : v S } s a non-forcng set of G. It was shown n Proposton5 that the non-forcng sets of P n are precsely those whch do not contan two adjacent vertces, nor an end-vertex of P n. Thus, every vertex v S has two uncolored neghbors, v 1 and v +1. Then, by constructon, every vertex n S has at least two uncolored neghbors, namely v 1 and v +1. Thus, no vertex n S wll be able to perform a force, so S s not a zero forcng set of G. If z (H; denotes the number of non-forcng sets of sze of a graph H, t follows that 13

14 z (G; z (P n ;. Thus, z(g; = ( n z (G; ( n z (P n ; = z(p n ; = ( ( n n 1. By Proposton 5, the bound holds wth equalty for the path P n. 5.1 Recognzng graphs by ther zero forcng polynomals In ths secton, we dentfy several famles of graphs whch can be recognzed by ther zero forcng polynomals. As shown n Theorem 14, t does not hold n general that f Z(G;x = Z(H;x, then G H. For example, complete multpartte graphs are generally not recognzable by ther zero forcng polynomals. Wheels are also not recognzable by ther zero forcng polynomals: for example, let G be the graph obtaned by subdvdng an edge of K 4 ; then, Z(G;x = 8x 3 +5x 4 + x 5 = Z(W 5 ;x. On the other hand, t s easy to see from Theorem 1 that paths and complete graphs are recognzable by ther zero forcng polynomals; we state ths formally below. Proposton 20. Let G be a graph on n 1 vertces. 1. Z(G;x = Z(P n ;x f and only f G P n. 2. Z(G;x = Z(K n ;x f and only f G K n. We wll now dentfy another nontrval famly of graphs whch can be recognzed by ts zero forcng polynomals. Let G = (V,E P n be a graph and v be a vertex of degree at least 3. A pendent path attached to v s a maxmal set P V such that G[P] s a connected component of G v whch s a path, one of whose ends s adjacent to v n G. The vertex v wll be called the base of the path. A chord s an edge jonng two nonadjacent vertces n a cycle. A chorded cycle s a cycle wth added chords. Any cycle on n vertces wth a sngle chord wll be denoted C n +e. We wll say two vertces n a chorded cycle are consecutve f they are adjacent n the graph nduced by the cycle mnus the chords. Two pendent paths attached to a cycle are consecutve f ther bases n the cycle are consecutve. A graph G = (V,E s a graph of two parallel paths specfed by V 1 and V 2 f G P n, and f V can be parttoned nto nonempty sets V 1 and V 2 such that P := G[V 1 ] and Q := G[V 2 ] are paths, and such that G can be drawn n the plane n such a way that P and Q are parallel lne segments, and the edges between P and Q (drawn as straght lne segments do not cross. Note that f G s a graph of two parallel paths, there may be several dfferent parttons of V nto V 1 and V 2 whch satsfy the condtons above. For example, let G = ({1,2,3,4,5}, {{1,2}, {2,3}, {3,4},{4,5},{5,1}}be a cycle on 5 vertces. Then G s a graph of two parallel paths that can be specfed by V 1 = {1} and V 2 = {2,3,4,5}, as well as by V 1 = {1,2,3} and V 2 = {4,5}. Graphs of two parallel paths were ntroduced by Johnson et al. [39] n relaton to graphs wth maxmum nullty 2. They were also used by Row [42] n the followng characterzaton. Theorem 21 ([42]. Z(G = 2 f and only f G s a graph of two parallel paths. Theorem 22. Let G be a graph on n 3 vertces and let φ(n,x = n =2 (( ( n n n 1 1 x. Z(G;x = φ(n,x f and only f G s one of the followng graphs: C n, C n +e, P 2 P 2, (P 4 K 1 K 1. Proof. By Proposton 6, Z(C n ;x = φ(n,x. It suffces to show that C n, C n + e, P 2 P 2 (for n = 4, and G := (P 4 K 1 K 1 (for n = 6 have the same zero forcng polynomal, and that ths polynomal s dstnct from the zero forcng polynomals of all other graphs G wth Z(G = 2. It can readly be verfed that Z(P 2 P 2 ;x = Z(C 4 ;x and Z(G;x = Z(C 6 ;x. Now we wll show that Z(C n ;x = Z(C n +e;x. 14

15 Clam 1. For n 4, Z(C n ;x = Z(C n +e;x. Proof. Suppose S s a zero forcng set of C n or C n + e whch does not contan two consecutve vertces. Then, every vertex n S has at least two uncolored neghbors(ts two consecutve vertces, so no vertex n S can force a contradcton. Thus, any zero forcng set of C n or C n +e contans two consecutve vertces. Let S be any zero forcng set of C n. In C n +e, each of the two consecutve vertces n S can ntate a forcng chan (possbly of length zero that termnates at an endpont of the chord e. Then, when both endponts of the chord have been colored, forcng can contnue and color the rest of C n +e. Thus, S s also a zero forcng set of C n +e. Smlarly, f S s a zero forcng set of C n +e, S contans two consecutve vertces, and thus S s also a zero forcng set of C n. Snce the zero forcng sets of C n and C n +e are dentcal, t follows that Z(C n ;x = Z(C n +e;x. It remans to show that Z(C n ;x s dstnct from the zero forcng polynomals of all other graphs wth zero forcng number 2. By Theorem 21, graphs wth zero forcng number 2 are graphs oftwo parallelpaths. Let Gbe a graphoftwo parallelpaths wth n 3 vertces, dfferent from C n, C n +e, P 2 P 2, and G. We wll show that Z(G;x and Z(C n ;x dffer n at least one coeffcent. Frst we make a clam whch follows from Proposton 6. Clam 2. For any n, z(c n ;2 = n. If > n 2, every subset of vertces of C n s a zero forcng set. If n s even, C n has exactly two non-forcng sets of sze n 2. Clam 3. If there are no edges between the two parallel paths of G, then Z(G;x Z(C n ;x. Proof. G conssts of two dsjont paths, and there are at most four zero forcng sets of sze 2 n G, snce any zero forcng set of sze two must contan a vertex of degree at most 1 from each path. By Clam 2, f n > 4, Z(C n ;x Z(G;x. If 3 n 4, G s ether P 2 P 2, P 1 P 3, or P 1 P 2. We have already noted that Z(C 4 ;x = Z(P 2 P 2 ;x, and t can be readly verfed that Z(C 4 ;x Z(P 1 P 3 ;x and Z(C 3 ;x Z(P 1 P 2 ;x. Clam 4. If there s a sngle edge between the two parallel paths of G, then Z(G;x Z(C n ;x. Proof. LetP andqbethetwoparallelpathsande = uv betheedgebetweenthem, wth u V(P and v V(Q. If d(u = d(v = 3, then V(P {v} and V(Q {u} are non-forcng sets, and one of them must contan more than n 2 vertces; by Clam 2, t follows that Z(G;x Z(C n;x. If one of u and v, say v, does not have degree 3, then snce G s not a sngle path, t must be that d(u = 3 and all other vertces have degree 1 or 2. Every zero forcng set of G of sze 2 conssts of ether two degree 1 vertces, or a degree 1 vertex y and a degree 2 vertex adjacent to u that s not between u and y. Ths mples that there are 9 2l zero forcng sets of sze 2, where l {1,2,3} s the number of neghbors of u of degree 1. By Clam 2, we can assume n = 9 2l, snce otherwse z(c n ;2 z(g;2. Then l 3, snce a graph on 3 vertces cannot have a vertex of degree 3. Fgure 1 shows all possble graphs wth the desred propertes. For each of these graphs, the flled-n vertces form a non-forcng set of sze greater than n 2. Thus, by Clam 2, none of these graphs have the same zero forcng polynomal as C n. Clam 5. If G has two pendent paths attached to the same vertex, then Z(G;x Z(C n ;x. 15

16 Fgure 1: All connected graphs wth a sngle vertex u of maxmum degree 3, and n = 9 2l total vertces, where l s the number of leaves adjacent to u. For each graph, non-forcng sets of sze greater than n 2 are ndcated by flled-n vertces. Proof. By Clam 4, we can assume there are at least two edges between the parallel paths of G. Let P and Q be the two pendent paths whch are attached to the same vertex v; then, P {v} Q s one of the parallel paths of G, so v s adjacent to at least two vertces of the other parallel path G (P {v} Q. Then, the sets V(P V(Q {v} and V(G\(V(P V(Q are both non-forcng sets whose unon s V(G and whose ntersecton s {v}. Thus, one of these sets must be of sze greater than n 2 ; by Clam 2, Z(G;x Z(C n;x. We wll assume henceforth that G has at least two edges between the two parallel paths, and that any two pendent paths have dstnct bases. Thus, G conssts of a (possbly chorded cycle C m wth up to four pendent paths; the vertces of C m wll be denoted v 1,...,v m, where n G[V( C m ], v v +1 for 1 m 1 and v 1 v m. We wll refer to a pendent path wth base vertex v j V( C m as P vj. We wll denote by C m (v,v j the secton around the cycle C m n clockwse orentaton from v to v j, but not ncludng v and v j, and C m [v,v j ] = C m (v,v j {v 1,v j }. Gven two chords e 1 and e 2, we wll say v and v j are dstnct endponts of these chords f v v j and v,v j e 1 e 2. We now make two clams whch follow easly from the defnton of a zero forcng set. Clam 6. A zero forcng set of sze 2 of a (possbly chorded cycle wth pendent paths conssts ether of two consecutve vertces, or of the degree 1 endponts of consecutve pendent paths, or of the degree 1 endpont of a pendent path and a vertex whch s consecutve to the base of that pendent path. Clam 7. If a (possbly chorded cycle has two non-consecutve pendent paths, then no par of consecutve vertces forms a zero forcng set. Next we consder several cases based on the number of pendent paths n G. Case 1. G has no pendent paths. If G has no pendent paths then G s a chorded cycle, so by Clam 6, there are at most n zero forcng sets of sze 2, namely the pars of consecutve vertces along the cycle. Snce G s dfferent from C n and C n +e and has a Hamlton cycle, we can assume G s a graph of two parallel paths P and Q wth at least four edges between the paths. Ths mples that one of the parallel paths, say P, contans at least two vertces of degree at least 3. Let u and v be two vertces of degree at least 3 n P such that all vertces between u and v n P have degree 2. If u v, then {u,v} s not a zero forcng set snce both u and v have two uncolored neghbors. Now suppose there s at 16

17 least one vertex x of degree 2 wth x u between u and v n P; see Fgure 2. Then {x,u} s not a zero forcng set snce once u forces along P to v, no further forces can happen snce both u and v wll have at least two uncolored neghbors. In ether case, G has less than n zero forcng sets of sze 2, so z(g;2 < z(c n ;2. u v Fgure 2: Consecutve vertces between two chords. Case 2. G has one pendent path. Let P v1 = u 1,u 2,...,u l be the pendent path. Then, G = C m + P v1 together wth the edge v 1 u l, and V(G = m+l = n. By Clam 2, t suffces to show that G contans a set of vertces of sze > n 2 that s not a zero forcng set or at least three sets of sze n 2 that are not forcng. Subcase 1. Suppose ether l = 1 and n s odd, or l 2. If n s even, let = n/2+1. If n s odd, let = (n + 1/2. Choose a set of colored vertces of sze as follows: color every vertex of P v1, color v 1, and then proceed around the cycle C m startng from v 1, colorng every other vertex untl vertces have been colored. Then, the colored vertces n C m are all mutually nonconsecutve, and every colored vertex n G has ether zero or at least two uncolored neghbors. Thus, we have found a non-forcng set of sze > n 2 and z(g; z(c n ;. Subcase 2. Suppose l = 1 and n s even. If n 8, t follows that m 7. Consder the sets consstng of v 1, u 1, and m 3 2 non-consecutve vertces from {v 3,...,v m 1 }; there are at least 3 ways to choose m 3 2 non-consecutve vertces for m 7, so we have found 3 non-forcng sets of sze 2+ m 3 2 = n 2, as desred. Now, assume n = 6; Fgure 3 shows all possble graphs wth the desred propertes. One of these graphs s G; we have already noted that Z(C 6 ;x = Z(G;x. If G s any of the other sx graphs n Fgure 3, t can be readly verfed Z(C 6 ;x Z(G;x. Fnally, f n = 4, then G s a trangle wth a pendent vertex, and t can be verfed that z(g;2 > z(c 4 ;2. G Fgure 3: All graphs of two parallel paths on sx vertces wth a sngle pendent path, of length 1. Case 3. G has two pendent paths. If the two pendent paths are not consecutve, by Clam 7, no par of consecutve vertces can force the graph. Then, by Clam 6, the only possble zero forcng sets of sze two contan the degree 1 endpont of a pendent path P v and a vertex whch s consecutve to ts base v, or two 17

18 degree 1 endponts of consecutve pendent paths. Snce C m 3 and G has two pendent paths, n 5. Then, because the two pendent paths are not consecutve, there are at most 2 2 = 4 < n zero forcng sets of sze 2, so z(g;2 < z(c 4 ;2. Now assume the two pendent paths of G are consecutve. let P v1 = u 1,u 2,...,u l1 and P v2 = w 1,w 2,...,w l2 be the pendent paths, wth u l1 adjacent to v 1 and w l2 adjacent to v 2 ; see Fgure 4. Wthout loss of generalty, suppose l 1 l 2. C m w 1 P v w l2 v 2 v 3.. u 1 u l1 v 1 P v1 v m Fgure 4: G has two pendent paths whch are consecutve. Subcase 1. Suppose l 1 2. If l 2 2, let S = V(P v1 {v 1,v 3,...,v p } {w 2 } where p = m 1 f m s even and p = m 2 f m s odd. It s easy to verfy that S s not a zero forcng set, and that S l 1 + m l1+l2+m = n+1 2. Snce there s a non-forcng set of sze greater than n 2, by Clam 2, Z(G;x Z(C n ;x. The case l 1 > l 2 = 1 s handled smlarly. Subcase 2. Suppose l 1 = l 2 = 1. If C m has no chords, then any par of consecutve vertces on C m, except {v 1,v 2 }, are a zero forcng set. In addton, {u 1,v m }, {w 1,v 3 }, {w 1,v 1 }, and {u 1,v 2 } are all zero forcng sets. Thus, there are at least n = n+1 zero forcng sets of sze 2, so z(g;2 > z(c n ;2. Thus, we may assume C m contans chords. Suppose there exsts a chord v v j, < j, wthout v 1 or v 2 as an endpont. By Clam 6, there are at most m+5 = n+3 zero forcng sets of G of sze 2: m pars of consecutve vertces from C m, and the sets {u 1,v m }, {w 1,v 3 }, {w 1,v 1 }, {u 1,v 2 }, and {u 1,w 1 }. However, {v 1,v 2 } s not a forcng set, no consecutve par of vertces n C m [v j,v ] s a forcng set, and because of the chord, {w 1,v 3 } and {u 1,v m } are not forcng sets. It follows that G has at most n 2 zero forcng sets of sze 2, so z(g;2 < z(c n ;2. Now suppose every chord has v 1 or v 2 as an endpont. Wthout loss of generalty, let v 1 v be a chord such that s mnmum. Clearly 3; suppose frst that = 3. If m s odd, the set {u 1,v 1 } {v 2,v 4,...,v m 1 } s a non-forcng set of sze n+1 2. If m s even, {u 1,v 1 } {v 2,v 4,...,v m 2 }, {u 1,v 1,v 3,...,v m 1 }, and {w 1,v 2,v 4,...,v m } are non-forcng sets of sze n 2. In ether case, by Clam 2, Z(G;x Z(C n ;x. Now suppose that 4. It s easy to see that no par of consecutve vertces {v k,v k+1 } n C m [v 2,v ] s a forcng set, and that {v 1,v 2 } and {v 1,w 1 } are not forcng sets. Snce 4, there are at least 2 pars of consecutve vertces n C m [v 2,v ]. Hence, together wth {v 1,v 2 }, there are at least 3 pars of consecutve vertces n C m that are not forcng sets; moreover, {v 1,w 1 } s a set consstng of a degree 1 endpont of a pendent path and a vertex whch s consecutve to the base of that pendent path. By Clam 6, G has at most m 3+( = m+1 = n 1 forcng sets of sze 2, so z(g;2 < z(c n ;2. 18