Analytic functions over \(\mathbb Z_p\) and \(p\)-regular sequences (Q640887): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The ring of \(k\)-regular sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The ring of \(k\)-regular sequences. II. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automatic Sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4071850 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-adic valuations and \(k\)-regular sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: $p$-regularity of the $p$-adic valuation of the Fibonacci sequence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4223129 / rank | |||
Normal rank |
Latest revision as of 14:03, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Analytic functions over \(\mathbb Z_p\) and \(p\)-regular sequences |
scientific article |
Statements
Analytic functions over \(\mathbb Z_p\) and \(p\)-regular sequences (English)
0 references
21 October 2011
0 references
The authors connect \(p\)-adic analysis and the theory of automata sequences, namely \(p\)-regular sequences (see [\textit{J.-P. Allouche} and \textit{J. Shallit}, Theor. Comput. Sci. 98, No. 2, 163--197 (1992; Zbl 0774.68072); ibid. 307, No. 1, 3--29 (2003; Zbl 1058.68066)]). Let \(\nu_p\) be a normalized \(p\)-adic valuation on \(\mathbb C_p\). It is proved that for an analytic function \(f:\mathbb Z_p \to \mathbb C_p\) without roots in \(\mathbb N\), the sequence \(\{ \nu_p(f(n))\}_{n\geq 0}\) is \(p\)-regular if and only if all the roots of \(f\) in \(\mathbb Z_p\) are contained in \(\mathbb Q\). As an application, they find conditions of \(p\)-regularity for a sequence \(\{ \nu_p(x(n))\}\) where the sequence \(x\) is defined by a second order recurrence relation.
0 references
\(p\)-regular sequences
0 references
\(p\)-adic integers
0 references
recurrent sequences
0 references