A Galois unitary is a generalization of the notion of anti-unitary operators. They act only on those vectors in Hilbert space whose entries belong to some chosen number field. For Mutually Unbiased Bases the relevant number field is a cyclotomic field. By including Galois unitaries we are able to remove a mismatch between the finite projective group acting on the bases on the one hand, and the set of those permutations of the bases that can be implemented as transformations in Hilbert space on the other hand. In particular we show that there exist transformations that cycle through all the bases in all dimensions d = p^n where p is an odd prime and the exponent n is odd. (For even primes unitary MUB-cyclers exist.) These transformations have eigenvectors, which are MUB-balanced states (i.e. rotationally symmetric states in the original terminology of Wootters and Sussman) if and only if d = 3 modulo 4. We conjecture that this construction yields all such states in odd prime power dimension.
A Galois unitary is a generalization of the notion of anti-unitary operators. They act only on those vectors in Hilbert space whose entries belong to some chosen number field. For Mutually Unbiased Bases the relevant number field is a cyclotomic field. By including Galois unitaries we are able to remove a mismatch between the finite projective group acting on the bases on the one hand, and the set of those permutations of the bases that can be implemented as transformations in Hilbert space on the other hand. In particular we show that there exist transformations that cycle through all the bases in all dimensions d = p^n where p is an odd prime and the exponent n is odd. (For even primes unitary MUB-cyclers exist.) These transformations have eigenvectors, which are MUB-balanced states (i.e. rotationally symmetric states in the original terminology of Wootters and Sussman) if and only if d = 3 modulo 4. We conjecture that this construction yields all such states in odd prime power dimension.
Mutually unbiased bases (MUBs), which are such that the inner product between two vectors in different orthogonal bases is a constant equal to 1/sqrt{d), with d the dimension of the finite Hilbert space, are becoming more and more studied for applications such as quantum tomography and cryptography, and in relation to entangled states and to the Heisenberg-Weil group of quantum optics. Complete sets of MUBs of cardinality d+1 have been derived for prime power dimensions d=p^m using the tools of abstract algebra. Presumably, for non prime dimensions the cardinality is much less. Here we reinterpret MUBs as quantum phase states, i.e. as eigenvectors of Hermitean phase operators generalizing those introduced by Pegg & Barnett in 1989. We relate MUB states to additive characters of Galois fields (in odd characteristic p) and to Galois rings (in characteristic 2). Quantum Fourier transforms of the components in vectors of the bases define a more general class of MUBs with multiplicative characters and additive ones altogether. We investigate the complementary properties of the above phase operator with respect to the number operator. We also study the phase probability distribution and variance for general pure quantum electromagnetic states and find them to be related to the Gauss sums, which are sums over all elements of the field (or of the ring) of the product of multiplicative and additive characters. Finally, we relate the concepts of mutual unbiasedness and maximal entanglement. This allows to use well studied algebraic concepts as efficient tools in the study of entanglement and its information aspects
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.
Mutually unbiased bases generalize the X , Y and Z qubit bases. They possess numerous applications in quantum information science. It is well known that in prime power dimensions N = p m (with p prime and m a positive integer), there exists a maximal set of N + 1 mutually unbiased bases. In the present paper, we derive an explicit expression for those bases, in terms of the (operations of the) associated finite field (Galois division ring) of N elements. This expression is shown to be equivalent to the expressions previously obtained by Ivanovic ( 1981 J. Phys. A: Math. Gen. 14 3241 ) in odd prime dimensions, and Wootters and Fields (1989 Ann. Phys. 191 363) in odd prime power dimensions. In even prime power dimensions, we derive a new explicit expression for the mutually unbiased bases. The new ingredients of our approach are, basically, the following: we provide a simple expression of the generalized Pauli group in terms of the additive characters of the field, and we derive an exact groupal composition law between the elements of the commuting subsets of the generalized Pauli group, renormalized by a well-chosen phase-factor.
Mutually unbiased bases generalize the X, Y and Z qubit bases. They possess numerous applications in quantum information science. It is well-known that in prime power dimensions N=p^m (with p prime and m a positive integer) there exists a maximal set of N+1 mutually unbiased bases. In the present paper, we derive an explicit expression for those bases, in terms of the (operations of the) associated finite field (Galois division ring) of N elements. This expression is shown to be equivalent to the expressions previously obtained by Ivanovic in odd prime dimensions (J. Phys. A, 14, 3241 (1981)), and Wootters and Fields (Ann. Phys. 191, 363 (1989)) in odd prime power dimensions. In even prime power dimensions, we derive a new explicit expression for the mutually unbiased bases. The new ingredients of our approach are, basically, the following: we provide a simple expression of the generalised Pauli group in terms of the additive characters of the field and we derive an exact groupal composition law inside the elements of the commuting subsets of the generalised Pauli group, renormalised by a well-chosen phase-factor.
We consider a version of the extended Clifford Group which is defined in terms of a finite Galois field in odd prime power dimension. We show that Neuhauser's result, that with the appropriate choice of phases the standard (or metaplectic) representation of the discrete symplectic group is faithful also holds for the anti-unitary operators of the extended group. We also improve on Neuhauser's result by giving explicit formulae for the (anti-)unitary corresponding to an arbitrary (anti-)symplectic matrix. We then go on to find the eigenvalues and the order of an arbitrary (anti-)symplectic matrix. The fact that in prime power dimension the matrix elements belong to a field means that this can be done using the same techniques which are used to find the eigenvalues of a matrix defined over the reals-including the use of an extension field (the analogue of the complex numbers) when the eigenvalues are not in the base field. We then give an application of these results to SIC-POVMs (symmetric informationally complete positive operator valued measures). We show that in prime dimension our results can be used to find a natural basis for the eigenspace of the Zauner unitary in which SIC-fiducials are expected to lie. Finally, we apply our results to the MUB cycling problem. We show that in odd prime power dimension d, although there is no Clifford unitary, there is a Clifford anti-unitary which cycles through the full set of Wootters-Fields MUBs if d=3 (mod 4). Also, irrespective of whether d=1 or 3 (mod 4), the Wootters-Fields MUBs split into two groups of (d+1)/2 bases in such a way that there is a single Clifford unitary which cycles through each group separately.
We rephrase the Wootters-Fields construction [W. K. Wootters and B. C. Fields, Ann. Phys. 191, 363 (1989)] of a full set of mutually unbiased bases in a complex vector space of dimensions N=pr, where p is an odd prime, in terms of the character vectors of the cyclic group G of order p. This form may be useful in explicitly writing down mutually unbiased bases for N=pr.