English

A new series of large sets of subspace designs over the binary field

Combinatorics 2025-10-02 v1

Abstract

In this article, we show the existence of large sets LS2[3](2,k,v)\operatorname{LS}_2[3](2,k,v) for infinitely many values of kk and vv. The exact condition is v8v \geq 8 and 0kv0 \leq k \leq v such that for the remainders vˉ\bar{v} and kˉ\bar{k} of vv and kk modulo 66 we have 2vˉ<kˉ52 \leq \bar{v} < \bar{k} \leq 5. The proof is constructive and consists of two parts. First, we give a computer construction for an LS2[3](2,4,8)\operatorname{LS}_2[3](2,4,8), which is a partition of the set of all 44-dimensional subspaces of an 88-dimensional vector space over the binary field into three disjoint 22-(8,4,217)2(8, 4, 217)_2 subspace designs. Together with the already known LS2[3](2,3,8)\operatorname{LS}_2[3](2,3,8), the application of a recursion method based on a decomposition of the Gra{\ss}mannian into joins yields a construction for the claimed large sets.

Keywords

Cite

@article{arxiv.1603.06976,
  title  = {A new series of large sets of subspace designs over the binary field},
  author = {Michael Kiermaier and Reinhard Laue and Alfred Wassermann},
  journal= {arXiv preprint arXiv:1603.06976},
  year   = {2025}
}