{"id":"arxiv/2609.30336","url":"https://arxiv.org/abs/2609.30336","tags":["math.CO"],"score":0,"title":"The second-order term for the largest $r$-fork-free families","domain":"math.CO","source":"arxiv","authors":["Yiyan Zhan","Mei Lu","Xiamiao Zhao"],"reviews":0,"subject":"math.CO","summary":"A family of subsets of $[n]$ is $r$-fork-free if none of its members is strictly contained in $r$ other distinct members. For each fixed integer $r\\ge2$, 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 $n$. For each prescribed error, the blocks are fixed…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{}}