[论文解读] Chordality and hyperbolicity of a graph

Yaokun Wu, Chengpeng Zhang|arXiv (Cornell University)|Oct 19, 2009

Advanced Graph Theory Research参考文献 1被引用 35

一句话总结

该论文建立了图中弦性与双曲性之间的紧密关系，证明了当 $k \geq 4$ 时，$k$-弦图是 $\frac{\lfloor k/2 \rfloor}{2}$-双曲的，且该界是紧的。此外，通过识别六种禁止的等距子图，进一步刻画了双曲性为 $\frac{1}{2}$ 的 5-弦图。

ABSTRACT

Let $G$ be a connected graph with the usual shortest-path metric $d$. The graph $G$ is $δ$-hyperbolic provided for any vertices $x,y,u,v$ in it, the two larger of the three sums $d(u,v)+d(x,y),d(u,x)+d(v,y)$ and $d(u,y)+d(v,x)$ differ by at most $2δ.$ The graph $G$ is $k$-chordal provided it has no induced cycle of length greater than $k.$ Brinkmann, Koolen and Moulton find that every 3-chordal graph is 1-hyperbolic and is not 1/2-hyperbolic if and only if it contains one of two special graphs as an isometric subgraph. For every $k\geq 4,$ we show that a $k$-chordal graph must be $\frac{\lfloor \frac{k}{2} floor}{2}$-hyperbolic and there does exist a $k$-chordal graph which is not $\frac{\lfloor \frac{k-2}{2} floor}{2}$-hyperbolic. Moreover, we prove that a 5-chordal graph is 1/2-hyperbolic if and only if it does not contain any of a list of six special graphs (See Fig. 3) as an isometric subgraph.

研究动机与目标

• 澄清图中两种树状度量：弦性与双曲性之间的关系。
• 确定当 $k \geq 4$ 时，$k$-弦图的最佳可能双曲性常数。
• 通过识别一组完整的不可避免的等距子图，刻画双曲性为 $\frac{1}{2}$ 的 5-弦图。
• 提供对低双曲性图的结构理解，从而为图‘非常像树’的成因提供更广泛的见解。

提出的方法

• 将 $k$-弦图定义为不包含长度大于 $k$ 的诱导圈的图，将 $\delta$-双曲图通过 Gromov 四点条件定义。
• 利用极值局部构型（假设 I 和 II）分析无弦圈与测地线路径之间的相互作用。
• 应用关于测地线路径与顶点距离的关键引理，特别是引理 55 和推论 62，以排除禁止的子结构。
• 通过反证法构造完整证明，说明在双曲性为 $\frac{1}{2}$ 的 5-弦图中，某些无弦圈不可能存在。
• 识别并验证六种特定图（$H_3$ 及其他五个）在 $\frac{1}{2}$-双曲 5-弦图中不存在等距子图。
• 使用距离方程与路径分解，当假设这些子图存在时推导出矛盾。

实验结果

研究问题

• RQ1 当 $k \geq 4$ 时，$k$-弦图的最佳可能双曲性常数是什么？
• RQ2 对于 5-弦图，哪些等距子图必须不存在，图才能是 $\frac{1}{2}$-双曲的？
• RQ3 能否将 $k$-弦图的双曲性严格限制在 $\frac{\lfloor k/2 \rfloor}{2}$ 以下？
• RQ4 在 5-弦图中，长度为 3 和 5 的无弦圈如何与测地线路径相互作用，从而约束双曲性？
• RQ5 在弦性背景下，哪些结构特性刻画了低双曲性的图？

主要发现

• 对每个 $k \geq 4$，$k$-弦图是 $\frac{\lfloor k/2 \rfloor}{2}$-双曲的，且该界是紧的。
• 存在一个 $k$-弦图，其不是 $\frac{\lfloor (k-2)/2 \rfloor}{2}$-双曲的，从而证实了该界的紧致性。
• 一个 5-弦图是 $\frac{1}{2}$-双曲的，当且仅当它不包含六个特定图中的任意一个作为等距子图。
• 这六个禁止的等距子图包括 $H_3$，其特征为特定的顶点与边配置，满足距离关系 $a_i y = 3$ 且 $d_j y = 2$。
• 证明依赖于分析由测地线路径形成的诱导子图中长度为 3 和 5 的无弦圈，当假设存在禁止子图时，会导出矛盾。
• 分析表明，当存在满足特定距离约束的无弦 5-圈时，将违反 $\frac{1}{2}$-双曲性条件，因此可排除此类构型。