There exist pairs of orthogonal Latin squares of any order n except if n=2 or n=6 [Bose et al., Further results on the construction of mutually orthogonal latin squares and the falsity of Euler's conjecture, Can. J. Math. 12, 189 (1960)CJMAAB0008-414X10.4153/CJM-1960-016-5]. In particular, the problem of Euler's thirty-six officers does not have a solution. However, it has a "quantum solution": there exist so-called entangled quantum Latin squares of order 6 [Rather et al., Thirty-six entangled officers of Euler: Quantum solution to a classically impossible problem, Phys. Rev. Lett. 128, 080507 (2022)PRLTAO0031-900710.1103/PhysRevLett.128.080507]. We prove that mutually orthogonal quantum Latin squares of order 6 do not exist if entanglement is not allowed.
There exist pairs of orthogonal Latin squares of any order n except if n=2 or n=6 [Bose et al., Further results on the construction of mutually orthogonal latin squares and the falsity of Euler's conjecture, Can. J. Math. 12, 189 (1960)CJMAAB0008-414X10.4153/CJM-1960-016-5]. In particular, the problem of Euler's thirty-six officers does not have a solution. However, it has a "quantum solution": there exist so-called entangled quantum Latin squares of order 6 [Rather et al., Thirty-six entangled officers of Euler: Quantum solution to a classically impossible problem, Phys. Rev. Lett. 128, 080507 (2022)PRLTAO0031-900710.1103/PhysRevLett.128.080507]. We prove that mutually orthogonal quantum Latin squares of order 6 do not exist if entanglement is not allowed.
A Latin square can be extended by replacing its symbols with probabilities or quantum states. We relate these two extensions through explicit examples, from classical and fractional Latin squares to quantum Latin squares and a real solution of Euler's quantum 36 officers problem. A simultaneous cyclic-shift ansatz on a four-torus of tensor coefficients gives a real absolutely maximally entangled (AME) state of four six-level systems. A local orthogonal change of basis yields a representative with 96 nonzero amplitudes. Two single-party arrays obtained from the corresponding quantum orthogonal Latin square yield fractional Latin squares. Signs matter: comparison with the independent real construction of Bruzda and its sign variant distinguishes three local-unitary classes, two of which have identical probabilities. We extend this probability representation to existing seven- and nine-party AME states with six levels each. Their amplitude matrices reveal 48 complex Hadamard blocks of order 33 and six of order 64, respectively. These constructions separate what can be read from a probability picture from the coherent conditions responsible for maximal entanglement.
The negative solution to the famous problem of 36 officers of Euler implies that there are no two orthogonal Latin squares of order six. We show that the problem has a solution, provided the officers are entangled, and construct orthogonal quantum Latin squares of this size. As a consequence, we find an example of the long-elusive Absolutely Maximally Entangled state AME(4,6) of four subsystems with six levels each, equivalently a 2-unitary matrix of size 36, which maximizes the entangling power among all bipartite unitary gates of this dimension, or a perfect tensor with four indices, each running from one to six. This special state deserves the appellation golden AME state, as the golden ratio appears prominently in its elements. This result allows us to construct a pure nonadditive quhex quantum error detection code ((3,6,2))_{6}, which saturates the Singleton bound and allows one to encode a six-level state into a triplet of such states.
Absolutely maximally entangled states of four six-level systems, AME(4,6), are the quantum solutions of Euler's problem of the thirty-six officers. Until recently all reported solutions were complex, and it was conjectured that no real orthogonal 2-unitary matrix of order 36 exists. We give real AME(4,6) states with 60 non-zero coefficients in {±1,2}/72. Of their thirty-six officers, 12 are classical, as some must be whenever fewer than 72 coefficients are non-zero. They lie in the −1 eigenspace of an order-4 local symmetry, and on their support the AME conditions become linear. We derive two closed-form families of AME(4,6) states that meet at one of these states: a 10-parameter family that is supported on 72 basis states, and an 11-parameter family on 60 basis states. At each of its two ends the first family loses 12 coefficients, and the AME states on the remaining 60 basis states form an 11-parameter family: the second family at one end, and an analogous family at the other. These two 60-term families contain 4096 real AME states up to diagonal local unitaries, 1024 of which are limits of the first family. They fall into exactly 20 classes under local unitaries and permutations of the parties, and we certify their separation with interval arithmetic.
The classical combinatorial problem of 36 officers has no solution, as there are no Graeco-Latin squares of order six. The situation changes if one works in a quantum setup and allows for superpositions of classical objects and admits entangled states. We analyze the recently found solution to the quantum version of the Euler's problem from a geometric point of view. The notion of a non-displaceable manifold embedded in a larger space is recalled. This property implies that any two copies of such a manifold, like two great circles on a sphere, do intersect. Existence of a quantum Graeco-Latin square of size six, equivalent to a maximally entangled state of four subsystems with d=6 levels each, implies that three copies of the manifold U(36)/U(1) of maximally entangled states of the 36×36 system, embedded in the complex projective space CP36×36−1, do intersect simultaneously at a certain point.
A perfect tensor of order d is a state of four d-level systems that is maximally entangled under any bipartition. These objects have attracted considerable attention in quantum information and many-body theory. Perfect tensors generalize the combinatorial notion of orthogonal Latin squares (OLS). Deciding whether OLS of a given order exist has historically been a difficult problem. The case d=6 proved particularly thorny, and was popularized by Leonhard Euler in terms of a putative constellation of "36 officers". It took more than a century to show that Euler's puzzle has no solution. After yet another century, its quantum generalization was resolved in the affirmative: 36 entangled officers can be suitably arranged. However, the construction and verification of known instances relies on elaborate computer codes. In this paper, we present the first human-made order-6 perfect tensors. We decompose the Hilbert space (C6)⊗2 of two quhexes into the direct sum (C3)⊗2⊕(C3)⊗3 comprising superpositions of two-qutrit and three-qutrit states. Perfect tensors arise when certain Clifford unitaries are applied separately to the two sectors. Technically, our construction realizes solutions to the perfect functions ansatz recently proposed by Rather. Generalizing an observation of Bruzda and Życzkowski, we show that any solution of this kind gives rise to a two-unitary complex Hadamard matrix, of which we construct infinite families. Finally, we sketch a formulation of the theory of perfect tensors in terms of quasi-orthogonal decompositions of matrix algebras.