arXiv++ Combinatorics

In this article we study $p$-adic properties of sequences of integers (or $p$-adic integers) that satisfy a linear recurrence with constant coefficients. For such a sequence, we give an explicit approximate twisted interpolation to $\mathbb Z_p$. We then use this interpolation for two applications. The first is that certain subsequences of constant-recursive sequences converge $p$-adically. The second is that the density of the residues modulo $p^α$ attained by a constant-recursive sequence converges, as $α\to \infty$, to the Haar measure of a certain subset of $\mathbb Z_p$. To illustrate these results, we determine some particular limits for the Fibonacci sequence.

In this paper we use the framework of automatic sequences to study combinatorial sequences modulo prime powers. Given a sequence whose generating function is the diagonal of a rational power series, we provide a method, based on work of Denef and Lipshitz, for computing a finite automaton for the sequence modulo $p^α$, for all but finitely many primes $p$. This method gives completely automatic proofs of known results, establishes a number of new theorems for well-known sequences, and allows us to resolve some conjectures regarding the Apéry numbers. We also give a second method, which applies to an algebraic sequence modulo $p^α$ for all primes $p$, but is significantly slower. Finally, we show that a broad range of multidimensional sequences possess Lucas products modulo $p$.