[论文解读] A better bound on the size of rainbow matchings

Hongliang Lu, Yan Wang+1 more|arXiv (Cornell University)|Apr 27, 2020

Limits and Structures in Graph Theory参考文献 17被引用 9

一句话总结

该论文为 $k$-uniform超图中彩虹匹配的存在性建立了显著改进的界限：当 $n > 2kt$ 且 $n$ 足够大时，若 $t$ 个 $[n]$ 上 $k$-元素子集族中每个族的大小均超过 ${n race k} - {n-t+1 race k}$，则存在大小为 $t$ 的彩虹匹配。证明结合了吸收法技术、分数匹配和随机采样，将问题简化为在导出的 $(k+1)$-uniform超图中寻找近乎完美匹配。

ABSTRACT

Aharoni and Howard conjectured that, for positive integers $n,k,t$ with $n\ge k$ and $n\ge t$, if $F_1,\ldots, F_t\subseteq {[n]\choose k}$ such that $|F_i|>{n\choose k}-{n-t+1\choose k}$ for $i\in [t]$ then there exist $e_i\in F_i$ for $i\in [t]$ such that $e_1,\ldots,e_t$ are pairwise disjoint. Huang, Loh, and Sudakov proved this conjecture for $t

研究动机与目标

• 解决Aharoni和Howard关于在较弱大小条件下 $k$-uniform超图中彩虹匹配存在性的猜想。
• 在先前结果（Huang, Loh, 和 Sudakov 的 $n > 3k^2t$）的基础上进一步改进界限，证明当 $n$ 足够大时，该猜想在 $n > 2kt$ 条件下成立。
• 通过将 $n$ 的阈值从 $3k^2t$ 降低至 $2kt$，扩展了该猜想的适用范围，使其更接近猜想中的最优界限。
• 开发一种新颖的方法，结合吸收集、分数匹配和随机采样，以在超图框架中构造彩虹匹配。
• 通过构造一个无匹配的例子，证明边集大小的下界是紧的，从而确认该界限的最优性。

提出的方法

• 将彩虹匹配问题转化为在导出的 $(k+1)$-uniform超图 $\mathcal{F}^{t}(k,n)$ 中的匹配问题，其顶点划分形式为 $X \cup [n]$，其中 $X = \{x_1, \dots, x_t\}$，边为 $\{x_i\} \cup e$，$e \in F_i$。
• 应用吸收法，构造 $\mathcal{F}^{t}(k,n)$ 中的一个小吸收匹配 $M_1$，使其能够吸收任意小的平衡顶点集，从而在完成大匹配时保持灵活性。
• 通过随机采样生成 $\mathcal{F}^{t}(k,n) - V(M_1)$ 的子图 $H$，使其具备有利的度数和共度数性质，确保高最小度和低共度数。
• 从随机部分 $R_i'$ 上的分数完美匹配出发，构造一个广义二项式子图 $H'$，确保每个顶点的度数约为 $n^{0.2}$，共度数小于 $n^{0.19}$。
• 应用Pippenger定理于超图边覆盖，找到 $H'$ 中的一个小边覆盖，随后将其修剪为一个匹配 $M_2$，覆盖除 $O(n)$ 个顶点外的所有顶点。
• 通过使用吸收匹配 $M_1$ 吸收剩余顶点，完成匹配构造，确保在 $\mathcal{F}^{t}(k,n)$ 中形成大小为 $t$ 的完整匹配。

实验结果

研究问题

• RQ1 Aharoni和Howard关于彩虹匹配的猜想是否可在弱于 $n > 3k^2t$ 的条件 $n > 2kt$ 下成立？
• RQ2 每个族 $F_i$ 的大小界限 ${n \choose k} - {n-t+1 \choose k}$ 是否为保证彩虹匹配存在的最优界限？
• RQ3 吸收法与分数匹配技术能否有效结合，用于在全局结构受限的超图中构造大匹配？
• RQ4 超图 $\mathcal{F}^{t}(k,n)$ 的何种结构特性可确保当 $n > 2kt$ 且 $n$ 足够大时，彩虹匹配存在？
• RQ5 超图 $\mathcal{F}^{t}(k,n)$ 与极值族 $\mathcal{F}_t(k,n)$ 的接近程度如何影响彩虹匹配的存在性？

主要发现

• Aharoni和Howard的猜想在 $n > 2kt$ 且 $n$ 足够大时被证明成立，优于Huang, Loh, 和 Sudakov先前得到的 $n > 3k^2t$ 的界限。
• 通过构造一个每个 $F_i$ 由与某个固定 $(t-1)$-集相交的所有 $k$-集组成的例子，证明了界限 ${n \choose k} - {n-t+1 \choose k}$ 是紧的，此时不存在彩虹匹配。
• 在 $\mathcal{F}^{t}(k,n)$ 中存在一个吸收匹配 $M_1$，满足 $|M_1| \leq cn$（$c$ 为小常数），确保任意小的平衡顶点集均可被吸收进完美匹配。
• 构造了 $\mathcal{F}^{t}(k,n) - V(M_1)$ 的一个支撑子图 $H'$，其度数和共度数性质满足Pippenger定理的条件，从而支持近似完美匹配的构造。
• 在 $\mathcal{F}^{t}(k,n)$ 中，最终匹配 $M_2 \cup M_3$ 覆盖了至多 $k$ 个顶点以外的所有顶点，且由于 $M_3$ 完成了吸收过程，最终匹配的大小恰好为 $t$，从而确认了彩虹匹配的存在性。
• 该证明表明，当满足边集大小条件时，阈值 $n > 2kt$ 对于大小为 $t$ 的彩虹匹配存在性已足够，相较于先前结果实现了显著改进。