On sums of two and three roots of unity (Q1786687): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 04:41, 5 March 2024

scientific article
Language Label Description Also known as
English
On sums of two and three roots of unity
scientific article

    Statements

    On sums of two and three roots of unity (English)
    0 references
    24 September 2018
    0 references
    Let \(\alpha \) be a sum of \(k\) distinct \(N\)th roots of unity, where \(2\leq k<N\), and let \(A(k,N)\) be the set of such numbers \(\alpha .\) In [Am. Math. Mon. 93, 457--459 (1986; Zbl 0602.10026)] \textit{G. Myerson}, raised the following two problems. How small can \(\left| \alpha \right| \) be? How large can the modulus of the product of all conjugates of \(\alpha \) lying in the unit disc, say \(\wedge (\alpha )\), be? In the paper under review, the author gives a ``complete'' answer to these questions for \(k=2,\) by proving the theorem below. Let \(\alpha :=e^{i2\pi a/N}+e^{i2\pi b/N}\), where \(a\) and \(b\) are rational integers satisfying \(0\leq a<b\leq N-1\), and let \(n:=N/\gcd (N,b-a)\). Then, the maximum and the minimum of the absolute values of the conjugates of \(\alpha \) are, respectively, \(\sqrt{2(1+\cos (2\pi /n))}\) and \(\sqrt{2(1+\cos (2\pi j/n))}\), where \(j\) is the greatest positive rational integer satisfying \(\gcd (j,n)=1\) and \(j\leq n/2\); thus \(\alpha \) has no conjugate lying in unit disc for \(n\in \{3,4,6,10\}\), and \(\alpha =0\) when \(n=2\). Moreover, if \(n\notin \{2,3,4,6,10\}\), then \[ 0<\wedge (\alpha )^{1/\deg (\alpha )}=\prod\limits_{\overset{n/3<j<2n/3}{\gcd (j,n)=1}}\left| 2\cos (\pi j/n)\right| ^{1/\varphi (n)}<1, \] where \(\varphi \) is the Euler phi function, and so \(\lim_{n\rightarrow \infty }\wedge (\alpha )^{1/\deg (\alpha )}=0.723926111\dots\), which is the inverse of the Mahler measure of the polynomial \(1+x+y\). Also, he shows that there is an effectively computable constant \(\rho <1\) such that \(\wedge (\alpha )^{1/\deg (\alpha )}\leq \rho \) for all \(\alpha \in A(3,N)\), when \(N\) is a sufficiently large prime. Finally, the author conjectures that the set \(\{\lim_{N\rightarrow \infty}\wedge (\alpha )^{1/\deg (\alpha )}\mid \alpha \in A(k,N)\) and \(N\) is prime\(\}\), where \(k\) is fixed, has a unique limit point, and exhibits some related results.
    0 references
    roots of unity
    0 references
    Mahler measure
    0 references
    small exponential sum
    0 references
    0 references
    0 references

    Identifiers