[論文レビュー] The Riordan Group and Symmetric Lattice Paths

Deng Li-hua, Eva Y.P. Deng+1 more|ArXiv.org|Jun 10, 2009

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

ひとこと要約

本稿では、リオーダン群の技法を用いて対称的ダイク、モーツキン、シュレーディンガー経路を調査し、それらの個数 $d_n$, $m_n$, $s_n$ を関連付ける6つの組み合わせ的恒等式を導出する。2つの恒等式について組み合わせ的証明を提供し、対称的ダイク経路の平均中央高さと平均x軸交差回数を計算し、両者とも $n \to \infty$ のとき4に収束することを示す。本研究は、対称的格子経路とリオーダン配列の間の関係を確立し、正確な母関数と構造的洞察をもたらす。

ABSTRACT

In this paper, we study symmetric lattice paths. Let $d_{n}$, $m_{n}$, and $s_{n}$ denote the number of symmetric Dyck paths, symmetric Motzkin paths, and symmetric Schröder paths of length $2n$, respectively. By using Riordan group methods we obtain six identities relating $d_{n}$, $m_{n}$, and $s_{n}$ and also give two of them combinatorial proofs. Finally, we investigate some relations satisfied by the generic element of some special Riordan arrays and get the average mid-height and the average number of points on the x-axis of symmetric Dyck paths of length $2n.$

研究の動機と目的

• リオーダン群の技法を用いて、対称的ダイク、モーツキン、シュレーディンガー経路の個数を関連付ける組み合わせ的恒等式を確立すること。
• 導出された恒等式のうち2つについて、$d_n$, $m_n$, $s_n$ を含む組み合わせ的証明を提供すること。
• 対称的ダイク経路の構造的性質を分析すること、特に平均中央高さと平均x軸交差回数に焦点を当てる。
• 対称的格子経路とリオーダン配列の関係を確立し、経路統計量の母関数恒等式を導出すること。

提案手法

• 対称的格子経路を分析するためのリオーダン群の枠組みを用い、特に母関数と漸化式に注目する。
• 最初の帰還分解を用いて、対称的シュレーディンガー経路の母関数を導出する：$s(x) = \frac{1}{2x}\left(\sqrt{\frac{x^2 - 2x - 1}{x^2 + 2x - 1}} - 1\right)$。
• リオーダン配列の基本定理（FTRA）を適用し、2の累乗で重み付けされた経路個数の和を含む恒等式を導出する。
• 上り歩きを水平歩きに変更する経路変換写像 $\phi_{j_1,\dots,j_k}$ を定義し、和の恒等式の組み合わせ的証明を可能にする。
• 経路数え上げの基盤として、母関数 $B(x) = \frac{1}{\sqrt{1-4x}}$ と $C(x) = \frac{1 - \sqrt{1-4x}}{2x}$ を用いる。
• 左半分を用いて対称的経路を分析し、対称性の制約を適用して、最初の $n$ ステップに $k$ 個の上り歩きを含む対称的シュレーディンガー経路の個数 $s_{n,k}$ の漸化式を導出する。

実験結果

リサーチクエスチョン

• RQ1 対称的ダイク、モーツキン、シュレーディンガー経路の個数 $d_n$, $m_n$, $s_n$ を関連付ける組み合わせ的恒等式は何か？
• RQ2 リオーダン群の手法をどのように用いて、対称的格子経路を含む恒等式を導出し、証明できるか？
• RQ3 長さ $2n$ の対称的ダイク経路の平均中央高さは何か？
• RQ4 長さ $2n$ の対称的ダイク経路のx軸上での点の平均数は何か？
• RQ5 対称的経路の統計量は、リオーダン配列と母関数の関係においてどのように関連するか？

主な発見

• 長さ $2n$ の対称的ダイク経路の平均中央高さは、$n \to \infty$ のとき4に収束する。奇数 $n = 2m+1$ の場合の正確な値は $4 \cdot \frac{n+1}{n+2}$、偶数 $n = 2m$ の場合の正確な値は $4m+1$ である。
• 長さ $2n$ の対称的ダイク経路の平均x軸交差回数も、極限で4に収束する。奇数 $n$ の場合の正確な値は $4 \cdot \frac{n+1}{n+2}$、偶数 $n$ の場合の正確な値は $4m+1$ である。
• 対称的ダイク経路の母関数は $d(x) = \frac{1}{2x}\left(\sqrt{\frac{1+2x}{1-2x}} - 1\right)$ であり、これは $\frac{C(x^2)}{1 - xC(x^2)}$ に等しい。
• 対称的モーツキン経路の母関数は $m(x) = \frac{1}{2x}\left(\sqrt{\frac{1+x}{1-3x}} - 1\right)$ であり、列挙番号 A005773 に一致する。
• 対称的シュレーディンガー経路の母関数は $s(x) = \frac{1}{2x}\left(\sqrt{\frac{x^2 - 2x - 1}{x^2 + 2x - 1}} - 1\right)$ であり、列挙番号 A026003 に対応する。
• 和 $\sum_{k=0}^n s_{n,k} = p_{n+1}$ が成り立ち、ここで $p_n$ はペル数列である。また $\sum_{k=0}^n 2^k s_{n,k} = h_{n+1}$ が成り立ち、$h_n$ は母関数 $\frac{1}{1-3x-x^2}$ に対応する列挙である。両者ともFTRAおよび組み合わせ的写像を用いて証明された。