[論文レビュー] A generating tree approach to k-nonnesting partitions and permutations

Sophie Burrill, Sergi Elizalde+2 more|arXiv (Cornell University)|Aug 29, 2011

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

ひとこと要約

本稿では、ヤング盤や格子路の双対写像に依存せずに、弧図表現から直接$k$-非ネスト集合分割および置換を列挙・全列挙するための生成木手法を導入する。$k$をパラメータとする生成関数の明示的関数方程式を導出し、$k > 3$ の場合、これらの生成関数がD-有限でないという強力な証拠を提示し、分野における長年の予想を支持する。

ABSTRACT

We describe a generating tree approach to the enumeration and exhaustive generation of k-nonnesting set partitions and permutations. Unlike previous work in the literature using the connections of these objects to Young tableaux and restricted lattice walks, our approach deals directly with partition and permutation diagrams. We provide explicit functional equations for the generating functions, with k as a parameter.

研究の動機と目的

• 弧図表現を用いて、ヤング盤や制限付き格子路への間接的接続を避けて、$k$-非ネスト集合分割および置換を直接組合せ論的に列挙・生成する方法を開発すること。
• ヤング盤や制限付き格子路への間接的接続を避けて、図構造そのものに直接作業すること。
• パラメータ$k$を用いて、$k$-非ネスト集合分割および置換の生成関数の明示的関数方程式を導出すること。
• $k > 3$ の場合、$k$-非クロスイング集合分割の生成関数がD-有限でないという予想を支持する証拠を提供すること。
• これらの組合せ的クラスにおける$\ell$-ネストと$k$-クロスイングの分布を調査し、生成木を用いた全列挙を可能とすること。

提案手法

• 各対象が組合せ論的パラメータでラベル付けされた生成木を構築し、次の段階の対象を生成する継続規則を定義する。
• 主に弧図を表現手段とし、ネスト構造を木構造の構築そのものに直接符号化する。
• 生成木の再帰的構造に基づいて、生成関数の関数方程式を導出する。
• Mapleのgfunパッケージを用い、最大80項までを用いて生成関数のD-有限性をテストする。
• 生成木フレームワークを、集合分割および置換の両方の処理に適応させ、RNA様構造のためのオープン図を含む。
• 生成木を用いて、事前の列挙結果に依存せずに、$k$-非ネスト対象の全列挙を可能とする。

実験結果

リサーチクエスチョン

• RQ1 ヤング盤や格子路双対写像に依存せずに、弧図表現を用いて直接$ k $-非ネスト集合分割および置換を列挙する生成木アプローチは可能か？
• RQ2 パラメータ$k$を用いた$ k $-非ネスト分割および置換の生成関数を支配する関数方程式は何か？
• RQ3 $ k > 3 $ の場合、$ k $-非クロスイング集合分割の生成関数は、予想通りD-有限でないか？
• RQ4 $ \ell < k $ の場合、$ k $-非ネスト分割および置換内における$ \ell $-ネストの分布は何か？
• RQ5 生成木フレームワークを、非クロスイングおよび非ネストイング条件を同時に満たすように拡張可能か？

主な発見

• 著者らは、弧図表現を用いて、$k$-非ネスト集合分割および置換の生成木を成功裏に構築し、直接的な再帰的生成を可能とした。
• パラメータ$k$を用いた$ k $-非ネスト分割および置換の生成関数の関数方程式を明示的に導出した。
• 80項を用いた微分方程式への適合試行に失敗した結果、$k > 2$ のすべての$k$について、$k$-非ネスト置換の生成関数はD-有限でないことが示された。
• $k$-非ネスト置換の列挙列は、小さな$n$では$n!$と一致するが、$n = 10$を超えると乖離し、複雑性の増加を示している。
• 生成木手法により、度数2の頂点を増幅させることなく、$k$-非ネストねじれ図の全列挙が可能となった。
• 本アプローチは、置換および分割における$k$-ネストと$k$-クロスイングの分布を研究する新たな道筋を提供し、ネスト数の確率的解析を可能にする可能性がある。