544 research outputs found
Exact Bounds for Some Hypergraph Saturation Problems
Let W_n(p,q) denote the minimum number of edges in an n x n bipartite graph G
on vertex sets X,Y that satisfies the following condition; one can add the
edges between X and Y that do not belong to G one after the other so that
whenever a new edge is added, a new copy of K_{p,q} is created. The problem of
bounding W_n(p,q), and its natural hypergraph generalization, was introduced by
Balogh, Bollob\'as, Morris and Riordan. Their main result, specialized to
graphs, used algebraic methods to determine W_n(1,q).
Our main results in this paper give exact bounds for W_n(p,q), its hypergraph
analogue, as well as for a new variant of Bollob\'as's Two Families theorem. In
particular, we completely determine W_n(p,q), showing that if 1 <= p <= q <= n
then
W_n(p,q) = n^2 - (n-p+1)^2 + (q-p)^2.
Our proof applies a reduction to a multi-partite version of the Two Families
theorem obtained by Alon. While the reduction is combinatorial, the main idea
behind it is algebraic
On Saturated -Sperner Systems
Given a set , a collection is said to
be -Sperner if it does not contain a chain of length under set
inclusion and it is saturated if it is maximal with respect to this property.
Gerbner et al. conjectured that, if is sufficiently large with respect to
, then the minimum size of a saturated -Sperner system
is . We disprove this conjecture
by showing that there exists such that for every and there exists a saturated -Sperner system
with cardinality at most
.
A collection is said to be an
oversaturated -Sperner system if, for every
, contains more
chains of length than . Gerbner et al. proved that, if
, then the smallest such collection contains between and
elements. We show that if ,
then the lower bound is best possible, up to a polynomial factor.Comment: 17 page
Not All Saturated 3-Forests Are Tight
A basic statement in graph theory is that every inclusion-maximal forest is
connected, i.e. a tree. Using a definiton for higher dimensional forests by
Graham and Lovasz and the connectivity-related notion of tightness for
hypergraphs introduced by Arocha, Bracho and Neumann-Lara in, we provide an
example of a saturated, i.e. inclusion-maximal 3-forest that is not tight. This
resolves an open problem posed by Strausz
- β¦