View source for Mutually unbiased bases

<div style="line-height:1.4em; font-size:1.2em; margin-left:0%; margin-right:0%">

'''Cite as:''' [http://qig.itp.uni-hannover.de/qiproblems/Mutually_unbiased_bases http://qig.itp.uni-hannover.de/qiproblems/13]

Previous problem: [[Bell Inequalities for long range vacuum correlations|Bell Inequalities for long range vacuum correlations]]

Next problem: [[Tough error models|Tough error models]]

</div>

=Problem=
<div style="line-height:1.4em; font-size:1.2em; margin-left:0%; margin-right:0%">

Determine the maximal number <math>k</math> of orthonormal bases in a <math>d</math>-dimensional Hilbert space, which are mutually unbiased in the following sense: If <math>e_{ik}</math> denotes the <math>i</math>th vector of the <math>k</math>th basis, all scalar products <math> < e_{ik},e_{jn}></math> with <math>k\neq n</math> have the same absolute value (namely <math>d-1/2</math>). <br>
It is known that if d is the power of a prime, <math>k=d+1</math> can be achieved, but this is not known for any other composite number. So the problem is already to decide whether there exist <math>k=7 </math> mutually unbiased bases in <math>d=6 </math> dimensions (up to now only a pair of three MUBs is known).

</div>

=Background=
<div style="line-height:1.4em; font-size:1.2em; margin-left:0%; margin-right:0%">

The problem comes up in at least three (related) contexts:

*State determination <ref name="Iv">I. D. Ivanovic, »Geometrical description of quantal state determination«, J. Phys. A 14, 3241 (1981).</ref><ref name="WF">W.K. Wootters, B.D. Fields, »Optimal state-determination by mutually unbiased measurements«, Ann. Phys. 191, 363 (1989).</ref><br> Suppose we want to determine the density operator of a source by measuring <math>k</math> observables (with <math>d</math> one-dimensional projections each). Each such measurement allows us to determine <math>d-1</math> independent parameters, so we can determine <math>k(d-1)</math> out of <math>d2-1</math> parameters in the density operator. Hence <math>k=d+1</math> should suffice. In order to achieve best estimation results, the measurements should duplicate no information already contained in other measurements, i. e., the observables should be pairwise complementary, or the bases mutually unbiased in the above sense.

*Cryptography<br/> Suppose Alice sends a <math>d</math>-level systems prepared in one of the d pure states <math>e_{ik}</math> belonging to a set of <math>k</math> orthonormal bases agreed between Alice and Bob. If Bob measures in the same basis, he can decode the value <math>i</math> perfectly. In cryptography one also wants that if an eavesdropper measures the system in any one of the other bases, she can extract no information whatsoever about i. This requires the bases to be mutually unbiased.<br/> It is known that a higher error level can be tolerated in the channel for protocols using maximal families of mutually unbiased bases (e. g., the "six state protocol'', <math>D=2</math>, <math>K=3</math>) rather than non-maximal ones (e. g., BB84, using <math>D=2</math>, <math>K=2</math>).

*The Mean King<ref name ="AE">Y. Aharonov, B.-G. Englert, »The mean king's problem: Spin 1«, Z. Naturforsch. 56a, 16 (2001) and quant-ph/0101065 (2001).</ref><br> A ship-wrecked physicist gets stranded on a far-away island that is ruled by a mean king who loves cats and hates physicists since the day when he first heard what happened to Schrödinger's cat. A similar fate is awaiting the stranded physicist. Yet, mean as he is, the king enjoys defeating physicists on their own turf, and therefore he maliciously offers an apparently virtual chance of rescue.<br/> He takes the physicist to the royal laboratory, a splendid place where experiments of any kind can be performed perfectly. There the king invites the physicist to prepare a certain silver atom in any state she likes. The king's men will then measure one of the three cartesian spin components of this atom - they'll either measure <math>\sigma_x</math>, <math>\sigma_y</math>, or <math>\sigma_z</math> without, however, telling the physicist which one of the measurements is actually done. Then it is again the physicist's turn, and she can perform any experiment of her choosing. Only after she's finished with it, the king will tell her which spin component had been measured by his men. To save her neck, the physicist must then state correctly the measurement result that the king's men had obtained.<br/> Much to the king's frustration, the physicist rises to the challenge - and not just by sheer luck: She gets the right answer any time the whole procedure is repeated. How does she do it? <br/> More generally, the king's men might be allowed to perform one out of <math>k</math> complete von Neumann measurements on a <math>d</math>-dimensional system. This is also known as the "Meaner King Problem", which is the topic of <ref name="RP">M.Reimpell, R.F.Werner, »A Meaner King uses Biased Basess«, Phys. Rev. A 75, 062334 , quant-ph/0612035 (2006).</ref>. The problem first came up in<ref name="VA+">L. Vaidman, Y. Aharonov, and D. Z. Albert, »How to ascertain the values of <math>\sigma_x</math>, <math>\sigma_y</math> and <math>\sigma_z</math>  of a spin-1/2 particle«, Phys. Rev. Lett. 58, 1385 (1987).</ref>, together with a solution for <math>d=2</math>. Solutions involving mutually unbiased bases are presented in <ref name="AE"/> <ref name="Ara">P.K. Aravind, »Solution to the King's Problem in prime power dimensions«, Z. Naturforsch. 58a, 2212 (2003) and quant-ph/0210007 (2002).</ref> <ref name="Arb">P.K. Aravind, »Best conventional solutions to the King's Problem«, quant-ph/0306119 (2003).</ref> <ref name="EA">B.-G. Englert, Y. Aharonov, »The mean king's problem: Prime degrees of freedom«, Phys. Lett. A 284, 1 (2001) and quant-ph/0101134 (2001).</ref>. The solutions can used to generate a secret key shared by Alice and the King, if they choose to cooperate <ref name=AW">A.H. Werner, T.Franz, R.F. Werner, »Quantum cryptography as a retrodiction problem «,Phys. Rev. Lett. 103, 220504 , quant-ph/0909.3375 (2009).</ref>. Confer also the experimental realization in <ref name="SS+">O. Schulz, R. Steinhübl, M. Weber, B.-G. Englert, C. Kurtsiefer, H. Weinfurter, »Ascertaining the Values of <math>\sigma_x</math>, <math>\sigma_y</math> and <math>\sigma_z</math>   of a Polarization Qubit«, quant-ph/0209127 (2002).</ref>.

</div>


=Partial Results=
<div style="line-height:1.4em; font-size:1.2em; margin-left:0%; margin-right:0%">

*H. Barnum <ref name="Ba">H. Barnum, »Information-disturbance tradeoff in quantum measurement on the uniform ensemble and on the mutually unbiased bases«, quant-ph/0205155 (2002).</ref> points out a close connection of this problem with "spherical 2-designs'', which are collections of pure states such that the average of a polynomial of degree 2 on these states equals the integral of the polynomial over all pure states.

*For the case d=6 there are a number of different but equ<ivalent formulations of this problem, but until today no approach is known, which leads to more than three MUBs.

*A. Pittenger and M. Rubin <ref name="PR"/> give a constructive proof for the case of prime power dimension <ref name="WF">W.K. Wootters, B.D. Fields, »Optimal state-determination by mutually unbiased measurements«, Ann. Phys. 191, 363 (1989).</ref>. They also adress the question of separabilty and provide an appendix on the necessary parts of algebraic field extensions. Another proof can be found in <ref ="KR">A. Klappenecker, M. Roetteler, »Constructions of Mutually Unbiased Bases«, quant-ph/0309120 (2003).</ref>.

*C. Archer <ref name="Arc">C. Archer, »There is no generalization of known formulas for mutually unbiased bases«, quant-ph/0312204 (2003).</ref> shows that even generalizations of these constructions do not extend the results beyond prime power dimension.

*M.Weiner gives in <ref name="Wei">M. Weiner, »A gap for the maximum number of mutually unbiased bases «,arXiv:0902.0635v1 (2009).</ref> a proof, that if a collection of d MUBs is found, one can always construct the complete collection. Hence we know that in non prime-power dimensions whether d-1 MUBs or d+1 MUBs represent are possible upper bounds.

*The close connection between the number of non-equivalent Hadamard matrices and the number of MUBs is shown in an extensive recent review <ref name="DE+">T. Durt, B.G. Englert, I. Bengtsson, K. Zyczkowski, » On mutually unbiased bases «, quant-ph/1004.3348 (2010).</ref>. This review also includes construction of MUBs in a prime power dimension and deals with the corresponding Bell states.

</div>

=Literature=

<references/>

[[Category:Problem still open]]