Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1408.6742 · Journal of Physics A Mathematical and Theoretical

Discrete phase-space approach to mutually orthogonal Latin squares

Mario Gaeta, Olivia Di Matteo, Andrei B Klimov, Hubert de Guise

Published Oct 13, 2014• 1 citation
arXivHTMLPDF

Abstract

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.

DOI
10.1088/1751-8113/47/43/435303

Related papers

On the connection between mutually unbiased bases and orthogonal Latin squares

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

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.

arXiv:0910.1439•Physica Scripta•Sep 1, 2010•19 citations

On the connection between mutually unbiased bases and orthogonal Latin squares

Tomasz Paterek, M Paw Lowski, Markus Grassl +1 more

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.

•Aug 18, 2016•11 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.03537•Nov 6, 2025•0 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, 2008•0 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 Theoretical•Mar 10, 2010•9 citations

Reply to “Comment on ‘Mutually unbiased bases, orthogonal Latin squares, and hidden-variable models’ ”

Tomasz Paterek, Borivoje Dakić, Časlav Brukner

In this Reply to the preceding Comment by Hall and Rao [Phys. Rev. A 83, 036101 (2011)], we motivate terminology of our original paper and point out that further research is needed in order to (dis)prove the claimed link between every orthogonal Latin square of order being a power of a prime and a mutually unbiased basis.

Physical Review A•Mar 30, 2011•1 citation
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.
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].
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.