Linear maps between finite-dimensional ordered vector spaces with orders induced by proper cones C A and C B are called entanglement breaking if their partial application sends the maximal tensor product K ⊗ max C A into the minimal tensor product K ⊗ min C B for any proper cone K . We study the larger class of Lorentz-entanglement breaking maps where K is restricted to be a Lorentz cone of any dimension, i.e., any cone over a Euclidean ball. This class of maps appeared recently in the study of asymptotic entanglement annihilation and it is dual to the linear maps factoring through Lorentz cones. Our main results establish connections between these classes of maps and operator ideals studied in the theory of Banach spaces. For operators u : X → Y between finite-dimensional normed spaces X and Y we consider so-called central maps which are positive with respect to the cones C A = C X and C B = C Y . We show how to characterize when such a map factors through a Lorentz cone and when it is Lorentz-entanglement breaking by using the Hilbert-space factorization norm γ 2 and its dual ⁎ γ 2 ⁎ . We also study the class of Lorentz-entanglement annihilating maps whose local application sends the Lorentzian tensor product C A ⊗ L C A into the minimal tensor product C B ⊗ min C B . When C A is a cone over a finite-dimensional normed space and C B is a Lorentz cone itself, the central maps of this kind can be characterized by the 2-summing norm π 2 . Finally, we prove interesting connections between these classes of maps for general cones, and we identify examples with particular properties, e.g., cones with an analogue of the 2-summing property.
Abstract Every multipartite entangled quantum state becomes fully separable after an entanglement breaking quantum channel acted locally on each of its subsystems. Whether there are other quantum channels with this property has been an open problem with important implications for entanglement theory (e.g., for the distillation problem and the PPT squared conjecture). We cast this problem in the general setting of proper convex cones in finite-dimensional vector spaces. The max-entanglement annihilating maps transform thek-fold maximal tensor product of a cone
C1 C1 into thek-fold minimal tensor product of a cone
C2 C2 , and the pair
(C1,C2) (C1,C2) is called resilient if all max-entanglement annihilating maps are entanglement breaking. Our main result is that
(C1,C2) (C1,C2) is resilient if either
C1 C1 or
C2 C2 is a Lorentz cone. Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation: As a warm-up, we use the multiplication tensors of real composition algebras to construct a finite family of generalized distillation protocols for Lorentz cones, containing the distillation protocol for entangled qubit states by Bennett et al. (Phys Rev Lett 76(5):722, 1996) as a special case. Then, we construct an infinite family of protocols using solutions to the Hurwitz matrix equations. After proving these results, we focus on maps between cones of positive semidefinite matrices, where we derive necessary conditions for max-entanglement annihilation similar to the reduction criterion in entanglement distillation. Finally, we apply results from the theory of Banach space tensor norms to show that the Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied.