[論文レビュー] Edge Growth in Graph Cubes

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

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

ひとこと要約

本稿では、直径が3以上の任意の連結グラフ $G$ に対して、3乗グラフ $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}.

研究の動機と目的

• 直径 $\geq 3$ の連結正則グラフに対して、不等式 $e(G^3) \geq (1+c)e(G)$ の最良定数 $c$ を特定するというヘガリーが提起した問題を解決すること。
• 直径 $\geq 3$ の連結グラフに対して、$G^3$ の平均次数が $\delta(G)$ の関数としてタイトな下界を確立すること。
• 等号が成立する正則グラフの族を構成し、その下界のタイトさを証明すること。

提案手法

• 頂点集合を、$\deg_{G^3}(v) \geq 2\delta$ を満たす二重化頂点 $Z$ と、$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 平均次数に対する $\frac{7}{4}\delta(G)$ の下界はタイトか？ もしタイトであれば、その等号は達成可能か？

主な発見

• 直径 $\geq 3$ の任意の連結グラフ $G$ に対して、$G^3$ の平均次数は $\frac{7}{4}\delta(G)$ 以上である。これはヘガリーの問いに答えている。
• 構成された $4k$-正則グラフ $G_k$（$8k+3$ 頂点）の族により、$\frac{7}{4}\delta(G)$ の下界が最適であることが示された。
• 正則グラフの場合、$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$ の構成は5つの部分から成る：$K_{2k+1}$ を2つ、$K_{2k}$ から完全マッチングを除いた2つ、および1つの頂点で構成され、連続する部分間にすべての辺が存在する。