The second-order term for the largest -fork-free families
En palabras de los autores
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 .
Resultado principalLimitación que admiten los autores
Apareció: lunes, 28 de septiembre. arXiv. Preprint, todavía sin revisión por pares.