Algebraic Numbers Satisfying Polynomials with Positive Rational Coefficients
Abstract
A theorem of Dubickas, affirming a conjecture of Kuba, states that a nonzero algebraic number is a root of a polynomial f with positive rational coefficients if and only if none of its conjugates is a positive real number. A certain quantitative version of this result, yielding a growth factor for the coefficients of f similar to the condition of the classical Eneström-Kakeya theorem of such polynomial, is derived. The bound for the growth factor so obtained is shown to be sharp for some particular classes of algebraic numbers.
1. Introduction
A nonzero complex number γ is called positively algebraic if it is a root of a polynomial all of whose coefficients are positive rational numbers. In 2005, Kuba [1] conjectured that a necessary condition for an algebraic number γ to be positively algebraic is that none of its conjugates is a positive real number. This conjecture was confirmed affirmatively by Dubickas [2], in 2007, through the following result.
Theorem 1 (see [2].)A nonzero complex number γ is a root of a polynomial with positive rational coefficients if and only if γ is an algebraic number such that none of its conjugates is a positive real number.
In 2009, Brunotte [3] gave an elementary proof of Dubickas-Kuba theorem based on the following lemma ([3, Lemma 2]), which is originated from [4] (see also [5]): if is a polynomial having no nonnegative roots, then there exists such that (1 + x) mf(x) has only positive coefficients. See also [6], where a bound for the degree of the polynomial with rational positive coefficients was given.
Lemma 2. Let r > 0 and . Then
- (1)
f(x) ∈ Q(r)⇔c0 ≥ 0, cj ≤ rcj+1 (0 ≤ j < J);
-
f(x) ∈ Q+(r)⇔c0 > 0, cj ≤ rcj+1 (0 ≤ j < J);
- (2)
0 < a < b⇒X(a)⊊X(b), where X ∈ {Q, Q+};
- (3)
Q+(r)⊊Q(r)⊊P;
- (4)
f(x) ∈ Q and cj ≠ 0 for some j ∈ {0, …, J − 1}⇒f(x) has a unique positive zero z0; this zero is simple and all other roots have absolute values ≤z0;
- (5)
let Y ∈ {P, Q, Q(r), Q+(r)}. Then f(x) ∈ Y⇒f(xk) ∈ Y for all ;
- (6)
([7, Lemma 2]) a1, a2, …, as are positive real numbers, and , where X ∈ {Q, Q+};
- (7)
([7, Lemma 3]) γ is a complex number which is not real positive ⇒γ is a root of a polynomial in Q(r) for any r > |γ|.
Our first main result is a certain quantitative improvement of Dubickas-Kuba theorem (Theorem 1 above).
Theorem 3. Let γ be a nonzero algebraic number of degree n (over ), let γ1( = γ), …, γn be all its conjugates, and let
The nontrivial half of Theorem 3 is its necessity part, and its main difficulty is to show the existence of a polynomial in Q+(r) all of whose coefficients are rational numbers. Should we need only a polynomial with nonnegative real coefficients, this necessity part follows from Roitman-Rubinstein’s result [7, Lemma 4] but with a bound for r which depends not only on the conjugates of α but also on other roots. Theorem 3 is proved in the next section.
Combining Theorem 3 with part (2) of Lemma 2, it is natural to ask for the least possible value of r for which Theorem 3 holds. In the last section, we show that the bound is optimal for a class of algebraic numbers without nonnegative conjugates. The investigation in this second part leads us to some interesting connections with the classical result of Eneström-Kakeya [8], which gives upper and lower bounds for the absolute values of the roots of polynomials with positive coefficients.
2. Proof of Theorem 3
The proof of Theorem 3 is done by analyzing the nature of the roots which are complex numbers, and we simplify by treating them separately in the next two lemmas.
Lemma 4. Let λ = |λ|e2πiθ ≠ 0 with . Then, for any real r > |λ|, there exists F(x) ∈ Q+(r) such that F(λ) = 0.
Proof. Let u = r/|λ| > 1. Since , by Kronecker’s theorem ([9, Theorem 439, page 376]), the set is dense in the unit circle and so there exists such that
Lemma 5. Let λ = |λ|e2πiθ ≠ 0 with . Then there exists G(x) ∈ Q+(|λ|) such that G(λ) = 0.
Proof. Since , there is an such that (λ/|λ|)M = 1. Putting
Observe that the proof of this last lemma remains true when λ is a negative real number (with M = 2). The followimg result indicates how to obtain a multiple in Q+(r) of a given element of with a factor in .
Lemma 6. Let A(x), . If , for some r > 0, then there exists a polynomial such that A(x)B(x) ∈ Q+(r).
Proof. Writing
The next lemma proves Theorem 3 for the case when the algebraic number γ and all its conjugates lie inside the unit circle.
Lemma 7. Let γ be a nonzero algebraic number and let γ1( = γ), …, γn be all its conjugates. Assume that
Proof. Assume that the nonzero algebraic number γ and all its conjugates γ1( = γ), …, γn are in . Arrange these numbers in such a way that
Conversely, assume that there exists such that p(γ) = 0. Since , all conjugates of γ are zeros of p(x) and, since all coefficients of p(x) are positive, no real conjugate of γ can be positive.
We are now ready to prove Theorem 3.
Proof of Theorem 3. Assume that all conjugates of . Since and is dense in , there exists such that . Let
On the other hand, assume that there exists such that p(γ) = 0. Since , all conjugates of γ are zeros of p(x) and, since all coefficients of p(x) are positive, no real conjugate of γ can be positive.
It is worth noting that in [7, Lemma 4], the bound for r reduces to if the polynomial p(x) mentioned in Theorem 3 is the minimal polynomial of γ. The next corollary contains the Dubickas-Kuba theorem and some equivalent assertions.
Corollary 8. Let γ be a nonzero algebraic number, let γ1( = γ), γ2, …, γn be all its conjugates, and let . Then the following statements are equivalent:
- (i)
all conjugates of γ are in ;
- (ii)
there exists such that p(γ) = 0;
- (iii)
there exists such that g(γ) = 0;
- (iv)
there exist and such that q(γ) = q(w) = 0.
Proof. Assertions (i) and (ii) are equivalent by Theorem 3. Clearly, (ii) implies (iii). To show (iii) implies (iv), assume that there exists
That assertion (iv) implies that assertion (i) is again an immediate consequence of Lemma 2 part (4).
3. Eneström-Kakeya Theorem
To proceed further, we need a new notion.
Definition 9. For
Part (1) of Lemma 2 is closely related to the classical Eneström-Kakeya theorem, [8, Theorem 1], which states the following.
Theorem 10. Let all of whose coefficients are positive. Then all the zeros of p(x) are contained in the annulus α[p] ≤ |x| ≤ β[p], where α[p] and β[p] are, respectively, the lower and upper Eneström-Kakeya quotients of p(x).
In this section, we derive a proposition yielding conditions which are necessary for a product of two polynomials to be in Q(r).
Proposition 11. Let
Proof. Let
The next proposition indicates the significance of the upper and lower Eneström-Kakeya quotients.
Proposition 12. Let .
- (i)
The upper Eneström-Kakeya quotient β[f] is the smallest r > 0 such that f(x) ∈ Q+(r).
- (ii)
The lower Eneström-Kakeya quotient α[f] has the property that if p(x) ∈ Q+(r) with 0 < r < α[f], then f(x)∤p(x) over .
Proposition 13. Let . Then β[f*] = 1/α[f], and f*(x) ∈ Q+(1/α[f]). Moreover, if f(x) is self-reciprocal, then β[f] = 1/α[f] and f(x) ∈ Q+(1/α[f]).
Proof. Writing , we have
Corollary 14. If is self-reciprocal, then
- (i)
α[f] ≤ 1, and
- (ii)
α[f] = 1, if and only if β[f] = 1.
4. Minimal Polynomials with Positive Coefficients
In this section, we aim to show that the bound , in Theorem 3, is best possible by showing that it cannot be improved for a subclass of the class of algebraic numbers whose minimal polynomials have positive coefficients. Let γ be a nonzero algebraic number, and its minimal polynomial. We say that M(x) is positively minimal if all its coefficients are positive. From Proposition 12, we have the following.
Proposition 15. Let γ be an algebraic number and let
Proposition 15 leads naturally to the following definition.
Definition 16. Let γ be a nonzero algebraic number, whose minimal polynomial M(x) is positively minimal. Define the growth factor of an algebraic number γ with respect to M(x), denoted by rγ, to be the infimum of the set of nonnegative real numbers with the following property: for any r > rγ, there exists such that p(γ) = 0.
Theorem 17. Let γ be an algebraic number and assume that its minimal polynomial
- (i)
If α[M] = β[M], then α[M] = rγ = β[M] and .
- (ii)
We have α[M] = β[M], if and only if
()
Proof. Assertion (i) follows at once from the preceding remarks.
(ii) If α[M] = β[M], then
Theorem 17 poses a natural question whether a positively minimal polynomial must necessarily belong to Pγ. A negative answer is provided by the next proposition.
Proposition 18. Let γ be an algebraic number of degree n over . Assume that its minimal polynomial M(x) is positively minimal. If n ≥ 2 and all the conjugates of γ1 = γ, …, γn are negative real numbers, then
Proof. Since all conjugates of γ are negative real numbers, we have
It may be of interest to look at the growth factors and the Eneström-Kakeya quotients for positively minimal polynomials of small degrees.
Proposition 19. Let γ be an algebraic number. Assume that its minimal polynomial M(x) is positively minimal and that all its conjugates are in .
- (1)
If degγ = 1, then .
- (2)
If degγ = 2, let and M(x) = x2 + a1x + a0; then,
- (2.1)
for b = 0, we have ,
- (2.2)
for b ≠ 0 and 3a2 ≠ b2, we have ,
- (2.3)
for b ≠ 0 and 3a2 = b2, we have .
- (2.1)
- (3)
If degγ = 3, then .
Proof. Part (1) is trivial. We now consider part (2), that is, degγ = 2. If b = 0, then , and so
Finally consider part (3), that is, degγ = 3. If γ and all its conjugates γ1, γ2, and γ3 are negative real numbers, the conclusion follows at once from Proposition 18. Assume then that
We split our consideration into three cases depending on the maximum absolute value of the conjugates.
- (i)
Case .
-
If A < A − 2a, or if A < A(a2 + b2)/(a2 + b2 − 2Aa), then . Otherwise, we have A ≥ A − 2a and A ≥ A(a2 + b2)/(a2 + b2 − 2Aa), which gives a = 0, a contradiction.
- (ii)
Case .
-
If , since A(a2 + b2)/(a2 + b2 − 2Aa) is positive rational, we deduce that a2 + b2 must be positive rational. Since A(a2 + b2) is positive rational, we conclude that A is positive rational, which is a contradiction.
-
If , then .
-
If , then
() -
If a > 0, by (71), we get
() -
yielding ; that is, .
-
Consider now a < 0.
-
If , since A − 2a is positive rational, we deduce that a2 + b2 is positive rational. Since A(a2 + b2) is positive rational, we conclude that A is positive rational, which is a contradiction.
-
If , then .
-
If , then , yielding .
We end this paper with another class of algebraic numbers for which the bound in Theorem 3 is optimal.
Proposition 20. Let γ be an algebraic number, and let
Proof. Assume on the contrary that there is such that q(γ) = 0. Thus, M(x)∣q(x), so that
If m > n, let m = n + t for some and the relation (74) becomes
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.