[论文解读] Invariant subsets of scattered trees. An application to the tree alternative property of Bonato and Tardif

Claude Laflamme, Maurice Pouzet+1 more|arXiv (Cornell University)|Aug 5, 2015

Geometric and Algebraic Topology参考文献 8被引用 4

一句话总结

本文通过证明每个散射树要么存在一个在所有嵌入下保持不变的顶点、边或至多两个端点的集合，要么包含无限多个彼此等化但非同构的树，从而确立了散射树的树替代性质。关键贡献在于对散射树中不变子集的结构表征，将关于自同构和嵌入的已有结果扩展至更广泛的等化与嵌入不变性语境，适用于不含无限二叉子树细分的无限树。

ABSTRACT

A tree is scattered if no subdivision of the complete binary tree is a subtree. Building on results of Halin, Polat and Sabidussi, we identify four types of subtrees of a scattered tree and a function of the tree into the integers at least one of which is preserved by every embedding. With this result and a result of Tyomkyn, we prove that the tree alternative property conjecture of Bonato and Tardif holds for scattered trees and a conjecture of Tyomkin holds for locally finite scattered trees.

研究动机与目标

• 将关于无射线树和散射树中自同构不变元素的已知结果，扩展至更广泛的嵌入类。
• 解决Bonato与Tardif提出的散射树的树替代猜想，该猜想认为等化树要么同构，要么存在无限多个非同构的等化树。
• 表征散射树中在嵌入下被保持的端点与射线的结构，特别关注其正则性、前后向保持性以及几乎刚性端点。
• 证明每个散射树都是‘稳定’的——即它包含一个在所有嵌入下保持不变的规范不变子结构——从而确立一种结构性二分法。

提出的方法

• 沿射线对树进行结构分解，定义以射线 $ C $ 上顶点为指标的根子树 $ T_{x_i} $，并将射线分类为正则射线，若仅出现有限多个非等价的根子树。
• 引入端点在嵌入下前后向保持的概念，并将‘几乎刚性’端点定义为所有嵌入下同时前后向保持的端点。
• 应用Jung（关于端点阶数）和Halin（关于无射线树）的结果，表明每个散射树均包含一个在所有嵌入下保持不变的无射线子树。
• 通过在原树 $ T $ 的路径上进行局部修改，构造出孪生树 $ Twin_n $，以生成等化但非同构的副本。
• 使用层级函数与路径嵌入，比较同构孪生树中顶点的层级，证明由于层级偏移不兼容，$ Twin_n $ 与 $ Twin_m $（$ n < m $）之间不可能存在同构映射。
• 基于层级比较与路径映射采用反证法，证明 $ Twin_n $ 与 $ Twin_m $（$ n < m $）之间不可能存在同构，从而证明孪生树的非同构性。

实验结果

研究问题

• RQ1 每个散射树是否都包含一个在所有嵌入下保持不变的顶点、边或至多两个端点的集合？
• RQ2 在所有嵌入下向前保持的端点，其在什么条件下会包含一个在所有嵌入下保持不变的射线？
• RQ3 在什么条件下散射树仅存在一个同构意义下的等化树，而在什么条件下存在无限多个非同构的等化树？
• RQ4 几乎刚性端点的结构特征是什么？它们与嵌入下的不动点有何关联？
• RQ5 在所有嵌入下向前保持的非正则端点，是否能保证在散射树中存在一个在所有嵌入下保持不变的射线？

主要发现

• 每个散射树都包含一个在所有嵌入下保持不变的顶点、边或至多两个端点的集合，推广了Halin、Polat与Sabidussi的结果。
• 若一个散射树恰好有一个最大阶数的端点，则该端点在所有嵌入下向前保持。
• 若一个散射树包含一个正则且几乎刚性的端点，则该端点包含一个在所有嵌入下逐点固定的射线，意味着嵌入集合具有共同不动点。
• 对于在所有嵌入下向前保持非正则端点的散射树，存在一个在所有嵌入下保持不变的射线。
• 若一个散射树仅存在一个同构意义下的等化树，则所有等化树彼此同构；否则，存在无限多个两两非同构的等化树。
• 通过沿路径进行局部修改构造 $ Twin_n $ 树，可生成无限多个非同构的等化树，从而证明了散射树的树替代性质。