[論文レビュー] Some identities and formulas involving generalized Catalan numbers

Siu‐Ah Ng|ArXiv.org|Sep 21, 2006

Advanced Mathematical Theories and Applications参考文献 1被引用数 4

ひとこと要約

本稿では、直線 $y=x$ を超えない $(0,-2m)$ から $(n-m,n-m)$ への格子路を数える一般化されたカタラン数 $π_{n,m}$ を導入し、閉形式の公式 $π_{n,m} = \frac{2m+1}{n+m+1} \binom{2n}{n+m}$ を得る。新たな二項恒等式、再帰的関係、および多変数母関数を確立し、カタラン行列式の閉形式表現 $2^{N(N+1)/2}$ に至る。生成関数の合成と係数抽出の技法を用いて証明される。

ABSTRACT

A generalization of the Catalan numbers is considered. New results include binomial identities, recursive relations and a close formula for the multivariate generating function. A simple expression for the Catalan determinant is derived.

研究の動機と目的

• 直線 $y=x$ を超えない $(0,-2m)$ から $(n-m,n-m)$ への格子路を数える二パラメータ族 $\mathcal{C}_{n,m}$ を導入することで、古典的カタラン数を一般化すること。
• 反射原理と組合せ的経路数え上げを用いて、$\mathcal{C}_{n,m}$ の閉形式表現を導出すること。
• 一般化カタラン数を含む新たな二項恒等式および再帰的関係を確立すること。
• 一般化カタラン数 $\mathcal{C}_{n,m}$ の多変数母関数を計算し、母関数の積に関する恒等式を導出すること。
• カタラン行列式の閉形式表現を証明し、それが $2^{N(N+1)/2}$ に等しいことを示すこと。

提案手法

• 反射原理（アンドレの方法）を用いて、$y=x$ を超える「悪い」経路を数え上げ、$\mathcal{C}_{n,m}$ の閉形式表現を導出する。
• 母関数技法を適用し、特に $\gamma_m(x) = \sum_{n=0}^\infty \mathcal{C}_{n+m,m} x^n$ を定義し、$\gamma_m(x) = \gamma_0(x)^{2m+1}$ かつ $\gamma_0(x) = \frac{1 - \sqrt{1 - 4x}}{2x}$ を証明する。
• 係数抽出を $[x^j]f^{2i+1}(x)$ の形で用い、一般化カタラン数を行列の成分に結びつけることで、行列式計算に寄与する。
• 形式的形式的べき級数のべき乗の係数行列の行列式と先頭係数の関係を示す重要な補題（補題23）を用いる。
• 母関数の恒等式 $\gamma_i(x) = \gamma_0(x)^{2i+1}$ を用い、$\mathcal{C}_{i+j,i} = [x^j]\gamma_0(x)^{2i+1}$ を得ることで、行列式の評価を可能にする。
• 母関数の合成と行列式の恒等式を組み合わせ、カタラン行列式の公式を証明する。

実験結果

リサーチクエスチョン

• RQ1 直線 $y=x$ を超えない $(0,-2m)$ から $(n-m,n-m)$ への格子路を数える一般化カタラン数 $\mathcal{C}_{n,m}$ の閉形式表現は何か？
• RQ2 一般化カタラン数の組合せ的構造から、二項恒等式および再帰的関係をどのように導出できるか？
• RQ3 一般化カタラン数 $\mathcal{C}_{n,m}$ の多変数母関数は何か？ そして、それが閉形式でどのように表現できるか？
• RQ4 行列式 $\left[\frac{(2i+1)(2(i+j))!}{j!(2i+j+1)!}\right]_{0\leq i,j\leq N}$ の値は何か？ 一般化カタラン数とどのように関係しているか？
• RQ5 母関数のアプローチにより、$\gamma_m(x)\gamma_0(x)$ の閉形式表現が得られるか？ また、これによりどのような恒等式が導かれるか？

主な発見

• 一般化カタラン数は、反射原理を用いて導出された閉形式の公式 $\mathcal{C}_{n,m} = \frac{2m+1}{n+m+1} \binom{2n}{n+m}$ で与えられる。
• 一般化されたボールト問題における確率—候補者AがBを常に$2m$票リードしている確率—は $\frac{2m+1}{n+m+1}$ であり、これは $\mathcal{C}_{n,m}$ と直接関連している。
• 一般化カタラン数 $\mathcal{C}_{n,m}$ の多変数母関数 $\gamma_m(x)$ は、$\gamma_m(x) = \gamma_0(x)^{2m+1}$ を満たし、ここで $\gamma_0(x) = \frac{1 - \sqrt{1 - 4x}}{2x}$ である。
• 積 $\gamma_m(x)\gamma_0(x)$ は、二項係数の積を含む形式的べき級数展開を持つ：$\sum_{n=1}^\infty \left(\prod_{k=1}^m \frac{n+m-k+1}{k}\right)\left(\prod_{k=m+2}^{n+m+1} \frac{n+m+k+1}{k}\right)x^n$。
• カタラン行列式 $\det\left[\frac{(2i+1)(2(i+j))!}{j!(2i+j+1)!}\right]_{0\leq i,j\leq N}$ は $2^{N(N+1)/2}$ に等しく、母関数の係数行列と補題23を用いて証明される。
• 行列式行列の成分は $\mathcal{C}_{i+j,i} = [x^j]\gamma_0(x)^{2i+1}$ で与えられ、行列式は古典的カタラン数の母関数の $2i+1$ 乗に結びついている。