The geometry of polynomials explores geometrical relationships between the zeros and the coefficients of a polynomial. A classical problem in this theory is to locate the zeros of a given polynomial by determining disks in the complex plane in which all its zeros are situated. In this paper, we infer bounds for general polynomials and apply classical and new results to graph polynomials namely Wiener and distance polynomials whose zeros have not been yet investigated. Also, we examine the quality of such bounds by considering four graph classes and interpret the results.
Citation: Dehmer M, Ilić A (2012) Location of Zeros of Wiener and Distance Polynomials. PLoS ONE 7(3): e28328. doi:10.1371/journal.pone.0028328
Editor: Guido Germano, Philipps-University Marburg, Germany
Received: July 23, 2011; Accepted: November 5, 2011; Published: March 16, 2012
Copyright: © 2012 Dehmer, Ilić. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Funding: Matthias Dehmer thanks the Austrian Science Funds for supporting this work (project P22029-N13). Aleksandar Ilić is supported by the Research Grants 174010 and 174033 of the Serbian Ministry of Science. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.
Competing interests: The authors have declared that no competing interests exist.
Numerous graph polynomials have been extensively studied and applied interdisciplinarily, see, e.g., –. Early contributions in this area deal with studying the well known independence polynomial  and chromatic polynomial . Other graph polynomials such as the Omega polynomial and Cluj polynomial have been studied in . Apart from this research, polynomials have been also employed in biologically driven disciplines. For instance, Emmert-Streib  tackled the challenging problem of calculating knot polynomials of secondary structure elements of proteins algorithmically. Related work can be also found in . Interestingly, the development of so-called topological indices such as the well-known Wiener index  has triggered exploring graph polynomials too. For instance, Yan et al.  examined how the Wiener index changes under certain graph operations and extended their results to Wiener polynomials. Zadeh et al.  also investigated Wiener-type invariants of some graph operations. But note that the first paper exploring the change of the Wiener number upon operations on graphs has been contributed by Polansky and Bonchev . Further, formulas for the Wiener polynomial of -th power graphs have been investigated  when considering special graph classes such as paths, cycles and hypercubes (see also Theorem (1)).
In general, graph polynomials have been developed for measuring combinatorial graph invariants and for characterizing graphs. The latter problem has been studied in structural chemistry where the polynomials have been derived from chemical graphs , . There, graphs have been characterized by several graph polynomials  to solve problems in the Hückel-molecular orbital theory and in the theory of aromaticity, see , . Another intriguing field deals with investigating graph measures derived from the zeros of a graph polynomial. Seminal work has been done by Lovász et al.  as they explored the meaning of the largest eigenvalue of trees. Particularly they found that the leading positive eigenvalue of the characteristic polynomial can be used as a measure for detecting branching of trees. Related concepts of branching based on using the eigenvalues of a graph have been studied by Randić et al.  and Bonchev .
Later, Randić et al.  surveyed further eigenvalue-based measures such as the sum of the positive eigenvalues, the multiplicity of the zero eigenvalue and other spectral indices , . Also, Dehmer et al.  recently developed novel spectral measures that turned to be unique for several graph classes. Altogether this shows that graph polynomials and their zeros have been a valuable source for investigating various problems in discrete mathematics and related areas.
Apart from the research described above, the zeros of some graph polynomials have been also explored, see, e.g., –. In this sense, Woodall  explored the zeros and zero-free regions of chromatic and flow polynomials. Also, the zero distribution of chromatic and flow polynomials of graphs and characteristic polynomials of matroids have been examined by Jackson . Finally Brešar et al.  examined the zeros of cube polynomials under certain structural conditions of the underlying graphs. Other results about the zeros of known graph polynomials have been recently reported by Ellis-Monaghan et al. .
The main contribution of this paper is twofold: First, we prove inclusion radii representing upper bounds for the zeros of general complex polynomials. Note that most of these statements can also be applied if the polynomials possess real coefficients as the moduli of the coefficients appear in the corresponding bounds. Second, we apply these and classical results to locate the zeros of special Wiener and distance polynomials, see –. This results in disks in the complex plane or intervals where the zeros of these polynomials lie. To our best knowledge, the location of zeros of the Wiener and distance polynomial has not been studied yet. Apart from proving results for special polynomials, i.e., the polynomials represent special graph classes, it is easy to generalize the results for other (general) graph polynomials by using the tools we will provide in this paper. Besides further developing the mathematical apparatus, we evaluate the quality of the zero bounds by generating four large graph classes and interpret the numerical results.
The main contribution of this paper is to locate the zeros of special graph polynomials which have been proven useful in mathematical chemistry and discrete mathematics, see , , . A thorough overview of the underlying theory called analytic theory of polynomials can be found in , . Note that the problem of finding bounds for the zeros of complex and real polynomials has been tackled by numerous authors, e.g., see , –. However, the existing research shows that the usefulness and performance of many such bounds has not been demonstrated yet. For this, we compare our bounds in the section ‘Numerical Results’ and demonstrate that some of the new bounds are optimal.
We now start by reproducing some important definitions and results we are going to use in our analysis.
In this section, we introduce some mathematical preliminaries –, , . Let be a finite simple graph and let be its adjacency matrix. denotes the identity matrix. Then,(1)is the characteristic polynomial of . Straightforwardly, we obtain the distance polynomial defined by(2)where is the distance matrix of . By expanding the determinant, we yield(3)We see that is always equal to zero . Denote by the diameter of and is the number of pairs of having distance , . Then the Wiener polynomial ,  (also called Hosoya polynomial ) can be defined as(4)Further properties of have been reported in . Next, we reproduce some results due to Sagan et al.  and Kivka  giving concrete expressions for Wiener- and distance polynomials for special graph classes.
To introduce the problem of locating the zeros of polynomials, we state the following definitions.
Definition 2 If all zeros of lie in the set given by Equation (12), is called the inclusion radius. In the simplest case, is a function of all coefficients, i.e., .
Note that a more general question namely deriving bounds depending on coefficients for zeros of has been tackled by Montel , . Other variants of bounds and extensions of the results due to Montel can be also found in .
Known Inclusion Radii
In this section, we state some classical and known results for locating the zeros of arbitrary complex-valued polynomials.
Theorem 3 (Cauchy ) Let(14)be complex polynomial. All zeros of lie in , where(15)
Theorem 4 (Fujiwara ) Let(16)be complex polynomial. For and , all zeros of lie in(17)
Theorem 5 (Enestrom-Kakeya ) Let(18)be a polynomial with real coefficients satisfying(19)Then, no zeros of f(z) lie in .
Theorem 6 (Dehmer ) Letbe a complex polynomial. All zeros of lie in the closed disk(20)where(21)
Besides locating the zeros of polynomials, it is often important to determine the number of positive or negative zeros of polynomials with real coefficients. In this light, we state the famous Descartes Rule of Signs, see , .
Theorem 7 Let f(z) be a real polynomial. The number of positive zeros of either equals the number of sign changes within the sequence of coefficients or is less than it by a multiple of two.
Novel Inclusion Radii
Proof: Defining and assuming yields(24)(25)(26)(27)(28)(29)(30)We set(31)and conclude if . To solve , we yield(32)and see that(33)Altogether, we obtain(34)and, finally(35)By using Inequality (33), it is evident that the zeros with lie in the closed disk represented by Equation (22) too. The theorem is proven for . But all zeros of are zeros of . Hence, the theorem also holds for . □
Proof: Defining yields again(38)(39)(40)We set(41)and see if . In both cases, i.e., and , has two sign changes in its sequence of coefficients. By applying Theorem (7) and observing and , we conclude that has exactly two positive zeros. Let be the zero1 and . Altogether, we obtain(42)and, finally(43)The proof for is complete. But all zeros of are zeros of . Hence, the theorem also holds for . □
The next theorem is based on using the Hölder inequality .
Proof: We start with and obtain(46)By applying the well-known Hölder inequality  to and , we further infer(47)(48)(49)(50)(51)Hence, if(52)or(53)Define(54)We see easily that the largest positive zero of is . This implies if and, hence, . Thus, we proved the theorem for . But all zeros of are zeros of . □
Proof: Set in Equation (54). □
The following theorem holds for polynomials with real coefficients and was proven to be optimal by using several graph classes (see section ‘Numerical Results’).
Proof: Define . We obtain(58)(59)Now, we use De Bruijn's inequality  given by(60)where and . Applying this inequality to yields(61)(62)(63)By using the last inequality and assuming , we further obtain(64)(65)(66)(67)Thus, if(68)or(69)Again, we define(70)and easily observe that its largest positive zero is . Finally, if and, hence, . Thus, we completed the proof for . As the zeros of are zeros of , the proof of the theorem is complete. □
Now, we easily obtain the following corollaries.
Proof: The statement follows from applying the steps of the proof of Theorem (11) to (instead of starting with . □
Proof: Set in Inequality (73). The rest of the proof is analogous to the proof of Corollary (3). □
Location of Zeros of Graph Polynomials
By using the tools presented in the previous section, we are now able to derive results for locating the zeros of Wiener and distance polynomials.
Bounds for Concrete Graph Polynomials
We start by considering the polynomials provided in section ‘Mathematical Preliminaries and Known Results’ (see Theorem (1)).
Corollary 5 , , and do not possess positive zeros.
Proof: As there are no sign changes in the sequences of the coefficients of , and , the assertion follows immediately by applying Theorem (7). To prove the statement for , we easily see that(77)Again by applying Theorem (7), does not possess positive zeros. □
Remark 12 The number of negative zeros of these graph polynomials can be determined by applying Theorem (7) to . Particularly, if is even.
Next, we apply the Theorem of Eneström-Kakeya  and obtain the following corollary.
Corollary 6 and do not possess zeros in .
To derive a more detailed statement for the zeros of , we firstly state a lemma.
Corollary 7 All zeros of lie on the unit circle.
By applying the classical result due to Cauchy (see Theorem (3)), we obtain
Corollary 8 All zeros of , and lie in , and , respectively.
By applying Theorem (6), we also yield
For , we yield(83)since it is equivalent to(84)and(85)This inequality is satisfied for and, hence, the inclusion radius given by Equation (80) is always an improvement of (see Corollary (8)). This relation can be proven analogously for the other zero bounds too (see Equation (81), (82) and Corollary (8)).
As for no special conditions for its coefficients hold, Eneström-Kakeya's Theorem is not applicable. Theorem (3) and Theorem (6) give general zero bounds for .
We notice that the maximum of is achieved for the middle binomial coefficient .
Theorem (11) turned out to be feasible for various graph classes (see section ‘Numerical Results’). Hence, we apply this statement to some of the Wiener polynomials of Theorem (1). Note that the bound given by Theorem (11) represents a so-called implicit bound as the bound value is a root of a concomitant polynomial, see, e.g., Equation (57).
Before applying the results from the previous section to the special distance polynomials presented in Theorem (2), we state a simple lemma.
Proof: We start with , see Theorem (1). By performing direct calculations, we get(99)(100)(101)Now, consider . In order to infer Equation (91), we observe(102)Also,(103)where and . If we now define(104)(105)(106)(107)we yield(108)(109)(110)With the definitions stated in Lemma (2) and , expressed above, we obtain(111)□
To finalize this section, we now apply some of the classical and new results to the special distance polynomials stated in Lemma (2). Note that these polynomials only possess real zeros as the underlying matrices are symmetric (see Definition (2)). We state the results exemplarily by only considering .
Using Theorem (3) yields
Applying Theorem (6) yields
Finally we apply Theorem (11) and obtain
It is evident that by using Lemma (2), similar statements can be derived for .
In this section, we evaluate the quality of the zero bounds presented in the previous sections. Note that this problem is challenging when no sharpness results are available. That means given several bounds and classes of polynomials, we have to judge what kinds of bounds are best for a particular class. To solve this problem analytically might be feasible for bounds which are based on the same concept, e.g., zero bounds as functions of all coefficients which can be calculated explicitly (explicit bounds). But if we consider bounds defined on different concepts, a comparison is often difficult without determining the bounds for concrete polynomials.
To tackle this problem for some zero bounds presented in this paper, we use special graph classes whose graph polynomials and their real and complex-valued zeros can be directly calculated. To generate these graph classes, we have used the well-known Nauty package, see . The package Nauty is a program for computing automorphism groups of graphs and digraphs, written in a highly portable subset of the language C. This package also includes a suite of programs called gtools for efficiently generating and processing small non-isomorphic graphs (stored in graph6 format) with various constrains, such as the number of vertices, edges, maximum/minimum vertex degree, connectedness, etc. Now we define the graph classes as follows:
- : Unicyclic graphs with vertices. .
- : Connected graphs with vertices. .
- : Bicyclic graphs. with vertices. .
- : Trees with vertices. .
Note that a tree is a connected graph without cycles, or a connected graph with exactly edges. A unicyclic graph is a connected graph with exactly one cycle, or a connected graph with exactly edges. Analogously, a bicyclic graph is a connected graph with exactly two cycles, or a connected graph with exactly edges. These simple types of graphs have often been used in mathematical chemistry and as underlying structure of chemical compounds. From these characterizations, the most important structural properties of our graph classes are known. Some characteristic graphs from the graph classes , , and are depicted in Figure (1)–(4).
The numerical results are presented in Table (1)–Table (4). denotes the number of vertices. The mean and standard deviation have been calculated based on the values for the particular graph class. ‘Count best’ stands for the number of graphs for which the particular bound is the best one among all considered bounds. Among the bounds presented in this paper, we also calculated the bound due to Fujiwara , see Theorem (4). The first line in each group is ‘Maximum root’, which stands for the statistics regarding the maximum root of distance polynomial computed with 10 digit precision. Note that these values are used for the comparison with other bounds and ‘Count best’ is exactly the number of graphs in the group. Because of ties, the sum of the numbers in the column ‘Count best’ does not need to match up with ‘Count best’ for ‘Maximum root’ row.
It is not surprising that Cauchy's bound (see Theorem (3)) often gives non-feasible values if is large. An example for this is the polynomial , . Then Cauchy's bound (see Theorem (3)) gives the closed disk . That means the inclusion radius equals 1001 but, in fact, the largest modulus of the zeros of (maximum root) is . This proves that the resulting bound value is not in accordance with the real location of the zeros of this given polynomial.
Interestingly, the implicit bounds given by Theorem (9) and Theorem (11) clearly outperform the other zero bounds. These statements show even better performance than the bound given by Theorem (6) that has been proven better than other classical results, see , . Finally we observe (see Table (1)–Table (4)) that Theorem (11) is the best for all graph classes. In particular, we see that the concomitant polynomial of Theorem (11) has degree four. This is a great advantage in practice, since we can use explicit formulas for the largest root of polynomial of degree four and establish sharp upper bounds for the largest root of a distance polynomial.
Generally, we point out that this paper does not deal with calculating the zeros of complex or real polynomials numerically, see . This problem and the task we dealt with in our paper can not compared directly as locating the zeros of a polynomial, e.g., to determine zero bounds does not necessarily require to compute the zeros numerically. For example, Cauchy's bound (see Theorem (3)) and other explicit ones can be determined immediately without using any algorithms, e.g., the method due to Lehmer-Schur to calculate zeros explicitly. Also, many problems do not require to calculate all zeros explicitly as estimations for the zeros are often adequate, e.g., when determining a bound of the largest eigenvalue of a characteristic polynomial, see . But in fact, the analytical methods such as bounds can be useful for using numerical approaches properly as the bound values could be used as starting values.
Summary and Conclusion
In this paper we have explored the location of zeros of special graph polynomials. Apart from locating the zeros of chromatic and flow polynomials , , this problem has not yet been investigated extensively for other types of graph polynomials. In this study, we applied classical and new results to locate the zeros of Wiener and distance polynomials representing special graph classes, see –. Clearly, similar statements can be easily obtained for general forms for these polynomials. Also, further theorems can be established by using suitable inequalities from the mathematical literature.
We point out that some of the gained zero bounds might be more practicable than existing results. For example, the root of the concomitant polynomial of Theorem (11) that has degree four can be determined much easier (by hand) than the root of an algebraic equation having degree . Interestingly, this bound turned out to be optimal for the considered graph classes. Note that zero-free regions for these polynomials could be easily obtained. We will tackle this problem as future work.
The next step was to evaluate the quality of the obtained zero bounds. This is crucial as some practical applications require sharp inclusion radii. Generally, to evaluate the quality of zero bounds relates to determine the bounds by using concrete polynomials or classes thereof. Clearly, it might be difficult to compare explicit and implicit bounds analytically. Thus to derive statements for their optimality, the bounds must be calculated explicitly. In this study, we tackled the problem by using the graph classes and found that Theorem (9) and Theorem (11) are optimal (see Table (1)–Table (4)). As future work, we will perform further studies to explore the optimality of zero bounds. Also, we want to study this problem theoretically and derive optimality statements for certain graph classes.
The meaning of the complex zeros of the Wiener polynomial is not yet understood. To tackle this problem in the future, it would be interesting to use also directed networks for exploring relationships between the complex zeros and certain structural properties of the underlying directed networks, e.g., the information flow. Apart from this problem, it would be worthwhile to explore the zero distribution of the Wiener polynomial. A starting point to do so could be employing the seminal work of Schmidt and Schur , .
- 1. Bonchev D, Rouvray DH (1991) Chemical Graph Theory. Introduction and Fundamentals. Abacus Press. New York, NY, USA.
- 2. Dong FM, Koh KM, Teo KL (2005) Chromatic Polynomials and Chromaticity of Graphs. World Scientific Publishing Company. New Jersey, NJ, USA.
- 3. Gutman I (1991) Polynomials in graph theory. In: Bonchev D, Rouvray DH, editors. Chemical Graph Theory. pp. 133–176. New York, NY, USA.
- 4. Ellis-Monaghan JA, Merino C (2010) Graph polynomials and their applications I: The Tutte polynomial. In: Dehmer M, editor. Structural Analysis of Complex Networks. Boston/Basel: Birkhäuser. pp. 219–255.
- 5. Gutman I, Harary F (1983) Generalizations of the matching polynomial. Utilitas Mathematica 24: 97–106.
- 6. Birkhoff GD (1912) A determinant formula for the number of ways of coloring a map. The Annals of Mathematics 14: 42–46.
- 7. Diudea MV (2010) Nanomolecules and Nanostructures. Polynomials and Indices. Mathematical Chemistry Monographs. University of Kragujevac and Faculty of Science Kragujevac. Kragujevac, Serbia.
- 8. Emmert-Streib F (2006) Algorithmic computation of knot polynomials of secondary structure elements of proteins. Journal of Computational Biology 13: 1503–1512.
- 9. Wiener H (1947) Structural determination of paraffin boiling points. Journal of the American Chemical Society 69: 17–20.
- 10. Yan W, Yang BY, Yeh Y (2007) The behavior of Wiener indices and polynomials of graphs under five graph decorations. Applied Mathematics Letters 18: 290–295.
- 11. Zadeh HS, Hamzeh A, Ashrafi AR (2009) Wiener-type invariants of some graph operations. Filomat 23: 103–113.
- 12. Polansky OE, Bonchev D (1986) The Wiener number of graphs. I. General theory and changes due to graph operations. MATCH Communications in Mathematical and in Computer Chemistry 21: 133–186.
- 13. AbuGhneim OA, Al-Ezeh H, Al-Ezeh M (2007) The Wiener polynomial of the k-th power graph. International Journal of Mathematics and Mathematical Sciences. Article ID 24873, doi:10.1155/2007/24873.
- 14. Ivanciuc O, Ivanciuc T, Diudea MV (1999) Polynomials and spectra of molecular graphs. Roumanian Chemical Quaterly Reviews 7: 41–67.
- 15. Gutman I, Polansky OE (1986) Mathematical Concepts in Organic Chemistry. Springer.
- 16. Lovász L, Pelikán J (1973) On the eigenvalues of trees. Periodica Mathematica Hungarica 3: 175–182.
- 17. Randić M, Vracko M, Novic M (2001) Eigenvalues as molecular descriptors. In: Diudea MV, editor. QSPR/QSAR Studies by Molecular Descriptors, Nova Publishing. pp. 93–120. Huntington, NY, USA.
- 18. Bonchev D (1995) Topological order in molecules 1. Molecular branching revisited. Journal of Molecular Structure: THEOCHEM 336: 137–156.
- 19. Todeschini R, Consonni V, Mannhold R (2002) Handbook of Molecular Descriptors. Wiley-VCH. Weinheim, Germany.
- 20. Dehmer M, Sivakumar L, Varmuza K (2012) Uniquely discriminating molecular structures using novel eigenvalue-based descriptors. MATCH Communications in Mathematical and in Computer Chemistry 67: 147–172.
- 21. Jackson B (2003) Zeros of chromatic and ow polynomials of graphs. Journal of Geometry 76: 95–109.
- 22. Kovše M (2009) Counting cubes in median graphs and related problems. Analysis of Complex Networks: From Biology to Linguistic. pp. 323–350. Weinheim, Germany.
- 23. Woodall D (1992) A zero-free interval for chromatic polynomials. Discrete Mathematics 101: 333–341.
- 24. Brešar B, Klavžar S, Škrekovski R (2006) Roots of cube polynomials of median graphs. Journal of Graph Theory 52: 37–50.
- 25. Hosoya H (1988) On some counting polynomials. Discrete Applied Mathematics 19: 239–257.
- 26. Křivka P, Trinajstić N (1983) On the distance polynomial of a graph. Applications of Mathematics 28: 357–363.
- 27. Sagan BE, Yeh YN, Zhang P (1996) The Wiener polynomial of a graph. International Journal of Quantum Chemistry 60: 959–969.
- 28. Marden M (1966) Geometry of polynomials. Mathematical Surveys of the American Mathematical Society, Vol. 3. Rhode Island, USA.
- 29. Rahman QI, Schmeisser G (2002) Analytic Theory of Polynomials. Critical Points, Zeros and Extremal Properties. Clarendon Press. Oxford, UK.
- 30. Dehmer M (2004) Die analytische Theorie der Polynome. Nullstellenschranken für komplexwertige Polynome. Weissensee-Verlag. Berlin, Germany.
- 31. Jain VK (1986) On the zeros of polynomials II. Journal of Mathematical and Physical Sciences 20: 259–267.
- 32. Joyal A, Labelle G, Rahman QI (1967) On the location of polynomials. Canadian Mathematical Bulletin 10: 53–63.
- 33. Mignotte M, Stefanescu D (1999) Polynomials: An Algorithmic Approach. Discrete Mathematics and Theoretical Computer Science. Springer. Singapore.
- 34. Obreschkoff N (1963) Verteilung und Berechnung der Nullstellen reeller Polynome. Hochschulbücher für Mathematik, Vol. 55. VEB Deutscher Verlag der Wissenschaften. Berlin, Germany.
- 35. Cvetković DM, Doob M, Sachs H (1980) Spectra of Graphs. Theory and Application. Deutscher Verlag der Wissenschaften. Berlin, Germany.
- 36. Harary F (1969) Graph Theory. Addison Wesley Publishing Company. Reading, MA, USA.
- 37. Lepović M, Gutman I (1998) A collective property of trees and chemical. Journal of Chemical Information and Computer Sciences 38: 823–826.
- 38. Montel P (1923) Sur les modules des zéros des polynômes. Annales Scientifiques de l'École Normale Supérieure 40: 1–34.
- 39. Fujiwara M (1916) Über die obere Schranke des absoluten Betrages der Wurzeln einer algebraischen Gleichung. Tôhoku Mathematical Journal 10: 167–171.
- 40. Kakeya S (1912) On the limits of the roots of an algebraic equation with positive coefficients. Tôhoku Mathematical Journal 2: 140–142.
- 41. Dehmer M, Mowshowitz A (2011) Bounds on the moduli of polynomial zeros. Applied Mathematics and Computation. accepted, doi:10.1016/j.amc.2011.09.043.
- 42. Cerone P, Dragomir SS (2010) Mathematical Inequalities. CRC Press. Boca Raton, FL, USA.
- 43. McKay BD (2010) Nauty. http://cs.anu.edu.au/~bdm/nauty/.
- 44. Kojima J (1914) On a theorem of Hadamard and its applications. Tôhoku Mathematical Journal 5: 54–60.
- 45. Householder AS (1970) The Numerical Treatment of a single Nonlinear Equation. McGraw-Hill. New York, NY, USA.
- 46. Schur I (1933) Untersuchungen über algebraische Gleichungen I: Bemerkungen zu einem Satz von E. Schmidt. Sitzungsberichte der Preußischen Akademie der Wissenschaften Physikalischmathematische Klasse, Berlin 7: 403–428.