Journal of Applied Mathematics

Volume 2013 (2013), Article ID 474291, 5 pages

http://dx.doi.org/10.1155/2013/474291

Research Article

On Partially Trace Distance Preserving Maps and Reversible Quantum Channels

Long Jian, Kan He, Qing Yuan, and Fei Wang

College of Mathematics, Institute of Mathematics, Taiyuan University of Technology, Taiyuan, Shanxi 030024, China

Received 24 July 2013; Accepted 15 September 2013

Academic Editor: Francis T. K. Au

Copyright © 2013 Long Jian et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We give a characterization of trace-preserving and positive linear maps preserving trace distance partially, that is, preservers of trace distance of quantum states or pure states rather than all matrices. Applying such results, we give a characterization of quantum channels leaving Helstrom's measure of distinguishability of quantum states or pure states invariant and show that such quantum channels are fully reversible, which are unitary transformations.

1. Introduction

Linear preserver problems concern the characterization of linear maps on matrix spaces that leave certain functions, subsets, relations, and so forth, invariant, and have been an active research area in matrix theory. The earliest paper on linear preserver problems dates back to the year of 1897, and a great deal of effort has been devoted to the study of this type of questions (see [1–4] and their references). In 1975, Choi in [4] gave a characterization of completely positive linear maps on matrix algebras. In the theory of quantum information, a quantum channel just be a completely positive and trace preserving linear map. So Choi gave a mathematical characterization of quantum channels. Such a result is applied in quantum information extensively. In recent years, more and more researchers on linear preserver problems pay their attention to the theory of quantum information (see [5–9] and their references). In this paper, we will give a characterization of trace-preserving and positive linear maps preserving trace distance partially, that is, preservers of trace distance of quantum states or pure states rather than all matrices (see Theorems 6 and 10). Applying such results, we give a characterization of quantum channels leaving Helstrom's measure of distinguishability of quantum states or pure states invariant and show that such quantum channels are fully reversible, which are unitary transformations (see Theorems 7 and 11).

In the mathematical framework of quantum information, quantum states are positive operators with trace 1 on complex Hilbert space , and we denote by the set of all quantum states on , which is a convex subset of the space of trace-class operators . Pure states are rank one projections. If , then is identical with , that is, the complex matrix algebra. In the case of , a quantum channel has the following form:

where and with the identity . For a quantum channel , the aim of quantum error correction is to find another quantum channel such that

Here, we call that is reversible for the state ; if is reversible for all states , then is reversible on . is a subset of and is called error correction code. It is easy to check that if is reversible for , then is reversible for the arbitrary convex combination of . So, if is an error correction code, we can assume that is a convex set. The topic of quantum error correction or reversibility of quantum channels naturally arises in the analysis of questions in quantum information and plays an important role in the theory of quantum information (see [10–13] and their references). In the theory of reversibility of quantum channels, Helstrom's measure of distinguishability of quantum states plays an important role and is defined as follows.

Definition 1. Helstrom's measure of distinguishability of quantum states with respect to is defined by .

Definition 2. A map preserves Helstrom's measure of distinguishability of quantum states if ; equivalently, for arbitrary .

In [10], Robin Blume-Kohout et al. discussed the trace norm (defined by ) and reversibility of quantum channels, where Helstrom's measure of distinguishability of quantum states is used as a criterion for reversibility of quantum channels. Robin Blume-Kohout et al., showed that for a quantum channel , with the following additional condition:

preserves Helstrom's measure of distinguishability of all if and only if is reversible on . In this paper, we prove that, in the case of , that is, a quantum channel preserves Helstrom's measure of distinguishability of all states if and only if is reversible on (see Theorem 7). We call such a channel the fully reversible channel as follows.

Definition 3. A quantum channel is fully reversible if there exists a quantum channel such that for all quantum states .

In Definition 2, taking , one can define the map preserving trace distance of quantum states as follows.

Definition 4. A map preserves trace distance of quantum states if for all , .

The map preserving Helstrom's measure of distinguishability must preserve trace distance. Robin Blume-Kohout et al. in [10] showed that with the assumption , the channel preserving Helstrom's measure of distinguishability is reversible for an error correction code , but the channel preserving trace distance of quantum states is not. In this paper, we will show that the channel preserving trace distance of all quantum states is also fully reversible (see Theorem 7). Indeed a fully reversible channel is a unitary transformation; that is, there exists a unitary operator such that for all quantum states . Also many authors pay their attention to characterizing preservers of trace distance (see [14, 15] and their references). Let be the set of all pure states; furthermore, we introduce the following general partial preservers of trace distance of pure states.

Definition 5. A map preserves trace distance of pure states if for all , .

The map preserving trace distance of quantum states must preserve trace distance of pure states. We also give a characterization of trace preserving and positive linear maps preserving trace distance of pure states and show that the channel preserving trace distance of all pure states is also fully reversible (see Theorems 10 and 11).

2. Partially Trace Distance Preservers and Fully Reversible Channels

In this section, we are first devoted to characterizing a class of positive and trace-preserving linear maps preserving trace distance of quantum states.

Theorem 6. Let be a finite dimensional complex Hilbert space with , being a positive and trace-preserving linear map; then the following statements are equivalent:

(I) preserves trace distance of quantum states; that is, for all ; (II)there exists a unitary operator on such that for all states or for all states , where is the transpose of with respect to an orthonormal basis.

Applying Theorem 6, we will have the following main result.

Theorem 7. Let be a finite dimensional complex Hilbert space with , being a quantum channel, that is, a completely positive and trace-preserving linear map; then the following statements are equivalent:

(I) is fully reversible; (II) preserves Helstrom's measure of distinguishability of quantum states, that is, for all and arbitrary ; (III) preserves trace distance of quantum states; that is, for all ; (IV) is a unitary transformation; that is, there exists a unitary operator on such that for all input states .

Remark 8. Theorem 7 shows that quantum channels leaving Helstrom's measure of distinguishability or trace distance of all quantum states invariant is fully reversible and vice versa. Also we prove that a quantum channel is fully reversible if and only if it is a unitary transformation. Indeed, such a result also can be induced by some other characterization of preservers in existence. Here, let us give a short proof; if a quantum channel is fully reversible, by [11], then the channel preserves the relative entropy of all quantum states. Such a map has been characterized in [16], where Molnár showed that the map preserving relative entropy of all quantum states has the following form: , where is a unitary or antiunitary operator. Applying the result in [16], it follows from linearity and complete positivity of quantum channels that fully reversible quantum channels are unitary transformations.

Before the proof of Theorems 6 and 7, we first give some primary observations. It is mentioned that a quantum state is a pure state if and only if rank if and only if ; that is, pure states are rank one projections.

Lemma 9. For a quantum state with , is a pure state if and only if there exist pairwise orthogonal states such that for all .

Proof of Lemma 9. If is a pure state, then rank ; one can find pairwise orthogonal pure states such that for all since .

Conversely, assume on the contrary that rank ; then there exist and . If there exist pairwise orthogonal states such that for all , then there exist vectors for each being pairwise orthogonal nonzero vectors since are positive and pairwise orthogonal, but for all since for all . It follows that . This is a contradiction to . The proof is completed.

Now we prove Theorem 6.

Proof of Theorem 6. (II)(I) is clear; we only need to check that (I)(II).

The proof is divided into the following claims.

Claim  1. , and on is injective.

Since is trace-preserving and positive, we have that . Since on is trace-distance-preserving, so we have that on is injective.

Claim  2. on preserves orthogonality; that is, for quantum states , .

A well-known proposition is that for arbitrary , if and only if (see [17]). For quantum states , one can check that

Since quantum states are positive, so if and only if . Since , so ; that is, .

Claim  3. maps pure states to pure states.

If the quantum state is a pure state, that is, a rank one projection, by Lemma 9, then there exist pairwise orthogonal states such that for all . It follows from Claims 1 and 2 that are states, pairwise orthogonal, and for all . So by Lemma 9 again, is a rank one projection, that is, a pure state.

Claim  4. for arbitrary quantum state or for arbitrary quantum state , where is a unitary operator on .

Now we have that is linear and maps pure states to pure states; such a map had been characterized by Friedland et al. in [8] (see [8, Lemma 2.4]), where authors show that has one of the following forms:

(I)there is a pure state such that for all ;(II)there is a unitary operator on such that for all or for all , where is the transpose of with respect to an orthonormal basis.

Since preserves orthogonality of rank one projections, so the case (I) does not occur. Therefore, this claim holds true. The proof is completed.

Next we will give the proof of Theorem 7.

Proof of Theorem 7. (II)(III) and (IV)(I) are clear; we only need to check that (I)(II) and (III)(IV).

First we check that (I)(II). If is reversible for all quantum states, assume that there exists a trace-preserving and completely positive linear map such that for any state . Since positive and trace-preserving linear maps are contractive under the trace norm (see [18]), that is, for trace-preserving and positive linear maps and , so we have that for all and arbitrary ,

So ; (II) holds.

Next we show that (III) (IV). Since the channel satisfies the assumptions in Theorem 6, so there exists a unitary operator on such that (1) for all input states or (2) for all input states , where is the transpose of with respect to an orthonormal basis. One can note that the transpose map is positive but is not completely positive (see [9]), so for a quantum channel , case (2) does not occur. So (IV) holds true. The proof is completed.

3. Characterizing Channels Reversible for Pure States

In the section, we first give a characterization of positive and trace-preserving linear maps preserving trace distance of pure states.

Theorem 10. Let be a finite dimensional complex Hilbert space with , being a positive and trace-preserving linear map; then the following statements are equivalent:

(I) preserves trace distance of pure states; that is, for all ; (II)there exists a unitary operator on such that for all states or for all states , where is the transpose of with respect to an orthonormal basis.

Applying Theorem 10, we will have the following refined result.

Theorem 11. Let be a finite dimensional complex Hilbert space with , being a quantum channel, that is, a completely positive and trace-preserving linear map; then the following statements are equivalent:

(I) is fully reversible; (II) is reversible on the set of pure states; (III) preserves Helstrom's measure of distinguishability of pure states; that is, for all and arbitrary ; (IV) preserves trace distance of pure states; that is, for all ; (V) is a unitary transformation; that is, there exists a unitary operator on such that for all input states .

Now we prove Theorem 10.

Proof of Theorem 10. (II)(I) is clear; we only need to check that (I)(II).

Similar to the proof of Theorem 6, we can show that and on is injective, so for any pure state . And preserves orthogonality of pure states; that is, for pure states , .

Next we show that is a pure state for any pure state . For any pure state , by Lemma 9, then there exist pairwise orthogonal nonzero pure states such that for all . Since preserves orthogonality of pure states and is injective on pure states, it follows that are states, pairwise orthogonal, and for all . So by Lemma 9 again, is a rank one projection.

Now we have that is linear and maps pure states to pure states; similar to the proof of Theorem 6, one can complete the proof.

Next we will give the proof of Theorem 11.

Proof of Theorem 11. (I)(II), (III)(IV), and (V)(I) are clear; we only need to check that (II)(III) and (IV)(V). One can check that (II)(III) holds true similar to the proof of (I)(II) in Theorem 7.

Next we show that (IV)(V). Since the channel satisfies the assumptions in Theorem 10, so there exists a unitary operator on such that (1) for all input states or (2) for all input states , where is the transpose of with respect to an orthonormal basis. Since the transpose map is positive, but is not completely positive (see [9]), so for a quantum channel , the case (2) does not occur. So (IV) holds true. The proof is completed.

Remark 12. However, it is also mentioned that if the error correction code is the proper convex subset of , that is, , the channel preserving trace distance of quantum states in may not be reversible on (see [10, Example 7]). Also a natural question is to give a characterization of the channel on a proper subset of preserving trace distance, and such a result may help us understand more deeply the theory of reversibility of quantum channels.

Acknowledgment

This work was supported by the National Science Foundation of China (11201329).

References

J. C. Hou and J. L. Cui, Introduction to Linear Maps on Operator Algebras, Scince Press in China, Beijing, China, 2004, Chinese.

C.-K. Li and N.-K. Tsing, “Linear preserver problems: a brief introduction and some special techniques,” Linear Algebra and its Applications, vol. 162–164, pp. 217–235, 1992.

S. Pierce, “A survey of linear preserver problems,” Linear and Multilinear Algebra, vol. 33, no. 1-2, pp. 1–129, 1992.

M. D. Choi, “Completely positive linear maps on complex matrices,” Linear Algebra and Its Applications, vol. 10, pp. 285–290, 1975.

K. He, J. Hou, and X. Qi, “Characterizing sequential isomorphisms on Hilbert space effect algebras,” Journal of Physics A, vol. 42, pp. 345–203, 2009.

K. He, J.-C. Hou, and C.-K. Li, “A geometric characterization of invertible quantum measurement maps,” Journal of Functional Analysis, vol. 264, no. 2, pp. 464–478, 2013.

L. Molnár, “Orthogonality preserving transformations on indefinite inner product spaces: generalization of Uhlhorn's version of Wigner's theorem,” Journal of Functional Analysis, vol. 194, no. 2, pp. 248–262, 2002.

S. Friedland, C.-K. Li, Y.-T. Poon, and N.-S. Sze, “The automorphism group of separable states in quantum information theory,” Journal of Mathematical Physics, vol. 52, no. 4, Article ID 042203, 8 pages, 2011.

J. Hou, “A characterization of positive linear maps and criteria of entanglement for quantum states,” Journal of Physics A, vol. 43, no. 38, Article ID 385201, 20 pages, 2010.

R. Blume-Kohout, H. Khoon Ng, D. Poulin, and L. Viola, “Information-preserving structures: a general framework for quantum zero-error information,” Physical Review A, vol. 82, no. 6, Article ID 062306, 25 pages, 2010.

F. Hiai, M. Mosonyi, D. Petz, and C. Bény, “Quantum -divergences and error correction,” Reviews in Mathematical Physics A, vol. 23, no. 7, pp. 691–747, 2011.

A. Jenčová, “Reversibility conditions for quantum operations,” Reviews in Mathematical Physics, vol. 24, no. 7, Article ID 1250016, 26 pages, 2012.

M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, Cambridge, UK, 2000.

L. Molnár and W. Timmermann, “Isometries of quantum states,” Journal of Physics A, vol. 36, no. 1, pp. 267–273, 2003.

J.-T. Chan, C.-K. Li, and N.-S. Sze, “Isometries for unitarily invariant norms,” Linear Algebra and Its Applications, vol. 399, pp. 53–70, 2005.

L. Molnár and P. Szokol, “Maps on states preserving the relative entropy. II,” Linear Algebra and Its Applications, vol. 432, no. 12, pp. 3343–3350, 2010.

J. Arazy, “The isometries of ,” Israel Journal of Mathematics, vol. 22, no. 3-4, pp. 247–256, 1975.

D. Pérez-García, M. M. Wolf, D. Petz, and M. B. Ruskai, “Contractivity of positive and trace-preserving maps under norms,” Journal of Mathematical Physics, vol. 47, no. 8, Article ID 083506, 5 pages, 2006.