[論文レビュー] Euler Coefficients and Restricted Dyck Paths

Heinrich Niederhausen, Shaun Sullivan|arXiv (Cornell University)|May 21, 2007

Mathematics and Applications参考文献 1被引用数 9

ひとこと要約

この論文は、有限作用素記法からのオイラー係数を用いて、$ r $ 個の連続する下り坂ステップ ($ d^r $) や上り坂ステップ ($ u^r $) を避ける Dyck パath の数を求める閉形式の公式を開発する。生成関数と任意の点 $ (n,m) $ で終わるパスに対する正確な組合せ的表現を導出し、主な結果として、このようなパスの数がオイラー係数を含む符号付き二項係数の和として与えられることを示している。これは、制限されたステップパターン下でのカタラン数に類似した列挙を一般化するものである。

ABSTRACT

We consider the problem of enumerating Dyck paths staying weakly above the x-axis with a limit to the number of consecutive up steps, or a limit to the number of consecutive down steps. We use Finite Operator Calculus to obtain formulas for the number of all such paths reaching a given point in the first quadrant. All our results are based on the Eulerian coefficients.

研究の動機と目的

• 制限付きステップパターン下で、$ r $ 個の連続する $ \searrow $（下り）または $ \nearrow $（上り）ステップを避ける Dyck パath の列挙。
• 第一象限内の任意の点 $ (n,m) $ で終わるような、このような制限付き Dyck パスの閉形式表現の確立。
• 有限作用素記法とオイラー係数を用いて、これらの制限付きパス数の生成関数と組合せ的恒等式を導出すること。
• 特別な場合 $ r = 4 $ の調査：$ u^4 $ を避けるパスに対して、平方根を含む式を含む生成関数の予想が提示される。

提案手法

• 論文は、有限作用素記法を用いて、$ r $ 個の連続する右ステップ（$ \rightarrow^r $）を避けるボールト・パスの再帰的関係を導出する。これは、$ d^r $ を避ける Dyck パスに対応する。
• オイラー係数 $ \binom{n}{k}_r $ を、展開式 $ (1 + t + \cdots + t^{r-1})^n = \sum_k \binom{n}{k}_r t^k $ により定義し、符号付き二項係数の和として表現する：$ \binom{n}{k}_r = \sum_{i=0}^{\lfloor k/r \rfloor} (-1)^i \binom{n}{i} \binom{n + k - ri - 1}{k - ri} $。
• 点 $ (2n+b, 2m+b) $ で終わる $ d^r $ を避ける Dyck パスの数は、$ Dyck(2n+b, 2m+b; d^r) = \frac{2m+b+1}{n+m+b+1} \binom{n+m+b+1}{n-m}_r $ で与えられる。ここでオイラー係数が制限を捉えている。
• 一方、$ u^r $ を避けるパスに対しては、より複雑な和が得られる：$ D(2m+b,2m+b;u^4) = \sum_{i=0}^{2m+b-1} \frac{1}{n+m+b+1-i} \binom{i-2m-b}{i}_r \binom{n+m+b+1-i}{n+m+b-i}_r $。
• 点 $ (n,m) $ における $ d^r $ を避けるパスの生成関数は、$ \sum_n s_n(m) t^n = \frac{(1-t^r)^m}{(1-t)^{m+2}} \left( r t^r (1-t) + (1-t^r)(1-2t) \right) $ であることが示された。
• 論文は、$ u^4 $ を避けるパスの閉形式生成関数を予想する：$ \sum_n Dyck(4m-n-1,2m-n+1;u^4) t^n = \frac{1}{2} (3 + t - \sqrt{(1+t)^2 + 4t^3}) \left( \frac{1-t^4}{1-t} \right)^m $。

実験結果

リサーチクエスチョン

• RQ1 一般の点 $ (n,m) $ における第一象限で終わる、$ r $ 個の連続する下り坂ステップ（$ d^r $）を避ける Dyck パスをどのように列挙できるか？
• RQ2 $ r $ 個の連続する右ステップ（$ \rightarrow^r $）を避けるボールト・パスの生成関数は何か？ そして、オイラー係数とどのように関係するか？
• RQ3 なぜ $ r = 4 $ の場合、$ u^4 $ を避けるパスが特別な構造を示すのか？ また、閉形式の生成関数を導出できるか？
• RQ4 オイラー係数は、制限付き格子パスの列挙の文脈で、二項係数をどのように一般化するのか？

主な発見

• 点 $ (2n+b, 2m+b) $ で終わる $ d^r $ を避ける Dyck パスの数は、$ \frac{2m+b+1}{n+m+b+1} \binom{n+m+b+1}{n-m}_r $ で与えられ、ここで $ \binom{n}{k}_r $ は符号付き二項係数の和として定義されるオイラー係数である。
• 点 $ (n,m) $ における $ d^r $ を避けるボールト・パスの生成関数は、$ \sum_n s_n(m) t^n = \frac{(1-t^r)^m}{(1-t)^{m+2}} \left( r t^r (1-t) + (1-t^r)(1-2t) \right) $ であり、これはカタラン数の生成関数を一般化する。
• $ r = 4 $ の場合、論文は $ u^4 $ を避けるパスの生成関数が $ \frac{1}{2} (3 + t - \sqrt{(1+t)^2 + 4t^3}) \left( \frac{1-t^4}{1-t} \right)^m $ であると予想する。これは $ Dyck(2m,0;u^4) $ の新しい閉形式表現を示唆する。
• オイラー係数 $ \binom{n}{k}_r $ は、二項係数と類似した性質を満たす。たとえば、パスカル型の恒等式、対称性 $ \binom{n}{k}_r = \binom{n}{n(r-1)-k}_r $、バーンスタイン型の畳み込みが成り立つ。
• $ r \to \infty $ のとき、$ \binom{n}{k}_r \to \binom{n+k-1}{k} $ となり、制限なしパスの生成関数が回復され、また $ \frac{1}{n+1} \binom{n+1}{n}_r \to C_n $ となり、$ n $ 番目のカタラン数が得られる。