arXiv++ Combinatorics

We introduce a graph attached to mutually orthogonal Sudoku Latin squares. The spectra of the graphs obtained from finite fields are explicitly determined. As a corollary, we then use the eigenvalues to distinguish non-isomorphic Sudoku Latin squares.

A weighing matrix $W$ of order $n=\frac{p^{m+1}-1}{p-1}$ and weight $p^m$ is constructed and shown that the rows of $W$ and $-W$ form optimal constant weight ternary codes of length $n$, weight $p^m$ and minimum distance $p^{m-1}(\frac{p+3}{2})$ for each odd prime power $p$ and integer $m\ge 1$ and thus $$A_3\left(\frac{p^{m+1}-1}{p-1},p^{m-1}\big(\frac{p+3}{2}\big),p^{m}\right)=2\big(\frac{p^{m+1}-1}{p-1}\big).$$

A unified approach to the construction of weighing matrices and certain symmetric designs is presented. Assuming the weight $p$ in a weighing matrix $W(n,p)$ is a prime power, it is shown that there is a $$W\left(\frac{p^{m+1}-1}{p-1}(n-1)+1,p^{m+1}\right)$$ for each positive integer $m$. The case of $n=p+1$ reduces to the balanced weighing matrices with classical parameters $$W\left(\frac{p^{m+2}-1}{p-1},p^{m+1}\right).$$ The equivalence with certain classes of association schemes is discussed in details.

Coherent configurations are a generalization of association schemes. In this paper, we introduce the concept of $Q$-polynomial coherent configurations and study the relationship among intersection numbers, Krein numbers, and eigenmatrices. The examples of $Q$-polynomial coherent configurations are provided from Delsarte designs in $Q$-polynomial schemes and spherical designs.

The concept of balancedly splittable orthogonal designs is introduced along with a recursive construction. As an application, equiangular tight frames over the real, complex, and quaternions meeting the Delsarte-Goethals-Seidel upper bound is obtained.

Balanced weighing matrices with parameters $$ \left(1+18\cdot\frac{9^{m+1}-1}{8},9^{m+1},4\cdot 9^m\right), $$ for each nonzero integer $m$ is constructed. This is the first infinite class not belonging to those with classical parameters. It is shown that any balanced weighing matrix is equivalent to a five-class association scheme.

Divisible design digraphs are constructed from skew balanced generalized weighing matrices and generalized Hadamard matrices. Commutative and non-commutative association schemes are shown to be attached to the constructed divisible design digraphs.

The notion of disjoint weighing matrices is introduced as a generalization of orthogonal designs. A recursive construction along with a computer search lead to some infinite classes of disjoint weighing matrices, which in turn are shown to form commutative association schemes with 3 or 4 classes.

Deza digraphs were introduced in 2003 by Zhang and Wang as directed graph version of Deza graphs, that also generalize the notion of directed strongly regular graphs. In this paper we give several new constructions of Deza digraphs. Further, we introduce twin and Siamese twin (directed) Deza graphs and construct several examples. Moreover, we classify directed Deza graphs with parameters $(n,k,b,a,t)$ having the property that $b=t$. Finally, we introduce a variation of directed Deza graphs and provide a construction from finite fields.

We show various upper bounds for the order of a digraph (or a mixed graph) whose Hermitian adjacency matrix has an eigenspace of prescribed codimension. In particular, this generalizes the so-called absolute bound for (simple) graphs first shown by Delsarte, Goethals, and Seidel (1977) and extended by Bell and Rowlinson (2003). In doing so, we also adapt the Blokhuis' theory (1983) of harmonic analysis in real hyperbolic spaces to that in complex hyperbolic spaces.

We complete the classification of tight $4$-designs in Hamming association schemes $H(n,q)$, i.e., that of tight orthogonal arrays of strength $4$, which had been open since a result by Noda (1979). To do so, we construct an association scheme attached to a tight $4$-design in $H(n,q)$ and analyze its triple intersection numbers to conclude the non-existence in all open cases.

Balancedly splittable Hadamard matrices are introduced and studied. A connection is made to the Hadamard diagonalizable strongly regular graphs, maximal equiangular lines set, and unbiased Hadamard matrices. Several construction methods are presented. As an application, commutative association schemes of 4, 5, and 6 classes are constructed.

We show that the Smith normal form of a skew-symmetric D-optimal design of order $n\equiv 2\pmod{4}$ is determined by its order. Furthermore, we show that the Smith normal form of such a design can be written explicitly in terms of the order $n$, thereby proving a recent conjecture of Armario. We apply our result to show that certain D-optimal designs of order $n\equiv 2\pmod{4}$ are not equivalent to any skew-symmetric D-optimal design. We also provide a correction to a result in the literature on the Smith normal form of D-optimal designs.

In this paper, we find regular or biregular Hadamard matrices with maximum excess by negating some rows and columns of known Hadamard matrices obtained from quadratic residues of finite fields. In particular, we show that if either $4m^2+4m+3$ or $2m^2+2m+1$ is a prime power, then there exists a biregular Hadamard matrix of order $n=4(m^2+m+1)$ with maximum excess. Furthermore, we give a sufficient condition for Hadamard matrices obtained from quadratic residues being transformed to be regular in terms of four-class translation association schemes on finite fields.

The linked systems of symmetric group divisible designs of type II is introduced, and several examples are obtained from affine resolvable designs and mutually UFS Latin squares. Furthermore, an equivalence between such symmetric group divisible designs and some association schemes with $5$-classes is provided.

For prime powers $q$ and $q+\varepsilon$ where $\varepsilon\in\{1,2\}$, an affine resolvable design from $\mathbb{F}_q$ and Latin squares from $\mathbb{F}_{q+\varepsilon}$ yield a set of symmetric designs if $\varepsilon=2$ and a set of symmetric group divisible designs if $\varepsilon=1$. We show that these designs derive commutative association schemes, and determine their eigenmatrices.

We introduce a class of regular unit Hadamard matrices whose entries consist of two complex numbers and their conjugates for a total of four complex numbers. We then show that these matrices are contained in the Bose-Mesner algebra of an association scheme arising from skew Paley matrices.

We give a sufficient condition for a non-commutative association scheme to have a fusion association scheme, and construct non-commutative association schemes from symmetric balanced generalized weighing matrices and generalized Hadamard matrices. We then apply the criterion to these non-commutative association schemes to obtain symmetric fusion association schemes.

For any positive integer $m$, the complete graph on $2^{2m}(2^m+2)$ vertices is decomposed into $2^m+1$ commuting strongly regular graphs, which give rise to a symmetric association scheme of class $2^{m+2}-2$. Furthermore, the eigenmatrices of the symmetric association schemes are determined explicitly. As an application, the eigenmatrix of the commutative strongly regular decomposition obtained from the strongly regular graphs is derived.

A two-intersection set with parameters $(j;α,β)$ for a block design is a $j$-subset of the point set of the design, which intersects every block in $α$ or $β$ points. In this paper, we show the existence of a two-intersection set with parameters $(2m^2-m+1;m^2-m,m^2)$ for the block design obtained from translations of the set of nonzero squares in the finite field of order $q=4m^2+1$. As an application, we give a construction of conference matrices with maximum excess based on the two-intersection sets.