Hindawi Publishing Corporation ISRN Discrete Mathematics Volume 2013, Article ID 195818, 8 pages http://dx.doi.org/10.1155/2013/195818 Research Article Graphs Whose Certain Polynomials Have Few Distinct Roots Saeid Alikhani Department of Mathematics, Yazd University, P.O. Box 89195-741, Yazd, Iran Correspondence should be addressed to Saeid Alikhani; [email protected] Received 16 June 2013; Accepted 7 August 2013 Academic Editors: M. ChlebΔ±Μk and X. Yong Copyright © 2013 Saeid Alikhani. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Let πΊ = (π, πΈ) be a simple graph. Graph polynomials are a well-developed area useful for analyzing properties of graphs. We consider domination polynomial, matching polynomial, and edge cover polynomial of G. Graphs which their polynomials have few roots can sometimes give surprising information about the structure of the graph. This paper is primarily a survey of graphs whose domination polynomial, matching polynomial, and edge cover polynomial have few distinct roots. In addition, some new unpublished results and questions are concluded. 1. Introduction Let πΊ = (π, πΈ) be a simple graph. Graph polynomials are a well-developed area useful for analyzing properties of graphs. We consider the domination polynomial, the matching polynomial (and the independence polynomial), and the edge cover polynomial of graph πΊ. For convenience, the definition of these polynomials will be given in the following sections. The corona of two graphs πΊ1 and πΊ2 , as defined by Frucht and Harary in [1], is the graph πΊ = πΊ1 β πΊ2 formed from one copy of πΊ1 and |π(πΊ1 )| copies of πΊ2 , where the πth vertex of πΊ1 is adjacent to every vertex in the πth copy of πΊ2 . The corona πΊ β πΎ1 , in particular, is the graph constructed from a copy of πΊ, where for each vertex V β π(πΊ), a new vertex VσΈ and a pendant edge VVσΈ are added. The join of two graphs πΊ1 and πΊ2 , denoted by πΊ1 β¨ πΊ2 is a graph with vertex set π(πΊ1 ) βͺ π(πΊ2 ) and edge set πΈ(πΊ1 ) βͺ πΈ(πΊ2 ) βͺ {π’V | π’ β π(πΊ1 ) and V β π(πΊ2 )}. The decycling number (or the feedback vertex number) of a graph πΊ is the minimum number of vertices that need to be removed in order to eliminate all its cycles. The study of graphs whose polynomials have few roots can sometimes give surprising information about the structure of the graph. If π΄ is the adjacency matrix of πΊ, then the eigenvalues of π΄, π 1 β₯ π 2 β₯ β β β β₯ π π are said to be the eigenvalues of the graph πΊ. These are the roots of the characteristic polynomial π(πΊ, π) = βππ=1 (π β π π ). For more details on the characteristic polynomials, see [2]. The characterization of graphs with few distinct roots of characteristic polynomials (i.e., graphs with few distinct eigenvalues) have been the subject of many researches. Graphs with three adjacency eigenvalues have been studied by Bridges and Mena [3] and Muzychuk and Klin [4]. Also van Dam studied graphs with three and four distinct eigenvalues [5β9]. Graphs with three distinct eigenvalues and index less than 8 were studied by Chuang and Omidi in [10]. This paper is primarily a survey of graphs whose polynomial domination, matching polynomial, and edge cover polynomial have few distinct roots. In addition, some new unpublished results and questions are concluded. In Section 2, we investigate graphs with few domination roots. In Section 3, we study graphs whose matching polynomials have few roots. Using these results we characterize line graphs whose independence polynomials have few roots. In Section 4, we characterize graphs with few edge cover roots. Finally in Section 5, we state conjectures and open problems. As usual, we use βπ₯β, βπ₯β for the largest integer less than or equal to π₯, and for the smallest integer greater than or equal to π₯, respectively. 2. Graphs with Few Domination Roots Let πΊ = (π, πΈ) be a graph of order |π| = π. For any vertex V β π, the open neighborhood of V is the set π(V) = {π’ β π | π’V β πΈ}, and the closed neighborhood of V is the set π[V] = π(V) βͺ {V}. For a set π β π, the open 2 neighborhood of π is π(π) = βVβπ π(V), and the closed neighborhood of π is π[π] = π(π) βͺ π. A set π β π is a dominating set if π[π] = π, or equivalently, every vertex in π \ π is adjacent to at least one vertex in π. The domination number πΎ(πΊ) is the minimum cardinality of a dominating set in πΊ. For a detailed treatment of this parameter, the reader is referred to [11]. Let D(πΊ, π) be the family of dominating sets of a graph πΊ with cardinality π, and let π(πΊ, π) = |D(πΊ, π)|. The domination polynomial π·(πΊ, π₯) of πΊ is defined as π·(πΊ, π₯) = π(πΊ, π)π₯π [12β14]. The path π4 on 4 vertices, for examβ|π(πΊ)| π=0 ple, has one dominating set of cardinality 4, four dominating sets of cardinality 3, and four dominating sets of cardinality 2; its domination polynomial is π·(π4 , π₯) = π₯4 + 4π₯3 + 4π₯2 . A root of π·(πΊ, π₯) is called a domination root of πΊ. In this section, the set of distinct roots of π·(πΊ, π₯) is denoted by π(π·(πΊ, π₯)). A set π β π is called an independent set if no pair of vertices of π is adjacent. The independence number of graph πΊ is the size of a maximum independent set of πΊ and is denoted by πΌ(πΊ). The following theorem prove that we have real domination roots of arbitrarily large modulus. Theorem 1 (see [15]). The domination polynomial of the star graph, π·(πΎ1,π , π₯), where π β N, has a real root in the interval (β2π, β ln(π)), for π sufficiently large. The domination roots of πΎ1,π for 1 β€ π β€ 60 was shown in Figure 1. In [12, 16] we have characterized graphs with one, two and three distinct domination roots. Since 0 is a root of any domination polynomial of graph πΊ, we have the following theorem. Theorem 2 (see [17]). A graph πΊ has one domination root if and only if πΊ is a union of isolated vertices. It is interesting that all characterized graphs with two, three, and four distinct domination roots have special structures. As we will see, the structures of these graphs are the form of corona of two graphs. The following theorem characterizes graphs with two distinct domination roots. Theorem 3 (see [12]). Let πΊ be a connected graph with exactly two distinct domination roots. Then there exists natural number π such that π·(πΊ, π₯) = π₯π (π₯ + 2)π . Indeed πΊ = π» β πΎ1 for some graph π» of order π. Moreover, for every graph π» of order π, π·(π» β πΎ1 , π₯) = π₯π (π₯ + 2)π . Theorem 4 (see [12]). Let πΊ be a connected graph of order π. Then, π(π·(πΊ, π₯)) = {0, (β3± β5)/2}, if and only if πΊ = π»βπΎ2 , for some graph π». Indeed π·(πΊ, π₯) = π₯π/3 (π₯2 + 3π₯ + 1)π/3 . Theorem 4 characterizes graphs with π(π·(πΊ, π₯)) = {0, (β3 ± β5)/2}. These graphs are of the form π» β πΎ2 , for some graph π» (see Figure 2). For classifying all graphs with three distinct domination roots, we need to know that the value of the domination polynomial of every graph at β1 is nonzero (see [18] and Theorem 5). ISRN Discrete Mathematics 8 6 4 2 β20 β15 β10 β5 0 β2 β4 β6 β8 Figure 1: Domination roots of πΎ1,π for 1 β€ π β€ 60. Theorem 5 (see [19]). Let πΊ be a graph. Then π·(πΊ, π) is odd for every odd integer π. In particular, π·(πΊ, β1) is odd. The following corollary is an immediate consequence of Theorem 5. Corollary 6 (see [19]). Every integer domination root of a graph πΊ is even. The following theorem shows that roots of graphs with exactly three distinct domination roots cannot be any number. Theorem 7 (see [12]). For every graph πΊ with exactly three distinct domination roots π (π· (πΊ, π₯)) β {0, β3 ± β3π β3 ± β5 , β2 ± β2π, }. 2 2 (1) Remark 8. Since π(π·(πΎ3 , π₯)) = {0, (β3 ± β3π)/2}, π(π·(π3 , π₯)) = {0, (β3 ± β5)/2}, and π(π·(πΆ4 , π₯)) = {0, β2 ± β2π}, for every number of set {0, (β3 ± β5)/2, β2 ± β2π, (β3 ± β3π)/2}, there exist a graph whose domination polynomials have exactly three distinct roots. Since cycles are determined by their domination polynomials [20], so graphs with exactly three domination roots from {0, (β3 ± β5)/2, β2 ± β2π} are πΆ4 and are graphs of the form π» β πΎ2 , for graph π». By Theorems 2, 3 and, 7, we have the following corollary. Corollary 9 (see [16]). For every graph πΊ with at most three distinct domination roots π (π· (πΊ, π₯)) β {0, β2, β3 ± β3π β3 ± β5 }. , β2 ± β2π, 2 2 (2) Now we will study graphs with exactly four distinct domination roots. ISRN Discrete Mathematics 3 zeros of domination polynomials? (see [22]). Using tables of domination polynomials (see [23]), we think that the number of algebraic integers which can be roots of graphs with exactly four distinct domination roots are about nine numbers, but we are not able to prove it. So complete characterization of graphs with exactly four distinct domination roots remains as an open problem. In other words, we have the following question. 1 2 n 3 . .. 3 Question 1. Which algebraic integers are domination roots of graphs with exactly four distinct domination roots? 6 4 5 All real roots of the domination polynomial are necessarily negative, but it is not surprising that for some graphs there exists imaginary roots with positive real parts [24]. Surprisingly, in [15] it has shown that the domination roots are in fact dense in C. Figure 2: Graph with π·(πΊ, π₯) = π₯βπ/3β (π₯2 + 3π₯ + 1)βπ/3β . 1 3 2 4 ··· 2n β 3 2n β 1 2n β 2 2n Theorem 13 (see [15]). The closure of the domination roots is the whole complex plane. 3. Graphs with Few Matching Roots Figure 3: Labeled centipede, ππβ . Let πΊπ be an arbitrary graph of order π. Let it denote the graph πΊπ β πΎ1 simply by πΊπβ . Here we consider the labeled πΊπβ as shown in Figure 3 (the graph in this figure is ππβ which is called centipede). We denote the graph obtained from πΊπβ by deleting the vertex labeled 2π as πΊπβ β {2π}. The following theorem states a recursive formula for the domination polynomial of πΊπβ β {2π}. Theorem 10 (see [21]). For every π β₯ 5, In this section, we study graphs whose matching polynomials have few roots. First, we state the definition of matching polynomial. Let πΊ = (π, πΈ) be a graph of order π and size π. An π-matching of πΊ is a set of π edges of πΊ where no two of them have common vertex. The maximum number of edges in the matching of a graph πΊ is called the matching number of πΊ and is denoted by πΌσΈ (πΊ). The matching polynomial is defined by βπ/2β π (πΊ, π₯) = β (β1)π π (πΊ, π) π₯πβ2π , (5) π=0 The following theorem gives the formula for π·(πΊπβ β {2π}, π₯). where π(πΊ, π) is the number of π-matching of πΊ, and π(πΊ, 0) = 1. The roots of π(πΊ, π₯) are called the matching roots of πΊ. As an example, the matching polynomial of path π5 is π(π5 , π₯) = (π₯ β 1)π₯(π₯ + 1)(π₯2 β 3). For more details of this polynomial refer to [25β27]. Two following theorems are the first results on matching roots. Theorem 11 (see [21]). For every π β₯ 2, π·(πΊπβ β {2π}, π₯) = (π₯2 + 3π₯ + 1)π₯πβ1 (π₯ + 2)πβ2 . Theorem 14 (see [28]). The roots of matching polynomial of any graph are all real numbers. β β , π₯) + π· (πΊπβ2 , π₯)] π· (πΊπβ β {2π} , π₯) = π₯ [π· (πΊπβ1 β + π₯2 π· (πΊπβ2 , π₯) . (3) The following theorem characterizes graphs with four domination roots β2, 0, (β3 ± β5)/2. Theorem 12 (see [21]). Let πΊ be a connected graph of order π. Then, π(π·(πΊ, π₯)) = {β2, 0, (β3 ± β5)/2}, if and only if πΊ = β β {π}, for some graph πΊπ/2 of order π/2. Indeed πΊπ/2 π· (πΊ, π₯) = (π₯2 + 3π₯ + 1) π₯(π/2)β1 (π₯ + 2)(π/2)β2 . (4) Since domination polynomial is monic polynomial with integer coefficients, its zeros are algebraic integers. This naturally raises the question: which algebraic integers can occur as Theorem 15 (see [29]). If πΊ has a Hamiltonian path, then all roots of its matching polynomial are simple (have multiplicity 1). We need the following definition to study graphs with few matching roots. Add a single vertex π’ to the graph ππΎ1,π βͺ π‘πΎ1 and join π’ to the other vertices by π + π edges so that the resulting graph is connected and π’ is adjacent with π centers of the stars (for πΎ1,1 either of the vertices may be considered as a center). We denote the resulting graph by S(π, π, π‘; π, π) (see Figure 4). Clearly π + π‘ β€ π + π β€ π(π + 1) + π‘ and 0 β€ π β€ π (see [30]). 4 ISRN Discrete Mathematics ··· ··· ··· ··· Moreover, we denote the unique graph in H(0, 1, π‘; π‘, 0, π) by πΏ(π‘, π) for π = 1, 2, 3. We have π(πΏ(π‘, π), π₯) = π₯π‘ (π₯4 β (π‘ + π + 3)π₯2 +3π‘+π). Typical graphs from the above families are shown in Figure 5. ··· ··· Theorem 18 (see [30]). Let πΊ be a connected graph, and let π§(πΊ) be the number of its distinct matching roots. ··· (i) If π§(πΊ) = 2, then πΊ β πΎ2 . t Figure 4: A typical graph in the family S(π, π, π‘; π, π): the central vertex has degree π and it is joined to π centers of the stars πΎ1,π . For any πΊ β S(π, 3, π‘; π, π), we add π copies of πΎ3 to πΊ and join them by π edges to the vertex π’ of πΊ. Clearly π β€ π β€ 3π . We denote the set of these graphs by H(π, π , π‘; π, π, π). The following theorem gives the matching polynomial of graph πΊ in the family S(π, π, π‘; π, π). Theorem 16 (see [30]). For every πΊ β S(π, π, π‘; π, π), πβ1 π (πΊ, π₯) = π₯π(πβ1)+π‘β1 (π₯2 β π) × (π₯4 β (π + π) π₯2 + (π β π) (π β 1) + π‘) . (6) Theorem 17 (see [30]). For every πΊ β H(π, π , π‘; π, π, π), π (πΊ, π₯) = π₯2π+π +π‘β1 (π₯2 β 3) π+π β1 (iii) If π§(πΊ) = 4, then πΊ is a nonstar graph with 4 vertices. (iv) If π§(πΊ) = 5, then πΊ is one of the graphs πΎ(π, π‘; π), πΎσΈ (π, π‘; π), πΏ(π‘; π), π(π, π), and π(π, π ), for some integers π, π, π , π‘, and π or a connected nonstar graph with 5 vertices. Using the previous theorem we would like to study graphs with few independence roots. First, we recall the definition of independence polynomial. An independent set of a graph πΊ is a set of vertices where no two vertices are adjacent. The independence number is the size of a maximum independent set in the graph and is denoted by πΌ(πΊ). For a graph πΊ, let ππ denote the number of independent sets of cardinality π in πΊ (π = 0, 1, . . . , πΌ). The independence polynomial of πΊ, πΌ × (π₯4 β (π + π + 3) π₯2 + 3π‘ + 2 (π β π‘ β π) + π) . (7) Similar to [30], we distinguish some special graphs in the families π and π» which are important for our study. We denote the family S(π, 1, 0; π , π) which consists of a single graph by π(π, π ). Note that in this case π is determined by π and π ; namely, π = π β π. Its matching polynomial is π (π (π, π ) , π₯) = π₯ (π₯2 β π β 1) (π₯2 β 1) (ii) If π§(πΊ) = 3, then πΊ is either a star or πΎ3 . πβ1 . (8) The family S(π, π, 0; π, π) consists of a single graph which is denoted by π(π, π). Its matching polynomial is πβ1 π (π (π, π) , π₯) = π₯π(πβ1)+1 (π₯2 β π β π) (π₯2 β π) . (9) We also denote the unique graphs in S(1, π, π‘; π + π‘, 0) and S(1, π, π‘; π + π‘ + 1, 1) by πΎ(π, π‘; π) and πΎσΈ (π, π‘; π), respectively. Their matching polynomials are π (πΎ (π, π‘; π) , π₯) = π₯π+π‘β2 (π₯4 β (π + π‘ + π) π₯2 + (π + π‘) (π β 1) + π‘) , π (πΎσΈ (π, π‘; π) , π₯) = π₯π+π‘β2 (π₯4 β (π + π‘ + π + 1) π₯2 + (π + π‘) (π β 1) + π‘) . (10) πΌ (πΊ, π₯) = β ππ π₯π , (11) π=0 is the generating polynomial for the independent sequence (π0 , π1 , π2 , . . . , ππΌ ). For further studies on independence polynomial and independence root refer to [31β33]. The path π4 on 4 vertices, for example, has one independent set of cardinality 0 (the empty set), four independent sets of cardinality 1, and three independent sets of cardinality 2; its independence polynomial is then πΌ(π4 , π₯) = 1 + 4π₯ + 3π₯2 . Here we recall the definition of line graph. Given a graph π» = (π, πΈ), the line graph of π», denoted by πΏ(π»), is a graph with vertex set πΈ; two vertices of πΏ(π») are adjacent if and only if the corresponding edges in π» share at least one endpoint. We say that πΊ is a line graph if there is a graph π» for which πΊ = πΏ(π»). Theorem 19 (see [34]). For every graph πΊ, π(πΊ, π₯) π₯π πΌ(πΏ(πΊ), β1/π₯2 ). = The following corollary is an immediate consequence of Theorem 19. Corollary 20. If πΌ =ΜΈ 0 is a matching root of πΊ, then β1/πΌ2 is an independence root of πΏ(πΊ). Now we are ready to state a theorem for graphs whose independence polynomials have few roots. The following theorem follows from Theorem 19 and Corollary 20. ISRN Discrete Mathematics 5 ··· ··· r ··· ··· ··· ··· ··· ··· ··· ··· t t t Figure 5: The graphs πΎ(π, π‘; π), πΎσΈ (π, π‘; π), πΏ(π‘, π), π(π, π), and π(π, π ), respectively. Theorem 21. Let πΊ be a connected graph and π§(πΏ(πΊ)) be the number of distinct independence nonzero roots of πΏ(πΊ). (i) If π§(πΏ(πΊ)) = 2, then πΏ(πΊ) β πΎ2 . Theorem 26 (see [36]). For any graph πΊ, |πΌ(πΊ, β1)| β€ 2](πΊ) , where ](πΊ) is the decycling number of πΊ. (ii) If π§(πΏ(πΊ)) = 3, then πΏ(πΊ) is either a star or πΎ3 . 4. Graphs with Few Edge-Cover Roots (iii) If π§(πΏ(πΊ)) = 4, then πΏ(πΊ) is a nonstar graph with 4 vertices. In this section, we characterize graphs whose edge cover polynomials have one and two distinct roots. First, we state the definition of edge-cover polynomial of a graph. For every graph πΊ with no isolated vertex, an edge covering of πΊ is a set of edges of πΊ such that every vertex is incident to at least one edge of the set. A minimum edge covering is an edge cover of the smallest possible size. The edge covering number of πΊ is the size of a minimum edge cover of πΊ and is denoted by π(πΊ). The edge cover polynomial π of πΊ is the polynomial πΈ(πΊ, π₯) = βπ π=1 π(πΊ, π)π₯ , where π(πΊ, π) is the number of edge covering sets of πΊ of size π. Note that if graph πΊ has isolated vertex then we put πΈ(πΊ, π₯) = 0 and if π(πΊ) = πΈ(πΊ) = 0, then πΈ(πΊ, π₯) = 1. For more detail on this polynomial refer to [37, 38]. As an example, the edge cover polynomial of path π5 is πΈ(π5 , π₯) = 2π₯3 + π₯4 . Also πΈ(πΎ1,π , π₯) = π₯π . As usual we use πΏ(πΊ) to denote the minimum degree of graph πΊ. The following theorem is a recursive formula for edge cover polynomial of a graph. (iv) If π§(πΏ(πΊ)) = 5, then πΏ(πΊ) is one of the graphs and πΊ is one of the graphs πΎ(π, π‘; π), πΎσΈ (π, π‘; π), πΏ(π‘; π), π(π, π), and π(π, π ), for some integers π, π, π , π‘, and π or a connected nonstar graph with 5 vertices. Here we bring the independence roots of families of paths and cycles. In the next section, we compare these roots with roots of edge cover polynomials of paths and cycles. Theorem 22 (see [31]). (i) For any integer π, πΌ(ππ , π₯) has the following zeros, ππ (π) = β 1 , 2 (1 + cos (2π π/ (π + 2))) π = 1, 2, . . . , β π+1 β. 2 (12) (ii) For any integer π β₯ 3, πΌ(πΆπ , π₯) has the following zeros, ππ (π) = β 1 , 2 (1 + cos (((2π β 1) π) /π)) π π = 1, 2, . . . , β β . 2 (13) Corollary 23 (see [31]). The independence roots of the family {ππ } and {πΆπ } are real and dense in (ββ, β1/4]. In [35] the authors studied graphs whose independence roots are rational. Theorem 24 (see [35]). Let πΊ be a graph with rational polynomial πΌ(πΊ, π₯). If π(πΊ, π β 1) > π(πΊ, π), for some π, 1 β€ π β€ πΌ(πΊ), then πΊ has an independence root in the interval (β1, β1/πΌ(πΊ)]. The following theorem characterizes graphs with exactly one independence root. Theorem 25 (see [35]). Let πΊ be a graph of order π. Then πΌ(πΊ, π₯) has exactly one root if and only if πΊ = ππΎπ , where π = ππ for some natural π, π . Theorem 27 (see [37]). Let πΊ be a graph, π’, V β π(πΊ) and π’V be an edge of πΊ. Then πΈ (πΊ, π₯) = (π₯ + 1) πΈ (πΊ \ π’V, π₯) + π₯ (πΈ (πΊ \ π’, π₯) + πΈ (πΊ \ V, π₯) + πΈ (πΊ \ {π’, V})) . (14) The following results are about edge cover polynomial of a graph. Lemma 28 (see [37]). Let πΊ be a graph of order π and size π with no isolated vertex. If the edge cover polynomial of πΊ is π πΈ(πΊ, π₯) = βπ π=π(πΊ) π(πΊ, π)π₯ , then the following hold: (i) π β€ 2π(πΊ). (ii) If π0 = min{π | π(πΊ, π) = ( ππ )}, then πΏ = π β π0 + 1. (iii) If πΊ does not have connected component isomorphic to π ) β π(πΊ, π β πΏ). πΎ2 , then ππΏ(πΊ) = ( πβπΏ 6 ISRN Discrete Mathematics (iv) πΏ(πΊ) = 2, πΈ(πΊ, π₯) = π₯π/2 (π₯ + 2)π/2 , π2 (πΊ) = π/2, and πΊ has cycle of length 3 or 5. By Theorems 31 and 32 we have the following corollaries. Corollary 33 (see [37]). Let πΊ be a connected graph. If πΈ(πΊ, π₯) has exactly two distinct roots, then π(πΈ(πΊ, π₯)) = {β1, 0}, π(πΈ(πΊ, π₯)) = {β2, 0}, or π(πΈ(πΊ, π₯)) = {β3, 0}. Also πΏ(πΊ) = 1 or πΏ(πΊ) = 2. Corollary 34 (see [37]). Let πΊ be a connected graph. If π(πΈ(πΊ, π₯)) = π(πΈ(πΎ3 , π₯)) = {β3, 0} if and only if πΊ = πΎ3 . We have the following corollary. Figure 6: The graph πΆ4 (9). Corollary 35. Let πΊ be a graph with at most two distinct edge cover roots. Then π(πΈ(πΊ, π₯)) β {β3, β2, β1, 0}. Theorem 29 (see [38]). Let πΊ be a graph. Then πΈ(πΊ, π₯) has at least πΏ(πΊ) β 2 nonreal roots (not necessary distinct). In particular, when πΏ(πΊ) = 3, πΈ(πΊ, π₯) has at least two distinct nonreal roots. There are infinite graphs πΊ with πΏ(πΊ) = 1 and π(πΈ(πΊ, π₯)) β {β2, β1, 0}. To see some algorithms for the constructing of these kind of graphs refer to [37]. For the case πΏ(πΊ) = 2, we can see that if πΊ is a graph with πΏ(πΊ) = 2 and π(πΈ(πΊ, π₯)) = {β2, 0}, then πΊ has cycle with length 3 or 5 (see [37]). For this case there is the following conjecture. Now, we will characterize graphs with few edge cover roots. Note that zero is one of the roots of πΈ(πΊ, π₯) with multiplicity π(πΊ). The next theorem characterizes all graph πΊ whose edge cover polynomials have exactly one distinct root. Note that πΈ(πΎ1,π , π₯) = π₯π . Theorem 30 (see [38]). Let πΊ be a graph. Then πΈ(πΊ, π₯) has exactly one distinct root if and only if every connected component of πΊ is star. We need the following definition to study graphs with two distinct edge cover roots. Let π» be a graph of order π and size π. Suppose {V1 , . . . , Vπ } is the vertex set of π». By π»(π) we mean the graph obtained by joining ππ β₯ 1 pendant vertices to vertex Vπ , for π = 1, . . . π such that β ππ = π. If π is the size of π», then π»(π) is a graph of order π+π and size π+π. The graph πΆ4 (9) shown in Figure 6. Theorem 31 (see [38]). Let πΊ be a graph. Then πΈ(πΊ, π₯) = π₯π (π₯ + 1)π , for some natural numbers π and π, if and only if there exists a graph π» with size π such that πΊ = π»(π). Conjecture 1 (see [37]). There isnβt any graph πΊ with πΏ(πΊ) = 2 and π(πΈ(πΊ, π₯)) = {β2, 0}. It is proven that if πΊ is a graph without cycle of length 3 or 5 and πΏ(πΊ) = 2, then πΈ(πΊ, π₯) has at least three distinct roots (see [37]). Theorem 32 and previous conjecture implies that if πΏ(πΊ) = 2 and πΊ =ΜΈ πΎ3 , then πΈ(πΊ, π₯) has at least three distinct roots. The following theorem gives the roots of edge cover polynomial of paths and cycles. Theorem 36 (see [38]). (i) For any integer π, πΈ(ππ , π₯) has the following nonzero roots: β2 (1 + cos 2π π ), πβ1 π π = 1, 2, . . . , β β β 1. 2 (15) (ii) For any integer π β₯ 3, πΈ(πΆπ , π₯) has the following zeros: ππ (π) = β2 (1 + cos (2π + 1) π ), π π π = 0, 1, . . . , β β β 1. 2 (16) The next theorem characterizes all graphs πΊ for which πΈ(πΊ, π₯) has exactly two distinct roots. Also we have the following theorem for roots of πΈ(ππ , π₯) and πΈ(πΆπ , π₯). Theorem 32 (see [38]). Let πΊ be a connected graph whose edge cover polynomial has exactly two distinct roots. Then one of the following holds: Theorem 37 (see [38]). The roots of the family {πΈ(ππ , π₯)} and {πΈ(πΆπ , π₯)} are real and dense in (β4, 0]. (i) πΊ = π»(π), for some connected graph π» and natural number π. (ii) πΊ = πΎ3 . (iii) πΏ(πΊ) = 1, πΈ(πΊ, π₯) = π₯(π+π )/2 (π₯ + 2)(πβπ )/2 , where π is the number of pendant vertices of πΊ. Remark 38. It is interesting that the nonzeros roots of πΌ(πΆπ , π₯) are exactly the inverse of (nonzeros) roots of πΈ(πΆπ , π₯). Note that in [38], it is proved that if every block of the graph πΊ is πΎ2 or a cycle, then all real roots of πΈ(πΊ, π₯) are in the interval (β4, 0]. Since for every π, βπ is a root of the characteristic polynomial of πΎ1,π , we can conclude that there is no constant ISRN Discrete Mathematics 7 bound for the roots of the characteristic polynomials and matching polynomials. Sokal in [39], proved that for every graph πΊ, the absolute value of any root of the chromatic polynomial of πΊ is at most 8Ξ(πΊ), where Ξ(πΊ) denotes the maximum degree of πΊ. On the other hand, π(πΊ) β 1 is clearly a root of the chromatic polynomial of πΊ, where π(πΊ) denotes the chromatic number of πΊ. Therefore, there is no constant bound for the roots of chromatic polynomials. For more details on the chromatic polynomials, see [40]. Surprisingly, in the following theorem we observe that there is a constant bound for the roots of the edge cover polynomials. Theorem 39 (see [38]). All roots of the edge cover polynomial lie in the ball 2 (2 + β3) } { {π§ β C : |π§| < 1 + β3 β 5.099} . } { (17) Here, we would like to study the edge cover polynomial of a graph πΊ at β1. We need the following theorem. Theorem 40 (see [38]). Let πΊ be a graph. Then πΈ(πΊ, π₯) = βπβπ(πΊ) (β1)|π| (π₯ + 1)|πΈ(πΊ\π)| . Theorem 41. Let πΊ be a graph of order π. Then πΈ(πΊ, β1) = (β1)π πΌ(πΊ, β1). Proof. Clearly, πΈ(πΊ \ π) = 0 implies that π(πΊ) \ π is an independent set of πΊ and vice versa. So by Theorem 40, πΈ(πΊ, β1) = (β1)π πΌ(πΊ, β1). By Theorems 26 and 41 we have the following result. Theorem 42 (see [37]). For every graph πΊ, |πΈ(πΊ, β1)| β€ 2](πΊ) , where ](πΊ) is the decycling number of πΊ. 5. Open Problems and Conjectures In this section, we state and review some open problems and conjectures related to the subject of this paper. We have characterized all graphs with exactly three distinct domination roots and proved that for any graph πΊ with exactly three distinct domination roots, we have π (π· (πΊ, π₯)) β {0, β3 ± β3π β3 ± β5 , β2 ± β2π, }. 2 2 (18) The following problem remains as an open problem. Problem 1 (see [16]). Characterize all graphs with exactly three distinct domination roots {0, (β3 ± β3π)/2}. We characterized graphs with four distinct roots π(π·(πΊ, π₯)) = {β2, 0, (β3 ± β5)/2}. We think that the number of algebraic integers which can be roots of graphs with exactly four distinct domination roots are about nine numbers, but we couldnβt prove it yet. So complete characterization of graphs with exactly four distinct domination roots remains as an open problem. In other words, we have two following questions regarding graphs with exactly four distinct domination roots. Problem 2. Which algebraic integers are domination roots of graphs with exactly four distinct domination roots? Problem 3 (see [21]). Characterize all graphs with exactly four distinct domination roots. There are graphs with no nonzero real domination roots except zero. As examples for every even π, no nonzero real numbers are domination roots of πΎπ,π , and no nonzero real numbers are domination roots of Dutch Windmill graphs (see [24]). So the following question is an interesting problem. Problem 4 (see [16]). Characterize all graphs with no real domination roots except zero. Corollary 6 implies that every integer domination root of a graph is even. We recall the following conjecture. Conjecture 2 (see [16]). If π is an integer domination root of a graph, then π = 0 or π = β2. Conjecture 3. Real roots of the families π·(ππ , π₯) and π·(πΆπ , π₯) are dense in the interval [β2, 0], for π β₯ 4. Theorem 25 implies that for a graph of order π, πΌ(πΊ, π₯) has exactly one root if and only if πΊ = ππΎπ , where π = ππ for some natural π, π . Also Theorem 21 characterizes line graphs whose independence polynomials have at most five distinct roots. Therefore, complete characterization of graphs with few independence roots remains as an open problem. Problem 5. Characterize all graphs with few independence roots. The following conjectures are related to the roots of edge cover polynomial of a graph. Conjecture 4 (see [37]). If πΏ(πΊ) = 2 and πΊ =ΜΈ πΎ3 , then πΈ(πΊ, π₯) has at least three distinct roots. Conjecture 5 (see [37]). Let πΊ be a graph. Then πΈ(πΊ, π₯) has at least πΏ(πΊ) distinct roots. Conjecture 6 (see [38]). Let πΊ be a graph with πΏ(πΊ) = 2. If πΈ(πΊ, π₯) has only real roots, then all connected components of πΊ are cycles. Acknowledgment The author would like to express his gratitude to the referees for their comments. References [1] R. Frucht and F. Harary, βOn the corona of two graphs,β Aequationes Mathematicae, vol. 4, pp. 322β325, 1970. 8 [2] D. M. CvetkovicΜ, M. Doob, and H. Sachs, Spectra of Graphs: Theory and Applications, Johann Ambrosius Barth, Heidelberg, Germany, 3rd edition, 1995. [3] W. G. Bridges and R. A. Mena, βMultiplicative conesβa family of three eigenvalue graphs,β Aequationes Mathematicae, vol. 22, no. 2-3, pp. 208β214, 1981. [4] M. Muzychuk and M. Klin, βOn graphs with three eigenvalues,β Discrete Mathematics, vol. 189, no. 1β3, pp. 191β207, 1998. [5] E. R. van Dam, βRegular graphs with four eigenvalues,β Linear Algebra and Its Applications, vol. 226β228, pp. 139β162, 1995. [6] E. R. van Dam, Graphs with few eigenvaluesβan interplay between combinatorics and algebra [Ph.D. thesis], Center Dissertation Series 20, Tilburg University, 1996. [7] E. R. van Dam, βNonregular graphs with three eigenvalues,β Journal of Combinatorial Theory. Series B, vol. 73, no. 2, pp. 101β 118, 1998. [8] E. R. van Dam and W. H. Haemers, βWhich graphs are determined by their spectrum?β Linear Algebra and Its Applications, vol. 373, pp. 241β272, 2003. [9] E. R. van Dam and E. Spence, βSmall regular graphs with four eigenvalues,β Discrete Mathematics, vol. 189, no. 1β3, pp. 233β257, 1998. [10] H. Chuang and G. R. Omidi, βGraphs with three distinct eigenvalues and largest eigenvalues less than 8,β Linear Algebra and Its Applications, vol. 430, no. 8-9, pp. 2053β2062, 2009. [11] T. W. Haynes, S. T. Hedetniemi, and P. J. Slater, Fundamentals of Domination in Graphs, vol. 208 of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 1998. [12] S. Alikhani and Y. H. Peng, βIntroduction to domination polynomial of a graph,β Ars Combinatoria, http://arxiv.org/abs/0905 .2251. [13] S. Alikhani and Y. Peng, βDominating sets and domination polynomials of certain graphs. II,β Opuscula Mathematica, vol. 30, no. 1, pp. 37β51, 2010. [14] S. Alikhani and Y.-H. Peng, βDominating sets and domination polynomials of paths,β International Journal of Mathematics and Mathematical Sciences, vol. 2009, Article ID 542040, 10 pages, 2009. [15] J. Brown and J. Tufts, βOn the roots of domination polynomials,β Graphs and Combinatorics, 2013. [16] S. Akbari, S. Alikhani, M. R. Oboudi, and Y. H. Peng, βOn the zeros of domination polynomial of a graph,β in Combinatorics and Graphs, vol. 531, pp. 109β115, American Mathematical Society, Providence, RI, USA, 2010. [17] S. Akbari, S. Alikhani, and Y.-h. Peng, βCharacterization of graphs using domination polynomials,β European Journal of Combinatorics, vol. 31, no. 7, pp. 1714β1724, 2010. [18] A. E. Brouwer, βThe number of dominating sets of a finite graph is odd,β preprint. [19] S. Alikhani, βThe domination polynomial of a graph atβ1,β Graphs and Combinatorics, vol. 29, no. 5, pp. 1175β1181, 2013. [20] S. Akbari and M. R. Oboudi, βCycles aredetermined by their domination polynomials,β Ars Combinatoria, http://arxiv.org/ abs/0908.3305. [21] S. Alikhani, βOn the graphs with four distinct domination roots,β International Journal of Computer Mathematics, vol. 88, no. 13, pp. 2717β2720, 2011. [22] S. Alikhani and R. Hasni, βAlgebraic integers as chromatic and domination roots,β International Journal of Combinatorics, vol. 2012, Article ID 780765, 8 pages, 2012. ISRN Discrete Mathematics [23] S. Alikhani, Dominating sets and domination polynomials of graphs [Ph.D. thesis], Universiti Putra Malaysia, 2009. [24] S. Alikhani and E. Deutsch, βNew results on domination polynomals and domination roots,β submitted. [25] E. J. Farrell, βOn a general class of graph polynomials,β Journal of Combinatorial Theory. Series B, vol. 26, no. 1, pp. 111β122, 1979. [26] E. J. Farrell, βAn introduction to matching polynomials,β Journal of Combinatorial Theory. Series B, vol. 27, no. 1, pp. 75β86, 1979. [27] C. D. Godsil, βAlgebraic matching theory,β Electronic Journal of Combinatorics, vol. 2, article R8, 1995. [28] O. J. Heilmann and E. H. Lieb, βMonomers and dimers,β Physical Review Letters, vol. 24, no. 25, pp. 1412β1414, 1970. [29] C. D. Godsil, Algebraic Combinatorics, Chapman and Hall Mathematics Series, Chapman & Hall, New York, NY, USA, 1993. [30] E. Ghorbani, βGraphs with few matching roots,β Graphs and Combinatorics, vol. 29, no. 5, pp. 1377β1389, 2013. [31] S. Alikhani and Y. Peng, βIndependence roots and independence fractals of certain graphs,β Journal of Applied Mathematics and Computing, vol. 36, no. 1-2, pp. 89β100, 2011. [32] J. I. Brown, C. A. Hickman, and R. J. Nowakowski, βOn the location of roots of independence polynomials,β Journal of Algebraic Combinatorics, vol. 19, no. 3, pp. 273β282, 2004. [33] J. I. Brown, K. Dilcher, and R. J. Nowakowski, βRoots of independence polynomials of well covered graphs,β Journal of Algebraic Combinatorics, vol. 11, no. 3, pp. 197β210, 2000. [34] C. D. Godsil and I. Gutman, βOn the theory of the matching polynomial,β Journal of Graph Theory, vol. 5, no. 2, pp. 137β144, 1981. [35] S. Akbari, M. R. Oboudi, and S. Qajar, βOn the rational independence roots,β Contemporary Mathematics, vol. 531, pp. 149β158, 2010. [36] V. E. Levit and E. Mandrescu, βThe independence polynomial of a graph at β1,β http://arxiv.org/abs/0904.4819v1. [37] S. Akbari and M. R. Oboudi, βOn the edge cover polynomial of a graph,β European Journal of Combinatorics, vol. 34, no. 2, pp. 297β321, 2013. [38] P. CsikvaΜri and M. R. Oboudi, βOn the roots of edge cover polynomials of graphs,β European Journal of Combinatorics, vol. 32, no. 8, pp. 1407β1416, 2011. [39] A. D. Sokal, βBounds on the complex zeros of (di)chromatic polynomials and Potts-model partition functions,β Combinatorics, Probability and Computing, vol. 10, no. 1, pp. 41β77, 2001. [40] F. M. Dong, K. M. Koh, and K. L. Teo, Chromatic Polynomials and Chromaticity of Graphs, World Scientific Publishing, Hackensack, NJ, USA, 2005. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Applied Mathematics Algebra Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Mathematical Problems in Engineering Journal of Mathematics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Discrete Dynamics in Nature and Society Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Abstract and Applied Analysis Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Journal of Stochastic Analysis Optimization Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014
© Copyright 2026 Paperzz