292 research outputs found
Structure and Supersaturation for Intersecting Families
The extremal problems regarding the maximum possible size of intersecting
families of various combinatorial objects have been extensively studied. In
this paper, we investigate supersaturation extensions, which in this context
ask for the minimum number of disjoint pairs that must appear in families
larger than the extremal threshold. We study the minimum number of disjoint
pairs in families of permutations and in -uniform set families, and
determine the structure of the optimal families. Our main tool is a removal
lemma for disjoint pairs. We also determine the typical structure of
-uniform set families without matchings of size when , and show that almost all -uniform intersecting families on vertex
set are trivial when .Comment: 23 pages + appendi
Intersecting families of discrete structures are typically trivial
The study of intersecting structures is central to extremal combinatorics. A
family of permutations is \emph{-intersecting} if
any two permutations in agree on some indices, and is
\emph{trivial} if all permutations in agree on the same
indices. A -uniform hypergraph is \emph{-intersecting} if any two of its
edges have vertices in common, and \emph{trivial} if all its edges share
the same vertices.
The fundamental problem is to determine how large an intersecting family can
be. Ellis, Friedgut and Pilpel proved that for sufficiently large with
respect to , the largest -intersecting families in are the trivial
ones. The classic Erd\H{o}s--Ko--Rado theorem shows that the largest
-intersecting -uniform hypergraphs are also trivial when is large. We
determine the \emph{typical} structure of -intersecting families, extending
these results to show that almost all intersecting families are trivial. We
also obtain sparse analogues of these extremal results, showing that they hold
in random settings.
Our proofs use the Bollob\'as set-pairs inequality to bound the number of
maximal intersecting families, which can then be combined with known stability
theorems. We also obtain similar results for vector spaces.Comment: 19 pages. Update 1: better citation of the Gauy--H\`an--Oliveira
result. Update 2: corrected statement of the unpublished Hamm--Kahn result,
and slightly modified notation in Theorem 1.6 Update 3: new title, updated
citations, and some minor correction
Erd\H{o}s-Ko-Rado for random hypergraphs: asymptotics and stability
We investigate the asymptotic version of the Erd\H{o}s-Ko-Rado theorem for
the random -uniform hypergraph . For , let and . We show that with probability
tending to 1 as , the largest intersecting subhypergraph of
has size , for any . This lower bound on is
asymptotically best possible for . For this range of and ,
we are able to show stability as well.
A different behavior occurs when . In this case, the lower bound on
is almost optimal. Further, for the small interval , the largest intersecting subhypergraph of
has size , provided that .
Together with previous work of Balogh, Bohman and Mubayi, these results
settle the asymptotic size of the largest intersecting family in
, for essentially all values of and
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
On the Chromatic Thresholds of Hypergraphs
Let F be a family of r-uniform hypergraphs. The chromatic threshold of F is
the infimum of all non-negative reals c such that the subfamily of F comprising
hypergraphs H with minimum degree at least has bounded
chromatic number. This parameter has a long history for graphs (r=2), and in
this paper we begin its systematic study for hypergraphs.
{\L}uczak and Thomass\'e recently proved that the chromatic threshold of the
so-called near bipartite graphs is zero, and our main contribution is to
generalize this result to r-uniform hypergraphs. For this class of hypergraphs,
we also show that the exact Tur\'an number is achieved uniquely by the complete
(r+1)-partite hypergraph with nearly equal part sizes. This is one of very few
infinite families of nondegenerate hypergraphs whose Tur\'an number is
determined exactly. In an attempt to generalize Thomassen's result that the
chromatic threshold of triangle-free graphs is 1/3, we prove bounds for the
chromatic threshold of the family of 3-uniform hypergraphs not containing {abc,
abd, cde}, the so-called generalized triangle.
In order to prove upper bounds we introduce the concept of fiber bundles,
which can be thought of as a hypergraph analogue of directed graphs. This leads
to the notion of fiber bundle dimension, a structural property of fiber bundles
that is based on the idea of Vapnik-Chervonenkis dimension in hypergraphs. Our
lower bounds follow from explicit constructions, many of which use a hypergraph
analogue of the Kneser graph. Using methods from extremal set theory, we prove
that these Kneser hypergraphs have unbounded chromatic number. This generalizes
a result of Szemer\'edi for graphs and might be of independent interest. Many
open problems remain.Comment: 37 pages, 4 figure
Colouring set families without monochromatic k-chains
A coloured version of classic extremal problems dates back to Erd\H{o}s and
Rothschild, who in 1974 asked which -vertex graph has the maximum number of
2-edge-colourings without monochromatic triangles. They conjectured that the
answer is simply given by the largest triangle-free graph. Since then, this new
class of coloured extremal problems has been extensively studied by various
researchers. In this paper we pursue the Erd\H{o}s--Rothschild versions of
Sperner's Theorem, the classic result in extremal set theory on the size of the
largest antichain in the Boolean lattice, and Erd\H{o}s' extension to
-chain-free families.
Given a family of subsets of , we define an
-colouring of to be an -colouring of the sets without
any monochromatic -chains . We
prove that for sufficiently large in terms of , the largest
-chain-free families also maximise the number of -colourings. We also
show that the middle level, , maximises the
number of -colourings, and give asymptotic results on the maximum
possible number of -colourings whenever is divisible by three.Comment: 30 pages, final versio
- …