[论文解读] Biclique Coverings and the Chromatic Number

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

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

一句话总结

本文建立了在色数为 $k$ 的图上覆盖或划分边集所需双团（bicliques）的数量和总阶数的渐近紧下界。证明了任何双团划分至少需要 $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$，从而渐近地确认了 Katona-Szemerédi 定理的推广，并在 Alon-Saks-Seymour 猜想上取得进展。

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$ 下界。
• 将 Katona-Szemerédi 定理推广，该定理对团图给出 $k\log k$ 的阶数下界，推广至任意色数为 $k$ 的图。
• 对一个猜想提供渐近确认：覆盖色数为 $k$ 的图的双团阶数之和至少为 $k\log k$。
• 在 Alon-Saks-Seymour 猜想上取得进展，该猜想认为 $k-1$ 个双团足以划分任意 $k$-色图的边集。

提出的方法

• 使用递归着色过程，根据双团切割为每个顶点分配颜色序列，其中颜色为双团索引的元组。
• 在每一步中，根据哪些双团切割当前顶点集合对顶点进行细化，通过平衡条件确保在某一侧切割双团的数量最小化。
• 通过递归计数论证界定向不同颜色序列的数量，表明当有 $m$ 个双团时，颜色数量的增长为 $m^{(1+\log m)/2}$。
• 应用 Hansel 引理的一种变体于独立集，通过 $b(G) \geq n\log(n/\alpha)$ 得到 $b(G)$，即双团阶数之和的最小值的下界。
• 证明通过迭代移除较大的独立集并分析所得子图进行，使用阈值将情况分为两类，依据移除步骤的数量。
• 进行情形分析：若移除了大量独立集，则根据独立集密度的增长推导出下界；否则剩余图中存在大小至少为 $k(1 - 2/\log k)$ 的大团，从而可应用 Katona-Szemerédi 定理，导出 $b(G)$ 的强下界。

实验结果

研究问题

• RQ1 将色数为 $k$ 的图的边集进行划分，至少需要多少个双团？
• RQ2 Katona-Szemerédi 给出的 $k\log k$ 阶数下界是否可推广至所有色数为 $k$ 的图？
• RQ3 Alon-Saks-Seymour 猜想——即 $k-1$ 个双团足以划分任意 $k$-色图的边集——是否成立？可证明哪些下界？
• 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$，从而确认了推广版 Katona-Szemerédi 猜想的渐近形式。
• $m$ 个双团的不相交并集的色数至多为 $m^{(1+\log m)/2}(1+o(1))$，这蕴含了划分中双团数量的下界。
• 对于顶点数 $n \leq k\log k$ 的图，通过迭代移除独立集并分析此类步骤的数量，推导出双团阶数之和的下界。
• 当独立集移除次数较小时，剩余图中包含大小至少为 $k(1 - 2/\log k)$ 的大团，从而可应用 Katona-Szemerédi 定理，导出 $b(G)$ 的强下界。
• 结果渐近地确认了推广版 Katona-Szemerédi 猜想，并为 Alon-Saks-Seymour 猜想提供了首个非平凡的超对数下界。