Steiner 系统的 q-类比

Steiner 结构 $\dS = \dS_q[t,k,n]$ 是 $\F_q^n$ 中 $k$ 维子空间的集合，使得 $\F_q^n$ 中的每个 $t$ 维子空间恰好包含在 $\dS$ 的一个子空间中。Steiner 结构是 Steiner 系统的 $q$-类比；目前已知它们仅存在于 $t = 1$、$t=k$ 以及 $k = n$ 的情况。非平凡 Steiner 系统的 $q$-类比的存在性问题困扰数学家已超过三十年。事实上，曾有人猜想它们并不存在。在本文中，我们证明了非平凡 Steiner 结构确实存在。首先，我们描述了一种可用于生成 Steiner 结构的通用方法。该方法利用了有限域中的两个映射：Frobenius 映射和循环移位映射。这些映射被应用于 Grassmannian 中的码，以形成 Steiner 结构的自同构群。利用此方法，并辅以精确覆盖计算机搜索，我们显式地生成了一个 Steiner 结构 $\dS_2[2,3,13]$。我们猜想存在许多具有不同参数的其他 Steiner 结构。