[論文レビュー] Chordality and hyperbolicity of a graph

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

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

ひとこと要約

本稿は、グラフにおける弦的性（chordality）と双曲的性（hyperbolicity）の間のきつい関係を確立し、$k \geq 4$ の場合、$k$-弦的グラフは $\frac{\lfloor k/2 \rfloor}{2}$-双曲的であることを証明している。また、この上限は鋭い（sharp）ものである。さらに、双曲的性 $\frac{1}{2}$ の5-弦的グラフを、6つの禁止される等長部分グラフの完全なリストを特定することで特徴づけている。

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.

研究の動機と目的

• グラフにおける2つの木に近い性質の測度、すなわち弦的性と双曲的性の関係を明確化すること。
• $k \geq 4$ の場合に、$k$-弦的グラフにおける最良の可能な双曲的定数を特定すること。
• 双曲的性 $\frac{1}{2}$ の5-弦的グラフを、完全な一意の等長部分グラフの集合を同定することで特徴づけること。
• 低双曲的性を示すグラフの構造的理解を提供し、一般に「非常に木に近い」グラフとは何かという根本的な問いに貢献すること。

提案手法

• $k$-弦的グラフを、長さが $k$ を超える部分サイクルを含まないグラフとして定義し、Gromovの4点条件を用いて $\delta$-双曲的グラフを定義する。
• 局所的な極値構成（仮定Iおよび仮定II）を用いて、非弦的サイクルと測地線路の相互作用を分析する。
• 特に、補題55および推論62を応用して、禁止される構造を除外する。
• 特定の非弦的サイクルが5-弦的で双曲的性 $\frac{1}{2}$ のグラフに存在しないことを背理法を用いて完全に証明する。
• 双曲的性 $\frac{1}{2}$ の5-弦的グラフにおいて、6つの特定のグラフ（$H_3$ と他の5つ）が等長部分グラフとして存在しないことを同定し、検証する。
• 距離方程式と経路分解を用いて、これらの部分グラフの存在を仮定した場合の矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 $k \geq 4$ の場合に、$k$-弦的グラフにおける最良の可能な双曲的定数は何か？
• RQ2 5-弦的グラフにおいて、双曲的性 $\frac{1}{2}$ を満たすために、どの等長部分グラフが存在してはならないか？
• RQ3 $k$-弦的グラフの双曲的性が、値 $\frac{\lfloor k/2 \rfloor}{2}$ より厳密に小さい範囲に抑えられるか？
• RQ4 長さ3および5の非弦的サイクルは、5-弦的グラフにおける測地線路とどのように相互作用し、双曲的性を制約するか？
• RQ5 弦的性の文脈において、低双曲的性を示すグラフの構造的性質は何か？

主な発見

• すべての $k \geq 4$ に対して、$k$-弦的グラフは $\frac{\lfloor k/2 \rfloor}{2}$-双曲的であり、この上限は鋭い。
• $\frac{\lfloor (k-2)/2 \rfloor}{2}$-双曲的でない $k$-弦的グラフが存在することから、この上限の鋭さが確認された。
• 5-弦的グラフは、6つの特定のグラフが等長部分グラフとして含まない場合に限り、$\frac{1}{2}$-双曲的である。
• 禁止される6つの等長部分グラフには $H_3$ が含まれており、これは $a_i y = 3$ および $d_j y = 2$ を満たす特定の頂点・辺の配置によって特徴づけられる。
• 証明は、測地線路によって形成される誘導部分グラフにおける長さ3および5の非弦的サイクルの分析に依拠し、禁止される部分グラフが存在すると仮定した場合に矛盾が生じる。
• 特定の距離制約を満たす非弦的5サイクルの存在は、$\frac{1}{2}$-双曲的性条件に違反することを示しており、このような構成が除外されることを裏付けている。