[論文レビュー] Counting generalized Dyck paths

Yukiko Fukukawa|arXiv (Cornell University)|Apr 20, 2013

Mathematics and Applications参考文献 2被引用数 6

ひとこと要約

本稿は、(0,0)から(m,n)への一般化されたDyck経路の数を数える一般式を提示する。一般化されたDyck経路とは、y = (n/m)xの直線より上にあがることのない格子経路である。組合せ的群論と格子経路の巡回分解を用いて、最大公約数d = gcd(m,n)に基づく閉形式のC(m,n)の式が導出される。この式は、dの整数分割の上での和として表され、係数には多項係数と母関数が含まれる。主な結果は、古典的なCatalan数の公式を任意のmとnへと拡張するものである。

ABSTRACT

The Catalan number has a lot of interpretations and one of them is the number of Dyck paths. A Dyck path is a lattice path from $(0,0)$ to $(n,n)$ which is below the diagonal line $y=x$. One way to generalize the definition of Dyck path is to change the end point of Dyck path, i.e. we define (generalized) Dyck path to be a lattice path from $(0,0)$ to $(m,n) \in \mathbb{N}^2$ which is below the diagonal line $y=\frac{n}{m}x$, and denote by $C(m,n)$ the number of Dyck paths from $(0,0)$ to $(m,n)$. In this paper, we give a formula to calculate $C(m,n)$ for arbitrary $m$ and $n$.

研究の動機と目的

• 任意の正の整数mとnについて、(0,0)から(m,n)への経路で、直線y = (n/m)xより上にあがらないような一般化されたDyck経路の数を求める。
• 対称的でない場合（n,nでない）の古典的なCatalan数の解釈を、任意のmとnへと拡張する。
• gcd(m,n) > 1の場合に、そのような経路を数えるという未解決の問題を、本研究以前には閉形式の表式が知られていなかった。
• 既知の特殊ケース（例：C(kn,n)やC(2ℓ,3ℓ)）を統一的かつ一般化する枠組みに統合する。

提案手法

• 一般化されたDyck経路を、(0,0)から(m,n)への格子経路で、常に直線y = (n/m)xより下にあるものとして定義する。
• 巡回的回転における経路の同値性を導入し、経路の周期を、自身に戻る最小の回転長として定義する。
• 巡回分解を用いて、経路をそのタイプaと周期rに分類する。ここでaは各巡回ブロックの重複度を符号化する。
• 母関数と多項係数を用いて、各同値類内のDyck経路の数を数え、正規化の基準としてA_{(m,n)} = 1/(m+n) * C(m+n,n)の式を用いる。
• 経路分解の構造に基づく再帰的関係を確立し、d = gcd(m,n)の整数分割の上での和を含む式に導く。
• 数学的帰納法と多項係数に関する組合せ的恒等式を用いて主結果を証明し、C(m,n)が、インデックスの和∑i·a_i = dを満たす非負整数列a = (a₁,a₂,...)の上での和として表されることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の正の整数mとnについて、(0,0)から(m,n)への格子経路で、直線y = (n/m)xより上にあがらない経路の数は何か？
• RQ2 古典的なCatalan数の公式は、m ≠ nである非対称な終点(m,n)へとどのように一般化できるか？
• RQ3 C(m,n)に対して、C(kn,n)やC(2ℓ,3ℓ)といった既知の特殊ケースに還元できる一様な公式を導出できるか？
• RQ4 最大公約数d = gcd(m,n)は、有効なDyck経路の集合の構造にどのような役割を果たすか？
• RQ5 巡回的対称性と経路分解を用いて、対称的でない場合のDyck経路をどのように数え上げることができるか？

主な発見

• 一般化されたDyck経路の数C(m,n)は、d = gcd(m,n)として、∑i·a_i = dを満たすすべての非負整数列a = (a₁,a₂,...)の上での和として与えられる。
• 各列aに対して、寄与は∏_{i=1}^d [1/a_i! · A_{(i·m/d, i·n/d)}^{a_i}] である。ここでA_{(m,n)} = 1/(m+n)·C(m+n,n)である。
• gcd(m,n) = 1のとき、式はC(m,n) = 1/(m+n)·C(m+n,n)に簡略化され、古典的なCatalan数の公式が一般化される。
• この公式により、既知の特殊ケースC(kn,n)とC(2ℓ,3ℓ)が、主結果の系として得られる。
• 導出は、経路分解と巡回構造に基づく再帰的関係に依拠しており、多項係数に関する組合せ的恒等式と数学的帰納法により証明される。
• 本稿では、Dyck経路が回転作用における格子経路の巡回軌道に対応することを確立し、その数え上げが経路の周期とタイプに依存することを示している。