On roots of polynomials with positive coefficients (Q2385051): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q699738 |
Changed an Item |
||
Property / author | |||
Property / author: Arturas Dubickas / rank | |||
Normal rank |
Revision as of 13:24, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On roots of polynomials with positive coefficients |
scientific article |
Statements
On roots of polynomials with positive coefficients (English)
0 references
11 October 2007
0 references
The paper under review establishes a sufficient and necessary condition for an algebraic number \(\alpha\) to be a root of a polynomial with positive rational coefficients. \textit{G. Kuba} observed in [Arch. Math. 85, No. 1, 70--78 (2005; Zbl 1075.11064)], Lemma 1 that if \(\alpha\) or one of its conjugates is a positive real number, then it cannot be the root of a polynomial with positive rational coefficients. The author of the present paper shows that this is indeed a sufficient condition: the following is the main result of the paper. Theorem: A complex number \(\alpha\) is a root of a polynomial with positive rational coefficients if and only if \(\alpha\) is an algebraic number over \(\mathbb{Q}\) such that note of its conjugates over \(\mathbb{Q}\) is a nonnegative real number. Observe that here no attention is paid on the irreducibility of the polynomial and the statement is not about the coefficients of the \textit{minimal} polynomial for \(\alpha\), but only about the existence of a polynomial fulfilling the wished condition. The proof of the theorem consists in modifying the minimal polynomials of \(\alpha\) over \(\mathbb{Q}\) in a way that all the coefficients become positive. This is done through the key Lemma 2: this lemma states that for every \(\omega\in\mathbb{C}\) such that \(\Im(\omega)>0\), there exists a polynomial \(T(X)\in\mathbb{Q}[X]\) such that \((X-\omega)(X-\bar{\omega})T(X)\) has positive coefficients. The result is analytic in nature, as it holds for all \(\omega\), no matter if they are algebraic or transcendental. It is proved by combining a classical epsilon-delta argument with the uniform distribution in \([0,1)\) of the fractional parts of \(\{m\theta/2\pi\}\) for \(m\in\mathbb{N}\) and \(0<\theta<\pi/2\). Unfortunately, this last statement is \textit{ineffective} in the sense that it does not provide for a bound (depending on \(\theta\)) on \(m\) such that the fractional part of \(m\theta/2\pi\) is at least \(1/3\), which is what the author needs. This reflects on the degree of \(T(X)\), so that this degree cannot be controlled in terms of \(\omega\), and the paper ends with an open question about an algorithm which, given \(\alpha\) such that none of its conjugates is real and positive, produces a polynomial with real positive coefficients having \(\alpha\) as a root and of \textit{minimal} possible degree.
0 references