[論文レビュー] Saturated chains in composition posets

Jan Snellman|ArXiv.org|May 12, 2005

Advanced Combinatorial Mathematics参考文献 8被引用数 10

ひとこと要約

本稿は、整数の組み合わせの半順序集合における飽和鎖を研究し、非可換な設定に一般化するヤングのラティスの非可換類似物として、3つの関連する半順序集合 $π$, $π_{××}$, および $π^rown$ を導入・分析する。固定幅 $k$ の飽和鎖の有理生成関数を導出し、有限オートマトンによって認識可能な有理的非可換生成関数を構成し、スターリングの半順序集合 $π^rown$ を通じて準対称関数と関連付ける。主な貢献は、これらの半順序集合を統一的に記述する形式的枠組みと、鎖の列挙のための明示的な有理生成関数の構築である。

ABSTRACT

We study three different poset structures on the set of all compositions. In the first case, the covering relation consists of inserting a part of size one to the left or to the right, or increasing the size of some part by one. The resulting poset was studied by the author in "A poset classifying non-commutative term orders", and then in "Standard paths in another composition poset" where some results about generating functions for standard paths in this poset was established. The latter article was inspired by the work of Bergeron, Bousquet-M{é}lou and Dulucq on "Standard paths in the composition poset", where they studied a poset where there are additional cover relations which allows the insertion of a part of size one anywhere in the composition. Finally, following a suggestion by Richard Stanley we study yet a third which is an extension of the previous two posets. This poset is related to quasi-symmetric functions. For these posets, we study generating functions for saturated chains of fixed width k. We also construct ``labeled'' non-commutative generating functions and their associated languages.

研究の動機と目的

• 組み合わせ半順序集合の被覆関係を一般化する新しい半順序集合を導入することで、ヤングのラティスの非可換類似物を拡張すること。
• これらの半順序集合における飽和鎖、特に固定幅 $k$ のものについて研究し、それらの列挙のための生成関数を導出すること。
• 全鎖の情報を符号化するラベル付き非可換生成関数を構成し、それが有理的かつ有限状態機械によって認識可能であることを証明すること。
• 半順序集合 $π$, $π_{××}$, および $π^\infty$ を共通の形式的枠組みで統一し、$π^\infty$ が帰納的極限として得られることを示すこと。
• これらの半順序集合と準対称関数との関係、特にリチャード・スターリングの半順序集合 $π^\infty$ を通じての関係を確立すること。

提案手法

• 本稿は、組み合わせの上に3つの半順序集合を定義する：$π$（端に1を挿入するか、部分を増加させる）、$π_{××}$（どこにでも1を挿入する）、$π^\frown$（$π_{××}$ を拡張し、サイズ $n$ の組み合わせに対して $n+1$ 個の被覆を持つ）。
• 固定幅 $k$ の飽和鎖のための生成関数を導入し、それらが有理的再帰関係を満たすことを示す。
• 非可換生成関数は、飽和鎖における全ステップの列を符号化する形式的べき級数として構成される。
• これらの非可換生成関数が有理的であることを証明し、それにより有限オートマトンによって認識可能であることを示す。
• 多ランク構造と再帰的構造に基づく統一的枠組みを用いて、$d \geq 1$ の $π^d$ を記述し、$π^\frown$ をそれらの帰納的極限として得る。
• ベルジェロン、ブーサケ・メルー、ドゥルクークの $π_{××}$ における標準パスに関する先行研究を基盤とし、任意の初期組み合わせおよび非可換符号化に拡張する。

実験結果

リサーチクエスチョン

• RQ1 空の組み合わせからではなく、任意の初期組み合わせから出発する組み合わせ半順序集合における飽和鎖は、どのように列挙可能か？
• RQ2 半順序集合 $π$, $π_{××}$, および $π^\frown$ における固定幅 $k$ の飽和鎖の生成関数の構造は何か？
• RQ3 全飽和鎖を符号化する非可換生成関数を構成可能か？ また、それらは有理的であるか、有限オートマトンによって認識可能か？
• RQ4 リチャード・スターリングが提唱した半順序集合 $π^\frown$ は、他の半順序集合および準対称関数とどのように関係しているか？
• RQ5 半順序集合 $π^d$（$d \geq 1$）の階層とその極限 $π^\frown$ を記述する統一的枠組みは何か？

主な発見

• 半順序集合 $π$ および $π_{××}$ における固定幅 $k$ の飽和鎖の生成関数は有理的であり、単純な再帰関係を満たす。
• これらの半順序集合における全飽和鎖を符号化する非可換生成関数は有理的であり、有限状態機械によって認識可能であることを示唆する。
• サイズ $n$ の組み合わせが正確に $n+1$ 個の被覆を持つように拡張された半順序集合 $π^\frown$ は、半順序集合 $π^d$ の帰納的極限として示される。
• $π^\frown$ は基本的な準対称関数と自然に結びつき、その構造の組み合わせ的モデルを提供する。
• 多ランク構造を用いた統一的枠組みを構築し、$π$, $π_{××}$, および $π^\frown$ をより広範な半順序集合族の特別な場合として記述する。
• 本研究により、飽和鎖の非可換生成関数が有理的であることが確認され、可換の場合の有理的性の結果が非可換設定へと拡張されたことが示された。