On sums of two and three roots of unity
type: Item
instance of: scholarly article
title: On sums of two and three roots of unity
zbMATH Open document ID: 1447.11111
published in: Journal of Number Theory
publication date: 2018-09-24T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 11R06
Mathematics Subject Classification ID: 11R18
zbMATH DE Number: 6943088
zbMATH Keywords: roots of unity
zbMATH Keywords: Mahler measure
zbMATH Keywords: small exponential sum
author: A. Dubickas
reviewed by: Toufik Zaïmi
MaRDI profile type: Publication
full work available at URL: j.jnt.2018.03.017
OpenAlex ID: W2802059198
cites work: AN EFFECTIVE BOUND FOR THE CYCLOTOMIC LOXTON–KEDLAYA RANK
cites work: Two sharp inequalities for the norm of a factor of a polynomial
cites work: On a certain geometric mean of the values of a polynomial
cites work: On the number of reducible polynomials of bounded naive height
cites work: Nonreciprocal algebraic numbers of small Mahler's measure
cites work: A combinatorial problem related to Mahler's measure
cites work: The Norm of Gaussian Periods
cites work: Q4500958
cites work: A problem of Boyd concerning geometric means of polynomials
cites work: Q3216750
cites work: A COMBINATORIAL PROBLEM IN FINITE FIELDS, II
cites work: How Small Can a Sum of Roots of Unity Be?
cites work: Q4105628
cites work: On Measures of Polynomials in Several Variables: Corrigendum
DOI: 10.1016/J.JNT.2018.03.017
description: scientific article; zbMATH DE number 6943088