[論文レビュー] Continuous Analogues for the Binomial Coefficients and the Catalan Numbers

Leonardo Cano, Rafael Díaz|arXiv (Cornell University)|Feb 29, 2016

Advanced Combinatorial Mathematics参考文献 16被引用数 8

ひとこと要約

本稿では、凸多面体、格子路、有向多様体を用いて、二項係数とカタラン数の連続的類似を導入する。組合せ的数え上げを多面体の体積を通じて解釈することで、連続的二項係数 ${x \brace s}$ と連続的カタラン関数 $C(x)$ を得る。これらには明示的な積分表現および級数表現が与えられ、$C(2x)$ の閉形式の母関数も導出される。

ABSTRACT

Using techniques from the theories of convex polytopes, lattice paths, and indirect influences on directed manifolds, we construct continuous analogues for the binomial coefficients and the Catalan numbers. Our approach for constructing these analogues can be applied to a wide variety of combinatorial sequences. As an application we develop a continuous analogue for the binomial distribution.

研究の動機と目的

• 離散的組合せ的列（例えば二項係数やカタラン数）の連続的類似を構築すること。
• 組合せ的数え上げと多面体体積などの幾何的測度を結びつける枠組みを確立すること。
• この枠組みを応用して、連続的二項分布を構築すること。
• 連続的カタラン関数 $C(x)$ の明示的な積分および級数表現を導出すること。

提案手法

• 整数点の数え上げを体積に置き換えることで、$\mathbb{R}^d$ 内の凸多面体を用いて組合せ的構造をモデル化する。
• 格子路の連続的類似として、有向多様体 $(\mathbb{R}^d, v_1, \dots, v_k)$ を構築する。
• 連続的二項係数 ${x \brace s}$ を多面体 $\Lambda^n(x,y)$ の体積として定義し、再帰的積分公式を導出する。
• 積分方程式と再帰的体積分解を用いて、連続的カタラン関数 $C(x,y)$ を導出する。
• 多変数積分変換と母関数を用いて、$C(2x)$ を $x^m/m!$ のべき級数として表現する。
• モービウス逆転とエーリヒト理論を用いて、離散的数え上げと連続的体積を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 二項係数のような離散的組合せ的列を、幾何的測度を用いて連続関数へ一般化する方法は何か？
• RQ2 カタラン数 $c_n = \frac{1}{n+1}\binom{2n}{n}$ の連続的類似は何か？ そして多面体体積を用いてどのように定義されるか？
• RQ3 格子路を滑らかな多様体内の有向路に置き換えることで、連続的二項分布を構築できるか？
• RQ4 連続的カタラン関数 $C(x)$ を特徴付ける積分的または級数的表現は何か？
• RQ5 $C(2x)$ のべき級数展開の係数は、再帰的に定義された整数係数 $I^{n-1}_{k,l}$ とどのように関係するか？

主な発見

• 連続的二項係数 ${x \brace s}$ は多面体 $\Lambda^n(x,y)$ の体積として定義され、$\mathrm{vol}(\Lambda^1(x,y)) = \frac{1}{8}(x-y)(x+3y)$ が成り立つ。
• 連続的カタラン関数 $C(x,y)$ は積分方程式 $C(x,y) = 1 + \int_0^{(x-y)/2} \int_0^{(x+y)/2 - b} C(a+2b,a) \, da \, db$ を満たし、離散的再帰の一般化である。
• $C(2x)$ の級数展開に用いられる関数 $I_n(a,b)$ は、整数係数 $I^{n}_{k,l}$ を持つ多項式であり、特定の再帰的関係を満たす。
• 連続的カタラン関数 $C(2x)$ は明示的なべき級数表現を持つ：$C(2x) = 1 + \sum_{m=2}^{\infty} \left( \sum_{k+l=m-2} \left( \sum_{n=1}^{l+1} I^{n-1}_{k,l} \right) \sum_{p=0}^{k+1} (-1)^{k+1-p} \binom{m}{p} \binom{m-p-1}{l} \right) \frac{x^m}{m!}$。
• $I^{n-1}_{k,l}$ は $n > l$ のときゼロであり、$n > 0$ に対して $I^{n}_{k,0} = 0$ であるため、有限な台を持つ構造である。
• 本構成により、格子路数え上げの体積に基づく一般化を通じて、二項分布の連続的類似が確立される。