[论文解读] The Degree-Diameter Problem for Circulant Graphs of Degree 8 and 9

Robert R. Lewis|arXiv (Cornell University)|Apr 11, 2014

Fiber-reinforced polymer composites被引用 6

一句话总结

本文为度数 8 和 9 构造了新的极值循环图族，其定义为直径的函数，改进了先前的下界。证明了度数 8 构造在所有直径下均存在，并推测这两个族在超过某一阈值的所有直径下均为极值，扩展了此前对度数 6 和 7 的结果。

ABSTRACT

This paper considers the degree-diameter problem for undirected circulant graphs. The focus is on extremal graphs of given (small) degree and arbitrary diameter. The published literature only covers graphs of up to degree 7. The approach used to establish the results for degree 6 and 7 has been extended successfully to degree 8 and 9. Candidate graphs are defined as functions of the diameter for both degree 8 and degree 9. They are proven to be extremal for small diameters. They establish new lower bounds for all greater diameters, and are conjectured to be extremal. The existence of the degree 8 solution is proved for all diameters. Finally some conjectures are made about solutions for circulant graphs of higher degree.

研究动机与目标

• 将极值循环图的构造扩展至度数 7 以上，此前仅知 Chen 和 Jia 的下界以及 Dougherty 和 Faber 对度数 6 和 7 的解法。
• 定义度数为 8 和 9 的循环图族，作为直径的函数，改进现有下界。
• 使用类似于 Dougherty 和 Faber 对度数 6 的证明方法，证明度数 8 构造在所有直径下均存在。
• 基于对小直径的计算机验证，推测新族在超过某一阈值的所有直径下仍为极值。
• 识别从度数 2 到 9 的极值循环图的阶公式中首项系数的潜在规律，为更高度数的构造提供指导。

提出的方法

• 本文将循环图定义为循环群上的凯莱图，使用生成元集合 G 确定连接集 C，以确保图的无向性和正则性。
• 对于度数 8 和 9，作者构造了以直径 k 为参数的图族，其生成元集合设计用于最大化顶点数。
• 度数 8 图的存在性证明基于四维空间中的几何论证，分析相对于基向量的卦限中的整数点，对偶数和奇数直径分别讨论。
• 通过将向量在由超平面界定的区域间变换，处理例外情况，确保所有在直径约束内的点均可达。
• 使用计算机搜索验证超过阈值的小直径下的极值性，支持其全局极值性的推测。
• 将极值图阶公式中的首项系数与 Chen 和 Jia 的下界进行比较，识别偶数和奇数度数的规律。

实验结果

研究问题

• RQ1 能否构造出度数为 8 和 9 的极值循环图族，使其作为直径的函数，对所有直径均超过 Chen 和 Jia 的下界？
• RQ2 度数 8 的极值图族是否存在性是否可对所有直径证明成立，从而扩展 Dougherty 和 Faber 对度数 6 使用的方法？
• RQ3 基于小直径的实证与理论证据，新构造的度数 8 和 9 循环图族是否在超过某一阈值的所有直径下仍为极值？
• RQ4 从度数 2 到 9 的极值循环图阶公式中，首项系数是否存在一致的规律，特别是对偶数和奇数度数？
• RQ5 观察到的阶公式中系数模式能否推广，以预测度数 10 及以上时的极值图阶？

主要发现

• 本文构造了度数为 8 和 9 的新循环图族，其在所有直径下均优于 Chen 和 Jia 的下界。
• 通过四维空间中的详细几何论证，证明了度数 8 图族在所有直径下均存在，完整证明见 arXiv。
• 对于超过阈值的小直径，通过计算机搜索证明了新构造的度数 8 和 9 图为极值，支持其全局极值性的推测。
• 度数 8 图阶公式的首项系数为 1/2，与 Chen 和 Jia 对偶数度数的下界中的系数一致。
• 对于度数 9，阶公式中的首项为 k⁴，系数为 1，第二项为零，与奇数度数中观察到的规律一致。
• 本文推测，对于偶数度数 d，极值图阶的首项为 (1/2)(4/f)^f k^f，其中 f = d/2；对于奇数度数 d，首项为 (4/f)^f k^f，其中 f = (d-1)/2，该推测基于度数 2 至 9 中观察到的规律。