On \(q\)-arithmetic entire functions (Q1275736)

Let \(f\) be an entire function which assumes integer values at all points of the geometric sequence \(q^n\), \(n\in\mathbb{N}\), \(q\in\mathbb{Z}\), \(| q|>1\). The author calls such functions ``\(q\)-integer-valued entire functions''. For this class of functions, he gives the analog to the theorem of Perelli and Zannier on integer-valued entire functions: Theorem. Let \(f\) be a \(q\)-integer-valued entire function such that \[ \log| f|(R)\leq \lambda{(\log R)^2\over\log| q|}+ o((\log R)^2);\tag{i} \] \[ f(q^{n+ m})\equiv f(q^n)(\text{mod}(q^m- 1))\text{ for all }m\geq 1,\;n\in\mathbb{N}.\tag{ii} \] If \(\lambda<{1\over 4-{12\over \pi^2}}\), \(f\) is a polynomial. An example shows that the bound for \(\lambda\) is sharp. The proof uses essentially so-called \(q\)-analysis. Some remarks and conjectures are given also.