Professional Documents
Culture Documents
Completely positive maps within the framework of direct-sum decomposition of state space
Longjiang Liu and D. M. Tong*
Department of Physics, Shandong University, Jinan 250100, Peoples Republic of China
(Received 18 December 2013; revised manuscript received 25 January 2014; published 7 July 2014)
We investigate completely positive maps for an open system interacting with its environment. The families of
the initial states for which the reduced dynamics can be described by a completely positive map are identified
within the framework of direct-sum decomposition of state space. They include not only separable states with
vanishing or nonvanishing quantum discord but also entangled states. A general expression of the families as well
as the Kraus operators for the completely positive maps are explicitly given. It significantly extends the previous
results.
DOI: 10.1103/PhysRevA.90.012305
I. INTRODUCTION
(1)
tdm@sdu.edu.cn
1050-2947/2014/90(1)/012305(6)
p1
(|00| 0E + |11| 1E + |++| +E )
3
+
N0
pi |ii| iE ,
(4)
i=2
012305-1
S
,
the state space HS is denoted as H1S H2S HN
0
where the th subspace HS , = 1,2, . . . ,N0 , is with d
dimensions, and N0 is the total number of the subspaces in
N0
S
the decomposition. There is
=1 d = N . is used to
represent the projector of the th subspace. They satisfy the
0
S
relations S S = S , and N
=1 = IN . We further use
S
E
SE
, , and to denote the density operators defined on
the th subspace HS , on the environment space HE , and on
the direct product space HS HE , respectively. For simplicS
ity, we also use {|i
,i = 1,2, . . . ,d } to denote the basis of
the subspace HS , which is a subset of {|iS ,i = 1,2, . . . ,N}.
S
S
There is then S = di=1
|i
i
|, and S can be expressed
d
S
S
S
S
S
as = i,j =1 ij |i j |, where ij
are parameters.
With these notations and relations, we start to extend the
previous results. To make our result clear, we state it as two
theorems.
Theorem 1. If the initial states of the combined system are
with the structure,
SE (0) =
N0
p S E ,
(5)
=1
i
i
ij
SE S E E SE E
j j U i
j p E
i U
SE E S E E
U ,
j p E
i U
j j
i
SE
ij
where |E
i , i = 1,2, . . . ,M, are a complete set of basis on
HE . Here, we have used U SE to present U SE (t) for the sake
of brevity. Since the density operator S belongs to the subspace HS and S is the projector on this subspace, we have
S S S = S and hence S S (0)S = p S , where
S (0) = TrE SE (0) = p S . By using these relations, we
012305-2
further get
SE E S S (0)S E U SE E .
S (t) =
j E
i U
j
j
i
ij
Let
Kij (t) =
E SE E S
j i U j ,
(6)
S (t) =
Kij (t) S (0)Kij (t).
(7)
ij
2
,i,j =1
(9)
n
=1
p SE +
N0
p S E ,
(10)
=n+1
n
M
SE SE SE E
p E
U i
i U
=1 i=1
N0
M
SE S
p E
E U SE E
i U
i ,
(11)
=n+1 i=1
where |E
i , i = 1,2, . . . ,M, are a complete set of basis
of HE .
To calculate the first term in the last
line of Eq. (11), we
SE
SE
L
|,
use the spectral decomposition, SE = L L |
L
SE
where L and |
L represent the eigenvalues and
eigenvectors of SE . Besides, since SE belongs
to the space HS HE and therefore the reduced
density operator TrE SE belongs to HS , we then have
d S
SE S
S
i=1 i |TrE |i = , where {|i } represents the
d
S
S
| = S . It further leads
basis of HS with
i=1 |i
d S S
d i S SE
S
S
to
(0)|i
= p .
i=1 i | (0)|i =
i=1 i |TrE
012305-3
SE SE SE SE E
p L E
i U
L
L U
i
L=1
d
d
M
E SE SE S S S
L i U
L k (0)k
L=1 k=1
SE SE E
U .
L
i
(12)
For the second term in the last line of Eq. (11), by following
the approach used in the proof of Theorem 1, we have
SE S
E U SE E
p E
i U
i
=
M
SE S E E SE E
j p E
j j U i
i U
j =1
M
SE E S E E
U
j p E
i U
j j
i
SE
j =1
M
SE E S S
(0)S E U SE E ,
j E
i U
j
j
i
j =1
(13)
E
are the eigenvalues and eigenvectors
where j and |j
E
of .
Substituting Eqs. (12) and (13) into (11), we have
S (t) =
d
n
M d
M
SE SE S
L E
i U
L k
S SE SE E
S (0)k
L U i
N0
M
SE E S S
(0)S
j E
i U
j
=n+1 i,j =1
E SE E
U
i .
j
Let
KiLk (t) =
and
Kij (t) =
(14)
SE SE S
L E
i U
L k , = 1, . . . ,n,
(15)
SE E S
, = n + 1, . . . ,N0 ,
j E
i U
j
(16)
and
with
i,j = 1,2, . . . ,M,
k = 1,2, . . . ,d
L = 1,2, . . . ,d M. It is easy to verify that
N0
n
n
=1
=1
i,L,k KiLk KiLk +
i,j Kij Kij =
=n+1
S
N0
N0
S
|
|
+
=
=
I
.
We
finally
N
k k
k
=n+1
=1
obtain the Kraus representation,
(t) =
S
d
n
M d
M
N0
M
=n+1 i,j =1
2
4
(19)
,i,k=1 L=1
SE
SE
SE
SE
S E
S E
2 = |
21
21 |, where |
11
= (|1 1 + |2 2 )/ 2
SE
and |
21
= (|3S 1E + |4S 2E )/ 2. Then, the initial states
defined by Eq. (10) are given as
SE SE
SE SE
11 + (1 p)
21
21 , (18)
SE (0) = p
11
(17)
012305-4
2
(20)
i=1
2
4
,i,k=1 L=1
2
(21)
(A1)
i,j =1
with
S (0) = p1 (|1S 1S | + |+S +S |)/2 + p2 (|3S 3S | +
S
S
|4 4 |)/2 + p3 3S , where the nonzero Kraus operators are
given by Eqs. (15) and (16) (see Appendix C).
It is also interesting to compare our result with that given in
Ref. [24]. The author of that paper provides a general condition
of the initial system-environment correlations for which there
always exists a corresponding CP map describing the reduced
system dynamics, while we give an explicit expression of the
initial states for which the reduced dynamics can be described
by a CP map. The condition given in that paper is based
on the tripartite system consisting of the open system, its
environment, and the reference system, while our discussion is
based on the bipartite system consisting of the open system and
its environment only. If a reference system adds to our bipartite
system, the initial sates defined in our theorems will fulfill the
condition in that paper. In this sense, our result is consistent
with the physical insight first put forward in Ref. [24], and the
families of the initial states described in the bipartite scenario
can be derived from that in the tripartite scenario.
IV. CONCLUSION
3 E SE SE S
1 |U
11 1 |,
K1111 (t) =
2
3 E SE SE S
1 |U
11 2 |,
K1112 (t) =
2
3 E SE SE S
2 |U
11 1 |,
K1211 (t) =
2
(B1)
3 E SE SE S
2 |U
11 2 |,
K1212 (t) =
2
SE S
1
1 |,
K1121 (t) = 1E |U SE
12
2
SE S
1
2 |,
K1122 (t) = 1E |U SE
12
2
SE S
1
1 |,
K1221 (t) = 2E |U SE
12
2
SE S
1
2 |,
K1222 (t) = 2E |U SE
12
2
SE
3S |,
K2111 (t) = 1E |U SE
21
SE S
4 |,
K2112 (t) = 1E |U SE
21
SE
K2211 (t) = 2E |U SE
21
3S |,
S
SE
K2212 (t) = 2E |U SE
21
4 |,
K311 (t) = 1E |U SE |2E S3 ,
K321 (t) = 2E |U SE |2E S3 .
(C1)
SE
Here, |
11
= (3|1S 1E + |1S 2E + |2S 1E + |2S 2E )/2 3,
SE
|
12
= (|1S 1E + |1S 2E
+ |2S 1E + |2S 2E )/2,
and
SE
S E
S E
|
21 = (|3 1 + |4 2 )/ 2, which are obtained from
SE
SE
SE
the spectral decompositions, 1SE = 34 |
11
11
| + 14 |
12
SE
SE
SE
SE
12 |, and 2 = |
21
21 |.
[7] P. Stelmachovi
c and V. Buzek, Phys. Rev. A 64, 062106 (2001);
,67, 029902(E) (2003).
[8] H. Hayashi, G. Kimura, and Y. Ota, Phys. Rev. A 67, 062109
(2003).
[9] K. M. Fonseca Romero, P. Talkner, and P. Hanggi, Phys. Rev. A
69, 052109 (2004).
[10] D. M. Tong, L. C. Kwek, C. H. Oh, J. L. Chen, and L. Ma,
Phys. Rev. A 69, 054102 (2004).
[11] C. A. Rodrguez-Rosario, K. Modi, A.-m. Kuah, A. Shaji, and
E. C. G. Sudarshan, J. Phys. A 41, 205301 (2008).
012305-6