arXiv++ Combinatorics

For $n > 2k \geq 4$ we consider intersecting families $\mathcal F$ consisting of $k$-subsets of $\{1, 2, \ldots, n\}$. Let $\mathcal I(\mathcal F)$ denote the family of all distinct intersections $F \cap F'$, $F \neq F'$ and $F, F'\in \mathcal F$. Let $\mathcal A$ consist of the $k$-sets $A$ satisfying $|A \cap \{1, 2, 3\}| \geq 2$. We prove that for $n \geq 50 k^2$ $|\mathcal I(\mathcal F)|$ is maximized by $\mathcal A$.

A family $\mathcal F$ has covering number $τ$ if the size of the smallest set intersecting all sets from $\mathcal F$ is equal to $τ$. Let $M(n,k,τ)$ stand for the size of the largest intersecting family $\mathcal F$ of $k$-element subsets of $\{1,\ldots,n\}$ with covering number $τ$. It is a classical result of Erd\H os and Lovász that $M(n,k,k)\le k^k$ for any $n$. In this short note, we explore the behaviour of $M(n,k,τ)$ for $n<k^2$ and large $τ$. The results are quite surprising: For example, we show that $M(n,k,τ) =(1-o(1)){n-1\choose k-1}$, if $n = \lfloor k^{3/2}\rfloor$, and $τ\le k-k^{3/4+o(1)}$ as $k\to\infty$; $M(n,k,τ) <e^{-ck^{1/2}}{n\choose k}$, if $n = \lfloor k^{3/2}\rfloor$ and $τ>k-\frac 12k^{1/2}$.

For a family $\mathcal F$, let $\mathcal D(\mathcal F)$ stand for the family of all sets that can be expressed as $F\setminus G$, where $F,G\in \mathcal F$. A family $\mathcal F$ is intersecting if any two sets from the family have non-empty intersection. In this paper, we study the following question: what is the maximum of $|\mathcal D(\mathcal F)|$ for an intersecting family of $k$-element sets? Frankl conjectured that the maximum is attained when $\mathcal F$ is the family of all sets containing a fixed element. We show that this holds if $n \ge 50k\ln k$ and $k \ge 50$. At the same time, we provide a counterexample for $n< 4k$.

Let $\mathcal{A}_1,\ldots,\mathcal{A}_m$ be families of $k$-subsets of an $n$-set. Suppose that one cannot choose pairwise disjoint edges from $s+1$ distinct families. Subject to this condition we investigate the maximum of $|\mathcal{A}_1|+\ldots+|\mathcal{A}_m|$. Note that the subcase $m=s+1$, $\mathcal{A}_1=\ldots=\mathcal{A}_m$ is the Erdős Matching Conjecture, one of the most important open problems in extremal set theory. We provide some upper bounds, a general conjecture and its solution for the range $n\geq 4k^2s$.

In a recent breakthrough, Adiprasito, Avvakumov, and Karasev constructed a triangulation of the $n$-dimensional real projective space with a subexponential number of vertices. They reduced the problem to finding a small downward closed set-system $\cal F$ covering an $n$-element ground set which satisfies the following condition: For any two disjoint members $A, B\in\cal F$, there exist $a\in A$ and $b\in B$ such that either $B\cup\{a\}\in\cal F$ and $A\cup\{b\}\setminus\{a\}\in\cal F$, or $A\cup\{b\}\in\cal F$ and $B\cup\{a\}\setminus\{b\}\in\cal F$. Denoting by $f(n)$ the smallest cardinality of such a family $\cal F$, they proved that $f(n)<2^{O(\sqrt{n}\log n)}$, and they asked for a nontrivial lower bound. It turns out that the construction of Adiprasito et al. is not far from optimal; we show that $2^{(1.42+o(1))\sqrt{n}}\le f(n)\le 2^{(1+o(1))\sqrt{2n\log n}}$. We also study a variant of the above problem, where the condition is strengthened by also requiring that for any two disjoint members $A, B\in\cal F$ with $|A|>|B|$, there exists $a\in A$ such that $B\cup\{a\}\in\cal F$. In this case, we prove that the size of the smallest $\cal F$ satisfying this stronger condition lies between $2^{Ω(\sqrt{n}\log n)}$ and $2^{O(n\log\log n/\log n)}$.

Given $n$ pairwise disjoint sets $X_1,\ldots, X_n$, we call the elements of $S=X_1\times\ldots\times X_n$ strings. A nonempty set of strings $W\subseteq S$ is said to be well-connected if for every $v\in W$ and for every $i\, (1\le i\le n)$, there is another element $v'\in W$ which differs from $v$ only in its $i$th coordinate. We prove a conjecture of Yaokun Wu and Yanzhen Xiong by showing that every set of more than $\prod_{i=1}^n|X_i|-\prod_{i=1}^n(|X_i|-1)$ strings has a well-connected subset. This bound is tight.

For a $k$-graph $\mathcal{F}\subset \binom{[n]}{k}$, the clique number of $\mathcal{F}$ is defined to be the maximum size of a subset $Q$ of $[n]$ with $\binom{Q}{k}\subset \mathcal{F}$. In the present paper, we determine the maximum number of edges in a $k$-graph on $[n]$ with matching number at most $s$ and clique number at least $q$ for $n\geq 8k^2s$ and for $q \geq (s+1)k-l$, $n\leq (s+1)k+s/(3k)-l$. Two special cases that $q=(s+1)k-2$ and $k=2$ are solved completely.

Several new applications of Katona's circle are given.

Given a family of sets on the plane, we say that the family is intersecting if for any two sets from the family their interiors intersect. In this paper, we study intersecting families of triangles with vertices in a given set of points. In particular, we show that if a set $P$ of $n$ points is in convex position, then the largest intersecting family of triangles with vertices in $P$ contains at most $(\frac{1}{4}+o(1))\binom{n}{3}$ triangles.

Let $2^{[n]}$ and $\binom{[n]}{i}$ be the power set and the class of all $i$-subsets of $\{1,2,\cdots,n\}$, respectively. We call two families $\mathscr{A}$ and $\mathscr{B}$ cross-intersecting if $A\cap B\neq \emptyset$ for any $A\in \mathscr{A}$ and $B\in \mathscr{B}$. In this paper we show that, for $n\geq k+l,l\geq r\geq 1,c>0$ and $\mathscr{A}\subseteq \binom{[n]}{k},\mathscr{B}\subseteq \binom{[n]}{l}$, if $\mathscr{A}$ and $\mathscr{B}$ are cross-intersecting and $\binom{n-r}{l-r}\leq|\mathscr{B}|\leq \binom{n-1}{l-1}$, then $$|\mathscr{A}|+c|\mathscr{B}|\leq \max\left\{\binom{n}{k}-\binom{n-r}{k}+c\binom{n-r}{l-r},\ \binom{n-1}{k-1}+c\binom{n-1}{l-1}\right\}$$ and the families $\mathscr{A}$ and $\mathscr{B}$ attaining the upper bound are also characterized. This generalizes the corresponding result of Hilton and Milner for $c=1$ and $r=k=l$, and implies a result of Tokushige and the second author (Theorem 1.3).

Let $n>s>0$ be integers, $X$ an $n$-element set and $\mathscr{A}, \mathscr{B}\subset 2^X$ two families. If $|A\cup B|\le s$ for all $A\in\mathscr{A}, B\in \mathscr{B}$, then $\mathscr{A}$ and $\mathscr{B}$ are called cross $s$-union. Assuming that neither $\mathscr{A}$ nor $\mathscr{B}$ is empty, we prove several best possible bounds. In particular, we show that $|\mathscr{A}|+|\mathscr{B}|\le 1+\sum\limits_{0\le i\le s}{{n}\choose{i}}$. Supposing $n\ge 2s$ and $\mathscr{A},\mathscr{B}$ are antichains, we show that $|\mathscr{A}|+|\mathscr{B}|\le {{n}\choose{1}}+{{n}\choose{s-1}}$ unless $\mathscr{A}=\{\emptyset\}$ or $\mathscr{B}=\{\emptyset\}$. An analogous result for three families is established as well.

Let $X$ be an $n$-element set, where $n$ is even. We refute a conjecture of J. Gordon and Y. Teplitskaya, according to which, for every maximal intersecting family $\mathcal{F}$ of $\frac{n}2$-element subsets of $X$, one can partition $X$ into $\frac{n}2$ disjoint pairs in such a way that no matter how we pick one element from each of the first $\frac{n}2 - 1$ pairs, the set formed by them can always be completed to a member of $\mathcal{F}$ by adding an element of the last pair. The above problem is related to classical questions in extremal set theory. For any $t\ge 2$, we call a family of sets $\mathcal{F}\subset 2^X$ {\em $t$-separable} if for any ordered pair of elements $(x,y)$ of $X$, there exists $F\in\mathcal{F}$ such that $F\cap\{x,y\}=\{x\}$. For a fixed $t, 2\le t\le 5$ and $n\rightarrow\infty$, we establish asymptotically tight estimates for the smallest integer $s=s(n,t)$ such that every family $\mathcal{F}$ with $|\mathcal{F}|\ge s$ is $t$-separable.

Since its formulation, Turán's hypergraph problems have been among the most challenging open problems in extremal combinatorics. One of them is the following: given a $3$-uniform hypergraph $\mathcal{F}$ on $n$ vertices in which any five vertices span at least one edge, prove that $|\mathcal{F}| \ge (1/4 -o(1))\binom{n}{3}$. The construction showing that this bound would be best possible is simply $\binom{X}{3} \cup \binom{Y}{3}$ where $X$ and $Y$ evenly partition the vertex set. This construction has the following more general $(2p+1, p+1)$-property: any set of $2p+1$ vertices spans a complete sub-hypergraph on $p+1$ vertices. One of our main results says that, quite surprisingly, for all $p>2$ the $(2p+1,p+1)$-property implies the conjectured lower bound.

Let $n > k > 1$ be integers, $[n] = \{1, \ldots, n\}$. Let $\mathcal F$ be a family of $k$-subsets of~$[n]$. The family $\mathcal F$ is called intersecting if $F \cap F' \neq \emptyset$ for all $F, F' \in \mathcal F$. It is called almost intersecting if it is not intersecting but to every $F \in \mathcal F$ there is at most one $F'\in \mathcal F$ satisfying $F \cap F' = \emptyset$. Gerbner et al. proved that if $n \geq 2k + 2$ then $|\mathcal F| \leq {n - 1\choose k - 1}$ holds for almost intersecting families. The main result implies the considerably stronger and best possible bound $|\mathcal F| \leq {n - 1\choose k - 1} - {n - k - 1\choose k - 1} + 2$ for $n > (2 + o(1))k$.

In this paper, we study the maximum degree in non-empty induced subgraphs of the Kneser graph $KG(n,k)$. One of the main results asserts that, for $k>k_0$ and $n>64k^2$, whenever a non-empty subgraph has $m\ge k{n-2\choose k-2}$ vertices, its maximum degree is at least $\frac 12(1-\frac {k^2}n) m - {n-2\choose k-2}\ge 0.49 m$. This bound is essentially best possible. One of the intermediate steps is to obtain structural results on non-empty subgraphs with small maximum degree.

In this paper, we investigate Erd\H os--Ko--Rado type theorems for families of vectors from $\{0,\pm 1\}^n$ with fixed numbers of $+1$'s and $-1$'s. Scalar product plays the role of intersection size. In particular, we sharpen our earlier result on the largest size of a family of such vectors that avoids the smallest possible scalar product. We also obtain an exact result for the largest size of a family with no negative scalar products.

For an $n$-element set $X$ let $\binom{X}{k}$ be the collection of all its $k$-subsets. Two families of sets $\mathcal A$ and $\mathcal B$ are called cross-intersecting if $A\cap B \neq \emptyset$ holds for all $A\in\mathcal A$, $B\in\mathcal B$. Let $f(n,k)$ denote the maximum of $\min\{|\mathcal A|, |\mathcal B|\}$ where the maximum is taken over all pairs of {\em disjoint}, cross-intersecting families $\mathcal A, \mathcal B\subset\binom{[n]}{k}$. Let $c=\log_2e$. We prove that $f(n,k)=\left\lfloor\frac12\binom{n-1}{k-1}\right\rfloor$ essentially iff $n>ck^2$ (cf. Theorem~1.4 for the exact statement). Let $f^*(n,k)$ denote the same maximum under the additional restriction that the intersection of all members of both $\mathcal A$ and $\mathcal B$ are empty. For $k\ge5$ and $n\ge k^3$ we show that $f^*(n,k)=\left\lfloor\frac12\left(\binom{n-1}{k-1}-\binom{n-2k}{k-1}\right)\right\rfloor+1$ and the restriction on $n$ is essentially sharp (cf. Theorem~5.4).

Best possible bounds are established for families without s pairwise disjoint members and the more general problem for several families. The results are shown to apply several classical results.

A family $\mathcal F\subset {[n]\choose k}$ is $U(s,q)$ of for any $F_1,\ldots, F_s\in \mathcal F$ we have $|F_1\cup\ldots\cup F_s|\le q$. This notion generalizes the property of a family to be $t$-intersecting and to have matching number smaller than $s$. In this paper, we find the maximum $|\mathcal F|$ for $\mathcal F$ that are $U(s,q)$, provided $n>C(s,q)k$ with moderate $C(s,q)$. In particular, we generalize the result of the first author on the Erdős Matching Conjecture and prove a generalization of the Erdős-Ko-Rado theorem, which states that for $n> s^2k$ the largest family $\mathcal F\subset {[n]\choose k}$ with property $U(s,s(k-1)+1)$ is the star and is in particular intersecting. (Conversely, it is easy to see that any intersecting family in ${[n]\choose k}$ is $U(s,s(k-1)+1)$.) We investigate the case $k=3$ more thoroughly, showing that, unlike in the case of the Erdős Matching Conjecture, in general there may be $3$ extremal families.

We say that a family $\mathcal F$ of $k$-element sets is a {\it $j$-junta} if there is a set $J$ of size $j$ such that, for any $F$, its presence in $\mathcal F$ depends on its intersection with $J$ only. Approximating arbitrary families by $j$-juntas with small $j$ is a recent powerful technique in extremal set theory. The weak point of all known junta approximation results is that they work in the range $n>Ck$, where $C$ is an extremely fast growing function of the input parameters, such as the quality of approximation or the number of families we simultaneously approximate. We say that a family $\mathcal F$ is {\it shifted} if for any $F=\{x_1,\ldots, x_k\}\in \mathcal F$ and any $G =\{y_1,\ldots, y_k\}$ such that $y_i\le x_i$, we have $G\in \mathcal F$. For many extremal set theory problems, including the Erd\H os Matching Conjecture, or the Complete $t$-Intersection Theorem, it is sufficient to deal with shifted families only. In this paper, we present very general approximation by juntas results for shifted families with explicit (and essentially linear) dependency on the input parameters. The results are best possible up to some constant factors. Moreover, they give meaningful statements for almost all range of values of $n$. The proofs are shorter than the proofs of the previous approximation by juntas results and are completely self-contained. As an application of our junta approximation, we give a nearly-linear bound for the multi-family version of the Erd\H os Matching Conjecture. More precisely, we prove the following result. Let $n\ge 12sk\log(e^2s)$ and suppose that the families $\mathcal F_1,\ldots, \mathcal F_s\subset {[n]\choose k}$ do not contain $F_1\in\mathcal F_1,\ldots, F_s\in \mathcal F_s$ such that $F_i$'s are pairwise disjoint. Then $\min_{i}|\mathcal F_i|\le {n\choose k}-{n-s+1\choose k}.$