关于模 $p^a$ 的常数项序列的线性表示及其在一致递归中的应用

A Linear Representation for Constant Term Sequences mod $p^a$ with Applications to Uniform Recurrence

摘要 Abstract

包括Catalan数、Motzkin数以及Apr{\'e}y数在内的许多整数序列都可以表示为Laurent多项式 $P$ 和 $Q$ 的形式 ConstantTermOf$\left[P^nQ\right]$。这些序列通常被称为“常数项序列”。本文研究了形如这种序列模 $p^a$ 的情况,并进一步探讨了由这些序列构建的其他序列是否具有均匀递归性质。对于所有非一致递归的情况,我们证明了零元素出现的频率为1。为此,我们引入了一种新的模 $p^a$ 的常数项序列的线性表示方法,这种方法本身也具有独立的研究价值。

Many integer sequences including the Catalan numbers, Motzkin numbers, and the Apr{\'e}y numbers can be expressed in the form ConstantTermOf$\left[P^nQ\right]$ for Laurent polynomials $P$ and $Q$. These are often called ``constant term sequences''. In this paper, we characterize the prime powers, $p^a$, for which sequences of this form modulo $p^a$, and others built out of these sequences, are uniformly recurrent. For all other prime powers, we show that the frequency of $0$ is $1$. This is accomplished by introducing a novel linear representation of constant term sequences modulo $p^a$, which is of independent interest.

关于模 $p^a$ 的常数项序列的线性表示及其在一致递归中的应用 - arXiv