[论文解读] Recipes for Edge-Transitive Tetravalent Graphs

Steve Wilson, Primož Potočnik|arXiv (Cornell University)|Aug 14, 2016

Advanced Graph Theory Research参考文献 25被引用 7

一句话总结

本文提供了最多512个顶点的边传递四正则图的全面目录，引入并统一了参数化族（例如 $C_n(1,a)$、${\rm BC}_n(a,b,c,d)$、${ m AMC}(k,n,M)$），这些族可生成这些图。文中提供了构造方法，阐明了不同族之间的关系，并概述了发现这些图所采用的计算技术，关键成果包括在普查范围内的箭传递图和 1/2-弧传递图的完备性。

ABSTRACT

This paper is to accompany the Census of Edge-Transitive Tetravalent Graphs, available at jan.ucc.nau.edu/~swilson/C4FullSite/index.html, which is a collection of all known edge-transitive graphs of valence 4 up to 512 vertices. The Census contains information for each graph. This information includes parameters such as group order, diameter, girth etc., all known constructions, relations to other graphs in the Census and intersting substructures such as colorings, cycle structures, and dissections. We try to present most graphs as members of one or more parameterized families, and one purpose of this paper is to gather together, here in one place, descriptions of each of these families, to show how each is constructed, what the history of each is and how one family is related to another. We also discuss in this paper the theory and techniques behind computer searches leading to many entries in the Census.

研究动机与目标

• 整理并系统化最多512个顶点的所有已知边传递四正则图，形成全面的普查数据。
• 统一并描述生成边传递图例的四正则图参数化族。
• 阐明不同图族之间的关系并识别其结构联系。
• 提供发现此类图的计算技术和理论基础。
• 识别边传递四正则图分类中的开放问题和研究方向。

提出的方法

• 本文使用参数化族（如 $C_n(1,a)$、${\rm BC}_n(a,b,c,d)$ 和 ${\rm AMC}(k,n,M)$）构建边传递四正则图，每个族均有明确定义的顶点集和边集。
• 应用群论方法，特别是分析自同构群在箭、边和顶点上的作用，以分类对称类型（箭传递、1/2-弧传递、半对称）。
• 作者使用一致的圈理论和 Biggs-Conway 定理，分析箭传递图中对称性的轨道结构。
• 采用计算搜索技术探索参数空间，特别是在理论分类不完整时。
• 使用图构造方法（如 BGCG（基本图构造）、DG、HC 和 TAG）从立方图或地图生成新图。
• 引入 LR 结构作为构建半对称图的工具，并将其与一致圈轨道联系起来。

实验结果

研究问题

• RQ1 对于哪些参数值，图如 ${\rm AMC}(k,n,M)$、${\rm MSZ}(m,n;k,r)$ 和 ${\rm CPM}(n,s,t,r)$ 是边传递的或具有 LR 结构？
• RQ2 一般元循环图类应如何参数化，且在何种条件下是箭传递或 1/2-弧传递的？
• RQ3 当 $a^2 \equiv \pm 1 \pmod{n}$ 时，环面图何时同构于 ${\mathcal{C}}_n(1,a)$？
• RQ4 在什么条件下两个蜘蛛图同构，能否建立完整的同构定理？
• RQ5 为何某些图与元循环图（如 ${\rm PS}$、${\rm MPS}$）具有相同图示却不同构？此类例外是否可分类？

主要发现

• 普查包含了最多512个顶点的所有已知边传递四正则图，包括该范围内的所有箭传递图和 1/2-弧传递图。
• 根据 Biggs-Conway 定理，箭传递四正则图恰好具有三个一致圈轨道。
• 1/2-弧传递四正则图恰好具有两个一致圈轨道，这是 Biggs-Conway 理论后期推广的结果。
• 仅当半对称图未从列表中遗漏时，普查才对半对称图完备；任何遗漏的图必为半对称图。
• 若干参数化族（如 ${\rm AMC}(k,n,M)$ 和 ${\rm MSZ}(m,n;k,r)$）在边传递性方面仍未分类，表明存在开放问题。
• 某些图（如 ${\rm KE}_{12}(1,3,8,5,1)$）与元循环图具有相同图示但并非同构，揭示了罕见的例外情况。