Nontrivial $t$-designs in polar spaces exist for all $t$

A finite classical polar space of rank $n$ consists of the totally isotropic subspaces of a finite vector space over ${\mathbb{F}}_q$ equipped with a nondegenerate form such that $n$ is the maximal dimension of such a subspace. A $t$-$(n,k,\lambda )$ design in a finite classical polar space of rank $n$ is a collection $Y$ of totally isotropic $k$-spaces such that each totally isotropic $t$-space is contained in exactly $\lambda$ members of $Y$. Nontrivial examples are currently only known for $t\le 2$. We show that $t$-$(n,k,\lambda )$ designs in polar spaces exist for all $t$ and $q$ provided that $k>\frac{21}{2}t$ and $n$ is sufficiently large enough. The proof is based on a probabilistic method by Kuperberg, Lovett, and Peled, and it is thus nonconstructive.