arXiv subjects
Publications and source records attributed to Slade Sanderson.
Motivated by the optimal continued fractions studied independently by Selenius and Bosma, we define and introduce algorithms producing superoptimal continued fraction expansions of irrationals. The convergents of these expansions simultaneously provide arbitrarily good rational approximations and converge arbitrarily quickly.
We introduce a new, large class of continued fraction algorithms producing what are called contracted Farey expansions. These algorithms are defined by coupling two acceleration techniques -- induced transformations and contraction -- in the setting of Shunji Ito's natural extension of the Farey tent map, which generates `slow' continued fraction expansions. In addition to defining new algorithms, we also realise several existing continued fraction algorithms in our unifying setting. In particular, we find regular continued fractions, the second-named author's $S$-expansions, and Nakada's parameterised family of $\alpha$-continued fractions for all $0<\alpha\le 1$ as examples of contracted Farey expansions. Moreover, we give a new description of a planar natural extension for each of the $\alpha$-continued fraction transformations as an explicit induced transformation of Ito's natural extension.
We revisit Ito's (\cite{I1989}) natural extension of the Farey tent map, which generates all regular continued fraction convergents and mediants of a given irrational. With a slight shift in perspective on the order in which these convergents and mediants arise, this natural extension is shown to provide an elegant and powerful tool in the metric theory of continued fractions. A wealth of old and new results -- including limiting distributions of approximation coefficients, analogues of a theorem of Legendre and their refinements, and a generalisation of L\'evy's Theorem to subsequences of convergents and mediants -- are presented as corollaries within this unifying theory.
We study a one-parameter family of interval maps $\{T_\alpha\}_{\alpha\in[1,\beta]}$, with $\beta$ the golden mean, defined on $[-1,1]$ by $T_\alpha(x)=\beta^{1+|t|}x-t\beta\alpha$ where $t\in\{-1,0,1\}$. For each $T_\alpha,\ \alpha>1$, we construct its unique, absolutely continuous invariant measure and show that on an open, dense subset of parameters $\alpha$, the corresponding density is a step function with finitely many jumps. We give an explicit description of the maximal intervals of parameters on which the density has at most the same number of jumps. A main tool in our analysis is the phenomenon of matching, where the orbits of the left and right limits of discontinuity points meet after a finite number of steps. Each $T_\alpha$ generates signed expansions of numbers in base $1/\beta$; via Birkhoff's ergodic theorem, the invariant measures are used to determine the asymptotic relative frequencies of digits in generic $T_\alpha$-expansions. In particular, the frequency of $0$ is shown to vary continuously as a function of $\alpha$ and to attain its maximum $3/4$ on the maximal interval $[1/2+1/\beta,1+1/\beta^2]$.
The Veech group of a translation surface is the group of Jacobians of orientation-preserving affine automorphisms of the surface. We present an algorithm which constructs all translation surfaces with a given lattice Veech group in any given stratum. In developing this algorithm, we give a new proof of a finiteness result of Smillie and Weiss, namely that there are only finitely many unit-area translation surfaces in any stratum with the same lattice Veech group. Our methods can be applied to obtain obstructions of lattices being realized as Veech groups in certain strata; in particular, we show that the square torus is the only translation surface in any minimal stratum whose Veech group is all of $\mathrm{SL}_2\mathbb{Z}$.
For each stratum of the space of translation surfaces, we introduce an infinite translation surface containing in an appropriate manner a copy of every translation surface of the stratum. Given a translation surface $(X, \omega)$ in the stratum, a matrix is in its Veech group $\mathrm{SL}(X,\omega)$ if and only if an associated affine automorphism of the infinite surface sends each of a finite set, the ``marked" {\em Voronoi staples}, arising from orientation-paired segments appropriately perpendicular to Voronoi 1-cells, to another pair of orientation-paired ``marked" segments. We prove a result of independent interest. For each real $a\ge \sqrt{2}$ there is an explicit hyperbolic ball such that for any Fuchsian group trivially stabilizing $i$, the Dirichlet domain centered at $i$ of the group already agrees within the ball with the intersection of the hyperbolic half-planes determined by the group elements whose Frobenius norm is at most $a$. %When $\mathrm{SL}(X,\omega)$ is a lattice we use this to give a condition guaranteeing that the full group $\mathrm{SL}(X,\omega)$ has been computed. Together, these results give rise to a new algorithm for computing Veech groups.
A homothety surface can be assembled from polygons by identifying their edges in pairs via homotheties, which are compositions of translation and scaling. We consider linear trajectories on a 1-parameter family of genus-2 homothety surfaces. The closure of a trajectory on each of these surfaces always has Hausdorff dimension 1, and contains either a closed loop or a lamination with Cantor cross-section. Trajectories have cutting sequences that are either eventually periodic or eventually Sturmian. Although no two of these surfaces are affinely equivalent, their linear trajectories can be related directly to those on the square torus, and thence to each other, by means of explicit functions. We also briefly examine two related families of surfaces and show that the above behaviors can be mixed; for instance, the closure of a linear trajectory can contain both a closed loop and a lamination.