The second-order term for the largest -fork-free families
In the authors' words
A family of subsets of is -fork-free if none of its members is strictly contained in other distinct members. For each fixed integer , we prove that the maximum size of such a family is \[ \binom{n}{\lfloor n/2\rfloor} \left(1+\frac{2(r-1)}{n}+o(n^{-1})\right). \] This determines the second-order term and matches the upper bound of De Bonis and Katona. Our lower bound comes from a construction on two adjacent middle levels, using a finite ordered collection of disjoint coordinate blocks and a condition on sums modulo . For each prescribed error, the blocks are fixed before tends to infinity, so the construction works for every sufficiently large .
Main resultLimitation the authors admit
Appeared: Monday, September 28. arXiv. Preprint, not yet peer-reviewed.