[論文レビュー] The M\"obius Function of Generalized Factor Order

Robert Willenbring|arXiv (Cornell University)|Jan 1, 2011

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

ひとこと要約

本稿では、アルファベットに部分順序が導入され、各文字が一意な要素を被覆する一般化因子順序posetにおいて、離散モース理論を適用して、Möbius関数の再帰的公式を導出する。BabsonとHershの辞書式順序付き鎖における非巡回マッチングを活用することで、著者たちは通常因子順序におけるBjörnerの結果を再導出し、より広いクラスのposetへと拡張し、Möbius関数の値が−1、0、または1に制限されることを明らかにする。

ABSTRACT

We use discrete Morse theory to determine the Möbius function of generalized factor order. Ordinary factor order on the Kleene closure A* of a set A is the partial order defined by letting u\leq w if w contains u as a subsequence of consecutive letters. The Möbius function of ordinary factor order was determined by Björner. Using Babson and Hersh's application of Robin Forman's discrete Morse theory to lexicographically ordered chains, we are able to gain new understanding of Björner's result and its proof. We generalize the notion of factor order to take into account a partial order on the alphabet A and, relying heavily on discrete Morse theory, give a recursive formula in the case where each letter of the alphabet covers a unique letter.

研究の動機と目的

• 通常因子順序におけるBjörnerのMöbius関数の公式のより深い位相的説明を提供すること。
• アルファベットに部分順序を導入することで因子順序を一般化すること、特に各文字が一意な要素を被覆する場合に焦点を当てる。
• 離散モース理論を適用して、複雑な組合せ的posetにおけるMöbius関数の解析を簡略化・統一すること。
• 順序複体における臨界単体を用いて、一般化因子順序posetにおける区間のホモトピー型を探索すること。

提案手法

• posetの順序複体における辞書式順序付き鎖に、BabsonとHershの非巡回マッチングを用いて離散モース理論を適用する。
• ∆(u, w)の単体に離散モース関数を定義し、臨界単体を特定する。
• 弱いモース不等式を用いて、相対オイラー特徴量と臨界単体の数を関連付ける。
• 集合I(C)およびJ(C)に基づく鎖へのマッチングを構築する。これらは鎖がマッチングされるか、あるいは未マッチド（臨界）となるかを決定する。
• 対称差演算（△）を用いて単体間のペアリングを定義し、非臨界単体が対としてマッチングされるように保証する。
• poset P∗またはF∗が各要素に対して一意な子を有することに依存しており、これにより体系的な鎖のラベル付けとマッチング戦略が可能になる。

実験結果

リサーチクエスチョン

• RQ1 離散モース理論は、通常因子順序におけるBjörnerのMöbius関数の再帰的公式に対して、位相的な説明を提供できるか？
• RQ2 アルファベットの各文字が一意な要素を被覆する場合、一般化因子順序におけるMöbius関数の構造はいかなるものか？
• RQ3 一般化因子順序posetにおける順序複体の臨界単体は、Möbius関数の値とどのように対応するか？
• RQ4 BabsonとHershの非巡回マッチング技法は、非標準的なposetにおけるMöbius関数の新しい公式を導出するために適応可能か？
• RQ5 連続パターンposetと一般化因子順序の間には、類似したMöbius関数の振る舞いから示唆される共通の一般化が存在するか？

主な発見

• 一般化因子順序におけるMöbius関数は、外側語および内側語の構造によって再帰的に決定され、その値は−1、0、または1に制限される。
• アルファベットに部分順序がない場合、この公式はBjörnerの元の結果に簡約され、先行研究と整合性が確認される。
• 順序複体における臨界単体は、非巡回マッチングにおける未マッチド鎖に正確に対応し、その次元がMöbius関数の値を決定する。
• マッチング手順により、各鎖に対してたった一つの単体のみが未マッチド（臨界）となり、これが相対オイラー特徴量を決定する。
• 本稿では、より長い外側要因のため、主因子がまったくベース度数に現れない反例を特定し、公式の非自明性を示している。
• 著者たちは、連続する次元の臨界単体がしばしば相殺されることを観察しており、これは離散モースの取消定理による簡略化の可能性を示唆している。