Completely (Quasi-)Uniform Nested Boolean Steiner Quadruple Systems

Abstract

Nested Steiner quadruple systems are designs derived from Steiner quadruple systems (SQSs) by partitioning each block into pairs. A nested SQS is completely uniform if every possible pair appears with equal multiplicity, and completely quasi-uniform if every pair appears with multiplicities that differ by at most one. An explicit construction on the Boolean SQS of order $2^m$ is presented, producing a nested SQS$(2^m)$ that is completely uniform when $m$ is odd and completely quasi-uniform when $m$ is even for each integer $m \ge 3$ . These results resolve two open problems posed by Chee et al. (2025). The notion of completely uniform pairings is further generalized for $t$-designs with $t \ge 2$. As an application, completely uniform nested $2$-$(2^m,4,3)$ designs give rise to fractional repetition codes with zero skip cost, requiring fewer storage nodes than constructions based on SQSs. In addition, small examples are provided for non-Boolean orders, establishing the existence of completely uniform nested SQS$(v)$ for all $v \le 50$.