1. Introduction
Quantum resource theory originally comes from the resource theory of quantum entanglement [
1,
2,
3,
4,
5,
6]. With the further evolution of quantum information, it has been gradually extended to other quantum resource theories such as coherence [
7,
8,
9,
10,
11], asymmetry [
12,
13], reference frames [
14,
15], thermodynamics [
16,
17] and so on. In this paper, we focus on the resource theory of quantum coherence. Quantum coherence is not only a basic concept in quantum mechanics but also an important physical resource. It plays an important role in quantum information processing [
18,
19,
20], quantum biology [
21,
22], quantum thermodynamics, quantum cryptography [
23,
24,
25,
26] and quantum measurement [
27,
28]. Therefore, it is necessary to study the resource theory of quantum coherence.
The resource theory of quantum coherence was first proposed by Baumgratz et al., and they established a rigorous framework of quantifying coherence [
29]. In the resource theory of quantum coherence, due to the interaction with the environment, the decoherence phenomenon occurs. Singh et al. proved that quantum chaos and diminishing of information about the mixed initial state favors the generation of quantum coherence through unitary evolution [
30]. Kurashvili et al. proved that nonunitary evolution leads to the generation of quantum coherence in some cases [
31]. From another point of view, according to the golden rule of quantum resource theory, the coherence of the state does not increase under free operations. Therefore, in this paper, we study the partial recovery of coherence loss in state transformations under free operations. So far, the state transformation problem for two pure coherent states has been studied extensively, Du et al. proposed the sufficient and necessary condition for the transformation from a pure coherent state to another pure coherent state under incoherent operations [
32]. Thus, we can determine whether the above state transformation can be realized. Suppose the above state transformation can be realized; it follows that the coherence of the state does not increase under incoherent operations: that is, the coherence loss in the state transformation is inevitable. For this case, Xing proposed a recovery scheme that adds an auxiliary system to the original system such that the coherence loss can be partially recovered in pure state transformations [
33]. The process of adding auxiliary systems to the original system and performing a joint incoherent operation on the two systems is called coherence-assisted transformation. When the coherence of the auxiliary coherent state increases, the whole process recovers from coherence loss. However, due to the existence of noise, most states are mixed states in practice. Therefore, in this article, we discuss the recovery of coherence loss from a pure state to a mixed state.
In this paper, we discuss coherence-assisted transformation under incoherent operations. For comparable main coherent states, i.e., a pure state that can be transformed to a mixed state under incoherent operations, we show that the coherence loss can be partially recovered by adding auxiliary coherent states. First, we consider the simplest coherence-assisted transformation, i.e., both the main coherent states and auxiliary coherent states are qubit states. We give the sufficient and necessary condition for the coherence loss that can be partially recovered in a coherence-assisted transformation. Thus, we can find all of the auxiliary coherent states that satisfy the above conditions. Moreover, for given main coherent states satisfying the condition in Proposition 1, we give the concrete auxiliary coherent state that can obtain the maximum of the recovery of coherence loss. Second, as a direct application of the above recovery scheme, we give the full characterization of obtaining a maximally coherent state in a qubit system. Finally, we show that if the arbitrary finite-dimensional main coherent states satisfy a strictly majorization relation, there exist two-dimensional auxiliary coherent states that can realize the above recovery scheme.
The paper is organized as follows. In
Section 2, we introduce the preliminary knowledge of quantum coherence, including incoherent states, incoherent operations, the relative entropy of coherence and the necessary and sufficient condition for the transformation from a pure coherent state to a mixed coherent state under incoherent operations. In
Section 3, we discuss the coherence-assisted transformation for qubit states and obtain some interesting conclusions. In
Section 4, we give the full characterization for obtaining a two-dimensional maximally coherent state in the above recovery scheme. In
Section 5, we show that the recovery for arbitrary finite-dimensional main coherent states and low-dimensional auxiliary coherent states is always possible.
2. Preliminary
In the resource theory of quantum coherence, we first need to understand incoherent states and incoherent operations [
29]. Let
be a fixed orthonormal basis in d-dimensional Hilbert space; if the density matrix is diagonal in the basis, then the diagonal density matrix is called an incoherent state. The set of all incoherent states is denoted by
I for any
, which can be written as
. Otherwise, it is called a coherent state. Incoherent operations (IOs) are defined as the set of completely positive and trace-preserving maps for which the Kraus operators
take incoherent states to incoherent states, i.e.,
for all
, where
.
In order to quantify the coherence of a quantum state, we need to choose a proper coherence measure. A proper coherence measure needs to satisfy four conditions [
29], and one of the conditions is monotonicity, i.e., the coherence of the quantum state does not increase under incoherent operations. Here, we adopt the relative entropy of coherence to explain the corresponding results because it is easy to calculate. Notice that the results in the paper are also equally applicable to other proper coherence measures. The relative entropy of coherence is equal to the distillable coherence [
34] and can be interpreted as the minimal amount of noise required for fully decohering a state [
35]; it is defined as
, where
is the von Neumann entropy of the quantum state, and
is the diagonal part of
. If the non-zero eigenvalues of
are
,
, the von Neumann entropy of the quantum state can be written as
. Moreover, the coherence measure of the pure state is easy to calculate. Notice that if
is a pure state,
.
In this paper, for any pure coherent states and , without loss of generality, the squared coefficients , are real numbers and are arranged in non-increasing order, i.e., and . Let , ; we say is majorized by , i.e., , if for all and .
So far, state transformations under incoherent operations have been studied extensively, Du et al. give the sufficient and necessary condition for the transformation from a pure coherent state to another pure coherent state under incoherent operations.
Lemma 1 ([
32])
. For any two pure coherent states and , if and only if . Furthermore, Du et al. also give the sufficient and necessary condition for the transformation from a pure state to a mixed state under incoherent operations. Here, we state the following result by majorization relation.
Lemma 2 ([
36])
. For any pure state and mixed state σ, if and only if there exists a pure state ensemble of σ such that . By Lemma 2, we can judge whether a pure state can be transformed to a given mixed state by majorization relation. For example, let , where The above states satisfy the majorization relation , i.e., , so we can obtain
3. Coherence-Assisted Transformation for Qubit States
In this part, we show that the coherence loss from a pure state to a mixed state can be partially recovered in coherence-assisted transformation. Coherence-assisted transformation [
33] is the process of adding an auxiliary system to the ordinary coherence transformation. More specifically, during the state transformation for comparable main coherent states, we add auxiliary coherent states such that the whole transformation can still be realized under joint incoherent operations. Here, the initial and final auxiliary coherent states are different; such a transformation is called a coherence-assisted transformation. In a coherence-assisted transformation, when the coherence of the auxiliary coherent state increases, the coherence loss can be partially recovered. The following is a detailed description of the recovery scheme.
Suppose a pure coherent state can be transformed to a mixed coherent state under incoherent operations, i.e., . We add a pure auxiliary coherent state and perform a joint incoherent operation on the two particles and such that the coherence-assisted transformation can still be realized, where . Then, the coherence loss can be partially recovered, and the recovered coherence loss is .
We can see that the coherence of the auxiliary coherent state is increased—that is, the reduced coherence of the initial main coherent state can be partially transformed to the final auxiliary coherent state—then, the coherence loss can be partially recovered, and the recovered coherence loss is
. This is due to the fact that the relative entropy of coherence satisfies additivity, i.e,
[
34].
The core of the coherence-assisted transformation
is that we need to perform joint incoherent operations. In the following, we give the specific incoherent operations that are implemented. For the main coherent states
and
of dimension
, auxiliary coherent states
and
of dimension
, where
. According to Lemma 2, we can obtain
; the proof of the result is similar to that found in the literature [
36]. First, according to the majorization relation satisfied on the right, we define an intermediate pure state
then, there exists an incoherent operation
such that
. Next, for any
, define
It is easy to check that the map
is an incoherent operation, and we have
Last, it is obvious that the composition of any two incoherent operations is still an incoherent operation, so
is an incoherent operation, and
Let us give a concrete example: the following example makes this phenomenon of partial recovery of coherence loss in a coherence-assisted transformation more intuitive.
Example 1. Consider the states with the following formwhere It is easy to see that the squared coefficients of the above states satisfy the majorization relation , i.e., , so we can obtain . At the same time, there exist auxiliary coherent states that satisfy majorization relation i.e., , so we can obtain and . Then, the recovered coherence loss is . In above coherence-assisted transformation, let
be a given auxiliary coherent state; we can see that the choice of auxiliary coherent state
is not unique. As in Example 1, there exists another auxiliary coherent state
such that
and
. A natural question is how to find all auxiliary coherent states
, i.e., for given states
that satisfy
, what kind of
can realize the coherence-assisted transformation
and
. Let us start with the simplest case, in which the main coherent states and the auxiliary coherent states are both qubit states
. Let
be a pure state decomposition of
; notice that we only consider mixed state
of rank-2 in this part. Then, the main coherent states
and
have the following pure state decomposition
Here the squared coefficients are arranged in non-increasing order, which mean
,
and
. In order to give our main result, we first give the following lemma.
Lemma 3 ([
37])
. Suppose ; sort the elements in B in decreasing order and denote its elements by ; then, if and only ifand equality holds when .
Proposition 1. Suppose ; there exist auxiliary coherent states , such that and , if and only if and
- (1)
when
- (2)
when ,
where .
Proof. The condition
means
The condition
is equivalent to
Because
is equivalent to
in a qubit system, the equality holds only when
. By Lemma 2, the proof of the proposition can be reduced to finding the conditions that satisfy majorization relation
and Equation (
3) with assumption (2).
First, we can obtain the squared coefficients of
,
and
:
In order to find the three inequalities that satisfy the majorization relation
—notice that the fourth equality is trivial—we need to sort the elements in Equation (
4) in decreasing order and denote its elements by
and
. It is obvious that
.
Second, we can obtain the first and third inequalities of the majorization relation
and
Third, we need to determine the next-largest element of
in Equation (
4). If
, we have
; if
, we have
,
. Then, the following four cases can determine the second- and the third-largest elements in
: (i)
, (ii)
, (iii)
and (iv)
. After finding all the possibilities for
and
, we can calculate
and
for all
.
Finally, we still need to calculate
to obtain the second inequality of the majorization relation. In Equation (
4),
or
; by Lemma 3, we have
. Based on the above results, we can obtain the second inequality of the majorization relation.
(i)
: We have
,
, then
. This case contradicts Equation (
3).
(ii)
: We have
; then
. The condition
is implied in Equation (
2). In this case we have
(iii)
: We have
; then
. So
Since
, we have
. At the same time, we have
. Otherwise
; this is in contradiction with the above second inequality
. Combining the two conditions
and
, we can divide the system into two parts:
and
. Similarly, for
, we have
; for
, we have
. This means that the above inequality can be simplified. In this case, we have
(iv)
: We have
; then
. So
Same as in case (iii), in this case we have
Combining Equations (7)–(9), we obtain the second inequality of majorization relation
To sum up, combining Equations (3), (5), (6) and (10), we can obtain
When
, it follows that
. When
, it follows that
and
. So we obtain
Thus, the proof of the proposition is completed. □
Notice that the condition of Proposition 1 is crucial in the recovery scheme. The condition indicates that if we want to recover the coherence loss in the above state transformation, the initial auxiliary coherent state must have enough coherence.
Proposition 1 tells us that the partial recovery of coherence loss in qubit state transformation is always possible by choosing appropriate qubit auxiliary coherent states. At the same time, Proposition 1 is constructive: it provides us a way to find all auxiliary coherent states in the above recovery scheme. Here, we give a specific example to explain the effectiveness of the above proposition. As in Example 1, let where ; by Lemma 2, we can obtain . Let the auxiliary coherent state ; we have ; according to Proposition 1, , so we find all auxiliary coherent states such that and , where .
For given states
that satisfy
we find all auxiliary coherent states
that can recover the coherence loss in a qubit system. We ask what kind of
can maximize the recovery of coherence loss. Since
is a given state, we have that
is a fixed constant and denote it by m, so
, where
is a decreasing function in
. That is, in order to obtain the maximum recovery of coherence loss, we only need to find the smallest d among all the possibilities of
. As in Example 1, we obtain
; when we choose the final auxiliary coherent state as
, we can obtain the maximum recovery of coherence loss
. Now we ask what happens if
is not a given state, i.e., for given states
that satisfy
, we ask what kind of
and
can maximize the recovery of coherence loss. We discuss the problem in the following examples. As in Example 1, let
where
; by Lemma 2, we can obtain
. According to Proposition 1, we can obtain all the possible auxiliary coherent states
and
: (1)
, (2)
, (3)
and (4)
. In
Figure 1, we can see that at
, the recovery of coherence loss is largest, and
.
Example 2. Let where ; by Lemma 2, we can obtain . According to Proposition 1, we can obtain all the possible auxiliary coherent states and : (1) , (2) and (3) . In Figure 2, we can see that at , the recovery of coherence loss is largest, and . Example 3. Let where ; by Lemma 2, we can obtain . According to Proposition 1, we can obtain all the possible auxiliary coherent states and : (1) , (2) , (3) and (4) . In Figure 3, we can see that at , the recovery of coherence loss is largest, and . 4. The Obtainment of Maximally Coherent State
A direct application of the above recovery scheme in a qubit system is that we can obtain the maximally coherent state under joint incoherent operations, i.e., , where is a two-dimensional maximally coherent state. Examples include such main coherent states , , where The above states satisfy the majorization relation , i.e., , so we can obtain . At the same time, there exists auxiliary coherent state such that i.e., then, we can obtain . A natural problem is how to obtain the maximally coherent state. We give a full characterization of obtaining the maximally coherent state in a qubit system in the following proposition.
Proposition 2. For given main coherent states and , where , , suppose ; there exists an auxiliary coherent state such that if and only if and , where .
Proof. The condition
means
By Lemma 2, the proof of the proposition can be reduced to finding the condition that satisfies majorization relation
with assumption (11).
First, we can obtain the squared coefficients of
Notice that for
, there only exist two different elements
and
, where
,
. For convenience, we denote the non-increasing coefficients of
by
. Similarly, we need to sort the elements in A in decreasing order and denote its elements by
. It is obvious that
.
Second, we can obtain the first and third inequalities of the majorization relation
and
Finally, we still need to calculate
to obtain the second inequality of the majorization relation. In Equation (
12),
or
; by Lemma 3, we have
. Then the second inequality of the majorization relation can be written as
The condition
is implied in Equation (
11). In this case, we have
To sum up, combining Equations (13)–(15) and
, we can obtain
Notice that
; we have
and
. So the above inequality can be simplified as
Thus, the proof of the proposition is completed. □
The above proposition gives us a new way to obtain the maximally coherent state. For the transformation , as long as the parameter c of the auxiliary coherent state satisfies , we can prepare the maximally coherent state under joint incoherent operations.
5. Coherence-Assisted Transformation for Arbitrary Finite-Dimensional Main Coherent States and Low-Dimensional Auxiliary Coherent States
In
Section 3, we obtain that the partial recovery of coherence loss in two-dimensional state transformations is always possible by choosing appropriate two-dimensional auxiliary coherent states. In fact, we can show that the coherence-assisted transformation for arbitrary finite dimensional main coherent states and two-dimensional auxiliary coherent states is always possible, and the coherence loss can be partially recovered simultaneously. Specifically, for given main coherent states
and
that satisfy
, where
, let
; then, the squared coefficients of the above states satisfy the majorization relation
. If all inequalities in above majorization relation are strict, we call it a strict majorization relation and denote it by
. Next, we show that there exist two-dimensional auxiliary coherent states such that the recovery is always possible in this case.
Proposition 3. If , then there exist two-dimensional auxiliary coherent pure states and such that and .
Proof. The condition means . Let be a two-dimensional state with ; then for any , we have . Notice that the selection of p determines the orders of the squared coefficients of and , . Instead, let us start from the perspective of the orders of the squared coefficients. In fact, there is only a finite number of possible individual orders (at most orders) of the squared coefficients of and , . At the same time, there is only a finite number of possible whole orders (at most orders) of the squared coefficients of , . For each of the above (whole) orders, we can obtain a feasible set of p, i.e., the order is valid in the feasible set of p. Each nonempty feasible set is either a discrete point or an interval in . Furthermore, there are an infinite number of and a finite number of the orders of the squared coefficients such that ; then there exists at least one order for which the corresponding feasible set of p is an interval of non-zero length , where .
Based on the above analysis, let p belong to the above nontrivial feasible set F. We are going to show that
for all values of
, except at most
nontrivial values of p. In the majorization relation
, if one of
nontrivial inequalities is an equality, we have
where
,
,
for all
. Equivalently,
Notice that Equation (
17) can be divided into two cases: (i) Equation (
17) determines a value of
p or (ii) Equation (
17) is independent of the value of
p—it does not determine a value of
p. In fact, Case (ii) is impossible because Equation (
17) is independent of the value of
p if and only if
and
. As a result of
, we have
and
, which is in contradiction with the condition
. Therefore, each nontrivial equation in the majorization relation
corresponds to a fixed value of
p. Moreover, there are at most
nontrivial equalities, i.e., there are at most
discrete values of p such that
is not strict. Thus, we show that
for all values of
, except at most
nontrivial values of
p. That is to say, for such values of
p, the majorization relation is strict and the order of the squared coefficients is preserved.
Thus, there exists a and a such that . Let ; it obvious that and . Thus, the proof of the proposition is completed. □
The basic idea involved in the proof is as follows. First, we select a two-dimensional auxiliary coherent state with ; since , then for any we have . Second, we show that the majorization relation is strict for all values of , except at most nontrivial values of p. This allows a perturbation of p to on the right side of the inequalities such that the inequalities are still satisfied after perturbation. It also allows the order of the squared coefficients to be preserved after perturbation. Finally, the above two facts reveal the existence of , i.e., there exists a such that . Let ; it is obvious that and . For example, for the main coherent states where , by Lemma 2, we can obtain . Choosing , then we have . At the same time, we can calculate that for , the order of the squared coefficients is preserved and the above states satisfy the majorization relation . Let ; we can obtain and .
The above proposition shows that if is strictly majorized by , recovery with two-dimensional auxiliary coherent states is always possible. We now ask what happens if is not strictly majorized by . Next, we show that if there exist certain equalities in the majorization relation, the recovery scheme is impossible with the help of two- or three-dimensional auxiliary coherent states.
Proposition 4. If or , then the recovery scheme is not possible with the help of two-dimensional auxiliary coherent states. Furthermore, if and , then the recovery scheme is not possible with the help of three-dimensional auxiliary coherent states.
Proof. (1) When or , suppose there exist two-dimensional auxiliary coherent states and such that and . From , we obtain . From , we have and . Therefore, if , it follows that . This is in contradiction with ; then the hypothesis is not valid. The case for is the same. So the recovery scheme is not possible with the help of two-dimensional auxiliary coherent states.
(2) When and , suppose there exist three-dimensional auxiliary coherent states and such that and . From the condition , we have and . Therefore, if and , it follows that and . So the majorization relation holds; then we can obtain , i.e., . This is in contradiction with ; then the hypothesis is not valid. So the recovery scheme is not possible with the help of three-dimensional auxiliary coherent states. □
Thus, under certain conditions, we show that the recovery for arbitrary finite dimensional main coherent states and two-dimensional auxiliary coherent states is always possible. The above discussion has practical implications because low-dimensional coherent states are easier to prepare in the context of current techniques and tools.
6. Discussion
In this paper, for the transformation from a pure state to a mixed state under incoherent operations, we add auxiliary coherent states such that the transformation can still be realized under joint incoherent operations; such a process is called a ’coherence-assisted transformation’. When the coherence of an auxiliary coherent state increases, the reduced coherence of the initial main coherent state can be partially transformed to the final auxiliary coherent state, so the coherence loss can be partially recovered. We first discuss the coherence-assisted transformation for qubit states and give the sufficient and necessary condition for the partial recovery of coherence loss. The maximum of the recovery of coherence loss is also studied in this case. We also give the sufficient and necessary condition for obtaining the maximally coherent state in a qubit system. If the parameter of the initial auxiliary coherent state satisfies a certain condition, we can obtain a two-dimensional maximally coherent state. Furthermore, the coherence-assisted transformation for qubit states can be extended to the general case, i.e., arbitrary finite-dimensional main coherent states and low-dimensional auxiliary coherent states. In this case, we show that if the main coherent states satisfy a strictly majorization relation, there exist two-dimensional auxiliary coherent states that can realize the above recovery scheme. At the same, there are some open questions: What is the relation between the dimensionality of auxiliary coherent states and the amount of coherence recovery? For the transformation between two mixed states, what is the condition for the partial recovery of coherence loss? We hope that the results presented in this paper contribute to a better understanding of the resource theory of quantum coherence.