[论文解读] Approximate Multipartite Version of the Hajnal--Szemerédi Theorem

Béla Csaba|ArXiv.org|Jul 28, 2008

Limits and Structures in Graph Theory参考文献 10被引用 6

一句话总结

该论文为平衡的 $ q $-部图建立了 Hajnal–Szemerédi 定理的近似多部版本，证明了当每个顶点在其他部分中的最小度至少为 $ \frac{k_q}{k_q+1}n $ 时（其中 $ k_q = q - \frac{3}{2} + \frac{h_q}{2} $，$ h_q $ 为第 $ q $ 个调和数），若 $ n $ 足够大，则图中包含一个 $ K_q $-因子。证明依赖于正规性引理和爆炸引理，通过超正则性与顶点重分配实现团因子的嵌入。

ABSTRACT

Let $q$ be a positve integer, and $G$ be a $q$-partite simple graph on $qn$ vertices, with $n$ vertices in each vertex class. Let $δ={k_q \over k_q+1}$, where $k_q=q+O(\log{q})$. If each vertex of $G$ is adjacent to at least $δn$ vertices in each of the other vertex classes, $q$ is bounded and $n$ is large enough, then $G$ has a $K_q$-factor.

研究动机与目标

• 建立平衡 $ q $-部图中存在 $ K_q $-因子的充分最小度条件。
• 将原始 Hajnal–Szemerédi 定理的极值度条件放宽为多部设定下的近似版本。
• 当 $ \chi(H) \leq q $ 时，通过具有相等大小颜色类的 $ q $-可图子图，将结果推广至 $ H $-因子。
• 通过爆炸引理与基于正规性的分解，提供一种构造性嵌入框架。

提出的方法

• 应用 Szemerédi 的正规性引理将顶点集划分为簇，包括一个较小的例外集合 $ W_0 $。
• 在簇图中确保超正则性后，使用爆炸引理嵌入团因子。
• 定义 $ k_q = q - \frac{3}{2} + \frac{h_q}{2} $，其中 $ h_q $ 为第 $ q $ 个调和数，以确定阈值密度 $ \frac{k_q}{k_q+1} $。
• 在簇之间建立 $ \varepsilon $-正规对，并应用平衡算法在嵌入后使簇大小相等。
• 仅当顶点与某簇的团相邻时，才将 $ W_0 $ 中的顶点重新分配至簇中，以确保超正则性得以保持。
• 在簇之间使用长度至多为二的有向路径，以促进顶点转移并维持超正则对条件。

实验结果

研究问题

• RQ1 在平衡 $ q $-部图中，确保存在 $ K_q $-因子的最小比例度条件是什么？
• RQ2 Hajnal–Szemerédi 定理能否在多部设定下以有界加法误差形式扩展？
• RQ3 如何结合爆炸引理与正规性引理，在稠密多部图中嵌入团因子？
• RQ4 调和数在确定 $ K_q $-因子阈值密度中的作用是什么？
• RQ5 当 $ \chi(H) \leq q $ 且颜色类大小均衡时，$ H $-因子在何种条件下可被嵌入？

主要发现

• 当 $ n $ 足够大时，若平衡 $ q $-部图满足 $ \widetilde{\delta}(G) \geq \frac{k_q}{k_q+1} $，则其包含一个 $ K_q $-因子，其中 $ k_q = q - \frac{3}{2} + \frac{h_q}{2} $。
• 阈值密度 $ \frac{k_q}{k_q+1} $ 渐近趋近于 $ 1 - \frac{1}{2q} $，优于经典界 $ \frac{q-1}{q} $。
• 该证明通过超正则性与顶点重分配构造了 $ K_q $-因子，确保团因子中的所有边均代表 $ (\widehat{\varepsilon}, \widehat{d}) $-超正则对。
• 例外集合 $ W_0 $ 被重新分配至各簇，使得任一簇接收的顶点不超过 $ \frac{|W_0|}{c_q \widehat{\ell}} $ 个，从而保持超正则性。
• 该方法保证 $ W_0 $ 中每个顶点均与至少 $ c_q \widehat{\ell} $ 个团相邻，从而实现均衡分配。
• 推论 4 表明，若 $ H $ 为固定图且 $ \chi(H) \leq q $，且 $ \kappa $ 整除 $ n $，则 $ G $ 可通过 $ K_q $-因子嵌入实现 $ H $-因子。