Irrationality Exponents and Partial Quotient Growth in Continued Fractions

Source abstract

Let $[a_1(x),a_2(x),\ldots,a_n(x),\ldots]$ be the continued fraction expansion of irrational $x\in[0,1)$, and let $q_n(x)$ be the denominator of the $n$-th convergent. In this paper, we study how the growth rate of $a_{n+1}(x)$ on a prescribed logarithmic size interacts with its upper growth rate relative to $q_n(x)$. For $ψ:\mathbb N\to\mathbb{R}_{\ge0}$ satisfying $ψ(n)\to \infty$ and $α, β\in [0, \infty]$, define the joint level set $$F_{α,β}:=\Big\{x\in [0,1)\colon \liminf_{n\to\infty}\frac{\log (a_{n+1}(x))}{ψ(n)}=α,\ \limsup_{n\to\infty}\frac{\log (a_{n+1}(x))}{\log q_n(x)}=β\Big\}.$$ We determine the Hausdorff dimension of $F_{α,β}$ for all values of $α$ and $β$. Our results is related to several earlier results on the metric theory of continued fractions, including those of Bugeaud [Math. Ann. {327} (2003)] on irrationality exponents, Wang--Wu [Adv. Math. {218} (2008)] on the growth of partial quotients, and Song--Tan--Zhang [Nonlinearity {37} (2024)] on the joint distribution of convergence and irrationality exponents.