[論文レビュー] Conant's generalised metric spaces are Ramsey

Jan Hubička, Matěj Konečný+1 more|arXiv (Cornell University)|Oct 12, 2017

Advanced Topology and Set Theory被引用数 2

ひとこと要約

本稿では、距離モノイド（可換モノイドに線形順序と単調性を持つもの）M に対して、すべての有限 M-距離空間のクラスで、距離に凸線形順序を導入した場合、それがラマヌジャンクラスをなすことを確立している。著者らは、最短経路完成手順とモノイド内のブロック構造に基づく完成手続きを用いてラマヌジャン拡張を構成し、モノイドが半アルキメデス的またはアルキメデス的である必要がないことから、以前の S-距離空間に関する結果を一般化するとともに、コンラットの部分自己同型の拡張性質（EPPA）に関する研究を拡張している。

ABSTRACT

We give Ramsey expansions of classes of generalised metric spaces where distances come from a linearly ordered commutative monoid. This complements results of Conant about the extension property for partial automorphisms and extends an earlier result of the first and the last author giving the Ramsey property of convexly ordered $S$-metric spaces. Unlike Conant's approach, our analysis does not require the monoid to be semi-archimedean.

研究の動機と目的

• 距離モノイド M に対して、S-距離空間におけるラマヌジャン性を任意の距離モノイド上での一般化された距離空間へ拡張すること。
• モノイドが半アルキメデス的でなくてもよいように、M-距離空間に対するラマヌジャン拡張を提供することにより、先行研究を一般化すること。
• モデル理論的および組合せ的技法を用いて、より広い距離構造類に対するラマヌジャン性を確立すること。
• モノイド値距離に基づく一様な枠組みを用いて、距離空間および超距離空間のラマヌジャンクラスに関する先行結果を統一的かつ拡張すること。
• 結論で示唆されたように、これらの構造におけるEPPAおよび定常的独立関係の証明の基盤を築くこと。

提案手法

• 距離モノイド (M, ⊕, ⪯, 0) を、可換モノイドに線形順序と ⊕ に関する単調性を持つものとして定義する。
• 距離に凸線形順序を導入した有限 M-距離空間のクラス #»MM を導入する。
• 最短経路完成による順序付き完成をもたらす関手 L⋆ を用いて、ラマヌジャン拡張を構成する。
• モノイド内のブロックの概念を用いて、一般の場合を有限ブロックの場合に還元し、局所的有限性と結合性の性質を活用する。
• RM-多重結合フレームワークと局所的有限完成性を用いて、L⋆ 構造のクラス M⋆M がラマヌジャンクラスであることを証明する。
• ヘルウィグ＝ラスカーの定理と完成アルゴリズムを適用し、任意の有限 M-距離空間がラマヌジャン性をもつ部分クラスに属することを示し、主結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の距離モノイド M に対して、距離に凸線形順序を導入したすべての有限 M-距離空間のクラスは、ラマヌジャンクラスか？
• RQ2 モノイドが半アルキメデス的またはアルキメデス的であると仮定しない場合でも、一般化された距離空間に対してラマヌジャン性を確立できるか？
• RQ3 最短経路完成手順をどのように用いて、M-距離空間に対するラマヌジャン拡張を構成できるか？
• RQ4 モノイドのブロック分解がラマヌジャン性の証明において果たす役割は何か？
• RQ5 これらの結果は、Λ-超距離空間や距離的同型グラフなどの他の構造へ拡張可能か？

主な発見

• 任意の距離モノイド M に対して、距離に凸線形順序を導入したすべての有限 M-距離空間のクラス #»MM は、ラマヌジャンクラスである。
• モノイドが半アルキメデス的でなくてもよいことから、ヒビチカとネシェトリルの定理1.4を一般化している。
• 証明は、L⋆-関手によるラマヌジャン拡張の構成と、RM-多重結合フレームワークを用いた M⋆M がラマヌジャンクラスであることを示すことに基づいている。
• 任意の有限 M-距離空間 B に対して、その距離の有限集合 ⟨S⟩ が生成する部分構造は有限ブロック距離モノイドとなり、B は #»MM のラマヌジャン部分クラスに属する。
• 局所的有限完成性により、有界部分構造を持つ任意の有限構造が M⋆M 内に完成可能であることが保証され、これによりラマヌジャンの議論が可能になる。
• これらの結果は、結論で示唆されたように、EPPA および定常的独立関係の証明への道を開く。