[论文解读] A classification of connected-homogeneous digraphs

Matthias Hamann, Fabian Hundertmark|arXiv (Cornell University)|Apr 29, 2010

Advanced Graph Theory Research参考文献 26被引用 6

一句话总结

本文对具有多个端点的连通-齐次有向图进行分类，表明其要么属于I型（其无向基础图是连通-齐次的），要么属于II型（不是连通-齐次的）。关键结果是II型有向图具有高度弧传递性，通过基于顶点割系统的结构树，将先前仅适用于局部有限情况的结果推广至非局部有限情形。

ABSTRACT

We classify the connected-homogeneous digraphs with more than one end. We further show that if their underlying undirected graph is not connected-homogeneous, they are highly-arc-transitive.

研究动机与目标

• 对具有多个端点的连通-齐次有向图进行分类，以填补关于C-齐次有向图文献中的空白。
• 确定C-齐次有向图的无向基础图是否本身也是C-齐次的，从而引出I型与II型有向图的区分。
• 通过基于顶点割系统与结构树的方法，将高度弧传递有向图的理论从局部有限情形推广至一般情形。
• 解决一个关于C-齐次性在线图构造下是否保持的开放问题，表明一般情况下不成立。

提出的方法

• 使用基于顶点割系统的结构树，这是一种适用于任意无限图的近期技术，用于分析连通-齐次有向图的全局结构。
• 以可数齐次锦标赛图的分类（Lachlan）和齐次二分图（Goldstern, Grossberg, Kojman）作为基础构建模块。
• 在由有限顶点割分离的连通分量上，运用归纳的自同构延拓论证，利用连通-齐次性性质。
• 根据无向基础图是否为连通-齐次，区分I型与II型有向图。
• 通过边上的可达性关系与等价类分析交替行走中的连通性与自同构行为。
• 应用线图相关结果，表明 $ L(DL(C_{2m})) o M'(2m) $，并证明 $ L(M'(2m)) $ 不是C-齐次的。

实验结果

研究问题

• RQ1 哪些具有多个端点的连通-齐次有向图存在，以及如何系统地对其进行分类？
• RQ2 在何种条件下，C-齐次有向图的无向基础图本身也是C-齐次的？
• RQ3 II型连通C-齐次有向图是否必然具有高度弧传递性？
• RQ4 有向图的C-齐次性是否蕴含其线图的C-齐次性？
• RQ5 基于顶点割系统的结构树在分类无限C-齐次有向图中起什么作用？

主要发现

• 具有多个端点的连通C-齐次有向图为I型，当且仅当其为树或包含三角形。
• 所有具有多个端点的II型连通C-齐次有向图均为高度弧传递的，将先前仅限于局部有限情形的结果推广。
• 线图 $ DL(C_{2m}) $ 同构于 $ M'(2m) $，该构造保持了某些结构性质。
• 线图 $ M'(2m) $ 是三角形自由的，具有无限多个端点，连通度为4，且不是C-齐次的，从而解决了Gray与Möller（2014）提出的开放问题。
• 分类结果表明，C-齐次性在一般情况下不被线图构造所保持。
• 不可数通用齐次二分图的同构类型数量在ZFC系统中不可判定，使其分类成为不可判定问题。