[論文レビュー] Generalized Chung-Feller Theorems for Lattice Paths (Thesis)

Aminul Huq|ArXiv.org|Jul 19, 2009

Advanced Combinatorial Mathematics参考文献 31被引用数 6

ひとこと要約

本学位論文は、サイクル法とラグランジュ逆行列を用いて、Dyck経路の古典的 Chung-Feller 定理を、Motzkin 経路や Schröder 経路を含むより広いクラスの格子経路へ一般化する。経路統計量（ピーク、ボウル、特定の位置におけるステップ）の等分布性を r+1 を法として示し、一般化された Narayana 型の公式（多項係数を含む）により、特定の経路数が位置パラメータに依存しないことを証明する。

ABSTRACT

In this thesis we develop generalized versions of the Chung-Feller theorem for lattice paths constrained in the half plane. The beautiful cycle method which was developed by Devoretzky and Motzkin as a means to prove the ballot problem is modified and applied to generalize the classical Chung-Feller theorem. We use Lagrange inversion to derive the generalized formulas. For the generating function proof we study various ways of decomposing lattice paths. We also show some results related to equidistribution properties in terms of Narayana and Catalan generating functions. We then develop generalized Chung-Feller theorems for Motzkin and Schroeder paths. Finally we study generalized paths and the analogue of the Chung-Feller theorem for them.

研究の動機と目的

• Dyck 経路を超えて、Motzkin 経路や Schröder 経路などの一般化された格子経路へ、古典的 Chung-Feller 定理を拡張すること。
• 経路統計量の等分布性を証明するため、サイクル法と母関数を用いた統一的枠組みを構築すること。
• r+1 を法としたステップ位置の制約を満たす経路に対する一般化された Catalan 数および Narayana 数の公式を導出すること。
• ラグランジュ逆行列を用いて重み付き経路数と母関数との関係を確立すること。
• 異なる経路タイプ間で、ピーク、ボウル、および x 軸上または下のステップの等分布性を一般化すること。

提案手法

• Devoretzky と Motzkin のサイクル法を応用し、半平面上に制約を受ける格子経路の等分布定理を証明する。
• ラグランジュ逆行列を用いて、高さ r+1 で終わる経路の母関数の閉形式表現を導出する。
• 母関数の分解を用いて、正の素数・負の素数・フラットステップを含む経路の構造を分析する。
• r+1 色の自由 Motzkin 経路を導入し、r+1 を法としたステップ位置制約下での格子経路の巡回シフトをモデル化する。
• n_0 + \cdots + n_r = nr + 1 を満たす経路に対して、一般化された Narayana 数の公式 N^r(n, n_0, \dots, n_r) = \frac{1}{n} \binom{n}{n_0} \cdots \binom{n}{n_r} を確立する。
• ステップ位置の制約を r+1 を法として満たす経路をモデル化するため、母関数の恒等式 F = (\alpha_0 + F)(\alpha_1 + F)\cdots(\alpha_r + F) を適用する。

実験結果

リサーチクエスチョン

• RQ1 Chung-Feller 定理は、Dyck 経路を超えて Motzkin 経路や Schröder 経路などの格子経路へどのように一般化できるか？
• RQ2 r+1 を法としたステップ位置に基づいて経路を数える際、特に x 軸上または下の上り・下りステップに関して、どのような等分布性が生じるか？
• RQ3 サイクル法は、ピークやボウルなどの特定の統計量の経路数が、モジュラス位置制約下でも独立であることを示すために拡張可能か？
• RQ4 ラグランジュ逆行列は、制約付き格子経路に対する一般化された Catalan 数および Narayana 数の公式を導出する上で果たす役割は何か？
• RQ5 色付きフラットステップと高さ制約を持つ経路の母関数は、一般化された Chung-Feller 定理とどのように関係するか？

主な発見

• 高さ r+1 で終わる経路の集合 $ \mathcal{P}(n-1, r, r+1) $ において、上りステップが位置 i \pmod{r+1} にちょうど n_i 個あり、x 軸上または下に j 個の上りステップがあるような、上りステップで始まる経路の数は、j に依存せず、\frac{1}{n_0} \binom{n-1}{n_0-1} \binom{n}{n_1} \cdots \binom{n}{n_r} に等しい。
• 下りステップで始まり、位置 i \pmod{r+1} に n_i - 1 個の下りステップがある経路の数は、\frac{1}{n_0 - 1} \binom{n-1}{n_0 - 2} \binom{n}{n_1 - 1} \cdots \binom{n}{n_r - 1} に等しく、x 軸上または下のそのようなステップ数に依存しない。
• r = 1 のとき、一般化された公式は古典的 Narayana 数 \frac{1}{n} \binom{n}{k} \binom{n}{k-1} に還元され、既知の結果と整合することが確認される。
• 高さ r+1 で終わる経路の母関数 F は、F = (\alpha_0 + F)(\alpha_1 + F)\cdots(\alpha_r + F) を満たし、ラグランジュ逆行列を用いて一般化された経路数を導出可能である。
• 巡回シフトと色付き Motzkin 経路モデルを用いて、r+1 を法とした偶数位置におけるピーク、ボウル、ステップの等分布性が証明された。
• 一般化された Chung-Feller 定理は Motzkin 経路および Schröder 経路に対しても成り立ち、重み付きステップとモジュラス制約を伴うより広い経路族へ古典的結果を拡張する。