Blog > The Equivalences of the Choi-Jamiolkowski Isomorphism (Part I)

## The Equivalences of the Choi-Jamiolkowski Isomorphism (Part I)

October 16th, 2009

The Choi-Jamiolkowski isomorphism is an isomorphism between linear maps from Mn to Mm and operators living in the tensor product space Mn ⊗ Mm. Given any linear map Φ : Mn → Mm, we can define the Choi matrix of Φ to be It turns out that this association between Φ and CΦ defines an isomorphism, which has become known as the Choi-Jamiolkowski isomorphism. Because much is already known about linear operators, the Choi-Jamiolkowski isomorphism provides a simple way of studying linear maps on operators — just study the associated linear operators instead. Thus, since there does not seem to be a list compiled anywhere of all of the known associations through this isomorphism, I figure I might as well start one here. I’m planning on this being a two-parter post because there’s a lot to be said.

### 1. All Linear Maps / All Operators

By the very fact that we’re talking about an isomorphism, it follows that the set of all linear maps from Mn to Mm corresponds to the set of all linear operators in Mn ⊗ Mm. One can then use the singular value decomposition on the Choi matrix of the linear map Φ to see that we can find sets of operators {Ai} and {Bi} such that To construct the operators Ai and Bi, simply reshape the left singular vectors and right singular vectors of the Choi matrix and multiply the Ai operators by the corresponding singular values. An alternative (and much more mathematically-heavy) method of proving this representation of Φ is to use the Generalized Stinespring Dilation Theorem [1, Theorem 8.4].

### 2. Hermicity-Preserving Maps / Hermitian Operators

The set of Hermicity-Preserving linear maps (that is, maps Φ such that Φ(X) is Hermitian whenever X is Hermitian) corresponds to the set of Hermitian operators. By using the spectral decomposition theorem on CΦ and recalling that Hermitian operators have real eigenvalues, it follows that there are real constants {λi} such that Again, the trick is to construct each Ai so that the vectorization of Ai is the ith eigenvector of CΦ and λi is the corresponding eigenvalue. Because every Hermitian operator can be written as the difference of two positive semidefinite operators, it is a simple corollary that every Hermicity-Preserving Map can be written as the difference of two completely positive linear maps — this will become more clear after Section 4. It is also clear that we can absorb the magnitude of the constant λi into the operator Ai, so we can write any Hermicity-preserving linear map in the form above, where each λi = ±1.

### 3. Positive Maps / Block Positive Operators

A linear map Φ is said to be positive if Φ(X) is positive semidefinite whenever X is positive semidefinite. A useful characterization of these maps is still out of reach and is currently a very active area of research in quantum information science and operator theory. The associated operators CΦ are those that satisfy In terms of quantum information, these operators are positive on separable states. In the world of operator theory, these operators are usually referred to as block positive operators. As of yet we do not have a quick deterministic method of testing whether or not an operator is block positive (and thus we do not have a quick deterministic way of testing whether or not a linear map is positive).

### 4. Completely Positive Maps / Positive Semidefinite Operators

The most famous class of linear maps in quantum information science, completely positive maps are maps Φ such that (idk ⊗ Φ) is a positive map for any natural number k. That is, even if there is an ancillary system of arbitrary dimension, the map still preserves positivity. These maps were characterized in terms of their Choi matrix in the early ’70s , and it turns out that Φ is completely positive if and only if CΦ is positive semidefinite. It follows from the spectral decomposition theorem (much like in Section 2) that Φ can be written as Again, the Ai operators (which are known as Kraus operators) are obtained by reshaping the eigenvectors of CΦ. It also follows (and was proved by Choi) that Φ is completely positive if and only if (idn ⊗ Φ) is positive. Also note that, as there exists an orthonormal basis of eigenvectors of CΦ, the Ai operators can be constructed so that Tr(Ai*Aj) = δij, the Kronecker delta. An alternative method of deriving the representation of Φ(X) is to use the Stinespring Dilation Theorem [1, Theorem 4.1] of operator theory.

### 5. k-Positive Maps / k-Block Positive Operators

Interpolating between the situations of Section 3 and Section 4 are k-positive maps. A map is said to be k-positive if (idk ⊗ Φ) is a positive map. Thus, complete positivity of a map Φ is equivalent to Φ being k-positive for all natural numbers k, which is equivalent to Φ being n-positive. Positivity of Φ is the same as 1-positivity of Φ. Since we don’t even have effective methods for determining positivity of linear maps, it makes sense that we don’t have effective methods for determining k-positivity of linear maps, so they are still a fairly active area of research. It is known that Φ is k-positive if and only if Operators of this type are referred to as k-block positive operators, and SR(x) denotes the Schmidt rank of the vector x. Because a vector has Schmidt rank 1 if and only if it is separable, it follows that this condition reduces to the condition that we saw in Section 3 for positive maps in the k = 1 case. Similarly, since all vectors have Schmidt rank less than or equal to n, it follows that Φ is n-positive if and only if CΦ is positive semidefinite, which we saw in Section 4.

Update [October 23, 2009]: Part II of this post is now online.

References:

1. V. I. Paulsen, Completely Bounded Maps and Operator Algebras, Cambridge Studies in Advanced Mathematics 78, Cambridge University Press, Cambridge, 2003.
2. M.-D. Choi, Completely Positive Linear Maps on Complex Matrices, Lin. Alg. Appl, 285-290 (1975).
1. April 29th, 2010 at 01:19 | #1

Maybe I am wrong, but it seems to me that in:

“it follows that the set of all linear maps from Mn to Mm corresponds to the set of all linear operators on Mn ⊗ Mm”

it should say at the end Cn ⊗ Cm (where by C I mean the Complex numbers)

2. April 29th, 2010 at 10:33 | #2

Thanks for the correction, Abel. I meant to say “in” Mn ⊗ Mm instead of “on” Mn ⊗ Mm there — it is fixed now.

3. November 10th, 2010 at 12:54 | #3

Dude. This is awesome. Very deep.

Mn and Mm are any two manifolds?

What are applications of Hermiticity-preserving maps? I assume it’s from quantum…

4. January 17th, 2016 at 19:04 | #4

Hi, there might be something wrong in section 4. As to choi(or Kraus) representation for completely positive maps, you can only take A_i mutually orthogonal. If you want to make A_i normalized, you have to write like this psi(X) = sum_i lambda_i A_i X A_i ^\dagger, right?

5. January 17th, 2016 at 21:36 | #5

@Kun Fang – Eep, you’re absolutely right. They can be taken mutually orthogonal, but of course there has to be a scaling factor somewhere. Either inside the A_i’s (in which case they aren’t orthonormal as I claimed), or you can put a lambda_i in front of them.

Good catch, thanks!

6. February 2nd, 2016 at 16:36 | #6

In 2, How can one ensure that $I \otimes \Psi$ is Hermicity preserving when $\Psi$ is Hermiticity preserving? It seems that, if you want to insist that $C_{\Psi}$ is a Hermitian operator, we need not only Hermiticity-preservity of $\Psi$ but ‘completely Hermiticity preservity’ of $\Psi$.

7. February 3rd, 2016 at 13:47 | #7

@Guldam Kwak – It follows from the fact that every Hermitian operator $X \in M_n \otimes M_n$ can be written as a sum of the form $\sum_i A_i \otimes B_i$, where each $A_i$ and $B_i$ is Hermitian. Then $(I \otimes \Psi)(X) = \sum_i A_i \otimes \Psi(B_i)$, which is Hermitian.

In other words, $\Psi$ being Hermiticity-preserving is indeed equivalent to it being “completely Hermiticity-preservity”.

1. October 23rd, 2009 at 08:09 | #1
2. November 20th, 2009 at 08:15 | #2
3. July 11th, 2011 at 20:04 | #3
4. December 21st, 2021 at 04:41 | #4
5. December 21st, 2021 at 04:53 | #5
6. December 21st, 2021 at 09:07 | #6
7. December 21st, 2021 at 10:30 | #7
8. December 21st, 2021 at 13:18 | #8
9. December 21st, 2021 at 16:23 | #9
10. December 21st, 2021 at 19:35 | #10
11. December 21st, 2021 at 19:47 | #11
12. December 22nd, 2021 at 00:14 | #12
13. December 22nd, 2021 at 02:44 | #13
14. December 22nd, 2021 at 04:12 | #14
15. December 22nd, 2021 at 05:33 | #15
16. December 22nd, 2021 at 07:06 | #16
17. December 22nd, 2021 at 08:51 | #17
18. December 22nd, 2021 at 12:04 | #18
19. December 22nd, 2021 at 12:29 | #19
20. December 22nd, 2021 at 12:45 | #20
21. December 22nd, 2021 at 15:19 | #21
22. December 22nd, 2021 at 15:23 | #22
23. December 22nd, 2021 at 18:53 | #23
24. December 22nd, 2021 at 19:14 | #24
25. December 22nd, 2021 at 19:24 | #25
26. December 23rd, 2021 at 04:18 | #26
27. December 23rd, 2021 at 09:51 | #27
28. December 23rd, 2021 at 09:58 | #28
29. December 23rd, 2021 at 10:17 | #29
30. December 23rd, 2021 at 13:09 | #30
31. December 23rd, 2021 at 17:40 | #31
32. December 23rd, 2021 at 20:26 | #32
33. December 23rd, 2021 at 20:29 | #33
34. December 23rd, 2021 at 20:34 | #34
35. December 23rd, 2021 at 20:47 | #35
36. December 23rd, 2021 at 22:00 | #36
37. December 23rd, 2021 at 22:27 | #37
38. December 23rd, 2021 at 22:38 | #38
39. December 23rd, 2021 at 23:36 | #39
40. December 24th, 2021 at 00:16 | #40
41. December 24th, 2021 at 00:49 | #41
42. December 24th, 2021 at 03:51 | #42
43. December 24th, 2021 at 06:17 | #43
44. December 24th, 2021 at 06:19 | #44
45. December 24th, 2021 at 07:07 | #45
46. December 24th, 2021 at 08:04 | #46
47. December 24th, 2021 at 12:01 | #47
48. December 24th, 2021 at 14:22 | #48
49. December 24th, 2021 at 15:32 | #49
50. December 24th, 2021 at 17:42 | #50
51. December 24th, 2021 at 20:15 | #51
52. December 24th, 2021 at 20:35 | #52
53. December 24th, 2021 at 22:16 | #53
54. December 25th, 2021 at 00:26 | #54
55. December 25th, 2021 at 02:41 | #55
56. December 25th, 2021 at 02:48 | #56
57. December 25th, 2021 at 16:40 | #57
58. December 25th, 2021 at 17:25 | #58
59. December 25th, 2021 at 17:43 | #59
60. December 25th, 2021 at 18:05 | #60
61. December 25th, 2021 at 18:38 | #61
62. December 25th, 2021 at 23:16 | #62
63. December 26th, 2021 at 02:20 | #63
64. December 26th, 2021 at 15:21 | #64
65. December 26th, 2021 at 16:44 | #65
66. December 26th, 2021 at 18:35 | #66
67. December 26th, 2021 at 23:22 | #67
68. December 27th, 2021 at 00:50 | #68
69. December 27th, 2021 at 01:25 | #69
70. December 27th, 2021 at 05:08 | #70
71. December 27th, 2021 at 07:53 | #71
72. December 27th, 2021 at 10:33 | #72
73. December 27th, 2021 at 20:48 | #73
74. December 27th, 2021 at 23:45 | #74
75. December 28th, 2021 at 00:27 | #75
76. December 28th, 2021 at 01:34 | #76
77. January 1st, 2022 at 17:03 | #77
78. January 1st, 2022 at 21:19 | #78
79. January 2nd, 2022 at 01:46 | #79
80. January 2nd, 2022 at 04:49 | #80
81. January 2nd, 2022 at 04:54 | #81
82. January 2nd, 2022 at 09:59 | #82
83. January 2nd, 2022 at 10:52 | #83
84. January 2nd, 2022 at 13:54 | #84
85. January 2nd, 2022 at 22:35 | #85
86. January 2nd, 2022 at 23:25 | #86
87. January 3rd, 2022 at 01:34 | #87
88. January 3rd, 2022 at 02:09 | #88
89. January 3rd, 2022 at 03:36 | #89
90. January 3rd, 2022 at 13:41 | #90
91. January 3rd, 2022 at 13:58 | #91
92. January 3rd, 2022 at 18:46 | #92
93. January 3rd, 2022 at 19:06 | #93
94. January 3rd, 2022 at 22:43 | #94
95. January 4th, 2022 at 04:40 | #95
96. January 4th, 2022 at 08:38 | #96
97. January 4th, 2022 at 11:16 | #97
98. January 4th, 2022 at 11:38 | #98
99. January 4th, 2022 at 11:42 | #99
100. January 4th, 2022 at 15:42 | #100
101. January 4th, 2022 at 17:30 | #101
102. January 4th, 2022 at 18:05 | #102
103. January 4th, 2022 at 18:54 | #103
104. January 5th, 2022 at 02:02 | #104
105. January 5th, 2022 at 02:42 | #105
106. January 5th, 2022 at 03:24 | #106
107. January 5th, 2022 at 03:46 | #107
108. January 5th, 2022 at 05:18 | #108
109. January 5th, 2022 at 08:41 | #109
110. January 5th, 2022 at 09:57 | #110
111. January 5th, 2022 at 14:00 | #111
112. January 5th, 2022 at 14:09 | #112
113. January 5th, 2022 at 18:31 | #113
114. January 5th, 2022 at 18:58 | #114
115. January 5th, 2022 at 19:03 | #115
116. January 5th, 2022 at 20:03 | #116
117. January 5th, 2022 at 20:08 | #117
118. January 5th, 2022 at 22:19 | #118
119. January 6th, 2022 at 00:10 | #119
120. January 6th, 2022 at 01:07 | #120
121. January 6th, 2022 at 08:30 | #121
122. January 6th, 2022 at 12:52 | #122
123. January 6th, 2022 at 14:24 | #123
124. January 6th, 2022 at 20:45 | #124
125. January 6th, 2022 at 21:02 | #125
126. January 6th, 2022 at 21:35 | #126
127. January 6th, 2022 at 22:23 | #127
128. January 7th, 2022 at 00:42 | #128
129. January 7th, 2022 at 02:42 | #129
130. January 7th, 2022 at 05:10 | #130
131. January 7th, 2022 at 06:12 | #131
132. January 7th, 2022 at 06:43 | #132
133. January 7th, 2022 at 12:40 | #133
134. January 7th, 2022 at 15:00 | #134
135. January 7th, 2022 at 17:16 | #135
136. January 7th, 2022 at 20:48 | #136
137. January 7th, 2022 at 22:32 | #137
138. January 8th, 2022 at 00:48 | #138
139. January 8th, 2022 at 02:01 | #139
140. January 8th, 2022 at 02:41 | #140
141. January 8th, 2022 at 05:04 | #141
142. January 8th, 2022 at 08:27 | #142
143. January 8th, 2022 at 09:05 | #143
144. January 8th, 2022 at 10:21 | #144
145. January 8th, 2022 at 15:47 | #145
146. January 8th, 2022 at 19:24 | #146
147. January 8th, 2022 at 19:25 | #147
148. January 9th, 2022 at 06:42 | #148
149. January 9th, 2022 at 07:22 | #149
150. January 9th, 2022 at 07:46 | #150
151. January 9th, 2022 at 08:24 | #151
152. January 9th, 2022 at 14:47 | #152
153. January 9th, 2022 at 17:23 | #153
154. January 9th, 2022 at 22:16 | #154
155. January 10th, 2022 at 04:39 | #155
156. January 10th, 2022 at 06:52 | #156
157. January 10th, 2022 at 08:42 | #157
158. January 10th, 2022 at 11:45 | #158
159. January 10th, 2022 at 19:54 | #159
160. January 11th, 2022 at 03:01 | #160
161. January 11th, 2022 at 03:10 | #161
162. January 11th, 2022 at 06:33 | #162
163. January 11th, 2022 at 06:36 | #163
164. January 11th, 2022 at 16:36 | #164
165. January 11th, 2022 at 18:43 | #165
166. January 12th, 2022 at 01:40 | #166
167. January 12th, 2022 at 07:19 | #167
168. January 12th, 2022 at 15:43 | #168
169. January 13th, 2022 at 16:27 | #169
170. January 14th, 2022 at 14:52 | #170
171. January 15th, 2022 at 11:58 | #171
172. January 15th, 2022 at 18:29 | #172
173. January 17th, 2022 at 00:51 | #173
174. January 17th, 2022 at 02:59 | #174
175. January 17th, 2022 at 08:13 | #175
176. January 17th, 2022 at 10:20 | #176
177. January 17th, 2022 at 11:22 | #177
178. January 17th, 2022 at 13:19 | #178
179. January 17th, 2022 at 15:58 | #179
180. January 17th, 2022 at 16:20 | #180
181. January 17th, 2022 at 16:32 | #181
182. January 17th, 2022 at 18:15 | #182
183. January 17th, 2022 at 22:39 | #183
184. January 17th, 2022 at 22:41 | #184
185. January 18th, 2022 at 00:21 | #185
186. January 18th, 2022 at 02:38 | #186
187. January 18th, 2022 at 03:48 | #187
188. January 18th, 2022 at 11:04 | #188
189. January 18th, 2022 at 18:33 | #189
190. January 18th, 2022 at 21:03 | #190
191. January 19th, 2022 at 08:46 | #191
192. January 19th, 2022 at 18:53 | #192
193. January 20th, 2022 at 21:58 | #193
194. January 21st, 2022 at 04:53 | #194
195. January 21st, 2022 at 13:28 | #195
196. January 21st, 2022 at 14:23 | #196
197. January 21st, 2022 at 19:39 | #197
198. January 21st, 2022 at 23:47 | #198
199. January 23rd, 2022 at 04:54 | #199
200. January 23rd, 2022 at 16:16 | #200
201. March 3rd, 2022 at 14:58 | #201