2026/01/28 by Jiangdong Ai, Ming Chen, Seokbeom Kim +1 · 1 voice
Mathematics · #math.CO
We prove that if two families F ⊆ \binom[n]k and F' ⊆ \binom[n]k' satisfy ∑1 ≤ i, j ≤ ℓ | Fi ∩ Fj' | ≥ ℓ2t - ℓ +1 for every choice of distinct F1, …, F_ℓ ∈ F and F1', …, F_ℓ' ∈ F', then | F | ⋅ | F' | ≤ \binomn-tk-t \binomn-tk'-t, provided that n is sufficiently large. This extends a celebrated theorem of Pyber for large n, which determines the tight upper bound for the product of the sizes of cross 1-intersecting families.