[論文レビュー] Some examples of universal and generic partial orders

Jaroslav Nešetřil, Jan Hubička|arXiv (Cornell University)|Feb 8, 2010

Advanced Topology and Set Theory参考文献 7被引用数 7

ひとこと要約

本稿では、語の集合、幾何的対象、およびホモモーフィズム順序といった、普遍的かつ一般性のある部分順序の明示的かつ有限な構成を複数提示する。従来の方法よりも単純で直感的な表現を提供する。オンライned埋め込み戦略を用いて普遍性を証明し、有向パスのホモモーフィズム順序が普遍的部分順序であることを確立する。その結果、グラフやブール関数などのより広範なクラスに対しても応用が可能である。

ABSTRACT

We survey structures endowed with natural partial orderings and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism order for various combinatorial objects.

研究の動機と目的

• 従来の構成の複雑さを克服し、普遍的かつ一般性のある部分順序のアクセスしやすい有限表現を提供すること。
• 集合としての語、幾何的対象、文法など、多様な数学的構造が普遍的部分順序として機能しうることを示すこと。
• 構造的グラフ理論における重要なクラスである有向パスのホモモーフィズム順序の普遍性について、新たな洗練された証明を確立すること。
• これらの普遍的部分順序とコンウェイの超限数（Surreal numbers）との関係を探索し、新たな表現フレームワークを提供すること。
• ホモモーフィズム順序および関係構造のマイナー閉じたクラスにおける既存の普遍性に関する結果を統合・拡張すること。

提案手法

• オンライned表現をゲーム理論的枠組みとして用いる：プレイヤーAは、部分順序の要素が順次提示されるのに対応して1つずつ埋め込みを行い、勝利戦略によって普遍性を保証する。
• 頂点が互いに素な下界集合、上界集合、非比較集合に対して相対的に挿入可能であるという拡張性を満たすことで、極限的同型性（ultrahomogeneity）が保証され、その結果として一般性（genericity）が得られる。
• マスターテンプレートとしての有限語集合上の部分順序を用いて埋め込みを構成する。この部分順序 $({ m f W}, rianglelefteq_{ m f W})$ は普遍的テンプレートとして機能する。
• ジグザグ論法とレベルを保存する写像を用い、構造的対象（例えばプラanksやパス複体）間のホモモーフィズムが順序関係を反映することを示す。
• 特にFraïssé極限を用いて、一般対象の存在と性質を正当化するため、普遍代数およびモデル理論の既知の結果を活用する。
• インジケータ構成とマイナー閉包解析を用い、有向パスからの普遍性を、系列-並列的および平面的グラフなどのより広範なクラスへ拡張する。

実験結果

リサーチクエスチョン

• RQ1 抽象的なFraïssé極限を用いるのではなく、より直感的かつ有限的な方法で普遍的部分順序を構成可能か？
• RQ2 語の集合、凸包、文法など、自然に生じる数学的構造のうち、どの構造が普遍的部分順序構造を備えているか？
• RQ3 有向パスのホモモーフィズム順序は普遍的部分順序をなすか？ もしもそうであるなら、より単純な技術で証明可能か？
• RQ4 拡張性と部分順序の一般性の間にはどのような関係があるか？
• RQ5 マイナー閉じた有向グラフのクラスにおいて、普遍性とwell-quasi-orderingはどのように作用し合うか？

主な発見

• 有向パスのホモモーフィズム順序 $({ m f P}, rianglelefteq_{ m f P})$ が普遍的部分順序であることが証明され、複雑なモデル理論的道具を避ける、新たな洗練された証明が得られた。
• 有限の2進語集合上の部分順序 $({ m f W}, rianglelefteq_{ m f W})$ は、有限表現による普遍的部分順序の構成のマスターテンプレートとして機能する。
• 頂点が互いに素な下界、上界、非比較集合に対して相対的に挿入可能であるという拡張性は、極限的同型性を保証し、その結果として一般性を意味する。
• ルート付き有向パス（プラanks）のホモモーフィズム順序も、普遍的部分順序を含むことが示され、非ルート付きパスの結果を強化する。
• 有向パスのホモモーフィズム順序の普遍性は、インジケータ構成を用いて、無向平面的および系列-並列的グラフなどの関連クラスに対しても普遍性を示す。
• ブール関数に関しては、$Χ$-マイナー部分順序が普遍的であるための必要十分条件は、ポストの分類に基づき、$Χ$ がクライQUE関数クラスタまたは自己双対的単調関数クラスタである場合に限る。