Unitary Error Bases: Constructions, Equivalence, and Applications

Unitary error bases are fundamental primitives in quantum computing, which are instrumental for quantum error-correcting codes and the design of teleportation and super-dense coding schemes. There are two prominent constructions of such bases: an algebraic construction using projective representations of finite groups and a combinatorial construction using Latin squares and Hadamard matrices. An open problem posed by Schlingemann and Werner relates these two constructions, and asks whether each algebraic construction is equivalent to a combinatorial construction. We answer this question by giving an explicit counterexample in dimension 165 which has been constructed with the help of a computer algebra system.

[1]  R. Werner All teleportation and dense coding schemes , 2000, quant-ph/0003070.

[2]  Alexei E. Ashikhmin,et al.  Nonbinary quantum stabilizer codes , 2001, IEEE Trans. Inf. Theory.

[3]  J. Schwinger UNITARY OPERATOR BASES. , 1960, Proceedings of the National Academy of Sciences of the United States of America.

[4]  Andreas Klappenecker,et al.  Beyond stabilizer codes I: Nice error bases , 2002, IEEE Trans. Inf. Theory.

[5]  Charles H. Bennett,et al.  Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. , 1993, Physical review letters.

[6]  H. Zassenhaus,et al.  The Pauli matrices in n dimensions and finest gradings of simple Lie algebras , 1988 .

[7]  H. Weinfurter,et al.  Experimental quantum teleportation , 1997, Nature.

[8]  Charles C. Sims,et al.  Computation with finitely presented groups , 1994, Encyclopedia of mathematics and its applications.

[9]  E. Knill Group representations, error bases and quantum codes , 1996, quant-ph/9608049.

[10]  John J. Cannon,et al.  The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..