|
|||||
|
|||||
|
6
Nice error bases
|
|
||||||||||||
|
Nice error bases |
|||||||||||||
| contact: | D. Schlingemann | date: | 08 Nov 2001 | last progress: | 28 May 2003 | solved by: | A. Klappenecker, M. Roetteler |
|
|||||||||||||
|
Top of page
 |
| Problem |
There are two special constructions to obtain orthogonal bases of unitaries, i. e., collections of unitary operators Ui, i=1,...,d2, on a d-dimensional Hilbert space, such that tr(Ui* Uj) = d di j:
On the one hand one can require in addition that the product of any two unitaries in the basis gives another one up to a phase, i. e., Ui Uj = phase \cdot Uk. The composition of labels (i,i) \mapsto k then defines a group, the "index group'' of the basis. Bases of this kind have been called nice error bases.
On the other hand, one may require that, in a suitable basis of the Hilbert space, the unitaries are obtained as the products of a collection of d permutation operators and d multiplication operators. Bases constructed in this way are called of shift and multiply type.
The question that arises here is to decide whether every nice error basis is of shift and multiply type.
|
Top of page
|
| Background |
Orthogonal bases are precisely [3] what is needed to construct schemes for entanglement assisted teleportation or dense coding. For qubits (d=2) there is only one such basis up to left and right multiplication by fixed unitaries, namely the Pauli matrices together with the identity.
The shift and multiply constructions can be classified further: for the "shift'' part one precisely needs a Latin square, whereas the multiplication part requires the construction of d complex Hadamard matrices [3].
A finite group H is called of central type if it possesses an irreducible representation in d=sqrt()|H/Z(H)| dimensions, where Z(H) is the center of H.
|
Top of page
|
| Solution |
An answer to the question, given above, has recently be found by Andreas Klappenecker and Martin Roetteler. They show in their article "On the monomiality of nice error basis'' [4] that there is in fact a nice error basis which is not of shift and multiplier type.
Roughly their argumentation is based on the following: First one observes that every nice error basis which is of shift and multiplier type is monomial, i.e. each of its unitary matices has in every row and column precisely one non-vanishing entry. An abstract error group is one which is generated by nice error bases (central extension of the index group). Such a group is of central type with cyclic center. Employing the theory of characters for these groups, which has been studied by P. Ferguson, I. M. Isaacs (see references given in [4]), an abstract error group can be constructed which has a non-monomial irreducible representation.
|
Top of page
|
| Literature |
| [1] | A. Klappenecker and M. Roetteler, »Beyond Stabilizer Codes I: Nice Error Bases«, quant-ph/0010082 (2000). |
| [2] | E. Knill, »Group Representations, Error Bases and Quantum Codes«, quant-ph/9608049 (1996). |
| [3] | R. F. Werner, »All Teleportation and Dense Coding Schemes«, quant-ph/0003070 (2000). |
| [4] | A. Klappenecker and M. Roetteler, »On the Monomiality of Nice Error Bases«, quant-ph/0301078 (2003). |
| Questions and comments | Last modified: 21 Apr 2005 |
Top of page
|
