A note on transcendental analytic functions with rational coefficients mapping \(\mathbb{Q}\) into itself (Q6620064)

Let \(t\) be a positive integer and \(\mathbb D\subset\mathbb C\) be a neighborhood of origin. Then the authors prove that there is no a transcendental function \(f(z)=\sum_{k\geq 0} a_kz^k\in\mathbb C[[z]]\), analytic in \(\mathbb D\), such that \(a_k\in\mathbb Q\), for all \(k\in [0,t]\), \(f(\mathbb Q\cap\mathbb D)\subseteq\mathbb Q\) and \(\mathrm{den}(f(\frac pq))=O(q^{\frac t2})\) for all rational numbers \(\frac pq\in\mathbb D\) with \(q\) sufficiently large. Here \(\mathrm{den}(x)\) means the denominator of the rational number \(x\).