Qit 230730
Qit 230730
Qit 230730
Seung-Hyeok Kye
Department of Mathematics
Seoul National University
Seoul 151-742, Korea
Positive linear functionals and positive linear maps had been playing important
roles in the theory of operator algebras, which reflect noncommutative order struc-
tures. Such order structures provide basic mathematical frameworks for current
quantum information theory. The main purpose of this lecture note is to introduce
basic notions like separability/entanglement and Schmidt numbers from quantum
information theory in terms of positive maps between matrix algebras.
Basic tools are Choi matrices and duality arising from bilinear pairing between
matrices. We begin with concrete examples of positive maps Ads which sends x
to s˚ xs, and define separability/entanglement and Schmidt numbers in terms of
Choi matrices. We also use duality to introduce various kinds of positivity, like k-
positivity and complete positivity. Positive maps which are not completely positive
are indispensable tools to detect entanglement through the duality.
In Chapter 1, we introduce the above notions and exhibit nontrivial examples of
positive maps. We also provide a unified argument to recover various known criteria
through ampliation. We will focus in Chapter 2 on the issue how positive maps
detect entanglement. Through the discussion, exposed faces of the convex cones of
all positive maps play important roles. We exhibit three classes of positive maps,
by Choi, Woronowicz and Robertson in 1970’s and 1980’s which generate exposed
extreme rays of the convex cone of all positive linear maps.
This is the collection of lecture notes during the fall semester of 2022, at Seoul
National University, Seoul, Korea. The author tried to minimize preliminaries, re-
quiring only undergraduate linear algebra. The author is grateful to all the audiences
for their feedbacks on the notes. Special thanks are due to Kyung Hoon Han for
his careful reading of the drafts. Nevertheless, any faults in this lecture notes are
responsibility of the author.
February 2023
3
4
Contents
5
1.7 Isotropic states and Werner states . . . . . . . . . . . . . . . . . . . . 52
1.7.1 Isotropic states . . . . . . . . . . . . . . . . . . . . . . . . . . 52
1.7.2 Werner states . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
1.8 Mapping cones and tensor products . . . . . . . . . . . . . . . . . . . 59
1.8.1 Mapping cones of positive maps . . . . . . . . . . . . . . . . . 59
1.8.2 Tensor products and compositions of linear maps . . . . . . . 61
1.8.3 Roles of ampliation . . . . . . . . . . . . . . . . . . . . . . . . 62
1.8.4 Tensor products of positive maps . . . . . . . . . . . . . . . . 64
1.8.5 Entanglement breaking maps . . . . . . . . . . . . . . . . . . 65
1.9 Historical remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Index 131
6
Chapter 1
In this chapter, we introduce various kinds of positive maps between matrix algebras
together with the corresponding notions for the tensor products of matrix algebras.
We begin with the most elementary positive maps Ads for given matrices s, which
send x to s˚ xs. These maps give rise to important classes of positive maps according
to the ranks of s, by taking convex combinations. Positive maps arising in this
way with matrices whose ranks are at most k are called k-superpositive maps, and
all of them make the class of completely positive maps which play crucial roles.
Another important positive map is given by the transpose, which makes the class of
decomposable positive maps together with completely positive maps.
For a given linear map between matrix algebras, we assign a matrix in the
tensor product of matrices, or equivalently a block matrix, which is called the Choi
matrix. The block matrices corresponding to completely positive maps are precisely
positive (semi-definite) matrices, which represent bi-partite states after normalizing
by the trace. The class of 1-superpositive maps corresponds to separable states.
Nonseparable states are called entanglement, which is now recognized as one of the
most important resources in the current quantum information theory.
Another main tool is the bilinear pairing between matrices which gives rise to
the bilinear pairing between linear maps through the Choi matrices. The dual
notion of k-superpositivity by this bilinear pairing is k-positivity, which has been
studied among operator algebraists since Stinespring’s representation theorem in the
1950’s. The usual positivity of linear maps coincides with 1-positivity arising in this
way. Therefore, the positivity of linear maps between matrix algebras is just the
dual notion of separability of bi-partite states, and this is why positive maps play
important roles to detect entanglement.
After we fix notations together with several preliminaries in Section 1.1, we show
in Section 1.2 that the map Ads generates an extreme ray of the convex cone of all
7
positive linear maps, and introduce the notion of k-superpositive maps and decom-
posable maps. In Section 1.3, we show that all positive maps are decomposable in
low dimensional cases like maps between 2 ˆ 2 matrices. In Section 1.4, we define
Choi matrices through which we introduce various kinds of bi-partite states, under
the name of Schmidt numbers. We define the bilinear pairing between linear maps in
Section 1.5 and get the notion of k-positivity which is dual to k-superpositivity. Dur-
ing the discussion, we see that complete positivity of maps corresponds to positivity
of block matrices through the Choi matrices. Sections 1.6 and 1.7 will be devoted
to introduce various examples which distinguish k-superpositivity and k-positivity
of maps together with the corresponding states which include Werner states and
isotropic states. We also see concrete examples of indecomposable positive maps.
Finally, we introduce the notion of mapping cones in Section 1.8 with which we
obtain various characterizations of aforementioned notions in terms of ampliation
which is the tensor product with the identity map. Our exposition of topics reverses
historical development in parts, and this is why we add historical remarks in Section
1.9.
1.1 Preliminaries
1.1.1 Vectors and matrices
A vector in the vector space Cn over the complex field is denoted by a ket |vy, which
may be understood as a column vector or an n ˆ 1 matrix;
¨ ˛
v1
˚ v2 ‹
|vy “ ˚ . ‹ P Cn .
˚ ‹
˝ .. ‚
vn
The adjoint of ket |vy is denoted by a braxv|, that is,
xv| “ pv̄1 , v̄2 , ¨ ¨ ¨ , v̄n q P Cn .
For given two vectors |vy and |wy in Cn , we have
xv|wy “ v̄1 w1 ` v̄2 w2 ` ¨ ¨ ¨ ` v̄n wn ,
and so xv|wy is the standard inner product of Cn which is linear in the second
variable and conjugate-linear in the first variable. So, xv| may be considered as the
linear functional on Cn which sends |wy to xv|wy. On the other hand, we see that
¨ ˛
v1 w̄1 v1 w̄2 ¨ ¨ ¨ v1 w̄n
˚ v2 w̄1 v2 w̄2 ¨ ¨ ¨ v2 w̄n ‹
˚ ‹
|vyxw| “ ˚ . .. .. .. ‹
˝ .. . . . ‚
vm w̄1 vm w̄2 ¨ ¨ ¨ vm w̄n
8
is an m ˆ n matrix of rank one, for |vy P Cm and |wy P Cn . This is nothing but
as a linear map from Cn into Cm with the one dimensional range space spanned by
|vy. The set Mmˆn of all m ˆ n matrices is a vector space over the complex field.
When m “ n, we use the notation Mn , which is usually called the matrix algebra
since two square matrices with the same size can be multiplied.
The vectors appearing in the standard orthonormal basis tei : i “ 1, 2, . . . , nu of
n
C are denoted by ¨ ˛
0
˚ .. ‹
˚.‹
˚ ‹
˚0‹
˚ ‹
˚1‹ Ð i-th,
|iy “ ˚ ‹
˚0‹
˚ ‹
˚ .. ‹
˝.‚
0
řn
so we may write |vy “ i“1 vi |iy. If |iy P Cm and |jy P Cn then
|iyxj|
is the mˆn matrix whose entries are zeros except for pi, jq-entry 1. So, the collection
t|iyxj| : i “ 1, 2, . . . , m, j “ 1, 2, . . . , nu
When we consider concrete examples, we sometimes use notations |0y, |1y, . . . , be-
ginning with |0y for orthonormal basis. In this case, we have
ˆ ˙ ˆ ˙
1 2 0
|0y “ PC , |1y “ P C2
0 1
for the two dimensional case.
xx|A|xy ě 0 (1.1)
9
for every |xy P Cn . Every |xy P Cn gives rise to the rank one matrix |xyxx|, which is
positive since
xy|xyxx|yy “ |xx|yy|2 ě 0
for every |yy P Cn . If |xy is a unit vector then |xyxx| is the projection onto the one
dimensional space spanned by |xy. By the spectral decomposition, we know that
every positive matrix can be written by
ÿ
|xι yxxι |
ι
with a finite family t|xι yu of vectors. It should be noted that this expression is far
from being unique. By another application of the spectral decomposition, we know
that a positive matrix is the square of a matrix. We write A ď B for Hermitian
matrices A and B if B ´ A is positive.
For two matrices A “ raij s and B “ rbij s with the same sizes, we define
ÿ
xA, By “ Tr pAB T q “ aij bij ,
i,j
where B T and Tr pAB T q denote the transpose of B and the trace of AB T , respec-
tively. This is a bilinear pairing which is non-degenerate, that is, satisfies
It should be noted that xA, Ay may be negative. For an example, we take a self-
adjoint ˆ ˙
0 i
A“ ,
´i 0
to get xA, Ay “ ´2 ă 0. We have the following relations
whenever the sizes of matrices are given so that the above relation is meaningful.
We also note that the identity
10
for every A P Mn and |xy P Cn . Therefore, we see that A P Mn is positive if and
only if xA, By ě 0 for every positive B.
We note that every linear functional % on the space Mn is of the form
% : A ÞÑ xA, B% y, A P Mn , (1.3)
where we usually delete the tensor notation in xi| b xj| to write as xi|xj|, or even as
xij|. If we endow txi|xj|u with the lexicographic order then xÃ| is the concatenation
If we endow t|iy|kyu and t|jy|`yu with the lexicographic orders again, then A b B
has the matrix form. For example, when both A and B are 2 ˆ 2 matrices, we have
¨ ˛
a11 b11 a11 b12 a12 b11 a12 b12
˚a11 b21 a11 b22 a12 b21 a12 b22 ‹
AbB “˚ ˝a21 b11 a21 b12 a22 b11 a22 b12 ‚.
‹
11
In this way, a matrix in Mm b Mn may be identified as an m ˆ m block matrix
whose entries are n ˆ n matrices. So, we may identify Mm b Mn with Mm pMn q.
Especially, Im b B is the m ˆ m diagonal block matrix whose diagonal block is given
by B P Mn , where Im denotes the m ˆ m identity matrix. Sometimes, we denote
by I for the identity matrix. On the other hand, A b In is the m ˆ m block matrix
whose pi, jq block is given by aij In P Mn . Note that
ÿ
pA b Bq|jy|`y “ aij bk` |iy|ky
i,k
˜ ¸ ˜ ¸
ÿ ÿ
“ aij |iy b bk` |ky “ A|jy b B|`y,
i k
and so A b B sends |jy|`y to A|jy b B|`y as a linear map from Cm b Cn into itself.
The following identities are easily checked;
pC b DqT “ C T b DT ,
pA b BqpC b Dq “ AC b BD,
Tr pA b Bq “ Tr pAqTr pBq,
whenever they are defined. Suppose that A and C are m ˆ n matrices, and B, D
are k ˆ ` matrices. Using the above relations, we also have the identity
For linear maps φ1 : Mm1 Ñ Mn1 and φ2 : Mm2 Ñ Mn2 , we define the linear map
Then we see that φ b ψ sends A b B P Mm1 b Mm2 to φpAq b ψpBq P Mn1 b Mn2 .
12
` ˘
for an n ˆ n unitary matrix V . We write V “ V1 V2 with the n ˆ r matrix V1
and the n ˆ pn ´ rq matrix V2 . Then we have
Define the m ˆ r matrix U1 by U1 “ AV1 D´1{2 with the obvious meaning for D´1{2 .
Then we have
U1˚ U1 “ D´1{2 V1˚ A˚ AV1 D´1{2 “ Ir ,
` ˘
and so we can take an m ˆ pm ´ rq matrix U2 so that U “ U1 U2 is an m ˆ m
unitary. We have
as m ˆ n matrices.
Therefore, the m ˆ n matrix A is written by
A “ U ΣV ˚ , (1.7)
with invertible matrices U P Mm and W P Mn . This can be also obtained from row
and column elementary operations.
References: [11]
13
1.1.5 Ranks
For a matrix A, we denote by Im A the range space which is the span of column
vectors. The span of the conjugates of row vectors is the orthogonal complement
of the kernel space ker A. By the dimension theorem, the span of columns and the
span of rows share the same dimension, which is called the rank of A and is denoted
by rank A. We see that ker A˚ A “ ker A which implies rank A “ rank A˚ A, and so
the number r in the singular value decomposition (1.7) is the rank of A.
ř
When A “ i,j aij |iyxj|, the j-th column vector is given by
ÿ
A|jy “ aij |iy.
i
ř
Take any basis t|ξk y : k “ 1, 2, . . . , rank Au of Im A and write A|jy “ k sjk |ξk y,
then we have ˜ ¸
ÿn ÿ ÿ
A “ AIn “ A|jyxj| “ |ξk y sjk xj| .
j“1 k j
Therefore, we have
rank
ÿA
A“ |ξk yxηk | (1.9)
k“1
ř
with xηk | “ j sjk xj|, and we see that it is possible to express A with the sum
of a family of rank one matrices with the cardinality rank A. In the singular value
decomposition (1.7), we take column vectors t|ξi yu and t|ηj yu of the unitary matrices
U and V , respectively. Then we have
´ř ¯ ´ř ¯˚
ř 1{2
A “ p i |ξi yxi|q λ
k k |kyxk| j |ηj yxj|
´ř ¯ ´ř ¯ rank
ÿA 1{2
ř 1{2
“ p i |ξi yxi|q λ
k k |kyxk| j |jyxηj | “ λk |ξk yxηk |.
k“1
14
rz
y
r hhrr
h
rx0
hhhh
hhhh
hhhhr
Figure 1.1: If the line segment from an interior point x0 to y can be extended, then
the line segment from any point z to y also can be extended
is t ą 1 such that p1 ´ tqy ` tx P C. This means that the line segment from every
y P C to x may be extended within C. The set of all interior points of C will be
denoted by int C, which coincides with the relative interior of C with respect to the
affine manifold generated by C. From this, one may see that int C is nonempty for
any nonempty convex set C. A point y P C which is not an interior point is called
a boundary point, and the set of all boundary points of C is denoted by BC.
We fix an interior point x0 of a convex set C. Suppose that y P C satisfies the
condition suptt : p1 ´ tqx0 ` ty P Cu “ 1. That is, we suppose that the line segment
from x0 to y cannot be extended within C. Then it is clear that y is a boundary
point of C. Suppose that y does not satisfy the condition. Then there is t ą 1
such that p1 ´ tqx0 ` ty P C. For an arbitrary z P C we can take s ă 0 such that
p1 ´ sqx0 ` sz P C since x0 is an interior point. Put r “ spt´1q
t´s
. Then we see that
r ă 0 and
1´s t´1
p1 ´ rqy ` rz “ rp1 ´ tqx0 ` tys ` rp1 ´ sqx0 ` szs P C.
t´s t´s
This shows that y is an interior point of C. See Figure 1.1. Therefore, we conclude
that y is an interior point of C if and only if the line segment from a single interior
point x0 to y can be extended within C.
A nonempty convex subset F of a convex set C is called a face of C if the
following property
x0 , x1 P C, 0 ă t ă 1, p1 ´ tqx0 ` tx1 P F ùñ x0 , x1 P F
15
We see that x is an interior point of F , and a convex set is completely partitioned
into interiors of faces.
Suppose that C is a compact convex set. If x P C is not an extreme point then it
is an interior point of a line segment. We extend this line segment until it meets the
boundary, and so we see that x is a convex combination of two boundary points. If
one of them is not an extreme point and contained in a proper face then we express
it as a convex combination of two boundary points of the face. We continue this
process to see that every point of a compact convex set in a finite dimensional space
is a convex combination of extreme points. Carathéodory theorem tells us that every
point of a d-dimensional convex set is the convex combination of extreme points with
the cardinality at most d ` 1. An important consequence is that the convex hull of
a compact set in a finite dimensional space is again compact. It should be noted
that this is not the case for infinite dimensional spaces.
References: [99], [127], [74]
If we extend the line segment from P to 12 In until the line meets the boundary of
Mn` , then the line segment meets at the orthogonal complement In ´ P , and 12 In is
located at the center of the line segment.
For a positive matrix A, we consider the range vectors of A and take the convex
cone F generated by t|ξyxξ| : |ξy P Im Au, then A is an interior point of F . Especially,
16
for any |ξy P Im A there exists t ą 1 such that p1 ´ tq|ξyxξ| ` tA is positive. The
convex cone F is the smallest face containing A, and every face of Mn` arises in this
way.
We note that a convex cone K itself has no extreme point except zero. The set Dn
of all density matrices is the intersection of the convex cone Mn` and the hyperplane
determined by the condition that the trace is one. If we take a hyperplane H which
does not contain zero but meets an extreme ray of K then the intersection is just a
single point which is an extreme point of the convex set K X H.
If φ satisfies the property (1.10) and a is Hermitian then we have φpaq˚ “ φpa˚ q “
φpaq, and so φpaq is Hermitian. Therefore, we see that φ is Hermiticity preserving
if and only if it satisfies (1.10). The restriction of a Hermiticity preserving map
h h
φ : Mm Ñ Mn on Mm is a real linear map from Mm into Mnh . Conversely, every real
h
linear map φ : Mm Ñ Mnh can be extended to the complex linear map φ̃ : Mm Ñ Mn
by
φ̃pa ` ibq “ φpaq ` iφpbq. (1.11)
The set HpMm , Mn q of all Hermiticity preserving maps is a vector space over the
real field with the real dimension m2 n2 .
17
A linear map φ : Mn Ñ Mm is called positive if it sends positive matrices to
positive matrices. Because every Hermitian matrix is the difference of two positive
matrices, it is clear that every positive linear map is Hermiticity preserving. The
set of all positive maps from Mm into Mn will be denoted by P1 rMm , Mn s, which is
a closed convex cone in the real vector space HpMm , Mn q.
For a given linear map φ : Mm Ñ Mn , the adjoint map φ˚ : Mn Ñ Mm is defined
by
xφ˚ pxq, yy “ xx, φpyqy, x P Mn , y P Mm .
pφ ˝ ψq˚ “ ψ ˚ ˝ φ˚
It is clear that Ads is a positive map for any matrix s. The map Adu is called a
congruence map when u is a unitary. It is easy to see that the following identities
A linear map which generates an extreme ray of the convex cone P1 is called
an extremal positive map. It is clear that φ is extremal positive if and only if so is
φ˚ . If φ is extremal positive and σ is a linear order isomorphism then both σ ˝ φ
and φ ˝ σ are also extremal whenever they are defined, because both φ ÞÑ σ ˝ φ and
φ ÞÑ φ ˝ σ define affine isomorphisms between P1 rMm , Mn s. We will show that the
map Ads is an extremal positive map. To do this, we need the following:
18
Proposition 1.2.1 Suppose that a P Mn commutes every b P Mn . Then a is a
scalar multiple of the identity matrix.
ř
Proof. Write a “ i,j aij |iyxj|. Then |kyx`|a “ a|kyx`| implies
for each k, `. ˝
The identity map id “ AdI with the identity matrix I is the key case for the
extremeness of the maps Ads . Sometimes, we denote by idn for the identity map on
Mn .
Proof. Suppose that both φ and idn ´ φ are positive. Then for every unit vector
|ξy P Cn , we have 0 ď φp|ξyxξ|q ď |ξyxξ|, and so there exists λξ with 0 ď λξ ď 1 such
that
φp|ξyxξ|q “ λξ |ξyxξ|,
because |ξyxξ| generates an extreme ray of the convex cone Mn` . We have to show
that λξ “ λη for any unit vectors |ξy and |ηy. We note that φppq ď p for every
projection in Mnh , which implies pIn ´ pqφppq “ 0. We replace p by In ´ p, to get
pφpIn ´ pq “ 0. Therefore, we have
and conclude that φpIn q commutes with every projection. Since every matrix is the
linear combination of projections, we see that φpIn q “ λIn by Proposition 1.2.1.
Taking an orthonormal basis t|ξi yu, we have
ÿ ÿ ÿ
λξi |ξi yxξi | “ φp|ξi yxξi |q “ φpIn q “ λIn “ λ|ξi yxξi |.
i i i
Putting |ξi y at the right-side of the above identity, we have λξi “ λ, and we conclude
that φ “ λ ¨ idn . This shows that idn is an extremal positive map. ˝
19
Lemma 1.2.3 Suppose that m ď n and s is an m ˆ n matrix of the form
` ˘
s “ Im 0 P Mmˆn
We define τ : Mn Ñ Mm by
ˆ ˙
a b
τ: ÞÑ a P Mm .
c d
Proof. By singular
ˆ ˙ value decomposition (1.8), we have s “ upqw with the m ˆ k
Ik ` ˘
matrix p “ and k ˆ n matrix q “ Ik 0 together with invertible matrices
0
u, w. Then we have
Ads “ Adw ˝ Adq ˝ Adp ˝ Adu .
By lemma 1.2.3 and Lemma 1.2.2, we see that AdpT “ AdpT ˝id is extremal, and so
Adp “ pAdpT q˚ is also extremal. Therefore, Adq ˝ Adp is extremal by Lemma 1.2.3
again. On the other hand, Adw and Adu are order isomorphisms since w and v are
invertible. Therefore, we conclude that Ads is extremal. ˝
20
It is very difficult in general to find out all the extreme rays of the convex
cone P1 rMm , Mn s, and it is an open problem even for low dimensional cases like
m “ n “ 3. But, it is not so difficult to find boundary points of P1 rMm , Mn s. We
`
see that if φpaq is singular for a nonzero a P Mm then φ must be a boundary point
of P1 . Indeed, the following is immediate from the definition of interior points.
`
Proof. Take a nonzero a P Mm and b P Mn` , and consider the map ψ : Mm Ñ Mn
given by ψpxq “ Tr pxq
Tr paq
b. Then there exists t ą 1 such that p1 ´ tqψ ` tφ P P1 , and
so we have p1 ´ tqb ` tφpaq ě 0. Since b P Mn` was arbitrary, we see that φpaq is an
interior point of Mn` . ˝
We will see later that the converse of Proposition 1.2.5 also holds. See Proposi-
tion 2.3.3. Therefore, φ is on the boundary of P1 rMm , Mn s if and only if there is a
`
nonzero a P Mm such that φpaq P Mn is singular. It is easily seen that the positive
map Ads : Mm Ñ Mn satisfies this property for every s P Mmˆn . Especially, if
s P Mnˆn itself is singular then Ads paq is singular for every a P Mn .
References: [111], [118]
where conv S denotes the convex hull of S. We also use the notation SPk rMm , Mn s
when we need to specify the domain and range. If k ă ` ď m ^ n and rank s “ `
then Ads R SPk since it is extremal, where m ^ n denotes the the minimum of m
and n. Therefore, we have the following chain of strict inclusions
21
ř ř
Then we have τ pAds q “ ij |sij |2 for s “ ij sij |iyxj|. Next, we consider the set
ř
Ck :“ ts P Mmˆn : rank s ď k, ij |sij |2 “ 1u,
which is compact. Then the image of Ck under the continuous map s ÞÑ Ads is a
compact subset of HpMm , Mn q whose convex hull is tφ P SPk : τ pφq “ 1u, which is
also compact. Therefore, we conclude that the convex cone SPk is closed. ˝
It is clear that the transpose map T : x ÞÑ xT is a positive map between Mn .
The transpose map is extremal in P1 rMn , Mn s, since T “ T ˝ id and T is an order
isomorphism. When n ě 2, it is easy to see that T is not a member of the convex
cone SPn rMn , Mn s, whose extreme rays consist of Ads . If we assume that T P SPn
ř
then we have T “ Ads for a matrix s “ i,j sij |iyxj|. We have
ÿ ÿ
Ads p|iyxj|q “ s̄qp sk` |pyxq|iyxj|kyx`| “ s̄ip sj` |pyx`|.
k,`,p,q p,`
Since Tp|iyxj|q “ |jyxi|, we have s̄ij sji “ 1 for every i, j, especially s has no zero
entries. On the other hand, we have s̄ip sj` “ 0 whenever pp, `q ‰ pj, iq, which is
absurd.
Since the composition of positive maps is positive, we see that
SPk :“ tT ˝ φ : φ P SPk u
Proposition 1.2.7 Suppose that s P Mmˆn is nonzero. Then Ads P SPm^n if and
only if s is of rank one.
22
Proof. It remains to prove the ‘only if’ part. Suppose that Ads belongs to the
convex cone SPm^n . Since Ads generates an extreme ray of P1 , it also generates an
extreme ray of the smaller cone SPm^n , and so Ads “ Adt ˝T for an m ˆ n matrix
t, which implies that the identity
¯
s˚ |ξyxη|s “ t˚ |η̄yxξ|t
holds for every |ξy and |ηy in Cm . We fix a vector |ηy so that t˚ |η̄y ‰ 0 and xη|s ‰ 0.
For arbitrary nonzero |ξy, the left side is a rank one matrix with the range vector
s˚ |ξy. On the other hand, the right side is a rank one matrix with the range vector
t˚ |η̄y, and so s˚ |ξy is a scalar multiple of t˚ |η̄y for arbitrary |ξy P Cm . Therefore s˚
is of rank one. ˝
Proposition 1.2.7 tells us that an extreme ray of SPm^n belongs to SPm^n then it
actually belongs to SP1 “ SP1 . Note that this does not imply that SPm^n X SPm^n
coincides with SP1 . The convex hull of two convex cones K1 and K2 is nothing but
K1 ` K2 “ tx1 ` x2 : xi P Ki u.
Now, we have concrete examples of positive maps in SPm^n ` SPm^n . Those maps
in this class, which are called decomposable, can be expressed by the combinations
of Ads and T. One question arises naturally: Does every positive map arise in this
way?
References: [3], [106], [108]
23
The following four matrices
! )
?1 I2 , ?1 σx , ?1 σy , ?1 σz
2 2 2 2
make an orthonormal basis of M2h with respect to the inner product given by
ÿ
pa, bq “ Tr pab˚ q “ aij b̄ij , (1.17)
for a, b P M2h . We see that % P M2` if and only if t ě |z| and t2 ´ z 2 ě x2 ` y 2 if and
only if t ě 0 and x2 ` y 2 ` z 2 ď t2 holds. Therefore, we see that % P D2 if and only if
1
x2 ` y 2 ` z 2 ď t 2 , t“ (1.18)
2
holds, and so D2 is the three dimensional ball, called the Bloch ball.
We recall that the matrix 21 I2 is located at the center of the convex cone M2` ,
and consider the distance from % P D2 satisfying (1.18) to
1
%˚ :“ I2 P D2 .
2
The distance }x ´ y}HS arising from the inner product (1.17) is called the Hilbert–
Schmidt distance. We have
›ˆ ˙›2
2
› z x ´ iy ›
› “ 2px2 ` y 2 ` z 2 q.
}% ´ %˚ }HS “ ››
x ` iy ´z ›HS
Therefore, we see that % P D2 if and only if t, x, y and z satisfy the relation (1.18)
if and only if the inequality
1
}% ´ %˚ }HS ď ?
2
holds, as it was expected. We also see that % is on the boundary, that is, satisfies
the equality }%˚ ´ %}HS “ ?12 if and only if % “ |ξyxξ| is of rank one if and only if %
generates an extreme ray of the convex cone M2` . The 2-dimensional sphere which
is the boundary of D2 is called the Bloch sphere. We also note that each boundary
point of D2 corresponds to the range vector |ξy P C2 up to scalar multiplications,
which corresponds to a point of the complex projective space CP1 .
We say that φ : Mm Ñ Mn is trace preserving if Tr pφpxqq “ Tr pxq for every
x P Mm . By the identity Tr a “ xI, ay, we see that φ is trace preserving if and only
if φ˚ is unital. A trace preserving unital positive map between M2 has an interesting
geometric interpretation. We begin with a Hermiticity preserving map φ on M2h ,
which is the orthogonal sum of RI2 and the subspace
Z :“ span tσx , σy , σz u
24
of M2h . Suppose that φ is unital and trace preserving. Then both RI2 and Z are
invariant under φ, and φ|Z is a linear transform in the three dimensional space Z
over the real field.
We examine what happens for AdU with a 2 ˆ 2 special unitary
ˆ ˙
α ´β̄
U“ , |α|2 ` |β|2 “ 1.
β ᾱ
It is clear that the congruence map AdU is unital and trace preserving. We have
ˆ ˙ˆ ˙ˆ ˙ ˆ ˙
ᾱ β̄ 0 1 α ´β̄ 2Re pαβ̄q ᾱ2 ´ β̄ 2
AdU pσx q “ “
´β α 1 0 β ᾱ α2 ´ β 2 ´2Re pαβ̄q
Therefore, the map φ determines a linear transform between three dimensional space
Z spanned by Pauli matrices, which corresponds to the following 3 ˆ 3 matrix
¨ ˛
1 ´ 2b2 ´ 2c2 ´2ab ´ 2cd ´2ac ` 2bd
˝ 2ab ´ 2cd 1 ´ 2b2 ´ 2d2 ´2ad ´ 2bc ‚.
2ac ` 2bd 2ad ´ 2bc 1 ´ 2c2 ´ 2d2
This is an orthogonal matrix with the determinant 1, and sends pd, ´c, bqT to itself.
Therefore, it represents the rotation in R3 around the direction pd, ´c, bqT P R3 . It
rotates by the angles 2θ satisfying cos θ “ a and sin2 θ “ b2 ` c2 ` d2 , and every
rotation in R3 arises in this way.
Note that the transpose map T : M2h Ñ M2h is also unital and trace preserving.
Since Tpσx q “ σx , Tpσy q “ ´σy and Tpσz q “ σz , we see that the trace map induces
the reflection ¨ ˛
1 0 0
˝0 ´1 0‚,
0 0 1
which is an orthogonal matrix with the determinant ´1. We recall that every
orthogonal matrix which is not a rotation can be expressed by the composition of a
25
rotation and the above reflection. We also recall that a linear map φ between Rn is
an isometry, that is, }φpxq} “ }x} for every x, if and only if φ preserves the inner
product if and only if it is represented by an orthogonal matrix. Therefore, we have
the following:
% P D2 ùñ φp%q P D2 .
Proposition 1.3.2 Let Cn be the convex set of all contractions between Rn . A linear
map φ P Cn is an extreme point of Cn if and only if φ is an isometry.
26
`
φ sends every nonzero element in Mm to an interior point of Mn` by Proposition
1.2.5. In short, φpaq is nonsingular whenever a is nonzero. It is easy to see that φ
is an interior point of P1 if and only if φ˚ is an interior point of P1 .
Proposition 1.3.3 Let φ be an interior point of the convex cone P1 rMn , Mn s. Then
there exist nonsingular a, b P Mn` such that the map φ̃ :“ Ada ˝φ ˝ Adb is positive,
unital and trace preserving.
Proof. We note that φ̃ is unital if and only if aφpb2 qa “ I if and only if the identity
φpb2 q´1 “ a2 (1.19)
holds, and φ̃ is trace preserving if and only if AdbT ˝φ˚ ˝ AdaT is unital if and only if
φ˚ pa2T q´1 “ b2T , (1.20)
where a2T “ pa2 qT “ paT q2 has the obvious meaning. We define the map f from Dn
into itself by
1
f psq “ T
φrφ˚ psT q´T s´1 , s P Dn ,
Tr φrφ ps q s
˚ ´T ´1
which is a continuous self map on the compact convex set Dn . By Brower’s fixed
point theorem, there exists s0 P Dn such that f ps0 q “ s0 . We take a, b P Mn` so that
a2 “ s 0 , b2 “ φ˚ pa2T q´T .
The second identity tells us that a and b satisfy (1.20), and so φ̃ is trace preserving.
Furthermore, we have
1 1
a2 “ s0 “ φrφ˚ pa2T q´T s´1 “ φpb2 q´1
t t
with t “ Tr φrφ˚ pa2T q´T s´1 , which implies In “ taφpb2 qa “ tφ̃pIn q. Because φ̃ is
trace preserving, we have t “ 1. Therefore, we conclude that φ̃ is unital by (1.19).
˝
Therefore, we conclude that every interior point φ of the convex cone P1 rM2 , M2 s
is decomposable. By the exactly same argument as in Proposition 1.2.6, it is easily
seen that the convex cone SPm^n ` SPm^n is also closed. Therefore, we have the
following:
Theorem 1.3.4 Every positive map in P1 rM2 , M2 s is decomposable.
From this, we see that every extremal positive map between 2 ˆ 2 matrices is of
the form Ads or Ads ˝T for a 2 ˆ 2 matrix s. It is known [129] that every positive
map in P1 rM2 , M3 s and P1 rM3 , M2 s is also decomposable. We will see in Section
1.5 that this is not the case for P1 rM3 , M3 s. Concrete examples of indecomposable
positive linear maps will be given in Section 1.6.
References: [111], [129], [6], [7]
27
1.4 Choi matrices and separable states
For a given linear map φ from Mm into Mn , we associate the Choi matrix Cφ in the
tensor product Mm b Mn which plays a central role throughout the topics. With
this isomorphism φ ÞÑ Cφ , 1-superpositive maps correspond to separable states, and
composition with the transpose map corresponds to taking the partial transpose.
φ ÞÑ Cφ : LpMm , Mn q Ñ Mm b Mn
for a P Mm and b P Mn . The identity (1.21) may be used as the definition of the
Choi matrix, because it determines the entries of the Choi matrix when a “ |iyxj|
and b “ |kyx`|.
If φ maps from Mm into Mn then φ˚ interchanges the domain and the range,
and so Cφ˚ belongs to Mn b Mm . For given a P Mm and b P Mn , we have
28
Proof. By the definition of Choi matrix, we see that Cφ is Hermitian if and only if
the following
φp|iyxj|q˚ “ φp|jyxi|q, i, j “ 1, 2, . . . , m (1.23)
holds. Recall that φ is Hermiticity preserving if and only if φpaq˚ “ φpa˚ q for every
a P Mm , which implies (1.23). Conversely, the relation (1.23) implies
ř
for a “ aij |iyxj| P Mm . ˝
A matrix % P Mm b Mn is called block-positive when
xζ|%|ζy ě 0
holds for every product vector |ζy P Cm b Cn . Compare with the definition (1.1)
of positive matrices. The convex cone of all block-positive matrices is denoted by
BP 1 rMm b Mn s or just by BP 1 .
Proof. We note that φ is positive if and only if φp|ξyxξ|q is positive in Mn for every
|ξy P Cm if and only if
¯
x|ηyxη|, φp|ξyxξ|qy “ x|ξyxξ| b |ηyxη|, Cφ y “ x|ξy|ηyxξ|xη|, Cφ y “ xξ|xη̄|C ¯
φ |ξy|η̄y
29
T | “ pa, c, b, dq, and
We also have xsĂ
¨ ˛
|a|2 āc āb ād
˚ c̄a |c|2 c̄b c̄d ‹
CpAds q˚ “ CAdsT ˝ b̄a b̄c |b|2 b̄d ‚,
“˚ ‹
¯
da ¯
dc ¯ |d|2
db
¯ and so we
which is the flip of CAds . On the other hand, we have xsr˚ | “ pā, c̄, b̄, dq,
see that CAds˚ is the conjugation of the flip of CAds .
Ó JC Ó Ó Ó Ó (1.25)
Mm b Mn : S1 Ř Sk Ř pMm b Mn q` Ř BP 1
30
a state % is separable if and only if there exists a finite family of product vectors
t|ξi y|ηi yu satisfying ÿ
%“ |ξi y|ηi yxξi |xηi |. (1.26)
i
If we restrict ourselves to the case of normalized states with trace one, then we have
ÿ
%“ pi |ξi y|ηi yxξi |xηi |
i
with unit vectors |ξi y, |ηi y and probability distribution tpi u. A state in the tensor
product Mm b Mn is called a bi-partite state, or more precisely an m b n state to
emphasize the size of matrices.
`
We denote by Mm b Mn` the convex cone generated by a b b with a P Mm `
and
`
b P Mn ;
`
Mm b Mn` :“ conv ta b b P Mm b Mn : a P Mm `
, b P Mn` u.
`
Since |ξy|ηyxξ|xη| “ |ξyxξ| b |ηyxη| belongs to Mm `
b Mn` , we have S1 Ă Mm b Mn` .
ř `
ř
Conversely, if a “ p |ξp yxξp | P Mm and b “ q |ηq yxηq | P Mn` then we have
ÿ
abb“ |ξp y|ηq yxξp |xηq |
p,q
31
is of Schmidt number one, or equivalently separable, because the range vector
T
is of Schmidt number
ˆ ˙two, and so entangled, because the range vector p1, 0, 0, 1q
1 0
corresponds to which is of rank two.
0 1
Note that the matrix in (1.28) is the Choi matrix of the identity map on M2 .
The Choi matrix
n
ÿ
Cid “ |iyxj| b |iyxj| “ |ωyxω|
i,j“1
plays an important role. It is a bi-partite state with the maximal Schmidt number.
ř
In general, a pure state % “ |ζyζ| is called maximally entangled if |ζy “ |ξi y b |ηi y
with orthonomal bases t|ξi yu and t|ηi yu. On the other hand, the identity matrix in
Mm b Mn is the Choi matrix of the trace map
Tr : X ÞÑ Tr pXqIn , X P Mm .
The trace map may be considered to be located at the center of the convex cone P1
of all positive maps, by the location of the identity matrix in Mm b Mn . In fact,
we will see in Section 2.3 that the converse of Proposition 1.2.5 holds, and so the
trace map is an interior point of the convex cone P1 rMm , Mn s. On the other hand,
the identity map between Mn is located at a corner of the convex cone P1 rMn , Mn s,
since it generates an extreme ray of P1 .
For given complex numbers α, β with modulus one, we take a product vector
32
to get the pure separable state
¨ ˛
1 β̄ ᾱβ ᾱ
˚β 1 ᾱβ 2 ᾱβ ‹
‹.
|ζyxζ| “ ˚
˝αβ̄ αβ̄ 2 1 β̄ ‚
α αβ̄ β 1
Taking β “ 1, i, ´1, ´i, and averaging the corresponding states, we get the following
separable state ¨ ˛
1 ¨ ¨ ᾱ
˚¨ 1 ¨ ¨‹
˝ ¨ ¨ 1 ¨ ‚ P M2 b M2 . (1.29)
˚ ‹
α ¨ ¨ 1
For double indices pi, kq and pj, `q from t1, . . . , muˆt1, . . . , nu with pi, kq ‰ pj, `q,
we consider the bi-partite state %pi,kq,pj,`q pαq in Mm b Mn defined by
for a complex number α with modulus one. It is clear that %pi,kq,pj,`q pαq is positive.
If i “ j then the entries α and ᾱ appear in the i-the diagonal block, and so it is
separable. This is also the case when k “ `. In order to deal with the case i ‰ j
and k ‰ `, we consider the product vector
|ζy “ p|iy ` αβ̄|jyq b p|ky ` β|`yq “ |iky ` β|i`y ` αβ̄|jky ` α|j`y. (1.30)
By the exactly same way to get the separable state (1.29), we see that %pi,kq,pj,`q pαq is
separable whenever |α| “ 1, by adding diagonal entries. Now, it is easily seen that
make a linearly independent family with the cardinality pmnq2 . Therefore, we con-
clude that S1 rMm b Mn s has nonzero volume in pMm b Mn q` .
References: [128], [34], [124], [40], [106]
33
which is not positive.
We see that CT P Mn pMn q is the block-wise transpose of Cid as an n ˆ n matrix
with entries from Mn . Every % P Mm b Mn is uniquely expressed by
m
ÿ
%“ |iyxj| b %ij
i,j“1
In short, we have
T ˝ φ ˝ T “ φ̄,
for a Hermiticity preserving map φ. Therefore, we also have
pa b bqΓ “ aT b b
pa b bqΓ “ aT b b “ a˚ b pb˚ qT “ a b bT .
`
Because S1 “ Mm b Mn` and the transpose of a positive matrix is again positive,
we have the following:
34
Theorem 1.4.3 The partial transpose of a separable state is positive.
A positive matrix is called of positive partial transpose or just PPT if its partial
transpose is positive. Theorem 1.4.3, which is called the PPT criterion for sepa-
rability says that every separable state is of PPT. It is also can be seen from the
inclusion relation (1.15). On the other hand, Proposition 1.2.7 tells us that if a rank
one state in Mm b Mn is of PPT then it should be separable. More generally, it is
known [63] that if a PPT state in Mm b Mn has rank at most maxtm, nu then it is
separable.
Note that the matrix in (1.27) is of PPT, but the matrix Cid in (1.28) is not of
PPT, from which we may infer that Cid is not separable. In fact, we know that the
positive map id “ AdI is not 1-superpositive, because rank I ą 1. The convex cone
of all m b n PPT state will be denoted by PPT rMm b Mn s or just by PPT . Then
we have S1 Ă PPT Ă Sm^n “ pMm b Mn q` in the diagram (1.25). The converse of
Theorem 1.4.3 does not hold in general.
References: [24], [94], [63]
Im a ` Im b “ Im pa ` bq, a, b P Mn` .
This simple fact is useful to show that a given state is not separable, because the
ř
expression % “ |ζi yxζi | gives rise to the restriction |ζi y P Im %. In fact, we note
that the following
Im % “ span t|ζi yu
ř
holds for a positive matrix % “ |ζi yxζi |.
It is easily seen that the following matrix
¨ ˛
1 ¨ ¨ ¨ 1 ¨ ¨ ¨ 1
˚ ¨ 1 ¨ 1 ¨ ¨ ¨ ¨ ¨ ‹
˚ 2 ‹
˚ ¨ ¨ 2 ¨ ¨ ¨ 1 ¨ ¨ ‹
˚ ‹
˚ ‹
˚ ‹
˚ ¨ 1 ¨ 2 ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
%“˚ ˚ 1 ¨ ¨ ¨ 1 ¨ ¨ ¨ 1 ‹
‹ (1.33)
1
˚ ¨ ¨ ¨
˚ ¨ ¨ 2
¨ 1 ¨ ‹
‹
˚ ‹
˚ 1
‹
˚ ¨ ¨ 1 ¨ ¨ ¨ ¨ ¨ ‹
˚ 2 ‹
˝ ¨ ¨ ¨ ¨ ¨ 1 ¨ 2 ¨ ‚
1 ¨ ¨ ¨ 1 ¨ ¨ ¨ 1
35
is a PPT state. In fact, we have %Γ “ %. We see that the range is the 4-dimensional
space which is spanned by
If % is separable, then the four dimensional space spanned by these four matrices
must contain rank one matrices. In other words, there exist a, b, c, d P C such that
¨ ? ˛
a ?b d 2
˚b?2 a2 c
? ‚
‹
˝ ? 2
?d c 2 a
2
is of rank one. Considering various 2 ˆ 2 submatrices, one see easily that this is not
possible. Therefore, we conclude that % is an entangled state.
A nonzero subspace of Cm b Cn is called entangled when it has no nonzero
product vector. A state is entangled whenever its range space is entangled. We
have seen that the four dimensional subspace of C3 b C3 spanned by four vectors in
(1.34) is entangled.
Even though the range space of a state is not entangled, a PPT state % may be
shown to be entangled by considering the range space of the partial transpose %Γ
as well as the range space of % itself. Suppose that % is a separable state with the
expression in (1.26) whose range space is spanned by the product vectors |ξi y|ηi y.
By the relation
36
Theorem 1.4.4 Suppose that % is a PPT state. If % is separable then there exists
a finite family t|ξi y|ηi yu of product vectors satisfying
¯
The vector |ξy|ηy is called the partial conjugate of the product vector |ξy|ηy.
Theorem 1.4.4 is called the range criterion for separability which is especially useful
for PPT states whose range is not full. For an example, we consider the following
PPT state %p defined by
¨ ˛
p ¨ ¨ ¨ p ¨ ¨ ¨ p
˚ ¨ p2 ¨ ¨ ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
˚ ¨ ¨ 1 ¨ ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
˚ ¨ ¨ ¨ 1 ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
%p “ ˚˚ p ¨ ¨ ¨ p ¨ ¨ ¨ p ‹,
‹ (1.36)
˚ ¨ ¨ ¨ ¨ ¨ p2 ¨ ¨ ¨ ‹
˚ ‹
˚ ¨ ¨ ¨ ¨ ¨ ¨ p2 ¨ ¨ ‹
˚ ‹
˝ ¨ ¨ ¨ ¨ ¨ ¨ ¨ 1 ¨ ‚
p ¨ ¨ ¨ p ¨ ¨ ¨ p
We note that ranks of %p and %Γp are 7 and 6, respectively. We also note that the
kernels of %p and %Γp are spanned by
¨ ˛ ¨ ˛ ¨ ˛ ¨ ˛ ¨ ˛
1 ¨ ¨ ¨ ¨
˚ ¨ ‹ ˚ ¨ ‹ ˚´1‹ ˚ ¨ ‹ ˚ ¨ ‹
˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹
˚ ¨ ‹ ˚ ¨ ‹ ˚ ¨ ‹ ˚ ¨ ‹ ˚p‹
˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹
˚ ¨ ‹ ˚ ¨ ‹ ˚p‹ ˚ ¨ ‹ ˚ ¨ ‹
˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹
˚´1‹ , ˚ 1 ‹ and ˚ ¨ ‹, ˚ ¨ ‹, ˚ ¨ ‹,
˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹
˚ ¨ ‹ ˚ ¨ ‹ ˚ ¨ ‹ ˚´1‹ ˚ ¨ ‹
˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹
˚ ¨ ‹ ˚ ¨ ‹ ˚ ¨ ‹ ˚ ¨ ‹ ˚´1‹
˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹ ˚ ‹
˝ ¨ ‚ ˝ ¨ ‚ ˝ ¨ ‚ ˝p‚ ˝ ¨ ‚
¨ ´1 ¨ ¨ ¨
respectively.
37
If %p is separable then there exists a product vector |ξy|ηy P Im % such that
¯
|ξy|ηy P Im %Γ . We write |ξy “ px1 , x2 , x3 qT P C3 and |ηy “ py1 , y2 , y3 qT P C3 then we
have
|ξy|ηy “ px1 y1 , x1 y2 , x1 y3 , x2 y1 , x2 y2 , x2 y3 , x3 y1 , x3 y2 , x3 y3 qT P C3 b C3 .
x1 y 1 “ x2 y 2 ,
x2 y 2 “ x3 y 3 ,
x̄1 y2 “ px̄2 y1 , (1.37)
x̄2 y3 “ px̄3 y2 ,
x̄3 y1 “ px̄1 y3
We note that this system of equations has four unknowns up to scalar multiplications
and five equations, and so we may expect that there is no nontrivial solution like
|ξy|ηy ‰ 0. In fact, one can easily see that (1.37) has a nontrivial solution only when
p “ 1. Therefore, we conclude that %p is a PPT entangled states for p ‰ 1.
References: [129], [24], [113], [62], [83], [68], [69]
Lφ px b yq “ φpxqpyq, x P X, y P Y, (1.38)
38
which is nothing but the reformulation of (1.38) in terms of bilinear pairing between
matrices. Therefore, it is natural to define the bilinear pairing between Mm b Mn
and LpMm , Mn q by
Suppose that X and Y are finite-dimensional real spaces which are dual to
each other through a non-degenerate bilinear pairing x , y, that is, x P X satisfies
xx, yy “ 0 for every y P Y implies x “ 0, and same for y P Y . To be precise, we define
the linear map σX : X Ñ Y ˚ ; for a given x P X, we define σX pxq P Y ˚ as the linear
functional which sends y to xx, yy. Then non-degeneracy condition tells us that σX
is injective, and so we have dim X ď dim Y . By the similar map σY : Y Ñ X ˚ , we
have dim X “ dim Y , and both σX and σY are linear isomorphisms. Throughout
this note, we always assume that a bilinear pairing is non-degenerate.
For a given subset C of X, we define the dual cone C ˝ in Y by
39
and the dual cone D˝ Ă X similarly for a subset D of Y . If C is a closed convex
cone in a finite dimensional real vector space X and x0 R C, then it is known that
there exists a linear functional f on X such that f pxq ě 0 for every x P C and
f px0 q ă 0. From this, we have the following:
Proposition 1.5.1 For any subset C of X, the bidual cone C ˝˝ is the smallest
closed convex cone containing C.
k
ÿ
|ζyxζ| “ |xi yxxj | b |yi yxyj |,
i,j“1
Putting
k
ÿ k
ÿ
k m
|ξy “ |iy|xi y P C b C , |ηy “ |iy|yi y P Ck b Cn ,
i“1 i“1
we see that
x|ζyxζ|, Cφ y “ x|ηyxη|, pidk b φqp|ξyxξ|qy. (1.43)
Therefore, we have the following:
40
Theorem 1.5.2 A map φ : Mm Ñ Mn belongs to SP˝k if and only if the map idk b φ
from Mk b Mm into Mk b Mn is positive.
We say that φ is k-positive if the map idk b φ is positive, and completely positive
if it is k-positive for every k “ 1, 2, . . . . The convex cone of all k-positive maps
(respectively completely positive maps) from Mm into Mn is denoted by Pk rMm , Mn s
(respectively CPrMm , Mn s).
(iv) Cφ is positive.
Proof. Since the convex cone pMm b Mn q` is self-dual, the equivalences between
(ii), (iii) and (iv) follows from Theorem 1.5.2. By the relation
Σa : x ÞÑ a ˝ x, x P Mn (1.44)
which is positive. Considering the partial transpose CΓΣa , we see that CΣa is separable
if and only if it is diagonal by Theorem 1.4.3.
By the statement (iii) of Theorem 1.5.3, every completely positive map φ is of
the form ÿ
φ“ Adsi
iPI
for a finite family tsi : i P Iu of mˆn matrices. This is called a Kraus decomposition
ř
of φ. This decomposition is obtained from a decomposition of Cφ “ |ξi yxξi | into
the sum of rank one positive matrices |ξi yxξi |, and so it is far from being unique.
41
If we take t|ξi yu to be linearly independent then we can also take a decomposition
ř
φ “ Adsi so that tsi u is linearly independent m ˆ n matrices.
A state % P Mm b Mn is called k-block-positive if xζ|%|ζy ě 0 for every vector
|ζy P Cm b Cn with SR |ζy ď k. Since x|ζyxζ|, Cφ y “ xζ̄|Cφ |ζ̄y, we also see that φ
is k-positive if and only if Cφ is k-block-positive. The convex cone of all k-block-
positive matrices in Mm b Mn is denoted by BP k rMm b Mn s. We complement the
diagram (1.25) as follows:
Ó JC Ó Ó Ó Ó Ó (1.45)
Mm b Mn : S1 Ř Sk Ř pMm b Mn q` Ř BP k Ř BP 1
In this diagram, SPk and Pk are dual to each others with respect to the pairing
(1.40). On the other hand, the duality relation between Sk and Pk with respect to
the pair (1.39) may be stated as follows:
Compositions of k-positive maps by the transpose map give rise another impor-
tant class of positive maps. We denote by Tk the transpose map on Mk .
(i) φ ˝ Tm is k-positive,
(ii) Tn ˝ φ is k-positive,
(iii) Tk b φ is positive,
42
tells us that (ii) and (iii) are equivalent, because both Tk b Tm and its inverse are
positive maps. ˝
We say that φ is k-copositive when φ satisfies the conditions in Proposition 1.5.5,
and completely copositive when it is k-copositive for every k “ 1, 2, . . . . The convex
cone of all completely copositive maps will be denoted by CCP, or CCPrMm , Mn s
to specify the domain and the range. Then we have
CCPrMm , Mn s “ SPm^n ,
For a given p P Mn` , we denote by CPrMm , Mn ; ps the convex set of all completely
ř
positive maps φ with φpIq “ p. We note that φ “ Adsi belongs to CPrMm , Mn ; ps
ř ř
if and only if s˚i si “ p. For a given completely positive map φ “ iPI Adsi in
CPrMm , Mn ; ps, we take the subspace V “ span tsi : i P Iu. Then every map in FV
ř ř
is of the form ψ “ k Adtk with tk P V . Write tk “ i αik si . Then we have
˜ ¸ ˜ ¸
ÿ ÿ ÿ ÿ
ψpxq “ t˚k xtk “ ᾱik s˚i x αjk sj
k k i j
˜ ¸
ÿ ÿ
“ ᾱik αjk s˚i xsj .
i,j k
ř
We write βij “ k ᾱik αjk . Then we see that ψ P CPrMm , Mn ; ps if and only if
ř ˚
ř ˚
i,j βij si sj “ p, and φpIq “ ψpIq if and only if i,j pβij ´ δij qsi sj “ 0, where δij “ 1
43
for i “ j, and δij “ 0 for i ‰ j. If ts˚i sj : i, j P Iu is linearly independent then we
see that ψ “ φ, that is, the the intersection of FV and CPrMm , Mn ; ps consists of a
single point tφu. Therefore, we conclude that φ is an extreme point of the convex
set CPrMm , Mn ; ps whenever ts˚i sj u is linearly independent. The converse is also
true. We will use the following lemma whose simple proof is omitted.
44
denoted by DECpMm b Mn q or DEC whose member is the sum of a positive matrix
and a copositive matrix. On the other hand, the linear map corresponding to a
PPT matrix will be also called a PPT map, and the convex cone of all PPT maps
is denoted by PPTrMm , Mn s or PPT. A map is a PPT map if and only if it is both
completely positive and completely copositive. We may summarize as follows:
Ó JC Ó Ó Ó Ó Ó (1.47)
Suppose that C1 and C2 are closed convex cones in a finite dimensional real
vector space X. Then the identity pC1 ` C2 q˝ “ C1˝ X C2˝ is easily seen. We also
have a clear inclusion pC1 X C2 q˝ Ą C1˝ ` C2˝ , from which we have
for closed convex cones C1 and C2 . Therefore, we see that two convex cones PPT
and DEC are dual to each other with respect to the pairing (1.40). On the other
hand, PPT and DEC are dual with respect to the pairing (1.39).
In view of two diagrams (1.45) and (1.47), it is natural to look for any relations
between PPT and Sk , or equivalently those between DEC and Pk . We first note that
S1 rMm b Mn s “ PPT rMm b Mn s holds if and only if DECrMm , Mn s “ P1 rMm , Mn s
holds. Theorem 1.3.4 tells us the relation DECrM2 , M2 s “ P1 rM2 , M2 s holds, by
which we also have
S1 rM2 b M2 s “ PPT rM2 b M2 s.
45
By the example (1.33), we know that the strict inclusion
DECrM3 , M3 s Ř P1 rM3 , M3 s.
We will see a concrete example for this strict inclusion in the next section. It was
shown in [18] that the following inclusion
holds for a special class of linear maps, and the equivalent dual inclusion relation
had been conjectured in [100]. The relation (1.49) was proved in [133], and the
relation Pn´1 rMn , Mn s Ă DECrMn , Mn s is conjectured in [26].
It is also an interesting question to ask how large Schmidt numbers are attained
by PPT states. It is known [17, 65, 14] that PPT states may have arbitrary large
Schmidt numbers when we increase the size of matrices. It is equivalent to look for
indecomposable k-positive maps for large k. See [10]. In the case of m ě 3 and
n “ 4, it is unknown if there exists a PPT state with Schmidt number greater than
2, or equivalently if there exists an indecomposable 2-positive map.
References: [129], [18], [100], [133], [17], [65], [26], [14], [10]
CP “ Pn Ř Pn´1 Ř ¨ ¨ ¨ Pk Ř ¨ ¨ ¨ Ř P1 .
46
We first look for explicit examples to distinguish the above convex cones.
We recall that the trace map n1 Tr n is located in the center of the convex cone
CP, and the identity map idn generates an extreme ray of P1 . We consider the line
segment between these two maps to define
1
φλ “ p1 ´ λq Tr n ` λ idn , ´8 ă λ ă `8. (1.50)
n
It is clear that φλ P CP for λ P r0, 1s, and φλ P P1 implies λ ď 1. We have
n n
ÿ 1´λ ÿ
Cφλ “ |iyxj| b δij In ` λ |iyxj| b |iyxj|
i,j“1
n i,j“1
1´λ
“ In b In ` λ|ωyxω|,
n
with |ωy “ ni“1 |iy|iy P Cn b Cn . We take |ζy “ ki“1 |iy|iy with SR |ζy “ k. If
ř ř
φλ P Pk then we have
1´λ k
0 ď xCφλ , |ζyxζ|y “ k ` λk 2 “ r1 ` λpnk ´ 1qs,
n n
from which we get a necessary condition
´1
ďλď1 (1.51)
nk ´ 1
´1
for φλ P Pk . When λ “ nk´1
, the map φλ is the scalar multiplication of the map
In order to show that (1.51) is also sufficient for φλ P Pk , it suffices to show that τn,k
is k-positive. For this purpose, we need the following:
(i) φ is k-positive,
47
|ξ¯i yxξ¯j |bφp|ξi yxξj |q P Mm bMn is positive for every orthornormal family
řk
(v) i,j“1
tξi : i “ 1, 2, . . . , ku in Cm .
řk
(vi) i,j“1 |iyxj| b φp|ξi yxξj |q P Mk b Mn is positive for every orthornormal family
tξi : i “ 1, 2, . . . , ku in Cm .
xφ, Ads y “ xφ, Adps y “ xφ, Ads ˝ Adp y “ xAdsT ˝φ, Adp y “ xAdsT , Adp ˝φ˚ y.
By the assumption, Adp ˝φ˚ is completely positive, and so we have xφ, Ads y ě 0 and
conclude that φ is k-positive. The equivalence (ii) ðñ (iii) also comes out from
Theorem 1.5.3, since the Choi matrix of Adp ˝φ˚ is just pIn b pqCφ˚ pIn b pq. Since
Cφ˚ is the flip of Cφ , we see that (iii) and (iv) are equivalent.
We take arbitrary projection p of rank k, and write p “ ki“1 |ξ¯i yxξ¯i | for or-
ř
which shows (iv) ðñ (v). The remaining equivalence between (v) and (vi) is easily
seen by considering the isometry from Ck into Cm which sends |iy to |ξ¯i y. ˝
48
and so it follows that
ÿk k
ÿ k
ÿ
|iyxj| b φp|ξi yxξj |q “ k |iyxi| b In ´ |iyxj| b |ξi yxξj |
i,j“1 i“1 i,j“1
“ kIk b In ´ |ξyxξ|,
řk
with |ξy “ i“1 |iy|ξi y P Ck b Cn . Now, we conclude that kIk b In ´ |ξyxξ| ě 0 holds
since xξ|ξy “ k. ˝
49
In order to get an example of indecomposable positive map, we adjust the diagonal
part of Cτ3,1 as follow:
¨ ˛
1 ¨ ¨ ¨ ´1 ¨ ¨ ¨ ´1
˚ ¨ 1 ¨ ¨ ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
˚ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
˚ ‹
˚ ‹
˚ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
˚ ´1 ¨ ¨
˚ ¨ 1 ¨ ¨ ¨ ´1 ‹.
‹ (1.53)
˚ ¨ ¨ ¨
˚ ¨ ¨ 1 ¨ ¨ ¨ ‹
‹
˚ ‹
˚ ‹
˚ ¨ ¨ ¨
˚ ¨ ¨ ¨ 1 ¨ ¨ ‹
‹
˝ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ‚
´1 ¨ ¨ ¨ ´1 ¨ ¨ ¨ 1
Note that neither the above matrix nor its partial transpose is positive. This is the
Choi matrix of the map defined by
¨ ˛
x11 ` x33 ´x12 ´x13
φch pxq “ ˝ ´x21 x22 ` x11 ´x23 ‚ “ ψpxq ´ x, (1.54)
´x31 ´x32 x33 ` x22
Proof. We have A ě |ξ0 yxξ0 | if and only if I ě A´1{2 |ξ0 yxξ0 |A´1{2 if and only if
}A´1{2 |ξ0 y} ď 1 if and only if xξ0 |A´1 |ξ0 y ď 1. ˝
Now, we see that φch is positive if and only if ψp|ξ0 yxξ0 |q ě |ξ0 yxξ0 | for every unit
vector |ξ0 y if and only if
xξ0 |ψp|ξ0 yxξ0 |q´1 |ξ0 y ď 1
for every unit vector |ξ0 y if and only if the inequality
α β γ
` ` ď1 (1.55)
2α ` γ 2β ` α 2γ ` β
holds for all positive real numbers α, β and γ.
Lemma 1.6.6 The inequality (1.55) holds for all positive real numbers α, β and γ.
50
Proof. Taking x “ αγ , y “ α
β
and z “ βγ , it suffices to show the inequality
1 1 1
` ` ď 1,
2`x 2`y 2`z
or equivalently xy ` yz ` zx ě 3 under the constraint xyz “ 1. This comes out by
comparing the arithmetic and geometric means. ˝
Therefore, we conclude that the map φch is a positive map. One may check that
the bilinear pairing of the matrix (1.53) with the PPT matrix in (1.33) is strictly
negative, and so we also conclude that φch is not decomposable. This is another way
to see that the PPT state in (1.33) is entangled. The map φch in (1.54) is usually
called the Choi map.
Theorem 1.6.7 The Choi map φch defined in (1.54) is a positive map which is not
decomposable.
The Choi map φch had been extended in higher dimensions in various directions
[121, 89, 18, 132, 90, 41]. See also Section 2.5.
References: [22], [25], [23], [121], [89], [18], [132], [90], [41]
51
Therefore, we see that φwo ppα q is positive when α ‰ 0, ´2. For α “ 0, α “ ´2
and α “ 8, the map φwo sends
ˆ ˙ ˆ ˙ ˆ ˙
1 ¨ 1 ´2 ¨ ¨
p0 “ , p´2 “ and p8 “
¨ ¨ ´2 4 ¨ 1
to the matrices
¨ ˛ ¨ ˛ ¨ ˛
4 ´2 ¨ ¨ 24 ´6 ¨ ¨ 3 ¨ ¨ ¨
˚´2 2 ¨ ¨‹ ˚´6 2 ´2 ¨ ‹ ˚¨ ¨ ¨ ¨ ‹
˚ ‹, ˚ ‹ and ˚ ‹,
˝ ¨ ¨ ¨ ¨‚ ˝ ¨ ´2 8 ¨‚ ˝¨ ¨ 2 ´1‚
¨ ¨ ¨ 4 ¨ ¨ ¨ 20 ¨ ¨ ´1 2
respectively, which are positive. Therefore, we see that the map φwo is a positive
map. We note that φppα q is of rank three for every α P C Y t8u. The map φwo is
called the Woronowicz map. The Choi matrix of φwo is given by
¨ ˛
4 ´2 ¨ ¨ ´2 ¨ ¨ ¨
˚´2 2 ¨ ¨ 2 ¨ ¨ ¨ ‹
˚ ‹
˚ ¨
˚ ¨ ¨ ¨ ¨ 1 ¨ ¨ ‹
‹
˚ ¨
˚ ¨ ¨ 4 ¨ ¨ ´2 ¨ ‹
‹
Cφwo “ ˚
˚
‹.
‹
˚´2 2 ¨ ¨ 3 ¨ ¨ ¨ ‹
˚ ‹
˚ ¨
˚ ¨ 1 ¨ ¨ ¨ ¨ ¨ ‹
‹
˝ ¨ ¨ ¨ ´2 ¨ ¨ 2 ´1‚
¨ ¨ ¨ ¨ ¨ ¨ ´1 2
We will see in Section 2.6 that the map φwo in (1.56) is an extremal positive
map. If φwo is decomposable, then it must be of the form Ads or T ˝ Ads , and so
the Choi matrix is of rank one or its partial transpose is of rank one. We see that
neither is the case, and so φwo is not decomposable.
References: [130], [49]
1´λ 1´λ
%λ :“ Cφλ “ In b In ` λ|ωyxω| “ CTr ` λCid (1.57)
n n
52
which is called the isotropic state. We recall that the vector |ωy was defined by
|ωy “ ni“1 |iiy. We have already seen in Proposition 1.6.4 that %Γλ is positive if and
ř
´1 1
only if φλ is completely copositive if and only if n´1 ď λ ď n`1 , and so %λ is a PPT
state if and only if
´1 1
2
ďλď
n ´1 n`1
holds.
When λ “ n´1 2 ´1 , one can show that
n 1
%λ “ In b In ´ 2 |ωyxω| (1.58)
n2 ´1 n ´1
is separable. In fact, we modify the vector |ζy given in (1.30) to define
Adding the separable state 2pn ´ 1q ni‰j |ijyxij|, we finally get the state %λ in (1.58)
ř
53
for φλ P Sk . Since ˆ ˙
nk ´ 1 ´1 k ´1
“ ` 1´ 2 ,
n2 ´ 1 n2 ´ 1 n n ´1
“ ‰
we see that λk :“ nk´1
n2 ´1
divides the interval n´1
2 ´1 , 1 into n subintervals with the
same lengths.
In order to get sufficient conditions for φλ P SPk , we will use special kinds of
symmetries of the identity map idn and its Choi matrix Cid . We call U b V acting
on Cm b Cn a local unitary when both U and V are unitaries acting on Cm and Cn ,
respectively. It is clear that both pU b V q|ζy and |ζy P Cm b Cn share the same
Schmidt ranks, and so it follows that both states
and % have the same Schmidt numbers. For a linear map φ : Cm Ñ Cn , we have
xa b b, AdU bV pCφ qy “ xAdU T bV T pa b bq, Cφ y
“ xAdU T paq b AdV T pbq, Cφ y
“ xAdV T pbq, φ ˝ AdU T paqy
“ xb, AdV ˝φ ˝ AdU T paqy
“ xa b b, CAdV ˝φ˝AdU T y,
and so it follows that
AdU bV pCφ q “ CAdV ˝φ˝AdU T . (1.60)
Two nˆn unitaries U and V satisfy AdU bV pCid q “ Cid if and only if AdV ˝ AdU T “ id
if and only if U T V “ λIn with |λ| “ 1. Especially, we have
Now, we suppose that φ satisfies (1.61) for every unitary U , and proceed to determine
the pk, `q entry
x|kyx`|, φp|iyxj|qy
of φp|iyxj|q for those φ. We first consider the case when one of i, j, k and `, say i, is
different from others. In this case, we take the unitary U satisfying U |iy “ ´|iy and
U |ιy “ |ιy for ι “ j, k and `, to see that x|kyx`|, φp|iyxj|qy “ 0. Therefore, it remains
to determine
54
with i ‰ j and i ‰ k. Taking the unitary U with U |iy “ |iy and U |jy “ i|jy, we see
that x|jyxi|, φp|iyxj|qy “ 0. Taking the unitaries permuting |iy’s, we also see that the
values of
α :“ x|kyxk|, φp|iyxi|qy, β :“ x|iyxj|, φp|iyxj|qy
are independent on the choices of i, j and i, k, respectively. Now, we take the unitary
U with U |iy “ ?12 p|iy ` |jyq and U |jy “ ?12 p|iy ´ |jyq to see that
x|iyxi|, φp|iyxi|qy “ α ` β
where the integration is taken over the unitary group U pnq of all nˆn unitaries with
respect to the Haar measure. More precisely, this map is defined by the relation
ż
xT rφs, ψy “ xAdŪ ˝φ ˝ AdU T , ψy dU, ψ P LrMn , Mn s.
U pnq
55
have T rφs “ αTr n ` βidn for complex numbers α and β. In order to determine the
coefficients α and β, we first note the relations
We take the positive map φ whose Choi matrix is given by Cφ “ nk |ζyxζ| with
|ζy “ ki“1 |iiy P Cn b Cn . Then Cφ has Schmidt number k, and φ is k-superpositive.
ř
We also have
n´k nk ´ 1
α“ 2 , β“ 2
n ´1 n ´1
and T rφs “ φλk with λk “ nk´1 n2 ´1
. Therefore, we conclude that φλk is k-superpositive.
We have already seen that %λ with λ “ n´1 2 ´1 is separable, and so it belongs to Sk for
Theorem 1.7.3 The linear map φλ defined by (1.50) is k-superpositive if and only
if the isotropic state %λ in (1.57) belongs to Sk if and only if λ satisfies
´1 nk ´ 1
ď λ ď .
n2 ´ 1 n2 ´ 1
56
where the map ψλ : Mn Ñ Mn is defined by
Tr
ψλ :“ φλ ˝ T “ p1 ´ λq ` λT.
n
´1
Note that ψλ is positive if and only if φλ is positive if and only if n´1 ď λ ď 1.
Γ
We also recall that %λ is separable if and only if %λ is separable if and only if
´1 1
n2 ´1
ď λ ď n`1 by Theorem 1.7.3.
In order to determine the Schmidt number of %Γλ , we take |ζij y “ |ijy ´ |jiy P
Cn b Cn with Schmidt rank two. Summing up all of them, we have
ÿ ÿ
|ζij yxζij | “ p|ijyxij| ´ |ijyxji|q “ CTr ´ CT ,
iăj i‰j
Theorem 1.7.4 For k “ 2, 3, . . . , n, the Werner state %Γλ belongs to Sk if and only
if ψλ is k-superpositive if and only if if and only if the following
´1 1
ďλď
n´1 n`1
holds.
Proof. Suppose that %Γλ P Sk . Then the positivity of %Γλ implies the condition.
1
When λ “ n´1 ´1
, we have seen that %Γλ P S2 Ă Sk . For λ “ n`1 , we know that
Γ
%λ P S1 Ă Sk . ˝
Therefore, we see that the state %Γλ has Schmidt number two whenever it is not
separable. We exhibit the properties of Werner states corresponding to isotropic
states. By the relation (1.60), we have
AdU bU pCT q “ CT .
57
Proof. We replace φ in Proposition 1.7.1 by ψ “ T ˝ φ to get the condition (iii).
From Proposition 1.7.1 (ii), we also have
with
1 1
α“ xψ, Tr n ´ n1 Tn y, β“ 2 xψ, Tn ´ n1 Tr n y
n2
´1 n ´1
by the exactly same method as that of Proposition 1.7.2. We take |ζy “ |12y´|21y P
Cn b Cn with SR |ζy “ 2. We also take ψ P LpMn , Mn q with Cψ “ |ζyxζ|. Then we
have xψ, Tn y “ ´2 and xψ, Tr n y “ 2, and so, we see that the following linear map
npn ` 2q 1
W rψs “ pTr ´ Tq “ ψ´1{pn´1q
2pn ´ 1q n´1
is 2-superpositive, which recovers the Schmidt number of the corresponding Werner
states.
Finally, we determine λ for which φλ is k-copositive, or equivalently, ψλ is k-
positive, for k “ 2, 3, . . . , n. Suppose that ψλ P Pk . Then we have
Together with Theorem 1.7.5, we see that 2-superpositivity and 2-positivity co-
incide for the linear maps ψλ ’s. We summarize in Figure 1.2.
References: [126], [128]
58
P1
Pk
CP
SPk
SP1
q q q 0r q q r λ
´1 ´1 ´1 1 nk´1
n´1 nk´1 2
n ´1 n`1 n2 ´1
1
SP2 “ CCP “ P2
xψ ˝ φ, σy “ xφ, ψ ˚ ˝ σy “ xψ, σ ˝ φ˚ y.
Proposition 1.8.1 Suppose that K is a closed convex cone satisfying the relation
SP1 Ă K Ă P1 . Then K is a right mapping cone if and only if K ˝ is a right mapping
cone.
59
Proof. Note that K is a right mapping cone if and only if xφ ˝ σ, ψy ě 0 for every
φ P K, σ P CPAA and ψ P K ˝ . By the identity (1.42), this is the case if and only if
xφ, ψ ˝ σ ˚ y ě 0 for every φ P K, σ P CPAA and ψ P K ˝ if and only if K ˝ is a right
mapping cone, since pCPAA q˚ “ CPAA . ˝
It is clear that SPk is a mapping cone, and so all the convex cones in the mapping
space HpMA , MB q appearing in the diagrams (1.45) are mapping cones. If K1 and
K2 are mapping cones then their intersection K1 X K2 and their convex hull K1 ` K2
are also mapping cones. Therefore, all the convex cones of HpMA , MB q appearing
in (1.47) are also mapping cones. We note that K Ă K ˝ CP holds automatically,
and so we have pK ˝ CPq˝ Ă K ˝ in general.
Theorem 1.8.3 For a closed convex cone K of positive maps in the space HpMA , MB q,
the following are equivalent:
60
φ˚1
MA1 - MB1
φ1
σ φ1 b φ2 -
- φ2 ˝ σ ˝ φ˚1
? φ2 ?
MA2 - MB2
where teA
i,j u denotes the matrix units of MA . Therefore, we have
φ1 peA A1
b φ2 qpeA A1
ř ř
Cφ2 ˝σ˝φ˚1 “ i,j i,j q b φ2 pσpei,j qq “
1
i,j pφ1 i,j b σpei,j qq,
1
Theorem 1.8.4 For linear maps φi : MAi Ñ MBi for i “ 1, 2 and σ : MA1 Ñ MA2 ,
we have the identity
Cφ2 ˝σ˝φ˚1 “ pφ1 b φ2 qpCσ q. (1.63)
Since AdU bV “ AdU b AdV , we see that the identity (1.60) is, in fact, a special
case of (1.63).
References: [80]
61
1.8.3 Roles of ampliation
We are going to describe the dual cones in terms of ampliation idA b φ or φ b idB .
To do this, we consider the following diagrams
id φ
MA ÝÝÝAÑ MA MA ÝÝÝÑ MB
§ §
§ ˚ §ψ
đσ đ
φ B id
MA ÝÝÝÑ MB MB ÝÝÝÑ MB
which will give us formulae involving idA b φ and φ b idB . Indeed, we have
From the first line, we see that φ P pK ˝ CPAA q˝ if and only if the ampliation idA b φ
sends pMA b MA q` to CK ˝ . We also see that φ P pCPBB ˝ Kq˝ if and only if φ b idB
sends CK to pMB b MB q` from the second line. Therefore, we have the following:
Theorem 1.8.5 For a closed convex cone K Ă HpMA , MB q of positive maps, the
following are equivalent:
When K ˝ is given by the mapping cone SP1 , the statement (ii) of Theorem 1.8.5
tells us that φ P SP1 rMA , MB s if and only if idA b φ sends every state in MA b MB to
a separable state. In this context, a 1-superpositive map is also called entanglement
breaking. On the other hands, the statement (iv) with K ˝ “ DEC and K ˝ “ Pk
gives rise to following:
(i) φ is decomposable if and only if φ b idB sends PPT states to positive matrices,
(ii) φ is k-positive if and only if φ b idB sends states with Schmidt numbers ď k
to positive matrices.
62
Every vector |ζy “ `i“1 |ξi y|ηi y P CA b CA has Schmidt number ď k whenever
ř
is positive whenever ` ď k if and only if `i,j“1 |ηi yxηj | b φp|ξi yxξj |q is positive when-
ř
ever ` ď k. Compare with the conditions (v) and (vi) of Proposition 1.6.1.
The dual cone of a mapping cone can be also explained in terms of Choi matrices
of maps in the dual cone. To do this, we consider the following diagrams
id ψ
MA ÝÝÝAÑ MA MA ÝÝÝÑ MB
§ §
§φ §φ
đ đ
ψ˚ B id
MB ÝÝÝÑ MA MB ÝÝÝÑ MB
to get the identities
Theorem 1.8.7 For a closed convex cone K Ă HpMA , MB q of positive maps, the
following are equivalent:
63
The most important case occurs when k “ 1; a state % is separable if and only
if pψ b idB qp%q ě 0 for every positive map ψ : MA Ñ MB . If we take ψ “ T, the
transpose map, then we have the PPT criterion; if % is separable then pTbidqp%q ě 0.
We see that x%, Ty ě 0 if and only if x%Γ , Cid y ě 0. This condition tells us that the
sum of some coefficients of %Γ is nonnegative. Therefore, we see that the condition
pψ b idB qp%q ě 0 is much stronger than x%, ψy ě 0 to detect entanglement.
References: [70], [113], [114], [60], [34], [124], [27], [36], [80],
Theorem 1.8.9 Suppose that K is a closed convex cone of positive maps in HpMA , MB q.
Then the following are equivalent:
(i) K is a left mapping cone,
We note that the dual cones are described in terms of images of Cid under the
tensor product φ b ψ in Theorem 1.8.9. Finally, we explore properties of φ b ψ
themselves in terms of dual cones. To do this, we put arbitrary τ in the places of
idA to get
φ
MA ÝÝÝÑ MB
§
§τ
đ
ψ
MA ÝÝÝÑ MB
64
together with the identity
xσ ˚ ˝ ψ ˝ τ, φy “ xψ ˝ τ, σ ˝ φy “ xψ ˝ τ ˝ φ˚ , σy “ xpφ b ψqpCτ q, Cσ y.
Then we see that φ P pCPBB ˝K ˝CPAA q˝ if and only if φbψ sends positive matrices
to positive matrices for every ψ P K, that is, φbψ is a positive map for every ψ P K.
Therefore, we have the following:
65
(ii) Cφ belongs to Sk , that is, has the Schmidt numbers ď k,
¯ ξ|y
Ads paq “ |ηyxξ|a|ξyxη| “ xξ|a|ξy |ηyxη| “ xa, |ξyx ¯ |ηyxη|.
66
theorem tells us that every completely positive map is of the form V ˚ πp ¨ qV for a
˚-homomorphism π and a bounded linear map V . See [92].
Størmer defined the notion of decomposability in his paper [111] of 1963 by maps
of the form V ˚ πp ¨ qV with Jordan homomorphisms π which preserve Hermiticity and
square of Hermitian elements. It was shown later in [112] that a map is decomposable
in this sense if and only if it is the sum of a completely positive map and a completely
copositive map. In the paper [111], extremeness of the map Ads in Theorem 1.2.4
had been considered in more general situations, and all the extreme points of the
convex set P1 rM2 , M2 , Is of all unital positive maps between 2ˆ2 matrices have been
found explicitly, from which Theorem 1.3.4 follows. We followed [118] and [6, 7] for
the proofs of Theorem 1.2.4 and Theorem 1.3.4, respectively. The maps Ads also
play important roles in matrix theory. Suppose that a map φ : Mn Ñ Mn satisfies
φp0q “ 0 and (1.12). If we suppose further that φ is bijective or continuous then it
is known [109, 87, 104] that φ “ Ads or φ “ Ads ˝T for a nonsingular s P Mn .
Choi matrices have been introduced by de Pillis [32] in 1967, where Proposition
1.4.1 was shown. Propositions 1.4.2 and Theorem 1.5.3 were given by Jamiolkowski
[67] in 1972 and Choi [21] in 1975, respectively, after whom the one-to-one cor-
respondence φ ÞÑ Cφ is now called the Jamiolkowski–Choi isomorphism. Kraus
decomposition of completely positive maps were found independently [72, 73]. We
ř
note that the matrix i,j |jyxi| b φp|iyxj|q has been considered in [32] and [67],
ř
instead of Cφ “ i,j |iyxj| b φp|iyxj|q. Recall that the notions of Hermitcity and
1-block-positivity are invariant under taking partial transposes. Further variants
has been considered in [93, 80, 79, 54]. The Choi matrix can be defined for infi-
nite dimensional cases [57, 58, 84, 119, 35, 50, 85, 37] in various situations, and
multi-linear maps between matrix algebras [78, 52, 53]. Since Arveson’s extension
theorem for completely positive maps [4] and Choi’s Theorem 1.5.3 on the corre-
spondence between completely positivity of maps and positivity of Choi matrices,
it has been widely accepted by operator algebraists that completely positive maps
serve as morphisms for operator algebras reflecting noncommutative order struc-
tures, and important notions like nuclearity and injectivity have been described in
terms of completely positive maps. See the survey article [33]. Theorem 1.5.8 on
the extreme points of unital completely positive maps is also taken from [21].
The notion of duality between tensor products and linear maps in (1.39) goes
back to the work of Woronowicz [129] in 1976, where he showed that every positive
maps between M2 and M3 are decomposable. For this purpose, he utilized the
duality to get the equivalent claim that for any PPT state % P M2 b M3 there
¯
exists a product vector |ξy|ηy P Im % such that |ξy|ηy P Im %Γ . This is equivalent in
principle to the claim that every 2 b 3 PPT state in M2 b M3 is separable, as it was
noticed later by Horodecki’s in the paper [60] of 1996, where the duality between
67
S1 and P1 was also given. Theorem 1.5.4 (i) on the duality between k-positivity
and states of Schmidt number ď k was obtained in [34]. The duality between linear
maps through (1.40) was defined in [107]. Duality between separability of states and
positivity of maps can be extended for infinite dimensional cases [115].
The linear map τn,n´1 in (1.52) with k “ n ´ 1, which was given by the 1972
paper of Choi [20], is the first concrete example of a linear map which distinguishes
complete positivity and k-positivity. The equivalent condition (iv) of Proposition
1.6.1 to the k-positivity is implicit in [20] and stated in [120] clearly. The condition
(vi) of Proposition 1.6.1 together with Theorem 1.6.3 is due to Tomiyama [126].
After the first example of indecomposable positive map in [22], Choi and Lam [25]
constructed the Choi map φch in (1.54), which is known to be extreme [42]. The
linear map from M2 into M4 given by (1.56) was constructed by Woronowicz [130] in
the contexts of non-extendibility which has a close relationship with extremeness of
positive maps. There are other examples [122] of indecomposable maps between M2
and M4 . See also [112] for infinite family of indecomposable positive maps in other
dimensions. Further interesting properties of two maps by Choi and Woronowicz
will be discussed in the next chapter.
The notion of entanglement had been originated from the work by Einstein,
Podolsky and Rosen in the 1930’s. It was defined for general mixed states by Werner
[128] in 1989 under the name of Einstein-Podolsky-Rosen correlation. Separable
states, which were defined as convex combinations of product states, were called
to be classically correlated in the paper. The notion of Schmidt numbers of bi-
partite states has been considered in [34] under the name k-simple vectors following
Woronowicz’ terminology [129], together with Theorem 1.5.2. The term Schmidt
numbers were introduced in [124], where Corollary 1.8.8 was shown. It was shown
in [40] that every state in the unit ball around the identity Imn P Mm b Mn with
respect to the norm } ¨ }HS is separable. It is very hard in general to prove that
a given state is entangled, since we have to show that some kinds of expressions
are not possible. In fact, it is now known [39] that it is an N P hard problem in
general to decide if a given state is separable or entangled. Positive maps play
crucial roles in this problem by duality: A state % is entangled if and only if there
exists a positive map φ such that x%, φy ă 0. This will be the main topic of the
next chapter. Theorem 1.4.3, which is now called the PPT criterion, was presented
by Choi [24] in 1980 together with the example (1.33) of a PPT entangled state,
and rediscovered by Peres [94] in 1996. We note that the first example of a PPT
entangled state was given by Woronowicz [129] in 1976 among 2 b 4 states in the
context of decomposability of positive maps. For more criteria for separability, we
refer to survey articles [38, 64]
The Werner states had been introduced by Werner [128] together with Proposi-
68
tion 1.7.5 and the technique using the integration over the unitary group to show
that a given state is separable. It is another problem to look for decomposition
into finitely many product states. See [91]. On the other hands, Horodecki’s [59]
introduced the isotropic states and gave the condition for separability using the cor-
responding invariant properties in Proposition 1.7.1. Theorem 1.7.3 on the Schmidt
numbers of isotropic states was obtained in [124]. The k-copositivity of the map φλ ,
or equivalently k-positivity of ψλ in Theorem 1.7.6 was obtained in [126] by another
application of Proposition 1.6.1.
The notion of superpositive maps has arisen more recently, even though positive
maps of the form (1.64) had been considered by Størmer [114] in 1980’s. In the paper
[61], a map φ was called entanglement breaking when φ satisfies the the condition
(v) of Corollary 1.8.12 with k “ 1, and it was shown that conditions (i), (iii), (iv)
and (xii) are equivalent to (v) in Corollary 1.8.12 together with the Holevo form
[56] in (1.64). On the other hand, a map was called superpositive in [3] when its
Choi matrix is separable. See [5] for the characteristic property of unital completely
positive maps which is not entanglement breaking. Equivalent conditions (ii), (iii)
and (v) of Corollary 1.8.12 for k-superpositive maps were given in [27]. We follow
[106, 108] for the definition of k-superpositivity. We note that Theorem 1.5.2 on the
dual of k-superpositivity recovers the definition of k-positivity.
Mapping cones were introduced by Størmer [114] in the 1980’s in more general
contexts to study the extension problem of positive maps. It was known [107, 117]
that the dual cones of mapping cones can be described in terms of compositions and
tensor products; φ P K ˝ if and only if φ ˝ ψ is completely positive for every ψ P K if
and only if ψ b φ is positive for every ψ P K if and only if pψ b φqpCid q ě 0 for every
for every ψ P K. One-sided mapping cone was introduced quite recently in [36] to see
that some of the above equivalences hold only when K is a one-sided mapping cone.
Results in Section 1.8, which were taken from [36] and [80], recover many known
results in a systematic way. For examples, statements (i) and (ii) of Corollary 1.8.6
were given in [70, 113] and [34], respectively. On the other hand, Corollary 1.8.8 with
k “ 1 gives rise to the Horodecki’s separability criterion [60]; a state % is separable
if and only if pψ b idB qp%q ě 0 for every positive map ψ : MA Ñ MB . The analogous
characterization of states in Sk in terms of k-positive maps is due to [124]. See also
[115] for an infinite dimensional analogue for Horodecki’s separability criterion.
69
70
Chapter 2
Detecting Entanglement by
Positive Maps
We will focus in this chapter on the duality between positive maps and separable
states: A bi-partite state % P Mm b Mn is separable if and only if x%, φy ě 0 holds
for every positive map φ from Mm into Mn . It is clear that this is the case if and
only if the inequality holds for every positive map which generates an extreme ray
of the convex cone P1 of all positive maps. But, it is not so easy to find extremal
positive maps, because we do not know facial structures of the convex cone P1 . In
fact, it is enough to check the inequality for positive maps which generate exposed
rays of P1 , by Straszewicz’s Theorem which tells us that the set of exposed points
of a compact convex set is dense among all extreme points.
We will also consider the question how much entanglement a given positive map
may detect. A positive map will be called optimal when it detects a maximal set of
entanglement. It turns out that the notion of optimality involves facial structures of
P1 again; a positive map is optimal if and only if the smallest face containing it has
no completely positive map. We give a sufficient condition on positive maps which
detect maximal set of entanglement, in terms of exposed faces. This condition,
called the spanning property, is much easier to check, and this explains why we
are interested in exposed faces. We also note that the boundary of a convex cone
consists of maximal faces which are always exposed.
A face is exposed with respect to the bilinear pairing if and only if it is a dual face,
which is determined by a hyperplane given by an element of the dual cone. In order
to detect entangled states with positive partial transposes, we need indecomposable
positive maps, and so it is important to find indecomposable exposed positive maps,
in this contexts. We will exhibit such positive maps in low dimensional cases.
We will see in Section 2.1 that a face F is exposed in the convex if and only if it
coincides with the bidual face F 2 . We also see that every face for completely positive
maps turns out to be exposed, and this is also the case for PPT states. Especially,
71
we show that the map Ads is exposed in the convex cone P1 consisting of all positive
maps. In Section 2.2, we show that the Choi map φch has very special properties; the
smallest face containing φch is not exposed; the smallest exposed face φ2ch containing
φch has a nontrivial intersection with completely positive maps, but has the trivial
intersection with completely copositive maps. We will show in Section 2.3 that a
face is maximal if and only if its dual face is minimal among exposed faces. With
this, we can understand relative locations of convex cones Pk of all k-positive maps.
Section 2.4 will be devoted to explain optimality and spanning properties of positive
maps, and explain them in terms of faces and exposed faces, respectively.
In the remaining part, we will exhibit several examples of indecomposable pos-
itive maps in low dimensions. In Section 2.5, we exhibit parameterized examples
of indecomposable positive maps between 3 ˆ 3 matrices, which are variants of the
Choi map. We will find positive maps among them which distinguish various kinds
of optimality. We also provide in Section 2.6 a sufficient condition for exposedness
of a positive map which is not so difficult to check, and we show that the Woronow-
icz map from M2 into M4 is exposed. We will work with parameterized examples.
Finally, we exhibit in Section 2.7 an example of indecomposable exposed positive
map between 4 ˆ 4 matrices, which was constructed by Robertson.
It is then clear that F 1 is a face of C ˝ , which is said to be the dual face of F . For
an arbitrary subset F of X, we have F Ă F 2 , from which we also have F 3 Ă F 1 .
Therefore, we have F 1 “ pF 2 q1 in general, and we see that every dual face is the dual
face of a face. If F is a face with an interior point x0 then it is also easy to see that
F 1 “ ty P C ˝ : xx0 , yy “ 0u.
72
When tx0 u is a singleton, tx0 u1 is denoted just by x10 .
We say that a face F of a closed convex cone C in X is an exposed face if it is a
dual face of a subset in Y . This means that the face is determined by the hyperplane
tx P X : xx, y0 y “ 0u in X given by a point y0 P C ˝ . In other words, we have
F “ C X tx P X : xx, y0 y “ 0u.
FV “ conv tAds : s P V u
We proceed to show that every face of the convex cone PPT of all PPT states
is also exposed. We begin with more general situations. Recall that we have the
relations (1.48);
holds, where pF1 ` F2 q1 is a face of the convex cone pC1 ` C2 q˝ “ C1˝ X C2˝ and Fi1 is
a face of Ci˝ for i “ 1, 2.
Now, we suppose that Fi is a face of a convex set Ci for i “ 1, 2. Then it is clear
that F1 X F2 is a face of the convex set C1 X C2 whenever it is not empty. Conversely,
suppose that F is a face of C1 X C2 . Take an interior point x of F . We also take the
73
face Fi of Ci in which x is an interior point for i “ 1, 2. Then x is also an interior
point of F1 X F2 , which is a face of C1 X C2 . Because x is an interior point of both
faces F and F1 X F2 of C1 X C2 , we conclude that F “ F1 X F2 . In short, we have
Proof. The inclusion F11 ` F21 Ă F 1 follows from Fi1 Ă F 1 . For the reverse inclusion,
take y P F 1 . Since y P pC1 X C2 q˝ “ C1˝ ` C2˝ , we may write y “ y1 ` y2 with yi P Ci˝
for i “ 1, 2. If we take an interior point x of F1 X F2 , then x P int Fi Ă Ci by (2.3),
and xx, yi y ě 0 for i “ 1, 2. By the relation
F V :“ tAds ˝T : s P V u2 .
FV X F W , (2.4)
for a pair pV, W q of subspaces of Mmˆn . Note that the intersection of two exposed
faces is exposed again by (2.2). By Proposition 2.1.2 and Proposition 2.1.3, we have
the following:
FV “ t% P pMm b Mn q` : Im % Ă V u (2.5)
74
for a subspace of Cm b Cn , with the same notation as in (1.46), and so every face
of the convex cone PPT of all PPT states is also of the form
FV X F W ,
F W “ t%Γ : % P FW u. (2.6)
holds. In order to show that Adσ generates an exposed ray of the convex cone P1 ,
we have to show that the condition (2.7) implies that φ is a scalar multiple of Adσ
by Proposition 2.1.1 (ii).
In the following discussion, we identify Mm b Mn with Mm pMn q “ Mmn , and
the entries of Cφ P Mmn will be denoted by cpi,kq,pj,`q with i, j “ 1, . . . , m and
k, ` “ 1, . . . , n, where pi, kq’s and pj, `q’s are endowed with the lexicographic orders.
Therefore,
75
Note that Aduσv˚ “ Adv˚ ˝ Adσ ˝ Adu , and
φ ÞÑ Adv˚ ˝φ ˝ Adu
ˆ ˙
a11 a12
λm
i,j : ÞÑ a11 |iyxi| ` a12 |iyxj| ` a21 |jyxi| ` a22 |jyxj| P Mm .
a21 a22
m ˆ ˙
ÿ akk ak`
pλm
k,` q
˚
: aij |iyxj| ÞÑ P M2 .
a`k a``
i,j“1
If φ : Mm Ñ Mn then pλnk,` q˚ ˝ φ ˝ λm
i,j is a map from M2 into M2 , whose Choi matrix
is given by just rCφ sJ with J in (2.10). Therefore, we see that if Cφ is block-positive
then rCφ sJ is also block-positive in M2 b M2 .
Lemma 2.1.5 Suppose that % P BP 1 rM2 b M2 s has at most one nonzero diagonal
entry. Then all the other entries of % are zero.
76
Proof. We first consider the case when all the diagonal entries are zero except
for the left upper corner. Then by the definition of block-positivity, the 2 ˆ 2
principal submatrices %tp1,1q,p1,2qu , %tp2,1q,p2,2qu , %tp1,1q,p2,1qu and %tp1,2q,p2,2qu are positive.
Therefore, we see that % is of the form
¨ ˛
a ¨ ¨ α
˚¨ ¨ β ¨‹
Cφ “ ˚ ˝ ¨ β̄ ¨ ¨ ‚ P M2 pM2 q,
‹
ᾱ ¨ ¨ ¨
with a ě 0 and α, β P C. Take xξ| “ p1, x, y, xyq P C2 b C2 whose Schmidt rank is
one. Then we have
for every y P C. This implies that xα ` x̄β “ 0 for every x P C, and so it follows
that α “ β “ 0. The remaining cases can be done in the same way. ˝
Therefore, we see that cpi,kq,pj,`q ‰ 0 only when J contains at least two nonzero
diagonal entries of rCφ sJ . By diagonal entries given in (2.9), this happens only for
cpi,iq,pj,jq and cpi,jq,pj,iq with i, j “ 1, 2, . . . , r and i ‰ j. In this case, J is given by
and the corresponding principal submatrices of CAdσ and Cφ are of the forms
¨ ˛ ¨ ˛
1 ¨ ¨ 1 a ¨ ¨ α
˚¨ ¨ ¨ ¨‹ ˚¨ ¨ β ¨‹
Cid2 “ ˚
˝¨
‹ and % a,b,α,β “ ˝ ¨ β̄ ¨ ¨ ‚,
˚ ‹
¨ ¨ ¨‚
1 ¨ ¨ 1 ᾱ ¨ ¨ b
respectively, with a, b ě 0 and α, β P C. They are Choi matrices of the maps
pλni,j q˚ ˝ Adσ ˝λm n ˚ m
i,j and pλi,j q ˝ φ ˝ λi,j , respectively.
We proceed to show that pλnk,` q˚ ˝ φ ˝ λm n ˚ m 2
i,j belongs to ppλk,` q ˝ Adσ ˝λi,j q in
P1 rM2 , M2 s. To do this, we suppose that s P M2ˆ2 is of rank one matrix satisfying
the relation xpλnk,` q˚ ˝Adσ ˝λm n m ˚
i,j , Ads y “ 0. Then we have xAdσ , λk,` ˝Ads ˝pλi,j q y “ 0.
Since λnk,` is completely positive, we see that λnk,` ˝ Ads ˝pλm ˚
i,j q belongs to SP1 . In
fact, it is easily seen that λnk,` ˝ Ads ˝pλm ˚
i,j q “ Adŝ , with
77
Lemma 2.1.6 Suppose that a, b ě 0 and α, β P C. Then %a,b,α,β P M2 pM2 q is
?
block-positive if and only if |α| ` |β| ď ab.
Proof. Suppose that %a,b,α,β is block-positive, and take xξ| “ pp, peiτ , qeipθ´τ q , qeiθ q
in C2 b C2 with real numbers p, q. Note that SR xξ| “ 1. Then we have
“ ‰
0 ď x%a,b,α,β , |ξyxξ|y “ p2 a ` q 2 b ` 2pqRe eiθ pα ` βe´2iτ q
ˇRe e pα ` βe´2iτ q ˇ2 ď ab
ˇ “ iθ ‰ˇ
for every θ and τ , which implies the condition. For the converse, we put
Then we see that %a,b,α,β “ %a1 ,b1 ,α,0 ` %a2 ,b2 ,0,β is the Choi matrix of a decomposable
map. ˝
Proof. Suppose that φ P id22 . Taking s “ |iyxj| P M2ˆ2 ˆ with i ‰iθj˙in (2.7), we see
1 e
that Cφ must be of the form %a,b,α,β . We also take s “ in (2.7), to see
´e´iθ ´1
that
0 “ x|s̃yxs̃|, %a,b,α,β y “ a ` b ´ 2Re pα ` βe´2iθ q,
for every θ. Therefore, we have β “ 0, and we also have
?
0 “ a ` b ´ 2Re α ě a ` b ´ 2|α| ě 2 ab ´ 2|α| ě 0,
Theorem 2.1.8 For every s P Mmˆn , the map Ads is exposed in P1 rMm , Mn s.
78
2.2 The Choi map revisited
In this section, we consider the bidual of the Choi map φch , which is the smallest
exposed face of P1 containing φch . Especially, we determine completely positive
maps and decomposable maps which belong to this bidual.
Therefore, we have
¯ ξ|
xAds , φy “ x|ξyx ¯ b |ηyxη|, φy “ x|ηyxη|, φp|ξyx
¯ ξ|qy
¯ “ xη̄|φp|ξyx
¯ ξ|q|η̄y.
¯ (2.11)
¯ such that φp|ξyx
We first find all |ξy’s ¯ ξ|q
¯ is singular, and find the kernel |η̄y of
¯ ξ|q,
φp|ξyx ¯ to get extreme rays Ads in the dual face φ1 in SP1 .
We apply the above method to the Choi map φch : M3 Ñ M3 defined in (1.54).
¯ “ px, y, zqT P C3 , we calculate to get
For given |ξy
¯ ξ|q
det φch p|ξyx ¯ “ |x|4 |y|2 ` |y|4 |z|2 ` |z|4 |x|2 ´ 3|xyz|2 .
|η̄1 y “ p0, 0, 1qT , |η̄2 y “ p1, 0, 0qT , |η̄3 y “ p0, 1, 0qT , |η̄4 y “ peia , eib , eic qT ,
respectively, up to scalar multiplications. Then the dual face φ1ch is the convex
cone generated by superpositive maps Ads ’s with following 3 ˆ 3 rank one matrices
s “ |ξyxη|:
¨ ˛ ¨ ˛ ¨ ˛ ¨ ˛
0 0 1 0 0 0 0 0 0 1 α γ
˝0 0 0‚, ˝1 0 0‚, ˝0 0 0‚, sα,β,γ “ ˝α 1 β ‚,
0 0 0 0 0 0 0 1 0 γ β 1
79
where αβγ “ 1 with |α| “ |β| “ |γ| “ 1. We denote
S “ te21 , e32 , e13 u Y tsα,β,γ : αβγ “ 1, |α| “ |β| “ |γ| “ 1u, (2.12)
with matrix units. Then the convex cone φ1ch is generated by tAds : s P Su.
We note that matrices in S belong to the 7-dimensional subspace
80
1
for every positive α, β and γ. We take β “ α
and γ Ñ 0, to get a necessary condition
The smallest exposed face φ2ch and the smallest face Fφch of P1 containing the Choi
map φch have the following properties;
Proof. It remains to prove (iv). If a completely positive map belongs to Fφch , then
there is s P E such that Ads P Fφch . Since φch is an interior point of Fφch , there is
λ ą 1 such that p1 ´ λq Ads `λφch is a positive map. Multiplying a scalar, we may
assume that φch ´ Ads is a positive map. Comparing the 2 ˆ 2 principal submatrices
of the inequality φch p|xyxx|q ě Ads p|xyxx|q, we have
ˆ 2 ˙ ˆ ˙
|x1 | ` |x3 |2 ´x1 x̄2 |s1 |2 |x1 |2 ´s̄1 s2 x1 x̄2
ě
´x2 x̄1 |x2 |2 ` |x1 |2 ´s̄2 s1 x2 x̄1 |s2 |2 |x2 |2
81
2.2.2 The Choi map and decomposable maps
In the above discussion, we have seen that the smallest exposed face φ2ch meets
nontrivial completely positive maps by FE . We look for decomposable maps in φ2ch .
We note that if an extreme ray T ˝ Ads belongs to φ2ch then xT ˝ Ads , Adt y “ 0 for
every t P S, or equivalently xAds , T ˝ Adt y “ 0 for every t P S. We also note that
T ˝ Ad|ξyxη| “ Ad|ξyxη̄| . We will see that t|ξyxη̄| : |ξyxη| P Su spans the whole space,
which implies that there exists no nonzero T ˝ Ads in φ2ch .
For this purpose, we take
¨ ˛ ¨ ˛ ¨ ˛ ¨ ˛ ¨ ˛ ¨ ˛
1 1 1 1 1 1
|ξ1 y “ ˝ 1‚ , |ξ2 y “ ˝ ´1 ‚, |ξ3 y “ ˝ 1 ‚ , |ξ4 y “ ˝ ´i‚ , |ξ5 y “ ˝ 1 ‚, |ξ6 y “ ˝´i ‚
1 1 ´1 1 ´i ´i
Then we have |ξi yxηi | P S for i “ 1, 2, . . . , 9. We show that the set t|ξi yxη̄i | : i “
1, 2, . . . 9u is linearly independent. Suppose that B “ 9i“1 ai |ξi yxη̄i | “ 0, and look
ř
B11 “ a1 ` a2 ` a3 ` a4 ` a5 ` a6 “ 0,
B12 “ a1 ´ a2 ` a3 ´ ia4 ` a5 ´ ia6 “ 0,
B22 “ a1 ` a2 ` a3 ´ a4 ` a5 ´ a6 “ 0,
B23 “ a1 ´ a2 ´ a3 ´ ia4 ´ ia5 ´ a6 “ 0,
B31 “ a1 ` a2 ´ a3 ` a4 ´ ia5 ´ ia6 “ 0,
B33 “ a1 ` a2 ` a3 ` a4 ´ a5 ´ a6 “ 0.
We also note that t|ξi y|ηi y : i “ 1, 2, . . . , 9u spans the whole space C3 b C3 , but
their partial conjugates span the 7-dimensional subspace.
82
We close this section with a geometric interpretation of Theorem 2.2.1. To begin
with general situations, we suppose that F is a subset of a closed convex cone C.
For a given x P C, we see that x P F 2 if and only if xx, yy “ 0 for every y P F 1 if and
only if xx, yy “ 0 for every y P EpF 1 q, where EpCq denotes the set of all extreme rays
of C. Since F 1 is a face of C ˝ , we have EpF 1 q “ F 1 X EpC ˝ q. Furthermore, we see
that y P F 1 if and only if F Ă y 1 . This is also equivalent to F 2 Ă y 1 by Proposition
2.1.1. Therefore, we have
č č
F 2 “ ty 1 : y 1 Ą F 2 , y P EpC ˝ qu “ ty 1 : y 1 Ą F, y P EpC ˝ qu
In the next section, we will see that a face is maximal if and only if it is a dual
face of an exposed face which is minimal among all exposed faces. This means that
every maximal face of P1 is of the form Ad1s for a rank one matrix s. Therefore, we
see that the smallest exposed face F 2 containing a subset F of P1 is the intersection
of all maximal faces of P1 containing F .
When F is a singleton tφch u, we see that maximal faces containing φch consist
of Ad1s with s P S by Theorem 2.2.1 (i). They are also maximal faces containing
φ2ch . On the other hand, a maximal face Ad1s with a rank one matrix s contains the
subset FE of φ2ch if and only if s belongs to D, with notations in Theorem 2.2.1. We
note that D Ś S. Further, we note that there are rank one matrices in D which
does not belong to S. For example, the maximal face Ad1e12 contains FE , but does
not contain φ2ch , since e12 P DzS.
References: [19]
83
X, and the bilinear pairing is non-degenerate on C, that is, the following
with y0 P Y . In this case, the dual cone is given by the single ray tλy0 P Y : λ ě 0u
generated by y0 P Y . In case of X “ Y “ Rn , if a closed convex cone C contains
two rays R` x0 and R` p´x0 q with the opposite directions then the standard bilinear
pairing xx, yy “ ni“1 xi yi is not non-degenerate on C.
ř
x P C, x ‰ 0 ùñ xx, ηy ą 0, (2.18)
which is seemingly stronger than (2.16). The bilinear pairings defined in (1.39) and
(1.40) are non-degenerate on any convex cones appearing in (1.45) or (1.47). In fact,
either the identity matrix in Mm b Mn or the trace map in LpMm , Mn q play the roles
of η in (2.18).
84
C1 u is finite, and we see that xx, zy ď 1 for each x P C1{α . By (ii), we also take δ
with 0 ă δ ă 1 such that xx, yy ě δ for each x P C1{α . Put
ˆ ˙
1 1
w “ 1´ z` y.
1´δ 1´δ
Proof. The statement (i) is a trivial consequence of (2.16). To prove (ii), we suppose
that F Ř C ˝ . Then we have F Ă BC ˝ , and can take a nonzero y P int F Ă BC ˝ . By
the implication (ii) ùñ (i) of Proposition 2.3.1, there exists a nonzero x P C such
that xx, yy “ 0. Since y P int F , we have x P F 1 . This shows that F 1 is nonzero. ˝
We apply Proposition 2.3.1 to the duality S1˝ “ P1 , to see that φ is an interior
point of P1 rMm , Mn s if and only if x%, φy ą 0 for every nonzero % “ |ζyxζ| P S1 .
Taking |ζy “ |ξy|ηy, we see that φ is an interior point of P1 if and only if
x|ηyxη|, φp|ξyxξ|qy ą 0
for every nonzero |ξy P Cm and |ηy P Cn if and only if φp|ξyxξ|q is nonsingular for
every nonzero |ξy if and only if φpxq is nonsingular for every nonzero x P Mn` if and
only if φpxq is an interior point of Mn` for every nonzero x P Mm `
. This shows that
the converse of Proposition 1.2.5 holds.
References: [34]
85
2.3.2 Maximal faces and minimal exposed faces
We say that L is a minimal exposed face if it is an exposed face and minimal among
all exposed proper faces. It is easy to see that if L is a minimal exposed face of the
cone C then L1 is a maximal face of C ˝ . To see this, we suppose that F is a face of
C ˝ such that F Ą L1 . Then we have
L “ L2 Ą F 1 .
Since F 1 is an exposed face and L is minimal among exposed faces, we have either
F 1 “ t0u or F 1 “ L. If F 1 “ t0u then we have F “ C ˝ by Corollary 2.3.2 (ii). In
case of F 1 “ L, we have F Ă F 2 “ L1 , which implies F “ L1 . Therefore, we conclude
that L1 is a maximal face. The following theorem tells us that the converse is also
true. Especially, every maximal face is a dual face.
(ii) every maximal face of C ˝ is the dual face of a unique minimal exposed face of
C.
as it was required. ˝
We recall that Ads generates an exposed ray of the convex cone SP1 ˝ “ P1 .
Therefore, every m ˆ n matrix σ gives rise to a maximal face
86
s
........................
s
...............................
..........
...........
........ .......
......... ....
....
.
.... ...
...
... ...
... ...
.... ..
..
.. ..
.. ..
.. ..
.. ..
... .
.. ..
.. ..
...
... ....
..
...
... ...
... ...
... ..
.... ......
...... ....
....... ......
......... ........
...............
s
................ s
........................
...........
Figure 2.1: Line segments are minimal exposed faces. Four points are extreme points
which are not exposed, but they are exposed in the line segments.
of the convex cone SP1 rMm , Mn s by the identity (2.1). The exposed map Adσ ˝T of
P1 also gives rise to the corresponding maximal face. But, not every maximal face
arises in this way, because there are indecomposable positive map which generates
exposed ray, as we will see later.
We note that an exposed ray of a convex cone is automatically a minimal exposed
face. But the converse is not true. Consider the convex cone whose section looks like
an athletics track which consists of two semicircles and two parallel line segments.
We note that a line segment generates a minimal exposed face. This exposed face
contains an exposed ray in itself, but it is not an exposed ray in the whole convex
cone. See Figure 2.1.
References: [34]
Fk rζs :“ tφ P Pk : x|ζyxζ|, φy “ 0u
By the uniqueness part of Theorem 2.3.4 (ii), the vector |ζy in the second part
of Corollary 2.3.5 is determined uniquely. This can be also seen as follows: We note
87
@ P` F` rζ1 s Pk Fk rζ1 s
@
@
@
@
@ Fk rζ2 s
@
@
@
@
@
@
@
Figure 2.2: When SR |ζ2 y ą `, the maximal face Fk rζ2 s of Pk is located inside of P` .
that the Choi matrices of the maps in Fk rζs X CP are positive matrices % satisfying
x|ζyxζ|, %y “ 0. Therefore, we see that Fk rζs “ Fk rωs implies that |ζy and |ωy are
parallel. In the case of k “ 1, we see that every maximal face of P1 is determined
by a product vector |ζy “ |ξy b |ηy P Cm b Cn , and we have
Proof. It remains to prove (ii). Assume that there exists φ P int Fk rζs such that
φ R int P` . Then φ P BP` , and so there exists |ωy with SR |ωy ď ` such that φ P F` rωs.
Since φ P int Fk rζs Ă BPk , we have φ P F` rωsXBPk “ Fk rωs by (i). Now, φ P int Fk rζs
implies that two faces Fk rζs and Fk rωs satisfy the relation Fk rζs Ă Fk rωs, and we
have Fk rζs “ Fk rωs by maximality. Therefore, we conclude that |ζy and |ωy are
parallel to each other, which implies that s ď `. ˝
The rays generated by Ads and Ads ˝T are exposed rays of DEC as well as P1 ,
since DEC Ă P1 . Because DEC is the convex hull of them, they exhaust all the
88
exposed rays of DEC. Since x%, Ads̄ y “ xs̃|%|s̃y, we see that every maximal face of
PPT is of the form
x P D, x ‰ 0 ùñ xx, η0 y ą 0, y P C ˝ , y ‰ 0 ùñ xξ0 , yy ą 0,
89
..........................................................................................
..................... ..............
..............
C ..........
.......... ........
............. C .......
...... .............................................................................. ....
....
................ ..........
.
........
.
...
...........
C
xr1 ....
......
....
...
....
...
...
r!
C ...
... xλ! Cr ! ...
... ..
! C xt
... .. ..
..
... .. .
.. ... ..
.. ..
... !! C .... ...
....
....... r
! !
C Wy ...
....
..
...
.
.
........
.............
.... ............. C x0
.... ................................................................................
C ......
........ .
.
....
...
...
....... ...
......... .......
........... .........
...........
D
...............
C
........................... ...............
.............................................................................
C
C
We know that x P X does not belong to C if and only if there exists y P C ˝ such
that xx, yy ă 0. For a given y P C ˝ , we define
Wy rD; Cs :“ tx P D : xx, yy ă 0u
Lemma 2.4.1 Suppose that Wy0 Ă Wy1 . If x P D and xx, y0 y “ 0, then xx, y1 y ď 0.
Proof. Assume that there exists x P D such that xx, y0 y “ 0 and xx, y1 y ą 0. If
we take x1 P Wy0 then xx1 ` λx, y0 y ă 0 for every real number λ. But, we have
90
..........................................................................................
..................... ..............
..............
y´8 .............
..........
... ..............................................................................
..........
........
.......
....
... .......... ....
PP ................... .... ....
......
PP z ........... .... ...
r
. . ...
PP ........ ...
... ...
... ... ..
...PP .. ..
..
... PP y0 ..
..
.
..
r
.. .
.. ..
.... ...
PP ry1
... PP
.... .. .
.
....... ... ...
........ .... ...
˝ ............. ...... ....
D
PP ........
PP y`8
.... .............
.... ................................................................................
....... ....
....
......... .......
.........
...........
...............
........................... C˝
.............................................................................
...............
...........
xx1 ` λx, y1 y ě 0 for sufficiently large λ. This shows that Wy0 is not contained in
Wy1 . ˝
The author is grateful to Yoonje Jeong for simplification of the proof for the
statement (i) in the following proposition.
Proposition 2.4.2 Let X and Y be real vector spaces with a bilinear pairing.
Suppose that C Ă D are closed convex cones X, and the bilinear pairing is non-
degenerate on C ˝ and D. For y0 , y1 P C ˝ zD˝ , we have the following:
(i) Wy0 Ă Wy1 holds if and only if there exists λ ą 0 and z P D˝ such that
λy0 “ y1 ` z,
(ii) Wy0 “ Wy1 holds if and only if there exists λ ą 0 such that λy0 “ y1 ,
(iii) Wy0 Ř Wy1 holds if and only if there exists λ ą 0 and nonzero z P D˝ such
that λy0 “ y1 ` z.
Proof. For the statement (i), it remains to show the ‘only if’ part. Suppose that
Wy0 Ă Wy1 . For x P D and x1 P Wy0 , we have xxx, y0 yx1 ´ xx1 , y0 yx, y0 y “ 0, and so
we also have
91
whenever x P D satisfies xx, y0 y ą 0. By definition of λ, we also have (2.21) for
x P D with xx, y0 y ă 0. If xx, y0 y “ 0 then we also have (2.21) by Lemma 2.4.1.
Therefore, we have λy0 ´ y1 P D˝ , which completes the proof of (i).
To prove (ii), suppose that Wy0 “ Wy1 . Then by (i), there exists λ, µ ą 0 and
z, w P D˝ such that λy0 “ y1 ` z and µy1 “ y0 ` w, and so λpµy1 ´ wq “ y1 ` z.
Therefore, we have pλµ ´ 1qy1 “ λw ` z. Because λw ` z P D˝ and y1 P C ˝ zD˝ is
nonzero, we have λµ ´ 1 “ 0 and w “ z “ 0. The converse is clear.
Finally, the statement (iii) is an immediate consequence of (i) and (ii). ˝
For y0 and y1 in Proposition 2.4.2, we note that yi1 “ tx P C : xx, yi y “ 0u for
i “ 0, 1. The condition of Proposition 2.4.2 (i) shows that λxx, y0 y “ xx, y1 y ` xx, zy
for every x P C, and so we see that Wy0 Ă Wy1 implies y01 Ă y11 . If Wy0 “ Wy1 then
y01 “ y11 by Proposition 2.4.2 (ii). It should be noted that y01 “ y11 does not imply
Wy0 “ Wy1 . Indeed, we consider the pair S1 Ă pMm b Mn q` with the dual pair
CP Ă P1 , and the map φ1{2 “ 21 φ0 ` 21 φch with φ0 in (2.14). We see that φ11{2 “ φ1ch ,
but Wφ1{2 Ř Wφch by Proposition 2.4.2 (iii), because φ0 P CP.
Theorem 2.4.3 Suppose that C Ă D are closed convex cones in a real vector space
X, and Y is a real vector space with a bilinear pairing on X ˆ Y which is non-
degenerate on C ˝ and D. For y0 P C ˝ zD˝ , the following are equivalent:
92
PP
PP
P
..........................................PP ..........................................
..................... ........... .................... ...........
.
......
..
..
.. ........ P .......... ........
.
..
.. ..... ........ .....
.
... .... P ..... ....
.... ..
...
..
...
....
...
........................................................
Hy0 .
.
...
.
.
...
................. .................... ..
... ....
....
..
......................
... .................. .... .......
.... ..
..
..
........... ...
... ... ....
... .
......... ...
...
..... .....
..
...
..
.
....
.
...
.
.. ...
..
..
...
... .
....
...
....
ry0 ...
..
..
..
.. D .. C ..
.. .. C ˝ D˝
...
..
..
..
PP
PP ...................................... ......................................
....................... ........... ....................... ...........
........... ...........
PP ........ ........
........ ...... ........ ......
.......
.
PP .... .......
. ....
...
. PH .... ...
. ....
r
. .. . ..
.... ..... ......
..... .....
. ........................... y0 .... ..... ......
..... .....
. ...........................
.... ........................ ... .... ........................ ...
...
... ....
.
........... .
........
..
...
... ...
... ....
.
........... .
........
..
y0 ...
...
... .... ... ... .... ...
... .... .. ... ˝ .... ˝ ..
.. D .. C ..
.. .. C .. D ..
..
PP ....................................... .......................................
...................... ......................
ry0
........... ...........
........... ...........
PP ........ ........
........ ..... ........ .....
.......
.
PP .... .......
. ....
..
... PP ....
..
... ....
... .. ... ..
. PH ..................................... ..
... .........................
. . ..................................... ..
... .........................
.
.. .
....... ... .. .
....... ...
.
.... ...
.... .
........
... y0 .
.... ...
... .
.........
...
... . .
. ..... ... ... . ...... ...
. .
... .... ..
.. ... .... ..
..
.... ....
...
.. D .. C ..
.. .. C ˝ D˝
...
..
..
..
......................................
.......................
r
......................................
.......................
.....
.
...........
........
PP
PP
...........
........
......
.... .
...........
........
.....
y0 ...........
........
......
....
.
... .... .
... ....
..
. PP .. ..
. ..
...
. ... ......
..... .....
. ........................... ...
. ... ......
..... .....
. ...........................
..
.
PP ..
........
..................... ... ..
. ..
............................
. ...
.... PH ...
.......... ... .... ...
.......... ...
..... ... .... ...
....
.. ....
.. .
.
... y0 ....
.. ....
.. ..
...
.... .. .... ..
...
.. D .. C ..
.. .. C ˝ D˝
...
..
..
..
Figure 2.5: The location of the hyperplane Hy0 depends on the location of y0 P C ˝
• When we take y0 P int C ˝ zD˝ , the set Wy0 rD; Cs is nonempty and int pHy0 X
Dq Ă int D. But Hy0 X C is still trivial.
93
References: [123], [82], [102]
Proposition 2.4.4 Suppose that C Ă D are closed convex cones in a real vector
space X, and Y is a real vector space with a bilinear pairing on X ˆ Y . For y0 P
C ˝ zD˝ , the following are equivalent:
Proof. For the convex subset y01 of D, there are two possibilities; either int y01 Ă int D
or y01 Ă BD. We will show that y01 Ă BD if and only if y02 X D˝ ‰ t0u. Suppose that
y01 Ă BD. This happens if and only if the face y01 is contained in a maximal face y11
of D for a point y1 P D˝ . We see that y01 Ă y11 if and only if y12 Ă y02 if and only if
y1 P y02 . This implies y1 P y02 X D˝ . Conversely, if y1 P y02 X D˝ is nonzero then we
have y01 Ă y11 Ă BD. ˝
The location of the nontrivial face y01 “ Hy0 X C with y0 P BC ˝ zD˝ depends on
the exposed face y02 . Proposition 2.4.4 tells us that y01 is located inside of D if and
only if y02 does not touch D˝ except zero. Whenever this is the case, the set Wy0 is
maximal. See Figure 2.6.
Now, we look for positive maps φ satisfying φ2 X CP “ t0u. Since a completely
positive map is the sum of Ads ’s, we see that φ2 X CP ‰ t0u holds if and only if
there exists s P Mmˆn such that Ads P φ2 , which is equivalent to the following:
for a positive map φ. Then, we see that φ2 has no nonzero completely positive map
¯ 2
if and only if P rφs spans the whole space, by the relation x|ζyxζ|, Ads y “ |xζ|s̃y|
94
.................................................................... r
............... ...............
............ ....... .......
.........
.......
....
PP
PP .........
.......
....
.... ...
.... y1 ...
....
..
. .... ... ...
.... ... ...
PP
.
....
.
.. PPr .
....... .
...............................................................................
... ...
..
...
..
... 1 PH ......... ... .. ..
. ... ...
.
..
... .
....
...
. ...
y1 ..
..
..
..
y1 .
..
..
.
..
..
.... .. ..
...
.. D .. C ..
..
. ..
.. C˝ ..
.. D˝
.........
...................................................................
............ .........
.......
r
.....
....
....
.............
.....
....
....
.............
.......
.....
....
.... ..y2
... ...
..
r
.. .... . .
.... ... ...
.
....
.
.. .
............................................................................
.... Hy0 ...
..
...
..
...
.
.. ....
....
...........
........
y21 ...
...
..
..
..
...
.
..
..
...
.
..
... .... .. .. ..
... .... .. .. ..
.. D .. C ..
.. ..
.. C˝ ..
.. D˝
as in (2.1). A positive map φ satisfying this property is said to have the spanning
property. We note that
by (2.11). It is clear that a positive map with the spanning property is optimal.
We have seen in Theorem 2.2.1 that the Choi map φch does not have the spanning
property. By Proposition 2.4.4, we see that a positive linear map φ : Mm Ñ Mn has
the spanning property if and only if int φ1 Ă int pMn b Mn q` .
For a product vector |ζy “ |ξy|ηy P Cm b Cn , we recall the identity
¯
|ζyxζ|Γ “ |ξy|ηyx ¯
ξ|xη|.
A positive map with such properties is called to have the co-spanning property. It
is clear that φ has the spanning property if and only if φ ˝ T has the co-spanning
property. Theorem 2.2.2 tells us that the Choi map φch has the co-spanning property.
We say that a positive map φ is co-optimal when the smallest face of P1 contain-
ing φ has no nonzero completely copositive map, or equivalently φ ˝ T is optimal.
We also say that a positive map is bi-optimal if it is both optimal and co-optimal.
We note that φ is bi-optimal if and only if the smallest face of P1 containing φ has
no nonzero decomposable map, and so we have the following by Theorem 2.4.3.
95
Proposition 2.4.5 For a positive map φ : Mm Ñ Mn , the following are equivalent:
(i) φ is bi-optimal,
Theorem 2.4.6 For a positive linear map φ, the following are equivalent:
ó ó ó
indecomposable
96
2.5 Positive maps of Choi type
We exhibit in this section variants of the Choi map between 3 ˆ 3 matrices. Among
them, we find positive maps with the bi-spanning property, and indecomposable
positive maps with the spanning property without bi-optimality. Motivated by these
examples, we briefly discuss the length of a separable state %, which is the smallest
number of pure products states whose sum gives rise to %.
Note that φr1,0,1s is nothing but the Choi map φch defined in (1.54), and the map τ3,k
in (1.52) is given by φrk´1,k,ks . Especially, we have seen in Section 1.6 that φr1,2,2s
is a 2-positive map which is not completely positive, and φr0,1,1s is a completely
copositive map which is not 2-positive. The Choi matrix of the map φra,b,cs is given
by
¨ ˛
a ¨ ¨ ¨ ´1 ¨ ¨ ¨ ´1
˚ ¨ c ¨ ¨ ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
˚ ¨ ¨ b ¨ ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
˚ ¨ ¨ ¨ b ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
˚ ´1 ¨ ¨ ¨ a ¨ ¨ ¨ ´1 ‹ .
%ra,b,cs :“ ˚ (2.24)
‹
˚ ¨ ¨ ¨ ¨ ¨ c ¨ ¨ ¨ ‹
˚ ‹
˚ ¨ ¨ ¨ ¨ ¨ ¨ c ¨ ¨ ‹
˚ ‹
˝ ¨ ¨ ¨ ¨ ¨ ¨ ¨ b ¨ ‚
´1 ¨ ¨ ¨ ´1 ¨ ¨ ¨ a
Note that φra,b,cs is completely positive if and only if %ra,b,cs is positive if and only
if the following
aě2
has been discussed in (2.14), where we use teij u for the standard matrix units. On
97
the other hand, φra,b,cs is completely copositive if and only if
¨ ˛
a ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨
˚ ¨ c ¨ ´1 ¨ ¨ ¨ ¨ ¨ ‹
˚ ‹
˚ ¨ ¨
˚ b ¨ ¨ ¨ ´1 ¨ ¨ ‹
‹
˚ ¨ ´1 ¨
˚ b ¨ ¨ ¨ ¨ ¨ ‹
‹
Γ
%ra,b,cs “ ˚˚ ¨ ¨ ¨ ¨ a ¨ ¨ ¨ ¨ ‹
‹
˚ ¨ ¨
˚ ¨ ¨ ¨ c ¨ ´1 ¨ ‹
‹
˚ ¨ ¨ ´1 ¨ ¨ ¨
˚ c ¨ ¨ ‹
‹
˝ ¨ ¨ ¨ ¨ ¨ ´1 ¨ b ¨ ‚
¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ a
with the map ψra,b,cs , which sends x “ rxij s to the diagonal matrix with the diagonal
entries
pa ` 1qx11 ` bx22 ` cx33 ,
cx11 ` pa ` 1qx22 ` bx33 ,
bx11 ` cx22 ` pa ` 1qx33 .
We apply Proposition 1.6.5, to see that φra,b,cs is positive if and only if
α β γ
` ` ď1 (2.25)
pa ` 1qα ` bβ ` cγ pa ` 1qβ ` bγ ` cα pa ` 1qγ ` bα ` cβ
98
for each positive α. If a ě 1 then this is true. If 0 ď a ď 1 then this implies
a ` b ` c ě 2, 0 ď a ď 1 Ñ bc ě p1 ´ aq2 , (2.26)
where p Ñ q means that p implies q. Proving the following lemma, we may conclude
that the map φra,b,cs is positive if and only if the conditions in (2.26) are satisfied.
Proof. Suppose that a, b and c satisfy (2.26), and α, β and γ are positive numbers.
Put
bβ ` cγ bγ ` cα bα ` cβ
x“ , y“ , z“ ,
α β γ
and consider the system of linear equations
xα ´ bβ ´ cγ “ 0,
´cα ` yβ ´ bγ “ 0,
´bα ´ cβ ` zγ “ 0,
holds under the condition (2.27). To see this, we slice the surface (2.27) by the plane
x ` y ` z “ d. (2.28)
We first note that the surface (2.27) and the plane (2.28) has nonempty inter-
section if and only if d ě 3pb ` cq. When d “ 3pb ` cq, the intersection is the one
point pb ` c, b ` c, b ` cq. When d ą 3pb ` cq, the intersection is a compact curve.
99
One can show that if px, y, zq is a critical point of F under the constraints (2.27)
and (2.28) then
x “ y, y “ z or z “ x. (2.29)
Therefore, it suffices to find minimum of F on the curve given by (2.27) and (2.29).
In case of x “ y, the curve is given by px2 ´ bcqz “ 2bcx ` b3 ` c3 from which we have
?
x ą bc, and F becomes a function of one variable x. By a direct computation, we
have
1 “ 2 ‰
F 1 pxq “ 2 2
x ` pb ` cqx ` pb2 ´ bc ` c2 q
px ´ bcq
ˆ rx ´ pb ` cqsrax2 ` pa2 ´ 1 ` bcqx ` abcs.
The first two factors are nonnegative, and the last factor is also nonnegative by the
second conditions in (2.26). Now, we conclude that F has the minimum at x “ b`c,
which implies y “ z “ b ` c by (2.27) and x “ y. Therefore, we have
by the first condition of (2.26). The cases of y “ z and z “ x can be done in the
same way. ˝
In order to deal with decomposability of the map φra,b,cs , we consider the PPT
state %p defined in (1.36) We take bilinear pairing with %ra,b,cs to get
Compare with the condition (2.26). Now, we show that the condition (2.30) implies
that the map φra,b,cs is decomposable. If a ě 2 or bc ě 1 then there is nothing to
prove since φra,b,cs is completely positive or completely copositive in each case. In
case of 0 ď a ă 2 and bc ă 1, we have
? ?
φra,b,cs “ p1 ´ bcq φrα,0,0s ` bc φr0,?b{c,?c{bs ,
Theorem 2.5.2 Let a, b and c be nonnegative real numbers. Then the linear map
φra,b,cs is
100
(i) positive if and only if a ` b ` c ě 2 and 0 ď a ď 1 Ñ bc ě p1 ´ aq2 ,
For further examples of Choi type positive linear maps in various directions, see
Section 7 of the survey paper [30] and references there. See also [71, 105] for recent
development.
References: [18], [30], [71], [105]
0 ď a ă 1, a ` b ` c “ 2, bc “ p1 ´ aq2 .
b
We parameterize by t “ 1´a
. Then 0 ă t ă 8, and we have
at ` b “ t, p1 ´ tqa ` c “ 2 ´ t, a ` ct “ 1, (2.31)
Now, we use (2.23) to look for product vectors in P rφt s. We write |ξy “
px, y, zqT P C3 . When |x| “ |y| “ |z| “ 1, we see that
¨ ˛
2 ´xȳ ´xz̄
φt p|ξyxξ|q “ ˝´yx̄ 2 ´yz̄ ‚
´z x̄ ´z ȳ 2
101
φ0 “ φr1,0,1s “ φch..........r........................................................................................
.....
."
.....
.
.......
.......
...... rφt
......
....
:“ φrγptqs
".............
" ....
....
" . ....
...
" ....... ...
...
. ...
" ..
.. ..
" .. ..
.. ..
pb|x|2 ` c|y|2 qpac|x|4 ` |x|2 |y|2 a2 ` |x|2 |y|2 bc ` ab|y|4 ´ |y|2 |x|2 q
pt ´ 1q2
“ 2 3
pt2 |x|2 ` |y|2 qp´|y|2 t ` |x|2 q2 ,
pt ´ t ` 1q
?
which becomes zero when |x| “ t and |y| “ 1. In this case,
¨ ˛
at ` b ´xȳ 0
φt p|ξyxξ|q “ ˝ ´yx̄ ct ` a 0 ‚
0 0 bt ` c
has the kernel vector |η̄y “ px, ty, 0qT P C3 . Therefore, we have
? ?
|ξy b |ηy “ p tα, β, 0qT b p tᾱ, tβ̄, 0qT P P rφt s. (2.33)
102
among product vectors in (2.32). They span 4-dimensional space whose orthogonal
complement is spanned by
|12y ´ |21y, |23y ´ |32y, |31y ´ |13y, |11y ´ |22y, |22y ´ |33y.
It is easily seen that the above ten product vectors span the whole space C3 b C3
unless t ‰ 1. Therefore, we have the following:
Theorem 2.5.3 The positive map φra,b,cs has the bi-spanning property, whenever
pa, b, cq satisfies
0 ă a ă 1, a ` b ` c “ 2, bc “ p1 ´ aq2 .
In fact, it is known [47] that the maps in Theorem 2.5.3 generates an exposed
ray of the convex cone P1 .
Now, we turn our attention to the surface bc “ p1 ´ aq2 with 0 ď a ď 1 in the
condition (2.26) of positivity of the map φra,b,cs . To do this, we fix t ą 0 with t ‰ 1,
and consider the line segment
" *
´ s¯ t
Lt :“ Lt psq “ 1 ´ s, st, : ďsď1 ,
t 1 ´ t ` t2
which is a part of the line segment from p1, 0, 0q to δptq :“ p0, t, 1t q. Precisely, it is
the line segment between two points between γptq and δptq. It is easily seen that this
line segment is contained in the surface bc “ p1 ´ aq2 in (2.26). See Figure 2.8. We
note that Lt p1q “ δptq “ p0, t, 1t q gives rise the the completely copositive map φr0,t, 1 s ,
t
and so it is clear that maps on the line segment Lt do not satisfy the co-optimal
property. Nevertheless, we will show that they satisfy the spanning property.
103
p2, 0, 0q
p1, 0, 1q
γptq
t
p1, 1, 0q δptq
Theorem 2.5.4 The positive map φ :“ φra,b,cs has the spanning property, whenever
pa, b, cq satisfies
0 ď a ă 1, a ` b ` c ą 2, bc “ p1 ´ aq2 .
k k k k
xξθ,σ |xηθ,σ |Cφ |ξθ,σ y|ηθ,σ y “ ´2p1 ´ aqbc1{2 ` 2b3{2 c “ 0
k k
for k “ 1, 2, 3. Therefore, the vectors |ξθ,σ y|ηθ,σ y belong to P rφra,b,cs s for k “ 1, 2, 3.
We take σ1 “ 0, σ2 “ π{2 and σ3 “ π, and consider the 9 ˆ 9 matrix whose columns
k k
consist of nine vectors |ξ0,σ `
y|η0,σ `
y for k, ` “ 1, 2, 3. Then the absolute value of the
9 9
determinant is given by 128 b 2 c 4 which is nonzero. ˝
104
................................................
.................... .........
...........
......... .......
....... ......
.
...
.
.......
..
........
pM3 b M3 q` ....
....
....
....
.. ....
XXX ...
. ....
.... .. ....
.... . . .
...
.................................... ....
... XXX ................ ........
..
.
...
... ..
..
....... ......
..
...
r
.... ...
... .......... XXX .... ...
.. ....
. .
.. .....
..... ..
............ ...
.... ....
. X ..
.............. .... ...
1 XX ....... ....
... ...
... ...
...
......
.
...
φ ....
....
XXX ...
...
...
...... X
......
...... ..
.
.
.
.
..
...
....
....
...
...
...
Hφ
...... ... ... ...
...... .... ... ...
... .... ... ...
PPT
...
...
...
..
S1
..
..
...
...
.
....
...
...
..
..
..
... ... ... ..
. ..
. .
• φ does not have co-optimal properties, especially the smallest face of P1 con-
taining φ has a nonzero decomposable map, so it does not detect a maximal set
Wφ pPPT rM3 b M3 s, S1 pM3 b M3 qq of PPT entanglement by Theorem 2.4.3.
The face φ1 of S1 is sitting on the boundary of PPT by Proposition 2.4.4. See
Figure 2.9.
105
We have found product vectors |ξy|ηy P P rφt s in (2.32), (2.33) and (2.34). It is
known [46] that they are all product vectors in P rφt s, and there is no more product
vectors in P rφt s. Now, we consider the map
ψt :“ φt ` φt ˝ T, t ą 0, t ‰ 1.
Then |ξy|ηy P P rψt s if and only if |ξy|ηy P P rφt s and |ξy|ηy ¯ P P rφt s if and only if
|ξy|ηy is one of ten product vectors |ζ1 y, . . . , |ζ10 y listed in (2.35), (2.36) and (2.37),
with |ζi y “ |ξi y b |ηi y. Therefore, the convex cone generated by ten product states
|ζi yxζi | with i “ 1, . . . , 10 is a face of S1 , which is the dual face
of the positive map ψt . Because these ten product vectors span the whole space
C3 b C3 , we see that the map ψt has the bi-spanning property for t ‰ 1. Note that
ψt does not generate an extreme ray of P1 .
Even though ten vectors |ζ1 y, . . . , |ζ10 y are linearly dependent in C3 b C3 , the
corresponding ten states are linearly independent in M3 b M3 . To see this, we
suppose that 10
ř 3 3
i“1 αi |ζi yxζi | “ 0. Take |ωy P C b C among vectors in (2.38), then
we have
ÿ10 4
ÿ
0“ αi |ζi yxζi |ωy “ αi xζi |ωy|ζi y.
i“1 i“1
References: [101], [1], [106], [2], [15], [46], [16], [47], [48]
106
2.6 Exposed positive maps by Woronowicz
In this section, we exhibit positive linear maps from M2 to M4 which generate
exposed rays of the convex cone P1 of all positive maps. For this purpose, we also
provide a sufficient condition for exposedness which is relatively easy to check.
φ̂pa b ξq “ φpaq|ξy, a P Mm , ξ P Cn ,
107
(Ch ) If X P Mn and Xφpaq “ φpaqX ˚ for every a P Mm then X is a scalar matrix,
are equivalent. It is clear that (Ch ) or equivalent condition (C1h ) implies (C).
For a subset S of Mn , we define the commutant S 1 by
Proposition 1.2.1 tells us that the commutant of Mn itself is trivial, that is, consists
of scalar matrices. It is clear that S 1 is a subalgebra of Mn , and it is a ˚-subalgebra
if S is ˚-invariant, that is, x P S implies x˚ P S. It is also clear that S Ă S 2 and
S 1 “ S 3 . A positive linear map φ : Mm Ñ Mn is called irreducible if the range
φpMm q of φ has the trivial commutant. Note that the range of a positive map
φ : Mm Ñ Mn is a ˚-invariant subspace, and so its commutant is a ˚-subalgebra of
Mn . Suppose that the range of an irreducible positive map φ contains the identity.
If we take a P Mm with φpaq “ Im then Xφpaq “ φpaqX ˚ implies that X “ X ˚ , and
so the irreducibility implies the condition (Ch ). Therefore, we have the following:
If the range of φ contains the idnetity then we see that the map φ̂ is surjective.
Therefore, we have dim ker φ̂ “ npm2 ´ 1q, and so the condition ker φ̂ “ Nφ in (2.41)
holds in Theorem 2.6.1 if and only if the following dimension condition
108
which is easily seen to be irreducible. But, we have
ˆ ˙ˆ ˙ ˆ ˙ ˆ ˙ˆ ˙
1 0 a a a a a a 1 1
“ “ ,
1 0 a a`d a a a a`d 0 0
and so we see that φ violates the condition (Ch ) as well as (C). It is straightforward
to check that the Woronowicz map φwo given by (1.56) satisfies the condition (Ch ),
and so it is irreducible.
In the remainder of this section, we show that the identity map idn : Mn Ñ Mn
satisfies the dimension condition (2.42). This will give rise to an another proof of
Theorem 2.1.8. We fix i “ 2, 3, . . . , n for a moment, and put
|ξy “ p1, α2 , . . . , αi , . . . , αn qT P Cn ,
|ηi y “ pᾱi , 0, . . . , 0, ´1, 0, . . . , 0qT P Cn ,
with ´1 at the i-th entry. Then we have |ξyxξ| b |ηi y P Nidn . We identity |ξyxξ| b |ηy
in Mn b Cn and |ξy b |ξy ¯ b |ηy in Cn b Cn b Cn to count dimensions. For each
i “ 2, . . . , n, we define the space Vi by
¯ b |ηi y : α2 , α3 , . . . , αn P Cu Ă Cn b Cn b Cn .
Vi “ span t|ξy b |ξy
|j11y ` |jiiy, j “ 1, 2, . . . , n,
(2.43)
|xyzy, x, y “ 1, 2, . . . , n, z “ 2, . . . , i ´ 1, i ` 1, . . . , n,
109
whose cardinality is n ` n2 pn ´ 2q “ n3 ´ np2n ´ 1q.
In order to count the dimension of NidKn “ V2K X V3K X ¨ ¨ ¨ X VnK , we write down
the generators of ViK as follows
V2K : |111y ` |122y, |211y ` |222y, . . . , |n11y ` |n22y, |xy3y, |xy4y, ¨ ¨ ¨ , |xyny,
V3K : |111y ` |133y, |211y ` |233y, . . . , |n11y ` |n33y, |xy2y, |xy4y, ¨ ¨ ¨ , |xyny,
¨¨¨
VnK : |111y ` |1nny, |211y ` |2nny, . . . , |n11y ` |nnny, |xy2y, |xy3y, ¨ ¨ ¨ , |xypn ´ 1qy.
Then we see that V2K X V2K X ¨ ¨ ¨ X VnK is spanned by following n orthogonal vectors
Therefore, we have dim Nidn “ n3 ´ n which coincides with the dimension of ker id
xn .
By Theorem 2.6.1, we conclude that the identity map idn is exposed.
References: [130], [131], [49], [81]
We define φ : M2 Ñ M4 by
¨ ˛
ˆ ˙ hx ´ cdpy ` zq ` kw ´gx ` gz 0 0
x y ˚ ´gx ` gy ax z 0 ‹
φ “˚ ‹ , (2.45)
z w ˝ 0 y bw ´cz ´ dw‚
0 0 ´cy ´ dw ex ` f w
onto the vector |ξα y “ p1, αqT P C2 , and consider the determinant ∆i pαq of right-
below i ˆ i submatrix of φp|ξα yxξα |q for each i “ 1, 2, 3, 4. By a direct calculation,
110
we have
∆1 pαq “ e ` f |α|2 ,
“ ‰
∆2 pαq “ |α|2 h ´ cdpα ` ᾱq ` k|α|2 ,
∆3 pαq “ acd|α|2 |1 ´ α|2 ,
∆4 pαq “ 0.
By the relations between e, f, g, h and k in (2.44), we see that
for any complex numbers α ‰ 0, 1, and so, we see that φp|ξα yxξα |q is positive for
α ‰ 0, 1. We also have
¨ ˛
h ´g 0 0
˚´g a 0 0‹
φp|ξ0 yxξ0 |q “ ˚
˝0
‹
0 0 0‚
0 0 0 e
and ¨ ˛
h ´ 2cd ` k 0 0 0
˚ 0 a 1 0 ‹
φp|ξ1 yxξ1 |q “ ˚ ‹.
˝ 0 1 b ´c ´ d‚
0 0 ´c ´ d e ` f
We write |ξ8 y :“ p0, 1qt P C2 , then we have
¨ ˛
k 0 0 0
˚0 0 0 0‹
φp|ξ8 yxξ8 |q “ ˚
˝0
‹.
0 b ´d‚
0 0 ´d f
Since φp|ξα yxξα |q is positive for every α P C Y t8u, we conclude that φ is a positive
map from M2 into M4 .
It is straightforward to see that φ satisfies the condition (Ch ). Take a matrix
σ “ rσij s P M4 , and suppose that
ˆ ˙ ˆ ˙
x y x y
rσij s φ “φ rσ̄ji s
z w z w
for every x, y, z, w P C. Compare the entries of both sides, one may check that σ is
a scalar matrix.
We also see that φp|ξα yxξα |q P M4 has the one dimensional kernel space which is
generated by ¨ ˛
gαp1 ´ αq
˚α rh ´ cdpα ` ᾱq ` k|α|2 s‹
|ηα y :“ ˚ ‹ P C4 (2.46)
˝ ´e ´ f |α|2 ‚
´ᾱpc ` dαq
111
for α P C, and the kernel of φp|ξ8 yxξ8 |q is spanned by
|η8 y “ p0, 1, 0, 0qT .
Now, we proceed to determine the dimension of the space Nφ , or equivalently,
the dimension of the space
span t|ζα y :“ |ξα y b |ξ¯α y b |ηα y : α P C Y t8uu Ă C2 b C2 b C4 .
We first note that each entries of |ζα y are linear combinations of the following 12
monomials
1, α, ᾱ, α2 , αᾱ, ᾱ2 , α3 , α2 ᾱ, αᾱ2 , α3 ᾱ, α2 ᾱ2 , α3 ᾱ2 . (2.47)
In order to show that φ satisfies the condition (2.42), we consider the vector
pf1 pαq, f2 pαq, . . . , fn pαqq P Cn , (2.48)
for complex functions f1 , . . . , fn . In order to find the dimension of the span of the
vectors in (2.48) through α P C, it suffices to consider the rank of the ‘coefficient
matrix’. The coefficient matrix of |ξα y|ξ¯α y is given by
¨ ˛
1 ¨ ¨ ¨ ¨ ¨ ¨¨¨
˚ ¨ ¨ 1 ¨ ¨ ¨ ¨ ¨ ¨‹
˚ ‹
˝ ¨ 1 ¨ ¨ ¨ ¨ ¨ ¨ ¨‚
¨ ¨ ¨ ¨ 1 ¨ ¨¨¨
with respect to the monomials 1, α, ᾱ, α2 , αᾱ, ᾱ2 , . . . , which is rank four. On the
other hand, the coefficient matrix for |ηα y is given by
¨ ˛
¨ g ¨ ´g ¨ ¨ ¨ ¨ ¨ ¨¨¨
˚ ¨ h ¨ ´cd ´cd ¨ ¨ k ¨ ¨ ¨ ¨‹
˚ ‹
˝´e ¨ ¨ ¨ ´f ¨ ¨ ¨ ¨ ¨ ¨ ¨‚
¨ ¨ ´c ¨ ´d ¨ ¨ ¨ ¨ ¨¨¨
with respect to monomials 1, α, ᾱ, α2 , αᾱ, ᾱ2 , α3 , α2 ᾱ, . . . . This is of rank 4, which
means that the set t|ηα y : α P Cu spans the whole space C4 . Now, one may produce
the coefficient matrix of |ζα y :“ |ξα y b |ξ¯α y b |ηα y with respect to the monomials in
(2.47) which is 16 ˆ 12 matrix, and check that this matrix has rank 12. This shows
that the map φ satisfies the Woronowicz dimension condition (2.42), and we have
the following:
Theorem 2.6.3 The map φ : M2 Ñ M4 defined by (2.44) and (2.45) is an inde-
composable exposed positive map for every positive a, b, c and d with ab ą 1.
Proof. It remains to show that the map φ is not decomposable. If it were decom-
posable, then φ “ Ads or φ “ Ads ˝T. Then either Cφ or CΓφ is of rank one, which
is not the case. ˝
References: [49]
112
2.7 Exposed positive maps by Robertson
In this section, we exhibit the Robertson map between 4 ˆ 4 matrices which is an
indecomposable positive map generating an exposed ray. The construction use the
notion of Jordan homomorphisms.
1
π “ pid4 ` T2 b τ2,1 q,
2
that is, we define
ˆ ˙ ˆ ˙ ˆ ˙
x y 1 x ` τ2,1 pxq y ` τ2,1 pzq x y
π “ , P M4 pCq.
z w 2 z ` τ2,1 pyq w ` τ2,1 pwq z w
Then π is a positive map since τ2,1 is completely copositive. With the expression
(2.49), we have
H “ tx P M2 pCq : τ2,1 pxq “ x˚ u,
113
and one may check that the range of M4h pCq under π is
"ˆ ˙ *
h x y h
M2 pHq “ : x, y P H X M2 pCq, w P H
y˚ w
$¨ ˛ ,
’
’ a 0 α β /
/ (2.50)
0 a ´β̄ ᾱ‹
&˚ ‹ .
“ ˚ : a, b P R, α, β P C Ă M4h pCq,
’
’
˝ ᾱ ´β b 0 ‚ /
/
β̄ α 0 b
% -
and π|M2h pHq is the identity. In short, π is a positive projection from M4h pCq onto
M2h pHq, which is a six dimensional subspace of the real space M4h pCq.
We note that M2h pHq is a JC-subalgebra of M4 pCq, that is, it is a real subspace
of Hermitian matrices in M4h pCq which is closed under the binary operation
1
a ˝ b “ pab ` baq.
2
By the relation
1
a ˝ b “ rpa ` bq2 ´ a2 ´ b2 s,
2
we see that a real subspace of Hermitian matrices is a JC-algebra if and only if it
is closed under the operation of square. Furthermore, a linear map φ between JC-
algebras is a Jordan homomorphism, that is, φpa ˝ bq “ φpaq ˝ φpbq if and only if it
preserves the operation of square. Because a Hermitian matrix is positive if and only
if it is the square of a Hermitian matrix, we see that every Jordan homomorphism
defined on the full matrix algebra is positive.
We define the Jordan automorphism θ : M2h pHq Ñ M2h pHq by
ˆ ˙ ˆ ˙
x y w y
θ ˚ “
y w y˚ x
of order two. This is also positive, since the 4 ˆ 4 matrix in (2.50) is positive if and
only if ab ě |α|2 ` |β|2 . Finally, we define the map
φrb :“ θ ˝ π
on M4h pCq, which is an extension of θ defined on M2h pHq to the whole Hermitian
parts M4h pCq. See Figure 2.10. We extend the map φrb to the whole matrix algebra
M4 pCq by (1.11). Then we have
ˆ ˙ ˆ ˙
x y 1 w ` τ2,1 pwq y ` τ2,1 pzq
φrb “
z w 2 z ` τ2,1 pyq x ` τ2,1 pxq
ˆ ˙ (2.51)
1 Tr 2 pwq y ` τ2,1 pzq
“ ,
2 z ` τ2,1 pyq Tr 2 pxq
114
M4h pCq P
PP
P PφP
rb
π P PP
? P P
q
P
M2h pHq θ - M h pHq ãÑ M h pCq
2 4
for x, y, z and w in M2 pCq. This map φrb is called the Robertson map which is a
positive map between M4 pCq. It should be noted that the map
ˆ ˙ ˆ ˙
x y w y
ÞÑ
z w z x
is not a positive map on the whole matrix algebra M4 pCq, although it is positive on
the JC-subalgebra M2h pHq of M4 pCq.
The Choi matrix of 2φrb is a 16 ˆ 16 matrix, whose first four rows coming from
φrb p|1yxj|q with j “ 1, 2, 3, 4 are given by
» fi
¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ 1 ¨ ¨ ¨ ¨ 1
—¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ffi
— ffi .
–¨ ¨ 1 ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ´1 ¨ ¨ fl
¨ ¨ ¨ 1 ¨ ¨ ¨ ¨ ¨ 1 ¨ ¨ ¨ ¨ ¨ ¨
and » fi
¨ ¨ ¨ ¨ ¨ ¨ 1 ¨ ¨ ¨ ¨ ¨ 1 ¨ ¨ ¨
—¨
— ¨ ´1 ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ 1 ¨ ¨ffi
ffi .
–¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨fl
1 ¨ ¨ ¨ ¨ 1 ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨ ¨
In order to show that φrb is not decomposable, we define
ˆ ˙ ˆ ˙ ˆ ˙ ˆ ˙
0 i 0 j 0 k 0 1
σ1 “ ˚ , σ2 “ ˚ , σ3 “ , σ4 “ ,
i 0 j 0 k˚ 0 1 0
115
where 1 is the identity for quaternion. We also put
ˆ ˙
1 0
σ5 “ σ1 σ2 σ3 σ4 “ .
0 ´1
Then we have
0 0 σ2 0
Then we have ¨ ˛
σ5 0 0 0
˚ 0 ´σ5 0 0 ‹
Σ4 “ ˚
˝0
‹, Σ8 “ I16 ,
0 σ5 0 ‚
0 0 0 ´σ5
and eigenvalues of Σ consist of eighth roots of unity. Define
?
%˘ “ Σ ` Σ˚ ˘ Σ4 ` p1 ` 2qI16
¨ ˛
˘σ5 σ4˚ 0 σ1
˚ σ4 ¯σ5 σ3˚ 0 ‹ ?
“˚˝ 0 ˚ ‚ ` p1 `
‹ 2qI16 ,
σ3 ˘σ5 σ2
σ1˚ 0 σ2 ¯σ5
Theorem 2.7.1 The map φrb defined in (2.51) is an indecomposable positive map.
116
2.7.2 Exposedness of the Robertson map
In this section, we show that the Robertson map φrb generates an exposed ray of
he convex cone P1 rM4 , M4 s. First of all, it is straightforward to check that the map
φrb is irreducible. ˆ ˙
I2 0
We write V “ P M4 . Then we have
0 ´I2
ˆ ˙ ˆ ˙
x y 1 Tr 2 pwq ´y ´ τ2,1 pzq
AdV ˝φrb “ .
z w 2 ´z ´ τ2,1 pyq Tr 2 pxq
We note that
ˆ ˙
Tr 2 pwq ´y ´ τ2,1 pzq
´z ´ τ2,1 pyq Tr 2 pxq
ˆ ˙ ˆ ˙ ˆ ˙
Tr 2 pxq ` Tr 2 pwq 0 x y τ2,1 pxq τ2,1 pzq
“ ´ ´
0 Tr 2 pxq ` Tr 2 pwq z w τ2,1 pyq τ2,1 pwq
ˆ ˙
˚ T 0 1
We also note that τ2,1 pxq “ u x u for x P M2 , with u “ P M2 , and so, it
´1 0
follows that
1` ˘
AdV ˝φrb pXq “ Tr 4 pXq ´ X ´ U ˚ X T U
2
with ¨ ˛
ˆ ˙ ¨ 1 ¨ ¨
u 0 ˚´1 ¨ ¨ ¨ ‹
U“ “˚ ˝ ¨ ¨ ¨ 1‚ P M4 .
‹ (2.52)
0 u
¨ ¨ ´1 ¨
We note that both φrb and AdV ˝φrb are unital, and the map AdV ˝φrb is also
irreducible. We proceed to show that AdV ˝φrb is also exposed, which implies that
φrb is exposed.
is exposed.
Proof. We show that φU satisfies the dimension condition (2.42). We note that
¯ ξ|U,
φp|ξyxξ|q “ I4 ´ |ξyxξ| ´ U ˚ |ξyx ¯
for a unit vector |ξy P C4 . Because |ξy and U ˚ |ξy¯ are mutually orthogonal, we see
¯ Therefore,
that φp|ξyxξq|ηy “ 0 if and only if |ηy belongs to the span of |ξy and U ˚ |ξy.
we have to show that
¯ b |ξy, |ξy b |ξy
Nφ “ span t|ξy b |ξy ¯ b U ˚ |ξy
¯ P C4 b C4 b C4 : |ξy P C4 u
117
is of 60 dimensional subspace of C4 b C4 b C4 . To see this, we write |ξy “
p1, α, β, γqT P C4 . Then the following 16 monomials
1, α, β, γ,
ᾱ, αᾱ, β ᾱ, γ ᾱ,
(2.54)
β̄, αβ̄, β β̄, γ β̄,
γ̄, αγ̄, βγ̄, γγ̄
¯ To list up monomials appearing in the
appear to write down the entries of |ξy b |ξy.
¯ b |ξy, we multiply the monomials in the first row of (2.54) with
entries of |ξy b |ξy
T
p1, α, β, γq to get ten monomials
We also get ten monomials from each row in (2.54), and so we have 40 monomials
¯ b |ξy. Therefore, we see that the span V of |ξy b |ξy
in the entries of |ξy b |ξy ¯ b |ξy
is of 40 dimension. We have
¯
|ξy|ξy|ξy “ p1, α, β, γqT b p1, ᾱ, β̄, γ̄qT b p1, α, β, γqT ,
t|ijky ´ |kjiy : i, j, k “ 1, 2, 3, 4, i ‰ ku
¯ b U ˚ |ξy
|ξy b |ξy ¯ “ p1, α, β, γqT b p1, ᾱ, β̄, γ̄qT b p´ᾱ, 1, ´γ̄, β̄qT
118
Hence, we conclude that dimpV ` W q “ 60, as it was required. ˝
Therefore, we see that the Robertson map φrb generates an exposed ray of the
convex cone P1 rM4 , M4 s of all positive maps between 4 ˆ 4 matrices. It is known
[28] that the map φU defined in (2.53) is exposed whenever U is a anti-symmetry.
We note that
φU “ τ4,1 ´ AdU ˝T
with the map τ4,1 in (1.51). The map φU is usually called the Breuer–Hall map. For
further related examples of positive maps, see [103] and Section 8 of [30].
References: [12], [51], [28], [103], [30]
119
120
Bibliography
[3] T. Ando, Cones and norms in the tensor product of matrix spaces, Linear Alg.
Appl. 379 (2004), 3–41.
[5] W. Arveson, Quantum channels that preserve entanglemen, Math. Ann. 343
(2009), 757–771.
[7] G. Aubrun and S. J. Szarek, “Alice and Bob Meet Banach: The Interface
of Asymptotic Geometric Analysis and Quantum Information Theory”, Math.
Surveys Monog. Vol 223, Amer. Math. Soc., 2017.
[11] R. Bhatia, “Matrix Analysis”, Grad. Texts Math. Vol. 169, Springer-Verlag,
1997.
[12] H.-P. Breuer, Optimal Entanglement Criterion for Mixed Quantum States,
Phys. Rev. Lett. 97 (2006), 080501.
121
[13] E.-S. Byeon and S.-H. Kye, Facial structures for positive linear maps in the two
dimensional matrix algebra, Positivity, 6 (2002), 369–380.
[14] D. Cariello, Inequalities for the Schmidt number of bipartite states, Lett. Math.
Phys. 110 (2020), 827–833.
[15] L. Chen and D. Ž. Djoković, Qubit-qudit states with positive partial transpose,
Phys. Rev. A 86 (2012), 062332.
[16] L. Chen and D. Ž. Djoković, Dimensions, lengths and separability in finite-
dimensional quantum systems, J. Math. Phys. 54 (2013), 022201.
[17] L. Chen, Y. Yang and W.-S. Tang, Schmidt number of bipartite and multipartite
states under local projections, Quantum Inform. Process 16 (2017), 75.
[18] S.-J. Cho, S.-H. Kye and S. G. Lee, Generalized Choi maps in 3-dimensional
matrix algebras, Linear Alg. Appl. 171 (1992), 213–224.
[19] H.-S. Choi and S.-H. Kye, Facial structures for separable states, J. Korean
Math. Soc. 49 (2012), 623–639.
[20] M.-D. Choi, Positive linear maps on C ˚ -algebras, Canad. Math. J. 24 (1972),
520–529.
[21] M.-D. Choi, Completely positive linear maps on complex matrices, Linear Alg.
Appl. 10 (1975), 285–290.
[22] M.-D. Choi, Positive semidefinite biquadratic forms, Linear Alg. Appl. 12
(1975), 95–100.
[23] M.-D. Choi, Some assorted inequalities for positive maps on C ˚ -algebras, J.
Operator Theory 4 (1980), 271–285.
[24] M.-D. Choi, Positive linear maps, Operator Algebras and Applications
(Kingston, 1980), pp. 583–590, Proc. Sympos. Pure Math. Vol 38. Part 2, Amer.
Math. Soc., 1982.
[25] M.-D. Choi and T.-T. Lam, Extremal positive semidefinite forms, Math. Ann.
231 (1977), 1–18.
122
[28] D. Chruściński and G. Sarbicki, Exposed positive maps in M4 pCq, Open Sys.
Inform. Dynam. 19 (2012), 1250017.
[29] D. Chruściński and G. Sarbicki, Optimal entanglement witnesses for two qutrits,
Open Sys. Inform. Dynam. 20 (2013), 1350006.
[34] M.-H. Eom and S.-H. Kye, Duality for positive linear maps in matrix algebras,
Math. Scand. 86 (2000), 130–142.
[36] M. Girard, S.-H. Kye and E. Størmer, Convex cones in mapping spaces between
matrix algebras, Linear Alg. Appl. 608 (2021), 248–269.
[38] O. Gühne and G. Toth, Entanglement detection, Phys. Rep. 474 (2009), 1–75.
[40] L. Gurvits and H. Barnum, Largest separable balls around the maximally mixed
bipartite quantum state, Phys. Rev. A 66 (2002), 062311.
[41] K.-C. Ha, Atomic positive linear maps in matrix algebras, Publ. Res. Inst. Math.
Sci. 34 (1998), 591–599.
[42] K.-C. Ha, Notes on extremality of the Choi map, Linear Alg. Appl. 439 (2013),
3156–3165.
123
[43] K.-C. Ha and S.-H. Kye, Construction of entangled states with positive partial
transposes based on indecomposable positive linear maps, Phys. Lett. A 325
(2004), 315–323.
[44] K.-C. Ha and S.-H. Kye, One parameter family of indecomposable optimal en-
tanglement witnesses arising from generalized Choi maps, Phys. Rev. A, 84
(2011), 024302.
[45] K.-C. Ha and S.-H. Kye, Optimality for indecomposable entanglement witnesses,
Phys. Rev. A 86 (2012), 034301.
[46] K.-C. Ha and S.-H. Kye, Entanglement witnesses arising from Choi type positive
linear maps, J. Phys. A: Math. Theor. 45 (2012), 415305.
[47] K.-C. Ha and S.-H. Kye, Exposedness of Choi type entanglement witnesses
and applications to lengths of separable states, Open Syst. Inform. Dynam. 20
(2013), 1350012.
[48] K.-C. Ha and S.-H. Kye, Separable states with unique decompositions, Commun.
Math. Phys. 328 (2014), 131–153.
[49] K.-C. Ha and S.-H. Kye, Construction of exposed indecomposable positive linear
maps between matrix algebras, Linear Multilinear Alg. 64 (2016), 2188–2198.
[52] K. H. Han and S.-H, Kye, Various notions of positivity for bi-linear maps and
applications to tri-partite entanglement, J. Math. Phys. 57 (2016), 015205.
[53] K. H. Han and S.-H. Kye, Construction of multi-qubit optimal genuine entan-
glement witnesses, J. Phys. A: Math. Theor. 49 (2016), 175303.
[54] K. H. Han and S.-H. Kye, Choi matrices revisited, II, arXiv 2307.09247.
124
[57] A. S. Holevo, Entropy gain and the Choi–Jamiolkowski correspondence for infi-
nite dimensional quantum evolutions, Theor. Math. Phys. 166 (2011), 123–138.
[62] P. Horodecki, Separability criterion and inseparable mixed states with positive
partial transposition, Phys. Lett. A 232 (1997), 333–339.
[66] T. Itoh, Positive maps and cones in C ˚ -algebras, Math. Japonica 31 (1986),
607–616.
[68] Y.-H. Kiem, S.-H. Kye and J. Lee, Existence of product vectors and their partial
conjugates in a pair of spaces, J. Math. Phys. 52 (2011), 122201.
[69] Y.-H. Kiem, S.-H. Kye and J. Na, Product vectors in the ranges of multi-partite
states with positive partial transposes and permanents of matrices, Commun.
Math. Phys. 338 (2015), 621–639.
125
[71] P. Kopszak, M. Mozrzymas and M. Studziński, Positive maps from irreducibly
covariant operators, J. Phys. A: Math. Theor. 53 (2020), 395306.
[72] K. Kraus, General State Changes in Quantum Theory, Ann. of Phys. 64 (1971),
311–335.
[73] K. Kraus, Operations and effects in the Hilbert space formulation of quantum
theory, Foundations of quantum mechanics and ordered linear spaces (Marburg,
1973), pp. 206–229, Lecture Notes in Phys., Vol. 29, Springer, 1974.
[74] S.-H. Kye, Facial structures for positive linear maps between matrix algebras,
Canad. Math. Bull. 39 (1996), 74–82.
[75] S.-H. Kye, Boundaries of the cone of positive linear maps and subcones in matrix
algebras, J. Korean Math. Soc. 33 (1996), 669–677.
[76] S.-H. Kye, On the convex set of all completely positive linear maps in matrix
algebras, Math. Proc. Cambridge Philos. Soc. 122 (1997), 45–54.
[77] S.-H. Kye, Facial structures for various notions of positivity and applications
to the theory of entanglement, Rev. Math. Phys. 25 (2013), 1330002.
[78] S.-H. Kye, Three-qubit entanglement witnesses with the full spanning properties,
J. Phys. A: Math. Theor. 48 (2015), 235303.
[79] S.-H. Kye, Choi matrices revisited, J. Math. Phys. 63 (2022), 092202.
[80] S.-H. Kye, Compositions and tensor products of linear maps between matrix
algebras, Linear Alg. Appl. 658 (2023), 283–309.
[81] S.-H. Kye, Exposedness of elementary positive maps between matrix algebras,
arXiv 2301.05788.
[84] Y. Li and H.-K. Du, Interpolations of entanglement breaking channels and equiv-
alent conditions for completely positive maps, J. Funct. Anal. 268 (2015), 3566–
3599.
126
[86] M. Marciniak, Rank properties of exposed positive maps, Linear Multilinear Alg.
61 (2013), 970–975.
[93] V. I. Paulsen and F. Shultz, Complete positivity of the map from a basis to its
dual basis, J. Math. Phys. 54 (2013), 072201.
[94] A. Peres, Separability Criterion for Density Matrices, Phys. Rev. Lett. 77
(1996), 1413–1415.
[100] A. Sanpera, D. Bruß and M. Lewenstein, Schmidt number witnesses and bound
entanglement, Phys. Rev. A 63 (2001), 050301.
127
[101] A. Sanpera, R. Tarrach and G. Vidal, Local description of quantum insepara-
bility, Phys. Rev. A 58 (1998), 826–830.
[105] S. Singh and I. Nechita, Diagonal unitary and orthogonal symmetries in quan-
tum theory, Quantum 5 (2021), 519.
[111] E. Størmer, Positive linear maps of operator algebras, Acta Math. 110 (1963),
233–278.
[114] E. Størmer, Extension of positive maps into BpHq, J. Funct. Anal. 66 (1986),
235-254.
[115] E. Størmer, Separable states and positive maps, J. Funct. Anal. 254 (2008),
2303–2312.
128
[117] E. Størmer, Tensor products of positive maps of matrix algebras, Math. Scand.
111 (2012), 5–11.
[119] E. Størmer, The analogue of Choi matrices for a class of linear maps on Von
Neumann algebras, Intern. J. Math. 26 (2016), 1550018.
[122] W.-S. Tang, On positive linear maps between matrix algebras, Linear Alg.
Appl. 79 (1986), 33–44.
[123] B. M. Terhal, Bell Inequalities and the Separability Criterion, Phys. Lett. A
271 (2000), 319–326.
[124] B. M. Terhal and P. Horodecki, A Schmidt number for density matrices, Phys.
Rev. A 61 (2000), 040301.
[126] J. Tomiyama, On the geometry of positive maps in matrix algebras. II, Linear
Alg. Appl. 69 (1985), 169–177.
[132] S. Yamagami, Cyclic inequalities, Proc. Amer. Math. Soc, 118 (1993), 521–
527.
129
[133] Y. Yang, D. H. Leung and W.-S. Tang, All 2-positive linear maps from M3 pCq
to M3 pCq are decomposable, Linear Alg. Appl. 503 (2016), 233–247.
[134] D. A. Yopp and R. D. Hill, Extremals and exposed faces of the cone of positive
maps, Linear Multilinear Alg. 53 (2005), 167–174.
130
Index
Ads , 18 SR |ζy, 14
BP 1 rMm b Mn s, 29 SPk , 22
BP k rMm b Mn s, 42 SPk rMm , Mn s, 21
C ˝ , 39 T, 10
Cφ , 28 Tr , 10, 32
CCPrMm , Mn s, 43 Tk , 42
conv S, 21 Wφ , 89
CPrMm , Mn ; ps, 43 Wy rD; Cs, 90
CPrMm , Mn s, 41 X ˚ , 38
Dn , 11
DECrMm , Mn s, 44 %Γ , 34
DECpMm b Mn q, 45 φ̄, 34
Fk rζs, 87 φ˚ , 18
FV , 43, 74 φra,b,cs , 97
F V , 74 φch , 50
F W , 75 φrb , 114
F 1 , 72 φwo , 51
H, 113 BC, 15
HpMm , Mn q, 17 x ¨ , ¨ y, 10, 39
|iy, 9 xÃ|, 11
I, 12 a ˝ b, 114
Im , 12 adjoint, 8
id, 19 adjoint map, 18
idn , 19 affine isomorphism, 18, 76
int C, 15 affine manifold, 15
LpMm , Mn q, 17 ampliation map, 62
Lφ , 38 anti-automorphism, 113
Mm ` b M ` , 31
n arithmetic mean, 51
Mn , 9 arithmetic-geometric inequality, 79
Mn` , 16
Mnh , 16 bi-optimal property, 95, 96
Mmˆn , 9 bi-partite state, 31
m ^ n, 21 bi-spanning property, 96, 103, 106
m b n state, 31 bidual cone, 40
P rφs, 94 bidual face, 79, 80
P1 rMm , Mn s, 18 bilinear pairing, 39, 51, 53, 60
Pk rMm , Mn s, 41 Bloch ball, 24
PPT rMm b Mn s, 35 Bloch sphere, 24
PPTrMm , Mn s, 45 block matrix, 12
Sk rMm b Mn s, 30 block-positive matrix, 29, 76, 78, 89
131
block-wise transpose, 34 entanglement breaking map, 62, 69
boundary, 24, 88, 96, 105 entanglement witness, 89
boundary point, 15, 21, 92 exposed face, 73, 79, 81, 83, 94
bra, 8 exposed point, 75
Breuer–Hall map, 119 exposed positive map, 78, 107, 108, 117
Brower’s fixed point theorem, 27 exposed ray, 75, 86–88, 96, 103
extremal positive map, 16, 18, 20, 27, 52, 93
Carathéodory theorem, 16 extreme point, 15, 16, 26, 44, 67
Choi map, 51, 79, 81, 82, 95, 97 extreme ray, 16–18, 30, 32, 79, 81, 83, 84,
Choi matrix, 28, 32, 33, 47, 54, 61, 63, 67, 106
69, 77, 88, 89, 93, 97, 115
classically correlation, 68 face, 15, 43, 72, 74, 81, 85, 92–95
co-optimal property, 95, 103, 105 flip operation, 28, 39
co-spanning property, 95 function space, 31
coefficient matrix, 112
column elementary operation, 13 Gelfand–Naimark–Segal construction, 66
column vector, 8, 14 geometric mean, 51
commutant, 108 half-space, 40
completely copositive map, 43, 44, 49, 67, Hermitian matrix, 10, 17, 28, 34, 114
74, 93, 95, 98, 101, 113 Hermiticity preserving map, 17, 24, 28, 34,
completely positive map, 41, 43, 44, 47, 49, 108
52, 58, 66, 67, 69, 74, 79, 82, 89, 93, Hilbert–Schmidt distance, 24
94, 97, 101, 113 Holevo form, 66
completely positive projection, 114 homogeneous polynomial, 109
complex projective space, 24 Horodecki’s separability criterion, 69
composition, 61, 69 hyperplane, 17, 73, 92
congruence map, 18 ˚-homomorphism, 67
conjugate, 34
contraction, 26 identity map, 19, 32, 47, 54, 78, 109, 110
convex cone, 16, 18, 23, 27, 40, 62, 63, 72– identity matrix, 11, 12, 16, 19, 32
74, 92 indecomposable exposed positive map, 112,
convex hull, 21, 23 113
convex set, 14 indecomposable positive map, 27, 46, 50, 51,
copositive matrix, 43, 45 68, 87, 96, 97, 104, 116
inner product, 8, 24, 26
decomposable map, 23, 26, 27, 44–46, 62, interior, 88, 94, 96, 105
67, 78, 82, 93, 95, 96, 101 interior point, 14–16, 21, 27, 32, 72, 74, 84,
density matrix, 11, 17 85, 90, 92
detect, 90 irreducible positive linear map, 108
dimension theorem, 14 isometry, 26
dual cone, 39, 40, 60, 64, 69 isotropic state, 53, 56, 57, 69
dual face, 72, 73, 79
dual space, 38 Jamiolkowski–Choi isomorphism, 28, 67
duality, 67, 68, 79, 107 JC-subalgebra, 114, 115
Jordan homomorphism, 67, 114
eigenvalue, 12
Einstein-Podolsky-Rosen correlation, 68 kernel, 79
entangled state, 30, 32, 68, 93 kernel space, 14, 37
entangled subspace, 36 ket, 8
132
Kraus decomposition, 41, 67 PPT map, 45
k-block-positive matrix, 42 PPT state, 36, 37, 45, 46, 62, 67, 73, 75, 100
k-copositive map, 43, 58 principal submatrix, 51, 76, 77
k-positive map, 41, 42, 46, 47, 49, 58, 62, probability distribution, 11, 31
63, 66, 68, 69 product state, 31, 68, 69
k-simple vectors, 68 product vector, 14, 29–33, 36–38, 67, 95, 96,
k-superpositive map, 21, 41, 53, 55–57, 63, 101, 102, 106
65, 69 projection, 10, 19
proper face, 15
left mapping cone, 59, 60, 62–64 pure product state, 106
length, 106 pure separable state, 33
lexicographic order, 75 pure state, 11
linear functional, 8, 11, 21, 38–40, 66
linear map, 9, 17, 68 quaternion, 113, 116
local unitary, 54
range, 36, 108
mapping cone, 59, 60, 62, 65, 69 range criterion, 37
matrix, 9, 11 range space, 14, 36, 43
matrix algebra, 9, 67 range vector, 24, 31, 32
matrix units, 9, 61, 80 rank of a matrix, 14, 30, 35
maximal face, 83, 86–88 rank one matrix, 9, 14, 16, 22, 30, 36, 77,
minimal exposed face, 86, 87 79, 80, 83, 110
monomial, 109, 112, 118 rank one projection, 30
multi-linear map, 67 ray, 16
reflection, 25
non-degenerate bilinear pairing, 39, 72, 83,
relative interior point, 14
84, 92
right mapping cone, 59, 60, 62–64
non-extendibile positive map, 68
Robertson map, 113, 115, 119
operation of square, 114 rotation, 25
optimal property, 93, 94, 105 row elementary operation, 13
order isomorphism, 18 row vector, 11, 14
orthogonal matrix, 25, 26
scalar matrix, 107, 108, 111
partial conjugate, 37, 82, 95, 96 Schmidt number, 30–32, 42, 46, 53, 54, 57,
partial transpose, 34–37, 50, 67 58, 62, 65, 66, 68, 69
Pauli matrix, 23, 25, 113 Schmidt rank, 14, 30, 31, 54, 77
polynomial, 109 Schur product, 41
positive linear functional, 11, 66 self-adjoint matrix, 9
positive linear map, 18, 23, 27, 29, 32, 41, separable state, 30, 31, 33, 35–37, 45, 46, 53,
42, 45–47, 51, 60, 62, 65–69, 75, 85, 56, 64, 67–69, 89, 105
89, 93, 94, 101, 107 separable variables, 31
positive matrix, 9, 11, 12, 16, 29, 30, 35, 41, simplex, 106
42, 45, 50, 62, 65, 67, 89 singular value, 13
positive partial transpose, 35 singular value decomposition, 13, 14, 20, 26,
positive semi-definite matrix, 9 65, 75, 78
PPT, 35, 116 spanning property, 95, 104, 105
PPT criterion, 35, 64, 68 special unitary matrix, 23
PPT entangled state, 35, 36, 38, 68, 93, 96, spectral decomposition, 10
105 state, 11, 30
133
state of rank one, 31, 35
Stinespring representation theorem, 67
Stone–Weierstrass theorem, 31
superpositive map, 21, 69, 79
vector, 8, 11
134