[論文レビュー] Biclique Coverings and the Chromatic Number

Dhruv Mubayi, Sundar Vishwanathan|ArXiv.org|Mar 17, 2009

Mathematics and Applications参考文献 2被引用数 4

ひとこと要約

本稿は、彩色数 $k$ のグラフの辺を被覆または分割するのに必要なバイクリークの数および総次数に関する漸近的タイトな下界を確立する。任意のバイクリーク分割が少なくとも $2^{\scriptstyle\raisebox{0.25ex}{\raisebox{0.25ex}{\raisebox{0.25ex}{\raisebox{0.25ex}{\raisebox{0.25ex}{\frac{1}{2}}}}}}\sqrt{2\log k}}$ 個のバイクリークを必要とすることを証明し、それらの次数の総和が漸近的に $(1-o(1))k\log k$ 以上であることを示す。これはカトーナ＝ツェメレーディの定理の一般化を漸近的に確認し、アロン＝サクス＝セイヤーモア予想への進展をもたらす。

ABSTRACT

Consider a graph $G$ with chromatic number $k$ and a collection of complete bipartite graphs, or bicliques, that cover the edges of $G$. We prove the following two results: \medskip oindent $\bullet$ If the bicliques partition the edges of $G$, then their number is at least $2^{\sqrt{\log_2 k}}$. This is the first improvement of the easy lower bound of $\log_2 k$, while the Alon-Saks-Seymour conjecture states that this can be improved to $k-1$. \medskip oindent $\bullet$ The sum of the orders of the bicliques is at least $(1-o(1))k\log_2 k$. This generalizes, in asymptotic form, a result of Katona and Szemerédi who proved that the minimum is $k\log_2 k$ when $G$ is a clique.

研究の動機と目的

• 彩色数 $k$ のグラフの辺を分割するのに必要なバイクリークの数に対する超対数的下界を確立し、自明な $\log_2 k$ の下界を改善すること。
• クリークグラフに対して $k\log k$ の下界を与えるカトーナ＝ツェメレーディの定理を、彩色数 $k$ の任意のグラフへ一般化すること。
• 彩色数 $k$ のグラフを被覆するバイクリークの次数の総和が $k\log k$ 以上であるという予想を漸近的に確認すること。
• アロン＝サクス＝セイヤーモア予想への進展を図ること。この予想は、任意の $k$-彩色可能グラフの辺を $k-1$ 個のバイクリークで分割可能であるというものである。

提案手法

• 各頂点にバイクリークカットに基づく色列を割り当てる再帰的彩色手順が用いられる。色はバイクリークのインデックスのタプルとして定義される。
• 各段階で、現在の集合をカットするバイクリークに基づいて頂点が細分化され、片側でのカットバイクリーク数を最小化するバランス条件が満たされる。
• 異なる色列の数は再帰的数え上げの議論により上限が得られ、$m$ 個のバイクリークに対して色の数が $m^{(1+\log m)/2}$ のオーダーで増加することが示される。
• 独立集合に対してハンゼルの補題の変種が適用され、$b(G)$（バイクリーク次数の最小総和）に対する下界 $b(G) \geq n\log(n/\alpha)$ が得られる。
• 証明は、反復的に大きな独立集合を削除し、それにより得られる部分グラフを分析することで進行する。削除ステップ数に基づいて2つのケースに分ける閾値が用いられる。
• ケース解析が行われる：独立集合の削除回数が多い場合、独立集合比の増加に基づいて下界が得られる。そうでない場合、残りのグラフには大きなクリーク（サイズ $\geq k(1 - 2/\log k)$）が含まれるため、カトーナ＝ツェメレーディの定理を適用して $b(G)$ に対する強い下界が得られる。

実験結果

リサーチクエスチョン

• RQ1 彩色数 $k$ のグラフの辺集合を分割するのに必要なバイクリークの最小数は何か？
• RQ2 バイクリーク次数の総和に対して $k\log k$ の下界を与えるカトーナ＝ツェメレーディの境界は、すべての $k$-彩色可能グラフに一般化可能か？
• RQ3 アロン＝サクス＝セイヤーモア予想（任意の $k$-彩色可能グラフの辺を $k-1$ 個のバイクリークで分割可能）は成り立ち、どのような下界が証明可能か？
• RQ4 彩色数は、バイクリーク被覆の構造（バイクリークの数および総サイズ）に関してどのように関係するか？

主な発見

• 彩色数 $k$ のグラフの辺を分割するのに必要なバイクリークの数は、少なくとも $2^{\sqrt{2\log k}(1+o(1))}$ 個以上であり、自明な $\log_2 k$ の下界を改善する。
• 任意の $k$-彩色可能グラフのバイクリーク被覆における次数の総和は、$k\log k - k\log\log k - k\log\log\log k$ 以上である。これは一般化されたカトーナ＝ツェメレーディ予想の漸近的形を確認する。
• $m$ 個のバイクリークの disjoint な和の彩色数は、$m^{(1+\log m)/2}(1+o(1))$ 以下である。これは分割におけるバイクリーク数の下界を示唆する。
• 頂点数 $n \leq k\log k$ のグラフに対しては、独立集合の反復的削除と、その削除ステップ数に関するケース解析により、バイクリーク次数総和の下界が導かれる。
• 独立集合の削除回数が少ない場合、残りのグラフにはサイズ $\geq k(1 - 2/\log k)$ の大きなクリークが含まれるため、カトーナ＝ツェメレーディの定理を適用して $b(G)$ に対する強い下界が得られる。
• 本結果は、一般化されたカトーナ＝ツェメレーディ予想を漸近的に確認し、アロン＝サクス＝セイヤーモア予想に対する非自明な超対数的下界を初めて得る。