On \(k\)-regularity of sequences of valuations and last non-zero digits (Q6164972)

Let \(k\geq 2\) be an integer and recall that a sequence \((u_{n})_{n\in\mathbb{N}}\) is \(k\)-regular if the \(\mathbb{Z}\)-module generated by the set of sequences \[ \{(u_{k^{m}n+i})_{n\in\mathbb{N}}:\;m\in\mathbb{N}, i\in\{0, \ldots, k^{m}-1\}\} \] is finitely generated. Next, let \(b\geq 2\) be an integer base with prime factors \(p_{1},\ldots, p_{s}\). The author studies sequences of \(b\)-adic valuations and last nonzero digits in \(b\)-adic expansions of the values \(f(n)=(f_{1}(n), \ldots, f_{s}(n))\), where each \(f_{i}\) is a \(p_{i}\)-adic analytic function and asks whether the resulting sequence is \(k\)-regular for some integer \(k\geq 2\). The main result of the paper is a complete classification concerning \(k\)-regularity of these sequences. This is a far reaching generalization of the result obtained in [\textit{Z. Shu} and \textit{J. Yao}, C. R. Math. Acad. Sci. Paris, 349, No. 17--18, 947--952 (2011; Zbl 1266.30035)], where the \(p\)-regularity of the sequence of \(p\)-adic valuations of values of a fixed \(p\)-adic analytic function \(f:\mathbb{Z}_{p}\rightarrow \mathbb{C}_{p}\) was investigated and characterized in terms of zeros of \(f\).