We give explicit quantum Latin squares of order
6 with cardinalities
19,
21,
23,
25,
27,
32, and
35, where vectors differing only by a global phase are identified. Cardinalities
19 and
21 arise from symmetric Schur products of columns of dephased Butson matrices. A parameterized direct-sum construction in $\C^6=\C^4\oplus\C^2$ yields cardinalities
23 and
25 by a controlled splitting of two pairs of rays. Cardinality
27 is obtained from mixed Schur products of a
BH(6,6) matrix and a row-permuted copy. Two further mixed constructions give cardinalities
32 and
35: the first has exactly two three-element phase classes, while the second has exactly one two-element phase class. In every Butson case, Hadamard orthogonality and the ray count are certified by finite arithmetic with exponent matrices. Combined with previously known attainable values and the general impossibility of cardinality
7, these constructions realize every order-six cardinality except
7 and the single currently unresolved value
29.
A quantum Latin square of order
n (denoted as QLS
(n)) is an
n×n array whose entries are unit column vectors from the
n-dimensional Hilbert space
Hn, such that each row and column forms an orthonormal basis. Two unit vectors
∣u⟩,∣v⟩∈Hn are regarded as identical if there exists a real number
θ such that
∣u⟩=eiθ∣v⟩; otherwise, they are considered distinct. The cardinality
c of a QLS
(n) is the number of distinct vectors in the array. In this note,we use sub-QLS
(6) to prove that for any integer
m≥2 and any
c∈[6m,36m2]∖{6m+1}, there is a QLS
(6m) with cardinality
c.
We give three explicit quantum Latin squares of order
6, with cardinalities
13,
15, and
17. Throughout, vectors differing only by a global phase are counted as identical. The cardinality-
13 construction is based on an orthogonal direct-sum decomposition $\C^6=\C^4\oplus\C^2$. The cardinality-
15 and cardinality-
17 constructions are based on two-dimensional Hadamard pairs supported on coordinate planes.
A quantum Latin square of order
n, denoted by
QLS(n), is an
n×n square whose entries are unit column vectors in the
n-dimensional Hilbert space
Hn, such that each row and each column forms an orthonormal basis of
Hn. The cardinality of a QLS(
n) is the number of distinct vectors up to a global phase in the array. A
QLS(n) whose main diagonal and anti-diagonal each forms an orthonormal basis of
Hn is called a diagonal quantum Latin square (
DQLS(n)). In this paper, we focus on the existence of the
DQLS(n) with maximum cardinality (
MCDQLS(n)). By employing direct constructions based on row-quantum Latin rectangle and special complete mapping, together with the recursive techniques such as the singular direct product construction, We have almost completely determined the existence of
MCDQLS(n), except for a few exceptional cases. This result is based on the study of the existence of idempotent
QLS(n) with maximum cardinality (
MCQLS(n)), and implies an existence result for pandiagonal quantum Latin squares with maximum cardinality (
MCPQLS(n)).
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.
A quantum Latin square of order
v, QLS(
v), is a
v×v array in which each of entries is a unit column vector from the Hilbert space
Cv, such that every row and column forms an orthonormal basis of
Cv. The cardinality of a QLS(
v) is the number of its vectors distinct up to a global phase, which is the crucial indicator for distinguishing between classical QLSs and non-classical QLSs. In this paper, we investigate the possible cardinalities of a QLS(
v). As a result, we completely resolve the existence of a QLS(
v) with maximal cardinality for any
v≥4. Moreover, based on Wilson's construction and Direct Product construction, we establish some possible cardinality range of a QLS(
v) for any
v≥4.