The Beauty of Roots
One of the charms of mathematics is that simple rules can generate complex and fascinating patterns, which raise questions whose answers require profound thought. For example, if we plot the roots of all polynomials of degree whose coefficients are all or we get an astounding picture, shown in Figure 1. ,
More generally, define a Littlewood polynomial to be a polynomial with each coefficient equal to or Let . be the set of complex numbers that are roots of some Littlewood polynomial with nonzero terms (and thus degree The 4-fold symmetry of Figure 1 comes from the fact that if ). so are and The set . is also invariant under the map since if , is the root of some Littlewood polynomial then is a root of the polynomial with coefficients listed in the reverse order.
It turns out to be easier to study the set
If divides then so , for a highly divisible number can serve as an approximation to and this is why we drew ,.
Some general properties of are understood. It is easy to show that is contained in the annulus On the other hand, Thierry Bousch showed .2 that the closure of contains the annulus This means that the holes near roots of unity visible in the sets . must eventually fill in as we take the union over all More surprisingly, Bousch showed in 1993 that the closure . is connected and locally path-connected 3. It is worth comparing the work of Odlyzko and Poonen 7, who previously showed similar result for roots of polynomials whose coefficients are all or .
The big challenge is to understand the diverse, complicated and beautiful patterns that appear in different regions of the set There are websites that let you explore and zoom into this set online .458. Different regions raise different questions.
For example, what is creating the fractal patterns in Figure 2 and elsewhere? An anonymous contributor suggested a fascinating line of attack which was further developed by Greg Egan 5. Define two functions from the complex plane to itself, depending on a complex parameter :
When these are both contraction mappings, so by a theorem of Hutchinson 6 there is a unique nonempty compact set with
We call this set a dragon, or the -dragon to be specific. And it seems that for the portion of the set , in a small neighborhood of the point tends to look like a rotated version of .
Figure 3 shows some examples. To precisely describe what is going on, much less prove it, would take real work. We invite the reader to try. A heuristic explanation is known, which can serve as a starting point 15. Bousch 3 has also proved this related result:
- J. C. Baez, The beauty of roots. Available at http://math.ucr.edu/home/baez/roots.
- T. Bousch, Paires de similitudes January 1988. Available at ,https://www.imo.universite-paris-saclay.fr/~thierry.bousch/preprints/.
- T. Bousch, Connexité locale et par chemins hölderiens pour les systèmes itérés de fonctions, March 1993. Available at https://www.imo.universite-paris-saclay.fr/~thierry.bousch/preprints/.
- J. D. Christensen, Plots of roots of polynomials with integer coefficients. Available at http://jdc.math.uwo.ca/roots/.
- G. Egan, Littlewood applet. Available at http://www.gregegan.net/SCIENCE/Littlewood/Littlewood.html.
- J. E. Hutchinson, Fractals and self similarity, Indiana Univ. Math. J. 30 (1981), 713–747. Also available at https://maths-people.anu.edu.au/~john/Assets/Research%20Papers/fractals_self-similarity.pdf.
- A. M. Odlyzko and B. Poonen, Zeros of polynomials with 0,1 coefficients, L’Enseignement Math. 39 (1993), 317–348. Also available at DOI 10.5169/seals-60430.
- R. Vanderbei, Roots of functions where Available at .https://vanderbei.princeton.edu/WebGL/roots_PlusMinusOne.html.
Figures 1–3 are courtesy of Sam Derbyshire.
Photo of John C. Baez is courtesy of Lisa Raphals.
Photo of J. Daniel Christensen is courtesy of Mitchell Zimmer.