40,758 research outputs found
Nontrivial t-Designs over Finite Fields Exist for All t
A - design over \F_q is a collection of -dimensional
subspaces of \F_q^n, called blocks, such that each -dimensional subspace
of \F_q^n is contained in exactly blocks. Such -designs over
\F_q are the -analogs of conventional combinatorial designs. Nontrivial
- designs over \F_q are currently known to exist only for
. Herein, we prove that simple (meaning, without repeated blocks)
nontrivial - designs over \F_q exist for all and ,
provided that and is sufficiently large. This may be regarded as
a -analog of the celebrated Teirlinck theorem for combinatorial designs
The existence of designs via iterative absorption: hypergraph -designs for arbitrary
We solve the existence problem for -designs for arbitrary -uniform
hypergraphs~. This implies that given any -uniform hypergraph~, the
trivially necessary divisibility conditions are sufficient to guarantee a
decomposition of any sufficiently large complete -uniform hypergraph into
edge-disjoint copies of~, which answers a question asked e.g.~by Keevash.
The graph case was proved by Wilson in 1975 and forms one of the
cornerstones of design theory. The case when~ is complete corresponds to the
existence of block designs, a problem going back to the 19th century, which was
recently settled by Keevash. In particular, our argument provides a new proof
of the existence of block designs, based on iterative absorption (which employs
purely probabilistic and combinatorial methods).
Our main result concerns decompositions of hypergraphs whose clique
distribution fulfills certain regularity constraints. Our argument allows us to
employ a `regularity boosting' process which frequently enables us to satisfy
these constraints even if the clique distribution of the original hypergraph
does not satisfy them. This enables us to go significantly beyond the setting
of quasirandom hypergraphs considered by Keevash. In particular, we obtain a
resilience version and a decomposition result for hypergraphs of large minimum
degree.Comment: This version combines the two manuscripts `The existence of designs
via iterative absorption' (arXiv:1611.06827v1) and the subsequent `Hypergraph
F-designs for arbitrary F' (arXiv:1706.01800) into a single paper, which will
appear in the Memoirs of the AM
- …