arXiv++ Combinatorics

Two families $\mathcal{A}, \mathcal{B} \subset \binom{[n]}{k}$ are cross-intersecting if $A \cap B \ne \emptyset$ for all $A \in \mathcal{A}$ and $B \in \mathcal{B}$, and non-trivial if neither $\m A$ nor $\m B$ is a star. Pyber proved that any two cross-intersecting families $\mathcal{A}, \mathcal{B} \subset \binom{[n]}{k}$ satisfy $|\mathcal{A}||\mathcal{B}| \le \binom{n-1}{k-1}^2$, and the maximum is attained by two full stars. Frankl, as well as Frankl and Wang, conjectured that the sharp bound, when both families are required to be non-trivial, is $h(n,k)^2$, where $h(n,k) = \binom{n-1}{k-1} - \binom{n-k-1}{k-1} + 1$, the size of the Hilton--Milner family. The cases $k=3$, and the range $k\ge8$ and $n\ge 4k$, were established earlier by Frankl and by Frankl and Wang, respectively. In this paper, we prove their conjecture in the full range. We show that every non-trivial cross-intersecting pair $\mathcal{A}, \mathcal{B} \subset \binom{[n]}{k}$ with $n \ge 2k$ and $k \ge 3$ satisfies $|\mathcal{A}||\mathcal{B}| \le h(n,k)^2$. Moreover, we characterize all extremal pairs. Whereas the corresponding sum problem admits asymmetric and unbalanced extremizers, the product extremum forces a balanced, symmetric-or-dual structure: the two families are isomorphic when $n>2k$ and complement-dual when $n=2k$. Independently and contemporaneously with the present work, Frankl and Wang obtained the same bound for $k\ge8$ and $n\ge2k+1$ by a different method. Our proof combines a diversity technique with several new properties of an extended shift operation. Moreover, we show that the problem behaves differently for different uniformities, exhibiting new extremal configurations. In particular, we disprove a related conjecture proposed by Frankl and Wang.

The study of intersecting families, initiated by Erdős, Ko, and Rado, is a central topic in extremal combinatorics. A classical stability result of Hilton and Milner determines the largest non-trivial intersecting family, and in subsequent works researchers developed structural stability results via the notion of diversity. In this paper, we study cross-intersecting families. We establish a structural theorem for large cross-intersecting pairs, extending Kupavskii's theorem from intersecting families to the cross-intersecting setting. Our result characterizes extremal cross-intersecting pairs in terms of their diversity parts and maximal cross-intersecting extensions. As corollaries, we obtain cross-intersecting analogues of several classical theorems, including those of Han--Kohayakawa and Huang--Peng. A key ingredient in the proof is a new shifting method, called the $S_{U,V}^{Q}$-shift, which not only preserves global intersection properties but also maintains certain local substructures after shifting. We expect this method to be useful elsewhere, and it is already one of the key tools in establishing a product analogue of the Hilton--Milner theorem.

The families $\mathcal{A}$ and $\mathcal{B}$ are cross intersecting if $A\cap B\ne \emptyset$ for any $A\in \mathcal{A}$ and $B\in \mathcal{B}$. Let $t\geq 2$ and $k_1\geq k_2\geq \cdots \geq k_t$. We say that $(\mathcal{F}_1, \dots, \mathcal{F}_t)$ is an $(n, k_1, \dots, k_t)$-cross intersecting system if $\mathcal{F}_1 \subseteq{[n]\choose k_1}, \ldots ,\mathcal{F}_t \subseteq{[n]\choose k_t}$ are non-empty pairwise cross intersecting families. Let $M(n,k_1,\ldots ,k_t)$ denote the maximum sum of sizes of families of an $(n,k_1,\ldots ,k_t)$-cross intersecting system. The case $t=2$ was studied by Frankl--Tokushige. Solving a problem of Shi-Frankl-Qian, Huang-Peng-Wang and Zhang-Feng independently determined $M(n, k_1, \dots, k_t)$ for all $n\geq k_1+k_2$.

An $(n, k_1, \dots, k_t)$-cross intersecting system is a set of non-empty pairwise cross-intersecting families $\mathcal{F}_1\subset{[n]\choose k_1}, \mathcal{F}_2\subset{[n]\choose k_2}, \dots, \mathcal{F}_t\subset{[n]\choose k_t}$ with $t\geq 2$ and $k_1\geq k_2\geq \cdots \geq k_t$. If an $(n, k_1, \dots, k_t)$-cross intersecting system contains at least two families which are cross intersecting freely and at least two families which are cross intersecting but not freely, then we say that the cross intersecting system is of mixed type. All previous studies are on non-mixed type, i.e, under the condition that $n \ge k_1+k_2$. In this paper, we study for the first interesting mixed type, an $(n, k_1, \dots, k_t)$-cross intersecting system with $k_1+k_3\leq n <k_1+k_2$, i.e., families $\mathcal{F}_i\subseteq {[n]\choose k_i}$ and $\mathcal{F}_j\subseteq {[n]\choose k_j}$ are cross intersecting freely if and only if $\{i, j\}=\{1, 2\}$. Let $M(n, k_1, \dots, k_t)$ denote the maximum sum of sizes of families in an $(n, k_1, \dots, k_t)$-cross intersecting system. We determine $M(n, k_1, \dots, k_t)$ and characterize all extremal $(n, k_1, \dots, k_t)$-cross intersecting systems for $k_1+k_3\leq n <k_1+k_2$. We think that the characterization of maximal cross intersecting L-initial families and the unimodality of functions in this paper are interesting in their own, in addition to the extremal result. The most general condition on $n$ is that $n\ge k_1+k_t$. This paper provides foundation work for the solution to the most general condition $n\ge k_1+k_t$.

Two families $\mathcal{A}$ and $\mathcal{B}$ are cross-intersecting if $A\cap B\ne \emptyset$ for any $A\in \mathcal{A}$ and $B\in \mathcal{B}$. We call $t$ families $\mathcal{A}_1, \mathcal{A}_2,\dots, \mathcal{A}_t$ pairwise cross-intersecting families if $\mathcal{A}_i$ and $\mathcal{A}_j$ are cross-intersecting when $1\le i<j \le t$. Additionally, if $\mathcal{A}_j\ne \emptyset$ for each $j\in [t]$, then we say that $\mathcal{A}_1, \mathcal{A}_2,\dots, \mathcal{A}_t$ are non-empty pairwise cross-intersecting. Let $\mathcal{A}_1\subset{[n]\choose k_1}, \mathcal{A}_2\subset{[n]\choose k_2}, \dots, \mathcal{A}_t\subset{[n]\choose k_t}$ be non-empty pairwise cross-intersecting families with $t\geq 2$, $k_1\geq k_2\geq \cdots \geq k_t$, $n\ge k_1+k_2$ and $d_1, d_2, \dots, d_t$ be positive numbers. In this paper, we give a sharp upper bound of $\sum_{j=1}^td_j|\mathcal{A}_j|$ and characterize the families $\mathcal{A}_1, \mathcal{A}_2,\dots, \mathcal{A}_t$ attaining the upper bound. Our results unifies results of Frankl and Tokushige [J. Combin. Theory Ser. A 61 (1992)], Shi, Frankl and Qian [Combinatorica 42 (2022)], Huang and Peng \cite{huangpeng}, and Zhang-Feng \cite{ZF2023}. Furthermore, our result can be applied in the treatment for some $n<k_1+k_2$ while all previous known results do not have such an application. In the proof, a result of Kruskal-Katona is applied to allow us to consider only families $\mathcal{A}_i$ whose elements are the first $|\mathcal{A}_i|$ elements in lexicographic order. We bound $\sum_{i=1}^t{|\mathcal{A}_i|}$ by a single variable function $g(R)$, where $R$ is the last element of $\mathcal{A}_1$ in lexicographic order. One crucial and challenge part is to verify that $-g(R)$ has unimodality. We think that the unimodality of functions in this paper are interesting in their own, in addition to the extremal result.

The celebrated Erdős-Ko-Rado theorem \cite{EKR1961} states that the maximum intersecting $k$-uniform family on $[n]$ is a full star if $n\ge 2k+1$. Furthermore, Hilton-Milner \cite{HM1967} showed that if an intersecting $k$-uniform family on $[n]$ is not a subfamily of a full star, then its maximum size achieves only on a family isomorphic to $HM(n,k):= \Bigl\{G\in {[n] \choose k}: 1\in G, G\cap [2,k+1] \neq \emptyset \Bigr\} \cup \Bigl\{ [2,k+1] \Bigr\} $ if $n>2k$ and $k\ge 4$, and there is one more possibility in the case of $k=3$. Han and Kohayakawa \cite{HK2017} determined the maximum intersecting $k$-uniform family on $[n]$ which is neither a subfamily of a full star nor a subfamily of the extremal family in Hilton-Milner theorm, and they asked what is the next maximum intersecting $k$-uniform family on $[n]$. Kostochka and Mubayi \cite{KM2016} gave the answer for large enough $n$. In this paper, we are going to get rid of the requirement that $n$ is large enough in the result by Kostochka and Mubayi \cite{KM2016} and answer the question of Han and Kohayakawa \cite{HK2017}.