Cantor sets determined by partial quotients of continued fractions of Laurent series (Q2426467)

In [Math. Zs. 19, 153--206 (1924; JFM 50.0107.01)], \textit{E. Artin} extended the continued fraction formalism to the field of formal Laurent series \(K((z^{-1}))\) over a base field \(K\). For \(0\not= f=\sum_{s\leq n}k_nz^{-n}\in K((z^{-1}))\), let \(v(f)=\min\{n:k_n\not=0\}\). Then \(v\) is a discrete valuation, whose valuation ideal is \(I=z^{-1}K[[z^{-1}]]\); let \(\lfloor f\rfloor=\sum_{s\leq n\leq 0}k_nz^{-n}\) denote the integral part of \(f\). The Gauss transformation \(T:I\to I\), defined by \(Tf=1/f-\lfloor 1/f\rfloor\) and \(T0=0\), induces a continued fraction expansion \(f=[0;a_1,a_2,a_3,\dots]\) in the standard way, the \(n\)th partial quotient \(a_n=a_n(f)\) being the integral part of \(1/T^{n-1}f\). Assume now that \(K=\mathbb{F}_q\) is a finite field. Then \(I\) is homeomorphic to \(\mathbb{F}_q^\mathbb{N}\), so it is a Cantor space naturally endowed with a metric and a product measure. One is then interested in the Hausdorff dimension of subsets of \(I\) described by conditions on the continued fraction expansions of their elements. In [J.\ Complexity 13, No. 3, 353--383 (1997; Zbl 0934.94013)], \textit{H. Niederreiter} and \textit{M. Vielhaber} determined, for any positive integer \(d\), the Hausdorff dimension of \(\{f\in I: \deg a_n(f)\leq d\), for every \(n\}\). In the present paper the authors prove that the Hausdorff dimension of \(\{f\in I:\deg a_n(f)\to\infty\}\) is \(1/2\) and determine, for every function \(\varphi:\mathbb{N}\to \mathbb{N}\), the Hausdorff dimension of \(\{f\in I: \deg a_n(f)\geq \varphi(n)\), for infinitely many \(n\}\), and of \(\{f\in I: \deg a_n(f)\geq \varphi(n)\), for every \(n\}\).