[論文レビュー] Generalized Dyck paths of bounded height

Axel Bacher|arXiv (Cornell University)|Mar 11, 2013

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

ひとこと要約

本稿は、一般化された有界高さのDyckパスにおいて、転送行列法を用いて多項式 $ F_k $ 及びその線形再帰関係の組合せ的解釈を提供する。有界なエクcursionおよびミアンダの母関数を導出し、対称的ステップ集合が転送行列のブロック対角化を介して顕著な簡略化をもたらし、計算複雑性を低減するとともに、母関数におけるより深い代数的構造を明らかにする。

ABSTRACT

Generalized Dyck paths (or discrete excursions) are one-dimensional paths that take their steps in a given finite set S, start and end at height 0, and remain at a non-negative height. Bousquet-Mélou showed that the generating function E_k of excursions of height at most k is of the form F_k/F_{k+1}, where the F_k are polynomials satisfying a linear recurrence relation. We give a combinatorial interpretation of the polynomials F_k and of their recurrence relation using a transfer matrix method. We then extend our method to enumerate discrete meanders (or paths that start at 0 and remain at a non-negative height, but may end anywhere). Finally, we study the particular case where the set S is symmetric and show that several simplifications occur.

研究の動機と目的

• 有界高さのエクcursionの母関数 $ E_k = F_k / F_{k+1} $ に現れる多項式 $ F_k $ の組合せ的解釈を提供すること。
• 転送行列法を、任意の終点を持つ非負の高さをとる離散的ミアンダ（パス）を数えるように、有界高さの制約下に拡張すること。
• ステップ集合 $ S $ が対称的である特別な場合を分析し、転送行列における構造的簡略化が母関数の計算をより効率的にする仕組みを明らかにすること。
• 生成関数 $ F_k^+ $, $ F_k^- $ 及びその高さを refined した版 $ F_{k, ho}^+ $, $ F_{k, ho}^- $ の再帰関係を導出し、分母が小さくなった有理母関数に従うことを示すこと。

提案手法

• 有界エクcursionを、頂点 $ \{0, \dotsc, k\} $ の有限グラフ上のウォークとしてモデル化し、$ S $ のステップに対応する辺を持つ。隣接行列 $ A_k $ が遷移を符号化する。
• 生成関数 $ E_k $ は $ (1 - A_k)^{-1} $ の $ (0,0) $-成分として得られ、$ E_k = F_k / F_{k+1} $ となる。ここで $ F_k = \det(1 - A_{k-1}) $ である。
• 通過行列 $ P $ を用いた $ A_k $ のブロック分解により、$ P^{-1}A_kP = \text{diag}(A_k^+, A_k^-) $ が得られ、行列式および余因子の計算が簡略化される。
• 対称的ステップ集合の場合、行列 $ A_k^+ $ と $ A_k^- $ はより小さい行列 $ A_{k^+} $, $ A_{k^-} $ に同型であることが示され、$ \mathbf{F}_k^+ = \mathbf{T} \mathbf{F}_{k-2}^+ $ の形の再帰関係が得られ、次元が低減される。
• 生成関数 $ \sum_k F_k^+ z^k $ および $ \sum_k F_k^- z^k $ は有理関数であり、分母が $ D(z^2) $ である。ここで $ D(z) $ は全エクcursion母関数の最小多項式である。
• 生成関数 $ F_{k,\ell}^+ $ および $ F_{k,\ell}^- $ の2変数母関数は、分母が $ \widetilde{D}(uz^2) D(z^2) $ である有理関数として導出され、最終高さ $ \ell $ に依存する構造的で周期的な依存性が明らかになる。

実験結果

リサーチクエスチョン

• RQ1 有理母関数 $ E_k = F_k / F_{k+1} $ に現れる多項式 $ F_k $ を、転送行列法を用いて組合せ的に解釈することは可能か？
• RQ2 転送行列法は、エクcursionに限らず、有界高さのミアンダの母関数の計算に拡張可能か？
• RQ3 ステップ集合 $ S $ が対称的である場合、母関数にどのような構造的簡略化が生じるか？
• RQ4 ブロック対角化された遷移行列から、$ F_k^+ $, $ F_k^- $ 及びその高さを refined した版 $ F_{k,\ell}^+ $, $ F_{k,\ell}^- $ の再帰関係はどのように導かれるか？
• RQ5 精細なミアンダ数 $ E_{k,\ell} $ の2変数母関数の正確な形は何か？また、全ミアンダ母関数 $ M_k $ とどのように関係するか？

主な発見

• 高さが最大 $ k $ のミアンダの母関数 $ M_k $ は、$ M_k = F_k^+(1) / F_{k+1}^+ $ として与えられ、一般の場合に存在する $ F_{k+1}^- $ 要素が消去され、式が簡略化される。
• 対称的ステップ集合の場合、行列 $ A_k^+ $ と $ A_k^- $ はより小さい行列 $ A_{k^+} $ と $ A_{k^-} $ に同型であるため、$ k-2 $ 階の再帰関係が得られ、計算複雑性が低減される。
• 生成関数 $ \sum_k F_k^+ z^k $ および $ \sum_k F_k^- z^k $ は有理関数であり、分母が $ D(z^2) $ である。ここで $ D(z) $ は全エクcursion母関数の最小多項式である。
• 生成関数 $ F_{k,\ell}^+ $ および $ F_{k,\ell}^- $ の2変数母関数は、分母が $ \widetilde{D}(uz^2) D(z^2) $ である有理関数として得られ、高さ $ \ell $ およびインデックス $ k $ に依存する構造的かつ周期的な依存性が示される。
• フィボナッチの場合（$ S = \{\pm 1\} $）、多項式 $ F_k^+ $ と $ F_k^- $ は明示的な再帰関係に従う：$ F_{2k}^+ = F_k - tF_{k-1} $, $ F_{2k+1}^+ = F_{k+1} - t^2 F_{k-1} $, および $ F_{2k}^- = F_k + tF_{k-1} $, $ F_{2k+1}^- = F_k $。これらは一般の再帰構造と整合的である。
• 通過行列 $ P $ を用いたブロック対角化により、生成関数の綺麗な分解が得られ、$ E_{k,\ell} $ が元の行列サイズの半分で計算可能であることが示され、大幅な計算効率の向上が達成される。