On sums of two and three roots of unity (Q1786687): Difference between revisions
From MaRDI portal
Latest revision as of 11:34, 11 December 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