\(q\)-analogs of \(t\)-wise balanced designs from Borel subgroups (Q5963362)

Block designs over a finite field \(\mathbb F_q\) have been objects of sufficient interest in the last few decades. These are objects whose blocks are subspaces of the ambient vector space \({\mathbb F_q}^n\) (where \(n\) and the prime power \(q\) are fixed). In the standard literature, such designs are referred to as \(q\)-analogs of block designs. Let \(t\) be a positive integer and \(K\) a subset of positive integers. A \(t\)-wise balanced design \(t\)-\((n, K, \lambda)\) is a collection of subsets (called blocks) of an \(n\)-set with each block size in \(K\) such that every \(t\)-tuple of points is contained in \(\lambda\) blocks. These were initially studied by \textit{E. S. Kramer} and \textit{D. M. Mesner} [Discrete Math. 15, 263--296 (1976; Zbl 0362.05049)]. In this interesting paper, the author uses a Borel subgroup (which consists of all the upper triangular non-singular matrices) of \(\mathrm{GL}(n, q)\) to construct an infinite class of examples of \(q\)-analogs of \(t\)-wise balanced designs. By suitably combining the orbits under the action of Borel subgroups, the author constructs a \(t\)-wise balanced design over \(\mathbb F_q\) with \(n = t + 4,~K = \{t + 1, t + 2\}\) and \(\lambda = q^3 + q^2 + q + 1\).