[论文解读] Matchings in $k$-partite $k$-uniform Hypergraphs

Jie Han, Chuanyun Zang+1 more|arXiv (Cornell University)|Nov 1, 2016

Limits and Structures in Graph Theory参考文献 25被引用 4

一句话总结

本文建立了 $k$-部 $k$-均匀超图中寻找大匹配的紧致最小代码度条件。通过将吸收法扩展至处理两种极值情形，证明了若至少有两个部分代码度关于 $n$ 为线性，则该超图包含大小为 $\min\{n-1, \sum a_i\}$ 的匹配，从而解决了 Rödl 和 Ruciński 的一个猜想，并推广了关于 $k$-部超图中近乎完美匹配的先前结果。

ABSTRACT

For $k\ge 3$ and $ε>0$, let $H$ be a $k$-partite $k$-graph with parts $V_1,\dots, V_k$ each of size $n$, where $n$ is sufficiently large. Assume that for each $i\in [k]$, every $(k-1)$-set in $\prod_{j\in [k]\setminus \{i\}} V_i$ lies in at least $a_i$ edges, and $a_1\ge a_2\ge \cdots \ge a_k$. We show that if $a_1, a_2\ge εn$, then $H$ contains a matching of size $\min\{n-1, \sum_{i\in [k]}a_i\}$. In particular, $H$ contains a matching of size $n-1$ if each crossing $(k-1)$-set lies in at least $\lceil n/k ceil$ edges, or each crossing $(k-1)$-set lies in at least $\lfloor n/k floor$ edges and $n\equiv 1\bmod k$. This special case answers a question of Rödl and Ruciński and was independently obtained by Lu, Wang, and Yu. The proof of Lu, Wang, and Yu closely follows the approach of Han [Combin. Probab. Comput. 24 (2015), 723--732] by using the absorbing method and considering an extremal case. In contrast, our result is more general and its proof is thus more involved: it uses a more complex absorbing method and deals with two extremal cases.

研究动机与目标

• 确定 $k \geq 3$ 时，$k$-部 $k$-均匀超图中保证大匹配存在的最小代码度阈值。
• 解决 Rödl 和 Ruciński 关于当部分最小代码度至少为 $\lfloor n/k\rfloor$ 且 $n \equiv 1 \pmod{k}$ 时存在大小为 $n-1$ 的匹配的猜想。
• 通过引入和条件及两个非小代码度的假设，推广现有关于近乎完美匹配的结果。
• 开发一种改进的吸收法，能够处理 $k$-部超图中的多种极值构型。

提出的方法

• 使用吸收法构造近乎完美匹配，通过近乎完全的子超图吸收剩余顶点。
• 采用两阶段构造：首先利用代码度条件构建大匹配，然后通过额外匹配平衡未匹配集合。
• 对小匹配使用贪心算法，并在代码度不平衡时利用极值结构。
• 实施大小平衡程序，使各部分中未匹配顶点集大小相等，确保最终匹配近乎完美。
• 使用概率和极值论证控制坏边数量，并确保残余图中存在所需匹配。
• 验证在移除初始匹配后，残余超图满足定理 5.1 的条件，从而保证存在完美或近乎完美匹配。

实验结果

研究问题

• RQ1 在部分大小为 $n$ 的 $k$-部 $k$-均匀超图中，保证存在大小为 $n-1$ 的匹配的最小部分代码度条件是什么？
• RQ2 当 $n \equiv 1 \pmod{k}$ 时，$n-1$ 匹配的阈值能否从 $\lceil n/k \rceil$ 降低至 $\lfloor n/k \rfloor$？
• RQ3 在部分代码度 $a_1, \dots, a_k$ 满足何种条件下，$k$-部 $k$-均匀超图包含大小为 $\min\{n-1, \sum a_i\}$ 的匹配？
• RQ4 当一个代码度较大而其余较小，吸收法是否足以处理所有极值构型？

主要发现

• 对任意 $k \geq 3$ 和 $\epsilon > 0$，存在 $n_0$，使得若 $H$ 是部分大小为 $n \geq n_0$ 的 $k$-部 $k$-均匀超图，且 $a_i = \delta'_{k-1}(H)$，满足 $a_1 \geq \cdots \geq a_k$ 且 $a_2 > \epsilon n$，则 $H$ 包含大小为 $\min\{n-1, \sum_{i=1}^k a_i\}$ 的匹配。
• 该结果证实了 Rödl 和 Ruciński 的猜想：若 $n \equiv 1 \pmod{k}$ 且 $\delta'_{k-1}(H) \geq \lfloor n/k \rfloor$，则 $H$ 包含大小为 $n-1$ 的匹配。
• 当 $\delta'_{k-1}(H) \geq \lceil n/k \rceil$ 时，存在大小为 $n-1$ 的匹配，这达到了最优阈值。
• 证明将吸收法扩展至处理两种不同的极值情形，使其比以往方法更具鲁棒性。
• 当 $a_1$ 接近 $n$ 而 $a_2, \dots, a_k$ 较小时，该方法失效，此情形仍为开放问题。
• 结果是紧致的：通过极值构造表明，阈值条件无法进一步弱化。