Polytope compatibility -- from quantum measurements to magic squares

Abstract

Several central problems in quantum information theory (such as measurement compatibility and quantum steering) can be rephrased as membership in the minimal matrix convex set corresponding to special polytopes (such as the hypercube or its dual). In this article, we generalize this idea and introduce the notion of polytope compatibility, by considering arbitrary polytopes. We find that semiclassical magic squares correspond to Birkhoff polytope compatibility. In general, we prove that polytope compatibility is in one-to-one correspondence with measurement compatibility, when the measurements have some elements in common and the post-processing of the joint measurement is restricted. Finally, we consider how much tuples of operators with appropriate joint numerical range have to be scaled in the worst case in order to become polytope compatible and give both analytical sufficient conditions and numerical ones based on linear programming.

arXiv commentminor changes

References in corpus (17)

• Bell nonlocality
• An Invitation to Quantum Incompatibility
• Measurements incompatible in Quantum Theory cannot be measured jointly in any other local theory
• A Combinatorial Approach to Nonlocality and Contextuality
• Noise Robustness of the Incompatibility of Quantum Measurements
• Minimal and maximal matrix convex sets
• Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization
• Entangleability of cones
• Incompatible measurements in a class of general probabilistic theories
• Joint measurability of quantum effects and the matrix diamond
• Extreme points of matrix convex sets, free spectrahedra and dilation theory
• Non-classical correlations in quantum mechanics and beyond
• Incompatibility in general probabilistic theories, generalized spectrahedra, and tensor norms
• Quantum magic squares: dilations and their limitations
• Compatibility of quantum measurements and inclusion constants for the matrix jewel
• Matrix range characterizations of operator system properties
• Maximal violation of steering inequalities and the matrix cube