When do pieces determine the whole? Extremal marginals of a completely positive map
arXiv:1209.5933 · doi:10.1142/S0129055X14500020
Abstract
We will consider completely positive maps defined on tensor products of von Neumann algebras and taking values in the algebra of bounded operators on a Hilbert space and particularly certain convex subsets of the set of such maps. We show that when one of the marginal maps of such a map is an extremal point, then the marginals uniquely determine the map. We will further prove that when both of the marginals are extremal, then the whole map is extremal. We show that this general result is the common source of several well-known results dealing with, e.g., jointly measurable observables. We also obtain new insight especially in the realm of quantum instruments and their marginal observables and channels.
References in corpus (5)
Cited by in corpus (17)
- Incompatible measurements in quantum information science
- Robustness of incompatibility for quantum devices
- Witnessing incompatibility of quantum channels
- Quantum Channel Marginal Problem
- Optimal quantum observables
- Uniqueness of the joint measurement and the structure of the set of compatible quantum measurements
- Compatibility properties of extreme quantum observables
- On measurements of the canonical phase observable
- Convex decomposition of dimension-altering quantum channels
- The quantum switch is uniquely defined by its action on unitary operations
- The complexity of compatible measurements
- WAY beyond conservation laws
- Quantum incompatibility from the viewpoint of entanglement theory
- Post-processing minimal joint observables
- Reduction and extremality of finite observables
- Barycentric decomposition for quantum instruments
- General quantum resources providing advantages in work-extraction tasks