[论文解读] On the Hilton-Spencer intersection theorems for unions of cycles

Peter Borg, Carl Feghali|arXiv (Cornell University)|Aug 23, 2019

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

一句话总结

本文证明，在严格团数条件下，一个幂次循环与多个其他幂次循环的并集满足 r-EKR 性质（即 r 元独立集的最大的相交族是平凡的）。通过应用 Katona 的阴影相交定理与归纳压缩技术，作者为当各分量循环的最小团数严格大于主循环幂次的团数时的情形，提供了简洁的证明，从而将此前 Hilton-Spencer 关于路径与循环并集的结果推广至循环并集情形。

ABSTRACT

A family $\mathcal{A}$ of sets is said to be intersecting if every two sets in $\mathcal{A}$ intersect. An intersecting family is said to be \emph{trivial} it its sets have a common element. A graph $G$ is said to be $r$-EKR if at least one of the largest intersecting families of independent $r$-element sets of $G$ is trivial. Let $α(G)$ and $ω(G)$ denote the independence number and the clique number of $G$, respectively. Hilton and Spencer recently showed that if $G$ is the vertex-disjoint union of a cycle ${_*C}$ raised to the power $k^*$ and $s$ cycles ${_1C}, \dots, {_sC}$ raised to the powers $k_1, \dots, k_s$, respectively, $1 \leq r \leq α(G)$, and $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq 2k^* + 1,$$ then $G$ is $r$-EKR. They had shown that the same holds if ${_*C}$ is replaced by a path and the condition on the clique numbers is relaxed to $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq k^* + 1.$$ We use the classical Shadow Intersection Theorem of Katona to obtain a short proof of each result for the case where the inequality for the minimum clique number is strict.

研究动机与目标

• 将 Hilton-Spencer 的相交定理推广至循环并集，特别是在严格团数条件下证明 r-EKR 性质。
• 针对各分量循环的最小团数严格大于主循环幂次团数的情形，利用 Katona 的阴影相交定理，提供一个简短且自包含的证明。
• 将先前关于路径与循环并集的结果推广至具有更紧密结构约束的循环并集。
• 解决极值集合论中的问题：在该类图中，r 元独立集的最大的相交族是否为平凡的。

提出的方法

• 应用 Katona 的阴影相交定理，分析图并集中 r 元独立集的相交族。
• 对主循环的长度使用归纳法，通过顶点删除与压缩将问题简化为更小的图。
• 使用 Talbot 的压缩映射变换族，同时保持相交性质并降低结构复杂度。
• 定义辅助族（B, C, D_i, F）以划分原始相交族，并分析其在压缩下的像。
• 利用在较小图 F 和 H 上的归纳假设，建立对压缩族的界限，其中 F 和 H 是更小的循环与幂次的并集。
• 结合压缩族与阴影族的界限，证明原始族的大小至多等于以顶点 1 为中心的星形族的大小。

实验结果

研究问题

• RQ1 在何种条件下，一个幂次循环与多个其他幂次循环的并集对所有满足 r ≤ α(G) 的 r 均满足 r-EKR 性质？
• RQ2 当团数条件为严格不等式时，Katona 的阴影相交定理能否用于给出 Hilton-Spencer 结果在循环并集情形下的简短证明？
• RQ3 循环幂次中独立集的结构如何影响相交族中星形族的最大性？
• RQ4 各分量循环中最小团数在决定图并集的 r-EKR 性质中起什么作用？

主要发现

• 图 G 由一个幂次循环 C*^{k*} 与 s 个幂次循环 Ci^{ki} 的顶点不相交并集构成，若满足 min(ω(C1^{k1}), ..., ω(Cs^{ks})) > ω(C*^{k*})，则 G 是 r-EKR。
• 通过使用 Katona 的阴影相交定理，证明过程显著缩短，尤其在严格不等式情形下效果更明显。
• 该结果对所有满足 1 ≤ r ≤ α(G) 的 r 成立，将 Hilton-Spencer 定理推广至循环并集。
• 归纳证明依赖于顶点删除与 Talbot 压缩，表明任意相交族的大小均被以顶点 1 为中心的星形族大小所限制。
• 关键不等式 min(ω(Ci^{ki})) > ω(C*^{k*}) 确保了向更小图的归纳约化过程仍然有效。
• 该结果在更严格的团数条件下，确认了比以往已知更广泛的循环并集类满足 r-EKR 性质。