Some families of graphs with no nonzero real domination roots
S. Jahari^{1}^{1}1Corresponding author. Email: s.jahari@gmail.com and S. Alikhani
Department of Mathematics, Yazd University
89195741, Yazd, Iran
ABSTRACT
Let be a simple graph of order . The domination polynomial of is the polynomial , where is the number of dominating sets of of size and is the domination number of . A root of is called a domination root of . Obviously, is a domination root of every graph with multiplicity . In the study of the domination roots of graphs, this naturally raises the question: Which graphs have no nonzero real domination roots? In this paper we present some families of graphs whose have this property.
Mathematics Subject Classification: 05C31, 05C60.
Keywords: Domination polynomial; domination root; friendship; complex root.
1 Introduction
All graphs in this paper are simple of finite orders, i.e., graphs are undirected with no loops or parallel edges and with finite number of vertices. Let be a simple graph. For any vertex , the open neighborhood of is the set and the closed neighborhood of is the set . For a set , the open neighborhood of is and the closed neighborhood of is .
The complement of a graph is a graph with the same vertex set as and with the property that two vertices are adjacent in if and only if they are not adjacent in .
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 domination theory, the reader is referred to [24].
Let be the family of dominating sets of a graph with cardinality and let . The domination polynomial of is defined as (see [2, 8, 27]); this polynomial is the generating polynomial for the number of dominating sets of each cardinality. Similar to generating polynomials for other combinatorial sequences, such as independents sets in a graph [11, 13, 15, 18, 21, 22, 23], have attracted recent attention, to name but a few. The algebraic encoding of salient counting sequences allows one to not only develop formulas more easily, but also, often, to prove unimodality results via the nature of the the roots of the associated polynomials (a well known result of Newton states that if a real polynomial with positive coefficients has all real roots, then the coefficients form a unimodal sequence (see, for example, [16]). A root of is called a domination root of (see [5, 14]). The set of distinct nonzero roots of is denoted by . It is known that is not a domination root as the number of dominating sets in a graph is always odd [10]. On the other hand, of course, is a domination root of every graph with multiplicity . The existing research on the roots of domination polynomials has been restricted to those graphs with exactly two, three or exactly four domination roots ([2, 3]). Also in [14] Brown and Tufts studied the location of the roots of domination polynomials for some families of graphs such as bipartite cocktail party graphs and complete bipartite graphs. In particular, they showed that the set of all domination roots is dense in the complex plane.
In the study of the domination roots of graphs, this naturally raises the question: Which graphs have no nonzero real domination roots? In this paper we would like to present some families of graphs with this property. Let be the family of graphs and .
In the next section we present some families of graphs whose are in . In Section we consider the complement of the friendship graphs, and compute their domination polynomials, exploring the nature and location of their roots. As a consequence we show that .
2 Some families of graphs in
In the beginning of the study of domination roots of graphs, one can see that there are graphs with no nonzero real domination roots except zero. As examples, the complete graph for odd and the complete bipartite graph for even , are in . With these motivation, in [1, 5] the authors asked the question: “Which graphs have no nonzero real domination roots?” In other words, which graph lie in ?.
In this section we use the existing results on domination polynomials to find some families of graphs whose are in . We need some preliminaries.
The join of two graphs and with disjoint vertex sets and and edge sets and is the graph union together with all the edges joining and . The following theorem gives a formula for the domination polynomial of join of two graphs.
Theorem 1
.[2] Let and be nonempty graphs of order and , respectively. Then,
For two graphs and , the corona is the graph arising from the disjoint union of with copies of , by adding edges between the th vertex of and all vertices of th copy of [19]. We need the following theorem which is for computing the domination polynomial of the corona products of two graphs.
To present some families of graphs in , we recall the existing results.
A star, , has vertex set where and for .
The book graph can be constructed by bonding copies of the cycle graph along a common edge . In [6] it was proved that, for every ,
The following theorem gives some families of graphs whose are in .
Theorem 3
In [28], Levit and Mandrescu constructed a family of graphs from the path by the “clique cover construction”, as shown in Figure 1. By we mean the null graph.
The following theorem gives formula for the domination polynomials of graphs:
Here using Theorem 4 we present another families of graphs in .
Theorem 5
.

The graphs of the form , , for , and the graphs of the form , for odd are in .

The graphs of the form , for even , and , for are in .
Proof. Since the coefficients of domination polynomials are positive integers, we investigate domination roots for .

By theorem 1 we can deduce that for each natural number ,
To obtain the domination roots of , we shall solve the following equation:
(1) We consider two cases, and show that in each there is no nonzero solution.

If is even, i.e., for some . Then the equation (1) is equivalent to the following equation
(2) For , the above equality is true just for real number . Because for nonzero real number the left side of this equality is positive but the right side is negative.

If is odd, i.e., , for some . Then the equation (1) is is equivalent to the following equation
(3) We consider the following different cases, and show in each there is no nonzero solution. If , there are no real solutions . Because, it is easy to see that for , the left side of 3 is positive but its right side is negative. Also for , the left side of equality (3) is greater than the right side. Now suppose that .

If is even and the left side of equality (3) is greater than the right side, a contradiction.

If is odd and the left side of equality (3) is positive but the right side is negative, a contradiction.

For every and there are no real solutions . Because the left side of equality (3) is positive but the right side is negative.

The other cases are similar to this case.


It is similar to proof of Part (i).
Domination roots of the graphs , for odd and has shown in Figure 2.
3 Domination roots of the complement of the friendship graphs
The friendship (or DutchWindmill) graph is a graph that can be constructed by coalescence copies of the cycle graph of length with a common vertex. The Friendship Theorem of Paul Erdös, Alfred Rényi and Vera T. Sós [17], states that graphs with the property that every two vertices have exactly one neighbour in common are exactly the friendship graphs. Figure 3 shows some examples of friendship graphs.
The following theorem states that for each odd , the friendship graph lie in .
Theorem 6
.[6]

For every ,

For odd , .
Domination polynomials, exploring the nature and location of domination roots of friendship graphs has studied in [6]. It is natural to ask about the domination polynomial and the domination roots of the complement of the friendship graphs.
The Turán graph is a complete multipartite graph formed by partitioning a set of vertices into subsets, with sizes as equal as possible, and connecting two vertices by an edge whenever they belong to different subsets. The graph will have subsets of size , and subsets of size . That is, it is a complete partite graph
The Turán graph can be formed by removing a perfect matching, edges no two of which are adjacent, from a complete graph . As Roberts (1969) showed, this graph has boxicity exactly ; it is sometimes known as the Roberts graph [29]. If couples go to a party, and each person shakes hands with every person except his or her partner, then this graph describes the set of handshakes that take place; for this reason it is also called the cocktail party graph. So, the cocktail party graph of order is the graph with vertices in which each pair of distinct vertices form an edge with the exception of the pairs .
It is easy to check that the complement of the friendship graph is . Figure 4 shows the complement of the friendship graph .
Theorem 7
. For every ,
Proof. An elementary observation is that if and are graphs of orders and , respectively, then
Clearly and there are no dominating sets of size in . Therefore
In [14] a family of graphs was produced with roots just barely in the righthalf plane (showing that not all domination polynomials are stable), but Figure 5 provides an explicit family (namely the ) whose domination roots have positive real part.
The domination roots of complement of the friendship graphs exhibit a number of interesting properties (see Figure 5). Even though we cannot find the roots explicitly, there is much we can say about them.
Here we prove that for each natural number , the complement of the friendship graphs lie in .
Theorem 8
. For every natural number , the complement of the friendship graphs lie in .
Proof. It’s suffices to show that for each natural , the cocktail party graph is in . By Theorem 7, for every , If then for , we have
We consider three cases, and show in each there is no nonzero solution.

Obviously the above equality is true just for real number , since for nonzero real number the left side of equality is greater than the right side.

In this case the left side is greater than and the right side is less than , a contradiction.

In this case obviously there are no real solutions , the left side of equality is greater than the right side.
Thus in any event, there are no nonzero real domination roots of the cocktail party graph.
The plot in Figure 5 suggests that the roots tend to lie on a curve. In order to find the limiting curve, we will need a definition and a well known result.
Definition 1
. If is a family of (complex) polynomials, we say that a number is a limit of roots of if either for all sufficiently large or z is a limit point of the set , where is the union of the roots of the .
Theorem 9
. Suppose is a family of polynomials such that
(4) 
where the and the are fixed nonzero polynomials, such that for no pair is for some of unit modulus. Then is a limit of roots of if and only if either

two or more of the are of equal modulus, and strictly greater (in modulus) than the others; or

for some , has modulus strictly greater than all the other , and
The following Theorem gives the limits of the domination roots of .
Theorem 10
. The limit of domination roots of is the unit circle with center .
Clearly there is no of modulus for which (or vice versa). Also, are not identically zero. Therefore, the initial conditions of Theorem 9 are satisfied. Now, implies that lies on the circle centred at .
Conclusion. In this paper we presented some families of graphs whose nonzero domination roots are complex. We think that these kind of graphs shall have specific geometrical properties. However, until now all attempts to find these properties failed, and it remains as open problem.
References
 [1] S. Akbari, S. Alikhani, M.R. Oboudi and Y.H. Peng, On the zeros of domination polynomial of a graph, Contem. Math., American Mathematical Society, 531 (2010) 109 –115.
 [2] S. Akbari, S. Alikhani and Y.H. Peng, Characterization of graphs using domination polynomial, Europ. J. Combin., Vol. 31 (2010) 1714–1724.
 [3] S. Alikhani, On the graphs with four distinct domination roots, Int. J. Comp. Math. 88, no. 13, (2011), 2717â2720
 [4] S. Alikhani, On the domination polynomial of some graph operations, ISRN Combin., Vol. 2013, Article ID 146595, 3 pages.
 [5] S. Alikhani, Graphs whose certain polynomials have few distinct roots, ISRN Discrete Math., Vol. 2013, Article ID 195818, 8 pages.
 [6] S. Alikhani, J.I. Brown, S. Jahari, On the domination polynomials of friendship graphs, FILOMAT, to appear. Available at http://arxiv.org/abs/1401.2092.
 [7] S. Alikhani, S. Jahari, Some families of graphs whose domination polynomials are unimodal. Available at http://arxiv.org/abs/1401.1159.
 [8] S. Alikhani, Y.H. Peng, Introduction to domination polynomial of a graph, Ars Combin., Vol. 114 (2014) 257â266.
 [9] S. Beraha, J. Kahane, and N. Weiss, Limits of zeros of recursively defined families of polynomials, in: G. Rota (Ed.), Studies in foundations and combinatorics, Academic Press, New York, 1978, 213–232.
 [10] A.E. Brouwer, The number of dominating sets of a graph is odd, preprint.
 [11] J. I. Brown and R. J. Nowakowski, Bounding the roots of independence polynomials, Ars Combin. 58 (2001) 113–120.
 [12] J.I. Brown and C.A. Hickman, On chromatic roots of large subdivisions of graphs, Discrete Math. 242 (2002) 17–30.
 [13] J. I. Brown, C. A. Hickman, R. J. Nowakowski, On the location of roots of independence polynomials, J. Alg. Combin. 19 (2004) 273–282.
 [14] J. I. Brown and J. Tufts, On the roots of domination polynomials, Graphs Combin. 30 (2014), 527–547. doi: 10.1007/s003730131306z.
 [15] M. Chudnovsky and P. Seymour, The roots of the independence polynomial of a clawfree graph, J. Combin. Theory B 97 (2007), 350–357.
 [16] L. Comtet, Advanced combinatorics, Reidel Pub. Co. Boston, 1974.
 [17] P. Erdös, A. Rényi, V.T. Sós, On a problem of graph theory, Studia Sci. Math. Hungar., 1 (1966) 215–235.
 [18] D. C. Fisher and A. E. Solow, Dependence polynomials, Discrete Math. 82 (1990) 251–258.
 [19] R. Frucht and F. Harary, On the corona of two graphs, Aequationes Math., 4 (1970) 322–325.
 [20] M. R. Garey and D. S. Johnson, Computers and Intractability: A guide to the Theory of completeness, W. H. Freeman and Company, New York, 1979.
 [21] I. Gutman, F. Harary, Generalizations of the matching polynomial, Utilitas Math. 24 (1983) 97–106.
 [22] I. Gutman, On independent vertices and edges in a graph, in Topics in Combinatorics and Graph Theory (eds. R. Bodendeik, R. Henn), PhysicaVerlag, Heidelberg, 1990.
 [23] I. Gutman, Some analytic properties of the independence and matching polynomials, Match. 28 (1992) 139–150.
 [24] T.W. Haynes, S.T. Hedetniemi, P.J. Slater, Fundamentals of domination in graphs, Marcel Dekker, NewYork, 1998.
 [25] S. Jahari and S. Alikhani, Domination polynomials of tree related graphs, Int. J. Combin. Vol. 2014, Article ID 390170, 5 pages.
 [26] T. Kotek, J. Preen, F. Simon,P. Tittmann, M. Trinks, Recurrence relations and splitting formulas for the domination polynomial, Elec. J. Combin. 19(3) (2012), # P47.
 [27] T. Kotek, J. Preen, P. Tittmann, Subsetsum representations of domination polynomials, Graphs Combin. (2014) 30, 647–660.
 [28] V. E. Levit, E. Mandrescu, A family of graphs whose independence polynomials are both palindromic and unimodal, Carpathian J. Math. 23 (2007) 108–116.
 [29] F. S. Roberts, Recent progress in combinatorics. Academic Press. (1969) 301–310.