transformations of superpositions
by means of incoherent operations
Marcelo Losada
1✉, Gustavo M. Bosyk
1,2, Hector freytes
1& Giuseppe Sergioli
1in this paper we study how the coherence of a superposition of pure states is related with the coherence of its components. We consider two pure initial states and two pure final coherent states, such that the former ones cannot be transformed into the latter ones by means of incoherent transformations. in this situation, we analyze conditions for the existence of superpositions of the initial states that can be transformed into superpositions of the final states. In particular, we consider superpositions formed by quantum states belonging to orthogonal subspaces. By appealing to the majorization theory, we obtain necessary and sufficient conditions for such transformations to be possible. Finally, we provide some examples that illustrate the difference between the obtained conditions and the necessary criterion based on the relative entropy of coherence.
Quantum coherence is a fundamental notion of quantum mechanics, being not just a side result of the super-position principle but arguably one of its most fundamental concepts, with outstanding practical relevance. In fact, quantum coherence has recently been identified as a quantum resource1–3, and it was reformulated using the general framework of quantum resource theories (see, e.g., ref. 3 for a comprehensive review about the different resource theories of quantum coherence and its applications).
In this work, we are interested in deterministic and exact transformations between coherent pure states by means of incoherent operations. An incoherent operation (IO) is defined as a trace preserving map that admits a Kraus representation { }Kn n I∈ (with I a finite index set), such that ∑n I n n∈ K K† = and K Knρ n†/Tr[K Knρ n†]∈ for
all ∈n I and ρ ∈ , where ={ :ρ ρ= ∑mi=−01p i ii|⟩⟨|, with pi≥0 and ∑im=−01pi =1} is the set of incoherent states and |{ }⟩iim=−01 is the incoherent basis1. In this way, incoherent operations map incoherent states into
incoher-ent states. We will use the notation
IO
⟩ ⟩
|Ψ → |Φ to mean that the state |Ψ〉 can be transformed into the state |Φ〉 using an incoherent operation.
It has been shown that the necessary and sufficient conditions for the transformation |Ψ〉 → |Φ〉
IO to be possible
are given by the majorization relation (see refs. 4–7). More specifically, let us consider an m-dimensional Hilbert space with the incoherent basis given by |{ }⟩iim=−01. Let |Ψ = ∑⟩ im=−01ψi|⟩i and |Φ = ∑⟩ mi=−01φi|⟩i be two pure states,
where the coefficients ψ{ }i0≤ ≤ −i m 1 and φ{ }i0≤ ≤ −i m 1 are complex numbers satisfying ∑mi=−01| | = ∑ψi2 im=−01| | =φi2 1.
Let Ψp( ) and Φp( ) be the probability vectors associated with these pure states in the incoherent basis, i.e., ψ
Ψ = | |
p ( )i i2 and p ( )Φ = | |φ
i i2. Then (see refs. 4–7),
|Ψ → |Φ⟩ ⟩ if and only if ( ) ( ),pΦ pΨ (1)
IO
where p( ) ( ) reads as ΦΦpΨ p( ) majorizes Ψp( ) and means that ∑= ↓Φ ≥ ∑ Ψ
= ↓ p( ) p( ) i k i ik i 0 0 for all ∈ … −
k {0, ,m 1}, with the symbol ↓ indicating that the components of the probability vectors are sorted in a decreasing order (see, e.g., ref. 8 for an introduction to majorization theory and refs. 9,10 for a comprehensive review about its applications on quantum information). Notice that relation (1) can be seen as the analogous of the celebrated Nielsen’s theorem11 for quantum coherence.
Since coherence is a consequence of the superposition principle, it is important to understand how the coher-ence of a superposition of coherent states is related with the cohercoher-ence of the superposed states. Some progress has been made in this direction. For example, for a given superposition of two coherent states | 〉a and | 〉b of the
form |Ψ〉 =α1| 〉 +a α2| 〉b, it has been recently investigated the relation among the coherence of the
superposi-tion |Ψ〉C( ) and the coherence of the superposed states | 〉C a( ) and | 〉C b( )12. In particular, lower and upper bounds of |Ψ⟩C( ) in terms of | 〉C a( ) and | 〉C b( ) for several measures of quantum coherence, like the relative entropy of coherence and the 1-norm of coherence, have been recently obtained in refs. 12–14.
1Università degli Studi di Cagliari, Via Is Mirrionis 1, I-09123, Cagliari, Italy. 2Instituto de Física La Plata, UNLP, CONICET, Facultad de Ciencias Exactas, La Plata, Argentina. ✉e-mail: marcelolosada@yahoo.com
However, this relationship is not yet fully characterized. Therefore, in this work we provide a step forward in the characterization of the relationship between the coherence of a superposition and the coherence of the super-posed states. In particular, we consider the following scenario. Let | 〉a , | 〉b be two initial pure states, and | 〉c , | 〉d be
two final coherent states, such that it is not possible to transform any of the initial states into the final ones, i.e.,
|a⟩ |c⟩ and |a⟩ |d⟩, (2) IO IO b c and b d (3) IO IO | ⟩ |⟩ | ⟩ | .⟩
In this situation, we aim to find an initial superposition |Ψ〉 =α1| 〉 +a α2| 〉b and a final superposition
β β
|Φ〉 = | 〉 +1c 2| 〉d such that the transformation |Ψ〉 → |Φ〉IO is possible. For some particular cases, we will
pro-vide necessary and sufficient conditions in terms of the initial and final states | 〉a , | 〉b , | 〉c and | 〉d in order to make
possible the transformation under study.
Results
Let us consider a Hilbert space of dimension m, and an incoherent basis | 〉{ }i 0≤ ≤ −i m 1. Let | 〉a , | 〉b , | 〉c , | 〉 ∈d be quantum states satisfying the conditions (2) and (3), and let |Ψ〉 =α1| 〉 +a α2| 〉b and |Φ〉 = | 〉 +β1c β2| 〉d (with
α α
| | + | | =12 22 1, β| | + | | =12 β22 1 and α α β β ≠1, 2, ,1 2 0) be two arbitrary superpositions. We want to
charac-terize the values of α1, α2, β1 and β2 for which the transformation |Ψ〉 → |Φ〉
IO is possible. Let Ψp( ) and Φp( ) be the
probability vectors associated with the superpositions |Ψ〉 and |Φ〉 in the incoherent basis, respectively. According to relation (1), the transformation |Ψ〉 → |Φ〉
IO is possible if and only if the probability vectors Ψp( ) and Φp( ) satisfy
the majorization relation, i.e., p( )Φ p( ).Ψ
Let us confine our problem to the case of superpositions of quantum states that belong to orthogonal sub-spaces. This case is particularly interesting because quantum states from orthogonal subspaces play an important role in quantum information and encoding15. More precisely, we consider | 〉 = ∑ | 〉
=− a im a i i 01 , | 〉 = ∑b im=−01b ii| 〉, | 〉 = ∑c =− c i| 〉 i m i
01 , | 〉 = ∑d im=−01d ii| 〉, with a bi i=0 and c di i=0, for all ≤ ≤0 i m−1. Notice that this situation was
considered when studying the coherence of superpositions in ref. 12, and also in the case of entanglement of super-position of bipartite systems in refs. 16,17. As we are interested in the probability vectors Ψp( ) and Φp( ), and the states | 〉a , | 〉b and | 〉c , | 〉d belong to orthogonal subspaces, we can assume without loss of generality that all
coeffi-cients are positive or zero, i.e., a b c di, , ,i i i≥0. For the same reason, we can also assume that α1= α, α2= 1−α, and β1= β, β2= 1−β, therefore the initial and final superpositions have the form
α α β β
|Ψ =⟩ |a⟩+ (1− ) ,|b⟩ |Φ =⟩ | +c⟩ 1− | .d⟩ (4) Under these constrains, the first non-trivial case for which there are pure states satisfying (2) and (3) appears when both states |c〉 and |d〉 have two non-null coefficients in the incoherent basis. Because, otherwise, |c〉 and |d〉 are incoherent states and conditions (2) and (3) cannot be satisfied. For this to be possible the dimension of the Hilbert space has to be more than 3. We are going to restrict our analysis to this first case, i.e., we consider a Hilbert space of dimension equal to 4. For the states |a〉 and |b〉 there are only two possible situations: (1) they have three and one non-null coefficients in the incoherent basis, or (2) they have two non-null coefficients in the incoherent basis.
In case (1), we can assume without loss of generality that | 〉 = | 〉a 0 and | =b⟩ b1|1⟩+ b2|2⟩+ b3|3⟩. Moreover, we can choose | =c⟩ c0|0⟩+ c1|1⟩ and | =d⟩ d2|2⟩+ d3|3⟩. Let us denote this case as
→ (1, 3) (2, 2)
IO . In case (2), we can assume that | =a⟩ a0|0⟩+ a1|1⟩ and | =b⟩ b2|2⟩+ b3|3⟩. The states
|c〉 and |d〉 have two possible options: (2.i) | 〉 =c c0| 〉 +0 c1| 〉1 and | =d⟩ d2|2⟩+ d3|3⟩, and (2.ii)
| =c⟩ c0|0⟩+ c2|2⟩ and | =d⟩ d1|1⟩+ d3|3⟩. However, the case (2.ii) can be transformed into the case
(2.i) by means of the simple incoherent operation | 〉 ↔ | 〉1 2
IO . Therefore, we only have to consider the case (2.i). Let
us denote this case as (2, 2)→(2, 2)
IO .
For these two cases we will obtain necessary and sufficient conditions for coefficients α and β in order to allow the transformation under study.
Case: (1, 3)→(2, 2)
IO
In this case, the pure states | 〉a , | 〉b , | 〉c , | 〉d have the following form
| 〉 = | 〉a 0 , (5)
| 〉 =b b1| 〉 +1 b2| 〉 +2 1−b1−b2| 〉3 , (6)
| 〉 =c c| 〉 +0 1− | 〉c1 , (7)
| 〉 =d d| 〉 +2 1− | 〉d 3 , (8)
with ≥b1 b2≥ −1 b1−b2>0, ≥c 1/2, ≥d 1/2 and ≥c d (i.e., ≥ ≥ − ≥ −c d 1 d 1 c). Notice that we can sort the coefficients in this way without loss of generality, since if this is not the case, we can perform a simple
permutation (which is an incoherent operation) in order to obtain the expected order. For instance, let us assume that ≤c d, then applying the permutations | 〉 ↔ | 〉0 2 and | 〉 ↔ | 〉1 3 , one obtains | ↔ |c⟩ d′⟩= c|2⟩+ 1− |c 3⟩
IO
and d c d 0 1 d 1
IO
| ⟩↔ | ′⟩= | ⟩+ − | ⟩.
Clearly, since the state |a〉 is an incoherent state, it satisfies the condition (2). On the other hand, the coherent state |b〉 satisfies the condition (3) if and only if >b1 c. Therefore, the coefficients have to satisfy the following inequalities
> ≥ ≥ − ≥ − > ≥ − − > .
b1 c d 1 d 1 c b2 1 b1 b2 0 (9)
In this case, the initial and final superpositions have the following form
α α α α
|Ψ〉 = | 〉 +0 (1− ) 1b1| 〉 + (1− ) 2b2| 〉 + (1− )(1−b1−b2) 3 ,| 〉 (10) and
β β β β
|Φ〉 = c| 〉 +0 (1−c) 1| 〉 + (1− ) 2d| 〉 + (1− )(1−d) 3| 〉. (11) Therefore, the probability vectors in the incoherent basis associated with the superpositions |Ψ〉 and |Φ〉 are
α α α α Ψ = − − − − − p( ) [ , (1 ) , (1b1 ) , (1b2 )(1 b1 b2)], (12) β β β β Φ = − − − − . p( ) [ , (1c c), (1 ) , (1d )(1 d)] (13)
In addition, we assume that α ≥ 1/2, which implies that p(Ψ) is already sorted in a decreasing order. Regarding the vector p(Φ), there are in principle six different ways of sorting its components. However, we only consider the case in which p(Φ) is already sorted. This restriction is equivalent to consider β ≥ − +d
c d
1 .
Let us recall that |Ψ〉 → |Φ〉
IO if and only if p( )Φ p( ), which in this case impliesΨ
βc≥α β, ≥α+(1−α) , andb1 β+(1−β)d≥α+(1−α)b1+(1−α)b2. (14) Under these constraints we obtain the following proposition:
Proposition 1. Let | 〉a , | 〉b , | 〉c , | 〉d be pure states as in Eqs. (5)–(8) that satisfy the conditions (2) and (3). Let
α α
|Ψ〉 = | 〉 +a 1− | 〉b and |Φ〉 = β| 〉 +c 1− | 〉β d be arbitrary superpositions, such that α ≥ 1 2 and β≥β~0≡ 1− +dc d. In addition, let us define β ≡
c 1 21, β ≡2 1+2b1, β ≡ + +− − b b d d 3 1 2(11 2) 2 , β ≡ − + b c b c 4 1 1 1, and β ≡5 1− −d cb1+(1b2−−bd−b) 1 2.
Taking into account the previous scenario, we have the following results:
1. If β1≥ max { , }β β 2 3, then β β β α β |Ψ → | Φ⟩ ⟩ ⟺ max { , }≤ <1, 1 ≤ ≤ c. 2 (15) IO 0 1 ~ ~ 2. If β2≥ max { , }β β 1 3, then ~ ~ ~ ~ ~ c max { , } , , or max { , } 1, (16) b b IO 0 2 4 12 1 0 4 12 1 1 ⟩ ⟩ ⟺ β β β β α β β β α β |Ψ → |Φ ≤ ≤ ≤ ≤ ≤ ≤ ≤ ≤ . β − − 3. If β3≥ max { , }β β 1 2, then ⟩ ⟩ ⟺ ~ ~ ~ ~ ~ c max { , } , , or max { , } 1, (17) d d b b b b IO 0 3 5 12 (1 1) 0 5 12 1 2 1 2 β β β β α β β β α β |Ψ → |Φ ≤ ≤ ≤ ≤ ≤ ≤ ≤ ≤ . β − + − − − − Case: (2, 2)→(2, 2) IO
In this case, the coherent states | 〉a , | 〉b , | 〉c , | 〉d have the following form
| 〉 =a a| 〉 +0 1− | 〉a1 , (18)
| 〉 =b b| 〉 +2 1− | 〉b3 , (19)
|d⟩= d|2⟩+ 1− |d 3 ,⟩ (21) with ≥ >a b 0, ≥ >c d 0 and a b c d, , , ≥1/2. As in the previous case, we can sort the coefficients in this way without loss of generality.
In order to satisfy the conditions (2) and (3), the coefficients a b c d, , , have to satisfy the following con-straints: >a max{ , } and >c d b max{ , }. Therefore, the coefficients have to satisfyc d
≥ > ≥ ≥ − ≥ − > − ≥ − > .
a b c d 1 d 1 c 1 b 1 a 0 (22)
In this case, the initial and final superpositions have the following form
α α α α
|Ψ〉 = a| 〉 +0 (1−a) 1| 〉 + (1− ) 2b| 〉 + (1− )(1−b) 3 ,| 〉 (23) and
β β β β
|Φ〉 = c| 〉 +0 (1−c) 1| 〉 + (1− ) 2d| 〉 + (1− )(1−d) 3| 〉. (24) Therefore, the probability vectors in the incoherent basis associated with the superpositions |Ψ〉 and |Φ〉 are
α α α α Ψ = − − − − p( ) [ , (1a a), (1 ) , (1b )(1 b)], (25) β β β β Φ = − − − − . p( ) [ , (1c c), (1 ) , (1d )(1 d)] (26)
In addition, we assume that p(Ψ) and p(Φ) are already sorted in a decreasing order, which is equivalent to assume that α(1−a)≥(1−α) and βb (1−c)≥(1−β) . In this case, the majorization condition d
Φ Ψ
p( ) p( ) implies
βc≥αa, β≥α, and β+(1−β)d≥α+(1−α)b. (27) Under these constraints we obtain the following proposition:
Proposition 2. Let | 〉a , | 〉b , | 〉c , | 〉d be coherent states as in Eqs. (18)–(21) that satisfy the conditions (2) and (3). Let
α α
|Ψ =⟩ |a⟩+ 1− |b⟩ and |Φ =⟩ β| +c⟩ 1− |β d⟩ be arbitrary superpositions, such that
α≥α0≡ 1− +ba b and β≥β~0≡ 1− +dc d. In addition, let us define β ≡ − +ab c a b 1 (1 ), β ≡ −− − − +− + b a d a b d a b 2 (2(1 ))(1(1 ) ) and β ≡3 c(1−a d bb()+−a d()−1).
With respect to the scenario described above, we obtain the following results:
1. If β1≥β2, then ~ ~ ~ ⟩ ⟩ ⟺ β β β α α β |Ψ → |Φ ≤ < ≤ ≤ c. a max { , } 1, (28) IO 0 1 0 2. If β2>β1, then max { , } , , or max { , } 1, (29) d d b b c a IO 0 2 3 0 (1 1) 0 3 0 β β β β α α β β β α α |Ψ → |Φ ≤ ≤ ≤ ≤ ≤ ≤ ≤ ≤ . β β − + − − ~ ~ ~ ~ ~ ~ ~ ⟩ ⟩ ⟺
comparison with the relative entropy of coherence criterion.
A necessary condition for the trans-formation |Ψ〉 → |Φ〉IO can be obtained using the relative entropy of coherence criterion:
|Ψ → |Φ C (|Ψ ≥) C (|Φ ), (30)
IO re re
⟩ ⟩ ⟹ ⟩ ⟩
with C ( )reρ the relative entropy of coherence, which in the case of pure states reduces to
|Ψ〉 = Ψ
Cre( ) H p( ( )), (31)
where H p( ( ))Ψ = −∑i ip( )log ( )Ψ piΨ is the Shannon entropy of the probability vector associated with the state |Ψ〉 in the incoherent basis. More generally, we can use any coherence monotone measure to formulate alternative necessary criteria (see, e.g., ref. 3).
In Fig. 1(a), we consider particular pure states | 〉a , | 〉b , | 〉c and | 〉d as in Eqs. (5–8), with = .b1 0 809073, = .
b2 0 114367, = .c 0 8 and = .d 0 79822. These quantum states satisfy the inequalities given in (9). For this case, we plot the difference between the relative entropy of coherence of the superpositions |Ψ〉 and |Φ〉, i.e.,
|Ψ〉 − |Φ〉
Cre( ) Cre( ), for 0 8. ≤β≤1 and 0 5. ≤α≤1. In addition, we plot the region of α and β where the tran-sition |Ψ〉 → |Φ〉
states | 〉a , | 〉b , | 〉c and | 〉d as in Eqs. (18–21), with = .a 0 55058, = .b 0 514271, = .c 0 506075 and = .d 0 503128. These states satisfy the inequalities given in (22). Again, we plot the difference between the relative entropy of coherence of the states |Ψ〉 and |Φ〉, for 0 5. ≤β α, ≤1. Finally, we plot the region of α and β where the transition under consideration is possible, according to the results of Proposition 2. Both examples show that the criterion based on the relative entropy of coherence measure does not provide a sufficient condition for the transformation |Ψ〉 → |Φ〉
IO .
Discussion
Quantum coherence is not only a fundamental notion of quantum mechanics, but also a useful quantum resource used in quantum information processing. Since coherence is a consequence of the superposition principle, it is relevant to understand how the coherence of a superposition of coherent states is related with the coherence of the superposed states.
In this work, we have considered two pure initial states and two pure final coherent states, such that the former ones cannot be transformed into the latter ones by means of incoherent transformations. In this situation, we have analyzed the conditions for the existence of superpositions of the initial states that can be transformed into superpositions of the final states. In particular, we have considered superpositions of quantum states belonging to orthogonal subspaces. By appealing to the majorization theory, we have obtained the necessary and sufficient conditions so that the transformations under consideration are possible.
For the initial superposition state we have considered two cases: (1) The initial states is a superposition of two states, each one with two non-null coefficients in the fixed basis. (2) The initial states is a superposition of two states, with one and three non-null coefficients in the fixed basis, respectively. For the final state, we have considered a superposition of two coherent states, each one with two non-null coefficients in the fixed basis. In Propositions 1 and 2, we have obtained necessary and sufficient conditions for such transformations to be possible.
Finally, we have provided two examples that illustrate the difference between the conditions obtained in Propositions 1 and 2, and the necessary criterion based on the relative entropy of coherence.
Methods
Proof of Proposition 1:
From the majorization condition (1) and some algebra, we have
c b b d d b b b b , 1 and (1 ) 1 (32) IO 1 1 1 2 1 2 ⟩ ⟩ ⟺ α β α β α β |Ψ → |Φ ≤ ≤ − − ≤ − + − − − − .
Notice that β1, β2, β3, β4 and β5 are the values of β that satisfy the equations 21 =βc, = β −
− b b 1 2 1 11, = β −d−+ −bd b−b −b 1 2 (1 ) 1 1 21 2, β = β − − c 1 bb1 1 and β = β − + − − − − c (1 1d)bd bb1 b2 1 2 , respectively.
Figure 1. In Figure (1a) pure states given in Eqs. (5–8) (with = .b1 0 809073, = .b2 0 114367, = .c 0 8 and
= .
d 0 79822) are considered. The contour plot shows the difference between the relative entropy of coherence of the initial and final superpositions, Cre(|Ψ〉 −) Cre(|Φ〉), for 0 8. ≤α≤1 and 0 5. ≤β≤1. The dotted figure represents the values of α and β for which the transition |Ψ〉 → |Φ〉
IO is allowed, according to Proposition 1. In
Figure (1b) pure states given in Eqs. (18–21) (with = .a 0 55058, = .b 0 514271, = .c 0 506075 and = .
d 0 503128) are considered. Again, the contour plot shows the difference between the relative entropy of coherence of the initial and final superpositions, for 0 5. ≤α β, ≤1. The dashed black figure represents the values of α and β for which the transition |Ψ〉 → |Φ〉
1. Let us assume β1≥β2 and β1≥β3. Then, β ≤c β −1−bb1 1 and β ≤ β − + − − − − c (1 1d)bd bb1 b2 1 2 for β ≤β≤ 1 1. Taking into account the additional conditions 12 ≤α and β0≤β, we obtain that (32) is equivalent to (15). 2. Let us assume β2≥β1 and β2≥β3. The last condition implies 1β−−bb1 ≤β(1−1d−)+ −bd b−b −b
1
1 2
1 2 for 0≤β≤1.
Let us compare the expressions βc and β −
−
b b
1 11 in the range β ≤β≤
2 1. It can be shown that β − ≤β
− c b b 1 11 for β2≤β≤β4, whereas β ≤ β − − c 1 bb1 1 for β ≤β≤
4 1. Taking into account the additional conditions 21 ≤α
and β0≤β, we obtain that (32) is equivalent to (16).
3. Let us assume β3≥β1 and β3≥β2. The last condition implies β(1−1d−)+ −bd b−b1−b2 ≤ β1−−bb
1 2
1
1 for 0≤β≤1.
Let us compare the expressions βc and β − + − − − − d d b b b b (1 ) 1 1 21 2 in the region β β ≤ ≤
3 1. It can be shown that
β ≤ β − + − − − − c d d b b b b (1 ) 1 1 21 2 for β ≤β≤β 3 5, whereas β ≤β − + − − − − c (1 1d)bd bb1 b2 1 2 for β ≤β≤ 5 1. Taking into account the additional conditions 12 ≤α and β0≤β, we obtain that (32) is equivalent to (17). □
Proof of Proposition 2:
From the majorization condition (1) and some algebra, we have
c a d d b b , and (1 ) 1 (33) IO ⟩ ⟩ ⟺ α β α β α β |Ψ → |Φ ≤ ≤ ≤ − + − − .
Notice that βca <β for 0≤β≤1. In addition, notice that β1, β2 and β3 are the values of β that satisfy the equations α = βc a 0 , α =0 β −(1 1d−)+ −bd b and = β β − + − − c a (1 1d)bd b, respectively.
1. Let us assume β1≥β2. It can be shown that ≤β β − + − −
c
a (1 1d) bd b for β1≤β≤1. Taking into account the
additional conditions α0≤α and β0≤β, we obtain that (33) is equivalent to (28).
2. Let us assume β1<β2. It can be shown that β(1−1d−)+ −bd b ≤ βac for β2≤β≤β3, whereas ≤ β β − + − − c a d d b b (1 )
1 for β3≤β≤1. Taking into account the additional conditions α0≤α and β0≤β, we
obtain that (33) is equivalent to (29).□ Received: 22 December 2019; Accepted: 2 April 2020; Published: xx xx xxxx
References
1. Baumgratz, T., Cramer, M. & Plenio, M. B. Quantifying Coherence. Phys. Rev. Lett. 113, 140401 (2014). 2. Winter, A. & Yang, D. Operational resource theory of coherence. Phys. Rev. Lett. 116, 120404 (2016).
3. Streltsov, A., Adesso, G. & Plenio, M. B. Colloquium: Quantum coherence as a resource. Rev. Mod. Phys. 89, 041003 (2017). 4. Du, S., Bai, Z. & Guo, Y. Conditions for coherence transformations under incoherent operations. Phys. Rev. A 91, 052120 (2015). 5. Chitambar, E. & Gilad, G. Conditions for coherence transformations under incoherent operations. Phys. Rev. A 94, 052336 (2016). 6. Du, S., Bai, Z. & Guo, Y. Erratum: Conditions for coherence transformations under incoherent operations [Phys. Rev. A 91, 052120
(2015)]. Phys. Rev. A 95, 029901 (2017).
7. Zhu, H., Ma, Z., Cao, Z., Fei, S. & Vedral, V. Operational one-to-one mapping between coherence and entanglement measures. Phys. Rev. A 96, 032316 (2017).
8. Marshall, A. W., Olkin, I. & Arnold, B. C. Inequalities: Theory of Majorization and Its Applications. 2nd ed (Springer Verlag, New York, 2011).
9. Nielsen, M. A. & Vidal, G. Majorization and the interconversion of bipartite states. Quantum Inf. Comput. 1, 76–93 (2001). 10. Bellomo, G. & Bosyk, G. M. Majorization, across the (quantum) universe Quantum Worlds: Perspectives on the Ontology of Quantum
Mechanics ed Lombardi, O., Fortin, S., López, C. & Holik, F. (Cambridge University Press, Cambridge, 2019). 11. Nielsen, M. A. Conditions for a class of entanglement transformations. Phys. Rev. Lett. 83, 436 (1999).
12. Yue, Q., Gao, F., Wen, Q. & Zhang, W. Multipartite Bounds for coherence of quantum superpositions in high dimension. Sci. Rep 7, 4006 (2017).
13. Liu, F. & Li, F. The number of terms in the superpositions upper bounds the amount of the coherence change. Quantum Inf. Process.
15, 4203 (2016).
14. Yuwen, S.-S., Shao, L.-H. & Xi, Z.-J. Coherence of Superposition States. Commun. Theor. Phys. 71, 1084 (2019). 15. Knill, E. & Laflamme, R. Theory of quantum error-correcting codes. Phys. Rev. A 55, 900 (1997).
16. Linden, N., Popescu, S. & Smolin, J. A. Entanglement of Superpositions. Phys. Rev. Lett. 97, 100502 (2006). 17. Ghiu, I. Local transformations of superpositions of entangled states. Phys. Lett. A. 373, 922–926 (2009).
Acknowledgements
M. Losada is partially supported by the project “For a semantic extension of the Quantum Computation Logic: theoretical aspects and possible implementations” funded by RAS [project code: RASSR40341]. G. M. Bosyk is partiallty supported by the Fondazione di Sardegna within the project “Strategies and Technologies for Scientific Education and Dissemination” [project code: F71I17000330002].
Author contributions
M. Losada and G.M. Bosyk conceived the idea of the work and wrote the first version of the manuscript. H. Freytes and G. Sergioli contributed with discussions about the proofs. All authors discussed the results and contributed to the final manuscript.
competing interests
Additional information
Correspondence and requests for materials should be addressed to M.L. Reprints and permissions information is available at www.nature.com/reprints.
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Cre-ative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not per-mitted by statutory regulation or exceeds the perper-mitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
