# Structures of Three Types of Local Quantum Channels Based on Quantum Correlations

## Abstract

In a bipartite quantum system, quantum states are classified as classically correlated (CC) and quantum correlated (QC) states, the later are important resources of quantum information and computation protocols. Since correlations of quantum states may vary under a quantum channel, it is necessary to explore the influence of quantum channels on correlations of quantum states. In this paper, we discuss CC-preserving, QC-breaking and strongly CC-preserving local quantum channels of the form \(\Phi _1\otimes \Phi _2\) and obtain the structures of these three types of local quantum channels. Moreover, we obtain a necessary and sufficient condition for a quantum state to be transformed into a CC state by a specific local channel \(\Phi _1\otimes \Phi _2\) in terms of the structure of the input quantum state. Lastly, as applications of the obtained results, we present a classification of local quantum channels \(\Phi _1\otimes \Phi _2\) and describe the quantum states which are transformed as CC ones by the corresponding local quantum channel.

### Keywords

Structure Local quantum channel Classical correlation Quantum correlation## 1 Introduction and Preliminaries

Representation above of a CC state shows that every CC state is separable and therefore every entangled state must be a QC state. Thus, quantum correlations are more general than entanglement and then become important resources for a number of quantum information applications without entanglement and then have drawn much attentions [2, 3, 4, 5, 6, 7, 8, 9, 10, 11]. Quantum correlation is an intrinsic aspect of quantum theory that enables the manifestation of several interesting phenomena beyond the realms of the classical world. The practical realization of quantum information and computation protocols by using quantum systems is severely challenged due to decoherence caused by the interaction of the system with the environment. Such interactions create undesirable quantum correlations between the system and the environment leading to information being scattered in the intractable Hilbert space of the environment. Therefore, the dynamics of quantum correlations makes us understand generation, breaking and preservation of quantum correlations in a composite quantum system. From a theoretical point of view, in order to characterize the dynamics, one has to study the behavior of quantum correlations under noisy channels (described by trace-preserving completely positive maps). Equivalently, we have to discuss what quantum channels can preserve, create or break quantum correlations.

In this direction, Streltsov et al. proved in [12] that a quantum channel \(\Lambda \) acting on a single qubit in a two-qubit system can create quantum correlations from some initially classically correlated states if and only if \(\Lambda \) is neither semiclassical (i.e., measurement map) nor unital. In other words, there exist some classically correlated states in a two-qubit system which are transformed by \(\Lambda \otimes {1}\) into QC states if and only if \(\Lambda \) is neither semiclassical nor unital. Consequently, for the qubit case, \(\Lambda \otimes {1}\) is classical correlation-preserving (CC-preserving) if and only if \(\Lambda \) is either semiclassical or unital. Furthermore, for higher-dimensional systems, they claimed that even unital channels may increase the amount of quantum correlations, for example, a local decoherence channel can generate quantum correlations. Gessner et al. proved in [13] that the states of nonzero discord can be created from zero discord states only by a single local operation and the set of these states has measure zero. In [14], Hu et al. proved that a local quantum channel \({1}\otimes \Lambda \) can create quantum correlations if and only if \(\Lambda \) is not a commutativity preserving channel. It was also proved in [14] that for a qubit system, a commutativity preserving channel is either a completely decohering channel or a mixing channel, and for a qutrit system, a commutativity preserving channel is either a completely decohering channel or an isotropic channel. Furthermore, for any finite dimensional system, Guo and Hou in [15] proposed an explicit form of a commutativity preserving channel and presented a necessary and sufficient condition for the local creation of quantum discord, which improves the result proposed by Streltsov et al. in [12] for the qubit case. Based on Luo’s definition in [1], Guo and Cao in [16] considered general local quantum channels \(\Phi _1\otimes \Phi _2\) preserving classical correlations, and proved that \(\Phi _1\otimes \Phi _2\) is CC-preserving if and only if either one of \(\Phi _1\) and \(\Phi _2\) is trace-type (i.e., it maps any state to the same one), or they are commutativity preserving. Also, the specific structure of a CC-preserving channel \(\Phi _1\otimes \Phi _2\) was obtained in [16] for a two-qubit system. Thus, it is necessary to proceed with the structures of CC-preserving channels for higher-dimensional case. This leads to the following question:

**Question 1**

Which types of local quantum channels \(\Phi _1\otimes \Phi _2\) preserve classical correlations?

Furthermore, according to [17], a quantum channel \(\Lambda \) is said to be a *quantum-correlation breaking channel* (or a *QC-type channel*) if the quantum channel \({1}\otimes \Lambda \) turns any bipartite state into a quantum-classical state, and it was proved that a quantum channel \(\Lambda \) is a QC-type channel if and only if its Choi-Jamiołkowski state is a quantum-classical state if and only if it is a quantum-to-classical measurement map. However, for a general local quantum channel \(\Phi _1\otimes \Phi _2\), we need to study whether it can fully break quantum correlations, i.e. it turns every bipartite state into a CC state. If so, then we say that \(\Phi _1\otimes \Phi _2\) is *QC-breaking*. Clearly, if \({1}\otimes \Lambda \) is QC-breaking, then \(\Lambda \) is a QC-type channel. The inverse is not valid. This leads to the following question:

**Question 2**

Which types of local quantum channels \(\Phi _1\otimes \Phi _2\) break quantum correlations?

Besides, we say that a CC-preserving local quantum channel \(\Phi _1\otimes \Phi _2\) is *strongly CC-preserving* if the final state is a CC state implies that the initial state is a CC one. It is easy to see that a strongly CC-preserving local quantum channel is CC-preserving in both directions. Equivalently, a strongly CC-preserving local quantum channel can preserve quantum correlations in both directions. As our acknowledge, so far there does not exist any results on strongly CC-preserving local quantum channels. This leads to the following question:

**Question 3**

Which types of local quantum channels \(\Phi _1\otimes \Phi _2\) preserve classical correlations in both directions?

In addition, the authors in [17] discussed a characterization of quantum channels from a different perspective by defining a set \(CC(\Lambda )\) of those bipartite states \(\rho \) which are mapped to a CC state by \({1}\otimes \Lambda \), but it was not yet a complete answer there. This leads to the following question:

**Question 4**

Which states can be transformed in the same way as CC ones by a given local quantum channel \(\Phi _1\otimes \Phi _2\)?

The goal of this paper is to give the answers to these questions by establishing the structures of classical correlation-preserving, quantum correlation-breaking and strongly classical correlation-preserving local quantum channels, from which we will completely characterize the behavior of quantum correlations under the influence of a general local noisy channel \(\Phi _1\otimes \Phi _2\).

*state*on the system \({\mathbb {C}}^k\). The set of all states on \({\mathbb {C}}^k\) is denoted by \(\mathcal {D}({\mathbb {C}}^k).\) Throughout this paper, we denote by \(I_n\) the \(n\times n\) identity matrix. Moreover, a quantum channel \(\Phi \) on \(\mathcal {M}_n\) is said to be a

*measurement map*[4] if \(\Phi (A)=\sum _i\mathrm{tr}(M_iA)|i\rangle \langle i|\) for all \(A\in \mathcal {M}_n\), where \(\{M_i\}\) is a POVM and \(\{|i\rangle \}\) is an orthonormal basis for \(\mathbb {C}^n\). Note that a measurement map was also called a QC channel in [18], which is an entanglement-breaking channel. Such a channel is realized by complete decoherence, after which every density matrix becomes a diagonal matrix. If there exists a state \(\sigma \in \mathcal {D}(\mathbb {C}^n)\) such that \(\Phi (A)= tr (A)\sigma \) for all \(A\in \mathcal {M}_n\), then we say that \(\Phi \) is

*trace-type*[16]. It is easy to prove that a measurement map is trace-type if and only if its component POVM \(\{M_i\}\) satisfies \(M_i=\lambda _iI_n\) for some probability distribution \(\{\lambda _i\}\). Moreover, \(\Phi \) is called an

*isotropic channel*if it has the form \(\Phi (A) = t\Gamma (A) + (1-t )\text{ tr }(A)\frac{I_n}{n}, \forall A\in \mathcal {M}_n,\) where \(\Gamma \) is either a unitary operation \(A\mapsto UAU^\dag \) and \(-\frac{1}{n-1} \le t \le 1\) or a map which is unitarily equivalent to a transpose \(A\mapsto UA^TU^\dag \) and \(-\frac{1}{n-1} \le t \le \frac{1}{n+1}\). An isotropic channel \(\Phi \) is said to be

*nontrivial*if the parameter \(t\) is not zero. A depolarizing channel [19] on a system \(\mathcal {M}_{n}\) is a special isotropic channel, which is defined as a convex combination \(D_\varepsilon \) of the identity map on \(\mathcal {M}_{n}\) and the totally depolarizing channel given by \(\Phi (A) = tr (A) \frac{I_n}{n}\):

*completely decohering channel*if \(\Phi (\mathcal {M}_n)\) is commutative. A map \(\Phi \) on \(\mathcal {M}_n\) is said to be

*commutativity preserving*if it satisfies \(A,B\in \mathcal {M}_n,\)\([A,B]:=AB-BA=0\Rightarrow [\Phi (A),\Phi (B)]=0,\) and it is said to be

*commutativity preserving in both directions*if it satisfies \([A,B]=0\Leftrightarrow [\Phi (A),\Phi (B)]=0.\)

The paper is organized as follows. In Sect. 2, we give the structures of quantum channels that can preserve commutativity and then obtain structures of CC-preserving local quantum channels. In Sect. 3, we obtain the structures of QC-breaking local channels. In Sect. 4, we establish the structures of strongly CC-preserving local channels. Sect. 5 is devoted to the characterization of the sets of all quantum states being mapped to classical correlated ones by a specific local quantum channel. Summary and conclusions are given in Sect. 6. Moreover, the proofs of lemmas are given in Appendix.

## 2 Structures of CC-Preserving Local Quantum Channels

In this section, we give structures of CC-preserving local quantum channels. The authors in [16] discussed local quantum channels that preserve classical correlations and proved that if one of \(\Phi _1\) and \(\Phi _2\) is trace-type, then \(\Phi _1\otimes \Phi _2\) is CC-preserving since it maps any state to a product state. When \(\Phi _1\) and \(\Phi _2\) are two quantum channels which are not trace-type, the following lemma gives a qualitative characterization of a CC-preserving channel.

**Lemma 2.1**

[16, Theorem 3.2] Let \(\Phi _1\) and \(\Phi _2\) be two quantum channels which are not trace-type. Then \(\Phi _1\otimes \Phi _2\) is CC-preserving if and only if \(\Phi _i\) is commutativity preserving on states for \(i=1,2\).

By Lemma 2.1, it is necessary to discuss firstly quantum channels that preserve commutativity but not trace-type. For a qubit system, the structure of a commutativity preserving quantum channel is characterized as follows.

**Lemma 2.2**

- (i)
\(\Phi \) is commutativity preserving.

- (ii)
Either \(\Phi \) is unital, that is, \(\Phi (I_2)=I_2\), or \(\Phi (I_2)\ne I_2\) and there exist two \(\dag \)-linear functionals \(f,g\) on \(\mathcal {M}_2\) such that \(\Phi (A)=f(A)I_2+g(A)\Phi (I_2), \ \forall A\in \mathcal {M}_2.\)

- (iii)
\(\Phi \) is unital or a measurement map with \(\Phi (I_2)\ne I_2\).

Lemma 2.1 and 2.2 allow us to state the following, which gives the structure of a CC-preserving local quantum channel \(\Phi _1\otimes \Phi _2\) on \(\mathcal {M}_2\otimes \mathcal {M}_2\).

**Theorem 2.1**

Let \(\Phi _1,\Phi _2:\mathcal {M}_2\rightarrow \mathcal {M}_2\) be two quantum channels which are not trace-type. Then \(\Phi _1\otimes \Phi _2\) is CC-preserving if and only if \(\Phi _i\) is unital or a measurement map with \(\Phi _i(I_2)\ne I_2\) for \(i=1,2\).

Let us continue the above analysis and study the case where \(n\ge 3\). Recently, Guo and Hou in [15, Theorem 1] proved that \(\Phi \) on \(\mathcal {M}_n(n\ge 3)\) preserves commutativity if and only if \(\Phi \) is either a completely decohering channel or a nontrivial isotropic one. The following lemma shows that a completely decohering channel coincides with a measurement map, and then gives the structure of a completely decohering channel.

**Lemma 2.3**

- (1)
\(\Phi \) is a completely decohering channel.

- (2)
\(\Phi \) is a measurement map.

- (3)
\([\Phi (\sigma _1), \Phi (\sigma _2)]=0\) for all \(\sigma _1,\sigma _2\in \mathcal {D}({\mathbb {C}}^n)\).

From [15, Theorem 1] and Lemma 2.3, we obtain the following corollary, which gives the structure of a commutativity preserving quantum channel.

**Corollary 2.1**

- (a)
\(\Phi (A)=\sum _k\mathrm{tr}(M_kA)|k\rangle \langle k|\) for all \(A\in \mathcal {M}_n\), where \(\{M_k\}\) is a POVM and \(M_k\) is not scalar multiplication for some \(k\);

- (b)
\(\Phi (A) = tUAU^{\dag } + \frac{1-t}{n}\mathrm{tr}(A)I_n\) for all \(A\in \mathcal {M}_n\) where \(U\) is unitary and \(-\frac{1}{n-1}\le t \le 1\) and \(t\ne 0\);

- (c)
\(\Phi (A) = tU {A^{T}}U^{\dag } +\frac{1-t}{n}\mathrm{tr}(A)I_n\) for all \(A\in \mathcal {M}_n\), where \(U\) is unitary and \(-\frac{1}{n-1}\le t \le \frac{1}{n+1}\) and \(t\ne 0\).

- (d)
\(\Phi (A) = \mathrm{tr}(A)\sigma \) for all \(A\in \mathcal {M}_n\) and some \(\sigma \in \mathcal {D}(\mathbb {C}^n)\).

Combining Corollary 2.1 with Lemma 2.3 yields the following result, which gives the structure of a CC-preserving local quantum channel \(\Phi _1\otimes \Phi _2\) on \(\mathcal {M}_n\otimes \mathcal {M}_m\) for the case where \(n, m\ge 3\).

**Theorem 2.2**

Let \(n, m\ge 3\), \(\Phi _1\) and \(\Phi _2\) be quantum channels on \(\mathcal {M}_n\) and \(\mathcal {M}_m\), respectively, which are not trace-type. Then \(\Phi _1\otimes \Phi _2\) is CC-preserving if and only if \(\Phi _i\) has one of the forms (a), (b) and (c) for each \(i=1,2\).

For example, when \(\Phi _1\) is a depolarizing channel and \(\Phi _2\) is a complete decoherence channel, \(\Phi _1\otimes \Phi _2\) is CC-preserving.

## 3 Structures of QC-Breaking Local Quantum channels

In this section, we give the structures of QC-breaking local quantum channels. We first present the following two lemmas, which will be used in the proof of Theorem 3.1.

**Lemma 3.1**

[7, Remark] Let \(\rho =\rho _1\otimes \rho _2\) and \(\sigma =\sigma _1\otimes \sigma _2\). Then \(\rho _\lambda :=\lambda \rho +(1-\lambda )\sigma (\lambda \in (0,1))\) is CC if and only if at least one of the following cases holds: (i) \([\rho _1,\sigma _1]=0\) and \([\rho _2,\sigma _2]=0\); (ii) \(\rho _1=\sigma _1\); (iii) \(\rho _2=\sigma _2\).

**Lemma 3.2**

[16, Theorem 2.1] A state \(\rho \in \mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) is CC if and only if \(\rho \) admits a representation \(\rho =\sum _{i=1}^s A_i\otimes B_i\), where \(\{A_i\}\), \(\{B_i\}\) are both commuting families of normal operators.

Based on these lemmas, we obtain the following, which gives the structure of a QC-breaking local quantum channel \(\Phi _1\otimes \Phi _2\).

**Theorem 3.1**

Let \(\Phi _1\) and \(\Phi _2\) be quantum channels on \(\mathcal {M}_n\) and \(\mathcal {M}_m\), respectively. Then \(\Phi _1\otimes \Phi _2\) is QC-breaking if and only if either one of \(\Phi _1\) and \(\Phi _2\) is trace-type or both \(\Phi _1\) and \(\Phi _2\) are measurement maps.

*Proof*

*Necessity*Suppose that \(\Phi _1\otimes \Phi _2\) is QC-breaking, then \((\Phi _1\otimes \Phi _2)(\rho )\) is a CC state for every state \(\rho \) in \(\mathcal {D}({\mathbb {C}}^n\otimes {\mathbb {C}}^m)\). Assume that \(\Phi _1\) and \(\Phi _2\) are not trace-type. Then we have to prove that both \(\Phi _1\) and \(\Phi _2\) are measurement maps. Suppose that \(\Phi _1\) is not a measurement map. Then by Lemma 2.3 we can find two states \(\sigma _1, \sigma _2\in \mathcal {D}({\mathbb {C}}^n)\) such that \([\Phi _1(\sigma _1), \Phi _1(\sigma _2)]\ne 0\). Take any states \(\rho _1,\rho _2\in \mathcal {D}({\mathbb {C}}^m)\) and put

*Sufficiency* Suppose that one of \(\Phi _1\) and \(\Phi _2\) is trace-type, then \((\Phi _1\otimes \Phi _2)(X)\) is a product state for any state \(X\in \mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) and therefore a CC state. Thus, \(\Phi _1\otimes \Phi _2\) is QC-breaking. Suppose that both \(\Phi _1\) and \(\Phi _2\) are measurement maps, then for any state \(\rho =\sum _iA_i\otimes B_i\in \mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\), \((\Phi _1\otimes \Phi _2)(\rho )=\sum _i\Phi _1(A_i)\otimes \Phi _2(B_i)\). Lemma 2.3 yields that \(\{\Phi _1(A_i)\}\) and \(\{\Phi _2(B_i)\}\) are commuting families of normal operators since \(\Phi _k\) is \(\dag \)-preserving. It follows from Lemma 3.2 that \((\Phi _1\otimes \Phi _2)(\rho )\) is CC. This shows that \(\Phi _1\otimes \Phi _2\) is QC-breaking. \(\square \)

For example, when \(\Phi _1\) and \(\Phi _2\) are complete decoherence channels or one of \(\Phi _1\) and \(\Phi _2\) is the totally depolarizing channel, \(\Phi _1\otimes \Phi _2\) is QC-breaking.

## 4 Structures of Strongly CC-Preserving Local Quantum Channels

To get the structure of a strongly CC-preserving local quantum channel, we need to prove the following lemmas.

**Lemma 4.1**

A nontrivial isotropic channel \(\Phi \) on \(\mathcal {M}_n\) is a linear bijection.

**Lemma 4.2**

Let \(\{X_i\}_{i=1}^k\subset \mathcal {M}_n\) be a linearly independent family and \(\{Y_i\}_{i=1}^k\subset \mathcal {M}_m\). Then \(\sum _{i=1}^k X_i\otimes Y_i=0\) if and only if \(Y_i=0(i=1,2,\ldots ,k)\).

**Lemma 4.3**

If \(\Phi _1\) and \(\Phi _2\) are linear bijections on \(\mathcal {M}_n\) and \(\mathcal {M}_m\), respectively, then \(\Phi _1\otimes \Phi _2\) is a linear bijection on \(\mathcal {M}_n\otimes \mathcal {M}_m\).

Based on these lemmas, we can prove the following lemma, which gives a qualitative characterization of a strongly CC-preserving channel \(\Phi _1\otimes \Phi _2\) and will be used in the proof of Theorem 4.1.

**Lemma 4.4**

Let \(\Phi _1\) and \(\Phi _2\) be quantum channels on \(\mathcal {M}_n\) and \(\mathcal {M}_m\), respectively. Then \(\Phi _1\otimes \Phi _2\) is strongly CC-preserving if and only if \(\Phi _1\) and \(\Phi _2\) are commutativity preserving in both directions.

With these lemmas, we give the structure of a strongly CC-preserving local quantum channel as follows.

**Theorem 4.1**

Let \(n,m\ge 3\) and let \(\Phi _1\) and \(\Phi _2\) be quantum channels on \(\mathcal {M}_n\) and \(\mathcal {M}_m\), respectively. Then \(\Phi _1\otimes \Phi _2\) is strongly CC-preserving if and only if \(\Phi _1\) and \(\Phi _2\) are nontrivial isotropic channels.

*Proof*

*Necessity* Suppose that \(\Phi _1\otimes \Phi _2\) is strongly CC-preserving. Then we see from Lemma 4.4 that \(\Phi _1\) and \(\Phi _2\) are commutativity preserving in both directions. Suppose that \(\Phi _1\) is not an nontrivial isotropic channel, then we see from Corollary 2.1 that \(\Phi _2\) is a measurement map and so \(\mathrm {ran}(\Phi _1)\) is commutative. Thus, \(\Phi _1\) is not commutativity preserving in both directions, a contradiction. Similarly, one can show that \(\Phi _2\) is an nontrivial isotropic channel. Therefore, both \(\Phi _1\) and \(\Phi _2\) are nontrivial isotropic channels.

*Sufficiency* Suppose that \(\Phi _1\) and \(\Phi _2\) are nontrivial isotropic channels on \(\mathcal {M}_n\) and \(\mathcal {M}_m\), respectively. It is easy to check that both \(\Phi _1\) and \(\Phi _2\) are commutativity preserving in both directions. It follows from Lemma 4.4 that \(\Phi _1\otimes \Phi _2\) is strongly CC-preserving. \(\square \)

For example, when \(\Phi _1\) and \(\Phi _2\) are depolarizing channels but not totally depolarizing, \(\Phi _1\otimes \Phi _2\) is strongly CC-preserving.

## 5 Characterization of the CC-Set of a Local Quantum Channel

In this section, let us consider the properties of the CC-set \(CC(\Phi _1\otimes \Phi _2)\) of a given local quantum channel \(\Phi _1\otimes \Phi _2\), which is defined as the set of all states that are transformed into CC ones by \(\Phi _1\otimes \Phi _2\). By definition, we see that \(\Phi _1\otimes \Phi _2\) is CC-preserving if and only if \(CC(\Phi _1\otimes \Phi _2)\supset CC({\mathbb {C}}^n\otimes {\mathbb {C}}^m)\), the set of all CC states on \({\mathbb {C}}^n\otimes {\mathbb {C}}^m\); it is strongly CC-preserving if and only if \(CC(\Phi _1\otimes \Phi _2)=CC({\mathbb {C}}^n\otimes {\mathbb {C}}^m)\) and it is QC-breaking if and only if \(CC(\Phi _1\otimes \Phi _2)=\mathcal {D}({\mathbb {C}}^n\otimes {\mathbb {C}}^m)\). Now, we discuss the case where \(\Phi _1\otimes \Phi _2\) is CC-preserving but neither strongly CC-preserving nor QC-breaking. Combining Theorem 2.2, 3.1 and 4.1, we only need consider the case that one of \(\Phi _1\) and \(\Phi _2\) is a nontrivial isotropic channel and the other is a measurement map.

Obviously, for any channels \(\Phi _1, \Phi _2\) and any state \(\rho \in \mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\), we have \((\Phi _1\otimes \Phi _2)(\rho )=(\Phi _1\otimes {1}_m)(({1}_n\otimes \Phi _2)(\rho ))\). When \(\Phi _1\) is a nontrivial isotropic channel on \(\mathcal {M}_n\), we see that \({1}_m\) and \(\Phi _1\) are commutativity preserving in both directions and it follows from Lemma 4.4 that \((\Phi _1\otimes \Phi _2)(\rho )\) is CC if and only if \(({1}_n\otimes \Phi _2)(\rho )\) is CC. Therefore, \(CC(\Phi _1\otimes \Phi _2)=CC({1}_n\otimes \Phi _2)\) provided that \(\Phi _1\) is a nontrivial isotropic channel. Similarly, \(CC(\Phi _1\otimes \Phi _2)=CC(\Phi _1\otimes {1}_m)\) provided that \(\Phi _2\) is a nontrivial isotropic channel.

*component operators*of \(\rho \).

**Lemma 5.1**

Let \(e=\{|e_i\rangle \}\) and \(f=\{|f_k\rangle \}\) be any orthonormal bases for \({\mathbb {C}}^n\) and \({\mathbb {C}}^m\), respectively. Then \(\rho \in \mathcal {D}({\mathbb {C}}^n\otimes {\mathbb {C}}^m)\) is CC if and only if \(\{A_{k\ell }(\rho )\}\) and \(\{B_{ij}(\rho )\}\) are commuting families.

With this lemma, we have the following theorem, which gives a necessary and sufficient condition for a state \(\rho \) and \(P^+\) to be transformed into a CC state under a local quantum channel \(\Phi _1\otimes \Phi _2\), respectively.

**Theorem 5.1**

- (i)
Let \(\rho =\sum _{ij}D_{ij}(\rho )\otimes E_{ij}\in \mathcal {D}({\mathbb {C}}^n\otimes {\mathbb {C}}^n)\) with \(E_{ij}=|e_i\rangle \langle e_j|\). Then \(\rho \in CC(\Phi _1\otimes \Phi _2)\) if and only if \(\{A_k(\rho )\}\) is a commuting family, where \(A_k(\rho )=\sum _{i,j}\mathrm{{tr}}(M_k E_{ij})\cdot A_{ij}.\)

- (ii)
When \(m=n\), let \(|\beta \rangle =\frac{1}{\sqrt{n}}\sum _{i}|e_i\rangle |e_i\rangle \) be a maximally entangled state in \({\mathbb {C}}^n\otimes {\mathbb {C}}^n\) and \(P_+=|\beta \rangle \langle \beta |=\frac{1}{n}\sum _{i,j}E_{ij}\otimes E_{ij}\). Then \(P_+\)\(\in CC(\Phi _1\otimes \Phi _2)\) if and only if \(P_+\in CC(\Phi _2\otimes \Phi _1)\) if and only if \(\{M_k\}\) is a commuting family.

*Proof*

- (i)Directly computing shows that \(\rho ':=({1}_n\otimes \Phi _2)(\rho )=\sum _kA_k(\rho )\otimes |e_k\rangle \langle e_k|.\) So, the component operators \(A_{k\ell }(\rho ')\) and \(B_{ij}(\rho ')\) of \(\rho '\) satisfythis implies that \(\{B_{ij}(\rho ')\}\) is clearly a commuting family. Thus, we see from Lemma 5.1 that \(\rho '\) is a CC state if and only if \(\{A_{k\ell }(\rho ')\}\) is a commuting family if and only if \(\{A_k(\rho )\}\) is a commuting family.$$\begin{aligned} A_{k\ell }(\rho ')&= \delta _{k,\ell }A_k(\rho ),\\ B_{ij}(\rho ')&= \sum _{k,\ell }\langle e_i|\langle e_k|\rho '|e_j\rangle |e_\ell \rangle \cdot |e_k\rangle \langle e_\ell |\\&= \sum _{k}\langle e_i|\langle e_k|\rho '|e_j\rangle |e_k\rangle \cdot |e_k\rangle \langle e_k|, \end{aligned}$$
- (ii)First, by using the fact that the swap operation \(\Phi : X\otimes Y\mapsto Y\otimes X\) is CC-preserving in both directions with \(\Phi (P_+)=P_+\), we see that \((\Phi _1\otimes \Phi _2)(P_+)\) is CC if and only if \((\Phi _2\otimes \Phi _1)(P_+)\) is CC. Next, let us use conclusion (i) to complete the proof of (ii). To do this, by an easy computation, we haveTherefore, \(({1}_n\otimes \Phi _2)(P_+)\) is CC if and only if \(\{M_k\}\) is a commuting family. \(\square \)$$\begin{aligned} ({1}_n\otimes \Phi _2)(P_+)=\frac{1}{n}\sum _k\Big (\sum _{i,j}\mathrm{{tr}}(M_k E_{ij})E_{ij}\Big )\otimes |e_k\rangle \langle e_k|=\frac{1}{n}\sum _k M_k^T\otimes |e_k\rangle \langle e_k|. \end{aligned}$$

*Remark 1*

Let \(\Phi _1\) be any quantum channel on \(\mathcal {M}_n\) and \(\Phi _2\) a measurement map on \(\mathcal {M}_m\) with \(\Phi _2(X)=\sum _k\mathrm{{tr}}(M_k X)|e_k\rangle \langle e_k|\). For any state \(\rho =\sum _{ij}D_{ij}(\rho )\otimes E_{ij}\in \mathcal {D}({\mathbb {C}}^n\otimes {\mathbb {C}}^n)\) with \(E_{ij}=|e_i\rangle \langle e_j|\), we define \(A_k(\rho )=\sum _{i,j}\mathrm{{tr}}(M_kE_{ij})D_{ij}(\rho )\) and let \(G(\Phi _1\otimes \Phi _2)\) be the set of all states \(\rho =\sum _{ij}D_{ij}(\rho )\otimes E_{ij}\) such that \([A_k(\rho ),A_j(\rho )]=0\) for all \(k,j\). Then Theorem 5.1 (i) tells us that when \(\Phi _1\) is a nontrivial isotropic channel on \(\mathcal {M}_n\) and \(\Phi _2\) is a measurement map on \(\mathcal {M}_m\), we have \(CC(\Phi _1\otimes \Phi _2)=G(\Phi _1\otimes \Phi _2).\)

*Remark 2*

Combining the results in Sects. 2–4 with Theorem 5.1 and Remark 5.1, we get a classification (Case 1 and Case 2 below) of local quantum channels and find out the corresponding CC-set \(CC(\Phi _1\otimes \Phi _2)\) of \(\Phi _1\otimes \Phi _2\) for the case where \(m,n\ge 3\) as follows.

The types of \(\Phi _1\otimes \Phi _2\) and the corresponding CC-set \(CC(\Phi _1\otimes \Phi _2)\)

\(CC(\Phi _1\otimes \Phi _2)\) | \(\Phi _1\) | ||||
---|---|---|---|---|---|

(\(a\)) | (\(b\)) | (\(c\)) | (\(d\)) | ||

\(\Phi _2\) | (\(a\)) | \(\mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) | \(G(\Phi _1\otimes \Phi _2)\) | \(G(\Phi _1\otimes \Phi _2)\) | \(\mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) |

(\(b\)) | \(G(\Phi _1\otimes \Phi _2)\) | \(CC(\mathbb {C}^n\otimes \mathbb {C}^m)\) | \(CC(\mathbb {C}^n\otimes \mathbb {C}^m)\) | \(\mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) | |

(\(c\)) | \(G(\Phi _1\otimes \Phi _2)\) | \(CC(\mathbb {C}^n\otimes \mathbb {C}^m)\) | \(CC(\mathbb {C}^n\otimes \mathbb {C}^m)\) | \(\mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) | |

(\(d\)) | \(\mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) | \(\mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) | \(\mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) | \(\mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) |

The types of \(\Phi _1\otimes \Phi _2\) and the corresponding CC-set \(CC(\Phi _1\otimes \Phi _2)\)

\(CC(\Phi _1\otimes \Phi _2)\) | \(\Phi _1\) | ||||
---|---|---|---|---|---|

NCP | CP | ||||

(\(d\)) | Not(\(d\)) | ||||

\(\Phi _2\) | NCP | Unknown | \(\mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) | Unknown | |

CP | (\(d\)) | \(\mathcal {D}(\mathbb {C}^n\otimes \mathbb {C}^m)\) | Impossible | Impossible | |

Not(\(d\)) | Unknown | Impossible | Impossible |

## 6 Summary and Conclusions

Motivated by the fact that correlations of quantum states may change under local quantum channels, depending on the type of channels and the type of input states, we have considered three types of general local quantum channels in the form of \(\Phi _1\otimes \Phi _2\)-(i) the *CC-preserving* channels, which preserve classical correlations by turning a classically correlated state into a classically correlated one, (ii) the *QC-breaking* channels, which fully break quantum correlations by turning any state into a classically correlated one and (iii) the *strongly CC-preserving* channels, which preserve classical correlations in both directions. For any \(n\otimes m\) systems, we have shown that when \(n,m\ge 3\), \(\Phi _1\otimes \Phi _2\) is CC-preserving if and only if \(\Phi _i\) is a nontrivial isotropic channel or measurement map for each \(i=1,2\) (e.g., \(\Phi _1\) is a depolarizing channel and \(\Phi _2\) is a complete decoherence channel); equivalently, it can create quantum correlations from an input CC state if and only if one of \(\Phi _1\) and \(\Phi _2\) is neither a nontrivial isotropic channel nor measurement map. We have also proved that \(\Phi _1\otimes \Phi _2\) is QC-breaking if and only if either one of \(\Phi _1\) and \(\Phi _2\) is trace-type (*i.e.*, mapping any state to the same one), or both \(\Phi _1\) and \(\Phi _2\) are measurement maps, in that case, \(\Phi _1\otimes \Phi _2\) can not create quantum correlations from any initial state (e.g., \(\Phi _1\) and \(\Phi _2\) are complete decoherence channels or one of \(\Phi _1\) and \(\Phi _2\) is the totally depolarizing channel). We have further proved that \(\Phi _1\otimes \Phi _2\) is strongly CC-preserving if and only if both \(\Phi _1\) and \(\Phi _2\) are nontrivial isotropic channels, in that case, \(\Phi _1\otimes \Phi _2\) preserves quantum correlations in both directions, and so \(\Phi _1\otimes \Phi _2\) can create quantum correlations from only a quantum correlated state (e.g., \(\Phi _1\) and \(\Phi _2\) are depolarizing channels but not totally depolarizing). According to these results, we have presented that a classification of local quantum channels based on the influence on commutativity of \(\Phi _1\) and \(\Phi _2\), and obtained the corresponding set of bipartite states that are mapped into the classically correlated form by \(\Phi _1\otimes \Phi _2\).

It is remarkable to point out that our findings also apply to the situation where one wants to perform local operations on a composite quantum system with the aim of creating or preserving quantum (classical) correlations. We believe that our results are useful for the storage, preparation and generation of quantum correlations in practical applications.

Lastly, our discussion in Sect. 5 leads to an interesting question for further study: when one of \(\Phi _1\) and \(\Phi _2\) is not commutativity preserving and the other is not trace-type, how to characterize the set of all states which are transformed into CC states by \(\Phi _1\otimes \Phi _2\) ?

## Notes

### Acknowledgments

The authors would like to thank the referee for his/her kind comments and valuable suggestions. This research was partially supported by the National Natural Science Foundation of China (11401359, 11371012, 11301318, 11471200), China Postdoctoral Science Foundation (2014M552405), the Natural Science Research Program of Shaanxi Province (2014JQ1010) and Postdoctoral Science Foundation of Shaanxi Province.

### References

- 1.Luo, S.L.: Using measurement-induced disturbance to characterize correlations as classical or quantum. Phys. Rev. A
**77**, 022301 (2008)CrossRefADSGoogle Scholar - 2.Dagomir, K., Aditi, S., Ujjwal, S., Vlatko, V., Andreas, W.: Quantum correlation without classical correlations. Phys. Rev. Lett.
**101**, 070502 (2008)CrossRefGoogle Scholar - 3.Luo, S.L.: Quantum discord for two-qubit systems. Phys. Rev. A
**77**, 042303 (2008)CrossRefADSGoogle Scholar - 4.Piani, M., Horodecki, P., Horodecki, R.: No-local-broadcasting theorem for multipartite quantum correlations. Phys. Rev. Lett.
**100**, 090502 (2008)CrossRefADSGoogle Scholar - 5.Ferraro, A., Aolita, L., Cavalcanti, D., Cucchietti, F.M., Acin, A.: Almost all quantum states have nonclassical correlations. Phys. Rev. A
**81**, 052318 (2010)CrossRefADSGoogle Scholar - 6.Aharon, B., Kavan, M.: Criteria for measures of quantum correlations. Quantum. Inf. Comput.
**12**, 721–742 (2011)Google Scholar - 7.Guo, Z.H., Cao, H.X., Chen, Z.L.: Distinguishing classical correlations from quantum correlations. J. Phys. A: Math. Theor.
**45**, 145301 (2012)CrossRefADSMathSciNetGoogle Scholar - 8.Wu, Y.C., Guo, G.C.: Norm-based measurement of quantum correlation. Phys. Rev. A
**83**, 062301 (2011)CrossRefADSGoogle Scholar - 9.Zhou, T., Cui, J.X., Long, G.L.: Measure of nonclassical correlation in coherence- vector representation. Phys. Rev. A
**84**, 062105 (2011)CrossRefADSGoogle Scholar - 10.Guo, Z.H., Cao, H.X.: A classification of correlations of tripartite mixed states. Int. J. Theor. Phys.
**52**, 1768–1779 (2013)CrossRefMATHMathSciNetGoogle Scholar - 11.Guo, Z.H., Cao, H.X., Qu, S.X.: Partial correlations in multipartite quantum systems. Information Sciences
**289**, 262–272 (2014)CrossRefMathSciNetGoogle Scholar - 12.Streltsov, A., Kampermann, H., Bruß, D.: Behavior of quantum correlations under local noise. Phys. Rev. Lett.
**107**, 170502 (2011)CrossRefADSGoogle Scholar - 13.Gessner, M., Laine, E., Breuer, H., Piilo, J.: Correlations in quantum states and the local creation of quantum discord. Phys. Rev. A
**85**, 052122 (2012)CrossRefADSGoogle Scholar - 14.Hu, X.M., Fan, H., Zhou, D.L., Liu, W.M.: Necessary and sufficient conditions for local creation of quantum correlation. Phys. Rev. A
**85**, 032102 (2012)CrossRefADSGoogle Scholar - 15.Guo, Y., Hou, J.C.: Necessary and sufficient conditions for the local creation of quantum discord. J. Phys. A: Math. Theor.
**46**, 155301 (2013)CrossRefADSMathSciNetGoogle Scholar - 16.Guo, Z.H., Cao, H.X.: Local quantum channels preserving classical correlations. J. Phys. A: Math. Theor.
**46**, 065303 (2013)CrossRefADSMathSciNetGoogle Scholar - 17.Korbicz, J.K., Horodecki, P., Horodecki, R.: Quantum-correlation breaking channels, broadcasting scenarios, and finite Markov chains. Phys. Rev. A
**86**, 042319 (2012)CrossRefADSGoogle Scholar - 18.Horodecki, M., Shor, P.W., Ruskai, M.B.: Entanglement breaking channels. Rev. Math. Phys.
**15**, 629 (2003)CrossRefMATHMathSciNetGoogle Scholar - 19.Moravcíková, L., Ziman, M.: Entanglement-annihilating and entanglement-breaking channels. J. Phys. A: Math. Theor.
**43**, 275306 (2010)CrossRefGoogle Scholar