Sets of exact approximation order by complex rational numbers (Q2126062)

For a function \(\Psi:(0,\infty)\to (0,\infty)\) denote by Exac\(_{\mathbb R}(\Psi)\) the set of real numbers that are approximable to order \(\Psi\) exactly. \textit{V. Jarnik} [Math. Z. 33, 505--543 (1931; JFM 57.1370.01)] used the theory of continued fractions to show that Exac\(_{\mathbb R}(\Psi)\) is uncountable if \(\Psi\) is non-increasing and satisfies \(\Psi(x) = o(x^{-2})\). His method provides no information regarding Hausdorff dimension Exac\(_{\mathbb R}(\Psi)\).\par \textit{Y. Bugeaud} [Math. Ann. 327, No. 1, 171--190 (2003; Zbl 1044.11059)], \textit{Y. Bugeaud} [Unif. Distrib. Theory 3, No. 2, 9--20 (2008; Zbl 1212.11071)] and \textit{Y. Bugeaud} and \textit{C. G. Moreira} [Acta Arith. 146, No. 2, 177--193 (2011; Zbl 1211.11084)] determined the Hausdorff dimension of Exac\(_{\mathbb R}(\Psi)\) for functions \(\Psi\) that are non-increasing and satisfy \(\Psi(x) = o(x^{-2})\). The situation becomes more subtle if we remove the assumption \(\Psi(x) = o(x^{-2})\).\par In this paper, the authors consider the analogous problem for complex numbers. If \(\Psi\) is non-increasing and \(\Psi(x) = o(x^{-2})\), then the authors determine the Hausdorff dimension and the packing dimension of Exact\((\Psi)\). They also give estimates for the Hausdorff dimension of Exact\((\Psi)\) without the condition \(\Psi(x) = o(x^{-2})\).