Abstract
Nonlocal correlations between a fully characterized quantum system and an untrusted black box device are described by an assemblage of conditional quantum states. These assemblages form a convex set, whose extremal points are relevant in many operational contexts. We give necessary and sufficient conditions for an assemblage to be extremal using linear independence conditions and an algorithm to decompose a generic assemblage into extremal points. A matlab implementation of this algorithm is also provided.
- Received 17 March 2022
- Accepted 27 July 2022
DOI:https://doi.org/10.1103/PhysRevA.106.022221
©2022 American Physical Society