[论文解读] 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$，使得 $T$ 中 $P$ 的所有拷贝的任意 $k$-染色中都包含一个单色的 $H$ 拷贝。该结果通过递归子树选择与二元染色分解的归纳构造方法证明，将经典拉姆齐理论推广至具有拓扑嵌入的树结构。

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$，使得在保持叶子的拓扑嵌入下，$T \rightarrow (H)^P_k$。
• 该证明通过递归构建 $H$ 高度每一层的单色子树来构造 $T$，确保在最终 $H$-拷贝中所有 $P$-拷贝的颜色一致性。
• 颜色数 $k$ 通过将染色分解为 $\lceil \log_2 k \rceil$ 个二进制染色来处理，每个二进制染色通过 2-染色拉姆齐论证解决。
• 即使不要求叶子必须被映射到叶子，该结果依然成立，仅需对证明结构做轻微修改。
• 当通过有根三元组关系表示时，有限有根二叉平面树的类在诱导子结构下构成一个拉姆齐类。
• 该构造是有效的，并给出了 $T$ 的大小关于 $H$ 的高度和颜色数 $k$ 的界，尽管论文中未明确量化具体边界。