[论文解读] Quasi-thin weakly distance-regular digraphs

Yuefeng Yang, Benjian Lv+1 more|arXiv (Cornell University)|Sep 16, 2016

Finite Group Theory Research参考文献 8被引用 3

一句话总结

该论文对阶大于3的交换拟薄弱距离正则有向图进行了分类，证明其同构于阿贝尔群上特定家族的Cayley有向图。分类基于交数分析与关联方案理论，实现了对这些有向图的完整结构表征。

ABSTRACT

A weakly distance-regular digraph is quasi-thin if the maximum value of its intersection numbers is 2. In this paper, we focus on commutative quasi-thin weakly distance-regular digraphs, and classify such digraphs with valency more than 3. As a result, this family of digraphs are completely determined.

研究动机与目标

• 对阶大于3的交换拟薄弱距离正则有向图进行分类。
• 利用代数与组合技术，确定此类有向图的完整结构族。
• 证明所有此类有向图同构于阿贝尔群上的特定Cayley有向图。
• 将先前对弱距离正则有向图的分类拓展至阶更高、且为拟薄与交换的情形。
• 通过群论构造，提供此类有向图的完整显式列表。

提出的方法

• 利用源自弱距离正则有向图的关联方案框架，邻接关系按双向距离索引。
• 应用交数恒等式（例如，$ p_{ ilde{d}, ilde{e}}^{ ilde{f}} k_{ ilde{f}} = p_{ ilde{f}, ilde{e}^*}^{ ilde{d}} k_{ ilde{d}} $）以限制可能的配置。
• 采用群论构造，特别是$ bZ_n imes bZ_m $上的Cayley有向图，以生成候选族。
• 通过顶点集按距离层级的划分及同构定理，验证结构的一致性。
• 基于交数取值（如$ k_{1,1} = 1 $或$ 2 $）进行情形分析，以区分不同族。
• 通过显式映射（如$ au, ho, heta $）验证同构性，将构造的有向图与标准Cayley形式对应。

实验结果

研究问题

• RQ1 阶大于3的交换拟薄弱距离正则有向图中，哪些存在？
• RQ2 Cayley有向图成为弱距离正则且拟薄的充要条件是什么？
• RQ3 交数与双向距离如何约束此类有向图的全局结构？
• RQ4 是否可将所有此类有向图完全分类为有限个具有显式群与连接集描述的族？
• RQ5 群阶与最大公因数条件（如$ ext{gcd}(q,n) $）在确定有效连接集时起什么作用？

主要发现

• 所有阶大于3的交换拟薄弱距离正则有向图均同构于十个显式列出的Cayley有向图之一。
• 该分类包括$ bZ_8 $、$ bZ_{4p} $、$ bZ_4 imes bZ_4 $、$ bZ_q imes bZ_4 $以及与$ bZ_n $的乘积，每类均有特定连接集。
• 对于$ k_{1,1} = 1 $的有向图，其结构同构于$ ext{Cay}(bZ_{4q}, igracevert ext{Cay}(bZ_{4q}, igracevert $，其中$ q e 3 $。
• 当$ k_{1,1} = 2 $时，有向图同构于$ ext{Cay}(bZ_{2q} imes bZ_n, igracevert $，其中$ n e 3 $，且$ c = n / ext{gcd}(q,n) $、$ t = q / ext{gcd}(q,n) $均为奇数。
• 证明表明，除定理1.1中列出的十个族外，不存在其他此类有向图。
• 同构关系通过映射如$ heta(a,b,i) = (2 ilde{a}+i, (2 ilde{a}c + ic + i)/2 + ilde{b}) $显式构造，确认了结构等价性。