GENERALIZED NUMERICAL RANGES AND QUANTUM ERROR CORRECTION

For a noisy quantum channel, a quantum error correcting code of dimension k exists if and only if the joint rank-k numerical range associated with the error operators of the channel is non-empty. In this paper, geometric properties of the joint rank k-numerical range are obtained and their implications to quantum computing are discussed. It is shown that for a given k if the dimension of the underlying Hilbert space of the quantum states is sufficiently large, then the joint rank k-numerical range of operators is always star-shaped and contains the convex hull of the rank k̂-numerical range of the operators for sufficiently large k̂. In case the operators are infinite dimensional, the joint rank ∞-numerical range of the operators is a convex set closely related to the joint essential numerical ranges of the operators.

[1]  Hugo J. Woerdeman.  The higher rank numerical range is convex , 2008 .

[2]  Karol Zyczkowski,et al.  Higher-Rank Numerical Ranges of Unitary and Normal Matrices , 2006 .

[3]  E. Knill,et al.  Theory of quantum error-correcting codes , 1997 .

[4]  K. Gustafson,et al.  Numerical Range: The Field Of Values Of Linear Operators And Matrices , 1996 .

[5]  Viola,et al.  Theory of quantum error correction for general noise , 2000, Physical review letters.

[6]  Chi-Kwong Li,et al.  Higher rank numerical ranges and low rank perturbations of quantum channels , 2007, 0710.2898.

[7]  Chi-Kwong Li,et al.  Canonical forms, higher rank numerical range, convexity, totally isotropic subspace, matrix equations , 2007 .

[8]  Karol Zyczkowski,et al.  Higher-rank numerical ranges and compression problems , 2005 .

[9]  H. Tverberg.  A Generalization of Radon's Theorem , 1966 .

[10]  Karol Zyczkowski,et al.  Quantum error correcting codes from the compression formalism , 2005, quant-ph/0511101.

[11]  HIGHER-RANK NUMERICAL RANGES AND DILATIONS , 2010 .

[12]  David W. Kribs,et al.  Geometry of higher-rank numerical ranges , 2008 .

[13]  Man-Duen Choi.  Completely positive linear maps on complex matrices , 1975 .

[14]  Chi-Kwong Li,et al.  Condition for the higher rank numerical range to be non-empty , 2007 .

[15]  Chi-Kwong Li,et al.  The joint essential numerical range of operators: convexity and related results , 2009 .

[16]  B. M. Fulk.  MATH , 1992 .

[17]  Chi-Kwong Li,et al.  Convexity of the Joint Numerical Range , 1999, SIAM J. Matrix Anal. Appl..