arXiv++ Combinatorics

First we consider families in the hypercube $Q_n$ with bounded VC dimension. Frankl raised the problem of estimating the number $m(n,k)$ of maximal families of VC dimension $k$. Alon, Moran and Yehudayoff showed that $$n^{(1+o(1))\frac{1}{k+1}\binom{n}{k}}\leq m(n,k)\leq n^{(1+o(1))\binom{n}{k}}.$$ We close the gap by showing that $\log \left(m(n,k)\right)= {(1+o(1))\binom{n}{k}}\log n$ and show how a tight asymptotic for the logarithm of the number of induced matchings between two adjacent small layers of $Q_n$ follows as a corollary. Next, we consider the integrity $I(Q_n)$ of the hypercube, defined as $$I(Q_n) = \min\{ |S| +m(Q_n \setminus S) : S \subseteq V (Q_n) \},$$ where $m(H)$ denotes the number of vertices in the largest connected component of $H$. Beineke, Goddard, Hamburger, Kleitman, Lipman and Pippert showed that $c\frac{2^n}{\sqrt{n}} \leq I(Q_n)\leq C\frac{2^n}{\sqrt{n}}\log n$ and suspected that their upper bound is the right value. We prove that the truth lies below the upper bound by showing that $I(Q_n)\leq C \frac{2^n}{\sqrt{n}}\sqrt{\log n}$.

A perfect $H$-tiling in a graph $G$ is a collection of vertex-disjoint copies of a graph $H$ in $G$ that together cover all the vertices in $G$. In this paper we investigate perfect $H$-tilings in a random graph model introduced by Bohman, Frieze and Martin in which one starts with a dense graph and then adds $m$ random edges to it. Specifically, for any fixed graph $H$, we determine the number of random edges required to add to an arbitrary graph of linear minimum degree in order to ensure the resulting graph contains a perfect $H$-tiling with high probability. Our proof utilises Szemerédi's Regularity lemma as well as a special case of a result of Komlós concerning almost perfect $H$-tilings in dense graphs.

Let $F$ be a graph. We say that a hypergraph $H$ is a {\it Berge}-$F$ if there is a bijection $f : E(F) \rightarrow E(H )$ such that $e \subseteq f(e)$ for every $e \in E(F)$. Note that Berge-$F$ actually denotes a class of hypergraphs. The maximum number of edges in an $n$-vertex $r$-graph with no subhypergraph isomorphic to any Berge-$F$ is denoted $\ex_r(n,\textrm{Berge-}F)$. In this paper we establish new upper and lower bounds on $\ex_r(n,\textrm{Berge-}F)$ for general graphs $F$, and investigate connections between $\ex_r(n,\textrm{Berge-}F)$ and other recently studied extremal functions for graphs and hypergraphs. One case of specific interest will be when $F = K_{s,t}$. Additionally, we prove a counting result for $r$-graphs of girth five that complements the asymptotic formula $\textup{ex}_3 (n , \textrm{Berge-}\{ C_2 , C_3 , C_4 \} ) = \frac{1}{6} n^{3/2} + o( n^{3/2} )$ of Lazebnik and Verstraëte [{\em Electron.\ J. of Combin}. {\bf 10}, (2003)].

Given a poset $P$ we say a family $\mathcal{F}\subseteq P$ is centered if it is obtained by `taking sets as close to the middle layer as possible'. A poset $P$ is said to have the centeredness property if for any $M$, among all families of size $M$ in $P$, centered families contain the minimum number of comparable pairs. Kleitman showed that the Boolean lattice $\{0,1\}^n$ has the centeredness property. It was conjectured by Noel, Scott, and Sudakov, and by Balogh and Wagner, that the poset $\{0,1,\ldots,k\}^n$ also has the centeredness property, provided $n$ is sufficiently large compared to $k$. We show that this conjecture is false for all $k\geq 2$ and investigate the range of $M$ for which it holds. Further, we improve a result of Noel, Scott, and Sudakov by showing that the poset of subspaces of $\mathbb{F}_q^n$ has the centeredness property. Several open questions are also given.

Folkman's Theorem asserts that for each $k \in \mathbb{N}$, there exists a natural number $n = F(k)$ such that whenever the elements of $[n]$ are two-coloured, there exists a set $A \subset [n]$ of size $k$ with the property that all the sums of the form $\sum_{x \in B} x$, where $B$ is a nonempty subset of $A$, are contained in $[n]$ and have the same colour. In 1989, Erdős and Spencer showed that $F(k) \ge 2^{ck^2/ \log k}$, where $c >0$ is an absolute constant; here, we improve this bound significantly by showing that $F(k) \ge 2^{2^{k-1}/k}$ for all $k\in \mathbb{N}$.

Fox--Grinshpun--Pach showed that every $3$-coloring of the complete graph on $n$ vertices without a rainbow triangle contains a clique of size $Ω\left(n^{1/3}\log^2 n\right)$ which uses at most two colors, and this bound is tight up to the constant factor. We show that if instead of looking for large cliques one only tries to find subgraphs of large chromatic number, one can do much better. We show that every such coloring contains a $2$-colored subgraph with chromatic number at least $n^{2/3}$, and this is best possible. We further show that for fixed positive integers $s,r$ with $s\leq r$, every $r$-coloring of the edges of the complete graph on $n$ vertices without a rainbow triangle contains a subgraph that uses at most $s$ colors and has chromatic number at least $n^{s/r}$, and this is best possible. Fox--Grinshpun--Pach previously showed a clique version of this result. As a direct corollary of our result we obtain a generalisation of the celebrated theorem of Erdős-Szekeres, which states that any sequence of $n$ numbers contains a monotone subsequence of length at least $\sqrt{n}$. We prove that if an $r$-coloring of the edges of an $n$-vertex tournament does not contain a rainbow triangle then there is an $s$-colored directed path on $n^{s/r}$ vertices, which is best possible. This gives a partial answer to a question of Loh.

A central theorem in combinatorics is Sperner's Theorem, which determines the maximum size of a family $\mathcal{F}\subseteq \mathcal{P}(n)$ that does not contain a $2$-chain $F_1\subsetneq F_2$. Erdős later extended this result and determined the largest family not containing a $k$-chain $F_1\subsetneq \ldots \subsetneq F_k$. Erdős and Katona and later Kleitman asked how many such chains must appear in families whose size is larger than the corresponding extremal result. This question was resolved for $2$-chains by Kleitman in $1966$, who showed that amongst families of size $M$ in $\mathcal{P}(n)$, the number of $2$-chains is minimized by a family whose sets are taken as close to the middle layer as possible. He also conjectured that the same conclusion should hold for all $k$, not just $2$. The best result on this question is due to Das, Gan and Sudakov who showed that Kleitman's conjecture holds for families whose size is at most the size of the $k+1$ middle layers of $\mathcal{P}(n)$, provided $k\leq n-6$. Our main result is that for every fixed $k$ and $ε>0$, if $n$ is sufficiently large then Kleitman's conjecture holds for families of size at most $(1-ε)2^n$, thereby establishing Kleitman's conjecture asymptotically. Our proof is based on ideas of Kleitman and Das, Gan and Sudakov. Several open problems are also given.

We apply the graph container method to prove a number of counting results for the Boolean lattice $\mathcal P(n)$. In particular, we: (i) Give a partial answer to a question of Sapozhenko estimating the number of $t$ error correcting codes in $\mathcal P(n)$, and we also give an upper bound on the number of transportation codes; (ii) Provide an alternative proof of Kleitman's theorem on the number of antichains in $\mathcal P(n)$ and give a two-coloured analogue; (iii) Give an asymptotic formula for the number of $(p,q)$-tilted Sperner families in $\mathcal P(n)$; (iv) Prove a random version of Katona's $t$-intersection theorem. In each case, to apply the container method, we first prove corresponding supersaturation results. We also give a construction which disproves two conjectures of Ilinca and Kahn on maximal independent sets and antichains in the Boolean lattice. A number of open questions are also given.

Recently, Balogh--Morris--Samotij and Saxton--Thomason proved that hypergraphs satisfying some natural conditions have only few independent sets. Their main results already have several applications. However, the methods of proving these theorems are even more far reaching. The general idea is to describe some family of events, whose cardinality a priori could be large, only with a few certificates. Here, we show some applications of the methods, including counting $C_4$-free graphs, considering the size of a maximum $C_4$-free subgraph of a random graph and counting metric spaces with a given number of points. Additionally, we discuss some connections with the Szemerédi Regularity Lemma.

A family of sets is union-free if there are no three distinct sets in the family such that the union of two of the sets is equal to the third set. Kleitman proved that every union-free family has size at most $(1+o(1))\binom{n}{n/2}$. Later, Burosch--Demetrovics-Katona-Kleitman-Sapozhenko asked for the number $α(n)$ of such families, and they proved that $2^{\binom{n}{n/2}}\leq α(n) \leq 2^{2\sqrt{2}\binom{n}{n/2}(1+o(1))}$. They conjectured that the constant $2\sqrt{2}$ can be removed in the exponent of the right hand side. We prove their conjecture by formulating a new container-type theorem for rooted hypergraphs.