Next Article in Journal
Compact Difference Schemes with Temporal Uniform/Non-Uniform Meshes for Time-Fractional Black–Scholes Equation
Previous Article in Journal
Unlimited Sampling Theorem Based on Fractional Fourier Transform
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Roots of a Family of Polynomials

Department of Mathematics and Computer Science, Technical University of Civil Engineering Bucharest, 020396 Bucharest, Romania
Fractal Fract. 2023, 7(4), 339; https://doi.org/10.3390/fractalfract7040339
Submission received: 9 March 2023 / Revised: 15 April 2023 / Accepted: 17 April 2023 / Published: 19 April 2023

Abstract

:
The aim of this paper is to give a characterization of the set of roots of a special family of polynomials. This family is relevant in reliability theory since it contains the reliability polynomials of the networks created by series-parallel compositions. We prove that the set of roots is bounded, being contained in the two disks of the radius equal to the golden ratio, centered at 0 and at 1. We study the closure of the set of roots and prove that it includes two disks centered at 0 and 1 of a radius slightly greater than 1, as well as the sinusoidal spirals centered at 0 and at 1, respectively. The expression of some limit points is also provided.
MSC:
30C10; 30C15; 26C10; 30D05; 05C31

1. Introduction

The location of the roots of polynomials has always been a subject of interest, starting from the very moment when Gauss introduced the geometric representation of complex numbers as points in the plane. One of the early results in this area was given by Cauchy, who proved (see [1]) that all of the roots of a polynomial with complex coefficients f ( z ) = k = 0 n a k z k lie in the disk
| z | 1 + max 0 k n a k a n .
Another important result concerning the roots of a polynomial with positive coefficients is the Eneström-Kakeya Theorem (see [2,3]), which states that if 0 < a 0 a 1 a n , then the roots of the polynomial f ( z ) = k = 0 n a k z k lie in the disk | z | 1 . An equivalent (but more useful) statement of the theorem (see [4,5]) is that the roots of the polynomial f ( z ) with positive coefficients lie in the annulus
min 1 k n a k 1 a k | z | max 1 k n a k 1 a k .
Besides the theoretical significance, the study of polynomial zeros has important applications in various domains such as control theory, signal processing, and network reliability theory. From a mathematical point of view, a network is an undirected graph with perfectly reliable nodes, with each edge independently operational with some probability p [ 0 , 1 ] . Introduced by Moore and Shannon in 1956 [6], the two-terminal reliability of a network is the probability that two specified nodes s and t (called terminals) are connected by a path made of operational edges, while the all-terminal reliability is the probability that any two nodes are connected by such a path [7,8]. In both cases, the reliability is a polynomial function in p.
Since it measures the robustness of a network, the reliability polynomial has become a very important research topic in recent decades. The combinatorial problem of calculating the reliability of a network has been proved to belong to the class of # P -complete problems [9], which means that the time of calculation exponentially increases with the size of the network. Therefore, the research in the field has mainly concentrated in two directions: the first direction aims at finding methods to approximate the reliability polynomial (see, for example [10,11,12,13,14,15]), while the other one studies the analytic properties of these polynomials, such as shape (convexity, inflection points) on the one hand [16,17,18,19] and roots (real or complex) on the other [20,21,22,23].
The roots of all-terminal reliability polynomials have been intensively studied, using the Eneström-Kakeya Theorem. In 1992, Brown and Colbourn conjectured that these roots lie inside the disk | z 1 | 1 [20]. The conjecture was proved to be false twelve years later [24], but the roots found outside the disk are still close to the circle | z 1 | = 1 . Although two-terminal reliability polynomials have many features in common with all-terminal reliability polynomials, their roots seem to behave quite differently. Recently, Brown and deGagné [21,23] have proved that the closure of the roots of two-terminal reliability polynomials contains the disks | z | 1 and | z 1 | 1 and that real roots approaching ϕ and 1 + ϕ exist (where ϕ = 1 + 5 2 is the golden ratio).
By taking a broader view, we remark that the reliability polynomial is just one of the polynomials associated with a graph. Another famous graph polynomial is the chromatic polynomial C G ( k ) used to describe the number of ways to color the vertices of a graph G with a given number of colors k so that no two adjacent vertices have the same color. The chromatic polynomial was introduced by Birkhoff in 1912 [25] in the hope that the study of the real or complex zeros of C G ( z ) might lead to an analytic proof of the four-color conjecture, which states that C G ( 4 ) > 0 for any planar graph G. Although this hope has not been realized, the zeros of C G ( z ) (called chromatic roots) have become a subject of great interest for scientists [26,27,28,29]. A remarkable theorem proved by Sokal [28] states that the set of chromatic roots is dense in the complex plane, while Jackson [27] and Thomassen [29] proved that the closure of the real chromatic roots is the set { 0 , 1 } [ 32 / 27 , ) .
Similar results have been demonstrated for two other (“younger”) polynomials: the independence polynomials and the domination polynomials. The independence polynomial I G ( x ) was defined by Gutman and Harary in 1983 [30] as I G ( x ) = s k x k , where s k is the number of independent k-sets (an independent set in a graph is a set of pairwise non-adjacent vertices). Brown et al. [31] proved that real roots of independence polynomials are dense in ( , 0 ] , while complex roots are dense in C . The roots of independence polynomials (called independence roots) continue to be a highly interesting area of research (see, for instance, [32]).
Introduced by Arocha and Llano [33] just two decades ago, the domination polynomials have quickly become an attractive topic for researchers in the field [34,35,36,37]. A dominating set of a graph G is a set of vertices S such that every vertex that is not in S is adjacent to a vertex of S. The domination polynomial is defined by the formula D G ( x ) = d k x k , where d k is the number of dominating sets with k elements. The complex roots of these polynomials (domination roots) were proved to be also dense in the complex plane [37], while the closure of the real roots is ( , 0 ] [34].
The main contributions of the paper are as follows:
  • We introduce the family F of polynomials obtained by composing the elementary polynomials g ( x ) = 1 x and φ n ( x ) = x n .
  • We prove that the set of roots of this infinite family of polynomials is bounded by the circles | z | = ϕ and | z 1 | = ϕ . A direct consequence is that the roots of the reliability polynomials of series-parallel composition networks are bounded.
  • Starting from the result proved by Brown and deGagné [21,23], we show that the closure of the set of roots of the polynomials in F contains the domain bounded by the lemniscates with n poles centered at 0 and at 1; hence, it contains two disks of radius slightly greater than 1, centered at 0 and at 1.
  • We find 16 complex limit points of the set of roots apart from ϕ and 1 + ϕ , the two limit points on the real axis noted in [21].
The paper is organized in 6 sections (including this introductory section). Section 2 introduces the family F of polynomials and describes their basic properties. In Section 3, we prove that the roots of these polynomials are bounded by the two circles of radius ϕ centered at 0 and at 1. Section 4 is devoted to the closure of the set of roots S ¯ , while Section 5 establishes a number of limit points of the set of roots. The conclusions and some open problems raised by the paper are presented in Section 6.

2. Preliminaries

An important class of two-terminal networks are those obtained by series-parallel compositions (see [22,38,39,40]). The reliability of a network consisting of n identical edges connected in series, each one independently working with the probability p, is p n , while the reliability of a network with n edges connected in parallel is 1 ( 1 p ) n . Therefore, it is quite natural to consider the family of polynomials obtained by composing the polynomials:
φ n ( x ) = x n , n = 2 , 3 , , g ( x ) = 1 x .
The aim of the paper is to provide a characterization of the set of roots of these polynomials.
First of all, we notice that g = g 1 and φ m φ n = φ m n for any m , n 2 . We also remark that for any polynomial f and every n 2 , the polynomial φ n f has the same roots as f. Thus, using for composition the notation f g = f g , we define the family of polynomials F = F 0 F 1 , where F 0 and F 1 are the disjoint sets
F 0 = { f = g φ n 1 g φ n k : n j 2 , j = 1 k , k 1 } , F 1 = { f = g φ n 1 g φ n k g : n j 2 , j = 1 k , k 1 } .
Not every polynomial of the family F is the reliability polynomial of some network created by series-parallel composition. The reliability polynomials of such networks are the members of F 0 with k even, and the members of F 1 with k odd (in other words, the compositions where the polynomial g has an even number of occurrences).
Consider, for instance, the series-parallel network N m , n consisting of m internally disjoint paths (each of length n) connecting the two vertices s and t. If each edge is operational with some probability x [ 0 , 1 ] , then the reliability polynomial of the network (the probability that the two terminals s and t are connected by at least one operational path) is
f m , n ( x ) = 1 ( 1 x n ) m = g φ m g φ n ( x ) .
Suppose that k such networks are connected in series to form a more complex network, N k , m , n . The reliability polynomial of this network is
f k , m , n ( x ) = 1 ( 1 x n ) m k = φ k g φ m g φ n ( x ) ,
and its roots are the same as the roots of f m , n ( x ) .
Let S denote the set of all roots of the polynomials in F and, for every k = 1 , 2 , , we denote by L k and R k , respectively, the following sets of roots:
L k = { z C : n 1 , , n k 2 s . t . g φ n 1 g φ n k ( z ) = 0 } ,
R k = { z C : n 1 , , n k 2 s . t . g φ n 1 g φ n k g ( z ) = 0 } .
Obviously, the set S can be written
S = k 1 ( L k R k )
and the following properties can be readily proved using the Definitions (3) and (4) of the sets L k and R k .
Proposition 1.
For every k 1 , we have:
(i) 
R k = 1 L k (the sets R k and L k are symmetric to each other with respect to 1 2 );
(ii) 
L k + 1 = n 2 ( g φ n ) 1 ( L k ) = n 2 φ n 1 ( R k ) .
(iii) 
L k L k + 2 and R k R k + 2 , k = 1 , 2 , .
Proof. 
The first two statements easily follow from the Definitions (3) and (4). We prove (iii):
If z L k , then there exists n 1 , , n k 2 such that g φ n 1 g φ n k ( z ) = 0 . It follows that, for any m , n 2 , we have g φ n g φ m g φ n 1 g φ n k ( z ) = 0 ; hence, z L k + 2 , and we have just proved that L k L k + 2 . The other inclusion follows by (i). □
We notice that the closure of L 1 is the unit circle centered at 0,
L 1 ¯ = C 0 ( 1 ) = { z C : | z | = 1 }
and the closure or R 1 = 1 L 1 is the unit circle centered at 1:
R 1 ¯ = C 1 ( 1 ) = { z C : | z 1 | = 1 } .
As for the real roots, we remark that the polynomials of F have no real roots in the interval ( 0 , 1 ) . As a matter of fact, f ( x ) ( 0 , 1 ) for any x ( 0 , 1 ) and f F , and we can prove the following result:
Proposition 2.
Let f F , f = g φ n 1 g φ n k , where n j 2 for every j = 1 , , k 1 and n k 1 .
(i) 
If k is even then f ( 0 ) = 0 , f ( 1 ) = 1 and f is strictly increasing on [ 0 , 1 ] .
(ii) 
If k is odd then f ( 0 ) = 1 , f ( 1 ) = 0 and f is strictly decreasing on [ 0 , 1 ] .
Proof. 
We notice that g φ n ( 0 ) = 1 , g φ n ( 1 ) = 0 , and g φ n ( x ) ( 0 , 1 ) for any x ( 0 , 1 ) and n 2 . Since
f ( x ) = ( 1 ) k n 1 n 2 n k φ n 1 1 g φ n 2 g φ n 1 ( x ) · φ n 2 1 g φ n 3 g φ n 1 ( x ) φ n k 1 ( x ) ,
we obtain that, for any x ( 0 , 1 ) , f ( x ) > 0 if k is even and f ( x ) < 0 if k is odd. □
Remark 1.
Let f F , f = g φ n 1 g φ n k , where n j 2 , j = 1 , , k 1 and n k 1 if k 3 , n k 2 if k = 2 . Then, f ( 0 ) = f ( 1 ) = 0 and so the points z = 0 , z = 1 are attracting fixed points for f if k is even, or they form an attracting cycle if k is odd (see [41]).
Proposition 3.
If f = g φ n 1 g φ n k F 0 , then its nonzero roots are placed on circles centered at the origin. If f = g φ n 1 g φ n k g F 1 , then its roots different from 1 are placed on circles centered at z = 1 . In both cases, each circle contains n k = m equally spaced points (but some circles may coincide).
Proof. 
Suppose that f = g φ n 1 g φ n k . We denote by f 1 ( x ) the polynomial
f 1 ( x ) = g φ n 1 g φ n 2 g φ n k 1 g ( x ) .
Let d 1 be the degree of f 1 ( x ) , d 1 = n 1 n 2 n k 1 , and let w 1 , , w d 1 C be the roots of f 1 ( x ) . If we denote n k = m , the polynomial f ( x ) can be written as follows:
f ( x ) = f 1 ( x m ) = ± j = 1 d 1 ( x m w j ) .
Consequently, the nonzero roots of f ( x ) are obtained by solving each equation x m = w j with w j 0 , whose solutions are m equally spaced points on the circle of radius w j m , centered at the origin.
If f = g φ n 1 g φ n k g , then f ( x ) = h ( 1 x ) , where h F 0 . If z 1 , z 2 , , z d are the nonzero roots of h (placed on circles centered at the origin); then, 1 z 1 , 1 z 2 , , 1 z d are the roots of f different from 1 (placed on circles centered at z = 1 ). □

3. Bounds for the Set of Roots S

Lemma 1.
Let z , ζ C such that ζ k = z , where k 2 is an integer. If z 1 2 < 1 + 5 2 , then ζ < 1 + 5 2 .
Proof. 
We have ζ = | z | k . If | z | 1 , then ζ 1 < 1 + 5 2 . Otherwise, if | z | > 1 , then ζ > 1 , so we have
ζ = | z | k | z | z 1 2 + 1 2 < 3 + 5 2 = 1 + 5 2 .
For any w C and r > 0 , we denote by
D w ( r ) = { z C : | z w | < r } , D ¯ w ( r ) = { z C : | z w | r }
the open disk (and the closed disk, respectively) of radius r centered at w.
Theorem 1.
The set of roots S of the polynomials in F is contained into the open disk
D 1 / 2 1 + 5 2 = z C : z 1 2 < 1 + 5 2 .
Proof. 
We prove by mathematical induction on k 1 that the roots of any polynomial of the form
f ( x ) = g φ n 1 g φ n 2 g φ n k ( x )
are inside the disk D 1 / 2 1 + 5 2 .
For k = 1 , the roots of the polynomial f ( x ) = g φ n 1 ( x ) = 1 x n 1 are the complex roots of unity: n 1 equidistant points placed on the circle of radius 1, which is inside the disk D 1 / 2 1 + 5 2 .
We suppose that the statement is true for k and prove it for k + 1 . Consider the polynomial
f ( x ) = g φ n 1 g φ n 2 g φ n k g φ n k + 1 ( x ) .
By the induction hypothesis, the roots w 1 , , w n of the polynomial
f 1 ( x ) = g φ n 1 g φ n 2 g φ n k ( x )
are inside the disk D 1 / 2 1 + 5 2 . If n k + 1 = 1 , then
f ( x ) = f 1 ( 1 x ) ,
so the roots of f ( x ) are 1 w 1 , , 1 w n , which are also inside the disk D 1 / 2 1 + 5 2 .
If n k + 1 = m > 1 , then
f ( x ) = f 1 ( 1 x m ) ,
so the roots of f ( x ) are the roots of x m = 1 w j , j = 1 , , n . Since 1 w j D 1 / 2 1 + 5 2 , by Lemma 1 it follows that the roots of f ( x ) are also inside the disk, and the proof is complete. □
Based on Lemma 1 and Theorem 1, we can find a smaller set containing the set of roots S (see Figure 1).
Corollary 1.
The set of roots S is contained into the union of disks
D 0 ( ϕ ) D 1 ( ϕ ) = z : z < ϕ z : z 1 < ϕ ,
where ϕ = 1 + 5 2 is the golden ratio.

4. The Closure S ¯ of the Set of Roots

Consider the sets of roots
L 2 = { z C : m , n 2 s . t . g φ m g φ n ( z ) = 0 } R 2 = { z C : m , n 2 s . t . g φ m g φ n g ( z ) = 0 } = 1 L 2 .
Theorem 2.
(see also [21,23]) The closure of L 2 contains the unit closed disk centered at 0, while the closure of R 2 contains the unit closed disk centered at 1:
D ¯ 0 ( 1 ) L 2 ¯ , D ¯ 1 ( 1 ) R 2 ¯ .
Proof. 
Let z 0 = r e i t , r ( 0 , 1 ) , t [ 0 , 2 π ] be a point inside the disk D 0 ( 1 ) and ε > 0 be a small positive number ( ε < r and ε < 1 r ). We consider the region of the complex plane
D z 0 , ε = z = ρ e i θ : ρ r < ε 2 , θ t < ε 2 .
As can be easily seen, the supremum of the distance | z z 0 | in the region D z 0 , ε is obtained for z = z 1 , 2 = r + ε 2 e i ( t ± ε 2 ) and we have:
| z 1 , 2 z 0 | = r e i t e ± i ε 2 1 + ε 2 e i ( t ± ε 2 ) r cos ε 2 ± i sin ε 2 1 + ε 2 = 2 r sin ε 4 + ε 2 2 · ε 4 + ε 2 = ε .
It follows that | z z 0 | < ε for any z D z 0 , ε .
We shall prove that there are some natural numbers m , n 2 such that the polynomial f m , n ( x ) = g φ m g φ n ( x ) = 1 ( 1 x n ) m has at least one root in the region D z 0 , ε .
The nonzero roots of f m , n verify the equation
z n = 1 cos 2 k π m i sin 2 k π m
for some k { 1 , 2 , , m 1 } . Since the roots of (6) are n equally spaced points on the circle of radius r m , n k = 2 sin k π m n , in order to be sure that at least one root lies in the region D z 0 , ε it suffices to take n large enough such that 2 π n < ε and to choose m and k such that the circle of radius r m , n k crosses the region, that is,
r ε 2 n < 2 sin k π m < r + ε 2 n .
We notice that sin k π m = sin ( m k ) π m , so we can take k { 1 , 2 , , m 2 } . Since
2 π x sin x x , x 0 , π 2 ,
we obtain that the inequalities (7) hold if we can choose n, m, and k such that
1 4 r ε 2 n < k m < 1 2 π r + ε 2 n .
Therefore, we take n sufficiently large such that
r ε 2 r + ε 2 n < 4 2 π ,
and m sufficiently large such that
1 m < 1 2 π r + ε 2 n 1 4 r ε 2 n .
It follows that there is at least one k { 1 , 2 , , m 2 } for which the inequalities (8) hold.
If z 0 = e i t , then we take the region
D z 0 , ε = z = ρ e i θ : r ε 2 < ρ < 1 , θ t < ε 2 .
and the proof follows the same steps as above.
Since R 2 = 1 L 2 and D ¯ 1 ( 1 ) = 1 D ¯ 0 ( 1 ) , we have also D ¯ 1 ( 1 ) R 2 ¯ . □
We denote the two closed disks by L 1 = D ¯ 0 ( 1 ) and R 1 = D ¯ 1 ( 1 ) and, for every k = 2 , 3 , ,
L k = n 2 φ n 1 R k 1 , R k = 1 L k .
Corollary 2.
For every k = 1 , 2 , , we have:
L k L k + 1 ¯ and R k R k + 1 ¯ .
Proof. 
We prove by mathematical induction on k. For k = 1 , we have (by Theorem 2) L 1 L 2 ¯ and R 1 R 2 ¯ .
If we suppose that L p L p + 1 ¯ and R p R p + 1 ¯ , then φ n 1 ( R p ) φ n 1 R p + 1 ¯ = φ n 1 ( R p + 1 ) ¯ for every n 2 . By Proposition 1 and equation (9), we obtain that
L p + 1 n 2 φ n 1 ( R p + 1 ) ¯ n 2 φ n 1 ( R p + 1 ) ¯ = L p + 2 ¯ ,
and so (10) follows. □
Corollary 3.
The closure S ¯ of the set of roots of the polynomials in F is given by
S ¯ = k 1 ( L k R k ) ¯ = lim k ( L k R k ) ¯ ,
as the sets L k R k are nested: ( L 1 R 1 ) ( L 2 R 2 ) .
Proof. 
We can prove by mathematical induction on k that
L k L k and R k R k , for any k = 1 , 2 , .
Obviously, we have L 1 L 1 and R 1 R 1 . If we suppose that L p L p and R p R p , then φ n 1 R p φ n 1 R p for every n 2 . By Proposition 1 and equation (9), we obtain that L p + 1 L p + 1 and R p + 1 R p + 1 , and so (12) follows. Since the sets L k and R k are closed, we obtain by Corollary 2 that ( L k R k ) ( L k + 1 R k + 1 ) for every k = 1 , 2 , ; hence,
k 1 ( L k R k ) = lim k ( L k R k ) .
We have:
S = k 1 ( L k R k ) k 1 ( L k R k ) ,
so
S ¯ k 1 ( L k R k ) ¯ .
For the other inclusion, we use Corollary 2. Thus, we have
k 1 ( L k R k ) k 1 ( L k + 1 ¯ R k + 1 ¯ ) k 1 ( L k ¯ R k ¯ ) ,
hence
k 1 ( L k R k ) ¯ k 1 ( L k R k ) ¯ = S ¯
and the corollary follows. □
For every n = 2 , 3 , and j = 0 , 1 , , n 1 , we define the function ψ n j : C C ,
ψ n j ( z ) = | z | n exp i arg z n · ω n j ,
where
ω n j = exp i 2 j π n , j = 0 , 1 , , n 1
are the roots of order n of the unity. We denote by P n j = ψ n j g ( L 1 ) = ψ n j ( R 1 ) the image of the disk D ¯ 1 ( 1 ) through ψ n j and
P n = j = 0 n 1 P n j = φ n 1 ( R 1 ) = { | z n 1 | 1 } .
Obviously,
L 2 = n 2 P n .
Let P n j = ψ n j C 1 ( 1 ) be the boundary of P n j and, for every n = 2 , 3 , ,
P n = j = 0 n 1 P n j = { | z n 1 | = 1 } .
For n = 2 , the curve P 2 is the lemniscate of Bernoulli (see Figure 2a). For n = 3 , we obtain the Kiepert curve (see Figure 2b). In general, the curve P n defined by (13) is called a sinusoidal spiral or a lemniscate with n poles (see [42,43]). These algebraic curves having the polar equation r n = a n cos ( n θ ) ( n Q ) were studied for the first time by Maclaurin in 1718.
The equation | z n 1 | = 1 can be written in the equivalent form:
z ω n 0 · z ω n 1 · · z ω n n 1 = 1 .
Therefore, if A 0 ( ω n 0 ) , A n 1 ( ω n n 1 ) are the vertices of the regular polygon formed by the complex roots of unity, then P n is the set of all the points M ( z ) that satisfy
M A 0 · M A 1 · · M A n 1 = 1 .
As can be easily noticed, a lemniscate with n poles is composed of n identical “petals” obtained by rotating the base pattern P n 0 about the origin with angle 2 j π n , j = 1 , 2 , , n 1 (see Figure 3):
P n j : z = 2 cos n θ n · e i θ · ω n j , θ π 2 n , π 2 n , j = 0 , 1 , , n 1 .
The “length” of each petal (the distance from the origin to the most distant point) is equal to 2 n .
We present P n and 1 P n for n = 2 , , 7 in Figure 4 (exterior dot circles are centered at 0 and 1, respectively, and have the radius ϕ ).
Obviously, the “petals” contained in the disks D 0 ( 1 ) (and D 1 ( 1 ) ) or those included in other petals are not of interest. We shall prove that the “interesting petals” are only those presented in Figure 5. Thus, the next theorem shows that the infinite union L 2 R 2 can be written as a finite union.
Theorem 3.
With the notations above, we have:
L 2 R 2 = n = 2 7 P n ( 1 P n ) .
Proof. 
To find the largest radius r > 0 such that
D 0 ( r ) n = 2 7 P n ( 1 P n ) ,
we calculate the intersections (other than the origin) of the “interesting petals” (due to the symmetry with respect to x axis, we need to study only the points above it). We present the results in Table 1.
It follows that the largest disk contained in n = 2 7 P n ( 1 P n ) has the radius r = 1.0945 > 2 8 , which means that
P m ( 1 P m ) D 0 ( r ) D 1 ( r ) n = 2 7 P n ( 1 P n )
for every m 8 and the theorem is proved. □
Figure 5 presents the set L 2 R 2 (only the significant petals are drawn). The blue circles are the circles of radius 1.0945 centered at 0 and at 1.
Since L 2 R 2 is a finite union of “petals”, it follows that L 3 R 3 can be also written as a finite union as
L 3 R 3 = n = 2 7 φ n 1 R 2 1 φ n 1 R 2 ,
and generally,
L k + 1 R k + 1 = n = 2 7 φ n 1 R k 1 φ n 1 R k .
The sets L 3 R 3 and L 4 R 4 are presented in Figure 6: the boundary of L 3 R 3 is given by the red curves in Figure 6a, while the the boundary of L 4 R 4 is formed by the blue curves in Figure 6b. By comparing the two images in Figure 6, it becomes apparent that as k increases, the newly acquired domain ( L k + 1 R k + 1 ) ( L k R k ) becomes progressively less significant, compared to the time required for calculations, which increases exponentially (representing the primary technical difficulty). Therefore, we let L 4 R 4 be an approximation of S and try to find (in the next section) some limit points.

5. Limit Points

As mentioned above, the difference between L k R k and L k + 1 R k + 1 tends to vanish as k increases. Although we cannot tell the exact expression of the boundary of S ¯ , we can find some limit points (belonging to the boundary of S ¯ ).
First of all, we shall prove that the two limit points on the real axis are ϕ and 1 + ϕ .
The leftmost limit point is the limit of the sequence { x n } defined by the recurrence relationship
x n + 1 = ψ 2 1 g ( x n ) = 1 x n
for every n 1 , and x 1 = 1 = ψ 2 1 g ( 0 ) .
It can be easily proved that the sequence { x n } is monotonically decreasing and bounded; hence, it is convergent. Its limit ξ = lim n x n is the negative root of the equation
ξ 2 + ξ 1 = 0 ,
so ξ = 1 + 5 2 = ϕ . Obviously, the rightmost limit point is 1 ξ = 1 + ϕ = ϕ 2 .
The limit points in the directions arg z = 2 π 3 and arg z = 4 π 3 , respectively, are the limits of the sequences
y n = ψ 3 1 g ψ 2 1 g ψ 2 1 g ψ 2 1 g n ( 0 ) = ψ 3 1 g ( x n ) , z n = ψ 3 2 g ψ 2 1 g ψ 2 1 g ψ 2 1 g n ( 0 ) = ψ 3 2 g ( x n ) ,
hence, we obtain another four limit points:
lim n y n = ψ 3 1 ( 1 + ϕ ) = ϕ 2 3 exp i 2 π 3 and 1 ϕ 2 3 exp i 2 π 3 , lim n z n = ψ 3 2 ( 1 + ϕ ) = ϕ 2 3 exp i 4 π 3 and 1 ϕ 2 3 exp i 4 π 3 .
Similarly, the limit points on the imaginary axis (in the directions arg z = π 2 and arg z = 3 π 2 respectively), together with their symmetrics w.r.t 1 2 are given by:
lim n ψ 4 1 g ( x n ) = ψ 4 1 ( 1 + ϕ ) = i ϕ , and 1 i ϕ lim n ψ 4 3 g ( x n ) = ψ 4 1 ( 1 + ϕ ) = i ϕ , and 1 + i ϕ .
Finally, by considering the directions arg z = 2 π 5 , 4 π 5 , 6 π 5 , 8 π 5 , we find another 8 limit points:
lim n ψ 5 1 g ( x n ) = ψ 5 1 ( 1 + ϕ ) = ϕ 2 5 exp i 2 π 5 and 1 ϕ 2 5 exp i 2 π 5 lim n ψ 5 2 g ( x n ) = ψ 5 2 ( 1 + ϕ ) = ϕ 2 5 exp i 4 π 5 and 1 ϕ 2 5 exp i 4 π 5 lim n ψ 5 3 g ( x n ) = ψ 5 3 ( 1 + ϕ ) = ϕ 2 5 exp i 6 π 5 and 1 ϕ 2 5 exp i 6 π 5 lim n ψ 5 4 g ( x n ) = ψ 5 4 ( 1 + ϕ ) = ϕ 2 5 exp i 8 π 5 and 1 ϕ 2 5 exp i 8 π 5
All of these limit points (together with the set L 3 R 3 ) are presented in Figure 7. For any n 6 and j = 1 , , n 1 , the points ψ n j ( 1 + ϕ ) are not limit points because they are contained into L n R n .

6. Discussion and Conclusions

The paper studies the set of roots of the family of polynomials obtained by composing g ( x ) = 1 x with polynomials of the type φ n ( x ) = x n . The reliability polynomials of the networks created by series-parallel compositions belong to this family. We prove that the set of roots is bounded by the two circles of radius ϕ centered at 0 and at 1.
Brown and deGagné have proved in [21] that the closure of two-terminal reliability roots contains the closed unit disks centered at 0 and at 1. We also study the closure of the set of roots of the family of polynomials considered and prove that it includes not only these two disks but also the domain bounded by the lemniscates with n poles, z n 1 1 and ( 1 z ) n 1 1 . We proved that the two disks completely covered by these sinusoidal spirals have a radius slightly greater than 1.
Some interesting open problems arise naturally:
  • What is the maximum radius of the two disks contained into the closure of the set of roots?
  • How can one find other limit points, apart from the ones presented in the last section of the paper?
  • The real roots are proved to be in ( ϕ , 0 ] [ 1 , 1 + ϕ ) , and the points ϕ and 1 + ϕ are proved to be limit points. Is the set of real roots dense in [ ϕ , 0 ] [ 1 , 1 + ϕ ] ?

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

The author wishes to express her gratitude to Leonard Dăuş, Vlad-Florin Drăgoi, and Valeriu Beiu for the stimulating discussions and insightful comments, as well as for the indirect support from a grant of the Romanian Ministry of Education and Research, CNCS-UEFISCDI, project number PN-III-P4-ID-PCE-2020-2495, within PNCDI III (ThUNDER 2 = Techniques for Unconventional Nano-Designing in the Energy-Reliability Realm). Special thanks to Vlad-Florin Drăgoi for his help in preparing Figure 1, Figure 2, Figure 3, Figure 4, Figure 5, Figure 6 and Figure 7 using Maple.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Cauchy, A.L. Exercises de Mathématique; Année 4. De Bure Frères: Paris, France, 1829. [Google Scholar]
  2. Gardner, R.; Govil, N.K. The Eneström–Kakeya Theorem and some of its generalizations. In Current Topics in Pure and Computational Complex Analysis; Joshi, S., Dorff, M., Lahiri, I., Eds.; Springer: New Delhi, India, 2014; pp. 171–200. [Google Scholar]
  3. Marden, M. Geometry of Polynomials, 2nd ed.; American Mathematical Society: Providence, RI, USA, 1966. [Google Scholar]
  4. Anderson, N.; Saff, E.B.; Varga, R.S. On the Enestróm-Kakeya theorem and its sharpness. Linear Algebra Appl. 1979, 28, 5–16. [Google Scholar] [CrossRef]
  5. Rahman, Q.I.; Schemeisser, G. Analytic Theory of Polynomials; London Mathematical Society Monographs (New Series 26); Oxford University Press: Oxford, UK, 2002. [Google Scholar]
  6. Moore, E.F.; Shannon, C.E. Reliable circuits using less reliable relays—Part I. J. Frankl. Inst. 1956, 262, 191–208. [Google Scholar] [CrossRef]
  7. Colbourn, C.J. The Combinatorics of Network Reliability; Oxford University Press: New York, NY, USA, 1987. [Google Scholar]
  8. Colbourn, C.J. Combinatorial aspects of network reliability. Ann. Oper. Res. 1991, 33, 1–15. [Google Scholar] [CrossRef]
  9. Valiant, C. The complexity of enumeration and reliability problems. SIAM J. Comput. 1979, 8, 410–421. [Google Scholar] [CrossRef]
  10. Beiu, V.; Drăgoi, V.F.; Beiu, R.M. Why reliability for computing needs rethinking. In Proceedings of the 2020 International Conference on Rebooting Computing (ICRC), Atlanta, GA, USA, 1–3 December 2020; IEEE: Piscataway, NJ, USA, 2020; pp. 16–25. [Google Scholar]
  11. Cristescu, G.; Drăgoi, V.F. Efficient approximation of two-terminal networks reliability polynomials using cubic splines. IEEE Trans. Reliab. 2021, 70, 1193–1203. [Google Scholar] [CrossRef]
  12. Jianu, M.; Ciuiu, D.; Dăuş, L.; Jianu, M. Markov chain method for computing the reliability of hammock networks. Probab. Eng. Inf. Sci. 2022, 36, 276–293. [Google Scholar] [CrossRef]
  13. Cowell, S.R.; Hoară, S.; Beiu, V. Experimenting with beta distributions for approximating hammocks’ reliability. In Intelligent Methods in Computing, Communications and Control, Proceedings of the 8th International Conference on Computers Communications and Control (ICCCC 2020), Oradea, Romania, 11–15 May 2020; Springer: Cham, Switzerland, 2021; pp. 70–81. [Google Scholar]
  14. Jianu, M.; Dăuş, L.; Hoară, S.H.; Beiu, V. Using Delta-Wye transformations for estimating networks’ reliability. In Intelligent Methods Systems and Applications in Computing, Communications and Control, Proceedings of the 9th International Conference on Computers Communications and Control (ICCCC 2022), Oradea, Romania, 16–20 May 2022; Springer: Cham, Switzerland, 2023; pp. 415–426. [Google Scholar]
  15. Dăuş, L.; Jianu, M. Full Hermite interpolation of the reliability of a hammock network. Appl. Anal. Discret. Math. 2020, 14, 198–220. [Google Scholar] [CrossRef]
  16. Cristescu, G.; Drăgoi, V.F.; Hoară, S.H. Generalized convexity properties and shape-based approximation in networks reliability. Mathematics 2021, 9, 3182. [Google Scholar] [CrossRef]
  17. Dăuş, L.; Jianu, M. The shape of the reliability polynomial of a hammock network. In Intelligent Methods in Computing, Communications and Control, Proceedings of the 8th International Conference on Computers Communications and Control (ICCCC 2020), Oradea, Romania, 11–15 May 2020; Springer: Cham, Switzerland, 2021; pp. 93–105. [Google Scholar]
  18. Graves, C.; Milan, D. Reliability polynomials having arbitrarily many inflection points. Networks 2014, 64, 1–5. [Google Scholar] [CrossRef]
  19. Mol, L. On Connectedness and Graph Polynomials. Ph.D. Thesis, Dalhousie University, Halifax, NS, Canada, 2016. [Google Scholar]
  20. Brown, J.I.; Colbourn, C.J. Roots of the reliability polynomial. SIAM J. Discr. Math. 1992, 5, 571–585. [Google Scholar] [CrossRef]
  21. Brown, J.I.; DeGagné, C.D.C. Roots of two-terminal reliability polynomials. Networks 2021, 78, 153–163. [Google Scholar] [CrossRef]
  22. Dăuş, L.; Drăgoi, V.F.; Jianu, M.; Bucerzan, D.; Beiu, V. On the roots of certain reliability polynomials. In Intelligent Methods Systems and Applications in Computing, Communications and Control, Proceedings of the 9th International Conference on Computers Communications and Control (ICCCC 2022), Oradea, Romania, 16–20 May 2022; Springer: Cham, Switzerland, 2023; pp. 401–414. [Google Scholar]
  23. DeGagné, C.D.C. Network Reliability, Simplicial Complexes, and Polynomial Roots. Ph.D. Thesis, Dalhousie University, Halifax, NS, Canada, 2020. [Google Scholar]
  24. Royle, G.; Sokal, A.D. The Brown–Colbourn conjecture on zeros of reliability polynomials is false. J. Comb. Theory 2004, 91, 345–360. [Google Scholar] [CrossRef]
  25. Birkhoff, G.D. A determinantal formula for the number of ways of coloring a map. Ann. Math. 1912, 14, 42–46. [Google Scholar] [CrossRef]
  26. Cameron, P.J.; Morgan, K. Algebraic properties of chromatic roots. Electron. J. Comb. 2017, 24, 1–21. [Google Scholar] [CrossRef] [PubMed]
  27. Jackson, B. A zero-free interval for chromatic polynomials of graphs. Comb. Probab. Comput. 1993, 2, 325–336. [Google Scholar] [CrossRef]
  28. Sokal, A.D. Chromatic roots are dense in the whole complex plane. Comb. Probab. Comput. 2004, 13, 221–261. [Google Scholar] [CrossRef]
  29. Thomassen, C. The zero-free intervals for chromatic polynomials of graphs. Comb. Probab. Comput. 1997, 6, 497–506. [Google Scholar] [CrossRef]
  30. Gutman, I.; Harary, F. Generalizations of the matching polynomial. Util. Math. 1983, 24, 97–106. [Google Scholar]
  31. Brown, J.I.; Hickman, C.A.; Nowakowski, R.J. On the location of roots of independence polynomials. J. Algebr. Comb. 2004, 19, 273–282. [Google Scholar] [CrossRef]
  32. Brown, J.I.; Cameron, B. A note on purely imaginary independence roots. Discrete Math. 2020, 343, 112113. [Google Scholar] [CrossRef]
  33. Arocha, J.L.; Llano, B. Mean value for the matching and dominating polynomial. Discuss. Math. Graph Theory 2000, 20, 57–69. [Google Scholar] [CrossRef]
  34. Beaton, I.; Brown, J.I. On the real roots of domination polynomials. Contrib. Discret. Math. 2021, 16, 175–182. [Google Scholar]
  35. Beaton, I.; Brown, J.I.; Cox, D. Optimal domination polynomials. Graph. Combinator. 2020, 36, 1477–1487. [Google Scholar] [CrossRef]
  36. Beaton, I.; Brown, J.I. On the unimodality of domination polynomials. Graphs Comb. 2022, 38, 90. [Google Scholar] [CrossRef]
  37. Brown, J.I.; Tufts, J. On the roots of domination polynomials. Graphs Comb. 2014, 30, 527–547. [Google Scholar] [CrossRef]
  38. Drăgoi, V.F.; Beiu, V. Fast reliability ranking of matchstick minimal networks. Networks 2022, 79, 479–500. [Google Scholar] [CrossRef]
  39. Drăgoi, V.F.; Cowell, S.R.; Beiu, V. Ordering series and parallel compositions. In Proceedings of the 2018 IEEE 18th International Conference on Nanotechnology (IEEE-NANO), Cork, Ireland, 23–26 July 2018; IEEE: Piscataway, NJ, USA, 2019; pp. 1–4. [Google Scholar]
  40. Drăgoi, V.F.; Cowell, S.R.; Beiu, V.; Hoară, S.; Gaspar, P. How reliable are compositions of series and parallel networks compared with hammocks? Int. J. Comput. Commun. Control 2018, 13, 772–791. [Google Scholar] [CrossRef]
  41. Beardon, A. Iteration of Rational Functions; Springer: New York, NY, USA, 1991. [Google Scholar]
  42. Lawrence, J.D. A Catalog of Special Plane Curves; Dover: New York, NY, USA, 1972; p. 184. [Google Scholar]
  43. Lockwood, E.H. A Book of Curves; Cambridge University Press: London, UK, 1961; p. 175. [Google Scholar]
Figure 1. Bounds of the set of roots S .
Figure 1. Bounds of the set of roots S .
Fractalfract 07 00339 g001
Figure 2. The curves | z n 1 | = 1 for n = 2 and n = 3 .
Figure 2. The curves | z n 1 | = 1 for n = 2 and n = 3 .
Fractalfract 07 00339 g002
Figure 3. Lemniscate with seven poles. The red-colored curve is P 7 0 .
Figure 3. Lemniscate with seven poles. The red-colored curve is P 7 0 .
Fractalfract 07 00339 g003
Figure 4. Lemniscates with n = 2 , 3 , 4 , 5 , 6 , 7 poles, centered at 0 and at 1.
Figure 4. Lemniscates with n = 2 , 3 , 4 , 5 , 6 , 7 poles, centered at 0 and at 1.
Fractalfract 07 00339 g004
Figure 5. The set L 2 R 2 . The blue circles have the radius 1.0945.
Figure 5. The set L 2 R 2 . The blue circles have the radius 1.0945.
Fractalfract 07 00339 g005
Figure 6. (a) The set L 3 R 3 . (b) The set L 4 R 4 .
Figure 6. (a) The set L 3 R 3 . (b) The set L 4 R 4 .
Fractalfract 07 00339 g006
Figure 7. Limit points.
Figure 7. Limit points.
Fractalfract 07 00339 g007
Table 1. Points of intersection of the “interesting petals”.
Table 1. Points of intersection of the “interesting petals”.
z = P n 1 j 1 P n 2 j 2 | z |
P 2 1 P 7 3 1.1038
  P 7 3 P 5 2 1.0954
  P 5 2 P 3 1 1 . 0945
  P 3 1 P 7 2 1.1025
  P 7 2 P 4 1 1.0990
  P 4 1 P 5 1 1.1001
  P 5 1 P 6 1 1.0993
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Jianu, M. On the Roots of a Family of Polynomials. Fractal Fract. 2023, 7, 339. https://doi.org/10.3390/fractalfract7040339

AMA Style

Jianu M. On the Roots of a Family of Polynomials. Fractal and Fractional. 2023; 7(4):339. https://doi.org/10.3390/fractalfract7040339

Chicago/Turabian Style

Jianu, Marilena. 2023. "On the Roots of a Family of Polynomials" Fractal and Fractional 7, no. 4: 339. https://doi.org/10.3390/fractalfract7040339

APA Style

Jianu, M. (2023). On the Roots of a Family of Polynomials. Fractal and Fractional, 7(4), 339. https://doi.org/10.3390/fractalfract7040339

Article Metrics

Back to TopTop