**A repository with some of the code described here can be found on GitHub: BHIME-Project.**

**Bohemian eigenvalues** are the distribution of the eigenvalues of a random matrix. More specifically, this article explores matrices of low dimension (typically no larger than ) whose entries are integers of bounded height. The name “Bohemian” is intended as a mnemonic and is derived from “Bounded Height Integer Matrix Eigenvalues” (BHIME). Here I present an overview of some preliminary results arising from this project.

The **Bohemian Eigenvalue Project** originated in 2014 while I was enrolled in a graduate course on experimental mathematics led by my PhD supervisor Rob Corless. One of the initial goals was to visualize the distributions of eigenvalues of random structured matrices. As the project evolved, many different types of distributions were explored, as I discuss here.

Before I jump into the details of the project, I present one of my favourite examples, and one of many interesting images that have come from this project. Consider a random matrix where the entries are drawn uniformly from the set . This distribution contains different matrices. This will be used as a running example throughout the remainder of this article. Figure 1 is a density plot of the distinct Bohemian eigenvalues from this set of matrices. Details on how this image was produced, and how I know the exact number of eigenvalues, can be found in the computation section.

Figure 1 leads to a few obvious questions about this particular Bohemian eigenvalue distribution:

- What is the size of the regions where no eigenvalues appear? We call these
*eigenvalue exclusion zones*. - How does this change if we look at matrices instead?
- Why is there a diffraction pattern appearing around the origin?
- Why are some eigenvalue exclusion zones star shaped?
- Why is the boundary around the distribution of eigenvalues not circular? This may be hard to see but it does flatten out at the top and bottom.

Unfortunately, I am currently unable to answer any of these questions.

## Roots of Polynomials

Before I discuss Bohemian eigenvalues further, there is some closely related work on the distributions of the roots of polynomials. Consider all degree 19 monic polynomials with coefficients in , these are known as Littlewood polynomials. such polynomials exist. Figure 2 shows a density plot in the complex plane of the set of all roots.

Exploring the roots of polynomials can be restated as a Bohemian eigenvalue problem. Consider a Frobenius companion matrix such that the values in the final column (or row depending on your preference) are sampled uniformly from the set . Clearly, such matrices exist, and the set of characteristic polynomials of these matrices is equivalent to the set of monic degree 19 Littlewood polynomials mentioned previously. The Bohemian eigenvalues from this distribution of matrices is equivalent to the distribution of the roots of the degree 19 Littlewood polynomials. Hence, we can restate any problem that explores the roots of polynomials as a Bohemian eigenvalue problem by simply using the companion matrix.

Some of the key people who have studied the roots of such polynomials, and related polynomials include: Dan Christensen, John Baez, and Peter Borwein. Numerous references include:

- Borwein, P., & Jörgenson, L. (2001). Visible structures in number theory. The American Mathematical Monthly, 108(10), 897-910.
- Borwein, P., & Pinnery, C. (1996). Polynomials with {0, +1, -1} Coefficients and a Root Close to a Given Point.
- Lin, X., Zeros of the Jones polynomial
- Odlyzko, A. (1992, September). Zeros of polynomials with 0, 1 coefficients. In Algorithms Seminar, 1992-1993 (p. 169).
- Reyna, R., & Damelin, S. (2015). On the Structure of the Littlewood Polynomials and their Zero Sets. arXiv preprint arXiv:1504.08058.
- Weisstein, Eric W. “Polynomial Roots.” From MathWorld–A Wolfram Web Resource
- http://jdc.math.uwo.ca/roots/
- https://www.scientificamerican.com/article/math-polynomial-roots/
- https://johncarlosbaez.wordpress.com/2011/12/11/the-beauty-of-roots/
- http://math.ucr.edu/home/baez/roots/
- http://www.cecm.sfu.ca/~loki/Projects/Roots/

## Computation

Exploring Bohemian eigenvalues can be difficult as the eigenvalues of a large number of matrices (typically more than 1 million) must be computed before the distributions of these problems begin to converge. Numerous techniques were used in the exploration of the distributions and their properties.

### Make Your Own Bohemian Eigenvalue Plot

Writing a Matlab script to sample random matrices and compute their eigenvalues can be done in a few simple lines. Using the same example as in Figure 1, the following Matlab script will compute the eigenvalues of 1 million random matrices where the entries are sampled from :

The eigVals vector now contains 5 million complex values representing eigenvalues from this class. Creating a density plot in the complex plane of these 5 million complex numbers can be done in 2 lines of code thanks to the bivariate histogram function (hist3) in Matlab.

And just like that, in only 9 lines of Matlab code, you have your very own Bohemian eigenvalue plot (almost as nice as Figure 1). Here is an example of what the output will look like:

If you are feeling adventurous (and you have the Parallel Computing Toolbox installed in Matlab), you can change that for loop to a parfor loop for a nice speedup. Or you could try changing the colormap (try colormap hot).

### A General Purpose Matlab Program for Producing Bohemian Eigenvalue Images

If you can produce a Bohemian eigenvalue plot in 9 lines, why does my implementation contain thousands of lines? There are a few reasons:

- The code I have written has been interfaced such that it is easy use when quickly exploring various classes of matrices.
- I have optimized the code to be (probably) as fast as you can get pure Matlab code to perform this computation.
- My implementation automatically produces a readme file with information about the image produced (this can be extremely useful when quickly exploring lots of classes of matrices and forgetting to keep track of what they are).
- What if you want to explore more eigenvalues than what you can hold in memory? My implementation can take care of that.

Achieving all of that in a user-friendly package is by no means easy.

### When 847 Billion Matrices Is Too Much for Matlab

You may have noticed that Figure 1 is the result of computing the eigenvalues of 847 billion matrices. This corresponds to 1,839,102 unique characteristic polynomials and 7,963,249 unique eigenvalues. I will discuss how I determined the exact number of unique characteristic polynomials and eigenvalues in a moment.

If you take the small script above, and modify it slightly to ensure all possible matrices are explored, and try to run it, you will very quickly run out of memory. In fact, it would require over 60TB of memory to store all the eigenvalues. Even if you broke the problem into chunks that are small enough to fit into memory, the time needed to finish this computation would be enormous (estimated to be over 3 months on my computer).

### Symmetries

There are of course symmetries within the set of matrices that can be used to reduce the number of matrices one must explore. Some of the obvious symmetries include:

- Both and are in the set of matrices, and the eigenvalues of are the negative (reflection across the imaginary axis) of the eigenvalues of .
- and have the same eigenvalues.
- Any upper or lower triangular matrices have their eigenvalues along the diagonal; the remaining values in the matrix are irrelevant.
- Let be a permutation matrix. will have the same eigenvalues of and also be in the original set.
- For any class of matrices where the entries are real-valued, the set of eigenvalues will be symmetric across the real axis as a consequence on the complex conjugate root theorem. This symmetry could reduce the number of eigenvalues stored by (approximately) half.
- For any class of matrices where the entries are sampled from a symmetric set (if the set contains , it must also contain ), the set of eigenvalues will be symmetric across the imaginary axis. This symmetry could also reduce the number of eigenvalues stored by (approximately) half.

These symmetries, and the many more that likely exist, are interesting in themselves, but provide very little advantage computationally.

### Distributions of Characteristic Polynomials

You may have noticed that I quoted the exact number of characteristic polynomials as 1,839,102, which you may also notice is much less than the 847 billion matrices we started with. In fact, computing the roots of 1.8 million polynomials can be done in less than a minute on (most) modern computers. One other important piece of information is the exact distribution of these characteristic polynomials within the original set of matrices. That is, how many times each characteristic polynomial appears. From this distribution, Figure 1 can be reproduced exactly!

The next obvious question is how did I find the distribution of characteristic polynomials? The answer is somewhat disappointing. I did an exhaustive computation of the characteristic polynomial for each of the 847 billion matrices, and stored them in a nice data structure. With the power of OpenMP with C++, gcc's maximum optimization level, and a nice (unique) encoding of the characteristic polynomials as unsigned 64-bit integers, I was able to complete this task in under 6 hours on a desktop computer. The result is a 44.5 MB file of all characteristic polynomials and their densities. This file is available on the GitHub repository for the project in the Data directory here.

### Counting the Eigenvalues

Now that we know the exact distribution of the characteristic polynomials, we can count the exact number of distinct eigenvalues using symbolic computation. Clearly, with 1.8 million characteristic polynomials of degree 5, an upper bound on the number of eigenvalues is about 9 million. The exact number turns out to be a little smaller at 7,963,249. This is the result of some characteristic polynomials sharing roots, and some having multiple roots.

Counting the exact number of eigenvalues can be done as follows:

- Let be the set of all characteristic polynomials from the class of matrices for which we want to count all distinct eigenvalues.
- Let be the set of square-free factors from computing the square-free factorization of each element in .
- Let be a gcd-free basis of .
- The number of distinct roots in is the sum of the degrees of the polynomials in .

Sounds simple enough, and luckily Maple has an implementation of the gcd-free basis algorithm. In practice, this works well when the number of polynomials in is small. Unfortunately, 1.8 million polynomials, as in the matrix example, is not considered small when working in Maple.

In this case I resorted to using modular computation with my own gcd-free basis implementation in Maple. This implementation is by no means optimal; in fact, it could use a lot of improvement, but it was capable of determining (with high probability) that there are 7,963,249 distinct eigenvalues in the class of matrices with entries sampled from . This computation did take slightly over a month to run, and was run modulo a number of different prime numbers including one on the order of .

Symbolic methods are great, except that they are horribly slow. For counting distinct roots we are unfortunately forced to use symbolic methods as the numerical error in the eigenvalues makes it difficult to decide if eigenvalues are actually equal, or only nearly so.

### Some Properties

Consider matrices where the entries are drawn uniformly from the set . Table 1 contains a number of properties of this class of matrices for various values of .

## Some Fun Examples

### Diffraction Patterns

This is another one of my favourite examples (okay…they're all my favourite) that leads to some interesting diffraction patterns in the resulting plot. This example looks at matrices where the entries are drawn uniformly from the set . Figure 4 shows the resulting density plot of the Bohemian eigenvalues in the complex plane.

### Fibonacci Numbers

This example explores matrices with entries sampled from the set of Fibonacci numbers up to (and including) 514,229. A sample of 500 million matrices was used. The resulting Bohemian eigenvalue image can be seen in Figure 5. One thing you may notice about this plot is the lack of symmetry across the imaginary axis. This is a result of the original set of values that the entries are sampled from not being symmetric. That is, given a matrix , is not in the set of possible matrices for this distribution.

### Eigenfish

This is by far one of the most visually interesting classes that I have explored in this project. Here I will only present some of my favourite images from this class of matrices. I have decided to call these particular distributions “eigenfish” as many of the images resemble sea creatures (see Figure 7).

As an example, consider a random matrix of the form

where and are drawn independently from a continuous uniform distribution on . This is of course an infinite set of matrices, yet the eigenvalues from this set are bounded by the region seen in Figure 6. This region is the projection of the semi-algebraic set defined by the solutions of onto the complex plane in .

Endless numbers of these images can be produced and Figure 7 presents 12 such images. Each image is the eigenvalues from the set of matrices where two entries (fixed location in matrix) vary uniformly between -1 and 1.

## Acknowledgements

There are a few people who have helped with the progress of this project so far. First, we would like to thank Daniel Lichtblau for verifying our findings for the number of unique characteristic polynomials for several classes of matrices, as well as for his suggestions for improving our method of counting characteristic polynomials. We also thank Erich Kaltofen for pointing out references to Tao and Vu for the asymptotic distributions of related problems. Finally, we would like to thank Sonia Gupta, Jonathan Brino-Tarasoff and Venkat Balasubramanian for their contributions to this project.