arXiv++ Combinatorics

Given a family $\mathcal F\subset 2^{[n]}$, its diversity is the number of sets not containing an element with the highest degree. The concept of diversity has proven to be very useful in the context of $k$-uniform intersecting families. In this paper, we study (different notions of) diversity in the context of other extremal set theory problems. One of the main results of the paper is a sharp stability result for cross-intersecting families in terms of diversity and, slightly more generally, sharp stability for the Kruskal--Katona theorem.

Let $\mathcal F\subset 2^{[n]}$ be a family in which any three sets have non-empty intersection and any two sets have at least $38$ elements in common. The nearly best possible bound $|\mathcal F|\le 2^{n-2}$ is proved. We believe that $38$ can be replaced by $3$ and provide a simple-looking conjecture that would imply this.

It is shown that if a $d$-dimensional cube is decomposed into n cubes, the side lengths of which belong to the interval $\left(1-\frac{1}{n^{1/d}+1}, 1\right], then $n$ is a perfect $d$-th power and all cubes are of the same size. This result is essentially tight.

More than 50 years ago, Erd\H os asked the following question: what is the maximum size of a family $\mathcal F$ of $k$-element subsets of an $n$-element set if it has no $s+1$ pairwise disjoint sets? This question attracted a lot of attention recently, in particular, due to its connection to various combinatorial, probabilistic and theoretical computer science problems. Improving the previous best bound due to the first author, we prove that $|\mathcal F|\le {n\choose k}-{n-s\choose k}$, provided $n\ge \frac 53sk -\frac 23 s$ and $s$ is sufficiently large. We derive several corollaries concerning Dirac thresholds and deviations of sums of random variables. We also obtain several related results.

Some best possible inequalities are established for k-partition-free families (cf. Definition 1) and they are applied to prove a sharpening of a classical result of Kleitman concerning families without k pairwise disjoint members.

Let $m(n)$ denote the maximum size of a family of subsets which does not contain two disjoint sets along with their union. In 1968 Kleitman proved that $m(n) = {n\choose m+1}+\ldots +{n\choose 2m+1}$ if $n=3m+1$. Confirming the conjecture of Kleitman, we establish the same equality for the cases $n=3m$ and $n=3m+2$, and also determine all extremal families. Unlike the case $n=3m+1$, the extremal families are not unique. This is a plausible reason behind the relative difficulty of our proofs. We completely settle the case of several families as well.

Some Erdős-Ko-Rado type extremal properties of families of vectors from $\{-1,0,1\}^n$ are considered.

An intersecting family of sets is trivial if all of its members share a common element. Hilton and Milner proved a strong stability result for the celebrated Erdős--Ko--Rado theorem: when $n> 2k$, every non-trivial intersecting family of $k$-subsets of $[n]$ has at most $\binom{n-1}{k-1}-\binom{n-k-1}{k-1}+1$ members. One extremal family $\mathcal{HM}_{n, k}$ consists of a $k$-set $S$ and all $k$-subsets of $[n]$ containing a fixed element $x\not\in S$ and at least one element of $S$. We prove a degree version of the Hilton--Milner theorem: if $n=Ω(k^2)$ and $\mathcal{F}$ is a non-trivial intersecting family of $k$-subsets of $[n]$, then $δ(\mathcal{F})\le δ(\mathcal{HM}_{n.k})$, where $δ(\mathcal{F})$ denotes the minimum (vertex) degree of $\mathcal{F}$. Our proof uses several fundamental results in extremal set theory, the concept of kernels, and a new variant of the Erdős--Ko--Rado theorem.

We give a short survey of problems and results on (1) diameter graphs and hypergraphs, and (2) geometric Ramsey theory. We also make some modest contributions to both areas. Extending a well known theorem of Kahn and Kalai which disproved Borsuk's conjecture, we show that for any integer $r\ge 2$, there exist $\varepsilon=\varepsilon(r)>0$ and $d_0=d_0(r)$ with the following property. For every $d\ge d_0$, there is a finite point set $P\subset\mathbb{R}^d$ of diameter $1$ such that no matter how we color the elements of $P$ with fewer than $(1+\varepsilon)^{\sqrt{d}}$ colors, we can always find $r$ points of the same color, any two of which are at distance $1$.

In this paper, we study the following classical question of extremal set theory: what is the maximum size of a family of subsets of $[n]$ such that no $s$ sets from the family are pairwise disjoint? This problem was first posed by Erd\H os and resolved for $n\equiv 0, -1\ (\mathrm{mod }\ s)$ by Kleitman in the 60s. Very little progress was made on the problem until recently. The only result was a very lengthy resolution of the case $s=3,\ n\equiv 1\ (\mathrm{mod }\ 3)$ by Quinn, which was written in his PhD thesis and never published in a refereed journal. In this paper, we give another, much shorter proof of Quinn's result, as well as resolve the case $s=4,\ n\equiv 2\ (\mathrm{mod }\ 4)$. This complements the results in our recent paper, where, in particular, we answered the question in the case $n\equiv -2\ (\mathrm{mod }\ s)$ for $s\ge 5$.

A family of subsets of $\{1,\ldots,n\}$ is called {\it intersecting} if any two of its sets intersect. A classical result in extremal combinatorics due to Erdős, Ko, and Rado determines the maximum size of an intersecting family of $k$-subsets of $\{1,\ldots, n\}$. In this paper we study the following problem: how many intersecting families of $k$-subsets of $\{1,\ldots, n\}$ are there? Improving a result of Balogh, Das, Delcourt, Liu, and Sharifzadeh, we determine this quantity asymptotically for $n\ge 2k+2+2\sqrt{k\log k}$ and $k\to \infty$. Moreover, under the same assumptions we also determine asymptotically the number of {\it non-trivial} intersecting families, that is, intersecting families for which the intersection of all sets is empty. We obtain analogous results for pairs of cross-intersecting families.

In this paper we study a question related to the classical Erdős-Ko-Rado theorem, which states that any family of $k$-element subsets of the set $[n] = \{1,\ldots,n\}$ in which any two sets intersect, has cardinality at most ${n-1\choose k-1}$. We say that two non-empty families are $\mathcal A, \mathcal B\subset {[n]\choose k}$ are {\it $s$-cross-intersecting}, if for any $A\in\mathcal A,B\in \mathcal B$ we have $|A\cap B|\ge s$. In this paper we determine the maximum of $|\mathcal A|+|\mathcal B|$ for all $n$. This generalizes a result of Hilton and Milner, who determined the maximum of $|\mathcal A|+|\mathcal B|$ for nonempty $1$-cross-intersecting families.

In 1965 Erd\H os conjectured that for all $k\ge2$, $s\ge1$ and $n\ge k(s+1)$, an $n$-vertex $k$-uniform hypergraph $\F$ with $ν(\F)=s$ cannot have more than \newline $\max\{\binom{sk+k-1}k,\;\binom nk-\binom{n-s}k\}$ edges. It took almost fifty years to prove it for triple systems. In 2012 we proved the conjecture for all $s$ and all $n\ge4(s+1)$. Then Łuczak and Mieczkowska (2013) proved the conjecture for sufficiently large $s$ and all $n$. Soon after, Frankl proved it for all $s$. Here we present a simpler version of that proof which yields Erd\H os's conjecture for $s\ge33$. Our motivation is to lay down foundations for a possible proof in the much harder case $k=4$, at least for large $s$.

For integers $n\ge s\ge 2$ let $e(n,s)$ denote the maximum of $|\mathcal F|,$ where $\mathcal F$ is a family of subsets of an $n$-element set and $\mathcal F$ contains no $s$ pairwise disjoint members. Half a century ago, solving a conjecture of Erd\H os, Kleitman determined $e(sm-1,s)$ and $e(sm,s)$ for all $m,s\ge 1$. During the years very little progress in the general case was made. In the present paper we state a general conjecture concerning the value of $e(sm-l,m)$ for $1<l<s$ and prove its validity for $s>s_0(l,m).$ For $l=2$ we determine the value of $e(sm-2,m)$ for all $s\ge 5.$ Some related results shedding light on the problem from a more general context are proved as well.

The families $\mathcal F_1,\ldots, \mathcal F_s\subset 2^{[n]}$ are called $q$-dependent if there are no pairwise disjoint $F_1\in \mathcal F_1,\ldots, F_s\in\mathcal F_s$ satisfying $|F_1\cup\ldots\cup F_s|\le q.$ We determine $\max |\mathcal F_1|+\ldots +|\mathcal F_s| $ for all values $n\ge q,s\ge 2$. The result provides a far-reaching generalization of an important classical result of Kleitman. The well-known Erd\H os Matching Conjecture suggests the largest size of a family $\mathcal F\subset {[n]\choose k}$ with no $s$ pairwise disjoint sets. After more than 50 years its full solution is still not in sight. In the present paper, we provide a Hilton-Milner-type stability theorem for the Erdős Matching Conjecture in a relatively wide range, in particular, for $n\ge (2+o(1))sk$ with $o(1)$ depending on $s$ only. This is a considerable improvement of a classical result due to Bollobás, Daykin and Erdős. We apply our results to advance in the following anti-Ramsey-type problem, proposed by Özkahya and Young. Let $ar(n,k,s)$ be the minimum number $x$ of colors such that in any coloring of the $k$-element subsets of $[n]$ with $x$ (non-empty) colors there is a \textit{rainbow matching} of size $s$, that is, $s$ sets of different colors that are pairwise disjoint. We prove a stability result for the problem, which allows to determine $ar(n,k,s)$ for all $k\ge 3$ and $n\ge sk+(s-1)(k-1).$ Some other consequences of our results are presented as well.

Two families $\mathcal A$ and $\mathcal B$ of $k$-subsets of an $n$-set are called cross-intersecting if $A\cap B\ne\emptyset$ for all $A\in \mathcal A, B\in \mathcal B $. Strengthening the classical Erd\H os-Ko-Rado theorem, Pyber proved that $|\mathcal A||\mathcal B|\le {n-1\choose k-1}^2$ holds for $n\ge 2k$. In the present paper we sharpen this inequality. We prove that assuming $|\mathcal B|\ge {n-1\choose k-1}+{n-i\choose k-i+1}$ for some $3\le i\le k+1$ the stronger inequality $$|\mathcal A||\mathcal B|\le \Bigl({n-1\choose k-1}+{n-i\choose k-i+1}\Bigr)\Bigl({n-1\choose k-1}-{n-i\choose k-1}\Bigr)$$ holds. These inequalities are best possible.

In this paper we study two directions of extending the classical Erd\H os-Ko-Rado theorem which states that any family of $k$-element subsets of the set $[n] = \{1,\ldots,n\}$ in which any two sets intersect, has cardinality at most ${n-1\choose k-1}$. In the first part of the paper we study the families of $\{0,\pm 1\}$-vectors. Denote by $\mathcal L_k$ the family of all vectors $\mathbf v$ from $\{0,\pm 1\}^n$ such that $\langle\mathbf v,\mathbf v\rangle = k$. For any $k$, most $l$ and sufficiently large $n$ we determine the maximal size of the family $\mathcal V\subset \mathcal L_k$ such that for any $\mathbf v,\mathbf w\in \mathcal V$ we have $\langle \mathbf v,\mathbf w\rangle\ge l$. We find some exact values of this function for all $n$ for small values of $k$. In the second part of the paper we study cross-intersecting pairs of families. We say that two families are $\mathcal A, \mathcal B$ are \textit{$s$-cross-intersecting}, if for any $A\in\mathcal A,B\in \mathcal B$ we have $|A\cap B|\ge s$. We also say that a set family $\mathcal A$ is {\it $t$-intersecting}, if for any $A_1,A_2\in \mathcal A$ we have $|A_1\cap A_2|\ge t$. For a pair of nonempty $s$-cross-intersecting $t$-intersecting families $\mathcal A,\mathcal B$ of $k$-sets, we determine the maximal value of $|\mathcal A|+|\mathcal B|$ for $n$ sufficiently large.

Let $d$ be a fixed positive integer and let $ε>0$. It is shown that for every sufficiently large $n\geq n_0(d,ε)$, the $d$-dimensional unit cube can be decomposed into exactly $n$ smaller cubes such that the ratio of the side length of the largest cube to the side length of the smallest one is at most $1+ε$. Moreover, for every $n\geq n_0$, there is a decomposition with the required properties, using cubes of at most $d+2$ different side lengths. If we drop the condition that the side lengths of the cubes must be roughly equal, it is sufficient to use cubes of two different sizes.

Let $A\subset \mathbb{N}^{n}$ be an $r$-wise $s$-union family, that is, a family of sequences with $n$ components of non-negative integers such that for any $r$ sequences in $A$ the total sum of the maximum of each component in those sequences is at most $s$. We determine the maximum size of $A$ and its unique extremal configuration provided (i) $n$ is sufficiently large for fixed $r$ and $s$, or (ii) $n=r+1$.

The main object of this paper is to determine the maximum number of $\{0,\pm 1\}$-vectors subject to the following condition. All vectors have length $n$, exactly $k$ of the coordinates are $+1$ and one is $-1$, $n \geq 2k$. Moreover, there are no two vectors whose scalar product equals the possible minimum, $-2$. Thus, this problem may be seen as an extension of the classical Erd\H os-Ko-Rado theorem. Rather surprisingly there is a phase transition in the behaviour of the maximum at $n=k^2$. Nevertheless, our solution is complete. The main tools are from extremal set theory and some of them might be of independent interest.