arXiv++ Combinatorics

Let $V$ be an $n$-dimension real vector space with a direct sum decomposition $V = V_1 \oplus \cdots \oplus V_r$. Let $\mathcal{P} = \{(A_i, B_i) : i \in [m]\}$ be a skew Bollobás system of subspaces of $V$ such that each $i\in [m]$, $ A_i = \bigoplus_{k=1}^r (A_i \cap V_k)$ and $ B_i = \bigoplus_{k=1}^r (B_i \cap V_k)$. We prove that $$\sum_{i=1}^{m} \prod_{k=1}^{r} \left[ \binom{a_{i,k} + b_{i,k}}{a_{i,k}} (1 + a_{i,k} + b_{i,k})^{-1} \right] \leq 1,$$ where $a_{i,k} = \dim(A_i \cap V_k)$ and $b_{i,k} = \dim(B_i \cap V_k)$. This extends a recent result of Yue from set systems to finite dimensional subspaces. We then consider Tuza's theorem on weak Bollobás system for $d$-tuples. We give an alternative proof of the original set version of Tuza, and also establish its vector space analogue. Precisely, let $\mathcal{P} = \{(A_i^{(1)}, \ldots, A_i^{(d)}) : i \in [m]\}$ be a skew Bollobás system of $d$-tuples of subspaces of finite dimensional space $V$ with $a^{(\ell)}_i=\dim (A_i^{(\ell)})$. Then, for any positive real numbers $p_1, \ldots, p_d$ satisfying $p_1 + \cdots + p_d = 1$, we prove that $ \sum_{i=1}^{m} \prod_{\ell=1}^{d} p_{\ell}^{a_i^{(\ell)}} \leq 1. $

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 $μ_{p_1}(\mathcal{F}_1)μ_{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\{μ_{p}(\mathcal{F}_1),μ_{p}(\mathcal{F}_2)\right\} \leq μ_{p}(\mathcal{K}(n,t))$, where $\mathcal{K}(n,t)$ denotes the Katona family. This recovers an old result of Ahlswede--Katona.

This paper resolves two open problems in extremal set theory. For a family $\mathcal{F} \subseteq 2^{[n]}$ and $i, j\in [n]$, we denote $\mathcal{F} (i,\bar{j})=\{F\backslash\{i\}: F\in \mathcal{F}, F\cap\{i,j\}=\{i\}\}$. The sturdiness $β(\mathcal{F})$ is defined as the minimum $|\mathcal{F} (i,\bar{j})|$ over all $i\neq j$. A family $\mathcal{F}$ is called an IU-family if it satisfies the intersection constraint: $F\cap F'\neq \emptyset $ for all $F,F'\in \mathcal{F}$, as well as the union constraint: $F\cup F' \neq [n]$ for all $F,F'\in \mathcal{F}$. The well-known IU-Theorem states that every IU-family $\mathcal{F}\subseteq 2^{[n]}$ has size at most $ 2^{n-2}$. In this paper, we prove that if $\mathcal{F}\subseteq 2^{[n]}$ is an IU-family, then $β(\mathcal{F})\le 2^{n-4}$. This confirms a recent conjecture proposed by Frankl and Wang. As the second result, we establish a tight upper bound on the sum of sizes of cross $t$-intersecting separated families. Our result not only extends a previous theorem of Frankl, Liu, Wang and Yang on separated families, but also provides explicit counterexamples to an open problem proposed by them, thereby settling their problem in the negative.