On the connection between mutually unbiased bases and orthogonal Latin squares

Tomasz Paterek, M Paw Lowski, Markus Grassl, Časlav Brukner

Published Aug 18, 2016• 11 citations

Abstract

We offer a piece of evidence that the problems of finding the number of mutually unbiased bases (MUB) and mutually orthogonal Latin squares (MOLS) might not be equivalent. We study a particular procedure that has been shown to relate the two problems and generates complete sets of MUB in power-of-prime dimensions and three MUB in dimension six. For these cases, every square from an augmented set of MOLS has a corresponding MUB. We show that this no longer holds for certain composite dimensions.

Related papers

On the connection between mutually unbiased bases and orthogonal Latin squares

Tomasz Paterek, M Pawłowski, M Grassl +1 more

arXiv:0910.1439Physica ScriptaSep 1, 201019 citations

Mutually Unbiased Bases and Orthogonal Latin Squares

Tomasz Paterek, Borivoje Dakić, Časlav Brukner

On first sight, the number of mutually unbiased bases (MUBs) in d dimensions and the number of mutually orthogonal Latin squares (MOLS) of order d seem to be closely related. A careful look however reveals the connections cannot be really strong. In this talk a few similarities and differences between MUBs and MOLS are presented. The first similarity involves their maximal numbers. There are at most d + 1 MUBs and also d + 1 squares in an augmented set of MOLS. This number is attained if d is a power of a prime and we give an algorithm which relates MUBs and MOLS in these dimensions [1]. Another similarity follows from considerations of composite d. One can think about a Hilbert space of a composite dimension as describing several subsystems of prime-power dimensions. Since we can always build MUBs in the global space as tensor products of MUBs for the subspaces, there are at least M + 1 of them for the whole system, where M is the smallest prime-power factor of d. A similar construction exists for MOLS: squares of composite orders can be built as direct products of squares of prime-power orders. The corresponding lower bound on the number of MOLS is called the MacNeish’s bound. In general, both the MacNeish’s bound and the number of MUBs which follows from the tensor product construction are known not to be tight. However, the simplest example today involves dimension d = 676 for MUBs [2], whereas MacNeish’s bound is not tight already for d = 10. We therefore checked whether the connection [1] also works for d = 10, and found it no longer links all MOLS to MUBs [3]. The general results of Ref. [4] reveal in this context that the connection fails whenever MacNeish’s bound is not tight. The last (apparent) similarity to be presented is related to incomplete sets of MOLS and MUBs. There is a Latin square of order 4 which does not have an orthogonal mate (so called bachelor Latin square) and connection [1] links it with a set of MUBs which also cannot be extended. It might be tempting to conjecture that every unextendible augmented set of MOLS has a corresponding unextendible set of MUBs. We already disproved such conjecture for the connection [1] and now we briefly describe that there is no other connection for which the conjecture would hold true. One can see this in at least two ways [5]. The first involves bachelor Latin square of order 5. It was recently shown that bachelor Latin squares exist for all orders d > 3 [6]. If there is a strong relation between MOLS and MUBs, there should correspondingly exist a set of 3 MUBs in all dimensions d > 3. To the contrary, it is known that for d = 5 every set of 3 MUBs can be extended to a complete set of 6 MUBs [7]. The second way is more dramatic. It turns out that for d = 6 there exists a set of two MUBs which cannot be extended any further (and six is the smallest dimension in which this happens). Since an augmented set of MOLS contains at least 3 elements, the strong relation is excluded. For more arguments against a close connection between MOLS and MUBs see Ref. [8].

Apr 14, 20080 citations

Mutually Unbiased Bases and Orthogonal Latin Squares -- version 3

Stefan Joka

In this paper, we prove that the existence of a complete set of mutually unbiased bases (MUBs) in N-dimensional Hilbert space implies the existence of a complete set of mutually orthogonal Latin squares (MOLSs) of order N. In particular, we prove that a complete set of MUBs does not exist in dimension six (the first dimension which is not a power of prime).

quant-pharXiv:2511.03537Nov 6, 20250 citations

Mutually orthogonal Latin squares from the inner products of vectors in mutually unbiased bases

Joanne L. Hall, Asha Rao

Mutually unbiased bases (MUBs) are important in quantum information theory. While constructions of complete sets of d + 1 MUBs in are known when d is a prime power, it is unknown if such complete sets exist in non-prime power dimensions. It has been conjectured that complete sets of MUBs only exist in if a maximal set of mutually orthogonal Latin squares (MOLS) of side length d also exists. There are several constructions (Roy and Scott 2007 J. Math. Phys. 48 072110; Paterek, Dakić and Brukner 2009 Phys. Rev. A 79 012109) of complete sets of MUBs from specific types of MOLS, which use Galois fields to construct the vectors of the MUBs. In this paper, two known constructions of MUBs (Alltop 1980 IEEE Trans. Inf. Theory 26 350–354; Wootters and Fields 1989 Ann. Phys. 191 363–381), both of which use polynomials over a Galois field, are used to construct complete sets of MOLS in the odd prime case. The MOLS come from the inner products of pairs of vectors in the MUBs.

Journal of Physics A Mathematical and TheoreticalMar 10, 20109 citations

Discrete phase-space approach to mutually orthogonal Latin squares

Mario Gaeta, Olivia Di Matteo, Andrei B Klimov +1 more

We show there is a natural connection between Latin squares and commutative sets of monomials defining geometric structures in finite phase-space of prime power dimensions.A complete set of such monomials defines a mutually unbiased basis (MUB) and may be associated with a complete set of mutually orthogonal Latin squares (MOLS).We translate some possible operations on the monomial sets into isomorphisms of Latin squares, and find a general form of permutations that map between Latin squares corresponding to unitarily equivalent mutually unbiased sets.

arXiv:1408.6742Journal of Physics A Mathematical and TheoreticalOct 13, 20141 citation

On the Maximal Number of Real Mutually Unbiased Bases

Paweł Wocjan

In this note I point out that (1) pairs of real mutually unbiased bases (i.e., orthonormal bases of R^d) can only exist in dimensions 2 or d where d is a multiple of 4 and that (2) triples of real mutually unbiased bases can only exist for dimensions d that are also squares. For the case d=2^{2m} the maximal number of real MUBs is given by (d+2)/2 (this follows from known results on extremal euclidean line-sets). In the case d=s^2 where s is an even number that is not a power of 2, we have the lower bound N_MOLS(s)+2, where N_MOLS(s) denotes the maximal number of mutually orthogonal Latin square of order s, provided that there exists a Hadamard matrix of size s. It is not known how good this bound is. Moreover, I observe that the question of deciding if there always two real MUBs is equivalent to the Hadamard conjecture.

Feb 3, 20051 citation