335 research outputs found
Forbidding intersection patterns between layers of the cube
A family is said to be an antichain
if for all distinct . A classic result
of Sperner shows that such families satisfy , which is easily seen to be best possible. One can
view the antichain condition as a restriction on the intersection sizes between
sets in different layers of . More generally one can ask,
given a collection of intersection restrictions between the layers, how large
can families respecting these restrictions be? Answering a question of Kalai,
we show that for most collections of such restrictions, layered families are
asymptotically largest. This extends results of Leader and the author.Comment: 16 page
Decomposing 1-Sperner hypergraphs
A hypergraph is Sperner if no hyperedge contains another one. A Sperner
hypergraph is equilizable (resp., threshold) if the characteristic vectors of
its hyperedges are the (minimal) binary solutions to a linear equation (resp.,
inequality) with positive coefficients. These combinatorial notions have many
applications and are motivated by the theory of Boolean functions and integer
programming. We introduce in this paper the class of -Sperner hypergraphs,
defined by the property that for every two hyperedges the smallest of their two
set differences is of size one. We characterize this class of Sperner
hypergraphs by a decomposition theorem and derive several consequences from it.
In particular, we obtain bounds on the size of -Sperner hypergraphs and
their transversal hypergraphs, show that the characteristic vectors of the
hyperedges are linearly independent over the reals, and prove that -Sperner
hypergraphs are both threshold and equilizable. The study of -Sperner
hypergraphs is motivated also by their applications in graph theory, which we
present in a companion paper
Supersaturation and stability for forbidden subposet problems
We address a supersaturation problem in the context of forbidden subposets. A
family of sets is said to contain the poset if there is an
injection such that implies . The poset on four elements with is
called butterfly. The maximum size of a family
that does not contain a butterfly is as proved by De Bonis, Katona, and
Swanepoel. We prove that if contains
sets, then it has to contain at least copies of the butterfly provided for some positive . We show by a
construction that this is asymptotically tight and for small values of we
show that the minimum number of butterflies contained in is
exactly
- …