[论文解读] Uniform Set Systems with Uniform Witnesses

Ting-Wei Chao, Zixuan Xu+1 more|arXiv (Cornell University)|Feb 19, 2026

Limits and Structures in Graph Theory被引用 0

一句话总结

论文证明：对于 s-见证族，s ≤ d/2 时，最大大小为 binom(n-1, d)，极值族为星形；当 d/2 < s ≤ d-1 时，还给出一个非星构造，达到相同大小。

ABSTRACT

Frankl--Pach and Erdős conjectured that any $(d+1)$-uniform set family $\mathcal{F}\subseteq \binom{[n]}{d+1}$ with VC-dimension at most $d$ has size at most $\binom{n-1}{d}$ when $n$ is sufficiently large. Ahlswede and Khachatrian showed that the conjecture is false by giving a counterexample of size $\binom{n-1}{d}+\binom{n-4}{d-2}$. For a set family $\mathcal{F}\subseteq \binom{[n]}{d+1}$, the condition that its VC-dimension is at most $d$ can be reformulated as follows: for any $F\in\mathcal{F}$, there exists a set $B_F\subseteq F$ such that $F\cap F' eq B_F$ for all $F'\in\mathcal{F}$. In this direction, the first author, Xu, Yip, and Zhang conjectured that the bound $\binom{n-1}{d}$ holds if we further assume that $|B_F|=s$ for every $F\in \mathcal{F}$ and for some fixed $0\leq s\leq d$. The case $s=0$ is exactly the Erdős--Ko--Rado theorem, and the cases $s\in \{1,d\}$ were proved in the paper by the first author, Xu, Yip, and Zhang. In this short note, we show that the conjecture holds when $s\leq d/2$, and the maximal constructions are stars. Moreover, we construct non-star set families of size $\binom{n-1}{d}$ satisfying the condition for $d/2

研究动机与目标

• 为 (d+1)-均匀族的 VC-维问题与经典界限猜想提供动机。
• 研究在固定 s 的 s-见证条件下，是否存在对族的大小上界为 binom(n-1, d) 的情况。
• 当 s ≤ d/2 时，刻画达到界限的极值结构（星形）。
• 给出当 d/2 < s ≤ d-1 时存在非星极值的构造。
• 拓展对见证大小如何影响极值结构的理解。）

提出的方法

• 将 VC-维条件重新表述为：对于 F ∈ F，存在 F_B ⊆ F 使 |F_B|=s，且对所有 F' ∈ F，F ∩ F' ≠ F_B。
• 给出 Modeling Lemma，为每个见证 B 生成一个包含于 [n] B 的小的相交族 A_B，大小至多 d+1−s。
• 从 F 的一个子集到 binom([n], d) 的注入映射 F → E，以控制重叠并便于计数。
• 通过仔细的大小分析和新的注入，显示当 |F| 接近最大值时，F 可以被近似为一个星形。
• 利用 Erdős–Rado 向日花序引理界定向日花序自由的族并管理结构复杂性。
• 进行稳定性分析，得出在 n 足够大时，近极值族必恰为星形。

实验结果

研究问题

• RQ1 每个 n 足够大且 1 ≤ s ≤ d/2 的 s-见证族 F 是否有 |F| ≤ binom(n−1, d)？
• RQ2 若等于，s ≤ d/2 时 F 是否必为星形？
• RQ3 当 s > d/2 时极值族的行为如何，是否存在达到相同界的非星构造？
• RQ4 是否能够明确构造出在 d/2 < s ≤ d−1 时大小为 binom(n−1, d) 的非星 s-见证族？
• RQ5 见证大小 s 如何影响 F 的潜在极值结构？

主要发现

• 对于 1 ≤ s ≤ d/2 且 n 很大时，任何 F ⊆ binom([n], d+1) 的 s-见证族有 |F| ≤ binom(n−1, d)。
• 若等于，极值族是以 [n] 中某元素为中心的星形。
• 一个星形近似结果表明，接近最大值的 s-见证族在对称差 O(n^{d−1}) 内接近星形。
• 存在当 d/2 < s ≤ d−1 时大小为 binom(n−1, d) 的非星 s-见证族，证明在 s 较大时需要新思路来超越星结构。
• 结合建模引理、将 F 映射到 binom([n], d) 的注入以及稳定性论证，得出主要上界。
• 应用 Erdős–Rado 向日花序引理来管理族的结构并支持上界论证。