I used SageMath to collect data for algebraic integers of low degree. This data is stored in a CSV file, which I've shared below.
The following animation illustrates equidistribution of preimages of a=2 under the map f(x)=x^2-1. In the nth frame, the roots of f^n (x) - 2 are plotted. This illustrates a result originally due to Brolin in 1965.
The following animation shows roots of the polynomial f(x) = x^(4c) - 4x^(3c) + 3x^(2c) + x^c + 1, where c is an integer that ranges between 1 and 9. This illustrates a more general phenomenon. The roots of a sequence of distinct irreducible integer polynomials with bounded coefficients equidistribute to the unit circle. This is a consequence of Bilu's theorem (for the Mahler measure) and the fact that the Mahler measure of a polynomial is commensurate with the height of the polynomial.
The following animation illustrates equidistribution of n torsion points on an elliptic curve given by a lattice in the plane.
In 2022 I wrote some notes with the goal of proving that every non-trivially valued field is naturally contained in a complete and algebraically closed field. These notes are very rough, so use at your own risk!Â
During the Fall 2024 semester I took the class Polynomials and their Zeros taught by Professor Igor Pritsker. For this class I gave a presentation about bounds for polynomial discriminants. Here are the handwritten notes for the talk I gave.