[论文解读] A Cauchy-Davenport type result for arbitrary regular graphs

Peter Hegarty|ArXiv.org|Oct 12, 2009

Limits and Structures in Graph Theory被引用 4

一句话总结

本文为任意正则连通图建立了类柯西-戴维森不等式：存在一个绝对常数 $\epsilon > 0$（约为 0.087），使得对任意 $n$ 个顶点的正则连通图，要么所有顶点对之间都通过长度至多为三的路径相连，要么三重和图中的边数相比原图边数的倍数至少为 $1 + \epsilon$。该结果将经典柯西-戴维森定理由阿贝尔群推广到图论设定，借助正则性与连通性约束。

ABSTRACT

Motivated by the Cauchy-Davenport theorem for sumsets, and its interpretation in terms of Cayley graphs, we prove the following main result : There is a universal constant e > 0 such that, if G is a connected, regular graph on n vertices, then either every pair of vertices can be connected by a path of length at most 3, or the number of pairs of such vertices is at least 1+e times the number of edges in G. We discuss a range of further questions to which this result gives rise.

研究动机与目标

• 将柯西-戴维森定理由阿贝尔群和集推广到正则连通图的设定。
• 研究在凯莱图（正则图的特殊类）中观察到的和集线性增长是否可推广至任意正则图。
• 确定正则图中 $h$ 重和图的边数是否可被 $h$ 的线性函数从下方有界控制，特别是当 $h=3$ 时。
• 探索和图增长缓慢的正则图的结构约束，从而引出反向型问题。

提出的方法

• 将 $h$ 重和图 $h\mathscr{G}$ 定义为在相同顶点集上构成的图，若两点在 $\mathscr{G}$ 中通过长度至多为 $h$ 的路径相连，则在 $h\mathscr{G}$ 中存在一条边。
• 使用极值图论方法分析正则连通图中 $|3\mathscr{E}|$ 相对于 $|\mathscr{E}|$ 的增长。
• 对特定邻域中顶点间长度为三的路径进行双重计数，以推导 $3\mathscr{G}$ 中新增边数的下界（这些边在 $\mathscr{G}$ 中不存在）。
• 通过反证法假设增长缓慢（即 $|3\mathscr{E}| < (1+\epsilon)|\mathscr{E}|$），推导出违反正则性或连通性的结构约束。
• 利用直径界 $\text{diam}(\mathscr{G}) \leq \frac{3n - (d+3)}{d+1}$ 分析极值情形，并构造达到紧致边界的例子。
• 求解方程 $\epsilon = \frac{1}{4}(1 - \sqrt{\epsilon})^3$ 以确定最优绝对常数 $\epsilon \approx 0.087$。

实验结果

研究问题

• RQ1 在任意正则连通图中，是否成立类柯西-戴维森的边数增长下界，类似于阿贝尔群中的经典结果？
• RQ2 在正则图中，$h$ 重和图的增长是否可被 $h$ 的线性函数统一从下方有界控制（$h \geq 3$），且与 $n$ 无关？
• RQ3 是否存在一个绝对 $\epsilon > 0$，使得对所有正则连通图都有 $|3\mathscr{E}| \geq (1 + \epsilon)|\mathscr{E}|$，除非图的直径至多为 3？
• RQ4 哪些结构特征刻画了和图增长为次线性的正则图，从而引出反向型问题？
• RQ5 能否通过极值路径计数方法改进以最小度表示图直径的界？

主要发现

• 存在一个绝对常数 $\epsilon > 0$，使得对任意 $n$ 个顶点的连通正则图 $\mathscr{G}$，要么 $\mathscr{G}$ 的直径至多为 3，要么 $|3\mathscr{E}| \geq (1 + \epsilon)|\mathscr{E}|$。
• 最优 $\epsilon$ 值是方程 $\epsilon = \frac{1}{4}(1 - \sqrt{\epsilon})^3$ 的唯一正根，其值约为 $\epsilon \approx 0.087$。
• 该结果是紧致的，因为当 $h=2$ 时不存在这样的 $\epsilon > 0$，如通过显式反例所示，此时 $|2\mathscr{E}|$ 可无限接近于 $|\mathscr{E}|$。
• 任意最小度为 $d$ 的连通图的直径至多为 $\frac{3n - (d+3)}{d+1}$，该界对某些构造是渐近紧致的。
• 显式构造了 $d$-正则图，其直径达到 $\delta = \left\lfloor \frac{3n - (d+3)}{d+1} \right\rfloor$，证明了直径估计的紧致性。
• 证明依赖于对邻域中顶点间长度为三的路径进行双重计数，表明在正则性和连通性假设下，$3\mathscr{G}$ 的增长缓慢将导致矛盾。