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

C_\Phi:=\sum_{i,j=1}^n|e_i\rangle\langle e_j|\otimes\Phi(|e_i\rangle\langle e_j|),\text{ where }\big\{|e_i\rangle\big\}\text{ is an orthonormal basis of $\mathbb{C}^n$}.

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

\Phi(X)=\sum_iA_iXB_i.

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

\Phi(X)=\sum_i\lambda_iA_iXA_i^*.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

(\langle a|\otimes\langle b|)C_\Phi(|a\rangle\otimes|b\rangle)\geq 0\quad\forall\,|a\rangle,|b\rangle.

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 [2], 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

\Phi(X)=\sum_iA_iXA_i^*.

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

\langle x|C_\Phi|x\rangle\geq 0\quad\forall\,|x\rangle\text{ with }SR(|x\rangle)\leq k.

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. Abel
    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. Kun Fang
    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. Guldam Kwak
    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 $latex X \in M_n \otimes M_n$ can be written as a sum of the form $latex \sum_i A_i \otimes B_i$, where each $latex A_i$ and $latex B_i$ is Hermitian. Then $latex (I \otimes \Psi)(X) = \sum_i A_i \otimes \Psi(B_i)$, which is Hermitian.

    In other words, $latex \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