8
$\begingroup$

Below are shown two displays of all the roots of polynomials $$c_n x^n + c_{n-1} x^{n-1} + \cdots + c_1 x + c_0 \;=\; 0$$ with each coefficient $c_i$ an integer $|c_i| \le M$ (including $c_i=0$). No doubt this is all well-known, but I would be interested to learn what results explain the patterns in the distributions, especially the holes, both surrounding the real axis—in both shape and location—and the off-axis holes, perhaps more evident in the degree-$3$ plot than in the degree-$5$ plot.


          roots_n3c6
          Roots of polynomials of degree $\le 3$ and integer coefficients $|c_i| \le 6$.
          roots_n5c5
          Roots of polynomials of degree $\le 5$ and integer coefficients $|c_i| \le 5$.


Addendum. User j.c. cited the article by John Baez on Dan Christensen's impressively detailed images, one of which I include below:


enter image description here


$\endgroup$
4
  • 3
    $\begingroup$ More information and more images can be found here math.ucr.edu/home/baez/roots . This old question is also related mathoverflow.net/questions/51732/perron-number-distribution $\endgroup$
    – j.c.
    Commented May 27, 2018 at 18:27
  • $\begingroup$ @j.c.: A direct hit! Puts my images to shame. $\endgroup$ Commented May 27, 2018 at 18:29
  • 2
    $\begingroup$ For the special case M=1 (which is already complicated enough), see the recent publication MR3719268 Calegari, Danny; Koch, Sarah; Walker, Alden: Roots, Schottky semigroups, and a proof of Bandt's conjecture. Ergodic Theory Dynam. Systems 37 (2017), no. 8, 2487–2555. $\endgroup$ Commented May 27, 2018 at 21:04
  • 1
    $\begingroup$ The link to John Baez's page in the above comment no longer works. A current link is math.ucr.edu/home/baez/roots . $\endgroup$ Commented Sep 20, 2023 at 19:30

1 Answer 1

7
$\begingroup$

Suppose $P(z)$ is a polynomial with integer coefficients $|c_j| \le M$ and $z \ne 0$. If $c_k$ is the first nonzero coefficient, $$|P(z)|/|z|^k \ge |c_k| - \sum_{j=k+1}^d |c_j| |z|^j \ge 1 - \frac{M |z|}{1-|z|} >0 \ \ \text{if}\ \ |z| < \frac{1}{1+M}$$ This explains the hole around $z=0$. For the holes around $z=\pm 1$, first translate $z \to z\pm 1$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .