[论文解读] On the rainbow matching conjecture for 3-uniform hypergraphs

Jun Gao, Hongliang Lu+2 more|arXiv (Cornell University)|Nov 29, 2020

Limits and Structures in Graph Theory参考文献 11被引用 5

一句话总结

该论文证明了3-均匀超图的彩虹匹配猜想，确立了当 $ n $ 足够大时，任意一族在 $ n $ 个顶点上的 $ m $ 个3-均匀超图，若每个超图的大小超过极值阈值 $ f(n,m,3) $，则存在一个彩虹匹配。证明结合了吸收法、随机化技术以及针对小匹配数的3-图的新稳定性结果。

ABSTRACT

Aharoni and Howard, and, independently, Huang, Loh, and Sudakov proposed the following rainbow version of Erdős matching conjecture: For positive integers $n,k,m$ with $n\ge km$, if each of the families $F_1,\ldots, F_m\subseteq {[n]\choose k}$ has size more than $\max\{\binom{n}{k} - \binom{n-m+1}{k}, \binom{km-1}{k}\}$, then there exist pairwise disjoint subsets $e_1,\dots, e_m$ such that $e_i\in F_i$ for all $i\in [m]$. We prove that there exists an absolute constant $n_0$ such that this rainbow version holds for $k=3$ and $n\geq n_0$. We convert this rainbow matching problem to a matching problem on a special hypergraph $H$. We then combine several existing techniques on matchings in uniform hypergraphs: find an absorbing matching $M$ in $H$; use a randomization process of Alon et al. to find an almost regular subgraph of $H-V(M)$; and find an almost perfect matching in $H-V(M)$. To complete the process, we also need to prove a new result on matchings in 3-uniform hypergraphs, which can be viewed as a stability version of a result of Łuczak and Mieczkowska and might be of independent interest.

研究动机与目标

• 解决当 $ n $ 足够大时3-均匀超图的彩虹匹配猜想。
• 在每个超图的大小超过极值阈值 $ f(n,m,3) $ 的前提下，证明在 $ n $ 个顶点上 $ m $ 个3-均匀超图族中存在一个彩虹匹配。
• 建立并应用针对小匹配数的3-均匀超图的新稳定性结果，该结果可能具有独立兴趣。
• 将现有极值超图技术（如吸收法和随机化）扩展至彩虹匹配设定。

提出的方法

• 构造一个特殊的3-均匀超图 $ H $，以编码彩虹匹配问题，将其转化为标准匹配问题。
• 应用吸收法在 $ H $ 中找到一个小匹配 $ M $，使其能吸收任意小的剩余顶点集合。
• 使用受 Alon 等人启发的随机化过程，将超图 $ H - V(M) $ 转化为近乎正则的超图。
• 利用关于分数匹配和度条件的已知结果，在近乎正则的超图中找到一个近乎完美匹配。
• 证明3-图的新稳定性结果：若一个在 $ n $ 个顶点上的3-均匀超图的边数少于 $ m $ 个不相交边，且边数接近极值数，则其结构必须接近 $ S(n,m,3) $ 或 $ D(n,m,3) $。
• 将这些技术与一种迭代删除最大度顶点以保持稳定性和饱和性的约化过程相结合，最终在不存在彩虹匹配时导出矛盾。

实验结果

研究问题

• RQ1 当 $ n $ 足够大时，3-均匀超图的彩虹匹配猜想是否成立？
• RQ2 吸收法和随机化技术能否被适配至3-均匀超图的彩虹匹配设定？
• RQ3 具有小匹配数和接近最大边数的3-均匀超图具有何种结构性质？
• RQ4 是否存在一种稳定性型结果，可确保极值图接近已知的极值构造 $ S(n,m,3) $ 和 $ D(n,m,3) $？
• RQ5 能否通过迭代删除顶点将该猜想约化为更简单的案例，同时保持必要的边数条件？

主要发现

• 存在一个绝对常数 $ n_0 $，使得对所有 $ n \geq n_0 $，3-均匀超图的彩虹匹配猜想成立。
• 该猜想在 $ k = 3 $ 且 $ n \geq n_0 $ 时被证明，解决了大 $ n $ 范畴下3-均匀超图彩虹匹配猜想的情形。
• 建立了针对3-均匀超图的新稳定性结果：若一个3-图的匹配数小于 $ m $ 且边数接近 $ f(n,m,3) $，则其结构必须接近 $ S(n,m,3) $ 或 $ D(n,m,3) $。
• 证明结合了吸收法、Alon 等人的随机化技术，以及分数匹配理论在3-均匀超图中的新颖应用。
• 算法约化过程确保了族的稳定性和饱和性，从而允许应用结构和极值结果。
• 结果在 $ n \geq n_0 $ 条件下得到确认，其中 $ n_0 $ 为绝对常数且与 $ m $ 无关，且满足 $ n \geq 3m $ 的边界条件。