The maximum product of sizes of cross-\(t\)-intersecting families

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Bao, Jingjun, Ji, Lijun
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866908590817673216
author Bao, Jingjun
Ji, Lijun
author_facet Bao, Jingjun
Ji, Lijun
contents Two families of sets \(\mathcal{A}\) and \(\mathcal{B}\) are called \emph{cross-\(t\)-intersecting} if \(|A \cap B| \geq t\) for all \(A \in \mathcal{A}\) and \(B \in \mathcal{B}\). Determining the maximum product of sizes for such cross-\(t\)-intersecting families is an active problem in extremal set theory. In this paper, we verify the following cross-\(t\)-intersecting version of the Erdős-Ko-Rado theorem: For \(k\geq l \geq t \geq 3\) and \(\min\{m,n\} \geq (t+1)(k-t+1)\), the maximun value of \(|\mathcal{A}||\mathcal{B}|\) for two cross-\(t\)-intersecting families \(\mathcal{A}\subseteq \binom{[n]}{k}\) and \(\mathcal{B} \subseteq \binom{[m]}{l}\) is \( \binom{n-t}{k-t}\binom{m-t}{l-t}\). Moreover, we characterize the extremal families attaining the upper bound. Our result confirms a conjecture of Tokushige for \(t \geq 3\), and actually proves a more general result.
format Preprint
id arxiv_https___arxiv_org_abs_2510_11724
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle The maximum product of sizes of cross-\(t\)-intersecting families
Bao, Jingjun
Ji, Lijun
Combinatorics
Two families of sets \(\mathcal{A}\) and \(\mathcal{B}\) are called \emph{cross-\(t\)-intersecting} if \(|A \cap B| \geq t\) for all \(A \in \mathcal{A}\) and \(B \in \mathcal{B}\). Determining the maximum product of sizes for such cross-\(t\)-intersecting families is an active problem in extremal set theory. In this paper, we verify the following cross-\(t\)-intersecting version of the Erdős-Ko-Rado theorem: For \(k\geq l \geq t \geq 3\) and \(\min\{m,n\} \geq (t+1)(k-t+1)\), the maximun value of \(|\mathcal{A}||\mathcal{B}|\) for two cross-\(t\)-intersecting families \(\mathcal{A}\subseteq \binom{[n]}{k}\) and \(\mathcal{B} \subseteq \binom{[m]}{l}\) is \( \binom{n-t}{k-t}\binom{m-t}{l-t}\). Moreover, we characterize the extremal families attaining the upper bound. Our result confirms a conjecture of Tokushige for \(t \geq 3\), and actually proves a more general result.
title The maximum product of sizes of cross-\(t\)-intersecting families
topic Combinatorics
url https://arxiv.org/abs/2510.11724