Diophantine approximation by almost equilateral triangles
Abstract
A {\it two-dimensional continued fraction expansion} is a map assigning to every a sequence of triangles with vertices , such that \begin{eqnarray*} \det \left(\begin{matrix} p_{n1}& q_{n1} &d_{n1}\\ p_{n2}& q_{n2} &d_{n2}\\ p_{n3}& q_{n3} &d_{n3} \end{matrix} \right) = \pm 1\,\,\, \,\,\,\mbox{and}\,\,\,\,\,\, \bigcap_n T_n = \{x\}. \end{eqnarray*} We construct a two-dimensional continued fraction expansion such that for densely many (Turing computable) points the vertices of the triangles of strongly converge to . Strong convergence depends on the value of ("dist" denoting euclidean distance) which in turn depends on the smallest angle of . Our proofs combine a classical theorem of Davenport Mahler in diophantine approximation, with the algorithmic resolution of toric singularities in the equivalent framework of regular fans and their stellar operations.
Cite
@article{arxiv.1705.03344,
title = {Diophantine approximation by almost equilateral triangles},
author = {Daniele Mundici},
journal= {arXiv preprint arXiv:1705.03344},
year = {2017}
}