Over the summer of 2018, I was a part of the ICERM REU where I worked on a project about Farey Graphs (joint work with J. Gaster, E. Rexer, Z. Riell, and Y. Xiao). We made a lot of beautiful pictures and proved some interesting results that I want to show off and say a little about.
The th Farey sequence is a list of fractions named after Sir John Farey, a British mathematician who was not actually the first to discover them. The original discoverer, Charles Haros, wrote about them 14 years prior (an example of Stigler’s Law) unbeknownst to Farey. The first few sequences are as follows:
To define the terms of each sequence, we let the operation between two rational numbers be
One produces from by inserting between each two consecutive entries and of the rational . It turns out that if we continue this process infinitely, we will reach every rational between 0 and 1 having no repeated entries.
To understand this sequence geometrically, we consider a graph with vertex set . A pair of rational numbers forms an edge in if, in some , and appear as consecutive entries.
We can extend this graph to be defined on all of plus a ‘point at infinity’ which we denote by . Adding this point yields a highly symmetric graph that can be embedded into hyperbolic space. We define the edge set of our new extended graph by defining whenever we have
One can check that we recover as a subgraph of . Using Poincaire’s disc model of hyperbolic space, we can visualize this graph as seen below.
In the disc model, the real numbers are wrapped around the boundary of a disc and glued at the top by the point at infinity. Hence the vertices of our graph form a dense subset of the boundary and the edges connecting them are geodesic arcs through hyperbolic space. The graph actually triangulates hyperbolic space, since the embedding has no two edges intersecting and each edge is a side of two hyperbolic triangles.
The definition of naturally leads us to a generalization: instead of having the above determinant equal to we define the edge set of to have edges when the determinant is . We call the th graph in this family the -Farey graph and depict below.
Our team explored the connectivity of these graphs and made the following discovery: the number of connected components of is given by
where is a prime number and is a positive integer. For example has eight connected components shown below, where each is colored by its corresponding component.
Moreover, each connected component of is a planar graph; one such component is shown below.
We also have results on the automorphism groups, chromatic numbers and dual graphs of the , so check out the paper on arxiv to learn more!
Below is a gallery of some ‘s, all of which were made in Mathematica by me. Notice anything patterns for certain integers? Let me know!