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

From MaRDI portal
scientific article; zbMATH DE number 7720229
Language Label Description Also known as
English
On \(k\)-regularity of sequences of valuations and last non-zero digits
scientific article; zbMATH DE number 7720229

    Statements

    On \(k\)-regularity of sequences of valuations and last non-zero digits (English)
    0 references
    0 references
    28 July 2023
    0 references
    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\).
    0 references
    0 references
    \(p\)-adic valuation
    0 references
    last nonzero digits
    0 references
    \(k\)-regular sequences
    0 references
    \(k\)-automatic sequences
    0 references
    linear recurrence sequences
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references