Some new Steiner designs S(2, 6, 91)

Titelangaben

Kiermaier, Michael ; Krčadinac, Vedran ; Tonchev, Vladimir D. ; Vlahović Kruc, Renata ; Wassermann, Alfred:
Some new Steiner designs S(2, 6, 91).
In: Journal of Algebraic Combinatorics. Bd. 62 (2025) . - 38.
ISSN 1572-9192
DOI: https://doi.org/10.1007/s10801-025-01468-6

Volltext

Link zum Volltext (externe URL):

Abstract

The Kramer-Mesner method for constructing designs with a prescribed automorphism group G has proven effective many times. In the special case of Steiner designs, the task reduces to solving an exact cover problem, with the advantage that fast backtracking solvers like Donald Knuth’s dancing links and dancing cells can be used. We find ways to encode the inherent symmetry of the problem space, induced by the action of the normalizer of G, into a single instance of the exact cover problem. This eliminates redundant computations of certain isomorphic search branches, while preventing the overhead caused by repeatedly restarting the solver. Our improved approach is applied to the parameters S(2, 6, 91). Previously, only four such Steiner designs were known, all of which had been constructed as cyclic designs over four decades ago. We find 23 new designs, each with full automorphism group of order 84.