arXiv subjects
Publications and source records attributed to Toshihiro Shimizu.
For an integer $r\geq 3$ and real numbers $a_1,\ldots,a_r\in(0,1)$, let $a=a_1\cdots a_r$. We show that \[ \prod_{i=1}^r(a_i+a_i^2+\cdots+a_i^r)\geq \prod_{i=1}^r(a_i+a_i^2+\cdots+a_i^{r-1}+a). \] This inequality enables us to bound the measure of $r$-cross $t$-intersecting families.
Let $V$ be an $n$-dimensional vector space over a finite field of order $q$. Let $r\geq 3$, $(r-1)n\geq rk$ and let $\mathcal F_1,\ldots,\mathcal F_r\subset \genfrac{[}{]}{0pt}{}{V}{k}$, where $\genfrac{[}{]}{0pt}{}{V}{k}$ denotes the set of $k$-dimensional subspaces of $V$. Suppose that $F_1\cap\cdots\cap F_r\neq\{0\}$ holds for all $F_i\in\mathcal F_i$, $1\leq i\leq r$. Then we show that $\prod_{i=1}^r|\mathcal F_i|\leq\genfrac{[}{]}{0pt}{}{n-1}{k-1}$, provided $n-k$ is sufficiently large for fixed $q$ and $r$. Moreover, equality holds if and only if there is a common line $L$ such that every family $\mathcal F_i$ consists of all $k$-dimensional subspaces containing the line $L$. One of the main tools of the proof is a junta theorem concerning intersecting linear maps obtained by Ellis, Kindler, and Lifshitz.