The product measures of cross $t$-intersecting families

TL;DR

This paper explores product measures and intersection properties of cross t-intersecting families in combinatorics, proving new bounds, confirming classical conjectures, and extending known theorems in the field.

Contribution

It establishes new bounds for product measures of cross t-intersecting families, confirms two classical conjectures, and generalizes existing theorems in extremal combinatorics.

Findings

Proved bounds for product measures of cross t-intersecting families in set systems.

Confirmed two classical conjectures of Tokushige regarding intersection sizes.

Extended a recent theorem of Frankl--Kupavskii, generalizing the IU-Theorem.

Abstract

We investigate the product measures of intersection problems in extremal combinatorics. Invoking a recent result of He--Li--Wu--Zhang, we prove that for any $ n \geq t \geq 3$ and $ p_1, p_2 \in (0, \frac{1}{t+1})$, if $ \mathcal{F}_1, \mathcal{F}_2 \subseteq 2^{[n]}$ are cross $ t$-intersecting families, then $\mu_{p_1}(\mathcal{F}_1)\mu_{p_2}(\mathcal{F}_2)\le (p_1p_2)^t$. Secondly, we study the intersection problems for integer sequences by proving that if $\mathcal{H}_1, \mathcal{H}_2 \subseteq [m]^{n}$ are cross $t$-intersecting with $ m > t+1$, then $|\mathcal{H}_1|| \mathcal{H}_2|\leq (m^{n-t})^2$. These results confirm two classical conjectures of Tokushige. As an application, we strengthen a recent theorem of Frankl--Kupavskii, generalizing the well-known IU-Theorem. Finally, we show that if $ p \geq \frac{1}{2}$ and $ \mathcal{F}_1, \mathcal{F}_2 \subseteq 2^{[n]}$ are cross $t$-intersecting families, then $\min \left\{\mu_{p}(\mathcal{F}_1),\mu_{p}(\mathcal{F}_2)\right\} \leq \mu_{p}(\mathcal{K}(n,t))$, where $\mathcal{K}(n,t)$ denotes the Katona family. This recovers an old result of Ahlswede--Katona.