[論文レビュー] Homomorphism and embedding universal structures for restricted classes

Jan Hubička, Jaroslav Nešetřil|arXiv (Cornell University)|Sep 27, 2009

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

ひとこと要約

本稿では、一般化された超同型構造の拡張（リフト）と縮約（シャドウ）を用いて、制限された関係構造のクラスにおける準同型普遍的かつ埋め込み普遍的構造の新しい組合せ的構成を提示する。有限連結グラフからの準同型を禁止するクラスにおいて、普遍的対象の存在を明示的かつモデル理論的証明で示し、双対の存在と偶奇距離計量を用いたUrysohn空間の新バージョンを確立する。

ABSTRACT

This paper unifies problems and results related to (embedding) universal and homomorphism universal structures. On the one side we give a new combinatorial proof of the existence of universal objects for homomorphism defined classes of structures (thus reproving a result of Cherlin, Shelah and Shi) and on the other side this leads to the new proof of the existence of dual objects (established by Nešetřil and Tardif). Our explicite approach has further applications to special structures such as variants of the rational Urysohn space. We also solve a related extremal problem which shows the optimality (of the used lifted arities) of our construction (and a related problem of A. Atserias).

研究の動機と目的

• 有限連結グラフからの準同型を禁止するクラスにおいて、準同型普遍的構造の存在を、組合せ論的で明示的な証明を与えること。
• すべての禁止構造が関係的木であるクラスにおいて、双対（有限準同型普遍的構造）の存在を再証明し、拡張すること。
• 一般化された（超同型的）構造のリフトとシャドウの枠組みを通じて、普遍的構造と準同型普遍的構造の研究を統一すること。
• リフトされたアリティに関する極値問題を解き、構成法の最適性を示すこと。
• 偶奇距離計量を用いたUrysohn空間の新バージョンを導入し、構築すること。

提案手法

• 一般化された超同型的構造から、リフト（拡張）とシャドウ（縮約）を用いて普遍的対象を構成する。
• Fraïssé極限の構成を応用し、距離が偶数長・奇数長のウォークのペアとして表現される、一般化された偶奇距離計量空間を定義する。
• 頂点が有限の定義域を持つ関数 $ f $ であり、閉包性および計量の一貫性条件を満たすような計量空間 $ \mathbf{U} $ を定義する。
• 要素ごとの最小値を用いた偶奇ペアの最小値を用いて、距離 $ d_{\mathcal{U}}(f,g) $ を共通拡張の下での最小値として構成する。
• 偶奇距離計量空間のクラスが結合性を満たすことを証明し、一般化された構造の存在を可能にする。
• 奇数長のサイクルを長さ $ l $ まで禁止するグラフクラスを、距離ペアからのグラフ構成を用いて、一般化された偶奇距離計量空間 $ \mathbf{U}_l $ の部分空間へ還元する。

実験結果

リサーチクエスチョン

• RQ1 有限連結グラフ $ \mathbf{F}_1,\dots,\mathbf{F}_t $ からの準同型を禁止するクラス $ \mathop{\mathrm{Forb}}_h(\mathbf{F}_1,\dots,\mathbf{F}_t) $ において、モデル理論的道具を用いずに、準同型普遍的構造の存在を組合せ論的に証明できるか？
• RQ2 禁止された準同型をもつクラスにおける、準同型普遍的構造と埋め込み普遍的構造の関係は何か？
• RQ3 すべての禁止構造が関係的木であるクラスにおいて、双対（有限準同型普遍的構造）を明示的に構成できるか？
• RQ4 リフトとシャドウによる普遍的構造の構成は、アリティと複雑さの観点から最適か？
• RQ5 偶奇距離計量を用いたUrysohn空間の変種を構成できるか。また、その構造的性質は何か？

主な発見

• 有限連結グラフ $ \mathbf{F}_i $ を禁止するクラス $ \mathop{\mathrm{Forb}}_h(\mathbf{F}_1,\dots,\mathbf{F}_t) $ における準同型普遍的構造の存在について、新しい組合せ的証明が与えられ、Cherlin, Shelah, および Shi の結果を再確認する。
• 双対（有限準同型普遍的構造）の構成が明示的に提供され、定理 1.2 が新たな方法で証明される。
• 偶奇距離計量空間のクラスの Fraïssé 極限として、一般化された偶奇距離計量空間 $ \mathbf{U} $ が構成され、結合性を満たす。
• ペア $ d(x,y) = (a,b) $ であって $ a+b \leq l $ を満たすものが存在しない偶奇距離計量空間のクラス $ \mathcal{K}_l $ は、普遍的かつ均質な構造 $ \mathbf{U}_l $ を持つ。
• 距離ペア $ (a,1) $ を持つ頂点を接続することで定義されるグラフ $ \mathbf{G}_l $ は、長さが $ l $ 以下の奇数サイクルを禁止するすべての可算グラフのクラスに対して普遍的である。
• 有限の定義域と偶奇距離値を持つ関数 $ f $ を用いた $ \mathbf{U} $ の明示的構成が、Katětov 関数に類似した一般化された偶奇距離計量空間をもたらすことが示される。