Erdos-Ko-Rado theorems for simplicial complexes

A recent framework for generalizing the Erdos-Ko-Rado Theorem, due to Holroyd, Spencer, and Talbot, defines the Erdos-Ko-Rado property for a graph in terms of the graph's independent sets. Since the family of all independent sets of a graph forms a simplicial complex, it is natural to further generalize the Erdos-Ko-Rado property to an arbitrary simplicial complex. An advantage of working in simplicial complexes is the availability of algebraic shifting, a powerful shifting (compression) technique, which we use to verify a conjecture of Holroyd and Talbot in the case of sequentially Cohen-Macaulay near-cones.Comment: 14 pages; v2 has minor changes; v3 has further minor changes for publicatio

Supersaturation and stability for forbidden subposet problems

We address a supersaturation problem in the context of forbidden subposets. A family $\mathcal{F}$ of sets is said to contain the poset $P$ if there is an injection $i:P \rightarrow \mathcal{F}$ such that $p \le_P q$ implies $i(p) \subset i (q)$. The poset on four elements $a,b,c,d$ with $a,b \le c,d$ is called butterfly. The maximum size of a family $\mathcal{F} \subseteq 2^{[n]}$ that does not contain a butterfly is $\Sigma(n,2)=\binom{n}{\lfloor n/2 \rfloor}+\binom{n}{\lfloor n/2 \rfloor+1}$ as proved by De Bonis, Katona, and Swanepoel. We prove that if $\mathcal{F} \subseteq 2^{[n]}$ contains $\Sigma(n,2)+E$ sets, then it has to contain at least $(1-o(1))E(\lceil n/2 \rceil +1)\binom{\lceil n/2\rceil}{2}$ copies of the butterfly provided $E\le 2^{n^{1-\varepsilon}}$ for some positive $\varepsilon$. We show by a construction that this is asymptotically tight and for small values of $E$ we show that the minimum number of butterflies contained in $\mathcal{F}$ is exactly $E(\lceil n/2 \rceil +1)\binom{\lceil n/2\rceil}{2}$