The complexity of compatible measurements
arXiv:1908.10085 · doi:10.1103/PhysRevResearch.2.023292
Abstract
Measurement incompatibility is one of the basic aspects of quantum theory. Here we study the structure of the set of compatible -- i.e. jointly measurable -- measurements. We are interested in whether or not there exist compatible measurements whose parent is maximally complex -- requiring a number of outcomes exponential in the number of measurements, and related questions. Although we show this to be the case in a number of simple scenarios, we show that generically it cannot happen, by proving an upper bound on the number of outcomes of a parent measurement that is linear in the number of compatible measurements. We discuss why this doesn't trivialise the problem of finding parent measurements, but rather shows that a trade-off between memory and time can be achieved. Finally, we also investigate the complexity of extremal compatible measurements in regimes where our bound is not tight, and uncover rich structure.
arXiv comment9 pages, 1 figure
References in corpus (11)
- Steering, Entanglement, Nonlocality, and the EPR Paradox
- Quantum Steering
- Quantum steering: a review with focus on semidefinite programming
- Joint Measurability, Einstein-Podolsky-Rosen Steering, and Bell Nonlocality
- An Invitation to Quantum Incompatibility
- Joint measurability of generalized measurements implies classicality
- Simulating positive-operator-valued measures with projective measurements
- Commutative POVMs and Fuzzy Observables
- When do pieces determine the whole? Extremal marginals of a completely positive map
- Decomposition of any quantum measurement into extremals
- Uniqueness of the joint measurement and the structure of the set of compatible quantum measurements