[論文レビュー] From Fibonacci to Catalan permutations

Elena Barcucci, Antonio Bernini+1 more|ArXiv.org|Dec 11, 2006

Advanced Combinatorial Mathematics参考文献 18被引用数 7

ひとこと要約

本稿では、3文字の順列における禁止パターンを一般化することで、フィボナッチ数とカタラン数の間の連続的な順列クラスの族を導入する。213 や 312 などのパターンに対する制約をパrameter k を用いた拡張によって段階的に緩和することで、フィボナッチとカタランの母関数の間を滑らかに埋める母関数を導出し、整数列の間で組合せ論的な「連続性」を確立する。

ABSTRACT

It is well known that permutations avoiding any 3-length pattern are enumerated by the Catalan numbers. If the three patterns 123, 132 and 213 are avoided at the same time we obtain a class of permutations enumerated by the Fibonacci numbers. We start from these permutations and make one or two forbidden patterns disappear by suitably "generalizing" them. In such a way we find several classes of permutations enumerated by integer sequences which lay between the Fibonacci and Catalan numbers. For each class, we provide the generating function according to the length of the permutations. Moreover, as a result, we introduce a sort of "continuity" among the number sequences enumerating these classes of permutations.

研究の動機と目的

• フィボナッチ数とカタラン数の間の列挙に関する組合せ論的整数列を探索すること。
• （例：トリボナッチ数、ペル数、偶数番目のフィボナッチ数など）多様な整数列を、順列パターン回避の共通フレームワークに統合すること。
• 禁止パターンを一般化することで、フィボナッチ数からカタラン数への順列クラスへの連続的移行を構築すること。
• 中間の順列クラスを記述する母関数と継続規則を開発すること。
• ECO 法を用いて、その結果をデイクパスと平面木へと拡張すること。

提案手法

• 禁止パターン 213 と 312 を、r_k = k(k-1)...21(k+1) や q_k = 1(k+1)k...21 といったパrameter k を含むより長いパターンに一般化する。
• ECO 法を用いて、禁止部分列を生成しないような活性的サイトに n+1 を挿入することで、順列を再帰的に生成する。
• 初期挙動（上昇／下降）と r_π の値に基づいて順列にラベルを付ける。ここで r_π は降下列の長さを追跡する。
• 各ラベル付き順列が挿入によってどのように子を生成するかを記述する継続規則を導出し、有限の規則系を構成する。
• 得られた再帰的関係系を解き、各 k に対して母関数 g_k(x) を得る。
• k → ∞ の極限を取ることで、カタラン母関数 C(x) を回復し、フィボナッチ的からカタラン的への列挙への収束を示す。

実験結果

リサーチクエスチョン

• RQ1 フィボナッチ数とカタラン数の間を滑らかに埋める連続的な順列クラスの族を構築できるか？
• RQ2 禁止パターンを体系的に一般化した場合、パターン回避順列の母関数はどのように変化するか？
• RQ3 同じパターンの異なる一般化が、同じ中間の数列と母関数をもたらすか？
• RQ4 トリボナッチ数、ペル数、偶数番目のフィボナッチ数といった数列を説明する包括的な組合せ論的枠組みは存在するか？
• RQ5 ECO 法を用いて、このようなパターン回避クラスをデイクパスや平面木へと拡張できるか？

主な発見

• k ≥ 2 の各 k に対して、同じ母関数 g_k(x) = (1 - 2x + x^k)/(1 - 3x + x^2 + x^k) で列挙される2つの異なる順列クラスを構成する。
• 母関数 g_k(x) は、k = 2 のときフィボナッチ母関数 F(x) = 1/(1 - x - x^2) に、k → ∞ の極限ではカタラン母関数 C(x) = (1 - √(1 - 4x))/(2x) に収束する。
• 偶数番目のフィボナッチ数の列は、k → ∞ の極限において g_k(x) の極限として回復され、その母関数は F̄(x) = (1 - 2x + x^k)/(1 - 3x + x^2 + x^k) の極限として得られる。
• 同じ数列（例：偶数番目のフィボナッチ数）に対して2つの異なる継続規則が導出され、異なる組合せ論的構成が同一の母関数をもたらすことが示された。
• 本手法により、{2^{n-1}}、トリボナッチ数、ペル数、偶数番目のフィボナッチ数といった中間の数列が、すべて1つのパターン回避順列の枠組みに統合された。
• ECO 法を用いることで、デイクパスと平面木への結果の自然な拡張が可能であり、それらの列挙を記述する類似の継続規則が成立する。