The geometric reason for the non-existence of a MOL(6)

The problem of Euler concerning the 36 officers, (Euler, in Leonardi Euleri Opera Ser I 7:291–392, 1782), was first solved by Tarry (Comptes rendus Ass Franc Sci Nat 1 (1900) 2:170–203, 1901). Short proofs for the non-existence were given in Betten (Unterricht 36:449–453, 1983), Beth et al. (Design Theory, Bibl. Inst. Mannheim, Wien, Zürich, 1985), Stinson (J Comb Theory A 36:373–376, 1984). This problem is equivalent to the existence of a MOL(6), i. e., a pair of mutually orthogonal latin squares of order 6. Therefore in Betten (Mitt Math Ges Hamburg 39:59–76, 2019; Res Math 76:9, 2021; Algebra Geom 62:815–821, 2021) the structure of a (hypothetical) MOL(6) was studied. Now we combine the old proofs and the new studies and filter out a simple way for the proof of non-existence. The aim is not only to give still other short proofs, but to analyse the problem and reveal the geometric reason for the non-existence of a MOL(6)- and the non-solvability of Euler’s problem.

Strongly Regular Graphs

Strongly regular graphs lie at the intersection of statistical design, group theory, finite geometry, information and coding theory, and extremal combinatorics. This monograph collects all the major known results together for the first time in book form, creating an invaluable text that researchers in algebraic combinatorics and related areas will refer to for years to come. The book covers the theory of strongly regular graphs, polar graphs, rank 3 graphs associated to buildings and Fischer groups, cyclotomic graphs, two-weight codes and graphs related to combinatorial configurations such as Latin squares, quasi-symmetric designs and spherical designs. It gives the complete classification of rank 3 graphs, including some new constructions. More than 100 graphs are treated individually. Some unified and streamlined proofs are featured, along with original material including a new approach to the (affine) half spin graphs of rank 5 hyperbolic polar spaces.

Quantum combinatorial designs and k-uniform states

Goyeneche et al.\ [Phys.\ Rev.\ A \textbf{97}, 062326 (2018)] introduced several classes of quantum combinatorial designs, namely quantum Latin squares, quantum Latin cubes, and the notion of orthogonality on them. They also showed that mutually orthogonal quantum Latin arrangements can be entangled in the same way in which quantum states are entangled. Moreover, they established a relationship between quantum combinatorial designs and a remarkable class of entangled states called $k$-uniform states, i.e., multipartite pure states such that every reduction to $k$ parties is maximally mixed. In this article, we put forward the notions of incomplete quantum Latin squares and orthogonality on them and present construction methods for mutually orthogonal quantum Latin squares and mutually orthogonal quantum Latin cubes. Furthermore, we introduce the notions of generalized mutually orthogonal quantum Latin squares and generalized mutually orthogonal quantum Latin cubes, which are equivalent to quantum orthogonal arrays of size $d^2$ and $d^3$, respectively, and thus naturally provide $2$- and $3$-uniform states.