[論文レビュー] Decomposing simple permutations, with enumerative consequences

Robert Brignall, Sophie Huczynska+1 more|ArXiv.org|Jun 8, 2006

Advanced Combinatorial Mathematics参考文献 14被引用数 5

ひとこと要約

この論文は、十分に長い単純置換が、2つの長さが長く、ほとんど互いに素な単純部分列を含むことを確立しており、顕著な数え上げ的帰結をもたらす構造的分解結果を示している。主な貢献は、長大な単純置換は、長さが少なくとも k に等しい2つの単純部分列を含み、それらが高々2つの要素しか共有しないことを示す定理である。この結果は、特定のパターン（例：132）の出現回数が有界な置換クラスが代数的母関数を持つことを示唆している。

ABSTRACT

We prove that every sufficiently long simple permutation contains two long almost disjoint simple subsequences. This result has applications to the enumeration of restricted permutations. For example, it immediately implies a result of Bona and (independently) Mansour and Vainshtein that for any r, the number of permutations with at most r copies of 132 has an algebraic generating function.

研究の動機と目的

• 十分に長い単純置換の構造的分解定理を確立し、それらが2つの長く、ほぼ互いに素な単純部分列を含むことを示す。
• 特定のパターン（例：132）の出現回数が有界な置換クラスの代数的母関数性質に対する新しい証明を提供する。
• 有限個の単純置換を含むクラスに限らない、置換の数え上げにおける代数性結果の適用範囲を拡張する。
• 単純性の組合せ的構造（グラフや関係系を含む）への広範な意味を検討する。
• 置換に長大な単純部分列が存在することは、再帰的分解と数え上げを可能にすることを示す。

提案手法

• 非自明な区間（インデックスと値の両方が連続する整数の部分集合）を含まない置換を単純置換と定義する。
• 幾何的および順序論的制約を満たす「適切なピン列」の概念を導入する。
• 長大な単純置換における構造的ブロックとして、長大な適切なピン列、平行交互列、またはウェッジ単純置換の存在を利用する。
• パターン出現回数（例：132）に基づく帰納法を適用し、長大な単純置換が与えられたパターンを r 個を超えて含む必要があることを示す。
• 互いに素またはほとんど互いに素な単純部分列が、パターンの独立したコピーをもたらすため、合計出現回数が任意の固定値を超えることを保証する。
• 有限個の単純置換を含むクラスに関する既知の結果を応用し、単純成分から構成される置換の再帰的構造を用いて、母関数の代数性を導出する。

実験結果

リサーチクエスチョン

• RQ1 十分に長い単純置換は、常に2つの長く、ほとんど互いに素な単純部分列に分解可能だろうか？
• RQ2 単純置換が複数の重複のない単純部分構造を含むことを保証する構造的性質は何か？
• RQ3 置換におけるパターン出現回数の有界性は、クラス内の単純置換の有限性とどのように関係するか？
• RQ4 単純置換の分解は、グラフや関係系などの他の組合せ的構造へ、どの程度一般化可能だろうか？
• RQ5 パターン出現回数が有界な置換クラスが代数的母関数を持つための条件は何か？

主な発見

• 任意の k に対して、関数 f(k) が存在し、長さが f(k) 以上のすべての単純置換は、長さが少なくとも k で、高々2つの要素しか共有しない2つの単純部分列を含む。
• 関数 f(k) は概ね k^{k^k} で上界が与えられるが、証明内では正確な値は最適化されていない。
• この結果は、パターン 132 を高々 r 回しか含まない置換クラスが代数的母関数を持つことを示しており、r に関する帰納法によって証明されている。
• 証明により、長大な単純置換は、長大な適切なピン列、長大な平行交互列、または長大なウェッジ単純置換を含む必要があることが示された。
• これらの構造的コンポーネント（ピン列、交互列、ウェッジ置換）の各々は、長さが制御された、互いに素またはほとんど互いに素な2つの単純部分列を抽出するのに利用可能である。
• この結果は置換を超えて一般化可能である：関係構造では単純性の類似概念が存在するが、部分構造間の共通部分がより大きくなる可能性があるため、交差の境界が異なったものが必要となる。