Abstract
We give a useful new characterization of the set of all completely positive, trace-preserving maps φ : M2 → M2 from which one can easily check any trace-preserving map for complete positivity. We also determine explicitly all extreme points of this set, and give a useful parameterization after reduction to a certain canonical form. This allows a detailed examination of an important class of non-unital extreme points that can be characterized as having exactly two images on the Bloch sphere. We also discuss a number of related issues about the images and the geometry of the set of stochastic maps, and show that any stochastic map on M2 can be written as a convex combination of two "generalized" extreme points.
Original language | English (US) |
---|---|
Pages (from-to) | 159-187 |
Number of pages | 29 |
Journal | Linear Algebra and Its Applications |
Volume | 347 |
Issue number | 1-3 |
DOIs | |
State | Published - May 15 2002 |
Bibliographical note
Funding Information:∗ Corresponding author. E-mail addresses: bruskai@cs.uml.edu (M.B. Ruskai), sjs13@po.cwru.edu; szarek@ccr.jussieu.fr (S. Szarek), emw2@po.cwru.edu (E. Werner). 1 Partially supported by the National Security Agency (NSA) and Advanced Research and Development Activity (ARDA) under Army Research Office (ARO) contract DAAG55-98-1-0374 and by the National Science Foundation under Grant numbers DMS-9706981 and DMS-0074566. 2 Partially supported by a Grant from the National Science Foundation. 3 Partially supported by a Grant from the National Science Foundation and by a NATO Collaborative Linkage Grant. 4 Tel.: +216-368-2901; fax: +216-368-5163.
Keywords
- Bloch sphere
- Completely positive maps
- Noisy channels
- Quantum communication
- States
- Stochastic maps