arXiv++ Combinatorics

Whereas Steiner systems $S(2,k,v)$ with block length $k \le 5$ have large amount of examples and the existence is established for all admissible $v$, for $k\ge 6$ only few examples are known even for decided cases. In this paper the existence of $S(2,9,369)$ is established and some new examples for other admissible pairs $(k,v)$ are given. In particular, lots of new unitals of order $6$ (or $S(2,7,217)$) together with $S(2,7,175)$, $S(2,7,259)$, $S(2,8,120)$, $S(2,8,504)$, $S(2,9,513)$ are presented. Found examples suggest two conjectures on infinite series of designs.

A Steiner system $S(2,k,v)$ is a set $X$ of cardinality $v$ endowed with a family $\mathcal L$ of $k$-element subsets of $X$ such that any two distinct points of $X$ belong to a unique set of the family $\mathcal L$. If a Steiner system $S(2,k,v)$ exists, then $k-1$ divides $v-1$ and $k(k-1)$ divides $v(v-1)$. Those divisibility conditions are necessary but not sufficient for the existence of a Steiner system $S(2,k,v)$. For instance, the Bruck--Ryser Theorem implies that no Steiner system $S(2,6,36)$ exists, despite $5$ divides $35$ and $6\cdot 5$ divides $36\cdot 35$. On the other hand, Wilson showed that for every natural number $k\ge 2$, a Steiner system $S(2,k,v)$ exists for all but finitely many natural numbers $v$ satisfying the above divisibility conditions. The Handbook of Combinatorial Designs lists 29 numbers $v$ for which the existence of a Steiner system $S(2,6,v)$ is not known: 51, 61, 81, 166, 226, 231, 256, 261, 286, 316, 321, 346, 351, 376, 406, 411, 436, 441, 471, 501, 561, 591, 616, 646, 651, 676, 771, 796, 801. In this paper we present seven Steiner systems $S(2,6,226)$ and six Steiner systems $S(2,6,441)$ thus resolving two of those 29 undecided cases. The discovered Steiner systems $S(2,6,226)$ and $S(2,6,441)$ were found by computer search, as $1$-rotational difference families and difference families for the groups $(\mathbb Z_5\times\mathbb Z_5\times\mathbb Z_3)\rtimes\mathbb Z_3$ and $(\mathbb Z_7\rtimes\mathbb Z_3)\times(\mathbb Z_7\rtimes\mathbb Z_3)$, respectively.

In this note six Steiner systems $S(2,8,225)$ and four Steiner systems $S(2,9,289)$ are presented. This resolves two of $129$ undecided cases for block designs with block length $8$ and $9$, mentioned in Handbook of Combinatorial Designs.

In this paper various Steiner systems $S(2,k,v)$ for $k = 6$ are collected and enumerated for specific constructions. In particular, two earlier unknown types of $1$-rotational designs are found for the groups $SL(2,5)$ and $((\mathbb Z_3 \times \mathbb Z_3) \rtimes \mathbb Z_3) \times \mathbb Z_5$. Also new Steiner systems $S(2,6,96), S(2,6,106), S(2,6,111)$ are listed.

In this paper new $1$-rotational 2-Steiner systems for different admissible $v,k$ pairs are introduced. In particular, $1$-rotational unitals of order $4$ are enumerated.

In this paper we introduce enumeration of unitals of order $5$, which are also Steiner systems $S(2,6,126)$, where automorphism group acts transitively and effectively on points or fixes one point.

In this paper new Steiner systems $S(2,6,111)$, $S(2,6,121)$, $S(2,6,126)$, $S(2,7,169)$, $S(2,7,175)$ and possibly others with point-transitive (commutative except $S(2,6,111)$ case) automorphism groups are introduced.

In this paper new Steiner systems $S(2,6,121)$, $S(2,6,126)$, $S(2,7,169)$ are introduced. Also some non-existence results for line lengths $7..11$ are presented. There is no solid proof that presented algorithm is exhaustive or correct, but it produces same results on already known difference families for line lengths $3..6$. Due to calculation-based approach this paper probably won't be published, but will be submitted to arxiv as it contains some new results

We prove that a closed convex subset $C$ of a complete linear metric space $X$ is polyhedral in its closed linear hull if and only if no infinite subset $A\subset X\backslash C$ can be hidden behind $C$ in the sense $[x,y]\cap C\not = \emptyset$ for any distinct points $x,y\in A$.