arXiv++ Combinatorics

In this paper we investigate the existence of singular endomorphisms of the cuboidal Hamming graph $H(n_1,...,n_d,S)$ over the set $\left[ n_1\right]\times \left[ n_2\right]\times \cdots \times \left[ n_d\right]$, where $\left[ n\right]=\{1,...,n\}$, which is a generalisation of the well-known (cubic) Hamming graph over $\left[ n\right]^{d}$. Two vertices in $H$ are adjacent, if their Hamming distance lies in the set $S$. In this paper $S=\{1,...,r\}$, for some integer $1\leq r\leq d-1$, and we first show that the singular endomorphisms of minimal rank ( which is the size of their image) of $H(n,...,n,S)$ correspond to Latin hypercubes of class $r$ (those were originally defined by Kishen (1950)). Then we generalise those hypercubes to Latin hypercuboids of class $r$. We discuss the existence of these objects, provide constructions and count Latin hypercuboids for small parameters. In the last part, we extend the natural connection between Latin hypercubes of class $r$ and MDS codes to Latin hypercuboids of class $r$ leading to the definition of MDS codes for mixed codes (mixed MDS codes), that is for codes over hypercuboids. Here, we demonstrate the interdependence between graph endomorphisms, Latin hypercuboids and mixed MDS codes.

In this paper we determine all singular endomorphisms of the Hamming graph and other related graphs. The Hamming graph has vertices $\mathbb{Z}^{m}_n$ where two vertices are adjacent, if their Hamming distance is $1$. We show that its singular endomorphisms are uniform (each kernel has the same size) and that they are induced by Latin hypercubes (which essentially determines the number of singular endomorphisms). However, we do the same for its complement and some related graphs where the Hamming distance is allowed to be one of $1,...,k$, for some $1\leq k\leq m-1$. Ultimately, we consider the same situation where the vertices are tuples in $\mathbb{Z}_{n_1}\times\mathbb{Z}_{n_2}\times\cdots \times\mathbb{Z}_{n_m}$ (not all $n_i$ are equal).

This paper analyses the construction of the kernel graph of a non-synchronizing transformation semigroup and introduces the inverse synchronization problem. Given a transformation semigroup $S\leq T_n$, we construct the kernel graph $\text{Gr}(S)$ by saying $v$ and $w$ are adjacent, if there is no $f\in S$ with $vf=wf$. The kernel graph is trivial or complete if the semigroup is a synchronizing semigroup or a permutation group, respectively. The connection between graphs and synchronizing (semi-) groups was established by Cameron and Kazanidis, and it has led to many results regarding the classification of synchronizing permutation groups, and the description of singular endomorphims of graphs. This paper, firstly, emphasises the importance of this construction mainly by proving its superior structure, secondly, analyses the construction and discusses minimal generating sets and their combinatorial properties, and thirdly, introduces the inverse synchronization problem. The third part also includes an additional characterization of primitive groups.