Mutually unbiased bases

In quantum information theory, mutually unbiased bases in Hilbert space C^d are two orthonormal bases $\{|e_1\rangle, \dots, |e_d\rangle\}$ and $\{|f_1\rangle, \dots, |f_d\rangle\}$ such that the square of the magnitude of the inner product between any basis states $|e_j\rangle$ and $|f_k\rangle$ equals the inverse of the dimension d:^[1]

$|\langle e_j|f_k \rangle|^2 = \frac{1}{d}, \quad \forall j,k \in \{1, \dots, d\}.$

These bases are unbiased in the following sense: if a system is prepared in a state belonging to one of the bases, then all outcomes of the measurement with respect to the other basis will occur with equal probabilities.

Overview

The notion of mutually unbiased bases was first introduced by Schwinger in 1960,^[2] and the first person to consider applications of mutually unbiased bases was Ivanovic^[3] in the problem of quantum state determination.

Another area where mutually unbiased bases can be applied is quantum key distribution, more specifically in secure quantum key exchange.^[4] Mutually unbiased bases are used in many protocols since the outcome is random when a measurement is made in a basis unbiased to that in which the state was prepared. When two remote parties share two non-orthogonal quantum states, attempts by an eavesdropper to distinguish between these by measurements will affect the system and this can be detected. While many quantum cryptography protocols have relied on 1-qubit technologies, employing higher dimensional states, such as qutrits, allows for better security against eavesdropping.^[4] This motivates the study of mutually unbiased bases in higher-dimensional spaces.

Other uses of mutually unbiased bases include quantum state reconstruction,^[5] quantum error correction codes,^[6][7] and the so called "mean king's problem".^[8][9]

Existence problem

Let $\mathfrak{M}(d)$ denote the maximal number of mutually unbiased bases in the d-dimensional Hilbert space C^d. It is an open question^[10] how many mutually unbiased bases, $\mathfrak{M}(d)$, one can find in C^d, for arbitrary d.

In general, if

$d = p_1^{n_1} p_2^{n_2}...p_k^{n_k}$

is the prime number decomposition of d, where

$p_1^{n_1} < p_2^{n_2}<...<p_k^{n_k}$

then the maximal number of mutually unbiased bases which can be constructed satisfies^[1]

$p_1^{n_1}+1 \le \mathfrak{M}(d) \le d+1.$

It follows that if the dimension of a Hilbert space d is an integer power of a prime number, then it is possible to find d + 1 mutually unbiased bases. This can be seen in the previous equation, as the prime number decomposition of d simply is $d = p_1^{n_1}$. Therefore,

$\mathfrak{M}(d) = d + 1.$

Though the maximal number of mutually unbiased bases is known when d is an integer power of a prime number, it is not known for arbitrary d.

Examples of sets of mutually unbiased bases

Example for d = 2

The three bases

$M_0 = \left\{ | 0 \rangle,| 1 \rangle \right\}$

$M_1 = \left\{ \frac{| 0 \rangle+| 1 \rangle}{\sqrt{2}},\frac{| 0 \rangle-| 1 \rangle}{\sqrt{2}} \right\}$

$M_2 = \left\{ \frac{| 0 \rangle+i | 1 \rangle}{\sqrt{2}},\frac{| 0 \rangle-i| 1 \rangle}{\sqrt{2}} \right\}$

provides the simplest example of mutually unbiased bases in C². The above bases are composed of the eigenvectors of the Pauli spin matrices σ_x,σ_z and their product σ_xσ_z.

Example for d = 4

For d = 4, an example of d + 1 = 5 mutually unbiased bases where each basis is denoted as M_j, 0 ≤ j ≤ 4, is given as follows:^[11]

$M_0 = \left\{(1,0,0,0),(0,1,0,0),(0,0,1,0),(0,0,0,1)\right\}$

$M_1 = \left\{\frac{1}{2}(1,1,1,1),\frac{1}{2}(1,1,-1,-1),\frac{1}{2}(1,-1,-1,1),\frac{1}{2}(1,-1,1,-1)\right\}$

$M_2 = \left\{\frac{1}{2}(1,-1,-i,-i),\frac{1}{2}(1,-1,i,i),\frac{1}{2}(1,1,i,-i),\frac{1}{2}(1,1,-i,i)\right\}$

$M_3 = \left\{\frac{1}{2}(1,-i,-i, -1),\frac{1}{2}(1,-i,i,1),\frac{1}{2}(1,i,i,-1),\frac{1}{2}(1,i,-i,1)\right\}$

$M_4 = \left\{\frac{1}{2}(1,-i,-1,-i),\frac{1}{2}(1,-i,1,i),\frac{1}{2}(1,i,-1,i),\frac{1}{2}(1,i,1,-i)\right\}$

Methods for finding mutually unbiased bases

Weyl group method^[1]

Let $\hat{X}$ and $\hat{Z}$ be two unitary operators in the Hilbert space C^d such that

$\hat{X}\hat{Z} = q\hat{Z}\hat{X}$

for some phase factor q. If q is a primitive root of unity, for example $q \equiv e^{\frac{2 \pi i}{d}}$ then the eigenbases of $\hat{X}$ and $\hat{Z}$ are mutually unbiased.

By choosing the eigenbasis of $\hat{Z}$ to be the standard basis, we can generate another basis unbiased to it using a Fourier matrix. The elements of the Fourier matrix are given by

$F_{ab} = q^{ab}, 0 \le a,b \le N-1$

Other bases which are unbiased to both the standard basis and the basis generated by the Fourier matrix can be generated using Weyl groups.^[1] The dimension of the Hilbert space is important when generating sets of mutually unbiased bases using Weyl groups. When d is a prime number, then the usual d + 1 mutually unbiased bases can be generated using Weyl groups. When d is not a prime number, then it is possible that the maximal number of mutually unbiased bases which can be generated using this method is 3.

Unitary operators method using Galois fields ^[12]

When d = p is prime, we define the unitary operators $\hat{X}$ and $\hat{Z}$ by

$\hat{X} = \sum_{k=0}^{d-1} |k+1 \rangle \langle k|$

$\hat{Z} = \sum_{k=0}^{d-1} \omega^k |k \rangle \langle k|$

where $\{ |k \rangle | 0 \le j \le d-1 \}$ is the standard basis and $\omega = e^{\frac{2\pi i}{d}}$ is a root of unity.

Then the eigenbases of the following d + 1 operators are mutually unbiased:^[12]

$\hat{X}, \hat{Z}, \hat{X} \hat{Z}, \hat{X} \hat{Z}^2 ... \hat{X} \hat{Z}^{d-1}$

When d = p^M is a power of a prime, we make use of the Galois field GF(d) to construct a maximal set of d + 1 mutually unbiased bases. We label the elements of the computational basis of C^d using the Galois field: $\{ |a \rangle | a \in GF(d) \}$.

We define the operators $\hat{X_a}$ and $\hat{Z_b}$ in the following way

$\hat{X_a} = \sum_{c \in GF(d)} |c + a \rangle \langle c|$

$\hat{Z_b} = \sum_{c \in GF(d)} \chi (bc)|c \rangle \langle c|$

where

$\chi(\theta) = \exp \left [ \frac{2\pi i }{p} \left ( \theta+ \theta^p + \theta^{p^2}+ \cdots + \theta^{p^{M-1}} \right ) \right ],$

and the addition and multiplication in the kets and $\chi(\cdot)$ is that of GF(d).

Then we form d + 1 sets of commuting unitary operators:

$\{ \hat{Z_q} | q \in GF(d) \}$ and $\{ \hat{X_q}\hat{Z_{qr}} | q \in GF(d) \}$ for each $r \in GF(d)$

The joint eigenbases of the operators in one set are mutually unbiased to that of any other set.^[12] We thus have d + 1 mutually unbiased bases.

Hadamard matrix method^[1]

Given that one basis in a Hilbert space is the standard basis, then all bases which are unbiased with respect to this basis can be represented by the columns of a complex Hadamard matrix multiplied by a normalization factor. For d = 3 these matrices would have the form

$U = \frac{1}{\sqrt{d}} \begin{bmatrix} 1 & 1 & 1 \\ e^{i \phi_{10}} & e^{i \phi_{11}} & e^{i \phi_{12}} \\ e^{i \phi_{20}} & e^{i \phi_{21}} & e^{i \phi_{22}} \end{bmatrix}$

The problem of finding a set of k+1 mutually unbiased bases therefore corresponds to finding k mutually unbiased complex Hadamard matrices.

An example of a one parameter family of Hadamard matrices in a 4 dimensional Hilbert space is

$H_4(\phi) = \frac{1}{2} \begin{bmatrix} 1 & 1 & 1 & 1 \\ 1 & e^{i\phi} & -1 & -e^{i \phi} \\ 1 & -1 & 1 & -1 \\ 1 & -e^{i\phi} & -1 & e^{i\phi} \end{bmatrix}$

The problem of finding a maximal set of MUBs when d = 6

The smallest dimension that is not an integer power of a prime is d = 6. This is also the smallest dimension for which the number of mutually unbiased bases is not known. The methods used to determine the number of mutually unbiased bases when d is an integer power of a prime number cannot be used in this case. Searches for a set of four mutually unbiased bases when d = 6, both by using Hadamard matrices^[1] and numerical methods^[13] have been unsuccessful. The general belief is that the maximum number of mutually unbiased bases for d = 6 is $\mathfrak{M}(6) = 3$.^[1]

Entropic Uncertainty Relations and MUBs^[14]

There is an alternative characterization of mutually unbiased bases that considers them in terms of uncertainty relations.^[15]

Entropic uncertainty relations are analogous to the Heisenberg uncertainty principle, and Maassen and Uffink^[16] found that for any two bases $B_1 = \{ |a_{i}\rangle_{i=1}^d \}$ and $B_2 = \{ | b_{j} \rangle _{j=1}^{d} \}$:

$H_{B_1} + H_{B_2} \geq -2\log c.$

where $c = max | \langle a_j | b_k \rangle |$ and $H_{B_1}$ and $H_{B_2}$ is the respective entropy of the bases B₁ and B₂, when measuring a given state.

Entropic uncertainty relations are often preferable^[17] to the Heisenberg uncertainty principle, as they are not phrased in terms of the state to be measured, but in terms of c.

In scenarios such as quantum key distribution, we aim for measurement bases such that full knowledge of a state with respect to one basis implies minimal knowledge of the state with respect to the other bases. This implies a high entropy of measurement outcomes, and thus we call these strong entropic uncertainty relations.

For two bases, the lower bound of the uncertainty relation is maximized when the measurement bases are mutually unbiased, since mutually unbiased bases are maximally incompatible: the outcome of a measurement made in a basis unbiased to that in which the state is prepared in is completely random. In fact, for a d-dimensional space, we have:^[18]

$H_{B_1} + H_{B_2} \geq \log (d)$

for any pair of mutually unbiased bases B₁ and B₂. This bound is optimal^[19]: If we measure a state from one of the bases then the outcome has entropy 0 in that basis and an entropy of log(d) in the other.

If the dimension of the space is a prime power, we can construct d + 1 MUBs, and then it has been found that^[20]

$\sum_{k=1}^{d+1} H_{B_k} \geq \frac{d+1}{2} \log(\frac{d+1}{2} )$

which is stronger than the relation we would get from pairing up the sets and then using the Maassen and Uffink equation. Thus we have a characterization of d + 1 mutually unbiased bases as those for which the uncertainty relations are strongest.

Although the case for two bases, and for d + 1 bases is well studied, very little is known about uncertainty relations for mutually unbiased bases in other circumstances.^[14] It is not obvious that strong uncertainty relations exist for all cases, but it has been shown that it is possible in principle.^[20]

Mutually unbiased bases in infinite dimension Hilbert spaces

While there has been investigation into mutually unbiased bases in infinite dimension Hilbert space, their existence remains an open question. It is conjectured that in a continuous Hilbert space, two orthonormal bases $|\psi_s^b \rangle$ and $|\psi_{s'}^{b'} \rangle$ are said to be mutually unbiased if^[21]

$|\langle \psi_s^b | \psi_{s'}^{b'} \rangle|^2 = k>0, s,s'\in \mathbb{R}$

For the generalized position and momentum eigenstates $| q \rangle, q\in \mathbb{R}$ and $| p \rangle,p\in \mathbb{R}$, the value of k is

$|\langle q | p \rangle|^2 = \frac{1}{2 \pi \hbar}$

The existence of mutually unbiased bases in a continuous Hilbert space remains open for debate, as further research in their existence is required before any conclusions can be reached.

Position states $| q \rangle$ and momentum states $| p \rangle$ are eigenvectors of Hermitian operators $\hat{x}$ and $-i \frac{\partial}{\partial x}$, respectively. Weigert and Wilkinson ^[21] were first to notice that also a linear combination of these operators have eigenbases, which have some features typical for the mutually unbiased bases. An operator $\alpha \hat{x}-i\beta\frac{\partial}{\partial x}$ has eigenfunctions proportional to $\exp(i(ax^2+bx)) \,$ with α + 2βa = 0 and the corresponding eigenvalues bβ. If we parametrize α and β as cosθ and sinθ, the overlap between any eigenstate of the linear combination and any eigenstate of the position operator (both states normalized to the Dirac delta) is constant, but dependent on β:

$|\langle x_\theta|x \rangle |^2=\frac{1}{2\pi|\sin\theta|},$

where $|x\rangle$ and $|x_\theta\rangle$ stand for eigenfunctions of $\hat{x}$ and $\cos\theta\hat{x}-i \sin \theta \frac{\partial}{\partial x}$.

References

1. ^ ^{a b c d e f g} I. Bengtsson, Three ways to look at mutually unbiased bases, http://arxiv.org/abs/quant-ph/0610216.
2. ^ J. Schwinger, Unitary Operator Bases, Harvard University, 1960, http://www.pubmedcentral.nih.gov/picrender.fcgi?artid=222876&blobtype=pdf.
3. ^ I. D. Ivanovic, J. Phys. A. 14. 3241 (1981).
4. ^ ^{a b} M. Planat et al, A Survey of Finite Algebraic Geometrical Structures Underlying Mutually Unbiased Quantum Measurements, http://hal.ccsd.cnrs.fr/docs/00/07/99/18/PDF/MUB_FP.pdf.
5. ^ W. K. Wootters and B. D. Fields, Optimal State-Determination by Mutually Unbiased Measurements, Ann. Phys. 191 (1989) 363-381.
6. ^ D. Gottesman, Class of quantum error-correcting codes saturating the quantum Hamming bound, Phys. Rev. A 54 (1996) 1862-1868.
7. ^ A. R. Calderbank et al, Quantum Error Correction and Orthogonal Geometry, Phys. Rev. Lett. 78 (1997) 405-408.
8. ^ L. Vaidman et al, How to ascertain the values of σ_x,σ_y, and σ_z of a spin-1/2 particle, Phys. Rev. Lett. 58 (1987) 1385-1387.
9. ^ B.-G. Englert and Y. Aharonov, The mean king’s problem: prime degrees of freedom, Phys. Lett. A 284 (2001) 1-5.
10. ^ T. Durt, B.-G. Englert, I. Bengtsson, K. Życzkowski, "On mutually unbiased bases" http://arxiv.org/abs/1004.3348.
11. ^ A. Klappenecker, M. Roetteler, Constructions of Mutually Unbiased Bases, 2003, http://arxiv.org/abs/quant-ph/0309120.
12. ^ ^{a b c} S. Bandyopadhyay, P. O. Boykin, V. Roychowdhury, F. Vatan, A new proof for the existence of mutually unbiased bases, 2001, http://arxiv.org/abs/quant-ph/0103162.
13. ^ P. Butterley, W. Hall, Numerical evidence for the maximum number of mutually unbiased bases in dimension six, 2007, http://arxiv.org/abs/quant-ph/0701122.
14. ^ ^{a b} S. Wu, S. Yu, K. Mølmer, Entropic uncertainty relation for mutually unbiased bases, Phys. Rev. A 79, 022104 (2009), http://arxiv.org/abs/0811.2298.
15. ^ I.I. Hirschman, Jr., A note on entropy. American Journal of Mathematics (1957) pp. 152–156.
16. ^ H. Maassen, J.B.M. Uffink: Generalized entropic uncertainty relations: Phys. Rev. Lett. 60, 1103–1106 (1988).
17. ^ I. Damgard, S. Fehr, R. Renner, L. Salvail, C. Schaner(2006), http://arxiv.org/abs/quant-ph/0612014.
18. ^ D. Deutsch, Uncertainty in Quantum Measurements. Physical Review Letters, 50(9):631–633, February 1982.
19. ^ A. Ambainis, Limits on entropic uncertainty relations for 3 and more MUBs, http://arxiv.org/abs/0909.3720.
20. ^ ^{a b} S. Wehner and A. Winter, 2010 New J. Phys. 12 025009: http://iopscience.iop.org/1367-2630/12/2/025009/.
21. ^ ^{a b} S. Weigert, M. Wilkinson, Mutually Unbiased Bases for Continuous Variables, Phys. Rev. A 78, 020303(R) (2008), http://arxiv.org/abs/0802.0394.