My mathematical philosophy is that mathematical truths exist outside any human action,
but the key activity of mathematics is not in discovery but understanding.
This has several of important consequences. First, it reaffirms the doctrine that
"proofs are more important than theorems, and definitions are more important than proofs".
Second, it implies that teaching is just as central to mathematics as research, and arguable moreso.
My main research is in polygonal billiards. Consider a single billiard ball, bouncing around inside
a polygon. (We make all the standard ridiculous mathematical assumptions of course—it has radius
0, there is no friction, and collisions are perfectly elastic.) Will the ball end up repeating the same
pattern over and over, or will it continue to trace out slightly different paths forever?
It turns out that for almost every starting condition, the pattern never repeats—in fact,
with the right tools (namely countability) this is easy to prove.
But are there any paths which repeat? This turns out to be much harder.
Even the case of triangles has been open since 1775.
Below is a basic simulation for exploring these dynamics in triangles.
The simulation comes with a few presets to explore important phenomena,
such as periodic trajectories, aperiodic trajectories, and how very similar
trajectories will eventually diverge.
The most important tool in the study of polygonal billiards is called unfolding.
It stems from the observation that when the billiard ball hits the edge of a polygon,
instead of imagining the billiard ball reflecting off that edge, you can imagine the
polygon reflecting across that edge while the ball continues in a straight line.
This is illustrated below whenever you run the demonstration above for a periodic trajectory.
Taking this further, you can imagine the surface built by gluing together copies
of a polygon along their edges. Billiard trajectories are exactly the straight
lines (or geodesics) on this surface, and the question of periodic trajectories
becomes: are there any closed geodesics on this surface? We can further note that any
two polygons with the same orientation are identical for the purposes of trajectories,
so we can glue them together, which in some cases gives us a finite surface.
It is not immediately obvious that this is an easier question. But while nobody
has come up with any good techniques for characterizing billiard trajectories
directly, there are a number of advanced techniques known for characterizing
geodesics on surfaces, especially finite surfaces. Of these, the most fruitful is known as
Teichmüller theory. However, my research has focused on
algebraic geometry, specifically the fundamental group.
Computational Representation Theory
I have done research on the representation theory of the cohomology of the pure configuration space
on . Church, Ellenburg and Farb prove in
that the -representation of stabilizes as a
function of , in a sense they define precisely. I've written a library for computing the stable value
of this decomposition, which is available on my GitHub.
The project of actually performing these computations is chronicled on my
These are a few good problems I have collected over the years. Click to show/hide the solutions.
Consider the sequence . As , what fraction of the terms begin with a ?
Note that begins with iff .
Since is irrational, is equidistributed ,
so the asymptotic fraction of terms with is .
Let be a metric space. Show that is compact iff every continuous function
If is compact, then the open cover has a finite subcover,
hence for some , so is bounded between and .
If is not compact, we have some sequence with no convergent subsequence, hence
is a closed, discrete set. Define
by , which is continuous by discreteness. By the Tietze Extension Theorem, this
extends to a (clearly unbounded) function on .
Take an chessboard and remove two opposite corner squares. Can the resulting board
be covered by dominoes, which each cover 2 adjacent squares?
No. Each domino covers one square of each color, but we removed 2 squares of the same color.