The Boca-Cobeli-Zaharescu Map Analogue for the Hecke Triangle Groups $G_q$

Abstract

The Farey sequence $\mathcal{F}(Q)$ at level $Q$ is the sequence of irreducible fractions in $[0,1]$ with denominators not exceeding $Q$, arranged in increasing order of magnitude. A simple ``next-term'' algorithm exists for generating the elements of $\mathcal{F}(Q)$ in increasing or decreasing order. That algorithm, along with a number of other properties of the Farey sequence, was encoded by F. Boca, C. Cobeli, and A. Zaharescu into what is now known as the Boca-Cobeli-Zaharescu (BCZ) map, and used to attack several problems that can be described using the statistics of subsets of the Farey sequence. In this paper, we derive the Boca-Cobeli-Zaharescu map analogue for the discrete orbits ${\Lambda }_q=G_q(1,0{)}^T$ of the linear action of the Hecke triangle groups $G_q$ on the plane ${\mathbb{R}}^2$ starting with a Stern-Brocot tree analogue for the said orbits. We derive the next-term algorithm for generating the elements of ${\Lambda }_q$ in vertical strips in increasing order of slope, and present a number of applications to the statistics of ${\Lambda }_q$.

Complete rewrite