Hausdorff dimension of intersections between the Jarník sets and Diophantine fractals

Abstract

The irrationality exponent of a real number measures how well that number can be approximated by rationals. Real numbers with irrationality exponent strictly greater than $2$ are transcendental numbers, and form a set with rich fractal structure. We show that this set intersects the limit set of any parabolic iterated function system arising from the backward continued fraction in a set of full Hausdorff dimension. As a corollary, we show that the set of irrationals whose irrationality exponents are strictly bigger than $2$ and whose backward continued fraction expansions have bounded partial quotients is of Hausdorff dimension $1$. This is a sharp contrast to the fact that there exists no irrational whose irrationality exponent is strictly greater than $2$ and whose regular continued fraction expansion has bounded partial quotients.

arXiv comment16 pages, no figure