On the resolutions of cyclic Steiner triple systems with small parameters

The paper presents useful invariants of resolutions of cyclic $STS(v)$ with $v\le 39$, namely of all resolutions of cyclic $STS(15)$, $STS(21)$ and $STS(27)$, of the resolutions with nontrivial automorphisms of cyclic $STS(33)$ and of resolutions with automorphisms of order $13$ of cyclic $STS(39)$

A complete solution to the infinite Oberwolfach problem

Let $F$ be a $2$-regular graph of order $v$. The Oberwolfach problem, $OP(F)$, asks for a $2$-factorization of the complete graph on $v$ vertices in which each $2$-factor is isomorphic to $F$. In this paper, we give a complete solution to the Oberwolfach problem over infinite complete graphs, proving the existence of solutions that are regular under the action of a given involution free group $G$. We will also consider the same problem in the more general contest of graphs $F$ that are spanning subgraphs of an infinite complete graph $\mathbb{K}$ and we provide a solution when $F$ is locally finite. Moreover, we characterize the infinite subgraphs $L$ of $F$ such that there exists a solution to $OP(F)$ containing a solution to $OP(L)$

A Method for Classification of Doubly Resolvable Designs and Its Application

This article presents the principal results of the Ph.D. thesis Investigation and classification of doubly resolvable designs by Stela Zhelezova (Institute of Mathematics and Informatics, BAS), successfully defended at the Specialized Academic Council for Informatics and Mathematical Modeling on 22 February 2010.The resolvability of combinatorial designs is intensively investigated because of its applications. This research focuses on resolvable designs with an additional property - they have resolutions which are mutually orthogonal. Such designs are called doubly resolvable. Their specific properties can be used in statistical and cryptographic applications.Therefore the classification of doubly resolvable designs and their sets of mutually orthogonal resolutions might be very important. We develop a method for classification of doubly resolvable designs. Using this method and extending it with some theoretical restrictions we succeed in obtaining a classification of doubly resolvable designs with small parameters. Also we classify 1-parallelisms and 2-parallelisms of PG(5,2) with automorphisms of order 31 and find the first known transitive 2-parallelisms among them. The content of the paper comprises the essentials of the author’s Ph.D. thesis

A visual representation of the Steiner triple systems of order 13

Steiner triple systems (STSs) are a basic topic in combinatorics. In an STS the elements can be collected in threes in such a way that any pair of elements is contained in a unique triple. The two smallest nontrivial STSs, with 7 and 9 elements, arise in the context of finite geometry and nonsingular cubic curves, and have well-known pictorial representations. On the contrary, an STS with 13 elements does not have an intrinsic geometric nature, nor a natural pictorial illustration. In this paper we present a visual representation of the two non-isomorphic Steiner triple systems of order 13 by means of a regular hexagram. The thirteen points of each system are the vertices of the twelve equilateral triangles inscribed in the hexagram. In the case of the non-cyclic system, our representation allows one to visualize in a simple, elegant and highly symmetric way the twenty-six triples, the six automorphisms and their orbits, the eight quadrilaterals, the ten mitres, the thirteen grids, the four 3-colouring patterns, the block-colouring and some distinguished ovals. Our construction is based on a very simple idea (seeing the blocks as much as possible as equilateral triangles), which can be further extended to get new representations of the STSs of order 7 and 9, and of one of the STSs of order 15

Orthogonal Resolutions and Latin Squares

Resolutions which are orthogonal to at least one other resolution (RORs) and sets of m mutually orthogonal resolutions (m-MORs) of 2-(v, k, λ) designs are considered. A dependence of the number of nonisomorphic RORs and m-MORs of multiple designs on the number of inequivalent sets of v/k − 1 mutually orthogonal latin squares (MOLS) of size m is obtained. ACM Computing Classification System (1998): G.2.1.∗ This work was partially supported by the Bulgarian National Science Fund under Contract No I01/0003

The Perfect Binary One-Error-Correcting Codes of Length 15: Part II--Properties

A complete classification of the perfect binary one-error-correcting codes of length 15 as well as their extensions of length 16 was recently carried out in [P. R. J. \"Osterg{\aa}rd and O. Pottonen, "The perfect binary one-error-correcting codes of length 15: Part I--Classification," IEEE Trans. Inform. Theory vol. 55, pp. 4657--4660, 2009]. In the current accompanying work, the classified codes are studied in great detail, and their main properties are tabulated. The results include the fact that 33 of the 80 Steiner triple systems of order 15 occur in such codes. Further understanding is gained on full-rank codes via switching, as it turns out that all but two full-rank codes can be obtained through a series of such transformations from the Hamming code. Other topics studied include (non)systematic codes, embedded one-error-correcting codes, and defining sets of codes. A classification of certain mixed perfect codes is also obtained.Comment: v2: fixed two errors (extension of nonsystematic codes, table of coordinates fixed by symmetries of codes), added and extended many other result

Distributive and trimedial quasigroups of order 243

We enumerate three classes of non-medial quasigroups of order $243=3^5$ up to isomorphism. There are $17004$ non-medial trimedial quasigroups of order $243$ (extending the work of Kepka, B\'en\'eteau and Lacaze), $92$ non-medial distributive quasigroups of order $243$ (extending the work of Kepka and N\v{e}mec), and $6$ non-medial distributive Mendelsohn quasigroups of order $243$ (extending the work of Donovan, Griggs, McCourt, Opr\v{s}al and Stanovsk\'y). The enumeration technique is based on affine representations over commutative Moufang loops, on properties of automorphism groups of commutative Moufang loops, and on computer calculations with the \texttt{LOOPS} package in \texttt{GAP}

On the primarity of some block intersection graphs

Philosophiae Doctor - PhDA tactical con guration consists of a nite set V of points, a nite set B of blocks and an incidence relation between them, so that all blocks are incident with the same number k points, and all points are incident with the same number r of blocks (See [14] for example ). If v := jV j and b := jBj; then v; k; b; r are known as the parameters of the con guration. Counting incident point-block pairs, one sees that vr = bk: In this thesis, we generalize tactical con gurations on Steiner triple systems obtained from projective geometry. Our objects are subgeometries as blocks. These subgeometries are collected into systems and we study them as designs and graphs. Considered recursively is a further tactical con guration on some of the designs obtained and in what follows, we obtain similar structures as the Steiner triple systems from projective geometry. We also study these subgeometries as factorizations and examine the automorphism group of the new structures. These tactical con gurations at rst sight do not form interesting structures. However, as will be shown, they o er some level of intriguing symmetries. It will be shown that they inherit the automorphism group of the parent geometry