[論文レビュー] Finite trees are Ramsey under topological embeddings

Manuel Bodirsky, Diana Piguet|arXiv (Cornell University)|Feb 8, 2010

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

ひとこと要約

この論文は、葉を保存する位相的埋め込みの下で、有限の根付き二分木のクラスがラマヌジャンクラスであることを確立している。これは、任意の二つのこのような木 $P$ と $H$ および任意の有限色数 $k$ に対して、$T$ の $P$-コピーの $k$-彩色が単色の $H$-コピーを含むような木 $T$ が存在することを示している。この結果は、再帰的部分木選択と二値彩色分解を用いた帰納的構成によって得られ、古典的ラマヌジャン理論を位相的埋め込みを伴う木構造へと拡張するものである。

ABSTRACT

We show that the class of finite rooted binary plane trees is a Ramsey class (with respect to topological embeddings that map leaves to leaves). That is, for all such trees P,H and every natural number k there exists a tree T such that for every k-coloring of the (topological) copies of P in T there exists a (topological) copy H' of H in T such that all copies of P in H' have the same color. When the trees are represented by the so-called rooted triple relation, the result gives rise to a Ramsey class of relational structures with respect to induced substructures.

研究の動機と目的

• 有限の根付き二分木のクラスが、葉を葉に写す位相的埋め込みの下でラマヌジャンクラスをなすことの確立。
• 根付き三重関係を用いることで、木の埋め込みによって定義される関係的構造へと古典的ラマヌジャン理論を拡張すること。
• ミルズの先行研究[Mil79]が示唆する結果を、制約充足問題への応用を想定して、自己完結的かつアクセス可能な証明を提供すること。
• 任意の木 $P$、$H$、および色数 $k$ に対して、$T$ が存在し、$T$ 内の $P$-コピーの $k$-彩色が単色の $H$-コピーを含むことの証明。

提案手法

• 目標木 $H$ の高さに基づく再帰的部分木選択を用いた、大きな木 $T$ の帰納的構成。
• 色数の二進表現による彩色空間の分解により、$k$-彩色を一連の2彩色に還元する。
• 非対称部分木構成の使用：各レベルで、色の整合性を保つように単色部分木 $F^{i}_{j}$ と $F^{i}_{j+2^{i}}$ を選択する。
• 単調に増大する部分木 $T(n_i)$ の階層を用いた、正規のラマヌジャン的議論の適用により、単色部分構造を含む十分な大きさを保証する。
• 位相的 $P$-コピーを、$P_{ wedge}$ と $P_{ earrow}$ のペアの部分木にマッピングし、それらを結合して大きな木 $T$ 内の完全な $P$-コピーを構成する。
• 最終段階では、二進上昇技術を用いる：$\lceil \log_2 k \rceil$ 層にわたり2彩色の場合を繰り返し適用することで、任意の $k$-彩色下で単色の $H$-コピーを回復する。

実験結果

リサーチクエスチョン

• RQ1 有限の根付き二分木のクラスは、葉を保存する位相的埋め込みの下でラマヌジャンクラスをなすか？
• RQ2 帰納的部分木構成と彩色分解を用いて、このような木のラマヌジャン性質を構成的に証明できるか？
• RQ3 この結果はどの程度 $k$-彩色に一般化可能であり、二進表現によって色数をどのように低減できるか？
• RQ4 この結果は先行研究に依存せず、計算複雑性の分野での応用に適した形でアクセス可能か？

主な発見

• すべての有限の根付き二分木 $P$ と $H$ および $k \geq 2$ に対して、$T \rightarrow (H)^P_k$ を満たす有限の木 $T$ が存在する。ただし、葉を保存する位相的埋め込みの下で成立する。
• 証明は、$H$ の高さの各レベルで単色部分木を再帰的に構築することで、最終的な $H$-コピー内のすべての $P$-コピーの色の整合性を保証する。
• 色数 $k$ は、$\lceil \log_2 k \rceil$ 個の二値彩色に分解され、それぞれが2彩色のラマヌジャン的議論により解決される。
• 葉が葉に写される必要がない場合でも、証明構造をわずかに修正するだけで、この結果は成立する。
• 根付き三重関係を用いて表現した場合、有限の根付き二分木のクラスは、誘導部分構造に関してラマヌジャンクラスをなす。
• 構成は有効的であり、$H$ の高さと色数 $k$ の関数として $T$ のサイズの上限が得られるが、本論文では明示的な上限は定量化されていない。