A quasidouble of the affine plane of order 4 and the solution of a problem on additive designs

A 2-(v,k,λ) block design (P,B) is additive if, up to isomorphism, P can be represented as a subset of a commutative group (G,+) in such a way that the k elements of each block in B sum up to zero in G. If, for some suitable G, the embedding of P in G is also such that, conversely, any zero-sum k-subset of P is a block in B, then (P,B) is said to be strongly additive. In this paper we exhibit the very first examples of additive 2-designs that are not strongly additive, thereby settling an open problem posed in 2019. Our main counterexample is a resolvable 2-(16,4,2) design (F_4×F_4, B_2), which decomposes into two disjoint isomorphic copies of the affine plane of order four. An essential part of our construction is a (cyclic) decomposition of the point-plane design of AG(4,2) into seven disjoint isomorphic copies of the affine plane of order four. This produces, in addition, a solution to Kirkman's schoolgirl problem

Computational complexity of reconstruction and isomorphism testing for designs and line graphs

Graphs with high symmetry or regularity are the main source for experimentally hard instances of the notoriously difficult graph isomorphism problem. In this paper, we study the computational complexity of isomorphism testing for line graphs of $t$-$(v,k,\lambda)$ designs. For this class of highly regular graphs, we obtain a worst-case running time of $O(v^{\log v + O(1)})$ for bounded parameters $t,k,\lambda$. In a first step, our approach makes use of the Babai--Luks algorithm to compute canonical forms of $t$-designs. In a second step, we show that $t$-designs can be reconstructed from their line graphs in polynomial-time. The first is algebraic in nature, the second purely combinatorial. For both, profound structural knowledge in design theory is required. Our results extend earlier complexity results about isomorphism testing of graphs generated from Steiner triple systems and block designs.Comment: 12 pages; to appear in: "Journal of Combinatorial Theory, Series A

The completion of optimal (3,4)(3,4)-packings

A 3-$(n,4,1)$ packing design consists of an $n$-element set $X$ and a collection of $4$-element subsets of $X$, called {\it blocks}, such that every $3$-element subset of $X$ is contained in at most one block. The packing number of quadruples $d(3,4,n)$ denotes the number of blocks in a maximum $3$-$(n,4,1)$ packing design, which is also the maximum number $A(n,4,4)$ of codewords in a code of length $n$, constant weight $4$, and minimum Hamming distance 4. In this paper the undecided 21 packing numbers $A(n,4,4)$ are shown to be equal to Johnson bound $J(n,4,4)$ $( =\lfloor\frac{n}{4}\lfloor\frac{n-1}{3}\lfloor\frac{n-2}{2}\rfloor\rfloor\rfloor)$ where $n=6k+5$, $k\in \{m:\ m$ is odd, $3\leq m\leq 35,\ m\neq 17,21\}\cup \{45,47,75,77,79,159\}$

Switching codes and designs

AbstractVarious local transformations of combinatorial structures (codes, designs, and related structures) that leave the basic parameters unaltered are here unified under the principle of switching. The purpose of the study is threefold: presentation of the switching principle, unification of earlier results (including a new result for covering codes), and applying switching exhaustively to some common structures with small parameters

Applications of finite geometries to designs and codes

This dissertation concerns the intersection of three areas of discrete mathematics: finite geometries, design theory, and coding theory. The central theme is the power of finite geometry designs, which are constructed from the points and t-dimensional subspaces of a projective or affine geometry. We use these designs to construct and analyze combinatorial objects which inherit their best properties from these geometric structures. A central question in the study of finite geometry designs is Hamada’s conjecture, which proposes that finite geometry designs are the unique designs with minimum p-rank among all designs with the same parameters. In this dissertation, we will examine several questions related to Hamada’s conjecture, including the existence of counterexamples. We will also study the applicability of certain decoding methods to known counterexamples. We begin by constructing an infinite family of counterexamples to Hamada’s conjecture. These designs are the first infinite class of counterexamples for the affine case of Hamada’s conjecture. We further demonstrate how these designs, along with the projective polarity designs of Jungnickel and Tonchev, admit majority-logic decoding schemes. The codes obtained from these polarity designs attain error-correcting performance which is, in certain cases, equal to that of the finite geometry designs from which they are derived. This further demonstrates the highly geometric structure maintained by these designs. Finite geometries also help us construct several types of quantum error-correcting codes. We use relatives of finite geometry designs to construct infinite families of q-ary quantum stabilizer codes. We also construct entanglement-assisted quantum error-correcting codes (EAQECCs) which admit a particularly efficient and effective error-correcting scheme, while also providing the first general method for constructing these quantum codes with known parameters and desirable properties. Finite geometry designs are used to give exceptional examples of these codes

Colouring steiner quadruple systems

AbstractA Steiner quadruple system of order ν (briefly SQS(ν)) is a pair (X, B), where |X| = ν and B is a collection of 4-subsets of X, called blocks, such that each 3-subset of X is contained in a unique block of B. A SQS(ν) exists iff ν ≡ 2, 4 (mod 6) or ν = 0, 1 (the admissible integers). The chromatic number of (X, B) is the smallest m for which there is a map ϕ: X → Zm such that |ϕ(β)| ⩾ 2 for all β ϵ B. In this paper it is shown that for each m ⩾ 6 there exists νm such that for all admissible ν ⩾ νm there exists an m-chromatic SQS(ν). For m = 4, 5 the same statement is proved for admissible ν with the restriction that ν ≢ 2 (mod 12)

On balanced complementation for regular t-wise balanced designs

AbstractVanstone has shown a procedure, called r-complementation, to construct a regular pairwise balanced design from an existing regular pairwise balanced design. In this paper, we give a generalization of r-complementation, called balanced complementation. Necessary and sufficient conditions for balanced complementation which gives a regular t-wise balanced design from an existing regular t-wise balanced design are shown. We characterize those aspects of designs which permit balanced complementation. Results obtained here will be applied to construct regular t-wise balanced designs which are useful in Statistics