[论文解读] Degree versions of the Erdos-Ko-Rado Theorem and Erdos hypergraph matching conjecture

Hao Huang, Yi Zhao|arXiv (Cornell University)|May 24, 2016

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

一句话总结

本文建立了Erdos-Ko-Rado定理的度版本，证明当 $ n \geq 2k+1 $ 时，任意 $ k $-均匀相交超图中存在一个顶点，其度数至多为 $ \binom{n-2}{k-2} $，且仅在1-星配置下取等。此外，本文还证明当 $ n \geq 3k^2s $ 时，若 $ k $-均匀超图的最小顶点度数超过 $ \binom{n-1}{k-1} - \binom{n-s}{k-1} $，则其必包含 $ s $ 个不相交的边，从而在该范围内证实了Erdos超图匹配猜想的度版本。

ABSTRACT

We use an algebraic method to prove a degree version of the celebrated Erd\H os-Ko-Rado theorem: given $n>2k$, every intersecting $k$-uniform hypergraph $H$ on $n$ vertices contains a vertex that lies on at most $\binom{n-2}{k-2}$ edges. This result can be viewed as a special case of the degree version of a well-known conjecture of Erdős on hypergraph matchings. Improving the work of Bollobás, Daykin, and Erd\H os from 1976, we show that given integers $n, k, s$ with $n\ge 3k^2 s$, every $k$-uniform hypergraph $H$ on $n$ vertices with minimum vertex degree greater than $\binom{n-1}{k-1}-\binom{n-s}{k-1}$ contains $s$ disjoint edges.

研究动机与目标

• 建立Erdos-Ko-Rado定理的度版本，刻画相交 $ k $-均匀超图中最小顶点度数的性质。
• 证明一个最小度条件，该条件可保证 $ k $-均匀超图中存在 $ s $ 个不相交的边，从而证实Erdos超图匹配猜想的度变体。
• 通过将Bollobas、Daykin和Erdos的先前结果进行推广，将 $ n $ 的阈值从 $ 2k^3(s-1) $ 提高至 $ 3k^2s $，并为确保 $ s $-匹配的存在性提供一个精确的最小顶点度数界。
• 将Pyber的交叉相交族结果推广至度设置，证明两个交叉相交族的最小度乘积存在上界。

提出的方法

• 采用代数方法，受Hoffman界启发，通过分析特征值来推导超图中的度约束。
• 应用组合几何中的一个关键引理，以在度条件约束下控制相交族的结构。
• 利用分数匹配和线性规划中的对偶性来界定分数匹配数 $ \nu^*(H) $，并将其与顶点度约束联系起来。
• 作者使用归纳法和对 $ f^s_1(k,n) $（即不含 $ s $-匹配的 $ k $-均匀超图中最小顶点度数的最大值）的递归界。
• 定义 $ H^1_{n,k,s} $ 为所有边均与一个大小为 $ s-1 $ 的固定集合 $ S $ 相交的极值超图，并证明其在无 $ s $-匹配条件下使最小度达到最大。
• 证明依赖于在简化后的超图中构造一个分数匹配，并利用度序和求和不等式证明 $ \sum x_i \geq s $，从而推出 $ \nu^*(H) \geq s $。

实验结果

研究问题

• RQ1 当 $ n \geq 2k+1 $ 时，是否每个非平凡的 $ k $-均匀相交超图都存在一个顶点，其度数至多为 $ \binom{n-2}{k-2} - \binom{n-k-2}{k-2} $？
• RQ2 两个交叉相交族 $ \mathcal{B} $ 和 $ \mathcal{C} $ 的最小度乘积能否被控制在 $ \binom{n-2}{k-2}^2 $ 以内？该界是否意味着存在不相交的交叉对？
• RQ3 对于 $ n > ks $，超图 $ H^1_{n,k,s} $（即所有与固定 $ (s-1) $-集相交的 $ k $-边构成的超图）是否在无 $ s $-匹配的 $ k $-均匀超图中实现了最小度的最大值？
• RQ4 当 $ n \geq 3k^2s $ 时，若 $ k $-均匀超图的最小顶点度数超过 $ \binom{n-1}{k-1} - \binom{n-s}{k-1} $，是否必然包含 $ s $ 个不相交的边？
• RQ5 阈值 $ n \geq 3k^2s $ 对于Erdos匹配猜想的度版本是否是紧的？是否可进一步改进？

主要发现

• 当 $ n \geq 2k+1 $ 时，任意 $ k $-均匀相交超图中存在一个顶点，其度数至多为 $ \binom{n-2}{k-2} $，且仅在1-星配置下取等。
• 该界是紧的，如1-星所示：它实现了该度数，且当 $ n > 2k $ 时是唯一的极值例子。
• 当 $ n \geq 3k^2s $ 时，任意 $ k $-均匀超图若其最小顶点度数大于 $ \binom{n-1}{k-1} - \binom{n-s}{k-1} $，则必包含 $ s $ 个不相交的边，从而在该范围内证实了Erdos匹配猜想的度版本。
• 两个交叉相交的 $ k $-均匀族 $ \mathcal{B} $ 和 $ \mathcal{C} $ 的最小度乘积至多为 $ \binom{n-2}{k-2}^2 $，当且仅当两者均为共享一个公共顶点的1-星时取等。
• 对于 $ n \geq 3k^2s $，极值超图 $ H^1_{n,k,s} $（即所有与固定 $ (s-1) $-集相交的 $ k $-边构成的超图）在无 $ s $-匹配的 $ k $-均匀超图中实现了最小度的最大可能值。
• 该结果表明，阈值 $ \delta_1(H) > \binom{n-1}{k-1} - \binom{n-s}{k-1} $ 足以强制 $ \nu(H) \geq s $，且对 $ s=2 $ 该界是紧的，如定理1.1所证实。