Entangleability of cones

Abstract

We solve a long-standing conjecture by Barker, proving that the minimal and maximal tensor products of two finite-dimensional proper cones coincide if and only if one of the two cones is generated by a linearly independent set. Here, given two proper cones $C_1$, $C_2$, their minimal tensor product is the cone generated by products of the form $x_1\otimes x_2$, where $x_1\in C_1$ and $x_2\in C_2$, while their maximal tensor product is the set of tensors that are positive under all product functionals $f_1\otimes f_2$, where $f_1$ is positive on $C_1$ and $f_2$ is positive on $C_2$. Our proof techniques involve a mix of convex geometry, elementary algebraic topology, and computations inspired by quantum information theory. Our motivation comes from the foundations of physics: as an application, we show that any two non-classical systems modelled by general probabilistic theories can be entangled.

v2: added more background, several minor corrections v3: minor improvements

References in corpus (2)

• A generalized no-broadcasting theorem
• All measurements in a probabilistic theory are compatible if and only if the state space is a simplex

Cited by in corpus (22)

• General probabilistic theories: An introduction
• Entanglement and superposition are equivalent concepts in any physical theory
• Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality
• Incompatibility in general probabilistic theories, generalized spectrahedra, and tensor norms
• Quantum Advantage for Shared Randomness Generation
• Postselected quantum hypothesis testing
• Incompatibility in restricted operational theories: connecting contextuality and steering
• Annihilating Entanglement Between Cones
• Pseudo standard entanglement structure cannot be distinguished from standard entanglement structure
• Assemblages and steering in general probabilistic theories
• Timelike correlations and quantum tensor product structure
• Bell Nonlocality in Classical Systems Coexisting with other System Types
• The Extension of Unital Completely Positive Semigroups on Operator Systems to Semigroups on $C^{\ast }$-algebras
• Monogamy of entanglement between cones
• A Post-Quantum Associative Memory
• Multi-object operational tasks for measurement incompatibility
• Programming of channels in generalized probabilistic theories
• Optimal CHSH values for regular polygon theories in generalized probabilistic theories
• Locally Tomographic Shadows (Extended Abstract)
• One-shot and asymptotic classical capacity in general physical theories
• Polytope compatibility -- from quantum measurements to magic squares
• Beyond Operator Systems