[論文レビュー] Walking into an absolute sum

Hans J. H. Tuenter|ArXiv.org|Jun 4, 2006

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

ひとこと要約

この論文は、和 $ S_r(n) = \sum_{k=0}^{2n} \binom{2n}{k} |n-k|^r $ に関する予想を証明している。奇数 $ r = 2r+1 $ の場合、$ S_r(n) = P_r(n) \cdot n \binom{2n}{n} $ であり、偶数 $ r = 2r $ の場合、$ S_r(n) = Q_r(n) \cdot 2^{2n-r} $ である。ここで $ P_r(n) $ と $ Q_r(n) $ は次数 $ r $ の整数係数多項式である。主な結果として、ジェノチ数やデュモン＝フォアタ多項式との深い関係が確立され、これらの和が対称ベルヌーイ確率ウォークにおける原点からの絶対距離のモーメントと関連していることが示された。

ABSTRACT

We investigate a combinatorial sum that can be interpreted as the moments of a random variate, measuring the absolute distance to the origin in a symmetric Bernoulli random walk. These sums can be characterized by polynomials related to the Dumont-Foata polynomials. The sums corresponding to the odd moments have a connection to the Gandhi polynomials and Genocchi numbers.

研究の動機と目的

• 予想された $ S_{2r+1}(n) $ が $ \binom{2n}{n} $ と次数 $ r+1 $ のモニック多項式の積であるという仮説を検証し、それがモニックではないが整数係数多項式であることを示す。
• 和 $ S_r(n) $ に対する再帰的関係を導出し、奇数 $ r $ と偶数 $ r $ それぞれに対応する多項式 $ P_r(n) $ と $ Q_r(n) $ の体系的な計算を可能にする。
• 多項式 $ P_r(n) $ と $ Q_r(n) $ が既知の組合せ的数列（特にジェノチ数とデュモン＝フォアタ多項式）とどのように関係しているかを確立する。
• $ S_r(n) $ を、$ 2n $ ステップ後の対称ベルヌーイ確率ウォークにおける原点からの絶対距離のモーメントとして解釈する。

提案手法

• すべての $ r \geq 0 $ に対して有効な再帰関係 $ S_{r+2}(n) = n^2 S_r(n) - 2n(2n-1) S_r(n-1) $ を導出。初期値は $ S_0(n) = 2^{2n} $ および $ S_1(n) = n \binom{2n}{n} $ である。
• 置換 $ S_{2r+1}(n) = P_r(n) \cdot n \binom{2n}{n} $ を用いて、$ P_r(n) $ に対する再帰関係 $ P_{r+1}(n) = n^2(P_r(n) - P_r(n-1)) + n P_r(n-1) $ を導出し、初期値 $ P_0(n) = 1 $ を与える。
• 置換 $ S_{2r}(n) = Q_r(n) \cdot 2^{2n-r} $ を用いて、$ Q_r(n) $ に対する再帰関係 $ Q_{r+1}(n) = 2n^2(Q_r(n) - Q_r(n-1)) + n Q_r(n-1) $ を導出し、初期値 $ Q_0(n) = 1 $ を与える。
• $ P_r(n) $ と $ Q_r(n) $ が次数 $ r $ の整数係数多項式であり、それぞれの最高次係数が $ r! $ および $ \frac{(2r)!}{2^r r!} $ であることを示す。
• $ P_r(n)/n $ と $ Q_r(n)/n $ の定数項がそれぞれジェノチ数と正接数に関連する数列に一致することを確立する。
• $ S_r(n) $ を、対称ベルヌーイ確率ウォークにおける絶対位置のスケーリングされたモーメントとして解釈し、中心極限定理により半正規分布に漸近的に一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 $ S_{2r+1}(n) $ は $ \binom{2n}{n} $ と次数 $ r+1 $ の多項式の積に等しいか。もしそうならば、その多項式の性質は何か？
• RQ2 和 $ S_r(n) $ を支配する再帰的構造は何か？ そして、これにより $ P_r(n) $ と $ Q_r(n) $ を生成するにはどうすればよいか？
• RQ3 多項式 $ P_r(n) $ と $ Q_r(n) $ は、ジェノチ数やデュモン＝フォアタ多項式といった既知の組合せ的数列とどのように関係しているか？
• RQ4 $ S_r(n) $ の確率的解釈は何か？ そして、対称ランダムウォークにおける絶対距離のモーメントとどのように関連しているか？
• RQ5 $ S_r(n) $ の漸近的挙動は何か？ そして、これは半正規分布のモーメントとどのように一致するか？

主な発見

• 予想された $ S_{2r+1}(n) $ が $ \binom{2n}{n} $ とモニック多項式の積であるという仮説は誤りである。代わりに $ S_{2r+1}(n) = P_r(n) \cdot n \binom{2n}{n} $ であり、$ P_r(n) $ は整数係数で次数 $ r $ の多項式であり、最高次係数は $ r! $ である。
• 偶数添え字の場合、$ S_{2r}(n) = Q_r(n) \cdot 2^{2n-r} $ であり、$ Q_r(n) $ は整数係数で次数 $ r $ の多項式であり、最高次係数は $ \frac{(2r)!}{2^r r!} $ である。
• $ P_r(n)/n $ の定数項はジェノチ数 $ G_{2r} $ に一致し、$ Q_r(n)/n $ の定数項は正接数に関連する数列 $ 2^{r-1} G_{2r} / r $ に一致する。
• $ P_r(n) $ の最高次係数は $ r! $ であるため、$ r = 0 $ および $ r = 1 $ を除き、$ P_r(n) $ はモニックではない。同様に $ Q_r(n) $ も $ r \geq 2 $ の場合モニックではない。
• 和 $ S_r(n) $ は、対称ベルヌーイ確率ウォークにおける絶対距離 $ |Y_{2n}| $ の $ r $ 次モーメントと直接関係しており、$ \mathbb{E}[|Y_{2n}|^r] = 2^{-2n + r} S_r(n) $ が成り立つ。
• 漸近的に、$ S_r(n) \sim \frac{\Gamma((r+1)/2)}{\Gamma(1/2)} \cdot 2^{2n} n^{r/2} $ であり、中心極限定理による半正規分布の極限と整合的である。