Large sets of \(t\)-designs over finite fields exist for all \(t\) (Q2153752)

A \(t\)-\((n, k, \lambda)_q\) design is a set of \(k\)-dimensional subspaces, called blocks, of an \(n\)-dimensional vector space \(V\) over the finite field \(\mathbb{F}_q\) with \(q\) elements such that each \(t\)-dimensional subspace is contained in exactly \(\lambda\) blocks. A partition of the complete set of \(k\)-dimensional subspaces of \(V\) into \(\ell\) disjoint \(t\)-\((n, k, \lambda)_q\) designs is called a large set of \(t\)-designs over \(\mathbb{F}_q\) and denoted by \(LS_q [\ell](t, k, n)\). In this article, the authors use a powerful probabilistic method given by \textit{G. Kuperberg} et al. [Geom. Funct. Anal. 27, No. 4, 919--972 (2017; Zbl 1369.05024)] (the KLP theorem) to prove that an \(LS_q [\ell](t, k, n)\) exists for all \(t\) and \(q\), provided that \(k > 6.1(t + 1)\), \(n\) is sufficiently large and the \(q\)-binomial coefficient with parameters \(n-s\) and \(k-s\) is congruent to 0 (mod \(\ell\)) for \(0 \leq s \leq t\).