The second-order term for the largest $r$-fork-free families
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.30336
curl -X POST /api/v1/records/arxiv/2609.30336/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.30336/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'