25
$\begingroup$

There are certainly non-monic polynomials of degree 4 with all roots on the unit circle, but no roots are roots of unity; $5 - 6 x^2 + 5 x^4$ for example.

Now, for a monic polynomial of degree $n$, this is impossible (I think).

So, my question is, given a monic polynomial with integer coefficients of degree $n$, what is the maximal number of roots that can lie on the unit circle, and not be roots of unity?

For example, $1 + 3 x + 3 x^2 + 3 x^3 + x^4$ has two roots on the unit circle, and two real roots.

$\endgroup$
3
  • 2
    $\begingroup$ A question and a remark: do you want the polynomial to be irreducible? Here is a recent paper around this problem ramanujan.math.trinity.edu/rdaileda/research/papers/p1.pdf that is investing the existence of such elements (I assume one could read out something on your question from it, but I did not really try, also but not only in view of my question for clarification). In any case perhaps the paper and the references is a starting point. $\endgroup$
    – user9072
    Nov 28, 2012 at 9:40
  • 2
    $\begingroup$ I think the answer is $n-2$ (at least for $n$ even). See en.wikipedia.org/wiki/Salem_number $\endgroup$ Nov 28, 2012 at 9:55
  • 4
    $\begingroup$ Just as a note: The result that if all roots are on the unit circle then they must be roots of unity goes back to Kronecker (for references and a couple of quick proofs, see mathoverflow.net/questions/10911/… ). $\endgroup$ Nov 28, 2012 at 18:46

5 Answers 5

29
$\begingroup$

There exist irreducible monic polynomials such that all their roots apart from two lie on the unique circle (and are not roots of unity). Such polynomials can be chosen among Salem polynomials and they exit in arbitrary high degree. By definition a Salem polynomial $S(x)\in \mathbb Z[x]$ is a monic irreducible reciprocal polynomial with exactly two roots off the unit circle, both real and positive. Of course non of the roots of these polynomials are roots of unity, since these polynomials are irreducible.

See for example theorem 1.6 in the article

Automorphisms of even unimodular lattices and unramified Salem numbers of Gross and Mcmullen:

http://www.math.harvard.edu/~ctm/home/text/papers/unim/unim.pdf

Theorem. For any odd integer $n\ge 3$ there exist infinitely many unramified Salem polynomials of degree $2n$.

$\endgroup$
1
  • $\begingroup$ Aha! That is nice! Thank you very much! $\endgroup$ Nov 28, 2012 at 11:00
9
$\begingroup$

For a class of concrete examples with at least asymptotically more than $n/2$ zeros on the unit circle, the Fekete polynomials, which were just mentioned recently by Franz Lemmermeyer at this question on class numbers, might be fruitful in this regard.

Defining them by $$ f_p(x)=\sum_{a=0}^{p-1}\left(\frac{a}{p}\right)x^a, $$

it seems that

$$ \frac{f_p(x)}{x(x-1)} $$ when $p\equiv 3 \bmod 4$

and $$ \frac{f_p(x)}{x(x-1)^2(x+1)} $$

when $p \equiv 1 \bmod 4$ are thought to be irreducible. (See another question here.) (I'd appreciate being corrected if I'm wrong on this.)

Now it has been proven in

B. Conrey, A. Granville, B. Poonen, K. Soundararajan, Zeros of Fekete Polynomials

that asymptotically more than half of the zeros lie on the unit circle.

$\endgroup$
9
$\begingroup$

Just a couple of minor top-ups to Dmitri's nice answer.

  1. For each even $n\ge2$ the polynomial $p_n(x)=x^n-x^{n-1}-\dots-x+1$ is a Salem polynomial.
  2. It is not known whether for any $\delta>0$ there exists a Salem polynomial such that $\theta<1+\delta$ for its largest root $\theta$ (which is a Salem number). Lehmer's conjecture suggests that the answer is no.
$\endgroup$
6
$\begingroup$

First, you are right: if a monic polynomial's roots are all on the unit circle, then every root is a root of unity. This follows from a result of Kronecker's (see: Zwei Sätze über Gleichungen mit ganzzahligen Coefficienten).

Secondly, what are you looking for is Salem Polynomials. See, for example, Definition 2.1 here. There can be arbitrarily many roots on the unit circle (none of which is a root of unity) with just two other roots located off of $S^1$.

$\endgroup$
1
  • $\begingroup$ (Inspired by MO 219963 linking back here today: Though I imagine it very unlikely, one may wonder, Why do I have an answer with the same Kronecker reference that re-appeared in a comment eight hours later? Well, when I posted this response, I found Dmitri's informative answer was already added twelve minutes ahead of mine (!) and, unfamiliar with MO, I thought the norm would be to delete my answer upon this realization. It was quite some time later that I finally restored it...) $\endgroup$ Oct 4, 2015 at 22:21
5
$\begingroup$

This is an adelic comment based on algebraic dynamics. Each such polynomial $f(x)\in\mathbb{Z}[x]$ induces an algebraic dynamical system (i.e. an automorphism of a compact abelian group). If $f(x)$ has no roots that are roots of unity, then the system is known to have strictly positive entropy. The entropy is calculated by adding up the logs of the absolute values of the eigenvalues. If they are all on the unit circle then you'd get zero, which is wrong. So where is positive entropy coming from? It's from the $p$-adic eigenvalues of $f(x)$ (see Automorphisms of solenoids and p-adic entropy, Lind and Ward, Ergodic Th. & Dynam. Syst. 8 (1988), 411-419).

In other words, if $f(x)$ has all of its (complex) roots on the unit circle (and they are not roots of unity), then it must have $p$-adic roots having $p$-adic norm strictly greater than one. For the polynomial mentioned in the first sentence, there is a 5-adic root with norm > 1. In some sense, this is the correct (adelic) formulation of Kronecker's theorem mentioned above.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.