[論文レビュー] New developments of an old identity

Rui Duarte, António Guedes de Oliveira|arXiv (Cornell University)|Mar 24, 2012

Limits and Structures in Graph Theory参考文献 1被引用数 5

ひとこと要約

本稿では、中心二項係数を $2i$-集合の $i$-部分集合の数として解釈することで、古典的恒等式 $\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$ の新しい組合せ的証明を提示する。この証明は、2つの長方形内の色分けされたスロットを備えた順序付き配置と、$2\times n$ グリッドにおけるタワーフリー配置との間の双対写像を用いる。主な貢献は、この恒等式に対する新しい直接的な組合せ的解釈であり、実数パラメータを含む一般化と、$\binom{2n+\ell}{n}$ の明示的母関数が併せて得られる。

ABSTRACT

We give a direct combinatorial proof of a famous identity, $$ \sum_{i+j=n} m{2i}{i} \binom{2j}{j} = 4^n $$ by actually counting pairs of $k$-subsets of $2k$-sets. Then we discuss two different generalizations of the identity, and end the paper by presenting in explicit form the ordinary generating function of the sequence $(\strut\binom{2n+k}{n})_{n\in\mathds{N}_0}$, where $k\in\mathds{R}$.

研究の動機と目的

• 中心二項係数 $\binom{2i}{i}$ を $2i$-集合の $i$-部分集合の数として解釈することで、恒等式 $\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$ の直接的な組合せ的証明を提供すること。
• 既知の結果を拡張して、実数 $\ell$ に対して恒等式 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$ を一般化すること。
• 実数 $\ell$ に対して、列 $\left(\binom{2n+\ell}{n}\right)_{n\in\mathbb{N}_0}$ の通常母関数を明示的に導出すること。
• 順序付き $n$-配置（色分けされたスロットを含む）とタワーフリー $n$-配置との間の双対写像 $\varphi$ を確立し、タワーを含まない配置を保存すること。
• パラメータ $\ell_1,\dots,\ell_t$ の和が 0 である $t$-重の和への一般化を行い、パラメータに関して対称的な恒等式を得ること。

提案手法

• 左 $2\times i$ と右 $2\times j$ の部分長方形に分割された $2\times n$ 矩形 $R$ を構成し、$i+j=n$ とする。左側の $i$ 個のスロットと右側の $j$ 個のスロットを異なる色で塗ることで配置を定義する。
• 順序付き $n$-配置とは、左部分長方形の $i$ 個の色分けされたスロットが連続的であり、右部分長方形の $j$ 個の色分けされたスロットも連続的であるような配置であり、これは部分集合のペア $(A,B)$ を表す。
• タワー（2つの色分けされたスロットを持つ列）と空列（色分けされたスロットがない列）の概念を導入し、順序付き配置で $k$ 個のタワーを持つものを、$k$ 個の隣接する色の遷移を持つ配置へ写像する双対写像 $\varphi$ を定義する。
• 正の $\ell$ に対して包含除算法を用いて、一般化された恒等式 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$ を証明し、$\sum \binom{2n}{n}x^n = (1-4x)^{-1/2}$ の母関数に依存せずに証明する。
• 既知の中心二項係数の母関数 $g(x) = (1-4x)^{-1/2}$ とカタラン数の母関数 $C(x)$ を組み合わせ、微分的恒等式とゼイレッバーのアルゴリズムを用いて係数の恒等式を検証することで、$\binom{2n+\ell}{n}$ の母関数を導出する。
• パラメータ $\ell_1 + \cdots + \ell_t = 0$ のとき、$\sum_{i_1+\cdots+i_t=n}\binom{2i_1+\ell_1}{i_1}\cdots\binom{2i_t+\ell_t}{i_t} = \frac{4^n}{n!}\frac{\Gamma(n+\frac{t}{2})}{\Gamma(\frac{t}{2})}$ の $t$-重一般化を、多項式の次数の議論と有限差分を用いて確立する。

実験結果

リサーチクエスチョン

• RQ1 中心二項係数 $\binom{2i}{i}$ が $2i$-集合の $i$-部分集合の数を表すという解釈に基づいて、$\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$ の直接的な組合せ的証明が可能か？ これは、格子路や他の間接的解釈を避けるものである。
• RQ2 実数 $\ell$ に対して、一般化された恒等式 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$ の組合せ的解釈は何か？
• RQ3 実数 $\ell$ に対して、$\binom{2n+\ell}{n}$ の通常母関数を明示的に導出できるか？
• RQ4 パラメータの和が 0 である $t$-重の一般化の構造は何か？ また、超幾何恒等式とどのように関係するか？
• RQ5 母関数 $\binom{2n+\ell}{n}$ は、$g(x) = (1-4x)^{-1/2}$ とカタラン母関数 $C(x)$ を用いて、微分的・代数的恒等式によって表現可能か？

主な発見

• 恒等式 $\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$ に対して、$2\times n$ グリッド内の色分けされた部分集合の順序付き配置としての和項のモデル化により、新しい直接的な組合せ的証明が与えられた。
• 双対写像 $\varphi$ は、$k$ 個のタワーを持つ順序付き $n$-配置を、$k$ 個の隣接する色の遷移を持つ配置へ写像し、母関数に依存せずに恒等式を組合せ的に証明した。
• 一般化された恒等式 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$ はすべての実数 $\ell$ に対して成り立ち、包含除算法と多項式の次数の議論により証明された。
• 通常母関数 $\sum_{n\geq 0}\binom{2n+\ell}{n}x^n$ は明示的に $g(x)C(x)^\ell$ として与えられ、ここで $g(x) = (1-4x)^{-1/2}$ で $C(x)$ はカタラン母関数である。
• $\sum \ell_k = 0$ のとき、$t$-重一般化 $\sum_{i_1+\cdots+i_t=n}\binom{2i_1+\ell_1}{i_1}\cdots\binom{2i_t+\ell_t}{i_t} = \frac{4^n}{n!}\frac{\Gamma(n+\frac{t}{2})}{\Gamma(\frac{t}{2})}$ が成り立ち、有限差分と多項式恒等式を用いて導出された。
• 係数の恒等式 $\sum_{i=0}^n \binom{2n-i}{n-i}\binom{\ell+i-1}{i} = \binom{2n+\ell}{n}$ はゼイレッバーのアルゴリズムと証明関数 $G(n,i)$ を用いて検証され、母関数の導出が裏付けられた。