[論文レビュー] Humps for Dyck and for Motzkin paths

Amitai Regev|arXiv (Cornell University)|Feb 24, 2010

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

ひとこと要約

本稿では、Dyck経路およびMotzkin経路におけるすべてのハープの総数について明示的な公式を導出し、それらが特定の形状の標準ヤング表（SYT）と驚くべき関係にあることを確立している。長さ $2n$ のDyck経路におけるハープ総数は $inom{2n-1}{n}$ に等しく、これは形状 $(n,1^n)$ のSYTの数に一致する。また、長さ $n$ のMotzkin経路では、ハープ数は $S(2,1;n) - 1$ に等しく、ここで $S(2,1;n)$ は $(2,1)$ ハイブに属する分割 $ u$ に対する $f^ u$ の和である。この結果は、経路のハープとSYTの数え上げの間にある深いつながり、すなわち構造的双対性を示している。

ABSTRACT

We calculate the total number of humps in Dyck and in Motzkin paths, and we give Standard-Young-Tableaux-interpretations of the numbers involved. One then observes the intriguing phenomena that the humps-calculations change the partitions in a strip to partitions in a hook.

研究の動機と目的

• 長さ $2n$ のすべてのDyck経路におけるハープ総数を計算すること。
• 長さ $n$ のすべてのMotzkin経路におけるハープ総数を導出すること。
• Dyck経路およびMotzkin経路におけるハープ数に対して、標準ヤング表（SYT）の解釈を提供すること。
• ハープ数え上げがストリップ形状の分割をハイブ形状の分割に変換する構造的双対性を明らかにすること。
• 二重Dyck経路への分析を拡張し、$ mathcal{H}S(4,0;n)$ に関する新しい恒等式を導出すること。

提案手法

• Dyck経路は最初のx軸への還流で、Motzkin経路は最初の還流または最初の上り-下りペアで分解され、その再帰的関係を導出する。
• ハープの再帰的関係を支える主要な二項係数の恒等式をWZ法を用いて証明する。
• 既知の $S(k,\ell;n}$ の恒等式、特に $S(4,0;n) = C_{\lfloor(n+1)/2\rfloor} \cdot C_{\lceil(n+1)/2\rceil}$ を活用し、$S(4,0;n)$ を二重Dyck経路として解釈する。
• 各経路が2つのDyck経路の連結であるという二重Dyck経路の解釈を確立する。
• 各成分のハープ数の和を用いて、二重Dyck経路のハープ数を導出する。ここで $ mathcal{H}C_n = \binom{2n-1}{n}$ を用いる。
• 既知の公式を用いた直接代数的検証により、恒等式 $\mathcal{H}S(4,0;n) = \frac{n+3}{2} \cdot S(4,0;n)$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 長さ $2n$ のすべてのDyck経路におけるハープの総数は何か？
• RQ2 長さ $n$ のMotzkin経路におけるハープ総数は、標準ヤング表を用いてどのように解釈できるか？
• RQ3 なぜDyck経路のハープ数が形状 $(n,1^n)$ のSYTの数に一致するのか？
• RQ4 恒等式 $\mathcal{H}S(4,0;n) = \frac{n+3}{2} \cdot S(4,0;n)$ の組合せ的意味は何か？
• RQ5 観察されたストリップ形状からハイブ形状への変換について、双対写像による解釈は存在するか？

主な発見

• 長さ $2n$ のすべてのDyck経路におけるハープ総数は $\mathcal{H}C_n = \binom{2n-1}{n}$ に等しく、これは形状 $(n,1^n)$ の標準ヤング表の数に一致する。
• 長さ $n$ のMotzkin経路では、ハープ総数は $\mathcal{H}M_n = S(2,1;n) - 1$ に等しく、ここで $S(2,1;n)$ は $(2,1)$ ハイブに属する分割 $ u$ に対する $f^\nu$ の和である。
• Dyck経路のハープ数は長方形形状 $(n,n)$ をハイブ形状 $(n,1^n)$ に変換し、SYT数え上げにおける双対性を明らかにする。
• Motzkin経路のハープ数はストリップ形状 $(3,0)$ をハイブ形状 $(2,1)$ に変換し、再びハープ数え上げによる構造的変化を示している。
• 和 $S(4,0;n)$ に対して、二重Dyck経路におけるハープ総数は $\mathcal{H}S(4,0;n) = \frac{n+3}{2} \cdot S(4,0;n)$ を満たす。これは驚くべき線形関係である。
• 恒等式 $\mathcal{H}S(4,0;n) = \frac{n+3}{2} \cdot S(4,0;n)$ は、既知の公式 $ mathcal{H}C_n$ および $S(4,0;n)$ を用いた代数的検証により確認された。