Existence of $q$-Analogs of Steiner Systems

Abstract

Let $\F_q^n$ be a vector space of dimension $n$ over the finite field $\F_q$. A $q$-analog of a Steiner system (briefly, a $q$-Steiner system), denoted $S_q[t,k,n]$, is a set $S$ of $k$-dimensional subspaces of $\F_q^n$ such that each $t$-dimensional subspace of $\F_q^n$ is contained in exactly one element of $S$. Presently, $q$-Steiner systems are known only for $t=1$, and in the trivial cases $t=k$ and $k=n$. Invthis paper, the first nontrivial $q$-Steiner systems with $t>=2$ are constructed. Specifically, several nonisomorphic $q$-Steiner systems $S_2[2,3,13]$ are found by requiring that their automorphism groups contain the normalizer of a Singer subgroup of $\GL(13,2)$. This approach leads to an instance of the exact cover problem, which turns out to have many solutions.

References in corpus (1)

• $q$-Analogs for Steiner Systems and Covering Designs

Cited by in corpus (6)

• The order of the automorphism group of a binary $q$-analog of the Fano plane is at most two
• On the automorphism group of a binary $q$-analog of the Fano plane
• Subspace Polynomials and Cyclic Subspace Codes
• A new upper bound for subspace codes
• Constructions of new matroids and designs over GF(q)
• Tactical decompositions of designs over finite fields