The product measures of cross t-intersecting families
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≥t≥3 and p1,p2∈(0,t+11), if F1,F2⊆2[n] are cross t-intersecting families, then μp1(F1)μp2(F2)≤(p1p2)t. Secondly, we study the intersection problems for integer sequences by proving that if H1,H2⊆[m]n are cross t-intersecting with m>t+1, then ∣H1∣∣H2∣≤(mn−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≥21 and F1,F2⊆2[n] are cross t-intersecting families, then min{μp(F1),μp(F2)}≤μp(K(n,t)), where K(n,t) denotes the Katona family. This recovers an old result of Ahlswede--Katona.