[論文レビュー] Some Elementary Congruences for the Number of Weighted Integer Compositions

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

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

ひとこと要約

本稿は、二項係数の古典的結果（例えばルーカスの定理やバーバッジの合同式）を一般化したf-重み付き整数分割の基本的合同性を確立する。拡張された二項係数$inom{k}{n}_f$の整除性則を導出し、素数を法とする一般化されたグライシャー型合同式を証明し、これらを重み付き分割の素数判定に応用する。

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-重み付き整数分割の一般化された設定に拡張すること。
• 固定された部分数を持つf-重み付き整数分割の数の整除性性質を、$inom{k}{n}_f$として導出すること。
• 任意の部分数を持つf-重み付き分割の総数$c_f(n)$とその合同的性質を研究すること。
• 拡張された二項係数を用いて、マンとシャンクスの素数判定法を重み付き整数分割の文脈に一般化すること。
• 奇数の合成数$n$に対して、$\binom{m}{n-2m}_f$が$m$で割り切れるかどうかの整除性に基づく理論的素数判定法を確立すること。

提案手法

• 母関数を用いる：係数$inom{k}{n}_f$は、$\/left(\/sum_{s\in\mathbb{N}} f(s)x^s\right)^k$における$x^n$の係数として定義され、f-重み付き分割と組み合わせ的に関連づけられる。
• 多項定理の展開を適用し、$\binom{k}{n}_f$を$k$個の部分への$n$の分割の和として表し、各部分の重み$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$）を満たすことを分析し、マンとシャンクスの結果を重み付き分割に一般化して素数判定法を導出する。

実験結果

リサーチクエスチョン

• RQ1 ルーカスの定理やバーバッジの合同式といった二項係数の古典的合同性が、f-重み付き整数分割の一般化された設定にどの程度拡張可能か。
• RQ2 素数$p \equiv 1 \pmod{m}$の下で、$k$個の部分を持つf-重み付き分割の数$\binom{k}{n}_f$が素数を法としてどのように振る舞うか。
• RQ3 任意の部分数を持つf-重み付き分割の総数$c_f(n)$が、特定の整除性または合同条件を満たす可能性はあるか。
• RQ4 マンとシャンクスの素数判定法はf-重み付き分割に一般化可能か。その有効性を保証する条件は何か。
• RQ5 母関数$\left(\sum f(s)x^s\right)^k$は、$\mathbb{Z}/p\mathbb{Z}$における合同式の導出にどのような意味を持つのか。

主な発見

• k個の部分を持つf-重み付き整数分割の数$\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$が素数であれば、$f(0) = f(1) = 1$の条件下で、すべての$m$（$0 \leq 2m \leq n$）に対して$m$が$\binom{m}{n-2m}_f$を割り切ることを証明している。
• 逆に、$n$が偶数の合成数であれば、$\binom{n/2}{0}_f = f(0)^{n/2} = 1$であるため、$m = n/2$は$\binom{m}{n-2m}_f$を割り切らず、この基準は無効となる。
• 奇数の合成数$n$に対して、$p$を$n$の素因数として$m = (n-p)/2$を選べば、$\binom{m}{n-2m}_f = \binom{pr}{p}_f$となり、与えられた条件下で$\binom{pr}{p}_f \not\equiv 0 \pmod{pr}$となる。これは基準が成立しないことを示している。
• 素数判定法は理論的には有効であるが、計算上は不実用的である。$\binom{m}{n-2m}_f$が$m$で割り切れるかどうかを検証するには、ウィルソンの定理に基づくテストと同程度の作業が必要となる。