[論文レビュー] The Möbius function of the composition poset

Bruce E. Sagan, Vincent Vatter|ArXiv.org|Jul 22, 2005

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

ひとこと要約

この論文は、弱い不等式を伴う部分語包含によって順序付けられた合成のposetにおけるモービウス関数を決定する。符号反転写像と離散モース理論の両方を用いて、モービウス関数の閉形式の公式を導出し、バーナーの部分語順序に関する結果を一般化するとともに、任意のposet上の自由モノイドにおける一般化された部分語順序を通じて、部分語順序と合成poset構造を統合する。

ABSTRACT

We determine the Möbius function of the poset of compositions of an integer. In fact we give two proofs of this formula, one using an involution and one involving discrete Morse theory. The composition poset turns out to be intimately connected with subword order, whose Möbius function was determined by Björner. We show that using a generalization of subword order, we can obtain both Björner's results and our own as special cases.

研究の動機と目的

• 弱い部分語包含によって順序付けられた整数合成のposetのモービウス関数を決定すること。
• 符号反転写像を用いた組合せ的証明と、離散モース理論を用いた位相的証明の2つの異なる証明を提供すること。
• 任意のposet上の自由モノイドにおける一般化された部分語順序を通じて、部分語順序と合成順序に関する結果を統合すること。
• 合成posetのモービウス関数と、置換やチェビシェフ多項式などの他の組合せ的構造との関係を調査すること。

提案手法

• 弱い要素の不等式を伴う部分語として埋め込み可能な場合に $ u \leq w $ となる $ \mathbb{P}^* $ 上の合成posetを定義する。
• モービウス関数の和における項をキャンセルするために、埋め込みの集合に符号反転写像を用いる。
• 合成posetの順序複体に離散モース理論を適用し、勾配ベクトル場を構成してホモロジーを計算し、結果としてモービウス関数を求める。
• 任意のposet $ P $ に対して $ P^* $ 上に一般化された部分語順序を導入し、バーナーの部分語順序と合成posetの両方を特別な場合として回復する。
• レイヤード置換と合成の間の双対写像を確立し、レイヤード置換におけるパターン包含順序が正確に合成順序に対応することを示す。
• チェビシェフ多項式の三項再帰関係を、poset $ \Lambda^* $ におけるモービウス関数に関する予想を証明するための道具として用いる。

実験結果

リサーチクエスチョン

• RQ1 弱い部分語包含の下での合成posetのモービウス関数は何か？
• RQ2 合成posetのモービウス関数は、組合せ的および位相的両方の方法で計算可能か？
• RQ3 合成posetは、部分語順序および自由モノイド上の一般化された部分語順序とどのように関係するか？
• RQ4 poset $ \Lambda^* $ のモービウス関数とチェビシェフ多項式の間に何らかの関係があるか？
• RQ5 パターン包含の下での置換のモービウス関数は、重み付き正規埋め込みを用いて記述可能か？

主な発見

• 合成poset $ \mathbb{P}^* $ のモービウス関数は、特定の埋め込みクラスに対して $ \mu(u,w) = (-1)^{|w|-|u|} \cdot \prod_{i=1}^{k} (w(i) - u(i)) $ で与えられ、符号反転写像とモース理論を用いて閉形式の公式が導出された。
• 合成posetは、レイヤード置換におけるパターン包含順序と同型であるため、この結果はウィルフの質問に対する答えを、このクラスの置換について与える。
• 合成posetのモービウス関数は常に $ \{0, \pm 1\} $ とは限らない。たとえば $ \mu(1,31524) = 6 $ であるため、一般の埋め込みに基づく記述には非単位的重みが必要である。
• 任意のposet $ P $ に対して $ P^* $ 上の一般化された部分語順序は、部分語順序（$ P $ が反鎖のとき）と合成順序（$ P $ が鎖のとき）の両方のモービウス関数の結果を統合する。
• 数値的証拠から、$ \Lambda^* $ のモービウス関数と第一種チェビシェフ多項式との間に深い関係があることが示唆されており、$ \mu(a^i, c^j) $ は $ T_{i+j}(x) $ の $ x^{j-i} $ の係数であると予想されている。
• poset $[a^i, c^j]$ は $ \Lambda^* $ でシェーリング可能でないため、標準的な位相的ツール（シェーリング可能性）は機能しないが、離散モース理論は依然として有効である。