arXiv++ Combinatorics

A design is $G$-additive with $G$ an abelian group, if its points are in $G$ and each block is zero-sum in $G$. All the few known ``manageable" additive Steiner 2-designs are $\mathrm{EA}(q)$-additive for a suitable $q$, where $\mathrm{EA}(q)$ is the elementary abelian group of order $q$. We present some general constructions for $\mathrm{EA}(q)$-additive Steiner 2-designs which unify the known ones and allow to find a few new ones: an additive $\mathrm{EA}(2^8)$-additive 2-$(52,4,1)$ design which is also resolvable, and three pairwise non-isomorphic $\mathrm{EA}(3^5)$-additive 2-$(121,4,1)$ designs, none of which is the point-line design of $\mathrm{PG}(4,3)$. In the attempt to find also an $\mathrm{EA}(2^9)$-additive 2-$(511,7,1)$ design, we prove that a putative 2-analog of a 2-$(9,3,1)$ design cannot be cyclic.

We present some results on the harmonious colorings of the Levi graph of a $2$-design, focusing on Steiner $2$-designs. It is easily seen that the harmonious chromatic number of such a Levi graph is at least the number of points of the design: we study and construct Banff designs, that is, designs such that this lower bound is attained.

A $(G,[k_1,\dots,k_t],λ)$ {\it partitioned difference family} (PDF) is a partition $\cal B$ of an additive group $G$ into sets ({\it blocks}) of sizes $k_1$, \dots, $k_t$, such that the list of differences of ${\cal B}$ covers exactly $λ$ times every non-zero element of $G$. It is called {\it Hadamard} (HPDF) if the order of $G$ is $2λ$. The study of HPDFs is motivated by the fact that each of them gives rise, recursively, to infinitely many other PDFs. Apart from the {\it elementary} HPDFs consisting of a Hadamard difference set and its complement, only one HPDF was known. In this article we present three new examples in several groups and we start a general investigation on the possible existence of HPDFs with assigned parameters by means of simple arguments.

We give the very first example of a simple $2-(81,6,2)$ design. Its points are the elements of the elementary abelian group of order 81 and each block is the union of two parallel lines of the 4-dimensional geometry over the field of order 3. Hence it is also additive.

A $2$-$(v,k,λ)$ design is additive (or strongly additive) if it is possible to embed it in a suitable abelian group $G$ in such a way that its block set is contained in (or coincides with) the set of all the zero-sum $k$-subsets of $G$. Explicit results on the additivity or strong additivity of symmetric designs and subspace 2-designs are presented. In particular, the strong additivity of PG$_d(n,q)$, which was known to be additive only for $q=2$ or $d=n-1$, is always established.

A design is additive under an abelian group $G$ (briefly, $G$-additive) if, up to isomorphism, its point set is contained in $G$ and the elements of each block sum up to zero. The only known Steiner 2-designs that are $G$-additive for some $G$ have block size which is either a prime power or a prime power plus one. Indeed they are the point-line designs of the affine spaces $AG(n,q)$, the point-line designs of the projective planes $PG(2,q)$, and the point-line designs of the projective spaces $PG(n,2)$. In the attempt to find new examples, possibly with a block size which is neither a prime power nor a prime power plus one, we look for Steiner 2-designs which are strictly $G$-additive (the point set is exactly $G$) and $G$-regular (any translate of any block is a block as well) at the same time. These designs will be called\break "$G$-super-regular". Our main result is that there are infinitely many values of $v$ for which there exists a super-regular, and therefore additive, $2$-$(v,k,1)$ design whenever $k$ is neither singly even nor of the form $2^n3\geq12$. The case $k\equiv2$ (mod 4) is a definite exception whereas $k=2^n3\geq12$ is at the moment a possible exception. We also find super-regular $2$-$(p^n,p,1)$ designs with $p\in\{5,7\}$ and $n\geq3$ which are not isomorphic to the point-line design of $AG(n,p)$.

Let PG$(\mathbb{F}_q^v)$ be the $(v-1)$-dimensional projective space over $\mathbb{F}_q$ and let $Γ$ be a simple graph of order ${q^k-1\over q-1}$ for some $k$. A 2$-(v,Γ,λ)$ design over $\mathbb{F}_q$ is a collection $\cal B$ of graphs (\textit{blocks}) isomorphic to $Γ$ with the following properties: the vertex set of every block is a subspace of PG$(\mathbb{F}_q^v)$; every two distinct points of PG$(\mathbb{F}_q^v)$ are adjacent in exactly $λ$ blocks. This new definition covers, in particular, the well known concept of a 2$-(v,k,λ)$ design over $\mathbb{F}_q$ corresponding to the case that $Γ$ is complete. In this work of a foundational nature we illustrate how difference methods allow us to get concrete non-trivial examples of $Γ$-decompositions over $\mathbb{F}_2$ or $\mathbb{F}_3$ for which $Γ$ is a cycle, a path, a prism, a generalized Petersen graph, or a Moebius ladder. In particular, we will discuss in detail the special and very hard case that $Γ$ is complete and $λ=1$, i.e., the Steiner 2-designs over a finite field. Also, we briefly touch the new topic of near resolvable 2-$(v,2,1)$ designs over $\mathbb{F}_q$. This study has led us to some (probably new) collateral problems concerning difference sets. Supported by multiple examples, we conjecture the existence of infinite families of $Γ$-decompositions over a finite field that can be obtained by suitably labeling the vertices of $Γ$ with the elements of a Singer difference set.

One of the very first results about designs over finite fields, by S. Thomas, is the existence of a cyclic 2-$(n,3,7)$ design over $\mathbb{F}_{2}$ for every integer $n$ coprime with 6. Here, by means of difference methods, we reprove and improve a little bit this result showing that it is true, more generally, for every odd $n$. In this way, we also find the first infinite family of non-trivial cyclic group divisible designs over $\mathbb{F}_{2}$.

A well known class of objects in combinatorial design theory are {group divisible designs}. Here, we introduce the $q$-analogs of group divisible designs. It turns out that there are interesting connections to scattered subspaces, $q$-Steiner systems, design packings and $q^r$-divisible projective sets. We give necessary conditions for the existence of $q$-analogs of group divsible designs, construct an infinite series of examples, and provide further existence results with the help of a computer search. One example is a $(6,3,2,2)_2$ group divisible design over $\operatorname{GF}(2)$ which is a design packing consisting of $180$ blocks that such every $2$-dimensional subspace in $\operatorname{GF}(2)^6$ is covered at most twice.

A q-design with parameters t-(v,k,lambda_t)_q is a pair (V, B) of the v-dimensional vector space V over GF(q) and a collection B of k-dimensional subspaces of V, such that each t-dimensional subspace of V is contained in precisely lambda_t members of B. In this paper we give new general necessary conditions on the existence of designs over finite fields with parameters 3-(v, k , lambda_3)_q with a prescribed automorphism group. These necessary conditions are based on a tactical decomposition of such a design over a finite field and are given in the form of equations for the coefficients of tactical decomposition matrices. In particular, they represent necessary conditions on the existence of q-analogues of Steiner systems admitting a prescribed automorphism group.

The smallest set of admissible parameters of a $q$-analog of a Steiner system is $S_2[2,3,7]$. The existence of such a Steiner system -- known as a binary $q$-analog of the Fano plane -- is still open. In this article, the automorphism group of a putative binary $q$-analog of the Fano plane is investigated by a combination of theoretical and computational methods. As a conclusion, it is either rigid or its automorphism group is cyclic of order $2$, $3$ or $4$. Up to conjugacy in $\operatorname{GL}(7,2)$, there remains a single possible group of order $2$ and $4$, respectively, and two possible groups of order $3$. For the automorphisms of order $2$, we give a more general result which is valid for any binary $q$-Steiner triple system.

An automorphism group of an incidence structure I induces a tactical decomposition on I. It is well known that tactical decompositions of t-designs satisfy certain necessary conditions which can be expressed as equations in terms of the coefficients of tactical decomposition matrices. In this article we present results obtained for tactical decompositions of q-analogs of t-designs, more precisely, of 2-(v,k,lambda_2;q) designs. We show that coefficients of tactical decomposition matrices of a design over finite field satisfy an equation system analog to the one known for block designs. Furthermore, taking into consideration specific properties of designs over the binary field, we obtain an additional system of inequations for these coefficients in that case.