[論文レビュー] 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 ≤ d/2 のとき s- witness ファミリーの最大サイズは 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)-uniform ファミリーの VC-次元問題と古典的境界推測の動機づけ。
• 固定された s に対する s-witness 条件の下で、ファミリーをサイズ binom(n−1, d) で抑えることが成り立つかを調査する。
• s ≤ d/2 のとき境界値を達成する極値構造を特徴づける（スター）。
• d/2 < s ≤ d−1 のとき非スター極値の存在を示す構成を提供する。
• witnesses のサイズが極値構成に与える影響を理解を深める。

提案手法

• VC-次元条件を次のように再定式化する：F ∈ F ごとに |B_F|=s の F_F ⊆ F が存在し、F ∩ F' ≠ B_F がすべての F' ∈ F に対して成り立つ。
• Modeling Lemma を用い、各 witness B に対して [n] B のサイズが最大 d+1−s の小さい交差ファミリー A_B を構成する。
• F の部分集合から binom([n], d) への単射 F → E を構築し、重なりを制御して数え上げを可能にする。
• F のサイズが最大値に近いときスターで近似できることを、慎重なサイズ解析と新しい単射を用いて示す。
• Erdős–Rado の sunflowerlemmas を用いて sunflower-free ファミリーを限界づけ、構造的複雑さを管理する。
• 安定性解析を実施し、n が大きいときほぼ最大のファミリーはちょうどスターでなければならないことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 すべての n が大きいとき、 1 ≤ s ≤ d/2 の場合に 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-witnessファミリーを明示的に構築できるか？
• RQ5 s が witness のサイズとして極値構造に与える影響は何か？

主な発見

• 1) 1 ≤ s ≤ d/2 かつ n が大きいとき、任意の s-witness ファミリー F ⊆ binom([n], d+1) は |F| ≤ binom(n−1, d) を満たす。
• 2) 等式が成立する場合、極値ファミリーは [n] のある要素を中心とするスターである。
• 3) スター近似結果：ほぼ最大の s-witness ファミリーは対称差が O(n^{d−1}) の範囲でスターに近い。
• 4) d/2 < s ≤ d−1 のすべてのとき非スターの s-witness ファミリーがサイズ binom(n−1, d) を達成しうることを示し、s が大きい場合にはスター構造だけでなく新しいアイデアが必要であることを示す。
• 5) モデリングlemmas、F → E への単射、安定性の議論を組み合わせて主な境界を導出する。
• 6) Erdős–Rado の sunflower lemma を用いてファミリーの構造を管理し、上界の根拠を補強する。