[論文レビュー] On proofs of certain combinatorial identities

George Grossman, Aklilu Zeleke+1 more|ArXiv.org|Sep 13, 2007

Advanced Mathematical Theories and Applications参考文献 6被引用数 3

ひとこと要約

本稿では、二項係数を用いた2の偶数乗の線形結合として整数を表す3つの超幾何恒等式について、組合せ的証明とコンピュータ支援証明を提示する。組合せ的証明には符号反転置換を、アルゴリズム的検証にはWilf-Zeilberger（WZ）法を用い、二項係数、4の累乗、符号の交互に現れる項を含む和が、nに関する線形的および二次的式と関連することを確立し、このような恒等式を統一的枠組みで証明する。

ABSTRACT

In this paper we formulate combinatorial identities that give representation of positive integers as linear combination of even powers of 2 with binomial coefficients. We present side by side combinatorial as well as computer generated proofs using the Wilf-Zeilberger(WZ) method.

研究の動機と目的

• 2の偶数乗と二項係数を用いた超幾何恒等式について、組合せ的証明とコンピュータ生成証明を提供すること。
• 正の整数が二項係数を係数とする2の偶数乗の線形結合として表せることを示し、このような表現の非一意性を示すこと。
• 組合せ的解釈と超幾何恒等式のアルゴリズム的証明技法（Wilf-Zeilberger（WZ）法）を統合すること。
• 一般化フィボナッチ多項式の因数分解における係数の明示的公式から生じる恒等式を確立すること。
• GrossmanとZeleke（2003年）の先行結果を、構成的組合せ的手法と自動和計算ツールの両方を用いて拡張・一般化すること。

提案手法

• アルファベット{a, b, c}上の語の集合Sを構成し、重み関数Wt(w) = (-1)^(aの個数)を定義し、aの個数が0でない項をキャンセルする符号反転置換を導入する。
• この置換を用いて、S上の重みの和が固定点（aを含まない語）の個数に等しくなることを示し、それらはc^m b^pの形をとる。これにより閉形式の和が得られる。
• 超幾何項F(n,k)を定義し、WZ法を適用して、G(n,k+1) - G(n,k) = F(n+1,k) ± F(n,k)を満たす再帰関係が成り立つことを検証することで、自動和計算を可能にする。
• EKHADおよびMultiSumパッケージを用いて和の再帰関係を生成し、総和が既知の初期条件を持つ再帰関係を満たすことを検証する。
• 定理3の元の二重和を、和の順序を逆転させ、再帰関係を適用することで、S(n+1) - S(n) = 2(n+1)が成り立つことを示し、期待される二次的増加と一致することを確認する。
• WZ法が有理関数R(n,k)を生成できることを活用し、G(n,k) = R(n,k)F(n,k)を満たすことで、和のテレスコーピング性の証明が可能になる。

実験結果

リサーチクエスチョン

• RQ1 語の列挙と符号反転置換を用いた組合せ的証明により、恒等式 ∑_{k=0}^n (-1)^{n+k} C(n+k+1, 2k+1) 2^{2k} = n+1 がすべてのn ∈ ℕ₀に対して成り立つかどうか。
• RQ2 WZ法を用いて、すべてのn ≥ -1に対して恒等式 ∑_{k=0}^{n+1} (-1)^{n+k+1} C(n+k+1, 2k) 2^{2k} = 2n+3 が検証可能かどうか。
• RQ3 n ≥ 1に対して、二重和恒等式 ∑_{k=0}^{n-1} ∑_{m=2k+2}^{n+1+k} (-1)^{m+k} C(n+k+1, m) 2^{m-1} = n(n+1) に対する組合せ的解釈は存在するか。
• RQ4 WZ法を用いて、超幾何項F(n,k,m)の和が再帰関係を満たし、二次的結果n(n+1)に至ることを確認できるか。
• RQ5 一般化フィボナッチ多項式の因数分解における係数と、提示された組合せ的恒等式との関係は何か。

主な発見

• 恒等式 ∑_{k=0}^n (-1)^{n+k} C(n+k+1, 2k+1) 2^{2k} = n+1 はすべてのn ∈ ℕ₀に対して成り立ち、特定の重み条件を満たす語に対する符号反転置換により証明された。
• 恒等式 ∑_{k=0}^{n+1} (-1)^{n+k+1} C(n+k+1, 2k) 2^{2k} = 2n+3 はすべてのn ∈ ℕ_{-1}に対して成り立ち、同じ置換のもとで2n+3個の固定点に帰着される。
• 二重和 ∑_{k=0}^{n-1} ∑_{m=2k+2}^{n+1+k} (-1)^{m+k} C(n+k+1, m) 2^{m-1} = n(n+1) は、再帰と和計算技法を用いてすべてのn ∈ ℕ₁に対して証明された。
• WZ法により、S(n) = ∑_{k=0}^n F(n,k) がS(n+1) - S(n) = 0かつS(0) = 1を満たすことが確認され、第一の恒等式がアルゴリズム的に証明された。
• WZ法により、S(n) = ∑_{k=0}^{n+1} F(n,k) がS(n+1) - S(n) = 0かつS(-1) = 1を満たすことも確認され、第二の恒等式がすべてのn ≥ -1に対して確認された。
• 系として、(n+1)² = ∑_{k=0}^n ∑_{m=2k+1}^{n+k+1} (-1)^{m+k+n+1} C(n+k+1, m) 2^{m-1} が得られ、同様に(2n+1)(2n+2)および(2n+2)²に対しても代入と和計算により類似の恒等式が導出された。