arXiv++ Combinatorics

The largest prime p that can be the order of an automorphism of a 2-(35,17,8) design is p=17, and all 2-(35,17,8) designs with an automorphism of order 17 were classified by Tonchev. The symmetric 2-(35,17,8) designs with automorphisms of odd prime order $p<17$ were also classified. In this paper we give the classification of all symmetric 2-(35,17,8) designs that admit an automorphism of order $p=2$. It is shown that there are exactly $11,642,495$ nonisomorphic such designs. Furthermore, it is shown that the number of nonisomorphic 3-(36,18,8) designs which have at least one derived 2-$(35,17,8)$ design with an automorphism of order 2, is $1,015,225$.

In this paper we present a method for constructing directed strongly regular graphs with assumed action of an automorphism group. The application of this method leads to first examples of directed strongly regular graphs with parameters $(22,9,6,3,4)$. We have shown that an automorphism of prime order acting on such a graph can only be of order two or three. Furthermore, we have constructed $472$ directed strongly regular graphs with parameters $(22,9,6,3,4)$ and classified all these graphs with an automorphism of order three.

Extremal Type II $\mathbb{Z}_{8}$-codes are a class of self-dual $\mathbb{Z}_{8}$-codes with Euclidean weights divisible by $16$ and the largest possible minimum Euclidean weight for a given length. We introduce a doubling method for constructing a Type II $\mathbb{Z}_{2k}$-code of length $n$ from a known Type II $\mathbb{Z}_{2k}$-code of length $n$. Based on this method, we develop an algorithm to construct new extremal Type II $\mathbb{Z}_8$-codes starting from an extremal Type II $\mathbb{Z}_8$-code of type $(\frac{n}{2},0,0)$ with an extremal $\mathbb{Z}_4$-residue code and length $24, 32$ or $40$. We construct at least ten new extremal Type II $\mathbb{Z}_8$-codes of length $32$ and type $(15,1,1)$. Extremal Type II $\mathbb{Z}_8$-codes of length $32$ of this type were not known before. Moreover, the binary residue codes of the constructed extremal $\mathbb{Z}_8$-codes are optimal $[32,15]$ binary codes.

The parameters 2-(36,15,6) are the smallest parameters of symmetric designs for which a complete classification up to isomorphism is yet unknown. Bouyukliev, Fack and Winne classified all 2-$(36,15,6)$ designs that admit an automorphism of odd prime order, and gave a partial classification of such designs that admit an automorphism of order 2. In this paper, we give the classification of all symmetric 2-$(36,15,6)$ designs that admit an automorphism of order two. It is shown that there are exactly $1 547 701$ nonisomorphic such designs, $135 779$ of which are self-dual designs. The ternary linear codes spanned by the incidence matrices of these designs are computed. Among these codes, there are near-extremal self-dual codes with previously unknown weight distributions.

In a recent paper [M. Araya, M. Harada, Some restrictions on the weight enumerators of near-extremal ternary self-dual codes and quaternary Hermitian self-dual codes, Des. Codes Cryptogr., 91 (2023), 1813--1843], Araya and Harada gave examples of self-dual near-extremal ternary codes of length 48 for $145$ distinct values of the number $A_{12}$ of codewords of minimum weight 12, and raised the question about the existence of codes for other values of $A_{12}$. In this note, we use symmetric 2-$(47,23,11)$ designs with an automorphism group of order 6 to construct self-dual near-extremal ternary codes of length 48 for $150$ new values of $A_{12}$.

Extremal Type II $\mathbb{Z}_4$-codes are a class of self-dual $\mathbb{Z}_4$-codes with Euclidean weights divisible by eight and the largest possible minimum Euclidean weight for a given length. A small number of such codes is known for lengths greater than or equal to $48.$ The doubling method is a method for constructing Type II $\mathbb{Z}_4$-codes from a given Type II $\mathbb{Z}_4$-code. Based on the doubling method, in this paper we develop a method to construct new extremal Type II $\mathbb{Z}_4$-codes starting from an extremal Type II $\mathbb{Z}_4$-code of type $4^k$ with an extremal residue code and length $48, 56$ or $64$. Using this method, we construct three new extremal Type II $\mathbb{Z}_4$-codes of length $64$ and type $4^{31}2^2$. Extremal Type II $\mathbb{Z}_4$-codes of length $64$ of this type were not known before. Moreover, the residue codes of the constructed extremal $\mathbb{Z}_4$-codes are new best known $[64,31]$ binary codes and the supports of the minimum weight codewords of the residue code and the torsion code of one of these codes form self-orthogonal $1$-designs.

The characterization of bipartite distance-regularized graphs, where some vertices have eccentricity less than four, in terms of the incidence structures of which they are incidence graphs, is known. In this paper we prove that there is a one-to-one correspondence between the incidence graphs of quasi-symmetric SPBIBDs with parameters $(v,b,r,k, λ_1,0)$ of type $(k-1,t)$ with intersection numbers $x=0$ and $y>0$, where $0< y\leq t<k$ , and bipartite distance-regularized graphs with $D=D'=4$.

In this paper we analyze possible actions of an automorphism of order six on a $2$-$(70, 24, 8)$ design, and give a complete classification for the action of the cyclic automorphism group of order six $G= \langle ρ\rangle \cong Z_6 \cong Z_2 \times Z_3$ where $ρ^3$ fixes exactly $14$ points (blocks) and $ρ^2$ fixes $4$ points (blocks). Up to isomorphism, there are $3718$ such designs. This result significantly increases the number of known $2$-$(70,24,8)$ designs.

In this note we report the classification of all symmetric 2-(36,15,6) designs that admit an automorphism of order 2 and their incidence matrices generate an extremal ternary self-dual code. It is shown that up to isomorphism, there exists only one such design, having a full automorphism group of order 24, and the ternary code spanned by its incidence matrix is equivalent to the Pless symmetry code.

A Type IV-II Z4-code is a self-dual code over Z4 with the property that all Euclidean weights are divisible by eight and all codewords have even Hamming weight. In this paper we use generalized bent functions for a construction of self-orthogonal codes over Z4 of length $2^m$, for $m$ odd, $m \geq 3$, and prove that for $m \geq 5$ those codes can be extended to Type IV-II Z4-codes. From that family of Type IV-II Z4-codes, we obtain a family of self-dual Type II binary codes by using Gray map. We also consider the weight distributions of the obtained codes and the structure of the supports of the minimum weight codewords.

The existence of a biplane with parameters $(121,16,2)$ is an open problem. Recently, it has been proved by Alavi, Daneshkhah and Praeger that the order of an automorphism group of a of possible biplane ${\mathcal D}$ of order $14$ divides $2^7\cdot3^2\cdot5\cdot7\cdot11\cdot13$. In this paper we show that such a biplane do not have an automorphism of order $11$ or $13$, and thereby establish that $|Aut({\mathcal D})|$ divides $2^7\cdot3^2\cdot5\cdot7.$ Further, we study a possible action of an automorphism of order five or seven, and some small groups of order divisible by five or seven, on a biplane with parameters $(121,16,2)$.

Low-density parity-check (LDPC) codes have been the subject of much interest due to the fact that they can perform near the Shannon limit. In this paper we present a construction of LDPC codes from cubic symmetric graphs. The constructed codes are $(3,3)$-regular and the vast majority of the corresponding Tanner graphs have girth greater than four. We analyse properties of the obtained codes and present bounds for the code parameters, the dimension and the minimum distance. Furthermore, we give an expression for the variance of the syndrome weight of the constructed codes. Information on the LDPC codes constructed from bipartite cubic symmetric graphs with less than 200 vertices is presented as well. Some of the constructed codes are optimal, and some have an additional property of being self-orthogonal or linear codes with complementary dual (LCD codes).

We give a method of constructing self-orthogonal codes from equitable partitions of association schemes. By applying this method we construct self-orthogonal codes from some distance-regular graphs. Some of the obtained codes are optimal. Further, we introduce a notion of self-orthogonal subspace codes. We show that under some conditions equitable partitions of association schemes yield such self-orthogonal subspace codes and we give some examples from distance-regular graphs.

We construct distance-regular graphs, including strongly regular graphs, admitting a transitive action of the Chevalley groups $G_2(4)$ and $G_2(5)$, the orthogonal group $O(7,3)$ and the Tits group $T=$$^2F_4(2)'$. Most of the constructed graphs have more than 1000 vertices, and the number of vertices goes up to 28431. Some of the obtained graphs are new.

In this paper we construct all strongly regular graphs, with at most 600 vertices, admitting a transitive action of the orthogonal group $O^+(6,2)$ or $O^-(6,2)$. Consequently, we prove the existence of strongly regular graphs with parameters (216,40,4,8) and (540,187,58,68). We also construct a strongly regular graph with parameters (540,224,88,96) that was to the best of our knowledge previously unknown. Further, we show that under certain conditions an orbit matrix $M$ of a strongly regular graph $Γ$ can be used to define a new strongly regular graph $\widetildeΓ$, where the vertices of the graph $\widetildeΓ$ correspond to the orbits of $Γ$ (the rows of $M$). We show that some of the obtained graphs are related to each other in a way that one can be constructed from an orbit matrix of the other.

This paper completes the classification of quasi-symmetric 2-$(64,24,46)$ designs of Blokhuis-Haemers type supported by the dual code $C^{\perp}$ of the binary linear code $C$ spanned by the lines of $AG(3,2^2)$ initiated in \cite{bgr-vdt}. It is shown that $C^{\perp}$ contains exactly 30,264 nonisomorphic quasi-symmetric 2-$(64,24,46)$ designs obtainable from maximal arcs in $AG(2,2^2)$ via the Blokhuis-Haemers construction. The related strongly regular graphs are also discussed.