On non-empty cross-intersecting families

Abstract: 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).