[論文レビュー] Extending Fine sequences: a link with forbidden patterns

Olivier Guibert, Sylvain Pelat-Alloin|arXiv (Cornell University)|Jul 20, 2005

Advanced Combinatorial Mathematics参考文献 17被引用数 3

ひとこと要約

本稿は、生成木を用いて、321を避ける置換の順序付けとフィン数列の間の新しい双対写像を確立するため、フィン数列の二変数一般化——特異的でない類似関係——を導入する。さらに、これらの一般化された数列の特殊な2つのケースを、特定の禁止パターンを避ける置換と関連づけ、生成木の構成と数え上げの公式を用いて完全な双対的証明を提供する。

ABSTRACT

We propose a natural, bivariate, generalization of the nonsingular similarity relations considered by T. Fine. We also provide an enumeration formulae and a generating tree for those relations. The latter allow us to give a new bijection between 321-avoiding derangements and Fine sequences. Moreover, we establish that two special cases are in a one-to-one correspondence with subsets of permutations characterized by forbidden subsequences on the symmetrical group. All our results are established using the technique of generating tree, thus giving entirely bijective proofs.

研究の動機と目的

• 生成木を用いて、特異的でない類似関係（フィン数列）を二変数枠組みに一般化すること。
• 生成木構造を用いて、321を避ける置換の順序付けとフィン数列との間の新しい双対的対応を確立すること。
• 一般化されたフィン数列の特殊ケースを、特定の禁止パターン（例：321、1324）を避ける置換と関連づけること。
• 生成木技術を用いて、これらの組合せ的対象の数え上げ公式に対する完全な双対的証明を提供すること。
• フィン数とカタラン経路、ボールト数との間の組合せ的関係をより深く理解すること。

提案手法

• 一般化されたフィン数列 $F_n^{p,q}$ を $\mathbb{N}^n$ 上の語として定義し、初期部分列と局所的増分に関する制約を課す：$\omega_{i+1} \leq \omega_i + 1$、およびゼロの直後に $12\ldots(q-1)$ が続く条件。
• 生成木を用いて、一般化されたフィン数列の成長をモデル化し、ノードに置換または数列をラベル付けし、子を生成する再帰的規則を定義する。
• 一般化されたフィン数列の生成木と、特定のパターン（例：$321$、$1324$、$3214$）を避ける置換の生成木との間の双対写像を確立する。
• 禁止パターンの構造的性質を用いて、生成木内のアクティブなサイトとラベル付け規則を定義し、双対的整合性を保証する。
• $(n+1)$ の有効な位置への挿入が、禁止パターンの回避を保存し、生成木内の正しいラベル遷移を誘導することを証明する。
• 生成木フレームワークを用いて数え上げの公式を導出し、そのような数列の数が既知の数列（フィン数、ボールト数など）と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 特異的でない類似関係（フィン数列）を自然に二変数枠組みに一般化する方法は何か？
• RQ2 一般化されたフィン数列と321パターンを避ける置換（特に置換の順序付け）との間の関係は何か、特にその文脈で？
• RQ3 一般化されたフィン数列のどの特殊ケースが、特定の禁止パターン（例：$1324$、$3214$）を避ける置換に対応するか？
• RQ4 生成木を用いて、これらの組合せ的対象の数え上げ公式に対する完全な双対的証明を提供できるか？
• RQ5 カタラン経路における初期上昇と原始的経路の構造的制約は、一般化されたフィン数列の構成とどのように関係するか？

主な発見

• 本稿は、生成木を用いて、321を避ける置換の順序付けとフィン数列との間の新しい双対写像を確立し、それらの同数性に対する双対的証明を提供する。
• 一般化されたフィン数列の2つの特殊ケースが、それぞれ $1324$ および $3214$ を避ける置換と一対一に対応することが示された。
• $S_n({\cal H}_3^{-1c})$ の生成木は、ルート $[A,2]$ とラベル付き遷移を用いて定義され、アクティブなサイトの挙動とパターン回避を正しくモデル化している。
• $S_n({\cal H}_5)$ の生成木は、ラベル $[P]$、$[A,t]$、$[B,t]$ を用いて構築され、挿入規則が禁止パターンの回避を保ち、正しいラベル遷移を誘導する。
• 一般化されたフィン数列 $F_n^{p,q}$ の数え上げ公式は、生成木の成長を用いて導出され、そのような数列の数が既知の組合せ的数列と一致することが確認された。
• 本稿は、生成木を用いた双対的手段により、$2F_n + F_{n-1} = C_{n+1}$ というフィン数の既知の恒等式を確認した。