Abstract
By using the Choi–Jamiołkowski isomorphism, we propose a well-defined coherence measure of quantum channels based on the generalized \(\alpha \)-z-relative Rényi entropy. In addition, we present an alternative coherence measure of quantum channels by quantifying the commutativity between the channels and the completely dephasing channels with the generalized \(\alpha \)-z-relative Rényi entropy. Some elegant properties of the measures are illustrated in detail. Explicit formulas of these coherence measures are derived for some detailed typical quantum channels.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
As a fundamental feature of quantum physics, coherence plays an essential role in quantum information processing. Based on the framework of quantifying the coherence of quantum states [1], quantifications of quantum coherence have been extensively studied in terms of the \(l_{1}\)-norm [1], relative entropy [1], skew information [2, 3], fidelity [4, 5] and generalized \(\alpha \)-z-relative Rényi entropy [6], with various applications in quantum entanglement, quantum algorithm, quantum meteorology and quantum biology [7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24]. Yu et al. [25] have presented an alternative framework for quantifying coherence.
Quantum channels characterize the general evolutions of quantum systems [26]. In recent years, fruitful results have been obtained on studies of quantum channels [27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43]. Datta et al. [44] investigated the coherence of quantum channels by using the Choi–Jamiołkowski isomorphism. Xu [45] proposed a framework to quantify the coherence of quantum channels by using the Choi–Jamiołkowski isomorphism, and defined the \(l_{1}\)-norm coherence measure of quantum channels. Based on this framework, some quantifiers of coherence for quantum channels have been given successively, such as maximum relative entropy [46], robustness [46], fidelity [47], skew information and Hellinger distance [48]. Luo et al. [49] introduced the coherence weight of quantum channels to investigate the quantum resource theory of dynamical coherence. Kong et al. [50] presented an alternative framework to quantify the coherence of quantum channels.
On the other hand, Meznaric et al. [51] formulated a measure of nonclassicality of a quantum operation, which is defined by quantifying the commutativity between a quantum operation and a completely dephasing operation based on the relative entropy. Fan et al. [52] studied the commutativity between a channel and a completely dephasing channel based on the trace distance, and quantified the coherence of quantum channels via commutativity.
The paper is organized as follows. In Sect. 2, we present the definition of a coherence measure for quantum channels based on the generalized \(\alpha \)-z-relative Rényi entropy via Choi–Jamiołkowski isomorphism, and verify that it is a well-defined coherence measure. In Sect. 3, we study the commutativity between the channels and the completely dephasing channels based on the generalized \(\alpha \)-z-relative Rényi entropy, and derive several elegant properties. In Sect. 4, we obtain explicit formulas of coherence measures with respect to some typical channels for above two newly defined measures. Finally, we conclude with a summary in Sect. 5.
2 Coherence of quantum channels by using Choi–Jamiołkowski isomorphism based on the generalized \(\varvec{\alpha }\)-\(\varvec{z}\)-relative Rényi entropy
For two arbitrary quantum states \(\rho \), \(\sigma \) and \(\alpha \), z \(\in \mathbb {R}\), the generalized \(\alpha \)-z-relative Rényi entropy is defined by [6],
where
Let \(\{|i\rangle \}_{i=1}^{d}\) be a set of orthonormal basis of a d-dimensional Hilbert space H. The set \(\mathcal {I}\) of quantum states is said to be incoherent if all the density matrices are diagonal in this basis. The quantum coherence \( C _{\alpha ,z}(\rho )\) of a quantum state \(\rho \) induced by the generalized \(\alpha \)-z-relative Rényi entropy,
is a well-defined coherence measure in each of the following cases [6]:
-
(1)
\(\alpha \in (0,1)\) and \(z\ge {\max {\{\alpha ,1-\alpha \}}}\);
-
(2)
\(\alpha \in (1,2]\) and \(z=\{1,\frac{\alpha }{2}\}\);
-
(3)
\(\alpha >{1}\) and \(z=\alpha \).
It can be found that \( C _{\alpha ,z}(\rho )\) reduces to \(\textrm{ln2}\cdot C _{r}(\rho )\) and \(2\cdot C _{s}(\rho )\) when \(z=1\), \(\alpha \rightarrow 1\) and \(z=1\), \(\alpha = \frac{1}{2}\), respectively, where \( C _{r}(\rho )\) denotes the relative entropy of coherence [1] and \( C _{s}(\rho )\) denotes the skew information of coherence [3].
Let \(H_{A}\) and \(H_{B}\) be two Hilbert spaces with dimensions \(\vert A\vert \) and \(\vert B\vert \), orthonormal bases \(\{|i\rangle \}_{i}\) and \(\{|\beta \rangle \}_{\beta }\), respectively. We assume that \(\{|i\rangle \}_{i}\) and \(\{|\beta \rangle \}_{\beta }\) are fixed and adopt the tensor basis \(\{|i\beta \rangle \}_{i\beta }\) as the fixed basis when considering the multipartite system \(H_{\textrm{AB}}=H_{A}\otimes H_{B}\). Denote by \(\mathcal {D}(H_{A})\) and \(\mathcal {D}(H_{B})\) the set of all density operators on \(H_{A}\) and \(H_{B}\), respectively. Denote by \(\mathcal {C}_{\textrm{AB}}\) the set of all channels from \(\mathcal {D}(H_{A})\) to \(\mathcal {D}(H_{B})\), \(\mathcal{S}\mathcal{C}_{ABA^{'}B^{'}}\) the set of all superchannels from \(\mathcal {C}_{\textrm{AB}}\) to \(\mathcal {C}_{A^{'}B^{'}}\), \(\mathcal{I}\mathcal{C}_{\textrm{AB}}\) the set of incoherent channels in \(\mathcal {C}_{\textrm{AB}}\), and \(\mathcal {ISC}_{ABA^{'}B^{'}}\) the set of incoherent superchannels in \(\mathcal{S}\mathcal{C}_{ABA^{'}B^{'}}\). A quantum channel \(\phi \in {\mathcal {C}_{\textrm{AB}}}\) is a completely positive trace-preserving (CPTP) map. A coherence measure \( C \) of quantum channels should satisfy the following conditions [45]:
-
(a)
Faithfulness: \( C (\phi )\ge 0\) for any \(\phi \in {\mathcal {C}_{\textrm{AB}}}\), and \( C (\phi )=0\) if and only if \(\phi \in {\mathcal{I}\mathcal{C}_{\textrm{AB}}}\);
-
(b)
Nonincreasing under \(\mathcal {ISC}s\): \( C (\phi )\ge C[\mathrm {\Theta }(\phi )] \) for any \(\Theta \in {\mathcal {ISC}_{ABA^{'}B^{'}}}\);
-
(c)
Nonincreasing under \(\mathcal {ISC}s\) on average: \( C \left( \phi \right) \ge \sum \limits _{m}p_{m} C (\phi _{m})\) for any \(\Theta \in {\mathcal {ISC}_{ABA^{'}B^{'}}}\), with \(\{K_{m}\}_{m}\) an incoherent expression of \(\Theta \), \(p_{m}=\frac{\textrm{Tr}(K_{m}J_{\phi }K_{m}^{\dagger })}{\vert {A^{'}}\vert }\) and \(J_{\phi _{m}}=\vert {A^{'}}\vert \frac{K_{m}J_{\phi }K_{m}^{\dagger }}{\textrm{Tr}(K_{m}J_{\phi }K_{m}^{\dagger })}\);
-
(d)
Convexity: \( C \left( \sum \limits _{m}p_{m}\phi _{m}\right) \le \sum \limits _{m}p_{m} C (\phi _{m})\) for any \(\{\phi _{m}\}_{m}\subset \mathcal {C}_{\textrm{AB}}\) and probability \(\{p_{m}\}_{m}\).
Following the idea in [25], the authors in [50] proposed an alternative framework for quantifying the coherence of quantum channels which substitutes (c) and (d) with the following additivity,
where \(p_{1}+p_{2}=1\), \(\phi _{1}\in \mathcal {C}_{AB_{1}}\), \(\phi _{2}\in \mathcal {C}_{AB_{2}}\), \(\phi \in \mathcal {C}_{\textrm{AB}}\), \(|B|=|B_{1}|+|B_{2}|\), and \(\phi (|i\rangle \langle \beta |)=p_{1}\phi _{1}(|i\rangle \langle \beta |)\oplus p_{2}\phi _{2}(|i\rangle \langle \beta |)\).
According to Theorem 3 in [45], if \( C \) is a coherence measure for quantum states which satisfies (a)-(d), then the coherence measure of quantum channels is defined as
where \(J_{\phi }\) is the Choi matrix corresponding to \(\phi \). For convenience, we denote \(\frac{J_{\phi }}{\vert A\vert }\) by \( M _{\phi }\).
Suppose that the Kraus representation of a quantum channel \(\phi \) is \(\phi (\rho )=\sum _n K_n\rho K_n^{\dagger }\). According to Eq. (2) in [47], we have
Here \(|\varphi \rangle =\frac{1}{\sqrt{|A|}}\sum \limits _{i=0}^{|A|-1}|ii\rangle \) is a maximally entangled state in Hilbert space \(H_{A}\otimes H_{A}\), \(\textbf{Id}\) is the identity channel, and \(\mathbb {I}\) is the identity operator.
Definition 1
The generalized \(\alpha \)-z-relative Rényi entropy of two arbitrary quantum channels \(\phi \), \(\widetilde{\phi }\) \(\in \mathcal {C}_{\textrm{AB}}\) is defined as
Definition 2
The coherence measure of a channel \(\phi \) induced by the generalized \(\alpha \)-z-relative Rényi entropy is defined by
In particular, when \(z=1\), \(\alpha \in (0,1)\cup (1,2]\), by using the Corollary 2 in [6], we have
\( C _{\alpha ,1}(\phi )\) reduces to \(\textrm{ln2}\cdot C _{r}(\phi )\) and \(2\cdot C _{s}(\phi )\) when \(\alpha \rightarrow 1\) and \(\alpha =\frac{1}{2}\), where \( C _{r}(\phi )\) denotes the relative entropy of coherence of quantum channels and \( C _{s}(\phi )\) denotes the skew information of coherence of quantum channels [48].
Theorem 1
\( C _{\alpha ,z}(\phi )\) defined in Eq. (7) is a well-defined coherence measure.
Proof
According to Eqs. (2), (6) and (7), \( C _{\alpha ,z}(\phi )\) can be further rewritten as
From the Lemma 1 in [6], it is easy to see that \( C _{\alpha ,z}(\phi )\ge 0\), and \( C _{\alpha ,z}(\phi )=0\) if and only if \(\phi =\widetilde{\phi }\). Thus, \( C _{\alpha ,z}(\phi )\) satisfies the condition (a).
When \(\alpha >1\), denote \(\Theta ^{'}=\frac{|A|}{|A^{'}|}\Theta \) with \(\Theta \in {\mathcal {ISC_{ABA^{'}B^{'}}}}\). Thus, \(J_{\Theta ^{'}}\) is a CPTP map. Direct calculation shows that
Utilizing the Lemma 2 in [6], we have \(f_{\alpha ,z}(J_{\Theta ^{'}(\phi )},J_{\Theta ^{'}(\widetilde{\phi })}) \le f_{\alpha ,z}(J_{\phi },J_{\widetilde{\phi }})\). Then \(D_{\alpha ,z}(\Theta (\phi ),\Theta (\widetilde{\phi }))\le D_{\alpha ,z}(\phi ,\widetilde{\phi })\). Therefore,
It can be seen that \( C _{\alpha ,z}(\Theta (\phi ))\le C _{\alpha ,z}(\phi )\) when \(\alpha >1\). The case of \(0<\alpha <1\) can be easily proved in the same way. Hence, the condition (b) follows immediately.
Next we prove that \( C _{\alpha ,z}(\phi )\) satisfies Eq. (4). Suppose that \(M_{\phi }\) is block-diagonal in the reference \(\{|i\beta \rangle \}_{i\beta }\),
where \(p_{1}, p_{2}>0\) with \(p_{1}+p_{2}=1\), and \(M_{\phi _{1}}\) and \(M_{\phi _{2}}\) are the Choi states (density operators) corresponding to \(\phi _{1}\) and \(\phi _{2}\). \(M_{\widetilde{\phi }}\), the Choi state corresponding to \(\widetilde{\phi }\), can be written as
where \(q_{1}, q_{2}>0\) with \(q_{1}+q_{2}=1\), and \(M_{\widetilde{\phi }_{1}}\) and \(M_{\widetilde{\phi }_{2}}\) are the Choi states (density operators) corresponding to \(\widetilde{\phi }_{1}\) and \(\widetilde{\phi }_{2}\). Denote by \(\Delta \) either max or min. Let \(t_{m}=\Delta _{M_{\widetilde{\phi }_{m}}}\textrm{Tr} \left( M_{\widetilde{\phi }_{m}}^{\frac{1-\alpha }{2z}} M_{{\phi }_{m}}^{\frac{\alpha }{z}} M_{\widetilde{\phi }_{m}}^{\frac{1-\alpha }{2z}}\right) ^{z}\), \(m= 1, 2\). It can be derived that
Using the Hölder inequality with \(0<\alpha <1\), we have
where the equality holds if and only if \( q_{1}=lp_{1}t_{1}^{\frac{1}{\alpha }}\) and \(q_{2}=lp_{2}t_{2}^{\frac{1}{\alpha }}\) with \(l=\left( p_{1}t_{1}^{\frac{1}{\alpha }}+p_{2}t_{2}^{\frac{1}{\alpha }}\right) ^{-1}\). Consequently
Similarly, it is not difficult to obtain that when \(\alpha >1\),
and the equality holds when \(q_{1}=lp_{1}t_{1}^{\frac{1}{\alpha }}\) and \(q_{2}=lp_{2}t_{2}^{\frac{1}{\alpha }}\), which yields
We have further
Thus
which implies that \( C _{\alpha ,z}(\phi )\) satisfies Eq. (4). This completes the proof. \(\square \)
3 An alternative coherence measure of quantum channels based on the generalized \(\varvec{\alpha }\)-\(\varvec{z}\)-relative Rényi entropy
In this section, we present a coherence measure of quantum channels through an alternative method by quantifying the commutativity between the channels and the completely dephasing channels via the generalized \(\alpha \)-z-relative Rényi entropy. Furthermore, by utilizing the properties of the generalized \(\alpha \)-z-relative Rényi entropy [6], we discuss some properties of this coherence measure.
Definition 3
The completely dephasing channel \(\Delta ^{A}\in {\mathcal {C}_{\textrm{AB}}}\) is defined as [45]
A state \(\sigma ^{A}\in {\mathcal {D}(H_{A})}\) is called incoherent if \(\Delta ^{A}(\sigma ^{A})=\sigma ^{A}\). Otherwise, we say that it is coherent.
Definition 4
For a channel \(\phi \in {\mathcal {C}_{\textrm{AB}}}\), we define an alternative coherence measure \(\widetilde{ C }_{\alpha ,z}(\phi )\) of \(\phi \),
where \(D_{\alpha ,z}(\cdot , \cdot )\) is the generalized \(\alpha \)-z-relative Rényi entropy, and the supremum in Eq. (10) is taken over all quantum states.
Theorem 2
\(\widetilde{ C }_{\alpha ,z}(\phi )\) has the following elegant properties:
-
(i)
(Extremal property) for \(\sup \limits _{\rho }D_{\alpha ,z}(\phi \circ \Delta (\rho ),\Delta \circ \phi (\rho ))\), there exists a pure state \(|\psi \rangle \langle \psi |\) such that the supremum in Eq. (10) is attained when \(\rho =|\psi \rangle \langle \psi |\).
-
(ii)
(Monotonicity) for any quantum channel \(\phi \), if \(\phi _{0}\) is a quantum channel satisfying \(\widetilde{ C }_{\alpha ,z}(\phi _{0})=0\), then \(\widetilde{ C }_{\alpha ,z}(\phi _{0}\circ \phi )\le \widetilde{ C }_{\alpha ,z}(\phi )\) and \(\widetilde{ C }_{\alpha ,z}(\phi \circ \phi _{0})\le \widetilde{ C }_{\alpha ,z}(\phi )\).
-
(iii)
(Convexity) for some quantum channels \(\phi _{m}\), and some positive real number \(\lambda _{m}\) such that \(\sum \limits _{m}\lambda _{m}=1\), we have \(\widetilde{ C }_{\alpha ,z}\left( \sum \limits _{m}\lambda _{m}\phi _{m}\right) \le \sum \limits _{m}\lambda _{m}\widetilde{ C }_{\alpha ,z} \left( \phi _{m}\right) \). Proof Suppose that the spectral decomposition of \(\rho \) is \(\rho =\sum \limits _{m}\mu _{m}|\psi _{m}\rangle \langle \psi _{m}|\). We have
$$\begin{aligned}&D_{\alpha ,z}(\phi \circ \Delta (\rho ),\Delta \circ \phi (\rho ))\\ =&D_{\alpha ,z}\left( \phi \circ \Delta \left( \sum _{m}\mu _{m}| \psi _{m}\rangle \langle \psi _{m}|\right) ,\Delta \circ \phi \left( \sum _{m}\mu _{m}|\psi _{m}\rangle \langle \psi _{m}|\right) \right) \\ =&D_{\alpha ,z}\left( \sum _{m}\mu _{m}\phi \circ \Delta (|\psi _{m}\rangle \langle \psi _{m}|),\sum _{m}\mu _{m}\Delta \circ \phi (|\psi _{m}\rangle \langle \psi _{m}|)\right) \\ \le&\sum _{m}\mu _{m}D_{\alpha ,z}(\phi \circ \Delta (|\psi _{m}\rangle \langle \psi _{m}|),\Delta \circ \phi (|\psi _{m}\rangle \langle \psi _{m}|))\\ \le&\sum _{m}\mu _{m}\sup _{|\psi \rangle }D_{\alpha ,z}(\phi \circ \Delta (|\psi \rangle \langle \psi |),\Delta \circ \phi (|\psi \rangle \langle \psi |))\\ =&\sup _{|\psi \rangle }D_{\alpha ,z}(\phi \circ \Delta (|\psi \rangle \langle \psi |),\Delta \circ \phi (|\psi \rangle \langle \psi |)), \end{aligned}$$where the first inequality follows from the joint convexity of \(D_{\alpha ,z}(\cdot ,\cdot )\). Thus,
$$\begin{aligned}&\widetilde{ C }_{\alpha ,z}(\phi )\le \sup _{|\psi \rangle } D_{\alpha ,z}(\phi \circ \Delta (|\psi \rangle \langle \psi |), \Delta \circ \phi (|\psi \rangle \langle \psi |)). \end{aligned}$$It follows from Eq. (10) that
$$\begin{aligned} \widetilde{ C }_{\alpha ,z}(\phi )=\sup _{|\psi \rangle } D_{\alpha ,z}(\phi \circ \Delta (|\psi \rangle \langle \psi |),\Delta \circ \phi (|\psi \rangle \langle \psi |)). \end{aligned}$$(11)Therefore, item (i) holds.
Using the monotonicity of \(D_{\alpha ,z}\) under the CPTP maps, we have
where the first equality holds due to \(\widetilde{ C }_{\alpha ,z}(\phi _{0})=0\) and Definition 1 in [52]. Then, by Eq. (11), we obtain \(\widetilde{ C }_{\alpha ,z}(\phi _{0}\circ \phi )\le \widetilde{ C }_{\alpha ,z}(\phi )\). On the other hand,
which implies that \(\widetilde{ C }_{\alpha ,z}(\phi \circ \phi _{0})\le \widetilde{ C }_{\alpha ,z}(\phi )\). Hence, item (ii) is proved.
By utilizing the joint convexity of \(D_{\alpha ,z}(\cdot ,\cdot )\), we can further obtain
Therefore,
and the item (iii) is derived. \(\square \)
From Eq. (10), it can be easily seen that \(\widetilde{ C }_{\alpha ,z}(\phi )=0\) when the quantum channel \(\phi \) is detection-creation-incoherent [52], i.e., \(\phi \circ \Delta ^{A}=\Delta ^{B}\circ \phi \). Comparing the two quantifiers of the coherence of quantum channels in Eqs. (8) and (10), it can be found that \( C _{\alpha ,z}(\phi ) \ge \widetilde{ C }_{\alpha ,z}(\phi )\) always holds in this special case. From the examples in the next section and numerical results, it is conjectured that \( C _{\alpha ,1}(\phi ) \ge \widetilde{ C }_{\alpha ,1}(\phi )\) holds for all quantum channels \(\phi \), but we have not yet found a proof.
4 Examples
In this section, we choose several typical channels to calculate the coherence measures defined in Eqs. (8) and (10).
Example 1
Consider the phase flip channel \(\phi _{\textrm{PF}}{(\rho )} ={\sum \limits _{n=1}^{2}K_{n}\rho K_{n}^{\dagger }}\) with the Kraus operators
Direct calculation shows that
However, if we calculate the values of the coherence measure given in Eq. (10), we can clearly see that \(\widetilde{ C }_{\alpha ,z}\left( \phi _{\textrm{PF}}\right) \equiv 0\) regardless of the values of \(\alpha \) and z. In fact, for any pure state \(|\psi \rangle =a|0\rangle +b|1\rangle \) with \(|a|^{2}+|b|^{2}=1\), we have
where \(K_{1}|\psi \rangle =a\sqrt{p}|0\rangle +b\sqrt{p}|1\rangle \) and \(K_{2}|\psi \rangle =a\sqrt{1-p}|0\rangle -b\sqrt{1-p}|1\rangle \). It can be shown that
which implies that \(\widetilde{ C }_{\alpha ,z}(\phi _{\textrm{PF}})=0\).
In Fig. 1, we plot the surfaces of \(\widetilde{ C }_{\alpha ,z}(\phi _{\textrm{PF}})\) and \( C _{\alpha ,1}(\phi _{\textrm{PF}})\) given in Eqs. (10) and (13). By calculation, it is found that \(\lim \limits _{\alpha \rightarrow 1} C _{\alpha ,1}(\phi _{\textrm{PF}}) =\textrm{ln2}+p\textrm{lnp}+\textrm{ln}\left( 1-p\right) -p\textrm{ln}\left( 1-p\right) \), which reaches its minimum value 0 when \(p=\frac{1}{2}\), and reaches its maximum value \(\textrm{ln2}\) when \(p=0\). When \(\alpha =\frac{1}{2}\), \( C _{\frac{1}{2},1}(\phi _{\textrm{PF}})=1-2\sqrt{p(1-p)}\). Its minimum value 0 is obtained when \(p=\frac{1}{2}\) and its maximum value 1 is obtained when \(p=0\). It can be shown that \( C _{\alpha ,1}(\phi _{\textrm{PF}}) \ge \widetilde{ C }_{\alpha ,z}(\phi _{\textrm{PF}})\) when \(\alpha \in (0,1)\cup (1,2]\), \(0\le p\le 1\).
Example 2
Consider the depolarizing channel \(\phi _{D}{(\rho )} ={\sum \limits _{n=1}^{4}K_{n}\rho K_{n}^{\dagger }}\) with the Kraus operators
Hence, \( C _{\alpha ,1}(\phi )\) defined in Eq. (8) is given by
Similar to the phase flip channel, \(\widetilde{ C }_{\alpha ,z}\left( \phi _{D}\right) \equiv 0\) regardless of the values of \(\alpha \) and z.
In Fig. 2, we plot the surfaces of \(\widetilde{ C }_{\alpha ,z}(\phi _{D})\) and \( C _{\alpha ,1}(\phi _{D})\) in Eqs. (10) and (14). Direct calculation shows that \(\lim \limits _{\alpha \rightarrow 1} C _{\alpha ,1} (\phi _{D})=\frac{1}{4}[(4-3p)\textrm{ln}(4-3p)+ 2(p-2)\textrm{ln}(2-p)+p\textrm{ln}p]\), which reaches its minimum value 0 when \(p=1\), and reaches its maximum value \(\textrm{ln2}\) when \(p=0\). When \(\alpha =\frac{1}{2}\), we have \( C _{\frac{1}{2},1}(\phi _{D})=1-\frac{\sqrt{p(4-3p)}+p}{2}\). Its minimum value 0 is attained when \(p=1\), and its maximum value of 1 is attained when \(p=0\). It can be found that \( C _{\alpha ,1}(\phi _{D})\ge \widetilde{ C }_{\alpha ,z}(\phi _{D})\) when \(\alpha \in (0,1)\cup (1,2]\), \(0\le p\le 1\).
Example 3
Consider the amplitude damping channel \(\phi _{\textrm{AD}}{(\rho )}={ \sum \limits _{n=1}^{2}K_{n}\rho K_{n}^{\dagger }}\) with the Kraus operators
It follows from Eq. (8) that
Similarly, \(\widetilde{ C }_{\alpha ,z}\left( \phi _{\textrm{AD}}\right) \equiv 0\) regardless of the values of \(\alpha \) and z.
In Fig. 3, we plot the surfaces of \(\widetilde{ C }_{\alpha ,z}(\phi _{\textrm{AD}})\) and \( C _{\alpha ,1}(\phi _{\textrm{AD}})\) in Eqs. (10) and (15). It is found that \(\lim \limits _{\alpha \rightarrow 1} C _{\alpha ,1}(\phi _{\textrm{AD}}) =\frac{1}{2}[(p-1)\textrm{ln}(1-p)-(p-2)\textrm{ln}(2-p)]\). \(\lim \limits _{\alpha \rightarrow 1} C _{\alpha ,1}(\phi _{\textrm{AD}})\) reaches its minimum value 0 when \(p=1\). \(\lim \limits _{\alpha \rightarrow 1} C _{\alpha ,1}(\phi _{\textrm{AD}})\) reaches its maximum value \(\textrm{ln2}\) when \(p=0\). When \(\alpha =\frac{1}{2}\), we have \( C _{\frac{1}{2},1}(\phi _{\textrm{AD}})=\frac{2p-2}{p-2}\). Its minimum value 0 is obtained when \(p=1\) and its maximum value 1 is obtained when \(p=0\). It can be shown that \( C _{\alpha ,1}(\phi _{\textrm{AD}}) \ge \widetilde{ C }_{\alpha ,z}(\phi _{\textrm{AD}})\) when \(\alpha \in (0,1)\cup (1,2]\), \(0\le p\le 1\).
Example 4
Consider the isotropic channel \(\phi _{\Lambda }\) for \(t\in [\frac{-1}{d^{2}-1},1]\) [53]
where U is an unitary operation, \(\mathbb {I}_d\) is \(d\times d\) identity matrix, and d is the dimension of the Hilbert space. In particular, taking \(U=H\), where \(H=\frac{1}{\sqrt{2}}\left( \begin{array}{cc} 1 &{} 1\\ 1 &{} -1\\ \end{array}\right) \) is the Hadamard gate, we have
where \(\mathbb {I}_2\) is \(2\times 2\) identity matrix, and
By Eq. (8), it can be easily deduced that
According to Eq. (18), we obtain
Set \(\alpha =\frac{1}{2}\) and \(z=1\). Then,
where
The above inequalities hold due to the facts that \(0\le \vert {a}\vert ^{2}\vert {b}\vert ^{2}\le \frac{1}{4}\) and \(( \vert {a}\vert ^{2}-\vert {b}\vert ^{2})^{2}=1-4\vert {a}\vert ^{2}\vert {b}\vert ^{2}\). It follows from item (i) that \(\widetilde{ C }_{\frac{1}{2},1}(\phi _{\Lambda }^{H})\le 1-\sqrt{1-t^{2}}\). Meanwhile, for the classical pure state \(|0\rangle \) or \(|1\rangle \), the maximum value of \(D_{\frac{1}{2},1}(\Delta \circ \phi _{\Lambda }^{H}(\rho ),\phi _{\Lambda }^{H}\circ \Delta (\rho ))\) can be obtained directly. It is easy to see that
Thus, we get
According to the above results, it is found that \(\widetilde{ C }_{\alpha ,z}(\phi _{\Lambda }^{H})\) is not an incoherent channel when \(\alpha =\frac{1}{2}\) and \(z=1\).
Setting \(t=1\) in Eq. (17), \(\phi _{\Lambda }^H\) becomes the unitary channel \(\phi _{H}\) induced by the Hadamard gate H. Then, it follows from Eq. (18) that
According to Eq. (22), we obtain that \(\lim \limits _{\alpha \rightarrow 1} C _{\alpha ,1}(\phi _{H})=\textrm{ln4}\) and \( C _{\frac{1}{2},1}(\phi _{H})=\frac{3}{2}\). From the deduction of \(\widetilde{ C }_{\frac{1}{2},1}(\phi _{\Lambda }^H)\), we can also infer that \(\widetilde{ C }_{\frac{1}{2},1}(\phi _{H})=1\) by letting \(t=1\).
It can be seen that \( C _{\frac{1}{2},1}(\phi _{\Lambda }^H)\ge \widetilde{ C }_{\frac{1}{2},1}(\phi _{\Lambda }^H)\) holds when \(-\frac{1}{3}\le t\le 1\). And as a special case of \(t=1\), we get \( C _{\frac{1}{2},1}(\phi _{H})\ge \widetilde{ C }_{\frac{1}{2},1}(\phi _{H})\). In Fig. 4, we plot the values of \( C _{\frac{1}{2},1}(\phi _{\Lambda }^H)\) and \( \widetilde{ C }_{\frac{1}{2},1}(\phi _{\Lambda }^H)\) in Eqs. (20) and (21).
Example 5
Consider the unitary channels \(\phi _{S}\) and \(\phi _{T}\) induced by the phase gate S and \(\frac{\pi }{8}\) gate T, i.e., \(\phi _{S}(\rho )=S \rho S^{\dagger }\) and \(\phi _{T}(\rho )=T \rho T ^{\dagger }\), where
By Eq. (8), we have \( C _{\alpha ,1}(\phi _{S})= C _{\alpha ,1}(\phi _{T})=\frac{2^{1-\frac{1}{\alpha }}-1}{\alpha -1}\). It is obvious that \(\lim \limits _{\alpha \rightarrow 1} C _{\alpha ,1}(\phi _{S}) =\lim \limits _{\alpha \rightarrow 1} C _{\alpha ,1}(\phi _{T})= \textrm{ln2}\), and \( C _{\frac{1}{2},1}(\phi _{S})= C _{\frac{1}{2},1}(\phi _{T})=1\). By Eq. (10), we obtain \(\widetilde{ C }_{\alpha ,z}(\phi _{S})= \widetilde{ C }_{\alpha ,z}(\phi _{T})=0\). Note that the two quantifiers of the coherence \( C _{\alpha ,1}(\cdot )\) and \(\widetilde{ C }_{\alpha ,1}(\cdot )\) for the quantum channels induced by S and T are the same.
From Examples 4 and 5, it can be seen that \( C _{\frac{1}{2},1}(\phi )> \widetilde{ C }_{\frac{1}{2},1}(\phi )\), where \(\phi \) is the unitary channel induced by H, S or T.
The above results are based on the channels of single qubits. We now turn to discuss the channels of entangled qubits. The corresponding Choi–Jamiołkowski states for the channels of entangled qubits are too complicated to be calculated for general two-qubit unitaries. For simplicity, we take \(S\otimes S\) and \(T\otimes T\).
Example 6
Consider the unitary channels \(\phi _{S\otimes S}\) and \(\phi _{T\otimes T}\) induced by \(S\otimes S\) and \(T\otimes T\), i.e., \(\phi _{S\otimes S}(\rho _{\textrm{AB}})=(S\otimes S) \rho _{\textrm{AB}} (S\otimes S)^{\dagger }\) and \(\phi _{T\otimes T}(\rho _{\textrm{AB}})=(T\otimes T) \rho _{\textrm{AB}} (T \otimes T)^{\dagger }\), where S is the phase gate and T is the \(\frac{\pi }{8}\) gate defined in Example 5.
By Eq. (8), it follows that
It is obvious that \(\lim \limits _{\alpha \rightarrow 1} C _{\alpha ,1}(\phi _{S\otimes S}) =\lim \limits _{\alpha \rightarrow 1} C _{\alpha ,1}(\phi _{T\otimes T})= \textrm{ln4}\), and \( C _{\frac{1}{2},1}(\phi _{S\otimes S})= C _{\frac{1}{2},1}(\phi _{T\otimes T})=\frac{3}{2}\). On the other hand, by using Eq. (10) we obtain \( \widetilde{ C }_{\alpha ,z}(\phi _{S\otimes S})= \widetilde{ C }_{\alpha ,z}(\phi _{T\otimes T})=0\).
It can be found from Table 1 that under the three quantum channels \(\phi _{\textrm{PF}}\), \(\phi _{D}\) and \(\phi _{\textrm{AD}}\), for either \(\alpha \rightarrow 1\) or \(\alpha =\frac{1}{2}\), \( C _{\alpha ,1}(\phi )\ge \widetilde{ C }_{\alpha ,1}(\phi )\) and \( C _{\alpha ,1}(\phi )\) reaches the maximum value when \(p=0\). The minimum values 0 are attained at the same p for each quantum channel \(\phi _{\textrm{PF}}\), \(\phi _{D}\) and \(\phi _{\textrm{AD}}\). The coherence of \(\phi _{\textrm{PF}}\), \(\phi _{D}\) and \(\phi _{\textrm{AD}}\) have the same maximum values \(\textrm{ln2}\) when \(\alpha \rightarrow 1\), and the same maximum values 1 when \(\alpha =\frac{1}{2}\).
5 Conclusion
Utilizing the coherence measure of quantum states induced by the generalized \(\alpha \)-z-relative Rényi entropy, we have studied the quantifications of the coherence of quantum channels by using two different approaches. Following the idea in [45], we have introduced a coherence measure of quantum channels by utilizing the Choi–Jamiołkowski isomorphism. We have also verified that \( C _{\alpha ,z}\left( \phi \right) \) defined in Eq. (7) is a well-defined coherence measure. On the other hand, inspired by the idea in [52], we have presented an alternative coherence measure by quantifying the commutativity between the channels and the completely dephasing channels with the generalized \(\alpha \)-z-relative Rényi entropy. The extremal property, monotonicity and convexity of \(\widetilde{ C }_{\alpha ,z}\left( \phi \right) \) defined in Eq. (10) have been explored in detail.
Furthermore, the coherence measures defined in Eqs. (8) and (10) have been calculated for some typical channels, respectively. Analytical formulas of \( C _{\alpha ,1}(\phi )\) defined in Eq. (8) for the phase flip channel, depolarizing channel and amplitude damping channel have been derived and analyzed for the case of \(\alpha \rightarrow 1\) and \(\alpha =\frac{1}{2}\). According to Eq. (10), it can be found that \(\phi _{\textrm{PF}}\), \(\phi _{D}\) and \(\phi _{\textrm{AD}}\) are all incoherent channels. A table has been presented to compare different values of coherence measures for \(\phi _{\textrm{PF}}\), \(\phi _{D}\) and \(\phi _{\textrm{AD}}\). In addition, we have also considered the unitary channels induced by three quantum gates. The coherence measures defined in Eqs. (8) and (10) for isotropic channels \(\phi _{\Lambda }^H\) with \(t\in [-\frac{1}{3},1]\) induced by Hadamard gate have been derived. The quantifiers defined in Eqs. (8) and (10) for unitary channel \(\phi _{H}\) induced by Hadamard gate have been deduced as a special case when \(t=1\). The unitary channels induced by S gate and T gate are all incoherent channels according to Eq. (10), and they have the same expressions of \( C _{\alpha ,1}(\phi )\) as Eq. (8). Finally, we have calculated the coherence of quantum channels induced by \(S\otimes S\) and \(T\otimes T\) for entangled qubits, and presented the analytical formulae of the coherence measures.
Detailed examples and numerical results show that \( C _{\alpha ,1}(\phi )\ge \widetilde{ C }_{\alpha ,1}(\phi )\) for specific quantum channels \(\phi \), so we conjecture that \( C _{\alpha ,1}(\phi )\ge \widetilde{ C }_{\alpha ,1}(\phi )\) holds for any quantum channel, while a rigorous proof is missing. Our results may shed some new light on the exploration of quantification of coherence for quantum channels. The regime of coherence quantifiers on the level of quantum channels needs further study in the future.
Data availability
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Baumgratz, T., Cramer, M., Plenio, M.B.: Quantifying coherence. Phys. Rev. Lett. 113, 140401 (2014)
Bu, K., Anand, N., Singh, U.: Asymmetry and coherence weight of quantum states. Phys. Rev. A 97, 032342 (2018)
Yu, C.: Quantum coherence via skew information and its polygamy. Phys. Rev. A 95, 042337 (2017)
Uhlmann, A.: The “transition probability’’ in the state space of a *-algebra. Rep. Math. Phys. 9, 273 (1976)
Liu, C., Zhang, D., Yu, X., Ding, Q., Liu, L.: A new coherence measure based on fidelity. Quantum Inf. Process. 16, 198 (2017)
Zhu, X., Jin, Z., Fei, S.-M.: Quantifying quantum coherence based on the generalized \(\alpha \)-z-relative Rényi entropy. Quantum Inf. Process. 18, 179 (2019)
Wu, Z., Zhang, L., Fei, S.-M., Li-Jost, X.: Coherence and complementarity based on modified generalized skew information. Quantum Inf. Process. 19, 154 (2020)
Streitsov, A., Singh, U., Dhar, H., Brea, M., Adesso, G.: Measuring quantum coherence with entanglement. Phys. Rev. Lett. 115, 020403 (2015)
Zhu, H., Hayashi, M., Chen, L.: Coherence and entanglement measures based on Rényi relative entropies. J. Phys. A: Math. Theor. 50, 475303 (2017)
Datta, N.: Min- and max-relative entropies and a new entanglement monotone. IEEE Trans. Inf. Theory. 55, 2816 (2009)
Datta, N.: Max-relative entropy of entanglement, alias log robustness. Int. J. Quantum Inf. 07, 475 (2009)
Napoli, C., Bromley, T.R., Cianciaruso, M., Pinai, M., Johnston, N., Adesso, G.: Robustness of coherence: an operational and observable measure of quantum coherence. Phys. Rev. Lett. 116, 150502 (2016)
Åberg, J.: Catalytic coherence. Phys. Rev. Lett. 113, 150402 (2014)
Plenio, M.B., Huelga, S.F.: Dephasing-assisted transport: quantum networks and biomolecules. New J. Phys. 10, 113019 (2008)
Lloyd, S.: Quantum coherence in biological systems. J. Phys.: Conf. Ser. 302, 012037 (2011)
Levi, F., Mintert, F.: A quantitative theory of coherent delocalization. New J. Phys. 16, 033007 (2014)
Ollivier, H., Zurek, W.H.: Quantum discord: a measure of the quantumness of correlations. Phys. Rev. Lett. 88, 017901 (2001)
Henderson, L., Vedral, V.: Classical, quantum and total correlations. J. Phys. A: Math. Gen. 34, 6899 (2001)
Piani, M., Gharibian, S., Adesso, G., Calsamiglia, J., Horodecki, P., Winter, A.: All nonclassical correlations can be activated into distillable entanglement. Phys. Rev. Lett. 106, 220403 (2011)
Modi, K., Brodutch, A., Cable, H., Paterek, T., Vedral, V.: The classical-quantum boundary for correlations: discord and related measures. Rev. Mod. Phys. 84, 1655 (2012)
Yadin, B., Ma, J., Girolami, D., Gu, M., Vedral, V.: Quantum processes which do not use coherence. Phys. Rev. X 6, 041028 (2016)
Bai, Z., Du, S.: Maximally coherent states. Quantum Inf. Comput. 15, 1355 (2015)
Luo, S.: Quantum versus classical uncertainty. Theor. Math. Phys. 143, 681 (2005)
Monras, A., Chȩcińska, A., Ekert, A.: Witnessing quantum coherence in the presence of noise. New J. Phys. 16, 063041 (2014)
Yu, X., Zhang, D., Xu, G., Tong, D.: Alternative framework for quantifying coherence. Phys. Rev. A 94, 060302 (2016)
Nielson, M.A., Chuang, I.L.: Quantum Computation and Quantum Information (10th Anniversary Edition). Cambridge University Press, Cambridge (2010)
Braun, D., Giraud, O., Nechita, I., Pellegrini, C., Žnidarič, M.: A universal set of qubit quantum channels. J. Phys. A: Math. Theor. 47, 135302 (2014)
Dana, K.B., Díaz, M.G., Mejatty, M., Winter, A.: Resource theory of coherence: beyond states. Phys. Rev. A 95, 062327 (2017)
Bu, K., Kumar, A., Zhang, L., Wu, J.: Cohering power of quantum operations. Phys. Lett. A 381, 1670 (2017)
Zanardi, P., Styliaris, G., Venuti, L.: Measures of coherence-generating power for quantum unital operations. Phys. Rev. A 95, 052307 (2017)
Theurer, T., Egloff, D., Zhang, L., Plenio, M.B.: Quantifying operations with an application to coherence. Phys. Rev. Lett. 122, 190405 (2019)
Wu, Z., Zhang, L., Fei, S.-M., Wang, J.: Skew information-based coherence generating power of quantum channels. Quantum Inf. Process. 21, 236 (2022)
Xu, C., Wu, Z., Fei, S.-M.: Sum uncertainty relations based on (\(\alpha,\beta,\gamma \)) weighted Wigner-Yanase-Dyson skew information. Int. J. Theor. Phys. 61, 185 (2022)
Luo, S., Sun, Y.: Coherence and complementarity in state-channel interaction. Phys. Rev. A 98, 012113 (2018)
Xu, C., Wu, Z., Fei, S.-M.: Tighter uncertainty relations based on \((\alpha ,\beta ,\gamma )\) modified weighted Wigner-Yanase-Dyson skew information of quantum channels. Laser Phys. Lett. 19, 105206 (2022)
Xu, C., Wu, Z., Fei, S.-M.: Uncertainty of quantum channels via modified generalized variance and modified generalized Wigner-Yanase-Dyson skew information. Quantum Inf. Process. 21, 292 (2022)
Hu, X.: Channels that do not generate coherence. Phys. Rev. A 94, 012326 (2016)
Korzekwa, K., Czachórski, S., Puchała, Z., Życzkowski, K.: Coherifying quantum channels. New J. Phys. 20, 043028 (2018)
Liu, Y., Yuan, X.: Operational resource theory of quantum channels. Phys. Rev. Res. 2, 012035 (2020)
Chitambar, E., Gour, G.: Comparison of incoherent operations and measures of coherence. Phys. Rev. A 94, 052336 (2016)
Saxena, G., Chitambar, E., Gour, G.: Dynamical resource theory of quantum coherence. Phys. Rev. Res. 2, 023298 (2020)
Zurek, W.H.: Decoherence, einselection, and the quantum origins of the classical. Rev. Mod. Phys. 75, 715 (2003)
Vedral, V.: The role of relative entropy in quantum information theory. Rev. Mod. Phys. 74, 197 (2002)
Datta, C., Sazim, S., Pati, A.K., Agrawal, P.: Coherence of quantum channels. Ann. Phys. 397, 243 (2018)
Xu, J.: Coherence of quantum channels. Phys. Rev. A 100, 052311 (2019)
Jin, Z., Yang, L., Fei, S.-M.: Maximum relative entropy of coherence for quantum channels. Sci. China Phys. Mech. Astron. 64, 280311 (2021)
Wang, X., Gao, T., Yan, F.: On coherence of quantum operations by using Choi–Jamiołkowski isomorphism. Laser Phys. Lett. 19, 035206 (2022)
Xuan, D., Hu, X., Nan, H.: Quantum coherence via skew information for quantum channels. Quantum Inf. Process. 22, 48 (2023)
Luo, Y., Ye, M., Li, Y.: Coherence weight of quantum channels. Phys. A 599, 127510 (2022)
Kong, S., Wu, Y., Lv, Q., Wang, Z., Fei, S.-M.: An alternative framework for quantifying coherence of quantum channels. Int. Theor. J. Phys. 61, 113 (2022)
Meznaric, S., Clark, S.R., Datta, D.: Quantifying the nonclassicality of operations. Phys. Rev. Lett. 110, 070502 (2013)
Fan, Y., Guo, X., Yang, X.: Quantifying coherence of quantum channels via trace distance. Quantum Inf. Process. 21, 339 (2022)
Li, N., Luo, S.: Monotonicity of quantumness of ensembles under commutativity-preserving channels. Phys. Rev. A 99, 052114 (2019)
Acknowledgements
The authors would like to thank the anonymous referees for their valuable suggestions which greatly improved this paper. This work was supported by National Natural Science Foundation of China (Grant Nos. 12161056, 12075159, 12171044) and Natural Science Foundation of Jiangxi Province of China (Grant No. 20232ACB211003); the Academician Innovation Platform of Hainan Province.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Calculation of \( C _{\alpha ,1}(\phi _{\textrm{PF}})\)
According to the Kraus operators of \(\phi _{\textrm{PF}}\) given in Example 1, we have
where \(\mathbb {I}_2\) denotes the \(2\times 2\) identity matrix. Furthermore, we have
Based on \( M _{\phi _{\textrm{PF}}}^{\alpha }\), we get \( C _{\alpha ,1}(\phi _{\textrm{PF}})\) in Eq. (13) from Eq. (8).
Appendix B. Calculation of \( C _{\alpha ,1}(\phi _{D})\)
Direct calculation shows that
where \(\mathbb {I}_2\) denotes the \(2\times 2\) identity matrix. Then,
from which we get \( C _{\alpha ,1}(\phi _{D})\) in Eq. (14) by using Eq. (8).
Appendix C. Calculation of \( C _{\alpha ,1}(\phi _{\textrm{AD}})\)
According to the Kraus operators of \(\phi _{\textrm{AD}}\) given in Example 3, we have
Then,
Utilizing \( M _{\phi _{\textrm{AD}}}^{\alpha }\), we derive the formulas of \( C _{\alpha ,1}(\phi _{\textrm{AD}})\) in Eq. (15) via Eq. (8).
Appendix D. Calculation of \( C _{\alpha ,1} (\phi _{\Lambda }^{H})\)
Noting that
where \(\mathbb {I}_2\) denotes the \(2\times 2\) identity matrix, we have
Making use of \( M _{\phi _{\Lambda }^{H}}^{\alpha }\), the quantity \( C _{\alpha ,1}(\phi _{\Lambda }^{H})\) in Eq. (18) follows immediately from Eq. (8).
Appendix E. Calculations of \( C _{\alpha ,1}(\phi _{S\otimes S})\) and \( C _{\alpha ,1}(\phi _{T\otimes T})\)
Direct calculation shows that
and
where \(\mathbb {I}_4\) denotes the \(4\times 4\) identity matrix. Then,
and
By Eq. (8), we can thus deduce \( C _{\alpha ,1}(\phi _{S\otimes S})\) and \( C _{\alpha ,1}(\phi _{T\otimes T})\) in Eq. (23) based on \( M _{\phi _{S\otimes S}}^{\alpha }\) and \( M _{\phi _{T\otimes T}}^{\alpha }\).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Fan, J., Wu, Z. & Fei, SM. Quantifying coherence of quantum channels based on the generalized \(\varvec{\alpha }\)-\(\varvec{z}\)-relative Rényi entropy. Quantum Inf Process 23, 100 (2024). https://doi.org/10.1007/s11128-024-04309-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-024-04309-w