# The Beauty of Roots

John C. Baez
J. Daniel Christensen
Sam Derbyshire

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:

## References

[1]
J. C. Baez, The beauty of roots. Available at http://math.ucr.edu/home/baez/roots.
[2]
T. Bousch, Paires de similitudes , January 1988. Available at https://www.imo.universite-paris-saclay.fr/~thierry.bousch/preprints/.
[3]
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/.
[4]
J. D. Christensen, Plots of roots of polynomials with integer coefficients. Available at http://jdc.math.uwo.ca/roots/.
[5]
G. Egan, Littlewood applet. Available at http://www.gregegan.net/SCIENCE/Littlewood/Littlewood.html.
[6]
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.
[7]
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.
[8]
R. Vanderbei, Roots of functions where . Available at https://vanderbei.princeton.edu/WebGL/roots_PlusMinusOne.html.

## Credits

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.