completely positive maps in quantum informationadonsig1/nifas/0911-poon.pdfyiu tung poon completely...
TRANSCRIPT
![Page 1: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/1.jpg)
Completely Positive Maps in Quantum Information
Yiu Tung PoonDepartment of Mathematics
Iowa State UniversityAmes, Iowa, USA
INFASNovember 14, 2009
Joint work with Chi-Kwong Li.
This research was partially supported by an NSF grant.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 2: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/2.jpg)
Basic notation and definitions
H, K : Hilbert space.
B(H) (B(H,K)) : Bounded Linear operators on H (from H to K).
When dimH = n, take H = Cn, and B(H) = Mn, the set of n× ncomplex matrices. Similarly, take (B(H,K)) = Mm, n when dimK = m.
B(H)+ : Positive semi-definite operators in B(H). For A ∈ B(H)+, writeA ≥ 0.
A C∗-algebra is a normed closed ∗-subalgebra of some B(H).
A linear map Φ : A → B(K) is said to be positive if Φ(A) ≥ 0 for everyA ≥ 0. (Φ ≥ 0)
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 3: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/3.jpg)
Basic notation and definitions
H, K : Hilbert space.
B(H) (B(H,K)) : Bounded Linear operators on H (from H to K).
When dimH = n, take H = Cn, and B(H) = Mn, the set of n× ncomplex matrices. Similarly, take (B(H,K)) = Mm, n when dimK = m.
B(H)+ : Positive semi-definite operators in B(H). For A ∈ B(H)+, writeA ≥ 0.
A C∗-algebra is a normed closed ∗-subalgebra of some B(H).
A linear map Φ : A → B(K) is said to be positive if Φ(A) ≥ 0 for everyA ≥ 0. (Φ ≥ 0)
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 4: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/4.jpg)
Basic notation and definitions
H, K : Hilbert space.
B(H) (B(H,K)) : Bounded Linear operators on H (from H to K).
When dimH = n, take H = Cn, and B(H) = Mn,
the set of n× ncomplex matrices. Similarly, take (B(H,K)) = Mm, n when dimK = m.
B(H)+ : Positive semi-definite operators in B(H). For A ∈ B(H)+, writeA ≥ 0.
A C∗-algebra is a normed closed ∗-subalgebra of some B(H).
A linear map Φ : A → B(K) is said to be positive if Φ(A) ≥ 0 for everyA ≥ 0. (Φ ≥ 0)
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 5: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/5.jpg)
Basic notation and definitions
H, K : Hilbert space.
B(H) (B(H,K)) : Bounded Linear operators on H (from H to K).
When dimH = n, take H = Cn, and B(H) = Mn, the set of n× ncomplex matrices.
Similarly, take (B(H,K)) = Mm, n when dimK = m.
B(H)+ : Positive semi-definite operators in B(H). For A ∈ B(H)+, writeA ≥ 0.
A C∗-algebra is a normed closed ∗-subalgebra of some B(H).
A linear map Φ : A → B(K) is said to be positive if Φ(A) ≥ 0 for everyA ≥ 0. (Φ ≥ 0)
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 6: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/6.jpg)
Basic notation and definitions
H, K : Hilbert space.
B(H) (B(H,K)) : Bounded Linear operators on H (from H to K).
When dimH = n, take H = Cn, and B(H) = Mn, the set of n× ncomplex matrices. Similarly, take (B(H,K)) = Mm, n when dimK = m.
B(H)+ : Positive semi-definite operators in B(H). For A ∈ B(H)+, writeA ≥ 0.
A C∗-algebra is a normed closed ∗-subalgebra of some B(H).
A linear map Φ : A → B(K) is said to be positive if Φ(A) ≥ 0 for everyA ≥ 0. (Φ ≥ 0)
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 7: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/7.jpg)
Basic notation and definitions
H, K : Hilbert space.
B(H) (B(H,K)) : Bounded Linear operators on H (from H to K).
When dimH = n, take H = Cn, and B(H) = Mn, the set of n× ncomplex matrices. Similarly, take (B(H,K)) = Mm, n when dimK = m.
B(H)+ : Positive semi-definite operators in B(H). For A ∈ B(H)+, writeA ≥ 0.
A C∗-algebra is a normed closed ∗-subalgebra of some B(H).
A linear map Φ : A → B(K) is said to be positive if Φ(A) ≥ 0 for everyA ≥ 0. (Φ ≥ 0)
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 8: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/8.jpg)
Basic notation and definitions
H, K : Hilbert space.
B(H) (B(H,K)) : Bounded Linear operators on H (from H to K).
When dimH = n, take H = Cn, and B(H) = Mn, the set of n× ncomplex matrices. Similarly, take (B(H,K)) = Mm, n when dimK = m.
B(H)+ : Positive semi-definite operators in B(H). For A ∈ B(H)+, writeA ≥ 0.
A C∗-algebra is a normed closed ∗-subalgebra of some B(H).
A linear map Φ : A → B(K) is said to be positive if Φ(A) ≥ 0 for everyA ≥ 0. (Φ ≥ 0)
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 9: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/9.jpg)
Basic notation and definitions
H, K : Hilbert space.
B(H) (B(H,K)) : Bounded Linear operators on H (from H to K).
When dimH = n, take H = Cn, and B(H) = Mn, the set of n× ncomplex matrices. Similarly, take (B(H,K)) = Mm, n when dimK = m.
B(H)+ : Positive semi-definite operators in B(H). For A ∈ B(H)+, writeA ≥ 0.
A C∗-algebra is a normed closed ∗-subalgebra of some B(H).
A linear map Φ : A → B(K) is said to be positive if Φ(A) ≥ 0 for everyA ≥ 0. (Φ ≥ 0)
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 10: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/10.jpg)
Completely positive maps
Let A be a C∗-algebra. Suppose we have a linear mapΦ : A → B(H).
Then for every k ≥ 1, we haveΦk : Mk(A)→Mk(B(H)) = B(Hk) such thatΦk([aij ]) = [Φ (aij)].
Φ is completely positive (CP) if Φk ≥ 0 for all k ≥ 1.
Define Φ : M2 →M2 by Φ(A) = At. Then Φ1 ≥ 0 but Φ2 6≥ 0
Φ2
[
1 00 0
] [0 10 0
][
0 01 0
] [0 00 1
] =
[
1 00 0
] [0 01 0
][
0 10 0
] [0 00 1
]
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 11: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/11.jpg)
Completely positive maps
Let A be a C∗-algebra. Suppose we have a linear mapΦ : A → B(H). Then for every k ≥ 1,
we haveΦk : Mk(A)→Mk(B(H)) = B(Hk) such thatΦk([aij ]) = [Φ (aij)].
Φ is completely positive (CP) if Φk ≥ 0 for all k ≥ 1.
Define Φ : M2 →M2 by Φ(A) = At. Then Φ1 ≥ 0 but Φ2 6≥ 0
Φ2
[
1 00 0
] [0 10 0
][
0 01 0
] [0 00 1
] =
[
1 00 0
] [0 01 0
][
0 10 0
] [0 00 1
]
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 12: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/12.jpg)
Completely positive maps
Let A be a C∗-algebra. Suppose we have a linear mapΦ : A → B(H). Then for every k ≥ 1, we haveΦk : Mk(A)→Mk(B(H)) = B(Hk) such thatΦk([aij ]) = [Φ (aij)].
Φ is completely positive (CP) if Φk ≥ 0 for all k ≥ 1.
Define Φ : M2 →M2 by Φ(A) = At. Then Φ1 ≥ 0 but Φ2 6≥ 0
Φ2
[
1 00 0
] [0 10 0
][
0 01 0
] [0 00 1
] =
[
1 00 0
] [0 01 0
][
0 10 0
] [0 00 1
]
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 13: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/13.jpg)
Completely positive maps
Let A be a C∗-algebra. Suppose we have a linear mapΦ : A → B(H). Then for every k ≥ 1, we haveΦk : Mk(A)→Mk(B(H)) = B(Hk) such thatΦk([aij ]) = [Φ (aij)].
Φ is completely positive (CP)
if Φk ≥ 0 for all k ≥ 1.
Define Φ : M2 →M2 by Φ(A) = At. Then Φ1 ≥ 0 but Φ2 6≥ 0
Φ2
[
1 00 0
] [0 10 0
][
0 01 0
] [0 00 1
] =
[
1 00 0
] [0 01 0
][
0 10 0
] [0 00 1
]
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 14: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/14.jpg)
Completely positive maps
Let A be a C∗-algebra. Suppose we have a linear mapΦ : A → B(H). Then for every k ≥ 1, we haveΦk : Mk(A)→Mk(B(H)) = B(Hk) such thatΦk([aij ]) = [Φ (aij)].
Φ is completely positive (CP) if Φk ≥ 0 for all k ≥ 1.
Define Φ : M2 →M2 by Φ(A) = At. Then Φ1 ≥ 0 but Φ2 6≥ 0
Φ2
[
1 00 0
] [0 10 0
][
0 01 0
] [0 00 1
] =
[
1 00 0
] [0 01 0
][
0 10 0
] [0 00 1
]
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 15: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/15.jpg)
Completely positive maps
Let A be a C∗-algebra. Suppose we have a linear mapΦ : A → B(H). Then for every k ≥ 1, we haveΦk : Mk(A)→Mk(B(H)) = B(Hk) such thatΦk([aij ]) = [Φ (aij)].
Φ is completely positive (CP) if Φk ≥ 0 for all k ≥ 1.
Define Φ : M2 →M2 by Φ(A) = At. Then Φ1 ≥ 0 but Φ2 6≥ 0
Φ2
[
1 00 0
] [0 10 0
][
0 01 0
] [0 00 1
] =
[
1 00 0
] [0 01 0
][
0 10 0
] [0 00 1
]
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 16: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/16.jpg)
Completely positive maps
Let A be a C∗-algebra. Suppose we have a linear mapΦ : A → B(H). Then for every k ≥ 1, we haveΦk : Mk(A)→Mk(B(H)) = B(Hk) such thatΦk([aij ]) = [Φ (aij)].
Φ is completely positive (CP) if Φk ≥ 0 for all k ≥ 1.
Define Φ : M2 →M2 by Φ(A) = At. Then Φ1 ≥ 0 but Φ2 6≥ 0
Φ2
[
1 00 0
] [0 10 0
][
0 01 0
] [0 00 1
] =
[
1 00 0
] [0 01 0
][
0 10 0
] [0 00 1
]
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 17: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/17.jpg)
Stinespring’s Theorem
Stinespring’s Theorem 1955Let A be a C∗-algebra with a unit, let H be a Hilbert space, and let Φ bea linear function from A to B(H). Then a necessary and sufficientcondition for Φ to be completely positive is that Φ have the form
Φ(A) = V ∗π(A)V
for all A ∈ A, where V ∈ B(H,K); and π is a ∗-representation of A intoB(K).
We may assume that π(I) = IK. Φ is unital if and only if V is anisometry, i.e. V ∗V = IH. In this case, we say that Φ(A) is acompression of π(A), or π(A) is a dilation of Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 18: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/18.jpg)
Stinespring’s Theorem
Stinespring’s Theorem 1955Let A be a C∗-algebra with a unit, let H be a Hilbert space, and let Φ bea linear function from A to B(H). Then a necessary and sufficientcondition for Φ to be completely positive is that Φ have the form
Φ(A) = V ∗π(A)V
for all A ∈ A, where V ∈ B(H,K); and π is a ∗-representation of A intoB(K).
We may assume that π(I) = IK.
Φ is unital if and only if V is anisometry, i.e. V ∗V = IH. In this case, we say that Φ(A) is acompression of π(A), or π(A) is a dilation of Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 19: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/19.jpg)
Stinespring’s Theorem
Stinespring’s Theorem 1955Let A be a C∗-algebra with a unit, let H be a Hilbert space, and let Φ bea linear function from A to B(H). Then a necessary and sufficientcondition for Φ to be completely positive is that Φ have the form
Φ(A) = V ∗π(A)V
for all A ∈ A, where V ∈ B(H,K); and π is a ∗-representation of A intoB(K).
We may assume that π(I) = IK. Φ is unital if and only if V is anisometry,
i.e. V ∗V = IH. In this case, we say that Φ(A) is acompression of π(A), or π(A) is a dilation of Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 20: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/20.jpg)
Stinespring’s Theorem
Stinespring’s Theorem 1955Let A be a C∗-algebra with a unit, let H be a Hilbert space, and let Φ bea linear function from A to B(H). Then a necessary and sufficientcondition for Φ to be completely positive is that Φ have the form
Φ(A) = V ∗π(A)V
for all A ∈ A, where V ∈ B(H,K); and π is a ∗-representation of A intoB(K).
We may assume that π(I) = IK. Φ is unital if and only if V is anisometry, i.e. V ∗V = IH.
In this case, we say that Φ(A) is acompression of π(A), or π(A) is a dilation of Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 21: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/21.jpg)
Stinespring’s Theorem
Stinespring’s Theorem 1955Let A be a C∗-algebra with a unit, let H be a Hilbert space, and let Φ bea linear function from A to B(H). Then a necessary and sufficientcondition for Φ to be completely positive is that Φ have the form
Φ(A) = V ∗π(A)V
for all A ∈ A, where V ∈ B(H,K); and π is a ∗-representation of A intoB(K).
We may assume that π(I) = IK. Φ is unital if and only if V is anisometry, i.e. V ∗V = IH. In this case, we say that Φ(A) is acompression of π(A),
or π(A) is a dilation of Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 22: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/22.jpg)
Stinespring’s Theorem
Stinespring’s Theorem 1955Let A be a C∗-algebra with a unit, let H be a Hilbert space, and let Φ bea linear function from A to B(H). Then a necessary and sufficientcondition for Φ to be completely positive is that Φ have the form
Φ(A) = V ∗π(A)V
for all A ∈ A, where V ∈ B(H,K); and π is a ∗-representation of A intoB(K).
We may assume that π(I) = IK. Φ is unital if and only if V is anisometry, i.e. V ∗V = IH. In this case, we say that Φ(A) is acompression of π(A), or π(A) is a dilation of Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 23: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/23.jpg)
Choi’s Theorems
Choi’s Theorem 1975Let Φ : Mn →Mm. Then Φ is completely positive if and only if Φ is ofthe form
Φ(A) =r∑j=1
F ∗j AFj , (1)
where F1, . . . , Fr ∈Mn,m.
Φ is unital if and only if∑rj=1 F
∗j Fj = Im.
In quantum information, quantum channels are trace preservingcompletely positive maps, i.e. trΦ(A) = tr A. tr (ai j) =
∑i ai i.
Φ is trace preserving if and only if∑rj=1 FjF
∗j = In.
Φ is said to have Choi’s rank ≤ r if it can be represented in (1). rcan be interpreted as the dimension of the external environment Erequired to couple with the principal system so that the CP mapcan be evaluated from the composite system.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 24: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/24.jpg)
Choi’s Theorems
Choi’s Theorem 1975Let Φ : Mn →Mm. Then Φ is completely positive if and only if Φ is ofthe form
Φ(A) =r∑j=1
F ∗j AFj , (1)
where F1, . . . , Fr ∈Mn,m.
Φ is unital if and only if∑rj=1 F
∗j Fj = Im.
In quantum information, quantum channels are trace preservingcompletely positive maps, i.e. trΦ(A) = tr A. tr (ai j) =
∑i ai i.
Φ is trace preserving if and only if∑rj=1 FjF
∗j = In.
Φ is said to have Choi’s rank ≤ r if it can be represented in (1). rcan be interpreted as the dimension of the external environment Erequired to couple with the principal system so that the CP mapcan be evaluated from the composite system.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 25: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/25.jpg)
Choi’s Theorems
Choi’s Theorem 1975Let Φ : Mn →Mm. Then Φ is completely positive if and only if Φ is ofthe form
Φ(A) =r∑j=1
F ∗j AFj , (1)
where F1, . . . , Fr ∈Mn,m.
Φ is unital if and only if∑rj=1 F
∗j Fj = Im.
In quantum information, quantum channels are trace preservingcompletely positive maps,
i.e. trΦ(A) = tr A. tr (ai j) =∑i ai i.
Φ is trace preserving if and only if∑rj=1 FjF
∗j = In.
Φ is said to have Choi’s rank ≤ r if it can be represented in (1). rcan be interpreted as the dimension of the external environment Erequired to couple with the principal system so that the CP mapcan be evaluated from the composite system.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 26: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/26.jpg)
Choi’s Theorems
Choi’s Theorem 1975Let Φ : Mn →Mm. Then Φ is completely positive if and only if Φ is ofthe form
Φ(A) =r∑j=1
F ∗j AFj , (1)
where F1, . . . , Fr ∈Mn,m.
Φ is unital if and only if∑rj=1 F
∗j Fj = Im.
In quantum information, quantum channels are trace preservingcompletely positive maps, i.e. trΦ(A) = tr A.
tr (ai j) =∑i ai i.
Φ is trace preserving if and only if∑rj=1 FjF
∗j = In.
Φ is said to have Choi’s rank ≤ r if it can be represented in (1). rcan be interpreted as the dimension of the external environment Erequired to couple with the principal system so that the CP mapcan be evaluated from the composite system.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 27: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/27.jpg)
Choi’s Theorems
Choi’s Theorem 1975Let Φ : Mn →Mm. Then Φ is completely positive if and only if Φ is ofthe form
Φ(A) =r∑j=1
F ∗j AFj , (1)
where F1, . . . , Fr ∈Mn,m.
Φ is unital if and only if∑rj=1 F
∗j Fj = Im.
In quantum information, quantum channels are trace preservingcompletely positive maps, i.e. trΦ(A) = tr A. tr (ai j) =
∑i ai i.
Φ is trace preserving if and only if∑rj=1 FjF
∗j = In.
Φ is said to have Choi’s rank ≤ r if it can be represented in (1). rcan be interpreted as the dimension of the external environment Erequired to couple with the principal system so that the CP mapcan be evaluated from the composite system.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 28: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/28.jpg)
Choi’s Theorems
Choi’s Theorem 1975Let Φ : Mn →Mm. Then Φ is completely positive if and only if Φ is ofthe form
Φ(A) =r∑j=1
F ∗j AFj , (1)
where F1, . . . , Fr ∈Mn,m.
Φ is unital if and only if∑rj=1 F
∗j Fj = Im.
In quantum information, quantum channels are trace preservingcompletely positive maps, i.e. trΦ(A) = tr A. tr (ai j) =
∑i ai i.
Φ is trace preserving if and only if∑rj=1 FjF
∗j = In.
Φ is said to have Choi’s rank ≤ r if it can be represented in (1). rcan be interpreted as the dimension of the external environment Erequired to couple with the principal system so that the CP mapcan be evaluated from the composite system.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 29: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/29.jpg)
Choi’s Theorems
Choi’s Theorem 1975Let Φ : Mn →Mm. Then Φ is completely positive if and only if Φ is ofthe form
Φ(A) =r∑j=1
F ∗j AFj , (1)
where F1, . . . , Fr ∈Mn,m.
Φ is unital if and only if∑rj=1 F
∗j Fj = Im.
In quantum information, quantum channels are trace preservingcompletely positive maps, i.e. trΦ(A) = tr A. tr (ai j) =
∑i ai i.
Φ is trace preserving if and only if∑rj=1 FjF
∗j = In.
Φ is said to have Choi’s rank ≤ r if it can be represented in (1).
rcan be interpreted as the dimension of the external environment Erequired to couple with the principal system so that the CP mapcan be evaluated from the composite system.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 30: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/30.jpg)
Choi’s Theorems
Choi’s Theorem 1975Let Φ : Mn →Mm. Then Φ is completely positive if and only if Φ is ofthe form
Φ(A) =r∑j=1
F ∗j AFj , (1)
where F1, . . . , Fr ∈Mn,m.
Φ is unital if and only if∑rj=1 F
∗j Fj = Im.
In quantum information, quantum channels are trace preservingcompletely positive maps, i.e. trΦ(A) = tr A. tr (ai j) =
∑i ai i.
Φ is trace preserving if and only if∑rj=1 FjF
∗j = In.
Φ is said to have Choi’s rank ≤ r if it can be represented in (1). rcan be interpreted as the dimension of the external environment E
required to couple with the principal system so that the CP mapcan be evaluated from the composite system.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 31: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/31.jpg)
Choi’s Theorems
Choi’s Theorem 1975Let Φ : Mn →Mm. Then Φ is completely positive if and only if Φ is ofthe form
Φ(A) =r∑j=1
F ∗j AFj , (1)
where F1, . . . , Fr ∈Mn,m.
Φ is unital if and only if∑rj=1 F
∗j Fj = Im.
In quantum information, quantum channels are trace preservingcompletely positive maps, i.e. trΦ(A) = tr A. tr (ai j) =
∑i ai i.
Φ is trace preserving if and only if∑rj=1 FjF
∗j = In.
Φ is said to have Choi’s rank ≤ r if it can be represented in (1). rcan be interpreted as the dimension of the external environment Erequired to couple with the principal system
so that the CP mapcan be evaluated from the composite system.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 32: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/32.jpg)
Choi’s Theorems
Choi’s Theorem 1975Let Φ : Mn →Mm. Then Φ is completely positive if and only if Φ is ofthe form
Φ(A) =r∑j=1
F ∗j AFj , (1)
where F1, . . . , Fr ∈Mn,m.
Φ is unital if and only if∑rj=1 F
∗j Fj = Im.
In quantum information, quantum channels are trace preservingcompletely positive maps, i.e. trΦ(A) = tr A. tr (ai j) =
∑i ai i.
Φ is trace preserving if and only if∑rj=1 FjF
∗j = In.
Φ is said to have Choi’s rank ≤ r if it can be represented in (1). rcan be interpreted as the dimension of the external environment Erequired to couple with the principal system so that the CP mapcan be evaluated from the composite system.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 33: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/33.jpg)
Duality
〈A,B〉 = tr AB∗ defines an inner product on Mn,m.
SupposeΦ : Mn →Mm is linear. Then the dual map Φ∗ : Mm →Mn isdefined by 〈Φ(A), B〉 = 〈A,Φ∗(B)〉 for all A ∈Mn, B ∈Mm.
If
Φ(A) =r∑j=1
F ∗j AFj ,
then
Φ∗(B) =r∑j=1
FjBF∗j .
A completely positive map Φ : Mn →Mm is unital if and only if Φ∗is trace preserving.
Can we use this duality to deduce results in trace preservingcompletely positive maps from those in unital completely positivemaps and vice versa?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 34: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/34.jpg)
Duality
〈A,B〉 = tr AB∗ defines an inner product on Mn,m. SupposeΦ : Mn →Mm is linear.
Then the dual map Φ∗ : Mm →Mn isdefined by 〈Φ(A), B〉 = 〈A,Φ∗(B)〉 for all A ∈Mn, B ∈Mm.
If
Φ(A) =r∑j=1
F ∗j AFj ,
then
Φ∗(B) =r∑j=1
FjBF∗j .
A completely positive map Φ : Mn →Mm is unital if and only if Φ∗is trace preserving.
Can we use this duality to deduce results in trace preservingcompletely positive maps from those in unital completely positivemaps and vice versa?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 35: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/35.jpg)
Duality
〈A,B〉 = tr AB∗ defines an inner product on Mn,m. SupposeΦ : Mn →Mm is linear. Then the dual map Φ∗ : Mm →Mn isdefined by 〈Φ(A), B〉 = 〈A,Φ∗(B)〉 for all A ∈Mn, B ∈Mm.
If
Φ(A) =r∑j=1
F ∗j AFj ,
then
Φ∗(B) =r∑j=1
FjBF∗j .
A completely positive map Φ : Mn →Mm is unital if and only if Φ∗is trace preserving.
Can we use this duality to deduce results in trace preservingcompletely positive maps from those in unital completely positivemaps and vice versa?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 36: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/36.jpg)
Duality
〈A,B〉 = tr AB∗ defines an inner product on Mn,m. SupposeΦ : Mn →Mm is linear. Then the dual map Φ∗ : Mm →Mn isdefined by 〈Φ(A), B〉 = 〈A,Φ∗(B)〉 for all A ∈Mn, B ∈Mm.
If
Φ(A) =r∑j=1
F ∗j AFj ,
then
Φ∗(B) =r∑j=1
FjBF∗j .
A completely positive map Φ : Mn →Mm is unital if and only if Φ∗is trace preserving.
Can we use this duality to deduce results in trace preservingcompletely positive maps from those in unital completely positivemaps and vice versa?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 37: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/37.jpg)
Duality
〈A,B〉 = tr AB∗ defines an inner product on Mn,m. SupposeΦ : Mn →Mm is linear. Then the dual map Φ∗ : Mm →Mn isdefined by 〈Φ(A), B〉 = 〈A,Φ∗(B)〉 for all A ∈Mn, B ∈Mm.
If
Φ(A) =r∑j=1
F ∗j AFj ,
then
Φ∗(B) =r∑j=1
FjBF∗j .
A completely positive map Φ : Mn →Mm is unital if and only if Φ∗is trace preserving.
Can we use this duality to deduce results in trace preservingcompletely positive maps from those in unital completely positivemaps and vice versa?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 38: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/38.jpg)
Duality
〈A,B〉 = tr AB∗ defines an inner product on Mn,m. SupposeΦ : Mn →Mm is linear. Then the dual map Φ∗ : Mm →Mn isdefined by 〈Φ(A), B〉 = 〈A,Φ∗(B)〉 for all A ∈Mn, B ∈Mm.
If
Φ(A) =r∑j=1
F ∗j AFj ,
then
Φ∗(B) =r∑j=1
FjBF∗j .
A completely positive map Φ : Mn →Mm is unital if and only if Φ∗is trace preserving.
Can we use this duality to deduce results in trace preservingcompletely positive maps from those in unital completely positivemaps and vice versa?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 39: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/39.jpg)
Duality
〈A,B〉 = tr AB∗ defines an inner product on Mn,m. SupposeΦ : Mn →Mm is linear. Then the dual map Φ∗ : Mm →Mn isdefined by 〈Φ(A), B〉 = 〈A,Φ∗(B)〉 for all A ∈Mn, B ∈Mm.
If
Φ(A) =r∑j=1
F ∗j AFj ,
then
Φ∗(B) =r∑j=1
FjBF∗j .
A completely positive map Φ : Mn →Mm is unital if and only if Φ∗is trace preserving.
Can we use this duality to deduce results in trace preservingcompletely positive maps from those in unital completely positivemaps and vice versa?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 40: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/40.jpg)
General problems
1 Given A ∈Mn and B ∈Mm, when is there a completely positivemap Φ(A) = B?
2 What about Φ(Ai) = Bi for A1, . . . , Ak ∈Mn andB1, . . . , Bk ∈Mm?
3 Deduce properties of Φ based on the information of Φ(A) for somespecial matrices A.
4 Let Hn = {A ∈Mn : A = A∗} be the set of n× n Hermitianmatrices. Φ is determined by its action on Hn.
5 Given A1, . . . , Ak ∈ Hn and B1, . . . , Bk ∈ Hm, under whatcondition can we have a completely positive map Φ such thatΦ(Ai) = Bi? If Φ exists, can we choose Φ with additionalproperties? E.g. unital, trace preserving, Choi’s rank ≤ r.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 41: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/41.jpg)
General problems
1 Given A ∈Mn and B ∈Mm, when is there a completely positivemap Φ(A) = B?
2 What about Φ(Ai) = Bi for A1, . . . , Ak ∈Mn andB1, . . . , Bk ∈Mm?
3 Deduce properties of Φ based on the information of Φ(A) for somespecial matrices A.
4 Let Hn = {A ∈Mn : A = A∗} be the set of n× n Hermitianmatrices. Φ is determined by its action on Hn.
5 Given A1, . . . , Ak ∈ Hn and B1, . . . , Bk ∈ Hm, under whatcondition can we have a completely positive map Φ such thatΦ(Ai) = Bi? If Φ exists, can we choose Φ with additionalproperties? E.g. unital, trace preserving, Choi’s rank ≤ r.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 42: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/42.jpg)
General problems
1 Given A ∈Mn and B ∈Mm, when is there a completely positivemap Φ(A) = B?
2 What about Φ(Ai) = Bi for A1, . . . , Ak ∈Mn andB1, . . . , Bk ∈Mm?
3 Deduce properties of Φ based on the information of Φ(A) for somespecial matrices A.
4 Let Hn = {A ∈Mn : A = A∗} be the set of n× n Hermitianmatrices. Φ is determined by its action on Hn.
5 Given A1, . . . , Ak ∈ Hn and B1, . . . , Bk ∈ Hm, under whatcondition can we have a completely positive map Φ such thatΦ(Ai) = Bi? If Φ exists, can we choose Φ with additionalproperties? E.g. unital, trace preserving, Choi’s rank ≤ r.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 43: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/43.jpg)
General problems
1 Given A ∈Mn and B ∈Mm, when is there a completely positivemap Φ(A) = B?
2 What about Φ(Ai) = Bi for A1, . . . , Ak ∈Mn andB1, . . . , Bk ∈Mm?
3 Deduce properties of Φ based on the information of Φ(A) for somespecial matrices A.
4 Let Hn = {A ∈Mn : A = A∗} be the set of n× n Hermitianmatrices.
Φ is determined by its action on Hn.5 Given A1, . . . , Ak ∈ Hn and B1, . . . , Bk ∈ Hm, under what
condition can we have a completely positive map Φ such thatΦ(Ai) = Bi? If Φ exists, can we choose Φ with additionalproperties? E.g. unital, trace preserving, Choi’s rank ≤ r.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 44: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/44.jpg)
General problems
1 Given A ∈Mn and B ∈Mm, when is there a completely positivemap Φ(A) = B?
2 What about Φ(Ai) = Bi for A1, . . . , Ak ∈Mn andB1, . . . , Bk ∈Mm?
3 Deduce properties of Φ based on the information of Φ(A) for somespecial matrices A.
4 Let Hn = {A ∈Mn : A = A∗} be the set of n× n Hermitianmatrices. Φ is determined by its action on Hn.
5 Given A1, . . . , Ak ∈ Hn and B1, . . . , Bk ∈ Hm, under whatcondition can we have a completely positive map Φ such thatΦ(Ai) = Bi? If Φ exists, can we choose Φ with additionalproperties? E.g. unital, trace preserving, Choi’s rank ≤ r.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 45: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/45.jpg)
General problems
1 Given A ∈Mn and B ∈Mm, when is there a completely positivemap Φ(A) = B?
2 What about Φ(Ai) = Bi for A1, . . . , Ak ∈Mn andB1, . . . , Bk ∈Mm?
3 Deduce properties of Φ based on the information of Φ(A) for somespecial matrices A.
4 Let Hn = {A ∈Mn : A = A∗} be the set of n× n Hermitianmatrices. Φ is determined by its action on Hn.
5 Given A1, . . . , Ak ∈ Hn and B1, . . . , Bk ∈ Hm, under whatcondition can we have a completely positive map Φ such thatΦ(Ai) = Bi?
If Φ exists, can we choose Φ with additionalproperties? E.g. unital, trace preserving, Choi’s rank ≤ r.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 46: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/46.jpg)
General problems
1 Given A ∈Mn and B ∈Mm, when is there a completely positivemap Φ(A) = B?
2 What about Φ(Ai) = Bi for A1, . . . , Ak ∈Mn andB1, . . . , Bk ∈Mm?
3 Deduce properties of Φ based on the information of Φ(A) for somespecial matrices A.
4 Let Hn = {A ∈Mn : A = A∗} be the set of n× n Hermitianmatrices. Φ is determined by its action on Hn.
5 Given A1, . . . , Ak ∈ Hn and B1, . . . , Bk ∈ Hm, under whatcondition can we have a completely positive map Φ such thatΦ(Ai) = Bi? If Φ exists, can we choose Φ with additionalproperties?
E.g. unital, trace preserving, Choi’s rank ≤ r.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 47: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/47.jpg)
General problems
1 Given A ∈Mn and B ∈Mm, when is there a completely positivemap Φ(A) = B?
2 What about Φ(Ai) = Bi for A1, . . . , Ak ∈Mn andB1, . . . , Bk ∈Mm?
3 Deduce properties of Φ based on the information of Φ(A) for somespecial matrices A.
4 Let Hn = {A ∈Mn : A = A∗} be the set of n× n Hermitianmatrices. Φ is determined by its action on Hn.
5 Given A1, . . . , Ak ∈ Hn and B1, . . . , Bk ∈ Hm, under whatcondition can we have a completely positive map Φ such thatΦ(Ai) = Bi? If Φ exists, can we choose Φ with additionalproperties? E.g. unital,
trace preserving, Choi’s rank ≤ r.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 48: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/48.jpg)
General problems
1 Given A ∈Mn and B ∈Mm, when is there a completely positivemap Φ(A) = B?
2 What about Φ(Ai) = Bi for A1, . . . , Ak ∈Mn andB1, . . . , Bk ∈Mm?
3 Deduce properties of Φ based on the information of Φ(A) for somespecial matrices A.
4 Let Hn = {A ∈Mn : A = A∗} be the set of n× n Hermitianmatrices. Φ is determined by its action on Hn.
5 Given A1, . . . , Ak ∈ Hn and B1, . . . , Bk ∈ Hm, under whatcondition can we have a completely positive map Φ such thatΦ(Ai) = Bi? If Φ exists, can we choose Φ with additionalproperties? E.g. unital, trace preserving,
Choi’s rank ≤ r.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 49: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/49.jpg)
General problems
1 Given A ∈Mn and B ∈Mm, when is there a completely positivemap Φ(A) = B?
2 What about Φ(Ai) = Bi for A1, . . . , Ak ∈Mn andB1, . . . , Bk ∈Mm?
3 Deduce properties of Φ based on the information of Φ(A) for somespecial matrices A.
4 Let Hn = {A ∈Mn : A = A∗} be the set of n× n Hermitianmatrices. Φ is determined by its action on Hn.
5 Given A1, . . . , Ak ∈ Hn and B1, . . . , Bk ∈ Hm, under whatcondition can we have a completely positive map Φ such thatΦ(Ai) = Bi? If Φ exists, can we choose Φ with additionalproperties? E.g. unital, trace preserving, Choi’s rank ≤ r.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 50: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/50.jpg)
Why study?
It is a general interpolation problem for completely positive maps.
It is related to dilation/compression problems of operators.
In quantum information, quantum operations and channels arecompletely positive maps. The study is relevant to problems inquantum tomography, quantum control and quantum errorcorrection.
One often tries to deduce the properties of Φ through the study ofΦ(A) for some special A.
The study is related to other topics such as matrix inequalities(majorization), unitary orbits (algebraic, analytic and geometricproperties), algebraic combinatorics etc.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 51: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/51.jpg)
Why study?
It is a general interpolation problem for completely positive maps.
It is related to dilation/compression problems of operators.
In quantum information, quantum operations and channels arecompletely positive maps. The study is relevant to problems inquantum tomography, quantum control and quantum errorcorrection.
One often tries to deduce the properties of Φ through the study ofΦ(A) for some special A.
The study is related to other topics such as matrix inequalities(majorization), unitary orbits (algebraic, analytic and geometricproperties), algebraic combinatorics etc.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 52: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/52.jpg)
Why study?
It is a general interpolation problem for completely positive maps.
It is related to dilation/compression problems of operators.
In quantum information, quantum operations and channels arecompletely positive maps. The study is relevant to problems inquantum tomography, quantum control and quantum errorcorrection.
One often tries to deduce the properties of Φ through the study ofΦ(A) for some special A.
The study is related to other topics such as matrix inequalities(majorization), unitary orbits (algebraic, analytic and geometricproperties), algebraic combinatorics etc.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 53: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/53.jpg)
Why study?
It is a general interpolation problem for completely positive maps.
It is related to dilation/compression problems of operators.
In quantum information, quantum operations and channels arecompletely positive maps.
The study is relevant to problems inquantum tomography, quantum control and quantum errorcorrection.
One often tries to deduce the properties of Φ through the study ofΦ(A) for some special A.
The study is related to other topics such as matrix inequalities(majorization), unitary orbits (algebraic, analytic and geometricproperties), algebraic combinatorics etc.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 54: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/54.jpg)
Why study?
It is a general interpolation problem for completely positive maps.
It is related to dilation/compression problems of operators.
In quantum information, quantum operations and channels arecompletely positive maps. The study is relevant to problems inquantum tomography, quantum control and quantum errorcorrection.
One often tries to deduce the properties of Φ through the study ofΦ(A) for some special A.
The study is related to other topics such as matrix inequalities(majorization), unitary orbits (algebraic, analytic and geometricproperties), algebraic combinatorics etc.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 55: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/55.jpg)
Why study?
It is a general interpolation problem for completely positive maps.
It is related to dilation/compression problems of operators.
In quantum information, quantum operations and channels arecompletely positive maps. The study is relevant to problems inquantum tomography, quantum control and quantum errorcorrection.
One often tries to deduce the properties of Φ through the study ofΦ(A) for some special A.
The study is related to other topics such as matrix inequalities(majorization), unitary orbits (algebraic, analytic and geometricproperties), algebraic combinatorics etc.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 56: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/56.jpg)
Why study?
It is a general interpolation problem for completely positive maps.
It is related to dilation/compression problems of operators.
In quantum information, quantum operations and channels arecompletely positive maps. The study is relevant to problems inquantum tomography, quantum control and quantum errorcorrection.
One often tries to deduce the properties of Φ through the study ofΦ(A) for some special A.
The study is related to other topics such as matrix inequalities(majorization), unitary orbits (algebraic, analytic and geometricproperties), algebraic combinatorics etc.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 57: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/57.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. Then there is a completely positive mapΦ : Mn →Mm such that Φ(A) = B if and only if there are real numbersγ1, γ2 ≥ 0 such that
γ1λ1(A) ≥ λ1(B) and λm(B) ≥ γ2λn(A). (2)
Moreover, there is γ = γ1 = γ2 > 0 satisfies (2) if and only if there is acompletely positive map Φ : Mn →Mm such that Φ(In) = γIm andΦ(A) = B. Here, λ1(A) ≥ · · · ≥ λn(A) are the eigenvalues of A. Letλ(A) = (λ1(A) ≥ · · · ≥ λn(A)).
MajorizationLet a = (a1, . . . , an) and b = (b1, . . . , bn), with ai ≥ ai+1 and bi ≥ bi+1for 1 ≤ i ≤ n− 1. b is said to be majorized by a, b ≺ a if∑ki=1 bi ≤
∑ki=1 ai for all 1 ≤ k ≤ n− 1 and
∑ni=1 bi =
∑ni=1 ai.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 58: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/58.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. Then there is a completely positive mapΦ : Mn →Mm such that Φ(A) = B if and only if there are real numbersγ1, γ2 ≥ 0 such that
γ1λ1(A) ≥ λ1(B) and λm(B) ≥ γ2λn(A). (2)
Moreover, there is γ = γ1 = γ2 > 0 satisfies (2)
if and only if there is acompletely positive map Φ : Mn →Mm such that Φ(In) = γIm andΦ(A) = B. Here, λ1(A) ≥ · · · ≥ λn(A) are the eigenvalues of A. Letλ(A) = (λ1(A) ≥ · · · ≥ λn(A)).
MajorizationLet a = (a1, . . . , an) and b = (b1, . . . , bn), with ai ≥ ai+1 and bi ≥ bi+1for 1 ≤ i ≤ n− 1. b is said to be majorized by a, b ≺ a if∑ki=1 bi ≤
∑ki=1 ai for all 1 ≤ k ≤ n− 1 and
∑ni=1 bi =
∑ni=1 ai.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 59: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/59.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. Then there is a completely positive mapΦ : Mn →Mm such that Φ(A) = B if and only if there are real numbersγ1, γ2 ≥ 0 such that
γ1λ1(A) ≥ λ1(B) and λm(B) ≥ γ2λn(A). (2)
Moreover, there is γ = γ1 = γ2 > 0 satisfies (2) if and only if there is acompletely positive map Φ : Mn →Mm such that Φ(In) = γIm andΦ(A) = B.
Here, λ1(A) ≥ · · · ≥ λn(A) are the eigenvalues of A. Letλ(A) = (λ1(A) ≥ · · · ≥ λn(A)).
MajorizationLet a = (a1, . . . , an) and b = (b1, . . . , bn), with ai ≥ ai+1 and bi ≥ bi+1for 1 ≤ i ≤ n− 1. b is said to be majorized by a, b ≺ a if∑ki=1 bi ≤
∑ki=1 ai for all 1 ≤ k ≤ n− 1 and
∑ni=1 bi =
∑ni=1 ai.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 60: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/60.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. Then there is a completely positive mapΦ : Mn →Mm such that Φ(A) = B if and only if there are real numbersγ1, γ2 ≥ 0 such that
γ1λ1(A) ≥ λ1(B) and λm(B) ≥ γ2λn(A). (2)
Moreover, there is γ = γ1 = γ2 > 0 satisfies (2) if and only if there is acompletely positive map Φ : Mn →Mm such that Φ(In) = γIm andΦ(A) = B. Here, λ1(A) ≥ · · · ≥ λn(A) are the eigenvalues of A.
Letλ(A) = (λ1(A) ≥ · · · ≥ λn(A)).
MajorizationLet a = (a1, . . . , an) and b = (b1, . . . , bn), with ai ≥ ai+1 and bi ≥ bi+1for 1 ≤ i ≤ n− 1. b is said to be majorized by a, b ≺ a if∑ki=1 bi ≤
∑ki=1 ai for all 1 ≤ k ≤ n− 1 and
∑ni=1 bi =
∑ni=1 ai.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 61: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/61.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. Then there is a completely positive mapΦ : Mn →Mm such that Φ(A) = B if and only if there are real numbersγ1, γ2 ≥ 0 such that
γ1λ1(A) ≥ λ1(B) and λm(B) ≥ γ2λn(A). (2)
Moreover, there is γ = γ1 = γ2 > 0 satisfies (2) if and only if there is acompletely positive map Φ : Mn →Mm such that Φ(In) = γIm andΦ(A) = B. Here, λ1(A) ≥ · · · ≥ λn(A) are the eigenvalues of A. Letλ(A) = (λ1(A) ≥ · · · ≥ λn(A)).
MajorizationLet a = (a1, . . . , an) and b = (b1, . . . , bn), with ai ≥ ai+1 and bi ≥ bi+1for 1 ≤ i ≤ n− 1. b is said to be majorized by a, b ≺ a if∑ki=1 bi ≤
∑ki=1 ai for all 1 ≤ k ≤ n− 1 and
∑ni=1 bi =
∑ni=1 ai.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 62: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/62.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. Then there is a completely positive mapΦ : Mn →Mm such that Φ(A) = B if and only if there are real numbersγ1, γ2 ≥ 0 such that
γ1λ1(A) ≥ λ1(B) and λm(B) ≥ γ2λn(A). (2)
Moreover, there is γ = γ1 = γ2 > 0 satisfies (2) if and only if there is acompletely positive map Φ : Mn →Mm such that Φ(In) = γIm andΦ(A) = B. Here, λ1(A) ≥ · · · ≥ λn(A) are the eigenvalues of A. Letλ(A) = (λ1(A) ≥ · · · ≥ λn(A)).
MajorizationLet a = (a1, . . . , an) and b = (b1, . . . , bn), with ai ≥ ai+1 and bi ≥ bi+1for 1 ≤ i ≤ n− 1.
b is said to be majorized by a, b ≺ a if∑ki=1 bi ≤
∑ki=1 ai for all 1 ≤ k ≤ n− 1 and
∑ni=1 bi =
∑ni=1 ai.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 63: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/63.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. Then there is a completely positive mapΦ : Mn →Mm such that Φ(A) = B if and only if there are real numbersγ1, γ2 ≥ 0 such that
γ1λ1(A) ≥ λ1(B) and λm(B) ≥ γ2λn(A). (2)
Moreover, there is γ = γ1 = γ2 > 0 satisfies (2) if and only if there is acompletely positive map Φ : Mn →Mm such that Φ(In) = γIm andΦ(A) = B. Here, λ1(A) ≥ · · · ≥ λn(A) are the eigenvalues of A. Letλ(A) = (λ1(A) ≥ · · · ≥ λn(A)).
MajorizationLet a = (a1, . . . , an) and b = (b1, . . . , bn), with ai ≥ ai+1 and bi ≥ bi+1for 1 ≤ i ≤ n− 1. b is said to be majorized by a, b ≺ a if
∑ki=1 bi ≤
∑ki=1 ai for all 1 ≤ k ≤ n− 1 and
∑ni=1 bi =
∑ni=1 ai.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 64: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/64.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. Then there is a completely positive mapΦ : Mn →Mm such that Φ(A) = B if and only if there are real numbersγ1, γ2 ≥ 0 such that
γ1λ1(A) ≥ λ1(B) and λm(B) ≥ γ2λn(A). (2)
Moreover, there is γ = γ1 = γ2 > 0 satisfies (2) if and only if there is acompletely positive map Φ : Mn →Mm such that Φ(In) = γIm andΦ(A) = B. Here, λ1(A) ≥ · · · ≥ λn(A) are the eigenvalues of A. Letλ(A) = (λ1(A) ≥ · · · ≥ λn(A)).
MajorizationLet a = (a1, . . . , an) and b = (b1, . . . , bn), with ai ≥ ai+1 and bi ≥ bi+1for 1 ≤ i ≤ n− 1. b is said to be majorized by a, b ≺ a if∑ki=1 bi ≤
∑ki=1 ai for all 1 ≤ k ≤ n− 1 and
∑ni=1 bi =
∑ni=1 ai.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 65: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/65.jpg)
Some results for k = 1
TheoremSuppose A ∈ Hn has k non-negative eigenvalues and n− k negativeeigenvalues, and B ∈ Hm. The following conditions are equivalent.
(a) There is a trace preserving completely positive linear mapΦ : Mn →Mm such that φ(A) = B.
(b) λ(B) ≺ (a+, 0, . . . , 0, a−) ∈ Rm wherea+ =
∑kj=1 λj(A) and a− =
∑nj=k+1 λj(A).
(c) There is an n×m row stochastic matrix D such thatλ(B) = λ(A)D. D = (di j) with di j ≥ 0,
∑nj=1 di j = 1 for all
1 ≤ i ≤ n.
(d) There is an n×m row stochastic matrix D with the first k rows allequal and the last n− k rows all equal such that λ(B) = λ(A)D.
Remark For density matrices, (A, B ≥ 0, tr A = tr B = 1), we haveλ(B) ≺ (1, 0, . . . , 0) and condition (b) holds.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 66: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/66.jpg)
Some results for k = 1
TheoremSuppose A ∈ Hn has k non-negative eigenvalues and n− k negativeeigenvalues, and B ∈ Hm. The following conditions are equivalent.
(a) There is a trace preserving completely positive linear mapΦ : Mn →Mm such that φ(A) = B.
(b) λ(B) ≺ (a+, 0, . . . , 0, a−) ∈ Rm wherea+ =
∑kj=1 λj(A) and a− =
∑nj=k+1 λj(A).
(c) There is an n×m row stochastic matrix D such thatλ(B) = λ(A)D. D = (di j) with di j ≥ 0,
∑nj=1 di j = 1 for all
1 ≤ i ≤ n.
(d) There is an n×m row stochastic matrix D with the first k rows allequal and the last n− k rows all equal such that λ(B) = λ(A)D.
Remark For density matrices, (A, B ≥ 0, tr A = tr B = 1), we haveλ(B) ≺ (1, 0, . . . , 0) and condition (b) holds.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 67: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/67.jpg)
Some results for k = 1
TheoremSuppose A ∈ Hn has k non-negative eigenvalues and n− k negativeeigenvalues, and B ∈ Hm. The following conditions are equivalent.
(a) There is a trace preserving completely positive linear mapΦ : Mn →Mm such that φ(A) = B.
(b) λ(B) ≺ (a+, 0, . . . , 0, a−) ∈ Rm wherea+ =
∑kj=1 λj(A) and a− =
∑nj=k+1 λj(A).
(c) There is an n×m row stochastic matrix D such thatλ(B) = λ(A)D. D = (di j) with di j ≥ 0,
∑nj=1 di j = 1 for all
1 ≤ i ≤ n.
(d) There is an n×m row stochastic matrix D with the first k rows allequal and the last n− k rows all equal such that λ(B) = λ(A)D.
Remark For density matrices, (A, B ≥ 0, tr A = tr B = 1), we haveλ(B) ≺ (1, 0, . . . , 0) and condition (b) holds.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 68: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/68.jpg)
Some results for k = 1
TheoremSuppose A ∈ Hn has k non-negative eigenvalues and n− k negativeeigenvalues, and B ∈ Hm. The following conditions are equivalent.
(a) There is a trace preserving completely positive linear mapΦ : Mn →Mm such that φ(A) = B.
(b) λ(B) ≺ (a+, 0, . . . , 0, a−) ∈ Rm wherea+ =
∑kj=1 λj(A) and a− =
∑nj=k+1 λj(A).
(c) There is an n×m row stochastic matrix D such thatλ(B) = λ(A)D.
D = (di j) with di j ≥ 0,∑nj=1 di j = 1 for all
1 ≤ i ≤ n.
(d) There is an n×m row stochastic matrix D with the first k rows allequal and the last n− k rows all equal such that λ(B) = λ(A)D.
Remark For density matrices, (A, B ≥ 0, tr A = tr B = 1), we haveλ(B) ≺ (1, 0, . . . , 0) and condition (b) holds.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 69: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/69.jpg)
Some results for k = 1
TheoremSuppose A ∈ Hn has k non-negative eigenvalues and n− k negativeeigenvalues, and B ∈ Hm. The following conditions are equivalent.
(a) There is a trace preserving completely positive linear mapΦ : Mn →Mm such that φ(A) = B.
(b) λ(B) ≺ (a+, 0, . . . , 0, a−) ∈ Rm wherea+ =
∑kj=1 λj(A) and a− =
∑nj=k+1 λj(A).
(c) There is an n×m row stochastic matrix D such thatλ(B) = λ(A)D. D = (di j) with di j ≥ 0,
∑nj=1 di j = 1 for all
1 ≤ i ≤ n.
(d) There is an n×m row stochastic matrix D with the first k rows allequal and the last n− k rows all equal such that λ(B) = λ(A)D.
Remark For density matrices, (A, B ≥ 0, tr A = tr B = 1), we haveλ(B) ≺ (1, 0, . . . , 0) and condition (b) holds.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 70: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/70.jpg)
Some results for k = 1
TheoremSuppose A ∈ Hn has k non-negative eigenvalues and n− k negativeeigenvalues, and B ∈ Hm. The following conditions are equivalent.
(a) There is a trace preserving completely positive linear mapΦ : Mn →Mm such that φ(A) = B.
(b) λ(B) ≺ (a+, 0, . . . , 0, a−) ∈ Rm wherea+ =
∑kj=1 λj(A) and a− =
∑nj=k+1 λj(A).
(c) There is an n×m row stochastic matrix D such thatλ(B) = λ(A)D. D = (di j) with di j ≥ 0,
∑nj=1 di j = 1 for all
1 ≤ i ≤ n.
(d) There is an n×m row stochastic matrix D with the first k rows allequal and the last n− k rows all equal such that λ(B) = λ(A)D.
Remark For density matrices, (A, B ≥ 0, tr A = tr B = 1), we haveλ(B) ≺ (1, 0, . . . , 0) and condition (b) holds.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 71: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/71.jpg)
Some results for k = 1
TheoremSuppose A ∈ Hn has k non-negative eigenvalues and n− k negativeeigenvalues, and B ∈ Hm. The following conditions are equivalent.
(a) There is a trace preserving completely positive linear mapΦ : Mn →Mm such that φ(A) = B.
(b) λ(B) ≺ (a+, 0, . . . , 0, a−) ∈ Rm wherea+ =
∑kj=1 λj(A) and a− =
∑nj=k+1 λj(A).
(c) There is an n×m row stochastic matrix D such thatλ(B) = λ(A)D. D = (di j) with di j ≥ 0,
∑nj=1 di j = 1 for all
1 ≤ i ≤ n.
(d) There is an n×m row stochastic matrix D with the first k rows allequal and the last n− k rows all equal such that λ(B) = λ(A)D.
Remark For density matrices, (A, B ≥ 0, tr A = tr B = 1), we haveλ(B) ≺ (1, 0, . . . , 0) and condition (b) holds.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 72: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/72.jpg)
Some results for k = 1
TheoremSuppose A ∈ Hn has k non-negative eigenvalues and n− k negativeeigenvalues, and B ∈ Hm. The following conditions are equivalent.
(a) There is a trace preserving completely positive linear mapΦ : Mn →Mm such that φ(A) = B.
(b) λ(B) ≺ (a+, 0, . . . , 0, a−) ∈ Rm wherea+ =
∑kj=1 λj(A) and a− =
∑nj=k+1 λj(A).
(c) There is an n×m row stochastic matrix D such thatλ(B) = λ(A)D. D = (di j) with di j ≥ 0,
∑nj=1 di j = 1 for all
1 ≤ i ≤ n.
(d) There is an n×m row stochastic matrix D with the first k rows allequal and the last n− k rows all equal such that λ(B) = λ(A)D.
Remark For density matrices, (A, B ≥ 0, tr A = tr B = 1), we haveλ(B) ≺ (1, 0, . . . , 0) and condition (b) holds.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 73: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/73.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. The following conditions are equivalent.
There is a unital completely positive linear map Φ such thatΦ(A) = B.
λn(A) ≤ λj(B) ≤ λ1(A) for all j = 1, . . . ,m.
There is an n×m column stochastic matrix D such thatλ(B) = λ(A)D.
Remark The condition may fail even if A and B are density matrices.
QuestionSuppose there is a unital completely positive map sending A to B, anda trace preserving completely positive map sending A to B.Is there a unital and trace preserving completely positive map sending Ato B?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 74: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/74.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. The following conditions are equivalent.
There is a unital completely positive linear map Φ such thatΦ(A) = B.
λn(A) ≤ λj(B) ≤ λ1(A) for all j = 1, . . . ,m.
There is an n×m column stochastic matrix D such thatλ(B) = λ(A)D.
Remark The condition may fail even if A and B are density matrices.
QuestionSuppose there is a unital completely positive map sending A to B, anda trace preserving completely positive map sending A to B.Is there a unital and trace preserving completely positive map sending Ato B?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 75: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/75.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. The following conditions are equivalent.
There is a unital completely positive linear map Φ such thatΦ(A) = B.
λn(A) ≤ λj(B) ≤ λ1(A) for all j = 1, . . . ,m.
There is an n×m column stochastic matrix D such thatλ(B) = λ(A)D.
Remark The condition may fail even if A and B are density matrices.
QuestionSuppose there is a unital completely positive map sending A to B, anda trace preserving completely positive map sending A to B.Is there a unital and trace preserving completely positive map sending Ato B?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 76: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/76.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. The following conditions are equivalent.
There is a unital completely positive linear map Φ such thatΦ(A) = B.
λn(A) ≤ λj(B) ≤ λ1(A) for all j = 1, . . . ,m.
There is an n×m column stochastic matrix D such thatλ(B) = λ(A)D.
Remark The condition may fail even if A and B are density matrices.
QuestionSuppose there is a unital completely positive map sending A to B, anda trace preserving completely positive map sending A to B.Is there a unital and trace preserving completely positive map sending Ato B?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 77: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/77.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. The following conditions are equivalent.
There is a unital completely positive linear map Φ such thatΦ(A) = B.
λn(A) ≤ λj(B) ≤ λ1(A) for all j = 1, . . . ,m.
There is an n×m column stochastic matrix D such thatλ(B) = λ(A)D.
Remark The condition may fail even if A and B are density matrices.
QuestionSuppose there is a unital completely positive map sending A to B, anda trace preserving completely positive map sending A to B.Is there a unital and trace preserving completely positive map sending Ato B?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 78: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/78.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. The following conditions are equivalent.
There is a unital completely positive linear map Φ such thatΦ(A) = B.
λn(A) ≤ λj(B) ≤ λ1(A) for all j = 1, . . . ,m.
There is an n×m column stochastic matrix D such thatλ(B) = λ(A)D.
Remark The condition may fail even if A and B are density matrices.
QuestionSuppose there is a unital completely positive map sending A to B,
anda trace preserving completely positive map sending A to B.Is there a unital and trace preserving completely positive map sending Ato B?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 79: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/79.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. The following conditions are equivalent.
There is a unital completely positive linear map Φ such thatΦ(A) = B.
λn(A) ≤ λj(B) ≤ λ1(A) for all j = 1, . . . ,m.
There is an n×m column stochastic matrix D such thatλ(B) = λ(A)D.
Remark The condition may fail even if A and B are density matrices.
QuestionSuppose there is a unital completely positive map sending A to B, anda trace preserving completely positive map sending A to B.
Is there a unital and trace preserving completely positive map sending Ato B?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 80: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/80.jpg)
Some results for k = 1
TheoremLet A ∈ Hn and B ∈ Hm. The following conditions are equivalent.
There is a unital completely positive linear map Φ such thatΦ(A) = B.
λn(A) ≤ λj(B) ≤ λ1(A) for all j = 1, . . . ,m.
There is an n×m column stochastic matrix D such thatλ(B) = λ(A)D.
Remark The condition may fail even if A and B are density matrices.
QuestionSuppose there is a unital completely positive map sending A to B, anda trace preserving completely positive map sending A to B.Is there a unital and trace preserving completely positive map sending Ato B?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 81: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/81.jpg)
Some results for k = 1
ExampleSuppose A = diag (4, 1, 1, 0) and B = diag (3, 3, 0, 0).
Then there is atrace preserving CP map sending A to B, and also a unital CP mapsending A to B. LetA1 = A− I4 = diag (3, 0, 0,−1) and B1 = B − I4 = diag (2, 2,−1,−1).Then there is no trace preserving CP map sending A1 to B1. Hence,there is no unital trace preserving CP map sending A to B.
Randomized unitary channel
Suppose Φ : Mn →Mn is given by Φ(A) =∑rj=1 tiU
∗j AUj , where
U1, . . . , Ur are unitaries and ti ≥ 0, with∑rj=1 ti = 1. Then Φ is
known as a randomized unitary channel in quantum information. Inthis case, Φ is a unital and trace preserving CP map.
For n ≥ 3, there exists a unital and trace preserving CP mapΦ : Mn →Mn which is not a randomized unitary channel.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 82: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/82.jpg)
Some results for k = 1
ExampleSuppose A = diag (4, 1, 1, 0) and B = diag (3, 3, 0, 0). Then there is atrace preserving CP map sending A to B,
and also a unital CP mapsending A to B. LetA1 = A− I4 = diag (3, 0, 0,−1) and B1 = B − I4 = diag (2, 2,−1,−1).Then there is no trace preserving CP map sending A1 to B1. Hence,there is no unital trace preserving CP map sending A to B.
Randomized unitary channel
Suppose Φ : Mn →Mn is given by Φ(A) =∑rj=1 tiU
∗j AUj , where
U1, . . . , Ur are unitaries and ti ≥ 0, with∑rj=1 ti = 1. Then Φ is
known as a randomized unitary channel in quantum information. Inthis case, Φ is a unital and trace preserving CP map.
For n ≥ 3, there exists a unital and trace preserving CP mapΦ : Mn →Mn which is not a randomized unitary channel.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 83: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/83.jpg)
Some results for k = 1
ExampleSuppose A = diag (4, 1, 1, 0) and B = diag (3, 3, 0, 0). Then there is atrace preserving CP map sending A to B, and also a unital CP mapsending A to B.
LetA1 = A− I4 = diag (3, 0, 0,−1) and B1 = B − I4 = diag (2, 2,−1,−1).Then there is no trace preserving CP map sending A1 to B1. Hence,there is no unital trace preserving CP map sending A to B.
Randomized unitary channel
Suppose Φ : Mn →Mn is given by Φ(A) =∑rj=1 tiU
∗j AUj , where
U1, . . . , Ur are unitaries and ti ≥ 0, with∑rj=1 ti = 1. Then Φ is
known as a randomized unitary channel in quantum information. Inthis case, Φ is a unital and trace preserving CP map.
For n ≥ 3, there exists a unital and trace preserving CP mapΦ : Mn →Mn which is not a randomized unitary channel.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 84: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/84.jpg)
Some results for k = 1
ExampleSuppose A = diag (4, 1, 1, 0) and B = diag (3, 3, 0, 0). Then there is atrace preserving CP map sending A to B, and also a unital CP mapsending A to B. LetA1 = A− I4 = diag (3, 0, 0,−1) and B1 = B − I4 = diag (2, 2,−1,−1).
Then there is no trace preserving CP map sending A1 to B1. Hence,there is no unital trace preserving CP map sending A to B.
Randomized unitary channel
Suppose Φ : Mn →Mn is given by Φ(A) =∑rj=1 tiU
∗j AUj , where
U1, . . . , Ur are unitaries and ti ≥ 0, with∑rj=1 ti = 1. Then Φ is
known as a randomized unitary channel in quantum information. Inthis case, Φ is a unital and trace preserving CP map.
For n ≥ 3, there exists a unital and trace preserving CP mapΦ : Mn →Mn which is not a randomized unitary channel.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 85: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/85.jpg)
Some results for k = 1
ExampleSuppose A = diag (4, 1, 1, 0) and B = diag (3, 3, 0, 0). Then there is atrace preserving CP map sending A to B, and also a unital CP mapsending A to B. LetA1 = A− I4 = diag (3, 0, 0,−1) and B1 = B − I4 = diag (2, 2,−1,−1).Then there is no trace preserving CP map sending A1 to B1.
Hence,there is no unital trace preserving CP map sending A to B.
Randomized unitary channel
Suppose Φ : Mn →Mn is given by Φ(A) =∑rj=1 tiU
∗j AUj , where
U1, . . . , Ur are unitaries and ti ≥ 0, with∑rj=1 ti = 1. Then Φ is
known as a randomized unitary channel in quantum information. Inthis case, Φ is a unital and trace preserving CP map.
For n ≥ 3, there exists a unital and trace preserving CP mapΦ : Mn →Mn which is not a randomized unitary channel.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 86: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/86.jpg)
Some results for k = 1
ExampleSuppose A = diag (4, 1, 1, 0) and B = diag (3, 3, 0, 0). Then there is atrace preserving CP map sending A to B, and also a unital CP mapsending A to B. LetA1 = A− I4 = diag (3, 0, 0,−1) and B1 = B − I4 = diag (2, 2,−1,−1).Then there is no trace preserving CP map sending A1 to B1. Hence,there is no unital trace preserving CP map sending A to B.
Randomized unitary channel
Suppose Φ : Mn →Mn is given by Φ(A) =∑rj=1 tiU
∗j AUj , where
U1, . . . , Ur are unitaries and ti ≥ 0, with∑rj=1 ti = 1. Then Φ is
known as a randomized unitary channel in quantum information. Inthis case, Φ is a unital and trace preserving CP map.
For n ≥ 3, there exists a unital and trace preserving CP mapΦ : Mn →Mn which is not a randomized unitary channel.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 87: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/87.jpg)
Some results for k = 1
ExampleSuppose A = diag (4, 1, 1, 0) and B = diag (3, 3, 0, 0). Then there is atrace preserving CP map sending A to B, and also a unital CP mapsending A to B. LetA1 = A− I4 = diag (3, 0, 0,−1) and B1 = B − I4 = diag (2, 2,−1,−1).Then there is no trace preserving CP map sending A1 to B1. Hence,there is no unital trace preserving CP map sending A to B.
Randomized unitary channel
Suppose Φ : Mn →Mn is given by Φ(A) =∑rj=1 tiU
∗j AUj , where
U1, . . . , Ur are unitaries and ti ≥ 0, with∑rj=1 ti = 1.
Then Φ isknown as a randomized unitary channel in quantum information. Inthis case, Φ is a unital and trace preserving CP map.
For n ≥ 3, there exists a unital and trace preserving CP mapΦ : Mn →Mn which is not a randomized unitary channel.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 88: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/88.jpg)
Some results for k = 1
ExampleSuppose A = diag (4, 1, 1, 0) and B = diag (3, 3, 0, 0). Then there is atrace preserving CP map sending A to B, and also a unital CP mapsending A to B. LetA1 = A− I4 = diag (3, 0, 0,−1) and B1 = B − I4 = diag (2, 2,−1,−1).Then there is no trace preserving CP map sending A1 to B1. Hence,there is no unital trace preserving CP map sending A to B.
Randomized unitary channel
Suppose Φ : Mn →Mn is given by Φ(A) =∑rj=1 tiU
∗j AUj , where
U1, . . . , Ur are unitaries and ti ≥ 0, with∑rj=1 ti = 1. Then Φ is
known as a randomized unitary channel in quantum information.
Inthis case, Φ is a unital and trace preserving CP map.
For n ≥ 3, there exists a unital and trace preserving CP mapΦ : Mn →Mn which is not a randomized unitary channel.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 89: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/89.jpg)
Some results for k = 1
ExampleSuppose A = diag (4, 1, 1, 0) and B = diag (3, 3, 0, 0). Then there is atrace preserving CP map sending A to B, and also a unital CP mapsending A to B. LetA1 = A− I4 = diag (3, 0, 0,−1) and B1 = B − I4 = diag (2, 2,−1,−1).Then there is no trace preserving CP map sending A1 to B1. Hence,there is no unital trace preserving CP map sending A to B.
Randomized unitary channel
Suppose Φ : Mn →Mn is given by Φ(A) =∑rj=1 tiU
∗j AUj , where
U1, . . . , Ur are unitaries and ti ≥ 0, with∑rj=1 ti = 1. Then Φ is
known as a randomized unitary channel in quantum information. Inthis case, Φ is a unital and trace preserving CP map.
For n ≥ 3, there exists a unital and trace preserving CP mapΦ : Mn →Mn which is not a randomized unitary channel.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 90: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/90.jpg)
Some results for k = 1
ExampleSuppose A = diag (4, 1, 1, 0) and B = diag (3, 3, 0, 0). Then there is atrace preserving CP map sending A to B, and also a unital CP mapsending A to B. LetA1 = A− I4 = diag (3, 0, 0,−1) and B1 = B − I4 = diag (2, 2,−1,−1).Then there is no trace preserving CP map sending A1 to B1. Hence,there is no unital trace preserving CP map sending A to B.
Randomized unitary channel
Suppose Φ : Mn →Mn is given by Φ(A) =∑rj=1 tiU
∗j AUj , where
U1, . . . , Ur are unitaries and ti ≥ 0, with∑rj=1 ti = 1. Then Φ is
known as a randomized unitary channel in quantum information. Inthis case, Φ is a unital and trace preserving CP map.
For n ≥ 3, there exists a unital and trace preserving CP mapΦ : Mn →Mn which is not a randomized unitary channel.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 91: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/91.jpg)
TheoremLet A,B ∈ Hn. The following conditions are equivalent.
Φ(A) = B for a unital trace preserving CP map Φ.
Φ(A) = B for a randomized unitary channel Φ.
Φ(A) = B for a randomized unitary channel Φ, with all ti = 1/n.
For each t ∈ R, there exists a trace preserving CP map Φt such thatΦt(A− tI) = B − tI.
λ(B) = diag (U∗AU) for some unitary U .
λ(B) ≺ λ(A)
There is an n× n doubly stochastic (d.s.) matrix D such thatλ(B) = λ(A)D.
D is d.s. if it is both row stochastic and column stochastic.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 92: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/92.jpg)
TheoremLet A,B ∈ Hn. The following conditions are equivalent.
Φ(A) = B for a unital trace preserving CP map Φ.
Φ(A) = B for a randomized unitary channel Φ.
Φ(A) = B for a randomized unitary channel Φ, with all ti = 1/n.
For each t ∈ R, there exists a trace preserving CP map Φt such thatΦt(A− tI) = B − tI.
λ(B) = diag (U∗AU) for some unitary U .
λ(B) ≺ λ(A)
There is an n× n doubly stochastic (d.s.) matrix D such thatλ(B) = λ(A)D.
D is d.s. if it is both row stochastic and column stochastic.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 93: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/93.jpg)
TheoremLet A,B ∈ Hn. The following conditions are equivalent.
Φ(A) = B for a unital trace preserving CP map Φ.
Φ(A) = B for a randomized unitary channel Φ.
Φ(A) = B for a randomized unitary channel Φ, with all ti = 1/n.
For each t ∈ R, there exists a trace preserving CP map Φt such thatΦt(A− tI) = B − tI.
λ(B) = diag (U∗AU) for some unitary U .
λ(B) ≺ λ(A)
There is an n× n doubly stochastic (d.s.) matrix D such thatλ(B) = λ(A)D.
D is d.s. if it is both row stochastic and column stochastic.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 94: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/94.jpg)
TheoremLet A,B ∈ Hn. The following conditions are equivalent.
Φ(A) = B for a unital trace preserving CP map Φ.
Φ(A) = B for a randomized unitary channel Φ.
Φ(A) = B for a randomized unitary channel Φ, with all ti = 1/n.
For each t ∈ R, there exists a trace preserving CP map Φt such thatΦt(A− tI) = B − tI.
λ(B) = diag (U∗AU) for some unitary U .
λ(B) ≺ λ(A)
There is an n× n doubly stochastic (d.s.) matrix D such thatλ(B) = λ(A)D.
D is d.s. if it is both row stochastic and column stochastic.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 95: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/95.jpg)
TheoremLet A,B ∈ Hn. The following conditions are equivalent.
Φ(A) = B for a unital trace preserving CP map Φ.
Φ(A) = B for a randomized unitary channel Φ.
Φ(A) = B for a randomized unitary channel Φ, with all ti = 1/n.
For each t ∈ R, there exists a trace preserving CP map Φt such thatΦt(A− tI) = B − tI.
λ(B) = diag (U∗AU) for some unitary U .
λ(B) ≺ λ(A)
There is an n× n doubly stochastic (d.s.) matrix D such thatλ(B) = λ(A)D.
D is d.s. if it is both row stochastic and column stochastic.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 96: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/96.jpg)
TheoremLet A,B ∈ Hn. The following conditions are equivalent.
Φ(A) = B for a unital trace preserving CP map Φ.
Φ(A) = B for a randomized unitary channel Φ.
Φ(A) = B for a randomized unitary channel Φ, with all ti = 1/n.
For each t ∈ R, there exists a trace preserving CP map Φt such thatΦt(A− tI) = B − tI.
λ(B) = diag (U∗AU) for some unitary U .
λ(B) ≺ λ(A)
There is an n× n doubly stochastic (d.s.) matrix D such thatλ(B) = λ(A)D.
D is d.s. if it is both row stochastic and column stochastic.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 97: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/97.jpg)
TheoremLet A,B ∈ Hn. The following conditions are equivalent.
Φ(A) = B for a unital trace preserving CP map Φ.
Φ(A) = B for a randomized unitary channel Φ.
Φ(A) = B for a randomized unitary channel Φ, with all ti = 1/n.
For each t ∈ R, there exists a trace preserving CP map Φt such thatΦt(A− tI) = B − tI.
λ(B) = diag (U∗AU) for some unitary U .
λ(B) ≺ λ(A)
There is an n× n doubly stochastic (d.s.) matrix D such thatλ(B) = λ(A)D.
D is d.s. if it is both row stochastic and column stochastic.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 98: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/98.jpg)
TheoremLet A,B ∈ Hn. The following conditions are equivalent.
Φ(A) = B for a unital trace preserving CP map Φ.
Φ(A) = B for a randomized unitary channel Φ.
Φ(A) = B for a randomized unitary channel Φ, with all ti = 1/n.
For each t ∈ R, there exists a trace preserving CP map Φt such thatΦt(A− tI) = B − tI.
λ(B) = diag (U∗AU) for some unitary U .
λ(B) ≺ λ(A)
There is an n× n doubly stochastic (d.s.) matrix D such thatλ(B) = λ(A)D.
D is d.s. if it is both row stochastic and column stochastic.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 99: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/99.jpg)
TheoremLet A,B ∈ Hn. The following conditions are equivalent.
Φ(A) = B for a unital trace preserving CP map Φ.
Φ(A) = B for a randomized unitary channel Φ.
Φ(A) = B for a randomized unitary channel Φ, with all ti = 1/n.
For each t ∈ R, there exists a trace preserving CP map Φt such thatΦt(A− tI) = B − tI.
λ(B) = diag (U∗AU) for some unitary U .
λ(B) ≺ λ(A)
There is an n× n doubly stochastic (d.s.) matrix D such thatλ(B) = λ(A)D.
D is d.s. if it is both row stochastic and column stochastic.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 100: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/100.jpg)
Restricted rank
We will use CPr(n,m) to denote CP maps with Choi’s rank ≤ r andCP (n,m) =
⋃r≥1 CPr(n,m).
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists Φ ∈ CPr(n,m) such that Φ(A) = B.
There exists an (nr)×m matrix F such that B = F ∗(A⊗ Ir)F .
The number of positive (negative) eigenvalues of A⊗ Ir is not lessthan the number of positive (negative) eigenvalues of B.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 101: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/101.jpg)
Restricted rank
We will use CPr(n,m) to denote CP maps with Choi’s rank ≤ r
andCP (n,m) =
⋃r≥1 CPr(n,m).
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists Φ ∈ CPr(n,m) such that Φ(A) = B.
There exists an (nr)×m matrix F such that B = F ∗(A⊗ Ir)F .
The number of positive (negative) eigenvalues of A⊗ Ir is not lessthan the number of positive (negative) eigenvalues of B.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 102: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/102.jpg)
Restricted rank
We will use CPr(n,m) to denote CP maps with Choi’s rank ≤ r andCP (n,m) =
⋃r≥1 CPr(n,m).
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists Φ ∈ CPr(n,m) such that Φ(A) = B.
There exists an (nr)×m matrix F such that B = F ∗(A⊗ Ir)F .
The number of positive (negative) eigenvalues of A⊗ Ir is not lessthan the number of positive (negative) eigenvalues of B.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 103: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/103.jpg)
Restricted rank
We will use CPr(n,m) to denote CP maps with Choi’s rank ≤ r andCP (n,m) =
⋃r≥1 CPr(n,m).
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists Φ ∈ CPr(n,m) such that Φ(A) = B.
There exists an (nr)×m matrix F such that B = F ∗(A⊗ Ir)F .
The number of positive (negative) eigenvalues of A⊗ Ir is not lessthan the number of positive (negative) eigenvalues of B.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 104: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/104.jpg)
Restricted rank
We will use CPr(n,m) to denote CP maps with Choi’s rank ≤ r andCP (n,m) =
⋃r≥1 CPr(n,m).
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists Φ ∈ CPr(n,m) such that Φ(A) = B.
There exists an (nr)×m matrix F such that B = F ∗(A⊗ Ir)F .
The number of positive (negative) eigenvalues of A⊗ Ir is not lessthan the number of positive (negative) eigenvalues of B.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 105: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/105.jpg)
Restricted rank
We will use CPr(n,m) to denote CP maps with Choi’s rank ≤ r andCP (n,m) =
⋃r≥1 CPr(n,m).
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists Φ ∈ CPr(n,m) such that Φ(A) = B.
There exists an (nr)×m matrix F such that B = F ∗(A⊗ Ir)F .
The number of positive (negative) eigenvalues of A⊗ Ir is not lessthan the number of positive (negative) eigenvalues of B.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 106: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/106.jpg)
Restricted rank
We will use CPr(n,m) to denote CP maps with Choi’s rank ≤ r andCP (n,m) =
⋃r≥1 CPr(n,m).
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists Φ ∈ CPr(n,m) such that Φ(A) = B.
There exists an (nr)×m matrix F such that B = F ∗(A⊗ Ir)F .
The number of positive (negative) eigenvalues of A⊗ Ir is not lessthan the number of positive (negative) eigenvalues of B.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 107: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/107.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists a unital Φ ∈ CPr(n,m) such that Φ(A) = B.
B is a compression of A⊗ Ir, i.e. B = F ∗(A⊗ Ir)F for some(nr)×m F such that F ∗F = Im.
The eigenvalues of A⊗ Ir interlace those of B, i.e.,
λj(A⊗ Ir) ≥ λj(B) and λm+1−j(B) ≥ λn+1−j(A⊗ Ir)
for 1 ≤ j ≤ m.
Remark Even if A,B are density matrices, the roles of A and B are notsymmetric in the last two theorems.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 108: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/108.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists a unital Φ ∈ CPr(n,m) such that Φ(A) = B.
B is a compression of A⊗ Ir, i.e. B = F ∗(A⊗ Ir)F for some(nr)×m F such that F ∗F = Im.
The eigenvalues of A⊗ Ir interlace those of B, i.e.,
λj(A⊗ Ir) ≥ λj(B) and λm+1−j(B) ≥ λn+1−j(A⊗ Ir)
for 1 ≤ j ≤ m.
Remark Even if A,B are density matrices, the roles of A and B are notsymmetric in the last two theorems.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 109: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/109.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists a unital Φ ∈ CPr(n,m) such that Φ(A) = B.
B is a compression of A⊗ Ir, i.e. B = F ∗(A⊗ Ir)F for some(nr)×m F such that F ∗F = Im.
The eigenvalues of A⊗ Ir interlace those of B, i.e.,
λj(A⊗ Ir) ≥ λj(B) and λm+1−j(B) ≥ λn+1−j(A⊗ Ir)
for 1 ≤ j ≤ m.
Remark Even if A,B are density matrices, the roles of A and B are notsymmetric in the last two theorems.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 110: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/110.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists a unital Φ ∈ CPr(n,m) such that Φ(A) = B.
B is a compression of A⊗ Ir, i.e. B = F ∗(A⊗ Ir)F for some(nr)×m F such that F ∗F = Im.
The eigenvalues of A⊗ Ir interlace those of B, i.e.,
λj(A⊗ Ir) ≥ λj(B) and λm+1−j(B) ≥ λn+1−j(A⊗ Ir)
for 1 ≤ j ≤ m.
Remark Even if A,B are density matrices, the roles of A and B are notsymmetric in the last two theorems.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 111: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/111.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm. Suppose nr ≥ m. The following conditionsare equivalent.
There exists a unital Φ ∈ CPr(n,m) such that Φ(A) = B.
B is a compression of A⊗ Ir, i.e. B = F ∗(A⊗ Ir)F for some(nr)×m F such that F ∗F = Im.
The eigenvalues of A⊗ Ir interlace those of B, i.e.,
λj(A⊗ Ir) ≥ λj(B) and λm+1−j(B) ≥ λn+1−j(A⊗ Ir)
for 1 ≤ j ≤ m.
Remark Even if A,B are density matrices, the roles of A and B are notsymmetric in the last two theorems.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 112: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/112.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm be positive semidefinite, with mr ≥ n. Thefollowing conditions are equivalent.
(a) There exists a trace preserving Φ ∈ CPr(n,m) such that Φ(A) = B.
(b) There exists a unitary U ∈Mmr such thatU∗(A⊕Omr−n)U = (Ci j), Ci j ∈Mm with B =
∑rj=1 Cjj .
(c) There exist positive semidefinite matrices C1, . . . , Cr ∈ Hm, andunitary matrices U1, . . . , Ur ∈Mn such thatA =
∑rj=1 U
∗j (Cj ⊕On−m)Uj and B =
∑rj=1 Cj .
(d) There exists a trace preserving Ψ ∈ CPr(m,n) such thatΨ(B) = A.
Cj can be choose in the unitary orbit of some C ∈ Hm.
Remark Conditions (c) can be expressed in terms of eigenvalueinequalities using Littlewood-Richardson rules in Schubert calculus.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 113: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/113.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm be positive semidefinite, with mr ≥ n. Thefollowing conditions are equivalent.
(a) There exists a trace preserving Φ ∈ CPr(n,m) such that Φ(A) = B.
(b) There exists a unitary U ∈Mmr such thatU∗(A⊕Omr−n)U = (Ci j), Ci j ∈Mm with B =
∑rj=1 Cjj .
(c) There exist positive semidefinite matrices C1, . . . , Cr ∈ Hm, andunitary matrices U1, . . . , Ur ∈Mn such thatA =
∑rj=1 U
∗j (Cj ⊕On−m)Uj and B =
∑rj=1 Cj .
(d) There exists a trace preserving Ψ ∈ CPr(m,n) such thatΨ(B) = A.
Cj can be choose in the unitary orbit of some C ∈ Hm.
Remark Conditions (c) can be expressed in terms of eigenvalueinequalities using Littlewood-Richardson rules in Schubert calculus.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 114: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/114.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm be positive semidefinite, with mr ≥ n. Thefollowing conditions are equivalent.
(a) There exists a trace preserving Φ ∈ CPr(n,m) such that Φ(A) = B.
(b) There exists a unitary U ∈Mmr such thatU∗(A⊕Omr−n)U = (Ci j), Ci j ∈Mm
with B =∑rj=1 Cjj .
(c) There exist positive semidefinite matrices C1, . . . , Cr ∈ Hm, andunitary matrices U1, . . . , Ur ∈Mn such thatA =
∑rj=1 U
∗j (Cj ⊕On−m)Uj and B =
∑rj=1 Cj .
(d) There exists a trace preserving Ψ ∈ CPr(m,n) such thatΨ(B) = A.
Cj can be choose in the unitary orbit of some C ∈ Hm.
Remark Conditions (c) can be expressed in terms of eigenvalueinequalities using Littlewood-Richardson rules in Schubert calculus.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 115: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/115.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm be positive semidefinite, with mr ≥ n. Thefollowing conditions are equivalent.
(a) There exists a trace preserving Φ ∈ CPr(n,m) such that Φ(A) = B.
(b) There exists a unitary U ∈Mmr such thatU∗(A⊕Omr−n)U = (Ci j), Ci j ∈Mm with B =
∑rj=1 Cjj .
(c) There exist positive semidefinite matrices C1, . . . , Cr ∈ Hm, andunitary matrices U1, . . . , Ur ∈Mn such thatA =
∑rj=1 U
∗j (Cj ⊕On−m)Uj and B =
∑rj=1 Cj .
(d) There exists a trace preserving Ψ ∈ CPr(m,n) such thatΨ(B) = A.
Cj can be choose in the unitary orbit of some C ∈ Hm.
Remark Conditions (c) can be expressed in terms of eigenvalueinequalities using Littlewood-Richardson rules in Schubert calculus.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 116: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/116.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm be positive semidefinite, with mr ≥ n. Thefollowing conditions are equivalent.
(a) There exists a trace preserving Φ ∈ CPr(n,m) such that Φ(A) = B.
(b) There exists a unitary U ∈Mmr such thatU∗(A⊕Omr−n)U = (Ci j), Ci j ∈Mm with B =
∑rj=1 Cjj .
(c) There exist positive semidefinite matrices C1, . . . , Cr ∈ Hm,
andunitary matrices U1, . . . , Ur ∈Mn such thatA =
∑rj=1 U
∗j (Cj ⊕On−m)Uj and B =
∑rj=1 Cj .
(d) There exists a trace preserving Ψ ∈ CPr(m,n) such thatΨ(B) = A.
Cj can be choose in the unitary orbit of some C ∈ Hm.
Remark Conditions (c) can be expressed in terms of eigenvalueinequalities using Littlewood-Richardson rules in Schubert calculus.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 117: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/117.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm be positive semidefinite, with mr ≥ n. Thefollowing conditions are equivalent.
(a) There exists a trace preserving Φ ∈ CPr(n,m) such that Φ(A) = B.
(b) There exists a unitary U ∈Mmr such thatU∗(A⊕Omr−n)U = (Ci j), Ci j ∈Mm with B =
∑rj=1 Cjj .
(c) There exist positive semidefinite matrices C1, . . . , Cr ∈ Hm, andunitary matrices U1, . . . , Ur ∈Mn
such thatA =
∑rj=1 U
∗j (Cj ⊕On−m)Uj and B =
∑rj=1 Cj .
(d) There exists a trace preserving Ψ ∈ CPr(m,n) such thatΨ(B) = A.
Cj can be choose in the unitary orbit of some C ∈ Hm.
Remark Conditions (c) can be expressed in terms of eigenvalueinequalities using Littlewood-Richardson rules in Schubert calculus.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 118: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/118.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm be positive semidefinite, with mr ≥ n. Thefollowing conditions are equivalent.
(a) There exists a trace preserving Φ ∈ CPr(n,m) such that Φ(A) = B.
(b) There exists a unitary U ∈Mmr such thatU∗(A⊕Omr−n)U = (Ci j), Ci j ∈Mm with B =
∑rj=1 Cjj .
(c) There exist positive semidefinite matrices C1, . . . , Cr ∈ Hm, andunitary matrices U1, . . . , Ur ∈Mn such thatA =
∑rj=1 U
∗j (Cj ⊕On−m)Uj and B =
∑rj=1 Cj .
(d) There exists a trace preserving Ψ ∈ CPr(m,n) such thatΨ(B) = A.
Cj can be choose in the unitary orbit of some C ∈ Hm.
Remark Conditions (c) can be expressed in terms of eigenvalueinequalities using Littlewood-Richardson rules in Schubert calculus.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 119: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/119.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm be positive semidefinite, with mr ≥ n. Thefollowing conditions are equivalent.
(a) There exists a trace preserving Φ ∈ CPr(n,m) such that Φ(A) = B.
(b) There exists a unitary U ∈Mmr such thatU∗(A⊕Omr−n)U = (Ci j), Ci j ∈Mm with B =
∑rj=1 Cjj .
(c) There exist positive semidefinite matrices C1, . . . , Cr ∈ Hm, andunitary matrices U1, . . . , Ur ∈Mn such thatA =
∑rj=1 U
∗j (Cj ⊕On−m)Uj and B =
∑rj=1 Cj .
(d) There exists a trace preserving Ψ ∈ CPr(m,n) such thatΨ(B) = A.
Cj can be choose in the unitary orbit of some C ∈ Hm.
Remark Conditions (c) can be expressed in terms of eigenvalueinequalities using Littlewood-Richardson rules in Schubert calculus.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 120: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/120.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm be positive semidefinite, with mr ≥ n. Thefollowing conditions are equivalent.
(a) There exists a trace preserving Φ ∈ CPr(n,m) such that Φ(A) = B.
(b) There exists a unitary U ∈Mmr such thatU∗(A⊕Omr−n)U = (Ci j), Ci j ∈Mm with B =
∑rj=1 Cjj .
(c) There exist positive semidefinite matrices C1, . . . , Cr ∈ Hm, andunitary matrices U1, . . . , Ur ∈Mn such thatA =
∑rj=1 U
∗j (Cj ⊕On−m)Uj and B =
∑rj=1 Cj .
(d) There exists a trace preserving Ψ ∈ CPr(m,n) such thatΨ(B) = A.
Cj can be choose in the unitary orbit of some C ∈ Hm.
Remark Conditions (c) can be expressed in terms of eigenvalueinequalities using Littlewood-Richardson rules in Schubert calculus.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 121: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/121.jpg)
Restricted rank
TheoremLet A ∈ Hn and B ∈ Hm be positive semidefinite, with mr ≥ n. Thefollowing conditions are equivalent.
(a) There exists a trace preserving Φ ∈ CPr(n,m) such that Φ(A) = B.
(b) There exists a unitary U ∈Mmr such thatU∗(A⊕Omr−n)U = (Ci j), Ci j ∈Mm with B =
∑rj=1 Cjj .
(c) There exist positive semidefinite matrices C1, . . . , Cr ∈ Hm, andunitary matrices U1, . . . , Ur ∈Mn such thatA =
∑rj=1 U
∗j (Cj ⊕On−m)Uj and B =
∑rj=1 Cj .
(d) There exists a trace preserving Ψ ∈ CPr(m,n) such thatΨ(B) = A.
Cj can be choose in the unitary orbit of some C ∈ Hm.
Remark Conditions (c) can be expressed in terms of eigenvalueinequalities using Littlewood-Richardson rules in Schubert calculus.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 122: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/122.jpg)
Results and questions on multiple matrices
TheoremSuppose {A1, . . . , Ak} and {B1, . . . , Bk} are commuting families ofmatrices in Mn and Mm. Then there is a unital / trace preserving /unital and trace preserving completely positive linear maps Φ such that
Φ(Aj) = Bj for j = 1, . . . , k
if and only if there is an n×m column / row / doubly stochastic matrixD such that λ(Bj) = λ(Aj)D for j = 1, . . . , k.
Question What about non-commuting families? Restricted Choi’s rank?
Consider the case when k = 2. Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm.Let A = A1 + iA2 ∈Mn and B = B1 + iB2. We will study B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 123: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/123.jpg)
Results and questions on multiple matrices
TheoremSuppose {A1, . . . , Ak} and {B1, . . . , Bk} are commuting families ofmatrices in Mn and Mm. Then there is a unital / trace preserving /unital and trace preserving completely positive linear maps Φ such that
Φ(Aj) = Bj for j = 1, . . . , k
if and only if there is an n×m column / row / doubly stochastic matrixD such that λ(Bj) = λ(Aj)D for j = 1, . . . , k.
Question What about non-commuting families? Restricted Choi’s rank?
Consider the case when k = 2. Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm.Let A = A1 + iA2 ∈Mn and B = B1 + iB2. We will study B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 124: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/124.jpg)
Results and questions on multiple matrices
TheoremSuppose {A1, . . . , Ak} and {B1, . . . , Bk} are commuting families ofmatrices in Mn and Mm. Then there is a unital / trace preserving /unital and trace preserving completely positive linear maps Φ such that
Φ(Aj) = Bj for j = 1, . . . , k
if and only if there is an n×m column / row / doubly stochastic matrixD such that λ(Bj) = λ(Aj)D for j = 1, . . . , k.
Question What about non-commuting families?
Restricted Choi’s rank?
Consider the case when k = 2. Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm.Let A = A1 + iA2 ∈Mn and B = B1 + iB2. We will study B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 125: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/125.jpg)
Results and questions on multiple matrices
TheoremSuppose {A1, . . . , Ak} and {B1, . . . , Bk} are commuting families ofmatrices in Mn and Mm. Then there is a unital / trace preserving /unital and trace preserving completely positive linear maps Φ such that
Φ(Aj) = Bj for j = 1, . . . , k
if and only if there is an n×m column / row / doubly stochastic matrixD such that λ(Bj) = λ(Aj)D for j = 1, . . . , k.
Question What about non-commuting families? Restricted Choi’s rank?
Consider the case when k = 2. Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm.Let A = A1 + iA2 ∈Mn and B = B1 + iB2. We will study B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 126: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/126.jpg)
Results and questions on multiple matrices
TheoremSuppose {A1, . . . , Ak} and {B1, . . . , Bk} are commuting families ofmatrices in Mn and Mm. Then there is a unital / trace preserving /unital and trace preserving completely positive linear maps Φ such that
Φ(Aj) = Bj for j = 1, . . . , k
if and only if there is an n×m column / row / doubly stochastic matrixD such that λ(Bj) = λ(Aj)D for j = 1, . . . , k.
Question What about non-commuting families? Restricted Choi’s rank?
Consider the case when k = 2. Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm.
Let A = A1 + iA2 ∈Mn and B = B1 + iB2. We will study B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 127: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/127.jpg)
Results and questions on multiple matrices
TheoremSuppose {A1, . . . , Ak} and {B1, . . . , Bk} are commuting families ofmatrices in Mn and Mm. Then there is a unital / trace preserving /unital and trace preserving completely positive linear maps Φ such that
Φ(Aj) = Bj for j = 1, . . . , k
if and only if there is an n×m column / row / doubly stochastic matrixD such that λ(Bj) = λ(Aj)D for j = 1, . . . , k.
Question What about non-commuting families? Restricted Choi’s rank?
Consider the case when k = 2. Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm.Let A = A1 + iA2 ∈Mn and B = B1 + iB2.
We will study B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 128: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/128.jpg)
Results and questions on multiple matrices
TheoremSuppose {A1, . . . , Ak} and {B1, . . . , Bk} are commuting families ofmatrices in Mn and Mm. Then there is a unital / trace preserving /unital and trace preserving completely positive linear maps Φ such that
Φ(Aj) = Bj for j = 1, . . . , k
if and only if there is an n×m column / row / doubly stochastic matrixD such that λ(Bj) = λ(Aj)D for j = 1, . . . , k.
Question What about non-commuting families? Restricted Choi’s rank?
Consider the case when k = 2. Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm.Let A = A1 + iA2 ∈Mn and B = B1 + iB2. We will study B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 129: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/129.jpg)
Dilation and compressionLet T ∈ B(H).
The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
]. Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].Then B = Φ(A) for a unital CP map Φ if and only ifW (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
]. Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 130: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/130.jpg)
Dilation and compressionLet T ∈ B(H). The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
]. Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].Then B = Φ(A) for a unital CP map Φ if and only ifW (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
]. Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 131: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/131.jpg)
Dilation and compressionLet T ∈ B(H). The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if
W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
]. Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].Then B = Φ(A) for a unital CP map Φ if and only ifW (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
]. Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 132: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/132.jpg)
Dilation and compressionLet T ∈ B(H). The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
]. Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].Then B = Φ(A) for a unital CP map Φ if and only ifW (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
]. Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 133: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/133.jpg)
Dilation and compressionLet T ∈ B(H). The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
].
Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].Then B = Φ(A) for a unital CP map Φ if and only ifW (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
]. Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 134: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/134.jpg)
Dilation and compressionLet T ∈ B(H). The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
]. Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].Then B = Φ(A) for a unital CP map Φ if and only ifW (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
]. Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 135: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/135.jpg)
Dilation and compressionLet T ∈ B(H). The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
]. Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].
Then B = Φ(A) for a unital CP map Φ if and only ifW (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
]. Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 136: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/136.jpg)
Dilation and compressionLet T ∈ B(H). The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
]. Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].Then B = Φ(A) for a unital CP map Φ if and only if
W (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
]. Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 137: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/137.jpg)
Dilation and compressionLet T ∈ B(H). The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
]. Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].Then B = Φ(A) for a unital CP map Φ if and only ifW (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
]. Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 138: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/138.jpg)
Dilation and compressionLet T ∈ B(H). The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
]. Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].Then B = Φ(A) for a unital CP map Φ if and only ifW (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
].
Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 139: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/139.jpg)
Dilation and compressionLet T ∈ B(H). The numerical range of A isW (T ) = {〈Tx,x〉 : ‖x‖ = 1}.
(Mirman, 1968) Let A ∈M3 be normal. Then B = Φ(A) for aunital CP map Φ if and only if W (B) ⊆W (A).
(Ando, 1973) Let A =[
0 20 0
]. Then B = Φ(A) for a unital CP
map Φ if and only if W (B) ⊆W (A).
(Choi, Li, 2000, 2001) Let A1 ∈M2 and A = A1 or A = A1 ⊕ [a].Then B = Φ(A) for a unital CP map Φ if and only ifW (B) ⊆W (A).
(Choi, Li, 2000) Let A = diag (1,−1, i,−i) or
0 1 00 0 10 0 0
and
B =[
0√
20 0
]. Then W (B) ⊆W (A) but there is no unital CP
map Φ such that B = Φ(A).
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 140: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/140.jpg)
Choi’s rank = 1
Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm.
Let A = A1 + iA2 andB = B1 + iB2.
There exists a trace preserving Φ ∈ CP1(n,m) such thatΦ(Aj) = Bj for j = 1, 2 if and only if the B is unitary similar toA⊕Om−n.
There exists a unital Φ ∈ CP1(n,m) such that Φ(Aj) = Bj forj = 1, 2 if and only if B is a compression of A, i.e. there is a unitaryU such that B is a principal submatrix of U∗AU . The problem isunsolved for n = 4, m = 2 even when A1 and A2 commute.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 141: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/141.jpg)
Choi’s rank = 1
Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm. Let A = A1 + iA2 andB = B1 + iB2.
There exists a trace preserving Φ ∈ CP1(n,m) such thatΦ(Aj) = Bj for j = 1, 2 if and only if the B is unitary similar toA⊕Om−n.
There exists a unital Φ ∈ CP1(n,m) such that Φ(Aj) = Bj forj = 1, 2 if and only if B is a compression of A, i.e. there is a unitaryU such that B is a principal submatrix of U∗AU . The problem isunsolved for n = 4, m = 2 even when A1 and A2 commute.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 142: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/142.jpg)
Choi’s rank = 1
Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm. Let A = A1 + iA2 andB = B1 + iB2.
There exists a trace preserving Φ ∈ CP1(n,m) such thatΦ(Aj) = Bj for j = 1, 2 if and only if the B is unitary similar toA⊕Om−n.
There exists a unital Φ ∈ CP1(n,m) such that Φ(Aj) = Bj forj = 1, 2 if and only if B is a compression of A, i.e. there is a unitaryU such that B is a principal submatrix of U∗AU . The problem isunsolved for n = 4, m = 2 even when A1 and A2 commute.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 143: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/143.jpg)
Choi’s rank = 1
Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm. Let A = A1 + iA2 andB = B1 + iB2.
There exists a trace preserving Φ ∈ CP1(n,m) such thatΦ(Aj) = Bj for j = 1, 2 if and only if the B is unitary similar toA⊕Om−n.
There exists a unital Φ ∈ CP1(n,m) such that Φ(Aj) = Bj forj = 1, 2 if and only if B is a compression of A,
i.e. there is a unitaryU such that B is a principal submatrix of U∗AU . The problem isunsolved for n = 4, m = 2 even when A1 and A2 commute.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 144: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/144.jpg)
Choi’s rank = 1
Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm. Let A = A1 + iA2 andB = B1 + iB2.
There exists a trace preserving Φ ∈ CP1(n,m) such thatΦ(Aj) = Bj for j = 1, 2 if and only if the B is unitary similar toA⊕Om−n.
There exists a unital Φ ∈ CP1(n,m) such that Φ(Aj) = Bj forj = 1, 2 if and only if B is a compression of A, i.e. there is a unitaryU such that B is a principal submatrix of U∗AU .
The problem isunsolved for n = 4, m = 2 even when A1 and A2 commute.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 145: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/145.jpg)
Choi’s rank = 1
Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm. Let A = A1 + iA2 andB = B1 + iB2.
There exists a trace preserving Φ ∈ CP1(n,m) such thatΦ(Aj) = Bj for j = 1, 2 if and only if the B is unitary similar toA⊕Om−n.
There exists a unital Φ ∈ CP1(n,m) such that Φ(Aj) = Bj forj = 1, 2 if and only if B is a compression of A, i.e. there is a unitaryU such that B is a principal submatrix of U∗AU . The problem isunsolved for n = 4, m = 2
even when A1 and A2 commute.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 146: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/146.jpg)
Choi’s rank = 1
Suppose A1, A2 ∈ Hn and B1, B2 ∈ Hm. Let A = A1 + iA2 andB = B1 + iB2.
There exists a trace preserving Φ ∈ CP1(n,m) such thatΦ(Aj) = Bj for j = 1, 2 if and only if the B is unitary similar toA⊕Om−n.
There exists a unital Φ ∈ CP1(n,m) such that Φ(Aj) = Bj forj = 1, 2 if and only if B is a compression of A, i.e. there is a unitaryU such that B is a principal submatrix of U∗AU . The problem isunsolved for n = 4, m = 2 even when A1 and A2 commute.
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 147: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/147.jpg)
Restricted rank on multiple matrices
Theorem [Poon 1992]Let Φ ∈ CP (n,m) be unital and A1, . . . , Ak ∈ Hn.
If 1 ≤ r ≤ mn− 1and m2(k + 1)− 1 < (r + 1)2 − δmn, r+1, then there exists a unitalΨ ∈ CPr(nm) such that for all 1 ≤ i ≤ k,
Ψ(Ai) = Φ(Ai)
For example, if n > 2, k = 3 and r = 2m− 1 , then the condition issatisfied.
What about trace preserving completely positive maps?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 148: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/148.jpg)
Restricted rank on multiple matrices
Theorem [Poon 1992]Let Φ ∈ CP (n,m) be unital and A1, . . . , Ak ∈ Hn. If 1 ≤ r ≤ mn− 1and m2(k + 1)− 1 < (r + 1)2 − δmn, r+1,
then there exists a unitalΨ ∈ CPr(nm) such that for all 1 ≤ i ≤ k,
Ψ(Ai) = Φ(Ai)
For example, if n > 2, k = 3 and r = 2m− 1 , then the condition issatisfied.
What about trace preserving completely positive maps?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 149: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/149.jpg)
Restricted rank on multiple matrices
Theorem [Poon 1992]Let Φ ∈ CP (n,m) be unital and A1, . . . , Ak ∈ Hn. If 1 ≤ r ≤ mn− 1and m2(k + 1)− 1 < (r + 1)2 − δmn, r+1, then there exists a unitalΨ ∈ CPr(nm) such that for all 1 ≤ i ≤ k,
Ψ(Ai) = Φ(Ai)
For example, if n > 2, k = 3 and r = 2m− 1 , then the condition issatisfied.
What about trace preserving completely positive maps?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 150: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/150.jpg)
Restricted rank on multiple matrices
Theorem [Poon 1992]Let Φ ∈ CP (n,m) be unital and A1, . . . , Ak ∈ Hn. If 1 ≤ r ≤ mn− 1and m2(k + 1)− 1 < (r + 1)2 − δmn, r+1, then there exists a unitalΨ ∈ CPr(nm) such that for all 1 ≤ i ≤ k,
Ψ(Ai) = Φ(Ai)
For example, if n > 2, k = 3 and r = 2m− 1 , then the condition issatisfied.
What about trace preserving completely positive maps?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 151: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/151.jpg)
Restricted rank on multiple matrices
Theorem [Poon 1992]Let Φ ∈ CP (n,m) be unital and A1, . . . , Ak ∈ Hn. If 1 ≤ r ≤ mn− 1and m2(k + 1)− 1 < (r + 1)2 − δmn, r+1, then there exists a unitalΨ ∈ CPr(nm) such that for all 1 ≤ i ≤ k,
Ψ(Ai) = Φ(Ai)
For example, if n > 2, k = 3 and r = 2m− 1 , then the condition issatisfied.
What about trace preserving completely positive maps?
Yiu Tung Poon Completely Positive Maps in Quantum Information
![Page 152: Completely Positive Maps in Quantum Informationadonsig1/NIFAS/0911-Poon.pdfYiu Tung Poon Completely Positive Maps in Quantum Information. Choi’sTheorems Choi’sTheorem1975 LetΦ](https://reader035.vdocument.in/reader035/viewer/2022070107/602511b9e0d43f537e66390a/html5/thumbnails/152.jpg)
Thank you for your attention!
Yiu Tung Poon Completely Positive Maps in Quantum Information