arXiv++ Combinatorics

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$, and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. The families $\mathcal{F}\subseteq {V\brack k}$ and $\mathcal{G}\subseteq {V\brack \ell}$ are said to be cross $t$-intersecting if $\dim(F\cap G)\geq t$ for all $F\in\mathcal{F}$ and $G\in \mathcal{G}$. In this paper, we determine the extremal structures when $|\mathcal{F}||\mathcal{G}|$ attains the maximum value under the conditions $\dim\left(\cap_{F\in \mathcal{F}}F\right)<t$ and $\dim\left(\cap_{G\in \mathcal{G}}G\right)<t$.

Let $n$, $k$ and $t$ be positive integers, and let $\mathcal{F}$ be a collection of $k$-subsets of $[n]=\{1,2,\dots,n\}$. The $t$-covering number $τ_t(\mathcal{F})$ of $\mathcal{F}$ is defined as the minimum size of a set $T$ such that $|F\cap T|\geq t$ for all $F\in \mathcal{F}$. For positive integers $k_1$ and $k_2$, let $\mathcal{F}_i$ be a collection of $k_i$-subsets of $[n]$ for $i\in \{1,2\}$. The families $\mathcal{F}_1$ and $\mathcal{F}_2$ are said to be cross $t$-intersecting if $|F_1\cap F_2|\geq t$ for all $F_1\in\mathcal{F}_1$ and $F_2\in \mathcal{F}_2$. When $\mathcal{F}_1=\mathcal{F}_2$, $\mathcal{F}_1$ is called a $t$-intersecting family. In this paper, we first characterize the extremal structures of cross $t$-intersecting families $\mathcal{F}_1$ and $\mathcal{F}_2$ that maximize $|\mathcal{F}_1||\mathcal{F}_2|$ under the condition that $τ_t(\mathcal{F}_1)\geq t+1$ and $τ_t(\mathcal{F}_2)\geq t+1$. We then describe the maximal $t$-intersecting families with $t$-covering number $t+1$.