The structure of maximal non-trivial d-wise intersecting uniform families with large sizes
Abstract
For a positive integer d≥ 2, a family F⊂eq [n]k is said to be d-wise intersecting if |F1 F2 … Fd|≥ 1 for all F1, F2, … ,Fd∈ F. A d-wise intersecting family F⊂eq [n]k is called maximal if F\A\ is not d-wise intersecting for any A∈[n]k F. We provide a refinement of O'Neill and Verstra\"ete's Theorem about the structure of the largest and the second largest maximal non-trivial d-wise intersecting k-uniform families. We also determine the structure of the third largest and the fourth largest maximal non-trivial d-wise intersecting k-uniform families for any k>d+1≥ 4, and the fifth largest and the sixth largest maximal non-trivial 3-wise intersecting k-uniform families for any k≥ 5, in the asymptotic sense. Our proofs are applications of the -system method.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.