[论文解读] A method for determining the mod-$p^k$ behaviour of recursive sequences

Christian Krattenthaler, Thomas W. Müller|arXiv (Cornell University)|Aug 11, 2015

Advanced Combinatorial Mathematics参考文献 15被引用 9

一句话总结

本文提出了一种通用方法，用于计算由代数微分方程定义的组合序列在模素数幂 $p^k$ 下的同余式。通过将解表示为 $p$-进级数 $\Phi_p(z) = \sum_{n \geq 0} z^{p^n}$ 的多项式，并利用辅助级数 $H_{b_1,\dots,b_r}(z)$ 的线性独立性与系数提取技术，作者推导出 Fuß–Catalan 数、Kreweras 走廊、非交叉图和花树在任意素数幂模下的显式同余式。

ABSTRACT

We present a method for obtaining congruences modulo powers of a prime number~$p$ for combinatorial sequences whose generating function satisfies an algebraic differential equation. This method generalises the one by Kauers and the authors [Electron. J. Combin. 8(2) (2012), Art. P37; arXiv:1107.2015] from $p=2$ to arbitrary primes. Our applications include congruences for numbers of non-crossing graphs and numbers of Kreweras walks modulo powers of~$3$, as well as congruences for Fuß-Catalan numbers and blossom tree numbers modulo powers of arbitrary primes.

研究动机与目标

• 将计算模-$2^k$ 同余式的方法推广至任意素数幂 $p^k$。
• 为满足代数微分方程的序列建立模 $p^k$ 同余式的系统性框架。
• 通过将 $\Phi_p(z)$ 的幂分解为线性无关的辅助级数 $H_{b_1,\dots,b_r}(z)$，实现其系数的高效提取。
• 将该方法应用于具体组合序列，包括非交叉图、Kreweras 走廊和花树，得到模 $p^k$ 的新同余式。

提出的方法

• 将 $\mathbb{Z}$ 上不同代数幂级数的解表示为 $\Phi_p(z)$ 的多项式，其系数属于 $\mathbb{Z}[z,z^{-1}]$。
• 引入辅助级数 $H_{b_1,\dots,b_r}(z) = \sum_{n_1 > \cdots > n_r \geq 0} z^{b_1 p^{n_1} + \cdots + b_r p^{n_r}}$，以分解 $\Phi_p(z)$ 的幂。
• 证明当参数与 $p$ 互素时，$1$ 与 $H_{b_1,\dots,b_r}(z)$ 在 $\mathbb{Z}[z,z^{-1}]$ 和 $\mathbb{Z}/p^k\mathbb{Z}[z,z^{-1}]$ 上线性无关。
• 证明任一 $H_{b_1,\dots,b_r}(z)$ 均可表示为独立基级数的 $\mathbb{Z}[z,z^{-1}]$-线性组合。
• 建立一种有效算法，利用超几何恒等式与 Pfaff–Saalschütz 公式，从 $H_{b_1,\dots,b_r}(z)$ 中提取系数。
• 将该框架应用于推导 Fuß–Catalan 和花树数等序列模 $p^k$ 的显式同余式。

实验结果

研究问题

• RQ1 能否将计算模-$2^k$ 同余式的方法推广至任意素数幂 $p^k$？
• RQ2 模 $p^k$ 下 $\Phi_p(z)$ 的最小多项式次数是多少？能否对其进行界定？
• RQ3 如何高效地提取 $\Phi_p(z)$ 的幂在模 $p^k$ 下的系数，以支持组合应用？
• RQ4 能否为非交叉图和 Kreweras 走廊等组合序列在模 $3^k$ 下导出新的同余式？
• RQ5 当 $k$ 为 $p$ 的幂时，该方法能否为 Fuß–Catalan 数和花树数模 $p^k$ 推导出显式同余式？

主要发现

• 本文证明 $\Phi_p(z)$ 在 $\mathbb{Z}[z]$ 上超越，但在模 $p^k$ 下代数，从而为 $p^k$-同余式提供了系统性方法。
• 对 $\Phi_p(z)$ 模 $p^k$ 的最小次数的猜想被证明为下界，尽管未必紧致。
• 为 $n$ 个顶点的非交叉图数量导出了模 $3^k$ 的同余式，扩展了此前针对 $p=2$ 的结果。
• 利用新方法，为平面中长度为 $n$ 的 Kreweras 走廊数量导出了模 $3^k$ 的同余式。
• 当 $k = p^m$ 时，本文证明了 Fuß–Catalan 数 $F(n;k) = \frac{1}{n}\binom{kn}{n-1}$ 模 $p^k$ 的显式同余式。
• 为 $p$-元花树数量（$n$ 个白节点）模 $p^k$ 建立了同余式，其表达式为 $B(n;p) = \frac{p+1}{n((p-1)n+2)}\binom{pn}{n-1}$。