[論文レビュー] New approach to the $k$-independence number of a graph

Yair Caro, Adriana Hansberg|RECERCAT (Consorci de Serveis Universitaris de Catalunya)|Aug 23, 2012

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

ひとこと要約

本稿は、$n$ 頂点および平均次数 $d$ を持つグラフ $G$ の $k$-独立数 $α_k(G)$ に対する新しい下界を導入し、$α_k(G) \geq \frac{k+1}{\lceil d\rceil + k + 1}n$ を証明する。この手法は古典的な Caro-Tuza の境界を改善し、漸近的乗法的ギャップを解消し、極値グラフ理論における長年の予想を解決する。

ABSTRACT

Let $G = (V,E)$ be a graph and $k \ge 0$ an integer. A $k$-independent set $S \subseteq V$ is a set of vertices such that the maximum degree in the graph induced by $S$ is at most $k$. With $α_k(G)$ we denote the maximum cardinality of a $k$-independent set of $G$. We prove that, for a graph $G$ on $n$ vertices and average degree $d$, $α_k(G) \ge \frac{k+1}{\lceil d ceil + k + 1} n$, improving the hitherto best general lower bound due to Caro and Tuza [Improved lower bounds on k-independence, J. Graph Theory 15 (1991), 99-107].

研究の動機と目的

• 平均次数 $d$ を持つグラフにおける $\alpha_k(G)$ の既知の下界と理論的最適値との間の漸近的乗法的ギャップを解消するという長年の未解決問題に取り組む。
• 従来の $\alpha_k(G) \geq \frac{k+2}{2(d+1)}n$ を与える古典的 Caro-Tuza の境界を改善し、より鋭い下界を達成する。
• 最良の下界が漸近的に $\frac{k+1}{d+1}n$ であるというフォルクロアの予想を、$\alpha_k(G) \geq \frac{k+1}{\lceil d\rceil + k + 1}n$ を証明することで解決する。
• $f(k,d) = \inf \left\{ \frac{\alpha_k(G)}{n(G)} : d(G) \leq d \right\}$ の極値比を特定し、この関数の下界および上界を導出する。

提案手法

• 頂点の次数 $x$ が $k$-独立集合のサイズに与える寄与を捉える関数 $f_k(x)$ を定義し、区分的凸かつ単調減少な性質を持つようにする。
• 現在の誘導部分グラフにおける最大次数の頂点を反復的に削除するグリーディーな頂点削除プロセスを用い、削除回数と残存構造を制御する。
• Lovász の局所定理に類似した議論を適用し、削除後の残存集合が $k$-独立集合であることを示し、関数 $f_k$ を用いて残存集合のサイズを評価する。
• 不等式 $\alpha_k(G) \geq \sum_{v \in V} f_k(\deg(v))$ を確立し、平均次数 $d$ に関して最適化することで、$\alpha_k(G) \geq \frac{k+1}{\lceil d\rceil + k + 1}n$ という新しい下界を導出する。
• 極値グラフ（例：$K_{d+1}$ クリークの結合、高径路の $r$-正則グラフ）を構築し、新しい不等式のタイトネスをテストおよび評価する。
• 最大次数 $\Delta$ の影響を調べる関数 $f(k,d,\Delta)$ を導入・分析し、$f(k,d)$ に対するより精密な境界を可能にする。

実験結果

リサーチクエスチョン

• RQ1 既知の下界と $\alpha_k(G)$ の理論的最適値との間の漸近的乗法的ギャップを解消できるか？
• RQ2 すべての $k$ および $d$ に対して、$\alpha_k(G) \geq \frac{k+1}{\lceil d\rceil + k + 1}n$ はタイトであり、フォルクロアの予想を解消するか？
• RQ3 $f(k,d) = \inf \left\{ \frac{\alpha_k(G)}{n(G)} : d(G) \leq d \right\}$ の正確な値は何か？また、小規模な $k$ および $d$ に対してその挙動はいかなるものか？
• RQ4 高径路正則グラフやクリーク結合グラフなどの極値構成において、$f(k,d)$ の上界は新しい下界とどのように比較されるか？
• RQ5 最大次数制約を組み込んだ関数 $f(k,d,\Delta)$ は、制約なしのバージョンよりも $f(k,d)$ の境界をより鋭く得られるか？

主な発見

• 本稿は、$\alpha_k(G) \geq \frac{k+1}{\lceil d(G)\rceil + k + 1}n$ という新しい下界を確立し、以前の境界に存在した $2\frac{k+1}{k+2}$ の漸近的乗法的ギャップを解消する。
• $k=1$ の場合、$f(1,d) = \frac{2}{d+2}$ が正確に計算され、この場合における境界のタイトネスが示される。
• 境界 $\alpha_k(G) \geq \frac{k+1}{\lceil d\rceil + k + 1}n$ は、平均次数の上限を取ることで理論的限界 $\frac{k+1}{d+1}n$ に一致するという意味で鋭いことが示される。
• $G = (K_{d+1} - E(K_{k+1})) \cup kK_{1,k+1}$ などの極値構成により、$f(k,2) \leq \frac{(k+1)^2}{k^2 + 3k + 3}$ が得られ、小規模な $d$ に対してタイトな上界が提供される。
• $k \geq 2$ の場合、高径路 $r$-正則グラフを用いて $f(k,d) \leq \frac{k+2}{d + c(d/2)^{1/(k+2)} + 1}$ が導出され、$d$ に対して多項式的でない減衰が示される。
• 本稿は、$\alpha_k(G) \geq \frac{k+1}{d+1}n$ が漸近的に最適であるというフォルクロアの予想が、平均次数の上限を取ることで証明されることを確認する。