[论文解读] Some Elementary Congruences for the Number of Weighted Integer Compositions

Steffen Eger|arXiv (Cornell University)|Mar 22, 2015

Advanced Combinatorial Mathematics参考文献 21被引用 6

一句话总结

本文建立了 f-加权整数 compositions 的基本同余性质，推广了经典二项式系数结果（如卢卡斯定理和巴贝奇同余）。推导了扩展二项式系数 $\binom{k}{n}_f$ 的可除性定律，证明了模素数的广义格拉舍尔型同余，并将其应用于加权 compositions 的素性判定。

ABSTRACT

An integer composition of a nonnegative integer $n$ is a tuple $(\\pi_1,\\ldots,\\pi_k)$ of nonnegative integers whose sum is $n$; the $\\pi_i$'s are called the parts of the composition. For fixed number $k$ of parts, the number of $f$-weighted integer compositions (also called $f$-colored integer compositions in the literature), in which each part size $s$ may occur in $f(s)$ different colors, is given by the extended binomial coefficient $\\binom{k}{n}_{f}$. We derive several congruence properties for $\\binom{k}{n}_{f}$, most of which are analogous to those for ordinary binomial coefficients. Among them is the parity of $\\binom{k}{n}_{f}$, Babbage's congruence, Lucas' theorem, etc. We also give congruences for $c_{f}(n)$, the number of $f$-weighted integer compositions with arbitrarily many parts, and for extended binomial coefficient sums. We close with an application of our results to prime criteria for weighted integer compositions.

研究动机与目标

• 将经典同余定理（如卢卡斯定理和巴贝奇同余）从普通二项式系数推广至 f-加权整数 compositions 的广义情形。
• 推导固定部分数的 f-加权整数 compositions 数量的可除性性质，记为 $\binom{k}{n}_f$。
• 研究具有任意部分数的 f-加权 compositions 总数 $c_f(n)$ 及其同余行为。
• 将曼和尚克斯的素性判定准则推广至加权整数 compositions 的情境，使用扩展二项式系数。
• 基于 $m$ 整除 $\binom{m}{n-2m}_f$ 的可除性，建立一个基于理论的素性测试，适用于奇合数 $n$。

提出的方法

• 使用生成函数：系数 $\binom{k}{n}_f$ 定义为 $\left(\sum_{s\in\mathbb{N}} f(s)x^s\right)^k$ 中 $x^n$ 的系数，从而在组合上将其与 f-加权 compositions 关联。
• 应用多项式展开，将 $\binom{k}{n}_f$ 表示为对 $n$ 分解为 $k$ 个部分的所有组合的求和，权重为 $f(\pi_i)$。
• 使用递推恒等式 $\binom{k}{n}_f = \sum_{s\in\mathbb{N}} f(s)\binom{k-1}{n-s}_f$，推广帕斯卡恒等式。
• 在环 $\mathbb{Z}/p\mathbb{Z}$ 上分析模素数的同余，特别是当 $p \equiv 1 \pmod{m}$ 时，并应用格拉舍尔定理于扩展二项式系数。
• 应用范德蒙德卷积及模 $p$ 下二项式系数的性质，推导 $\binom{k}{n}_f$ 的同余关系。
• 通过分析 $\binom{m}{n-2m}_f \equiv 0 \pmod{m}$（其中 $0 \leq 2m \leq n$）推导素性判定准则，将曼和尚克斯的结果推广至加权 compositions。

实验结果

研究问题

• RQ1 哪些经典二项式系数的同余性质（如卢卡斯定理和巴贝奇同余）可推广至 f-加权整数 compositions 的广义情形？
• RQ2 当 $p \equiv 1 \pmod{m}$ 时，f-加权 compositions 数量 $\binom{k}{n}_f$（具有 $k$ 个部分）模素数的行为如何，特别是其同余性质？
• RQ3 具有任意部分数的 f-加权 compositions 总数 $c_f(n)$ 是否满足特定的可除性或同余条件？
• RQ4 是否存在曼和尚克斯素性判定准则在 f-加权 compositions 情境下的推广？其有效性的条件是什么？
• RQ5 生成函数 $\left(\sum f(s)x^s\right)^k$ 对在 $\mathbb{Z}/p\mathbb{Z}$ 中推导同余关系有何影响？

主要发现

• 具有 $k$ 个部分的 f-加权整数 compositions 数量 $\binom{k}{n}_f$ 满足广义格拉舍尔同余：对素数 $p \equiv 1 \pmod{m}$，有 $\binom{k+p-1}{r}_{m,f} \equiv \binom{k}{r}_{m,f} \pmod{p}$。
• 当 $f(s) = 0$ 对几乎所有 $s$ 成立时，行和 $\binom{k}{0}_{1,f} = \sum_{s\geq 0} f(s)^k$ 满足 $\binom{k}{0}_{1,f} \equiv M \pmod{2}$，其中 $M = \sum_{s\geq 0} f(s)$，推广了二项式行和的奇偶性。
• 本文证明：若 $n > 1$ 为素数，则对所有满足 $0 \leq 2m \leq n$ 的 $m$，有 $m$ 整除 $\binom{m}{n-2m}_f$，前提是 $f(0) = f(1) = 1$。
• 反之，若 $n$ 为偶合数，则 $\binom{n/2}{0}_f = f(0)^{n/2} = 1$，故 $m = n/2$ 不整除 $\binom{m}{n-2m}_f$，导致判定准则失效。
• 对奇合数 $n$，取 $m = (n-p)/2$，其中 $p$ 为 $n$ 的素因子，则 $\binom{m}{n-2m}_f = \binom{pr}{p}_f$，在给定条件下有 $\binom{pr}{p}_f \not\equiv 0 \pmod{pr}$，表明该判定准则不成立。
• 该素性判定准则在理论上成立，但计算上不切实际，因为验证 $\binom{m}{n-2m}_f$ 是否被 $m$ 整除所需计算量与基于威尔逊定理的测试相当。