[论文解读] Edge Growth in Graph Cubes

Matt DeVos, Stéphan Thomassé|arXiv (Cornell University)|Sep 2, 2010

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

一句话总结

本文证明了对于任意直径至少为3的连通图 $G$，其三次幂 $G^3$ 的平均度至少为 $\frac{7}{4}\delta(G)$，建立了图立方体中边增长的紧致下界。证明通过将顶点划分为加倍与非加倍集合、邻域等价类，以及组合不等式，结合构造出的极值正则图族，证明该界为最优。

ABSTRACT

We show that for every connected graph $G$ of diameter $\ge 3$, the graph $G^3$ has average degree $\ge 7/4 δ(G)$. We also provide an example showing that this bound is best possible. This resolves a question of Hegarty \cite{PH}.

研究动机与目标

• 解决 Hegarty 提出的问题：在直径 $\geq 3$ 的连通正则图中，不等式 $e(G^3) \geq (1+c)e(G)$ 中最佳常数 $c$ 的取值。
• 为直径 $\geq 3$ 的连通图建立 $G^3$ 平均度关于 $\delta(G)$ 的紧致下界。
• 构造一族正则图，使其在该界中取等，从而证明其紧致性。

提出的方法

• 将顶点集划分为加倍顶点 $Z$（满足 $\deg_{G^3}(v) \geq 2\delta$ 的顶点）与非加倍顶点，后者位于 $G - Z$ 的连通分支中。
• 在 $G - Z$ 的连通分支上定义等价关系 $\sim$，依据非空邻域交集关系，将它们分组为集合 $Y_i$。
• 证明 $N(Y_i)$ 在 $G^2$ 中诱导出一个团，从而确保 $G^3$ 中的局部高连通性。
• 利用直径条件与邻域扩展，证明每个 $v \in Y_i$ 满足 $\deg_{G^3}(v) \geq \delta + y_i$，其中 $y_i = |Y_i|$。
• 利用柯西-施瓦茨不等式 $\sum y_i^2 \geq \frac{y^2}{\ell}$ 界定 $G^3$ 中总度数之和，并结合由邻域重叠约束导出的 $z \geq \delta\ell - y$。
• 推导出关键不等式 $\sum \deg_{G^3}(v) - \frac{7}{4}\delta v(G) \geq \left(\frac{\delta\sqrt{\ell}}{2} - \frac{y}{\sqrt{\ell}}\right)^2 \geq 0$，从而证明平均度界成立。

实验结果

研究问题

• RQ1 对于所有直径 $\geq 3$ 的连通正则图，不等式 $e(G^3) \geq (1+c)e(G)$ 中最佳常数 $c$ 的值是多少？
• RQ2 在直径 $\geq 3$ 的图中，是否能保证某些顶点类型满足 $\deg_{G^3}(v) \geq 2\delta$？
• RQ3 对 $G^3$ 平均度的 $\frac{7}{4}\delta(G)$ 界是否为紧致？若是，能否取等？

主要发现

• 对于任意直径 $\geq 3$ 的连通图 $G$，其 $G^3$ 的平均度至少为 $\frac{7}{4}\delta(G)$，解决了 Hegarty 提出的问题。
• 该界为最优，由构造出的 $4k$-正则图族 $G_k$（含 $8k+3$ 个顶点）所证实。
• 对正则图而言，这意味着 $e(G^3) \geq \frac{7}{8}\delta(G) v(G)$，因此在 $e(G^3) \geq (1+c)e(G)$ 中常数 $c = \frac{3}{4}$ 为最优。
• 极值族 $\{G_k\}$ 取等：$e(G_k^3) = 28k^2 + 16k + 2$ 且 $\frac{7}{8}\delta(G_k)v(G_k) = 28k^2 + 16k + 2$，确认了紧致性。
• 证明依赖于将图结构分解为加倍顶点与等价类分量，结合邻域扩展与柯西-施瓦茨不等式来界定总度数之和。
• 图 $G_k$ 的构造包含五部分：两个 $K_{2k+1}$，两个去掉完美匹配的 $K_{2k}$，以及一个孤立顶点，且所有相邻部分之间均存在边。