
arXiv: 2205.07392
For a given positive integer $k$ we say that a family of subsets of $[n]$ is $k$-antichain saturated if it does not contain $k$ pairwise incomparable sets, but whenever we add to it a new set, we do find $k$ such sets. The size of the smallest such family is denoted by $\text{sat}^*(n, \mathcal A_{k})$. Ferrara, Kay, Kramer, Martin, Reiniger, Smith and Sullivan conjectured that $\text{sat}^*(n, \mathcal A_{k})=(k-1)n(1+o(1))$, and proved this for $k\leq4$. In this paper we prove this conjecture for $k=5$ and $k=6$. Moreover, we give the exact value for $\text{sat}^*(n, \mathcal A_5)$ and $\text{sat}^*(n, \mathcal A_6)$. We also give some open problems inspired by our analysis.
Combinatorics of partially ordered sets, 06A07, 05D05, 4901 Applied Mathematics, Extremal set theory, FOS: Mathematics, 49 Mathematical Sciences, Mathematics - Combinatorics, 4904 Pure Mathematics, Combinatorics (math.CO)
Combinatorics of partially ordered sets, 06A07, 05D05, 4901 Applied Mathematics, Extremal set theory, FOS: Mathematics, 49 Mathematical Sciences, Mathematics - Combinatorics, 4904 Pure Mathematics, Combinatorics (math.CO)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
