Quantumness and Dequantumness Power of Quantum Channels

Abstract

Focusing on the dynamics of quantumness in ensembles, we propose a framework to qualitatively and quantitatively characterize quantum channels from the perspective of the amount of quantumness in ensembles that a quantum channel can induce or reduce. Along this line, the quantumness power and dequantumness power are introduced. In particular, once a quantum dynamics described by time-varying quantum channels reduces the quantumness for any input ensembles all the time, we call it a completely dequantumness channel, whose relationship with Markovianity is analyzed through several examples.

1. Introduction

As natural generalizations of transition matrices in stochastic analysis, quantum channels are completely positive and trace-preserving maps. A quantum channel usually changes the quantum features of the system, such as causing the decoherence of quantum states [1,2] and destroying the quantum correlations [3,4,5,6]. Characterizing quantum channels from the information perspective has received fruitful results. The entangling power [7], decorrelating capability [8], cohering and decohering power [9,10,11,12,13,14], and quantumness-generating capability [15] of quantum channels have been studied.

In this work, we propose a framework to qualitatively and quantitatively characterize quantum channels by analyzing the dynamics of quantumness in ensembles. A quantum ensemble $ℰ = \{(p_i,{\rho }_i),i\in \mathcal{I}\}$ is represented by a family of quantum states together with a probability distribution specifying the probability of the occurrence of each state [16]. It arises naturally in quantum mechanics and statistical physics, and is a fundamental and practical object in quantum information, especially in quantum measurement and quantum communication [17,18,19,20,21,22,23]. As long as the involved quantum states are not commutative, the quantum ensemble possesses a certain intrinsic quantum feature, which is named as quantumness in quantum ensembles. It plays a central role in quantum cryptography and other various quantum information processing tasks. Various measures of quantumness have been proposed from different perspectives, such as that via commutator [24,25], that based on no cloning and no broadcasting [19], that defined from the perspective of accessible information [24], and that via relative entropy [26] and coherence [27,28].

In general, the quantumness in a quantum ensemble will change after performing a quantum channel. It is natural to investigate the maximal amount of quantumness that a quantum channel can introduce or reduce. In this work, by virtue of the quantumness measure based on commutators [24] that is easy to calculate, we study the characterization of quantum channels from the perspective of quantumness power and dequantumness power, which quantify the maximal amount of quantumness that a quantum channel can induce and reduce, respectively. Comparing with the result in Ref. [29] where the quantumness of the channel is defined as the minimum average quantum coherence of the state space after the dynamics, quantumness power defined here is the maximal amount of the non-commutativity between the states that can be generated after the channel. The properties and calculation process of quantumness power and dequantumness power have been analyzed. We call a quantum dynamics described by a quantum channel a completely dequantumness channel if it reduces the quantumness in ensembles all the time. Through several significant examples, the relationship between the completely dequantumness channel and quantum Markovian channel is analyzed. It is worth mentioning that although we mainly focus on the qubit channels, without loss of generality, the result can be directly extended to qudit cases.

The paper is organized as follows. In Section 2, we briefly review the measure of quantumness adopted in this work. Quantumness power and dequantumness power of the quantum channel with their modified versions are introduced in Section 3. We give the definition of the completely dequantumness channel and investigate its relationship with quantum Markovianity through several significant examples in Section 4. We conclude with a summary in Section 5.

2. Measure of Quantumness

Based on the direct connection between the quantumness of an ensemble and the non-commutativity among its constituent states, the quantumness of the quantum ensemble $ℰ = \{(p_i,{\rho }_i),i\in \mathcal{I}\}$ can be naturally quantified via the commutator as [24]

$$Q(ℰ) = -\sum _{i,j}{p}_i{p}_j\mathrm{tr}{[{\rho }_i,{\rho }_j]}^2,$$

(1)

where $[{\rho }_i,{\rho }_j] = {\rho }_i{\rho }_j - {\rho }_j{\rho }_i$ stands for the commutator, which is anti-Hermitian. This measure is easy to calculate. We remark that in Refs. [30,31] the authors also used the Hilbert–Schmidt norm of the commutators between two density operators to quantity the non-commutativity between these two density operators.

For the two-qubit case, by virtue of the Bloch representation of the state, the expression of $Q(ℰ)$ for ensembles with only two ingredients such that $ℰ = \{(p,{\rho }_1),(1 - p,{\rho }_2)\}$ can be further derived. Here $p\in (0,1)$, ${\rho }_i = \frac{1}{2}(\mathbf{1} + {\overrightarrow{r}}_i·\overrightarrow{\sigma }),i = 1,2$ with $\mathbf{1}$ the identity operator, ${\overrightarrow{r}}_i = (r_{ix},r_{iy},r_{iz})$ the Bloch vector of the state ${\rho }_i$, and $\overrightarrow{\sigma } = ({\sigma }_1,{\sigma }_2,{\sigma }_3)$ the vector of the Pauli matrices. Then, it can be calculated that

$$Q(ℰ) = p(1 - p)|{\overrightarrow{r}}_1 \times {\overrightarrow{r}}_2{|}^2 = p(1 - p)(r_1^2{r}_2^2 - {({\overrightarrow{r}}_1·{\overrightarrow{r}}_2)}^2).$$

Here $r_i^2 = {\left|{\overrightarrow{r}}_i\right|}^2$, × and · denote the outer and inner product of the vectors, respectively. The Bloch vector of state ${\rho }_i$ can be given as ${\overrightarrow{r}}_i = r_i(sin{\theta }_{i}cos{\varphi }_i,sin{\theta }_{i}sin{\varphi }_i,cos{\theta }_i)$ with $r_i\in [0,1],{\theta }_i\in [0,\pi ]$, and ${\varphi }_i\in [0,2\pi )$, then

$$Q(ℰ) = p(1 - p)r_1^2{r}_2^2(n_1^2 + n_2^2 + n_3^2),$$

(2)

with

$$\begin{array}{cc}\hfill n_1 = & sin{\theta }_{1}sin{\theta }_{2}sin({\varphi }_1 - {\varphi }_2),\hfill \\ \hfill n_2 = & sin{\theta }_{1}cos{\varphi }_{1}cos{\theta }_2 - cos{\theta }_{1}sin{\theta }_{2}cos{\varphi }_2,\hfill \\ \hfill n_3 = & sin{\theta }_{1}sin{\varphi }_{1}cos{\theta }_2 - cos{\theta }_{1}sin{\theta }_{2}sin{\varphi }_2.\hfill \end{array}$$

(3)

Recently, a modified version of this measure is proposed in Ref. [15] as

$$Q^{{}^{\prime }}(ℰ) = -\sum _{i,j}\sqrt{p_i{p}_j}\mathrm{tr}{[\sqrt{{\rho }_i},\sqrt{{\rho }_j}]}^2,$$

which is proved to bear some nice properties, such as the positivity, unitary invariance, subaddtivity, concavity under probability union, convexity under state decomposition, and increasing under fine graining.

For simplicity in calculation, we adopt the measure in Equation (2) in the following. It is worth mentioning that all the work derived here can be directly generalized to other measures.

3. Quantumness and Dequantumness Power

After a quantum channel $\mathrm{\Lambda }$, which is a linear, trace-preserving completely positive map, the ensemble $ℰ = \{(p_i,{\rho }_i),i\in \mathcal{I}\}$ evolves to $\mathrm{\Lambda }(ℰ) = \{(p_i,\mathrm{\Lambda }\left({\rho }_i\right)),i\in \mathcal{I}\}$. By analyzing the dynamics of quantumness in ensembles, we can characterize the quantumness power and dequantumness power of the quantum channel. To be specific, the quantumness power of a quantum channel is defined as the maximal amount of quantumness that it generates over all input ensembles $ℰ$. Its expression is given as

$$C\left(\mathrm{\Lambda }\right) = \underset{ℰ}{max}(Q(\mathrm{\Lambda }(ℰ)) - Q(ℰ)),$$

which quantifies the ability to induce quantumness. If we only focus on the initial commutative ensembles, we can get another definition of quantumness power which we denote as $C^{{}^{\prime }}$ with expression

$$C^{{}^{\prime }}\left(\mathrm{\Lambda }\right) = \underset{\{ℰ:Q(ℰ) = 0\}}{max}Q\left(\mathrm{\Lambda }(ℰ)\right).$$

Similarly, we can define the dequantumness power of a quantum channel as the maximal amount by which the quantumness of the ensemble is reduced when it passed through the channel, i.e.,

$$D\left(\mathrm{\Lambda }\right) = \underset{ℰ}{max}(Q(ℰ) - Q(\mathrm{\Lambda }(ℰ))).$$

When we only consider the initial ensembles with the maximal quantumness, we can obtain a modified version

$$\begin{array}{cc}\hfill D^{{}^{\prime }}\left(\mathrm{\Lambda }\right)& = \underset{\{ℰ:Q(ℰ) = Q_{\max }\}}{max}(Q(ℰ) - Q(\mathrm{\Lambda }(ℰ)))\hfill \\ \hfill & = Q_{\max } - \underset{\{ℰ:Q(ℰ) = Q_{\max }\}}{min}Q\left(\mathrm{\Lambda }(ℰ)\right).\hfill \end{array}$$

Here $Q_{\max }$ denotes the maximal amount of quantunness in a quantum ensemble for a given Hilbert space, which is dependent on the space dimension.

We remark that in [32], the quantumness of a quantum channel is defined as the maximal quantumness (non-commutativity) between the output states of the quantum channel for any two maximal-quantumness states, which can be formally expressed as

$$\underset{\{ℰ:Q(ℰ) = Q_{\max }\}}{max}Q\left(\mathrm{\Lambda }(ℰ)\right).$$

Note that another difference in the motivation is that we start from the quantumness in ensembles rather than any two quantum states.

From the definition, we can obtain the following properties.

(1) $C\left(\mathrm{\Lambda }\right)\ge C^{{}^{\prime }}\left(\mathrm{\Lambda }\right)$ and $D\left(\mathrm{\Lambda }\right)\ge D^{{}^{\prime }}\left(\mathrm{\Lambda }\right)$.

(2) $C^{{}^{\prime }}\left(\mathrm{\Lambda }\right) = 0$ is equivalent to that $\mathrm{\Lambda }$ is a commutativity preserving channel.

(3) $C\left(U\right) = 0$ and $D\left(U\right) = 0$, where U is the unitary operation.

(4) $C({\mathrm{\Lambda }}_1\circ {\mathrm{\Lambda }}_2)\le C\left({\mathrm{\Lambda }}_1\right) + C\left({\mathrm{\Lambda }}_2\right)$ and $D({\mathrm{\Lambda }}_1\circ {\mathrm{\Lambda }}_2)\le D\left({\mathrm{\Lambda }}_1\right) + D\left({\mathrm{\Lambda }}_2\right)$.

(5) $C_2\left(\mathrm{\Lambda }\right)\le C_n\left(\lambda \right)<2C_2\left(\mathrm{\Lambda }\right)$ and $D_2\left(\mathrm{\Lambda }\right)\le D_n\left(\lambda \right)<2D_2\left(\mathrm{\Lambda }\right)$, where $C_n\left(\mathrm{\Lambda }\right)$ and $D_n\left(\mathrm{\Lambda }\right)$ represent the quantumness and dequantumness power defined on the ensembles with less than n ingredients, respectively.

Proof. 

Since the first four properties can be directly verified from the definition, we only prove the property (5) as follows. For simplicity, we just give the proof of the quantumness power, with the case of the dequantumness power similarly derived.

For ensembles having two ingredients ${ℰ}_2 = \{(p,{\rho }_1),(1 - p,{\rho }_2)\}$, the quantumness power is

$$\begin{array}{cc}\hfill C_2\left(\mathrm{\Lambda }\right) = & \underset{{ℰ}_2}{max}(Q(\mathrm{\Lambda }(ℰ)) - Q(ℰ)) = \underset{p,{\rho }_1,{\rho }_2}{max}2p(1 - p)\left(\mathrm{tr}{[{\rho }_1,{\rho }_2]}^2 - \mathrm{tr}{[\mathrm{\Lambda }\left({\rho }_1\right),\mathrm{\Lambda }\left({\rho }_2\right)]}^2\right)\hfill \\ \hfill = & \frac{1}{2}\underset{{\rho }_1,{\rho }_2}{max}\left(\mathrm{tr}{[{\rho }_1,{\rho }_2]}^2 - \mathrm{tr}{[\mathrm{\Lambda }\left({\rho }_1\right),\mathrm{\Lambda }\left({\rho }_2\right)]}^2\right)\triangleq \frac{1}{2}H.\hfill \end{array}$$

For ensembles with less than n constitutes denoted by ${ℰ}_n$, the quantumness power is

$$\begin{array}{cc}\hfill C_n\left(\mathrm{\Lambda }\right) =& \underset{\{{ℰ}_2,\cdots ,{ℰ}_n\}}{max}(Q(\mathrm{\Lambda }({ℰ}_n)) - Q({ℰ}_n)) = \underset{k = 2,\cdots ,n}{max}\underset{{ℰ}_k}{max}(Q(\mathrm{\Lambda }({ℰ}_k)) - Q({ℰ}_k))\hfill \\ \hfill =& \underset{k = 2,\cdots ,n}{max}\underset{\{(p_i,{\rho }_i),i = 1,\cdots ,k\}}{max}\sum _{i\ne j}{p}_i{p}_j\left(\mathrm{tr}{[{\rho }_i,{\rho }_j]}^2 - \mathrm{tr}{[\mathrm{\Lambda }\left({\rho }_i\right),\mathrm{\Lambda }\left({\rho }_j\right)]}^2\right)\hfill \\ \hfill \le & \underset{k = 2,\cdots ,n}{max}\underset{\{p_i,i = 1,\cdots ,k\}}{max}\sum _{i\ne j}{p}_i{p}_{j}H = \underset{k = 2,\cdots ,n}{max}\underset{\{p_i,i = 1,\cdots ,k\}}{max}(1 - \sum _i{p}_i^2)H\hfill \\ \hfill \le & \underset{k = 2,\cdots ,n}{max}(1 - \frac{1}{k})H<2C_2\left(\mathrm{\Lambda }\right),\hfill \end{array}$$

meanwhile $C_n\left(\mathrm{\Lambda }\right)\ge C_2\left(\mathrm{\Lambda }\right)$, then we can directly get that

$$C_2\left(\mathrm{\Lambda }\right)\le C_n\left(\mathrm{\Lambda }\right)<2C_2\left(\mathrm{\Lambda }\right),n\ge 2.$$

□

From this property, we can obtain that the calculation of quantumness power and dequantumness power can be restricted to the ensembles with two ingredients. In the following, focusing on one particular channel, the explicit calculation process is given.

Example 1.

For amplitude damping channels the Kraus operators of which are $E_0 = \left(\begin{array}{cc}1& 0\\ 0& \sqrt{1 - \lambda }\end{array}\right)$ and $E_1 = \left(\begin{array}{cc}0& \sqrt{\lambda }\\ 0& 0\end{array}\right)$, we can calculate the quantumness power and dequantumness power as follows.

Through this channel, the Bloch vectors of the states in the ensemble ${ℰ}_2 = \{(p,{\rho }_1),(1 - p,{\rho }_2)\}$ change from $r_i(sin{\theta }_{i}cos{\varphi }_i,sin{\theta }_{i}sin{\varphi }_i,cos{\theta }_i)$ to

$$\begin{array}{c}\hfill {\overrightarrow{r}}_i = \left(r_{i}sin{\theta }_{i}cos{\varphi }_i\sqrt{1 - \lambda },r_{i}sin{\theta }_{i}sin{\varphi }_i\sqrt{1 - \lambda },\lambda + (1 - \lambda )r_{i}cos{\theta }_i\right).\end{array}$$

From Equation (2), we can obtain the quantumness of this evolved ensemble as

$$\begin{array}{cc}\hfill Q\left(\mathrm{\Lambda }\left({ℰ}_2\right)\right) = & p(1 - p)(1 - \lambda )[{\lambda }^2(h_1^2 + h_2^2) + r_1^2{r}_2^2(n_2^2 + n_3^2)\hfill \\ \hfill & + r_1^2{r}_2^2(1 - \lambda )n_1^2 + 2\lambda r_1{r}_2(n_3{h}_1 + n_2{h}_2)],\hfill \end{array}$$

(4)

where $n_i$ are the same to the ones in Equation (3), and

$$\begin{array}{c}\hfill h_1 = r_{1}sin{\theta }_{1}sin{\varphi }_1 - r_{2}sin{\theta }_{2}sin{\varphi }_2 + r_1{r}_2(cos{\theta }_{1}sin{\theta }_{2}sin{\varphi }_2 - sin{\theta }_{1}cos{\theta }_{2}sin{\varphi }_1),\\ \hfill h_2 = r_{1}sin{\theta }_{1}cos{\varphi }_1 - r_{2}sin{\theta }_{2}cos{\varphi }_2 + r_1{r}_2(cos{\theta }_{1}sin{\theta }_{2}cos{\varphi }_2 - sin{\theta }_{1}cos{\theta }_{2}cos{\varphi }_1).\end{array}$$

The quantumness power restricted to the ensembles with two ingredients is

$$C_2\left(\mathrm{\Lambda }\right) = \underset{p,r_i,{\theta }_i,{\varphi }_i}{max}(Q(\mathrm{\Lambda }({ℰ}_2)) - p(1 - p)r_1^2{r}_2^2(n_1^2 + n_2^2 + n_3^2)).$$

Since the optimization is very complicated, we only show the numerical result as the blue solid line in Figure 1.

If we only focus on the initial ensembles without quantumness, i.e., $Q\left({ℰ}_2\right) = 0$, which means $r_1$ (or $r_2) = 0$ or $n_1 = n_2 = n_3 = 0$, we can get the expression of the modified quantumness power as

$$C_2^{{}^{\prime }}\left(\mathrm{\Lambda }\right) = {\lambda }^2(1 - \lambda ),$$

(5)

whose proof is left in the Appendix A. The difference between these two measures is shown in Figure 1. $C_2\left(\mathrm{\Lambda }\right)>C_2^{{}^{\prime }}\left(\mathrm{\Lambda }\right)$ when $0\le \lambda <{\lambda }_c$ and $C_2\left(\mathrm{\Lambda }\right) = C_2^{{}^{\prime }}\left(\mathrm{\Lambda }\right)$ when ${\lambda }_c<\lambda \le 1$, where ${\lambda }_c\approx 0.75$.

Similarly, we can get the expression of dequantumness power as

$$D_2\left(\mathrm{\Lambda }\right) = \underset{p,r_i,{\theta }_i,{\varphi }_i}{max}(p(1 - p)r_1^2{r}_2^2(n_1^2 + n_2^2 + n_3^2) - Q\left(\mathrm{\Lambda }\left({ℰ}_2\right)\right)).$$

Noting ${\max }_{p,r_i,{\theta }_i,{\varphi }_i}Q\left({ℰ}_2\right) = \frac{1}{4}$ with $p = \frac{1}{2},r_1 = r_2 = 1$ and $\sin {\theta }_1\sin {\theta }_2\cos ({\varphi }_1 - {\varphi }_2) = -\cos {\theta }_1\cos {\theta }_2$, the modified dequantumness power is

$$\begin{array}{cc}\hfill D_2^{{}^{\prime }}\left(\mathrm{\Lambda }\right) = & \underset{\theta \in [0,\pi ]}{max}\frac{1}{4}[1 - (1 - \lambda )[(2{\lambda }^2 - 2\lambda + 1)\hfill \\ \hfill & \pm 2{\lambda }^{2}sin\theta cos\theta + 2\lambda (1 - \lambda )(cos\theta \pm sin\theta )]].\hfill \end{array}$$

As shown in Figure 2, $D_2\left(\mathrm{\Lambda }\right) = D_2^{{}^{\prime }}\left(\mathrm{\Lambda }\right)$ in this case.

From this example, we can obtain that $C\left(\mathrm{\Lambda }\right)$ can be strictly larger than $C^{{}^{\prime }}\left(\mathrm{\Lambda }\right)$, which means that the maximum may not be achieved at the free case just like the cohering power [14]. Though $D_2\left(\mathrm{\Lambda }\right) = D_2^{{}^{\prime }}\left(\mathrm{\Lambda }\right)$ in this case, we conjecture this equality may fail in certain cases. But we have not found the counterexample satisfying $D_2\left(\mathrm{\Lambda }\right)>D_2^{{}^{\prime }}\left(\mathrm{\Lambda }\right)$ yet.

Meanwhile, we can obtain that the channel with higher quantumness power does not necessarily have stronger or weaker dequantumness power. The relationship among them is complicated. For example, $C_2\left(0.25\right)>C_2\left(0.99\right)$ while $D_2\left(0.25\right)<D_2\left(0.99\right)$, $C_2\left(0.5\right)>C_2\left(0.1\right)$ and $D_2\left(0.5\right)>D_2\left(0.1\right)$.

4. Completely Dequantumness Channel and Its Relationship with Quantum Markovianity

In this section, we consider a quantum channel as a quantum evolution ${\mathrm{\Lambda }}_t$. If for all the quantum ensembles, the channel reduces the quantumness all the time, we call this channel as the completely dequantumness channel. For these channels, we always have

$$\frac{d}{dt}Q\left({\mathrm{\Lambda }}_t(ℰ)\right)\le 0,\forall ℰ,\forall t\ge 0.$$

The completely dequantumness channel can be verified to satisfy the following properties:

(1) The quantumness power of the completely dequantumness channel is always 0, while the inverse is not always true.

(2) To verify whether a channel is a completely dequantumness channel or not, we only need to verify whether the inequality $\frac{d}{dt}Q\left({\mathrm{\Lambda }}_t(ℰ)\right)\le 0$ holds or not for all the ensembles with two ingredients.

Proof. 

We only give the proof of property (2) since the first one can be verified directly from the definition. If the channel reduces quantumness for all ensembles $ℰ = \{(p_i,{\rho }_i),i\in \mathcal{I}\}$, we can directly obtain that for the ensembles with two ingredients $ℰ = \{(p,{\rho }_1),(1 - p,{\rho }_2)\}$, the inequality $\frac{d}{dt}Q\left({\mathrm{\Lambda }}_t(ℰ)\right)\le 0$ holds.

Conversely, if for all the ensembles with two ingredients, the inequality holds, then by virtue of the definition in Equation (1), for the general ensembles with arbitrary numbers of ingredients, we can obtain that $\frac{d}{dt}Q\left({\mathrm{\Lambda }}_t(ℰ)\right) = -{\sum }_{i,j\in \mathcal{I}}{p}_i{p}_j\frac{d}{dt}\mathrm{tr}{[{\mathrm{\Lambda }}_t\left({\rho }_i\right),{\mathrm{\Lambda }}_t\left({\rho }_j\right)]}^2\le 0$. □

For open quantum systems, the definition of completely dequantumness channel (dynamics) reflects the information flow of quantumness from the quantum system to the environment. Since the information loss is a typical feature of Markovianity, it is natural to investigate the relationship between the completely-dequantumness property of a quantum dymamics and its Markovianity.

It is worth mentioning that there are various criteria proposed to qualitatively or quantitatively characterize quantum non-Markovianity from different perspectives, such as divisibility [33,34,35,36], the distinguishability of states [37,38], fidelity [39], correlations [35,40,41], Fisher information [42,43,44], and Rényi entropy [45]. Among these, a criterion that can fully characterize the non-Markovianity of a quantum dynamics [33] is using the appearance of negative decoherence rates in the canonical form of the master equation

$$\frac{d{\rho }_t}{dt} = -\frac{i}{\hslash }[H\left(t\right),{\rho }_t] + \sum _{k = 1}^{d^2 - 1}{\gamma }_k\left(t\right)[L_k\left(t\right){\rho }_t{L}_k{\left(t\right)}^{†} - \frac{1}{2}\{L_k{\left(t\right)}^{†}{L}_k\left(t\right),{\rho }_t\}],$$

where the $L_k\left(t\right)$ form an orthonormal basis set of traceless operators, i.e., $\mathrm{tr}{L}_k\left(t\right) = 0,$$\mathrm{tr}{L}_j\left(t\right)L_k{\left(t\right)}^{†} = {\delta }_{jk},$ and $H\left(t\right)$ is Hermitian. In this sense, a time-local master equation is Markovian if and only if the canonical decoherence rates are positive at any time, i.e.,

$${\gamma }_k\left(t\right)\ge 0,\forall t\ge 0,k = 1,\cdots ,d^2 - 1.$$

(6)

More importantly, the authors in Ref. [33] give an example of a master equation that is non-Markovian for all times $t\ge 0$, but to which nearly all proposed non-Markovian measures do not work. For this reason, we will adopt this criterion for Markovianity.

To make a comparative study between the completely-dequantumness property and the Markovianity, we focus on phase damping dynamics, amplitude damping dynamics, and random unitary dynamics.

4.1. Phase Damping Dynamics

Consider the qubit dynamics $\mathrm{\Lambda } = \{{\mathrm{\Lambda }}_t:t\ge 0\}$ with ${\rho }_t = {\mathrm{\Lambda }}_t\left(\rho \right)$ described by the differential equation

$$\frac{d{\rho }_t}{dt} = {\gamma }_t({\sigma }_z{\rho }_t{\sigma }_z - {\rho }_t),$$

where ${\int }_0^t{\gamma }_{s}ds\ge 0$ and ${\sigma }_z$ is the Pauli-z spin matrix.

This dynamics is actually a phase damping channel and can be presented as ${\mathrm{\Lambda }}_t\left(\rho \right) = E_0\rho E_0^{†} + E_1\rho E_1^{†}$ with Kraus operators $E_0 = \mathrm{diag}(1,\sqrt{1 - {\lambda }_t})$ and $E_1 = \mathrm{diag}(0,\sqrt{{\lambda }_t})$, where ${\lambda }_t = 1 - e^{-4{\int }_0^t{\gamma }_{s}ds}$.

The Bloch vectors of the evolved states are

$${\overrightarrow{r}}_i\left(t\right) = r_i(\sqrt{1 - {\lambda }_t}sin{\theta }_{i}cos{\varphi }_i,\sqrt{1 - {\lambda }_t}sin{\theta }_{i}sin{\varphi }_i,cos{\theta }_i).$$

The quantumness of evolved ensemble ${\mathrm{\Lambda }}_t(ℰ) = \{(p,{\mathrm{\Lambda }}_t\left({\rho }_1\right)),(1 - p,{\mathrm{\Lambda }}_t\left({\rho }_2\right))\}$ turns out to be

$$Q\left({\mathrm{\Lambda }}_t(ℰ)\right) = p(1 - p)r_1^2{r}_2^2[{(1 - {\lambda }_t)}^2{m}_1 + (1 - {\lambda }_t)(m_2 + m_3)],$$

with $m_i = n_i^2$ given in Equation (3), and the derivative is

$$\begin{array}{cc}\hfill \frac{dQ\left({\mathrm{\Lambda }}_t(ℰ)\right)}{dt} = & -p(1 - p)r_1^2{r}_2^2[2(1 - {\lambda }_t)m_1 + m_2 + m_3]\frac{d{\lambda }_t}{dt}\propto - {\gamma }_t.\hfill \end{array}$$

From above, we can obtain that for all quantum ensembles,

$$\frac{dQ\left({\mathrm{\Lambda }}_t(ℰ)\right)}{dt}\le 0\mathrm{if}\mathrm{and}\mathrm{only}\mathrm{if}{\gamma }_t\ge 0.$$

It can be directly verified from the definition of Equation (6) that ${\gamma }_t\ge 0$ is just the condition that the channel ${\mathrm{\Lambda }}_t$ is Markovian, which is also in accordance with the results revealed by the measures based on the quantum trace distance (BLP-Markovianity) [37], dynamical divisibility (RHP-Markovianity) [35], quantum mutual information (LFS-Markovianity) [41], and quantum Fisher information [43] (see Refs. [41,43] and references therein). This implies that for the phase damping dynamics, it is completely dequantumness if and only if it is Markovian.

4.2. Amplitude Damping Dynamics

Consider the qubit dynamics $\mathrm{\Lambda } = \{{\mathrm{\Lambda }}_t:t\ge 0\}$ with ${\rho }_t = {\mathrm{\Lambda }}_t\left(\rho \right)$ satisfying the following master equation

$$\frac{d{\rho }_t}{dt} = -\frac{i}{2}{s}_t[{\sigma }_{+}{\sigma }_{-},{\rho }_t] + {\gamma }_t({\sigma }_{-}{\rho }_t{\sigma }_{+} - \frac{1}{2}\{{\sigma }_{+}{\sigma }_{-},{\rho }_t\}),$$

where $\{·,·\}$ denotes the anti-commutator, ${\sigma }_{\pm }$ are the atomic raising and lowing operators, respectively, and $s_t = -2\Im \frac{{\dot{G}}_t}{G_t}$, ${\gamma }_t = -2\Re \frac{{\dot{G}}_t}{G_t}$. Here $G_t$ satisfies the equation ${\dot{G}}_t = - {\int }_0^t{f}_{t-s}{G}_{s}ds$ with initial condition $G_0 = 1$, and $f_t$ is the reservoir correlation function.

This dynamics is actually an amplitude damping channel. We can directly obtain the Bloch vectors of the evolved states in ensemble ${\mathrm{\Lambda }}_t(ℰ)$ as

$$\begin{array}{cc}\hfill {\overrightarrow{r}}_i\left(t\right) = & \left(r_i|G_t|sin{\theta }_{i}cos({\varphi }_i + {\delta }_t),r_i|G_t|sin{\theta }_{i}sin({\varphi }_i + {\delta }_t),1 - {\left|G_t\right|}^2(1 - r_{i}cos{\theta }_i)\right).\hfill \end{array}$$

Here ${\delta }_t$ is the argument of $G_t$. The derivative of quantumness of this evolved ensemble can be calculated as

$$\begin{array}{cc}\hfill \frac{dQ\left({\mathrm{\Lambda }}_t(ℰ)\right)}{d|G_t{|}^2} = & p(1 - p)[k_{12}\left(t\right)f_{12}\left(t\right) + 2{\left|G_t\right|}^2{r}_1^2{r}_2^2{sin}^2{\theta }_1{sin}^2{\theta }_2{sin}^2({\varphi }_1 - {\varphi }_2)\hfill \\ \hfill & +k_{21}\left(t\right)f_{21}\left(t\right) - 2r_1{r}_{2}sin{\theta }_{1}sin{\theta }_{2}cos({\varphi }_1 - {\varphi }_2)l(t)],\hfill \end{array}$$

where

$$\begin{array}{cc}\hfill k_{ij}\left(t\right) = & r_{i}sin{\theta }_i(1 - |G_t{|}^2(1 - r_{j}cos{\theta }_j)),i,j = 1,2,\hfill \\ \hfill f_{ij}\left(t\right) = & r_{i}sin{\theta }_i(1 - 3|G_t{|}^2(1 - r_{j}cos{\theta }_j)),i,j = 1,2,\hfill \\ \hfill l\left(t\right) = & 1 - 2|G_t{|}^2(2 - r_{1}cos{\theta }_1 - r_{2}cos{\theta }_2) + 3{\left|G_t\right|}^4(1 - r_{1}cos{\theta }_1)(1 - r_{2}cos{\theta }_2).\hfill \end{array}$$

We define

$$h\left(\right|G_t\left|\right)\triangleq \underset{p,r_i,{\theta }_i,{\varphi }_i}{min}\frac{dQ\left({\mathrm{\Lambda }}_t(ℰ)\right)}{d|G_t{|}^2}$$

and plot it in Figure 3. From the figure, we can easily get that $h\left(\right|G_t\left|\right)<0$ when $|G_t|>\frac{1}{4}$, which implies that

$$\frac{dQ\left({\mathrm{\Lambda }}_t(ℰ)\right)}{dt}\le 0,\forall ℰ\iff \left|G_t\right|\le \frac{1}{4}\mathrm{and}\frac{d|G_t|}{dt}\le 0.$$

If $|G_t|>\frac{1}{4}$, we can always find particular ensemble whose quantumness increases during the evolution.

It can be directly verified from the definition of Equation (6) that the amplitude damping channel is Markovian if and only if ${\gamma }_t = - \frac{2}{|G_t|}\frac{d|G_t|}{dt}\ge 0$, i.e., $\frac{d|G_t|}{dt}\le 0$, which is also in accordance with the result revealed by the measures based on the quantum trace distance (BLP-Markovianity), quantum mutual information (LFS-Markovianity), and quantum Fisher information (see Refs. [41,43,46] and references therein). Based on this observation, we know that Markovianity does not imply completely dequantumness. It means that there exists a Markovian channel that can induce quantumness for some ensembles.

4.3. Random Unitary Dynamics

Consider the qubit dynamics $\mathrm{\Lambda } = \{{\mathrm{\Lambda }}_t:t\ge 0\}$ with ${\rho }_t = {\mathrm{\Lambda }}_t\left(\rho \right)$ described by the master equation

$$\frac{d{\rho }_t}{dt} = \sum _{i = 1}^3{\gamma }_i\left(t\right)({\sigma }_i{\rho }_t{\sigma }_i - {\rho }_t),$$

where ${\gamma }_i\left(t\right)$ are suitable real functions of time, and ${\sigma }_i$ are the Pauli spin matrices. This dynamic is actually a random unitary dynamic and can be written in the following equivalent form

$${\mathrm{\Lambda }}_t\left(\rho \right) = \sum _{i = 0}^3{p}_i\left(t\right){\sigma }_i\rho {\sigma }_i.$$

Here $p_0\left(t\right) = (1 + {\sum }_{j = 1}^3{\lambda }_j\left(t\right))/4$ and $p_i\left(t\right) = {\lambda }_i\left(t\right)/2 + (1 - {\sum }_{j = 1}^3{\lambda }_j\left(t\right))/4$ with ${\lambda }_i\left(t\right) = e^{2{\int }_0^t({\gamma }_i\left(s\right) - {\sum }_{j = 1}^3{\gamma }_j\left(s\right))ds}$.

The Bloch vectors of the evolved ensemble ${\mathrm{\Lambda }}_t(ℰ)$ can be derived as

$${\overrightarrow{r}}_i\left(t\right) = r_i({\lambda }_1\left(t\right)sin{\theta }_{i}cos{\varphi }_i,{\lambda }_2\left(t\right)sin{\theta }_{i}sin{\varphi }_i,{\lambda }_3\left(t\right)cos{\theta }_i),$$

and the quantumness measure is

$$Q\left({\mathrm{\Lambda }}_t(ℰ)\right)\propto {\lambda }_1^2\left(t\right){\lambda }_2^2\left(t\right)m_1 + {\lambda }_1^2\left(t\right){\lambda }_3^2\left(t\right)m_2 + {\lambda }_2^2\left(t\right){\lambda }_3^2\left(t\right)m_3.$$

From this expression, we can obtain that

$$\frac{d}{dt}Q\left({\mathrm{\Lambda }}_t(ℰ)\right)\le 0,\forall ℰ\iff \frac{d}{dt}{\lambda }_i\left(t\right){\lambda }_j\left(t\right)\le 0,i\ne j,$$

which is equivalent to ${\gamma }_1\left(t\right) + {\gamma }_2\left(t\right) + {\gamma }_3\left(t\right) + {\gamma }_j\left(t\right)\ge 0$ for all $j = 1,2,3$.

Recall that it has been verified that the random unitary dynamics is Markovian by the definition of Equation (6) if and only if ${\gamma }_i\left(t\right) + {\gamma }_j\left(t\right)\ge 0$ for all $i\ne j,i,j = 1,2,3$ [47], which is consistent with the result revealed by the measures based on the quantum trace distance (BLP-Markovianity) [48]. From the above, we get that Markovianity implies the completely dequantumness, while the inverse is not always true.

In summary, for several significant quantum channels, we have derived the conditions for the dynamics to be completely dequantumness, and compare them with the Markovian conditions. Their relationships are illustrated in

Table 1. Relationship between completely dequantumness (CDQ) and Markovianity.

Channel	Completely Dequantumness	Markovianity	Relationship
Phase Damping	${\gamma }_t\ge 0$	${\gamma }_t\ge 0$	CDQ ⇔Markovianity
Amplitude Damping	$|G_t|\le \frac{1}{4}$ and $\frac{d|G_t|}{dt}\le 0$	$\frac{d|G_t|}{dt}\le 0$	CDQ ${}_{\nLeftarrow }^{\Rightarrow }$ Markovianity
Random Unitary	${\gamma }_1\left(t\right) + {\gamma }_2\left(t\right) + {\gamma }_3\left(t\right) + {\gamma }_j\left(t\right)\ge 0$	${\gamma }_i\left(t\right) + {\gamma }_j\left(t\right)\ge 0,i\ne j$	CDQ ${}_{\Leftarrow }^{\nRightarrow }$ Markovianity

.

From the table, we find that the completely dequantumness channel is related with Markovian channel, while they are different. There exists the Markovian channel, which induces quantumness for some ensembles. Meanwhile, there are also some completely dequantumness channel that are non-Markovian.

5. Conclusions

In this work, we mainly investigate the dynamics of quantumness in ensembles, and propose quantumness power and dequantumness power to characterize quantum channels. Once the channel reduces quantumness for all the ensembles at all times, we call it the completely dequantumness channel, whose relationship with the Markovian channel is studied through several examples. This work illustrates new properties of quantum channels from the perspective of the information flow in terms of quantumness brought by the interaction between the system and environment. It is worth mentioning that although we only focus on the qubit case and one special quantumness measure, the results can be generalized to arbitrary dimensions and other measures of quantumness.

There are still some problems to be further investigated. (1) From Ref. [49], we can obtain that the commutativity-preserving channels cannot increase the quantumness of ensembles, which means the quantumness power is zero for the unital qubit channel. Can we find any non-unital qubit channel without quantumness power? (2) Whether the convex combination of completely dequantumness channels is still completely dequantumness? Suppose $\mathrm{\Lambda }$ and $\mathrm{\Phi }$ are two completely dequantumness channels, we need to check whether $\alpha \mathrm{\Lambda } + (1 - \alpha )\mathrm{\Phi }$ is a completely dequantumness channel or not. Since quantumness of ensembles plays an important role in quantum communication and quantum cryptography, this work is expected to be helpful in guiding quantum information tasks.