SearcharxivSearch

arXiv subjects

Man-Duen Choi

Publications and source records attributed to Man-Duen Choi.

12 recordsLinked to original sources

On unital qubit channels

A canonical form for unital qubit channels under local unitary transforms is obtained. In particular, it is shown that the eigenvalues of the Choi matrix of a unital quantum channel form a complete set of invariants of the canonical form. It follows immediately that every unital qubit channel is the average of four unitary channels. More generally, a unital qubit channel can be expressed as the convex combination of unitary channels with convex coefficients $p_1, \dots, p_m$ as long as $2(p_1, \dots, p_m)$ is majorized by the vector of eigenvalues of the Choi matrix of the channel. A unital qubit channel in the canonical form will transform the Bloch sphere onto an ellipsoid. We look into the detailed structure of the natural linear maps sending the Bloch sphere onto a corresponding ellipsoid.

quant-ph

Symmetry in the Cuntz Algebra on two generators

We investigate the structure of the automorphism of $\mathcal{O}_{2}$ which exchanges the two canonical isometries. Our main observation is that the fixed point C*-subalgebra for this action is isomorphic to $\mathcal{O}_{2}$ and we detail the relationship between the crossed-product and fixed point subalgebra.

math.OA

Product numerical range in a space with tensor product structure

We study operators acting on a tensor product Hilbert space and investigate their product numerical range, product numerical radius and separable numerical range. Concrete bounds for the product numerical range for Hermitian operators are derived. Product numerical range of a non-Hermitian operator forms a subset of the standard numerical range containing the barycenter of the spectrum. While the latter set is convex, the product range needs not to be convex nor simply connected. The product numerical range of a tensor product is equal to the Minkowski product of numerical ranges of individual factors.

math.OA

The multiplicative domain in quantum error correction

We show that the multiplicative domain of a completely positive map yields a new class of quantum error correcting codes. In the case of a unital quantum channel, these are precisely the codes that do not require a measurement as part of the recovery process, the so-called unitarily correctable codes. Whereas in the arbitrary, not necessarily unital case they form a proper subset of unitarily correctable codes that can be computed from properties of the channel. As part of the analysis we derive a representation theoretic characterization of subsystem codes. We also present a number of illustrative examples.

quant-ph

Corners of normal matrices

We study various conditions on matrices $B$ and $C$ under which they can be the off-diagonal blocks of a partitioned normal matrix.

math.RA

Crossed-product C*-algebras for conformal automorphisms of the disk

We study the C*-algebra crossed-product of the closed unit disk by the action of one of its conformal automorphisms. After classifying the conformal automorphisms up to topological conjugacy, we investigate, for each class, the irreducible representations of the full C*-crossed-products, and derive their spectrum and a complete desciption of the algebras.

math.OA

Higher-Rank Numerical Ranges of Unitary and Normal Matrices

We verify a conjecture on the structure of higher-rank numerical ranges for a wide class of unitary and normal matrices. Using analytic and geometric techniques, we show precisely how the higher-rank numerical ranges for a generic unitary matrix are given by complex polygons determined by the spectral structure of the matrix. We discuss applications of the results to quantum error correction, specifically to the problem of identification and construction of codes for binary unitary noise models.

quant-ph

The C*-algebra of symmetric words in two universal unitaries

We compute the K-theory of the C*-algebra of symmetric words in two universal unitaries. This algebra is the fixed point C*-algebra for the order-two automorphism of the full C*-algebra of the free group on two generators which switches the generators. Our calculations relate the K -theory of this C*-algebra to the K-theory of the associated C*-crossed-product by Z_2.

math.OA

C*-crossed-products by an order-two automorphism

We describe the representation theory of C*-crossed-products of a unital C*-algebra A by the cyclic group of order 2. We prove that there are two main types of irreducible representations for the crossed-product: those whose restriction to A is irreducible and those who are the sum of two unitarily unequivalent representations of A. We characterize each class in term of the restriction of the representations to the fixed point C*-subalgebra of A. We apply our results to compute the K-theory of several crossed-products of the free group on two generators.

math.OA

Quantum Error Correcting Codes From The Compression Formalism

We solve the fundamental quantum error correction problem for bi-unitary channels on two-qubit Hilbert space. By solving an algebraic compression problem, we construct qubit codes for such channels on arbitrary dimension Hilbert space, and identify correctable codes for Pauli-error models not obtained by the stabilizer formalism. This is accomplished through an application of a new tool for error correction in quantum computing called the ``higher-rank numerical range''. We describe its basic properties and discuss possible further applications.

quant-ph

Higher-Rank Numerical Ranges and Compression Problems

We consider higher-rank versions of the standard numerical range for matrices. A central motivation for this investigation comes from quantum error correction. We develop the basic structure theory for the higher-rank numerical ranges, and give a complete description in the Hermitian case. We also consider associated projection compression problems.

math.FA

A method to find quantum noiseless subsystems

We develop a structure theory for decoherence-free subspaces and noiseless subsystems that applies to arbitrary (not necessarily unital) quantum operations. The theory can be alternatively phrased in terms of the superoperator perspective, or the algebraic noise commutant formalism. As an application, we propose a method for finding all such subspaces and subsystems for arbitrary quantum operations. We suggest that this work brings the fundamental passive technique for error correction in quantum computing an important step closer to practical realization.

quant-ph