arXiv++ Combinatorics

Let $Q$ be an ideal (downward-closed set) in the lattice of linear subspaces of $(\mathbb F_q)^n$, ordered by inclusion. For $0 \le k \le n$, let $μ_k(Q)$ denote the fraction of $k$-dimensional subspaces that belong to $Q$. We show that these densities satisfy \[ μ_k(Q) = \frac{1}{1+z} \quad\Longrightarrow\quad μ_{k+1}(Q) \le \frac{1}{1+qz}. \] This implies a sharp threshold theorem: if $μ_k(Q) \le 1-\varepsilon$, then $μ_\ell(Q) \le \varepsilon$ for $\ell = k + O(\log_q(1/\varepsilon))$.