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 the k-fold maximal tensor product of a cone \({\textsf{C}}_1\) into the k-fold minimal tensor product of a cone \({\textsf{C}}_2\), and the pair \(({\textsf{C}}_1,{\textsf{C}}_2)\) is called resilient if all max-entanglement annihilating maps are entanglement breaking. Our main result is that \(({\textsf{C}}_1,{\textsf{C}}_2)\) is resilient if either \({\textsf{C}}_1\) or \({\textsf{C}}_2\) 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \({\mathcal {M}}_d\) denote the set of complex \(d\times d\) matrices and let \({{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^d\right) \subset {\mathcal {M}}_d\) denote the cone of positive semidefinite matrices with complex entries. There are two natural tensor products in the category of cones that can be specialized to the cone \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\): The k-fold minimal tensor product is given by
and it is usually referred to as the set of (unnormalized) fully separable states. The k-fold maximal tensor product is given by
with duality with respect to the Hilbert–Schmidt inner product \(\langle x , y \rangle = {{\,\textrm{Tr}\,}}\left[ xy\right] \) on the space of self-adjoint matrices. The maximal tensor product contains multipartite entanglement witnesses and is usually called the set of block-positive tensors. The following classes of linear maps will be central for our work: We call a linear map \(P:{\mathcal {M}}_{d_A}\rightarrow {\mathcal {M}}_{d_B}\)
-
entanglement breaking if
$$\begin{aligned} (\text{ id}_n\otimes P)\left( {{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^{n}\otimes {\textbf{C}}^{d_A}\right) \right) \subseteq {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{n})\otimes _{\min }{{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_B}), \end{aligned}$$for any \(n\in {\textbf{N}}\).
-
k-max-entanglement annihilating if
$$\begin{aligned} P^{\otimes k}\left( {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d})^{\otimes _{\max } k}\right) \subseteq {{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^{d}\right) ^{\otimes _{\min } k}. \end{aligned}$$ -
max-entanglement annihilating if it is k-max-entanglement annihilating for all \(k\in {\textbf{N}}\).
Every entanglement breaking map \(P:{\mathcal {M}}_{d_A}\rightarrow {\mathcal {M}}_{d_B}\) admits a decomposition \(P(\cdot )=\sum ^N_{i=1} y_i{{\,\textrm{Tr}\,}}\left[ x_i \cdot \right] \) with \(x_i\in {{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^{d_A}\right) \) and \(y_i\in {{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^{d_B}\right) \) (see [HSR03]). This decomposition is sometimes referred to as the measure-and-prepare form of the entanglement breaking map. From this form, it is easy to see that any entanglement breaking map is max-entanglement annihilating. However, it is unknown whether the converse holds as well:
Question 1.1
Are max-entanglement annihilating maps always entanglement breaking?
In this article, we study Question 1.1 in the general setting of convex cones. We identify an infinite family of cones where its answer is ‘Yes’, and discuss implications for potential max-entanglement annihilating maps on \({{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^d\right) \). Finally, we identify a candidate where the analogue of Question 1.1 might have a negative answer, and we discuss implications from the theory of Banach space tensor norms.
1.1 Motivation and history
For any \(d\in {\textbf{N}}\), let \(\vartheta _d:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) denote the transpose map in the computational basis. The distillation problem [HHH98, DSS+00] asks whether every quantum state \(\rho \in {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_A}\otimes {\textbf{C}}^{d_B})\) with non-positive partial transpose (NPPT), i.e., such that \((\text{ id}_{d_A}\otimes \vartheta _{d_B})\left( \rho \right) \notin {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_A}\otimes {\textbf{C}}^{d_B})\), can be transformed into the maximally entangled state
by taking tensor powers \(\rho \mapsto \rho ^{\otimes k}\) and applying local quantum operations and classical communication (see [CLM+14] for the precise definition of this class of linear maps). Entangled quantum states for which such a transformation is not possible are called bound entangled. Recall that a linear map \(P:{\mathcal {M}}_{d_A}\rightarrow {\mathcal {M}}_{d_B}\) is called 2-positive if \(\text{ id}_2\otimes P\) is positive, and it is called completely positive if \(\text{ id}_n\otimes P\) positive for every \(n\in {\textbf{N}}\). The distillation problem has been shownFootnote 1 to be equivalent to the following elementary question: Are all linear maps \(P:{\mathcal {M}}_{d_A}\rightarrow {\mathcal {M}}_{d_B}\) for which \(P^{\otimes k}\) is 2-positive for every \(k\in {\textbf{N}}\) necessarily completely positive? Recently, the second author established a one-way implication of a similar form:
Theorem 1.2
(Theorem 4 in [MHRW16]) The existence of bound entangled quantum states with non-positive partial transpose would follow from the existence of a positive map \(P:{\mathcal {M}}_{d_A}\rightarrow {\mathcal {M}}_{d_B}\) satisfying the following two conditions:
-
(1)
Neither P nor \(\vartheta _{d_B}\circ P\) are completely positive.
-
(2)
For every \(k\in {\textbf{N}}\) the map \(P^{\otimes k}\) is positive.
Linear maps P for which \(P^{\otimes k}\) is positive for every \(k\in {\textbf{N}}\) are called tensor-stable positive. In [MHRW16, Theorem 5] it has been shown that a max-entanglement annihilating map \(T:{\mathcal {M}}_{d_A}\rightarrow {\mathcal {M}}_{d_B}\) which is not entanglement breaking could be used to construct a tensor-stable positive map \(P:{\mathcal {M}}_{d^2_A}\rightarrow {\mathcal {M}}_{d^2_B}\) such that neither P iself nor \(\vartheta _{d^2_B}\circ P\) are completely positive. By Theorem 1.2 we have the following:
Theorem 1.3
(Max-entanglement annihilation implies NPPT bound entanglement) The existence of bound entangled quantum states with non-positive partial transpose would follow from the existence of a max-entanglement annihilating map that is not entanglement breaking.
The existence of max-entanglement annihilating maps as in Theorem 1.3 would have other important consequences in entanglement theory. For example it would also provide a counterexample to the so-called PPT squared conjecture [Chr12, CMHW19] by combining [MHRW16, Theorem 5] with [MH18, Theorem 6.1].
Finally, we should emphasize that the notion of max-entanglement annihilation used in this article is slightly different to the notion of entanglement annihilation studied in previous works, e.g., [MZ10, FRZ12, FZ13, FMZ13]. Previously, a quantum channel \(T:{\mathcal {M}}_{d_A}\rightarrow {\mathcal {M}}_{d_B}\) was called k-(locally) entanglement annihilating if
Question 1.1 was asked in this context in [MZ10]. By considering max-entanglement annihilation, we obtain a more general class of maps that can be defined for any pair of cones (see next section). Note that this notion is more restrictive since even non-physical forms of entanglement (cf., [ALPP21]) are required to be annihilated, and it is the strongest form of entanglement annihilation definable in the context of generalized probabilistic theories (see [Lam18] for an introduction to GPTs). Still, the answer of Question 1.1 is elusive even for this stronger notion.
It should be noted that for every finite \(k\in {\textbf{N}}\) there are k-max-entanglement annihilating maps that are not entanglement breaking:
Proposition 1.4
For every \(k\in {\textbf{N}}\) and any \(d\geqslant 2\), there exists a linear map \(P:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) such that:
-
(1)
P is not entanglement breaking.
-
(2)
P is k-max-entanglement annihilating.
In Appendix A, we will prove a general statement from which Proposition 1.4 will follow. Proposition 1.4 even shows the existence of k-entanglement breaking maps \(P:{\mathcal {M}}_2\rightarrow {\mathcal {M}}_2\) that are not entanglement breaking, but we know that such maps cannot be k-max-entanglement annihilating for every \(k\in {\textbf{N}}\). Therefore, Proposition 1.4 should not be seen as evidence for a negative answer of Question 1.1.
In the special case of \(k=2\), we also want to point out the following proposition (for a proof see Appendix B) that can be seen as an improved version of the PPT squared conjecture in dimension \(d=3\) proved in [CMHW19, CYT19]:
Proposition 1.5
Consider linear maps \(T,S:{\mathcal {M}}_3\rightarrow {\mathcal {M}}_3\). If the maps \(T,S,\vartheta _3\circ T\) and \(\vartheta _3\circ S\) are completely positive, then
The previous proposition gives many examples of 2-max-entanglement annihilating maps that are not entanglement breaking (e.g., by using the maps corresponding to the states constructed and referenced in [Cla06]). We will now recast Question 1.1 in the general setting of convex cones in finite-dimensional vector spaces.
1.2 Max-entanglement annihilation on proper cones
A convex cone \({\textsf{C}}\subset V\) in a finite-dimensional real vector space V is called proper if it is closed and satisfies the relations \({\textsf{C}}-{\textsf{C}}=V\) and \({\textsf{C}}\cap (-{\textsf{C}}) = \{0\}\). When \({\textsf{C}}\subset V\) is a proper cone, we define its dual cone as
The dual cone \({\textsf{C}}^*\) is a proper cone in \(V^*\) and when we identify the bidual \(V^{**}\) with V, the relation \({\textsf{C}}^{**}={\textsf{C}}\) holds.Footnote 2 Let \(V_1,V_2\) denote finite-dimensional vector spaces and \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\) proper cones. We define the minimalFootnote 3 tensor product of \({\textsf{C}}_1\) and \({\textsf{C}}_2\) as
and the maximal tensor product as
It is easy to check that both \({\textsf{C}}_1\otimes _{\min } {\textsf{C}}_2\) and \({\textsf{C}}_1\otimes _{\max } {\textsf{C}}_2\) are proper cones whenever \({\textsf{C}}_1\) and \({\textsf{C}}_2\) are proper cones and by iterating these constructions, we also define inductively the minimal and maximal tensor powers of a proper cone \({\textsf{C}}\): if \(k \geqslant 1\) is an integer, then
with the convention that \({\textsf{C}}^{\otimes _{\min }1} = {\textsf{C}}^{\otimes _{\max }1}={\textsf{C}}\).
By analogy with the case of quantum mechanics, tensors which belong to \({\textsf{C}}_1\otimes _{\max } {\textsf{C}}_2\) but not to \({\textsf{C}}_1\otimes _{\min } {\textsf{C}}_2\) are called entangled. The main results from [ALPP21] characterizes the existence of entanglement: The equality \({\textsf{C}}_1\otimes _{\min } {\textsf{C}}_2 = {\textsf{C}}_1\otimes _{\max } {\textsf{C}}_2\) holds if and only if \({\textsf{C}}_1\) or \({\textsf{C}}_2\) is classical, i.e., it is isomorphic to the cone \({\textbf{R}}_+^n\) for some \(n\in {\textbf{N}}\).
The following classes of linear maps can be defined naturally in the category of cones: For proper cones \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\), a linear map \(P:V_1\rightarrow V_2\) is called
-
\(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement breaking if it can be written as a finite sum
$$\begin{aligned} P=\sum ^k_{i=1}x_i \phi _i , \end{aligned}$$for \(x_1,\ldots ,x_k\in {\textsf{C}}_2\) and \(\phi _1,\ldots ,\phi _k\in {\textsf{C}}^*_1\).
-
\(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement annihilating if
$$\begin{aligned} P^{\otimes k}\left( {\textsf{C}}_1^{\otimes _{\max } k}\right) \subseteq {\textsf{C}}_2^{\otimes _{\min } k} \end{aligned}$$for every \(k\in {\textbf{N}}\).
If it is clear which cones are being considered, we will omit the prefix \(({\textsf{C}}_1,{\textsf{C}}_2)\)- in these definitions. Note that we have chosen the measure-and-prepare form to generalize the notion of entanglement breaking maps to the setting of arbitrary cones. In Proposition 2.2 below, we will show that the \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement breaking maps could also be defined as the linear maps \(P:V_1\rightarrow V_2\) for which \((\text{ id}_V\otimes P)({\textsf{C}}\otimes _{\max } {\textsf{C}}_1)\subseteq {\textsf{C}}\otimes _{\min } {\textsf{C}}_1\) for every proper cone \({\textsf{C}}\subseteq V_1\), which justifies the use of the prefix max- in our notation. On the cones \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\) it is easy to see that the max-entanglement breaking maps are just the usual entanglement breaking maps and we will use the more common notation, i.e., omitting the prefix max-, in this case. The class of max-entanglement annihilating maps generalizes the max-entanglement annihilating maps for the cones \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\). Motivated by Question 1.1 we define:
Definition 1.6
(Resilience) Let \({\textsf{C}}_1 \subset V_1\), \({\textsf{C}}_2 \subset V_2\) be proper cones. The pair \(({\textsf{C}}_1,{\textsf{C}}_2)\) is called resilient if every \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement annihilating map \(P:V_1\rightarrow V_2\) is max-entanglement breaking. We say that \({\textsf{C}}\) is resilient if \(({\textsf{C}},{\textsf{C}})\) is resilient.
Intuitively, a pair \(({\textsf{C}}_1,{\textsf{C}}_2)\) is resilient if for every positive map P that is not max-entanglement breaking, there are tensors in \({\textsf{C}}^{\otimes _{\max } k}_1\) for some \(k\in {\textbf{N}}\) whose entanglement withstands the action of \(P^{\otimes k}\). Classical cones are always resilient since any positive map is max-entanglement breaking. Whenever the cones \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\) are not classical and for any fixed \(k\in {\textbf{N}}\) we show in Appendix A (see Theorem A.5), that there are linear maps \(P:V_1\rightarrow V_2\) which are not max-entanglement breaking, but such that
Therefore, the following question is non-trivial:
Question 1.7
Are there non-resilient pairs of proper cones? Equivalently, are there max-entanglement annihilating maps which are not max-entanglement breaking ?
1.3 Main results
Most previous results on max-entanglement annihilating maps and Question 1.1 exploit the theory of entanglement distillation, and in particular that all NPPT quantum states \(\rho \in {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_A}\otimes {\textbf{C}}^{d_B})\) with \(\min (d_A,d_B)=2\) are distillable [DSS+00, DCLB00]. As a consequence, the pairs \(({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_A}),{{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_B}))\) are resilient when \(\min (d_A,d_B)=2\) (see the proof of Lemma 3.2 in [CMHW19]). It seems difficult to generalize this result to situations when \(\min (d_A,d_B)>2\), but our approach suggests a different strategy: For \(n\in {\textbf{N}}\) consider the Lorentz cones \({\textsf{L}}_n\subset {\textbf{R}}^{n+1}\) given by
where \(\Vert \cdot \Vert _2\) is the standard Euclidean norm on \({\textbf{R}}^n\). The cone \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^2)\) is isomorphic to the Lorentz cone \({\textsf{L}}_3\). This can be seen using the spinor representation (see [AS17, p.32]) or by realizing \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^2)\) as the cone over the Bloch ball. We have:
The following theorem is our main result:
Theorem 1.8
The pairs \(({\textsf{L}}_n, {\textsf{C}})\) and \(({\textsf{C}}, {\textsf{L}}_n)\) are resilient for every proper cone \({\textsf{C}}\) and every \(n\in {\textbf{N}}\). In particular, the Lorentz cone \({\textsf{L}}_n\) is resilient for every \(n\in {\textbf{N}}\).
The proof of Theorem 1.8 can be found in Sect. 4. Theorem 1.8 is a natural generalization and strengthening of the aformentioned results on resilience of \(({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_A}),{{\,\mathrm{\textsf{PSD}}\,}} ({\textbf{C}}^{d_B}))\) when \(\min (d_A,d_B)=2\). Its proof uses first the symmetries of the Lorentz cones and second a series of “distillation protocols” on the Lorentz cones \({\textsf{L}}_n\). For \(n\leqslant 9\) we construct a family of protocols from the multiplication tensors of certain split-algebras and the normed division algebras. These protocols contain the original distillation protocol for entangled quantum states \(\rho \in {{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^2\otimes {\textbf{C}}^2\right) \) introduced in [BBP+96] as a special case. Finally, we construct a different class of protocols based on solutions of the Hurwitz matrix equations showing resilience of \({\textsf{L}}_n\) for every \(n\geqslant 10\) (and also for smaller n).
In the context of entanglement distillation, the reduction criterion [HH99] gives a sufficient condition for quantum states to be distillable. It uses the so-called reduction map \(R:{\mathcal {M}}_{d}\rightarrow {\mathcal {M}}_d\)
and quantum states \(\rho \in {{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^d\otimes {\textbf{C}}^d\right) \) satisfying \((\text{ id}_d\otimes R)(\rho )\ngeq 0\) are distillable. Mathematically, this criterion is based on the fact that the map \(\vartheta _d\circ R\) factors (completely positively) through the cone \({{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^2\right) \), which is closely related to the so-called Schmidt number of Werner states (see [TH00]). Again motivated by the equivalence \({\textsf{L}}_3\simeq {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^2)\) we generalize this result (in a certain sense) to maps factoring through a Lorentz cone \({\textsf{L}}_n\). Examples of such maps include the Breuer–Hall map and projections onto spin factors (see Sect. 5.2 for definitions and details). Each such map gives necessary conditions for positive maps \(P:{\mathcal {M}}_{d_A}\rightarrow {\mathcal {M}}_{d_B}\) to be max-entanglement annihilating.
Finally, we consider resilience in the case of cones with a symmetric base, or equivalently cones \({\textsf{C}}_X\) associated to a finite-dimensional normed space X. Using recent results obtained by the authors [AMH21] on regularizations of Banach space tensor norms, we demonstrate a partial version of resilience where a restricted form of entanglement coming from the Banach space structure is annihilated by certain maps that are not max-entanglement breaking. This result illuminates the limitations of the methods leading to resilience of Lorentz cones, and we show that they cannot show resilience of any other cone \({\textsf{C}}_X\) with symmetric base. Finally, we discuss the cone over the finite-dimensional \(\ell _1\)-spaces, which is a candidate for a non-resilient cone.
Our article is structured as follows:
-
In Sect. 2 we review some preliminaries and notation.
-
In Sect. 3 we show how to exploit symmetries in order to simplify the study of resilience of cones. Specifically, we will develop techniques for cones with a symmetric base (Sect. 3.1) and for cones with enough symmetries (Sect. 3.2).
-
In Sect. 4 we prove Theorem 1.8 on the resilience of Lorentz cones.
-
In Sect. 5 we study positive maps factoring through cones and how they can be used to study resilience of cones. In Sect. 5.1 we develop the general theory and in Sect. 5.2 we specialize to positive maps between cones of positive semidefinite matrices factoring through Lorentz cones giving rise to generalized reduction criteria.
-
In Sect. 6 we study cones with symmetric base and connections between resilience and the theory of Banach space tensor norms. We first review the results from [AMH21] in Sect. 6.1, and then we study the annihilation of particular forms of entanglement related to Banach space tensor norms in Sect. 6.2. Finally, we discuss a potential candidate for a resilient cone in Sect. 6.3.
2 Preliminaries and Notation
Unless explicitly stated, all the vector spaces we consider are assumed to be finite-dimensional vector spaces over \({\textbf{R}}\).
2.1 Classes of linear maps and their correspondence to tensor products
Our main object of study are linear maps between vector spaces \(V_1\), \(V_2\). Consider two proper cones \({\textsf{C}}_1 \subset V_1\) and \({\textsf{C}}_2 \subset V_2\). A linear map \(P : V_1 \rightarrow V_2\) is said to be \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive if it satisfies the relation \(P({\textsf{C}}_1) \subseteq {\textsf{C}}_2\). The class of \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive maps forms itself a proper cone which we denote by \({\mathcal {P}}({\textsf{C}}_1,{\textsf{C}}_2)\).
It is natural to identify a linear map \(P:V_1\rightarrow V_2\) with the tensor \({\hat{P}}\in V^*_1\otimes V_2\) satisfying the relation
for every \(\phi \in V^*_2\) and every \(x\in V_1\). In the right-hand side of that formula, x is considered as an element of \(V_1^{**}\). This correspondence \(P\leftrightarrow {\hat{P}}\) defines an isomorphism between linear maps \(P:V_1\rightarrow V_2\) and tensors \({\hat{P}}\in V^*_1\otimes V_2\). When \(V_1={\mathcal {M}}_{d_1}\) and \(V_2={\mathcal {M}}_{d_2}\) this isomorphism is sometimes called the Jamiolkowski isomorphism [Jam72] closely related to the more common Choi isomorphism [Cho75].
Lemma 2.1
Let \(V_1\), \(V_2\) be vector spaces, \({\textsf{C}}_1 \subset V_1\), \({\textsf{C}}_2 \subset V_2\) be proper cones and \(P: V_1 \rightarrow V_2\) be a linear map. Then
-
(1)
the map P is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive if and only if \({\hat{P}} \in {\textsf{C}}_1^* \otimes _{\max }{\textsf{C}}_2\),
-
(2)
the map P is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement breaking if and only if \({\hat{P}} \in {\textsf{C}}_1^* \otimes _{\min }{\textsf{C}}_2\).
Proof
Since \({\textsf{C}}_2={\textsf{C}}_2^{**}\), the positivity of P is equivalent to the fact that \(\phi (P(x)) \geqslant 0\) for every \(x \in {\textsf{C}}_1\) and \(\phi \in {\textsf{C}}_2^*\). Using the definition of the maximal tensor product, this is equivalent to the condition \({\hat{P}} \in {\textsf{C}}_1^* \otimes _{\max }{\textsf{C}}_2\). The second statement is an easy consequence of the definitions. \(\square \)
We now characterize max-entanglement breaking maps as the maps which destroy entanglement when applied to one part of a maximal tensor product. This statement extends a well known fact in quantum information theory ([HSR03]):
Proposition 2.2
Let \(V_1\), \(V_2\) be vector spaces, \({\textsf{C}}_1 \subset V_1\), \({\textsf{C}}_2 \subset V_2\) be proper cones and \(P: V_1 \rightarrow V_2\) be a linear map. The following are equivalent
-
(1)
the map P is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement breaking,
-
(2)
for every proper cone \({\textsf{C}}\) in a vector space V, we have
$$\begin{aligned} (\text{ id}_V \otimes P) \left( {\textsf{C}}\otimes _{\max }{\textsf{C}}_1 \right) \subseteq {\textsf{C}}\otimes _{\min }{\textsf{C}}_2 . \end{aligned}$$
Proof
Assume (1), so that P can be decomposed as \(P(\cdot )=\sum \phi _i(\cdot )x_i\) for some \(x_i \in {\textsf{C}}_2\) and \(\phi _i \in {\textsf{C}}^*_1\). Consider a tensor \(z \in {\textsf{C}}\otimes _{\max }{\textsf{C}}_1\). It follows from the definition of the maximal tensor product that \((\text{ id}_V \otimes \phi _i)(z) \in {\textsf{C}}\) for every i, and therefore \((\text{ id}_V \otimes P)(z) = \sum (\text{ id}_V \otimes \phi _i)(z) \otimes x_i\) belongs to \({\textsf{C}}\otimes _{\min }{\textsf{C}}_2\). This shows (2).
Conversely, assume (2) and choose \(V=V_1^*\), \({\textsf{C}}= {\textsf{C}}_1^*\). By Lemma 2.1, the tensor \(\widehat{\text{ id}_{V_1}}\) belongs to \({\textsf{C}}_1^* \otimes _{\max }{\textsf{C}}_1\). Since \({\hat{P}} = (\text{ id}_{V_1^*} \otimes P)(\widehat{\text{ id}_{V_1}})\) belongs to \({\textsf{C}}\otimes _{\min }{\textsf{C}}_2\), using again Lemma 2.1 shows that P is max-entanglement breaking. \(\square \)
2.2 Duality between classes of maps
Consider vector spaces \(V_1\), \(V_2\) and a linear map \(P : V_1 \rightarrow V_2\). We denote by \(P^* : V_2^* \rightarrow V_1^*\) its adjoint. The following lemma is easy to check.
Lemma 2.3
Let \({\textsf{C}}_1 \subset V_1\), \({\textsf{C}}_2 \subset V_2\) be proper cones and \(P : V_1 \rightarrow V_2\) a linear map. Then
-
(1)
P is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive if and only if the map \(P^*\) is \(({\textsf{C}}_2^*,{\textsf{C}}_1^*)\)-positive.
-
(2)
P is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement breaking if and only if the map \(P^*\) is \(({\textsf{C}}_2^*,{\textsf{C}}_1^*)\)-max-entanglement breaking.
-
(3)
P is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement annihilating if and only if the map \(P^*\) is \(({\textsf{C}}_2^*,{\textsf{C}}_1^*)\)-max-entanglement annihilating.
-
(4)
The pair \(({\textsf{C}}_1,{\textsf{C}}_2)\) is resilient if and only if the pair \(({\textsf{C}}_2^*,{\textsf{C}}_1^*)\) is resilient.
Another useful lemma is obtained by considering trace duality.
Lemma 2.4
Let \({\textsf{C}}_1 \subset V_1\) and \({\textsf{C}}_2 \subset V_2\) be proper cones, and \(P: V_1 \rightarrow V_2\) a linear map. The following are equivalent
-
(1)
P is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement breaking,
-
(2)
for every positive map \(Q \in {\mathcal {P}}({\textsf{C}}_2,{\textsf{C}}_1)\), we have \({{\,\textrm{Tr}\,}}[Q \circ P] \geqslant 0\).
Proof
Let \(\iota : V_2^* \otimes V_1 \rightarrow (V_1^* \otimes V_2)^*\) be the canonical identification. If \(Q : V_2 \rightarrow V_1\) is a linear map, then we have
using the usual trace of the composition \(Q \circ P:V_1\rightarrow V_1\). This identity is easy to check when P and Q have rank 1 and the general case follows from linearity. Lemma 2.1 shows that condition (1) is equivalent to \({\hat{P}} \in {\textsf{C}}_1^* \otimes _{\min }{\textsf{C}}_2\), and condition (2) is equivalent to \({\hat{P}} \in (\iota ({\textsf{C}}_2^* \otimes _{\max }{\textsf{C}}_1))^*\). The result follows since
\(\square \)
2.3 Proper cones associated to convex bodies and normed spaces
Let \(B \subset V\) be a convex body, i.e., a compact convex set with non-empty interior. We define the cone over B as
which is a proper cone in \({\textbf{R}}\oplus V\). It is an elementary fact that any proper cone is isomorphic to the cone over some convex body. We will sometimes consider cones \({\textsf{C}}_B\) over a symmetric convex body B, i.e., such that \(-B=B\). Since symmetric convex bodies are unit balls of norms and vice-versa, we may equivalently consider cones of the form
for a normed space X. Important examples arise from the \(\ell _p\)-spaces \(\ell ^n_p = \left( {\textbf{R}}^n,\Vert \cdot \Vert _p\right) \) and we note that the Lorentz cones are given by \({\textsf{L}}_n={\textsf{C}}_{\ell ^n_2}\).
It is not surprising that \(({\textsf{C}}_X,{\textsf{C}}_Y)\)-positivity of certain maps from \({\textbf{R}}\oplus X\) to \({\textbf{R}}\oplus Y\) can be characterized using the normed spaces X and Y. We say that a linear map \(Q : {\textbf{R}}\oplus X \rightarrow {\textbf{R}}\oplus Y\) is a central map if it has the form
for \(\alpha \in {\textbf{R}}\) and \(P :X \rightarrow Y\) a linear map. It is easy to verify that the linear map \(\alpha \oplus P\) is
-
\(({\textsf{C}}_X,{\textsf{C}}_Y)\)-positive if and only if \(\Vert P\Vert _{X\rightarrow Y}\leqslant \alpha \).
-
\(({\textsf{C}}_X,{\textsf{C}}_Y)\)-max-entanglement breaking if and only if \(\Vert P\Vert _{N(X\rightarrow Y)}\leqslant \alpha \).
Here, we used the nuclear norm given by
where the infimum is over \(n\in {\textbf{N}}\) and decompositions
2.4 Basic properties of resilient cones and max-entanglement annihilation
In this section, we establish some basic properties of max-entanglement annihilating maps and resilient cones. We start by characterizing max-entanglement annihilating maps as maps which stay positive under certain transformations resembling the encoding/decoding operations (specifically, separable operations [CLM+14]) from quantum information theory.
Consider a proper cone \({\textsf{C}}\) inside a vector space V and an integer \(k \geqslant 1\). We say that a linear map \(E:V \rightarrow V^{\otimes k}\) is a \({\textsf{C}}\)-encoder if it is \(({\textsf{C}},{\textsf{C}}^{\otimes _{\max }k})\)-positive, and that a linear map \(D :V^{\otimes k} \rightarrow V\) is a \({\textsf{C}}\)-decoder if it is \(({\textsf{C}}^{\otimes _{\min }k},{\textsf{C}})\)-positive. Observe that E is a \({\textsf{C}}\)-encoder if and only if \(E^*\) is a \({\textsf{C}}^*\)-decoder.
Theorem 2.5
(Characterization of max-entanglement annihilation) Let \(V_1\), \(V_2\) be vector spaces, \({\textsf{C}}_1 \subset V_1\), \({\textsf{C}}_2 \subset V_2\) be proper cones and \(P : V_1 \rightarrow V_2\) a linear map. The following are equivalent.
-
(1)
The map P is max-entanglement annihilating.
-
(2)
For every \(k \in {\textbf{N}}\), every \({\textsf{C}}_1\)-encoder \(E : V_1 \rightarrow V_1^{\otimes k}\) and \({\textsf{C}}_2\)-decoder \(D : V_2^{\otimes k} \rightarrow V_2\), the map \(D \circ P^{\otimes k} \circ E\) is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive.
Before proving Theorem 2.5, we introduce a lemma which will be useful later about stability of the class of max-entanglement annihilating maps.
Lemma 2.6
(Max-entanglement annihilation is preserved under separable operations). For \(i \in \{1,2,3,4\}\), consider a proper cone \({\textsf{C}}_i\) in a vector space \(V_i\). Consider \(({\textsf{C}}_1,{\textsf{C}}^{\otimes _{\max } k}_2)\)-positive maps \(E_1,\ldots ,E_N:V_1\rightarrow V^{\otimes k}_2\) and \(({\textsf{C}}^{\otimes _{\min } k}_3,{\textsf{C}}_4)\)-positive maps \(D_1,\ldots ,D_N:V^{\otimes k}_3\rightarrow V_4\). For any \(({\textsf{C}}_2,{\textsf{C}}_3)\)-max-entanglement annihilating map \(P:V_2\rightarrow V_3\), the map \(Q:V_1\rightarrow V_4\) given by
is \(({\textsf{C}}_1,{\textsf{C}}_4)\)-max-entanglement annihilating.
Proof
For \(l\in {\textbf{N}}\) and any \(i_1,\ldots ,i_l\in \{ 1,\ldots ,N\}\) we have
and
Now, note that
and since P is max-entanglement annihilating we conclude that
Since \(l\in {\textbf{N}}\) was arbitrary, we have shown that Q is max-entanglement annihilating. \(\square \)
Proof of Theorem 2.5
Assuming (1), it follows from Lemma 2.6 applied with \(N=1\) that \(D \circ P^{\otimes k} \circ E\) is max-entanglement annihilating, hence positive.
Conversely, consider a linear map \(P:V_1\rightarrow V_2\) that is not max-entanglement annihilating. Then, there exists a \(k\in {\textbf{N}}\), an \(x\in {\textsf{C}}^{\otimes _{\max } k}_1\), and a \(w\in ({\textsf{C}}^*_2)^{\otimes _{\max } k}\) such that \(\langle w , P^{\otimes k}(x) \rangle <0\). Define \(E:V_1\rightarrow V^{\otimes k}_1\) by \(E = x\langle v , \cdot \rangle \) for some \(v\in {\textsf{C}}^*_1\setminus \{ 0\}\) and \(D:V^{\otimes k}_2\rightarrow V_2\) by \(D = y\langle w , \cdot \rangle \) for some \(y\in {\textsf{C}}_2\setminus \{ 0\}\). Note that E is a \({\textsf{C}}_1\)-encoder and D is \({\textsf{C}}_2\)-decoder. However, we have
which is a negative multiple of a non-zero positive map and hence not positive as all involved cones are proper. \(\square \)
We conclude this section with two important implications of the previous results for the resilience property of cones. The first one will show that resilience is closed under retracts, and the second that every pair of a resilient cone with any proper cone is resilient as well.
Say that a cone \({\textsf{C}}'\subset V'\) is a retract of a cone \({\textsf{C}}\subset V\) if there exists a \(({\textsf{C}}',{\textsf{C}})\)-positive map \(R:V'\rightarrow V\) and a \(({\textsf{C}},{\textsf{C}}')\)-positive map \(S:V\rightarrow V'\) such that \(\text{ id}_{V'} = S\circ R\). For example, it can be checked easily that \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d'})\) is a retract of \({{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^{d}\right) \) if and only if \(d'\leqslant d\), and that \({\textsf{L}}_{n'}\) is a retract of \({\textsf{L}}_n\) if and only if \(n' \leqslant n\). Note also that retracts dualize: If \({\textsf{C}}'\) is a retract of \({\textsf{C}}\), then \({\textsf{C}}'^*\) is a retract of \({\textsf{C}}^*\). We have the following lemma:
Lemma 2.7
(Resilience is closed under retracts). Let \({\textsf{K}}\subset W\) be a proper cone and \({\textsf{C}}'\subset V'\) a retract of a proper cone \({\textsf{C}}\subset V\). If the pair \(({\textsf{C}},{\textsf{K}})\) (or \(({\textsf{K}},{\textsf{C}})\)) is resilient, then the pair \(({\textsf{C}}',{\textsf{K}})\) (or \(({\textsf{K}},{\textsf{C}}')\)) is resilient as well. In particular, if \({\textsf{C}}\) is resilient, then \({\textsf{C}}'\) is resilient as well.
Proof
Using duality, it is enough to consider the case where \(({\textsf{C}},{\textsf{K}})\) is resilient. By definition, we have \(\text{ id}_{V'} = S\circ R\) for a \(({\textsf{C}}',{\textsf{C}})\)-positive map \(R:V'\rightarrow V\) and a \(({\textsf{C}},{\textsf{C}}')\)-positive map \(S:V\rightarrow V'\). Consider an \(({\textsf{C}}',{\textsf{K}})\)-max-entanglement annihilating map \(P:V'\rightarrow W\). By Lemma 2.6, the map \(P\circ S:V\rightarrow W\) is \(({\textsf{C}},{\textsf{K}})\)-max-entanglement annihilating and hence max-entanglement breaking by resilience of \(({\textsf{C}},{\textsf{K}})\). We conclude that \(P = P\circ S\circ R\) is max-entanglement breaking as well, and thus the pair \(({\textsf{C}}',{\textsf{K}})\) is resilient. \(\square \)
As a consequence of Lemma 2.7 we conclude that resilience of \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d})\) implies resilience of \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d'})\) when \(d'\leqslant d\), and that resilience of \({\textsf{L}}_n\) implies resilience of \({\textsf{L}}_{n'}\) whenever \(n'\leqslant n\). Moreover, it can be checked [ALP19, Proposition S7] that the Lorentz cone \({\textsf{L}}_n\) is a retract of \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\) for \(d=2^n\), and therefore resilience of \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{2^n})\) would imply resilience of \({\textsf{L}}_n\). We will show the latter in a different way.
We will finish this section with another basic property of resilient cones:
Lemma 2.8
(Resilience implies resilience of pairs). Let \({\textsf{C}}\subset V\) be a proper cone. Then the following are equivalent:
-
(1)
The cone \({\textsf{C}}\) is resilient.
-
(2)
The pair \(({\textsf{C}},{\textsf{C}}')\) is resilient for every proper cone \({\textsf{C}}'\subset V'\).
-
(3)
The pair \(({\textsf{C}}',{\textsf{C}})\) is resilient for every proper cone \({\textsf{C}}'\subset V'\)
Proof
It is clear that the second statement implies the first. To show the other direction assume that \({\textsf{C}}\) is resilient and that for some proper cone \({\textsf{C}}'\subset V'\) the pair \(({\textsf{C}},{\textsf{C}}')\) is not resilient. Then, there exists a \(({\textsf{C}},{\textsf{C}}')\)-max-entanglement annihilating map \(P:V\rightarrow V'\) that is not \(({\textsf{C}},{\textsf{C}}')\)-max-entanglement breaking. By Lemma 2.4 there is a \(({\textsf{C}}',{\textsf{C}})\)-positive map \(Q:V'\rightarrow V\) such that \({{\,\textrm{Tr}\,}}[Q \circ P] < 0\). Again by Lemma 2.4, we conclude that \(Q \circ P:V\rightarrow V\) is not max-entanglement breaking, but by Lemma 2.6 (for \(k=1\)) it is max-entanglement annihilating. This contradicts the assumption. Equivalence of the first and third statements follows in a similar way. \(\square \)
3 Symmetrization of Positive Maps Between Cones
To show that a pair of cones \(({\textsf{C}}_1,{\textsf{C}}_2)\) is resilient, it is, a priori, necessary to check whether every max-entanglement annihilating map is max-entanglement breaking. In this section, we present two types of cones for which the resilience question can be reduced to max-entanglement annihilating maps with particular properties.
3.1 Cones with a symmetric base
Consider a cone \({\textsf{C}}_X\subset {\textbf{R}}\oplus X\) associated with a finite-dimensional normed space X (see Sect. 2.3). We show that the resilience of \({\textsf{C}}_X\) can be checked using only central maps. Recall that a central map has the form \(\alpha \oplus P\) for \(P:X \rightarrow X\), and that \(\alpha \oplus P\) is \({\textsf{C}}_X\)-max-entanglement breaking if and only if \(\Vert P\Vert _{N(X \rightarrow X)} \leqslant \alpha \).
Theorem 3.1
For a finite-dimensional normed space X the following are equivalent:
-
(1)
The cone \({\textsf{C}}_X\) is resilient.
-
(2)
Every \({\textsf{C}}_X\)-max-entanglement annihilating central map is max-entanglement breaking.
Proof
It is obvious that (1) implies (2). Conversely, assume that \({\textsf{C}}_X\) is not resilient and let \(R : {\textbf{R}}\oplus X \rightarrow {\textbf{R}}\oplus X\) a map which is \({\textsf{C}}_X\)-max-entanglement annihilating and not \({\textsf{C}}_X\)-max-entanglement breaking. By Lemma 2.4, there is a \({\textsf{C}}_X\)-positive map Q such that \({{\,\textrm{Tr}\,}}\left[ Q\circ R\right] <0\). Let \(A : {\textbf{R}}\oplus X \rightarrow {\textbf{R}}\oplus X\) be the automorphism of \({\textsf{C}}_X\) defined by \(A(t,x)=(t,-x)\) and
It is easy to check that S is a central map. Since A and Q are \({\textsf{C}}_X\)-positive, we conclude by Lemma 2.6 that S is max-entanglement annihilating. Moreover, since
an application of Lemma 2.4 shows that S is not max-entanglement breaking. \(\square \)
We will apply this theorem in Sect. 6 to relate resilience of the cone \({\textsf{C}}_X\) to properties of the normed space X. In the next section, we will consider cones with enough symmetries to reduce resilience to a much smaller class of maps.
3.2 Cones with enough symmetries and twirling to isotropic maps
Let V be an n-dimensional Euclidean space, which we identify with \({\textbf{R}}^n\). Given a convex body \(B \subset V\), we say that an orthogonal map \(g \in O_n\) is an isometry of B if \(g(B)=B\). The set of isometries of B, which we denote \({{\,\textrm{Iso}\,}}(B)\), is a closed subgroup of \(O_n\). We say that B has enough symmetries if \({{\,\textrm{Iso}\,}}(B)' = {\textbf{R}}1\); here \(G'\) denotes the commutant of G, i.e., the set of linear maps \(S : V \rightarrow V\) such that \(gS=Sg\) for every \(g \in G\). Note that a convex body B with enough symmetries has centroid at the origin; in particular \(0 \in {{\,\textrm{int}\,}}(B)\). Slightly abusing notation, we will sometimes say that a cone \({\textsf{C}}\) has enough symmetries if there is a base B with enough symmetries satisfying \({\textsf{C}}={\textsf{C}}_B\). The family of cones with enough symmetries includes the cones \({\textsf{C}}_{\ell _p}\) and more generally the cones \({\textsf{C}}_X\) for normed spaces with enough symmetries [TJ89]. Moreover, it also contains the positive semidefinite cones \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\), a fact that has often been exploited in entanglement distillation [Wer89, DSS+00] and which inspired the techniques developed here.
We denote by \({\textsf{C}}_B \subset {\textbf{R}}^{n+1}\) the cone over B. If \(g \in {{\,\textrm{Iso}\,}}(B)\) is an isometry, we denote by \({\tilde{g}} : {\textbf{R}}^{n+1} \rightarrow {\textbf{R}}^{n+1}\) the automorphism of \({\textsf{C}}_B\) defined by \({\tilde{g}}(t,x)=(t,gx)\) for \((t,x) \in {\textbf{R}}\oplus {\textbf{R}}^n\). Denote by \(\pi _1\) and \(\pi _2\) the orthogonal projections defined as
for \((t,x) \in {\textbf{R}}\oplus {\textbf{R}}^n\).
Let \(B \subset {\textbf{R}}^n\) be a convex body with enough symmetries. We define the twirling operator \(\tau \) as follows: If \(L: {\textbf{R}}^{n+1} \rightarrow {\textbf{R}}^{n+1}\) is a linear map, then \(\tau [L] : {\textbf{R}}^{n+1} \rightarrow {\textbf{R}}^{n+1}\) if defined as
where the integral is with respect to the normalized Haar measure on \({{\,\textrm{Iso}\,}}(B)\).
Proposition 3.2
(Twirling and isotropic maps). Let \(B \subset {\textbf{R}}^n\) be a convex body with enough symmetries and \(L: {\textbf{R}}^{n+1} \rightarrow {\textbf{R}}^{n+1}\) a linear map. Then
where \(\alpha = {{\,\textrm{Tr}\,}}(\pi _1 L \pi _1)\) and \(\beta = \frac{1}{n} {{\,\textrm{Tr}\,}}(\pi _2 L \pi _2).\)
Proof
Consider the block matrix \(\tau [L]=\begin{pmatrix} \alpha &{} y^T \\ x &{} A \end{pmatrix}\) with \(\alpha \in {\textbf{R}}\), \(x,y \in {\textbf{R}}^n\) and \(A \in {\mathcal {M}}_n({\textbf{R}})\). For every \(g \in {{\,\textrm{Iso}\,}}(B)\), \(\tau [L]\) commutes with \({\tilde{g}}\) by invariance of the Haar measure. It follows that \(gx=x\), \(y^T g =y^T\) and \(Ag=gA\). Since B has enough symmetries, we have \(x=y=0\) and \(A=\beta \mathbb {1}\) for some \(\beta \in {\textbf{R}}\). We proved that \(\tau [L] = \alpha \pi _1 + \beta \pi _2\) and the values for \(\alpha \) and \(\beta \) are easily computed. \(\square \)
For \(\alpha ,\beta \in {\textbf{R}}\) and \(n\in {\textbf{N}}\) we define the isotropic map \(I_{\alpha ,\beta } : {\textbf{R}}^{n+1} \rightarrow {\textbf{R}}^{n+1}\) by
We will sometimes use the notation \(I_\alpha := I_{\alpha ,1}\) to denote a normalized isotropic maps. By Proposition 3.2, applying the twirling operator always produces an isotropic map. The following lemma characterizes some elementary properties of the isotropic maps:
Lemma 3.3
(Properties of isotropic maps). Let \(B \subset {\textbf{R}}^n\) be a convex body with enough symmetries. For \(\alpha , \beta \in {\textbf{R}}\), consider the isotropic map \(I_{\alpha ,\beta } = \alpha \pi _1 + \beta \pi _2\). We have the following:
-
(1)
The isotropic map \(I_{\alpha ,\beta }\) is \({\textsf{C}}_B\)-positive if and only if \(\alpha \geqslant 0\) and \(\beta B \subseteq \alpha B\). In particular, we have \(|\beta |\leqslant \alpha \) whenever \(I_{\alpha ,\beta }\) is \({\textsf{C}}_B\)-positive.
-
(2)
The map \(I_{\alpha ,\beta }\) is \({\textsf{C}}_B\)-max-entanglement breaking if and only if \(\alpha \geqslant 0\) and \(\beta \gamma \geqslant - \alpha /n\) for every \(\gamma \in {\textbf{R}}\) such that \(\gamma B \subseteq B\). In particular, \(|\beta | \leqslant \alpha /n\) whenever \(I_{\alpha ,\beta }\) is \({\textsf{C}}_B\)-max-entanglement breaking.
If in addition \(-B=B\), then we have the following refinement:
-
(3)
The map \(I_{\alpha ,\beta }\) is \({\textsf{C}}_B\)-positive if and only if \(|\beta |\leqslant \alpha \).
-
(4)
The map \(I_{\alpha ,\beta }\) is \({\textsf{C}}_B\)-max-entanglement breaking if and only if \(|\beta | \leqslant \alpha /n\).
Proof
Given \((t,x) \in {\textbf{R}}^{n+1}\), we have \(I_{\alpha ,\beta }(t,x)=(\alpha t,\beta x)\). The condition \(\alpha \geqslant 0\) is necessary for \(I_{\alpha ,\beta }\) to be positive. Since \((t,x) \in {\textsf{C}}_B\) if and only if \(t \geqslant 0\) and \(x \in t B\), (1) follows. If B is symmetric, this is clearly equivalent to \(|\beta | \leqslant \alpha \).
By duality (Lemma 2.4), the map \(I_{\alpha ,\beta }\) is \({\textsf{C}}_B\)-max-entanglement breaking if and only if \(\text{ tr }[Q \circ I_{\alpha ,\beta }] \geqslant 0\) for every \(Q \in {\mathcal {P}}({\textsf{C}}_B)\). By Proposition 3.2, we have \(\tau [Q] = I_{\gamma ,\delta }\) for some \(\gamma ,\delta \in {\textbf{R}}\). Using cyclicity of the trace, we compute
Since \(Q \in {\mathcal {P}}({\textsf{C}}_B)\) implies \(\delta B \subseteq \gamma B\), (2) follows. In the symmetric case, it is enough to consider the extremal values \(\delta = \pm \gamma \), giving (4). \(\square \)
By applying the twirling technique, we will now reduce the question of resilience for cones with enough symmetries to determining whether every max-entanglement annihilating isotropic map is max-entanglement breaking. For this we need to ensure that the isotropic map obtained from twirling a positive and non-max-entanglement breaking map is non-max-entanglement breaking itself. We start with an easy lemma:
Lemma 3.4
Let \(B \subset {\textbf{R}}^n\) be a convex body with enough symmetries and \(P \in {\mathcal {P}}({\textsf{C}}_B)\) a positive map such that \({{\,\textrm{Tr}\,}}[P] < 0\). Then the isotropic map \(\tau [P]\) is not \({\textsf{C}}_B\)-max-entanglement breaking.
Proof
By Proposition 3.2, we have \(\tau [P] = \alpha \pi _1 + \beta \pi _2 \) with \(\alpha = {{\,\textrm{Tr}\,}}(\pi _1 L \pi _1)\) and \(\beta = \frac{1}{n} {{\,\textrm{Tr}\,}}(\pi _2 L \pi _2)\). We also have \({{\,\textrm{Tr}\,}}[P] = {{\,\textrm{Tr}\,}}(\pi _1 L) + {{\,\textrm{Tr}\,}}(\pi _2 L) = \alpha +n \beta \). It follows that \(\alpha + n \beta <0\) and therefore \(\beta < -\alpha /n\). By Lemma 3.3, the map \(\tau [P]\) is not max-entanglement breaking. \(\square \)
We can now prove the following theorem:
Theorem 3.5
(Twirling with filter). Let \(B \subset {\textbf{R}}^n\) be a convex body with enough symmetries and \({\textsf{C}}\subset V\) any proper cone.
-
(1)
If \(P \in {\mathcal {P}}({\textsf{C}}_B,{\textsf{C}})\) is a positive map which is not \(({\textsf{C}}_B,{\textsf{C}})\)-max-entanglement breaking, there exists a positive map \(Q \in {\mathcal {P}}({\textsf{C}},{\textsf{C}}_B)\) such that the isotropic map \(\tau \left[ Q\circ P\right] \) is \({\textsf{C}}_B\)-positive and not \({\textsf{C}}_B\)-max-entanglement breaking.
-
(2)
If \(P \in {\mathcal {P}}({\textsf{C}},{\textsf{C}}_B)\) is a positive map which is not \(({\textsf{C}},{\textsf{C}}_B)\)-max-entanglement breaking, there exists a positive map \(R \in {\mathcal {P}}({\textsf{C}}_B,{\textsf{C}})\) such that the isotropic map \(\tau \left[ P\circ R\right] \) is \({\textsf{C}}_B\)-positive and not \({\textsf{C}}_B\)-max-entanglement breaking.
Proof
By duality (Lemma 2.4), there exists a positive map \(Q \in {\mathcal {P}}({\textsf{C}},{\textsf{C}}_B)\) such that \({{\,\textrm{Tr}\,}}\left[ Q\circ P \right] <0\). Applying Lemma 3.4 to the \({\textsf{C}}_B\)-positive map \(Q\circ P\) shows that the isotropic map \(\tau \left[ Q\circ P\right] \) is not \({\textsf{C}}_B\)-max-entanglement breaking. Clearly, \(\tau \left[ Q\circ P\right] \) is \({\textsf{C}}_B\)-positive as a twirl of a positive map. This finishes the proof of the first part, and the second part is proved similarly. \(\square \)
We have the following corollary:
Corollary 3.6
(Resilience of cones with enough symmetries). Let \(B \subset {\textbf{R}}^n\) be a convex body with enough symmetries. The following are equivalent:
-
(1)
The cone \({\textsf{C}}_B\) is resilient.
-
(2)
Every isotropic map on \({\textbf{R}}^{n+1}\) which is \({\textsf{C}}_B\)-max-entanglement annihilating is also \({\textsf{C}}_B\)-max-entanglement breaking.
Proof
It is obvious that the first statement implies the second. For the reverse direction assume that \({\textsf{C}}_B\) is not resilient, and hence that there exists a map \(P:{\textbf{R}}^{n+1}\rightarrow {\textbf{R}}^{n+1}\) which is max-entanglement annihilating but not max-entanglement breaking. By Theorem 3.5, there exists a positive map \(Q \in {\mathcal {P}}({\textsf{C}}_B,{\textsf{C}}_B)\) such that the isotropic map \(\tau \left[ Q\circ P\right] \) is not max-entanglement breaking, and applying Lemma 2.6 for \(k=1\) shows that \(\tau \left[ Q\circ P\right] \) is max-entanglement annihilating. \(\square \)
4 Resilience of Lorentz Cones and Proof of Theorem 1.8
We will prove the following:
Theorem 4.1
For every \(n \geqslant 1\), the Lorentz cone \({\textsf{L}}_n\) is resilient.
Using Theorem 4.1, the proof of Theorem 1.8 is easy.
Proof of Theorem 1.8
Combine Theorem 4.1 and Lemma 2.8. \(\square \)
To prove Theorem 4.1 we have two strategies: In Sect. 4.1 we generalize the approach used to prove the resilience of \({\textsf{L}}_3\) (by the distillation protocol of entangled qubit states [BBP+96]) to prove the resilience of \({\textsf{L}}_n\) for \(n \leqslant 9\). This restriction is explained by the fact that our construction relies on real composition algebras, which only exist in small dimensions. However, in Sect. 4.2, we present a different family of protocols, which allow to prove resilience of \({\textsf{L}}_n\) for every \(n\in {\textbf{N}}\).
4.1 Resilience of certain Lorentz cones from composition algebras
A real composition algebra is a triple \({\textbf{A}}=(V,*,q)\), where \((V,*)\) is a finite-dimensional unital algebra over the reals and q a nondegenerate (i.e., full rank) quadratic form satisfying the condition
for every \(x,y \in V\).
A complete classification of real composition algebras is known and it goes back to the work by Hurwitz [Hur23]. Let \({\textbf{A}}= (V,*,q)\) be a real composition algebra. The classification theorem (see, e.g., [Roo08, Theorem 1.10]) asserts that \({\textbf{A}}\) is isomorphic to one of the 7 real composition algebras listed below
-
If q is positive definite, then \((V,*)\) is a division algebra. It is isomorphic to either the real numbers \({\textbf{R}}\), the complex numbers \({\textbf{C}}\), the quaternions \({\textbf{H}}\) or the octonions \({\textbf{O}}\). For \({\textbf{A}}\in \{{\textbf{R}},{\textbf{C}},{\textbf{H}},{\textbf{O}}\}\), we abusively denote by \({\textbf{A}}\) the composition algebra \(({\textbf{A}},*,q)\), where \(*\) is the usual multiplication and q the square of the usual norm.
-
Otherwise, \((V,*)\) is a split algebra. It is isomorphic to either the split complex numbers \({\textbf{C}}'\), the split quaternions \({\textbf{H}}'\) or the split octonions \({\textbf{O}}'\). In the following, we only consider the split complex numbers \({\textbf{C}}'\), which are defined as the real composition algebra \(({\textbf{R}}^2,*,q)\) where
$$\begin{aligned} (x,y)*(x',y') = (xx'+yy',xy'+x'y) \end{aligned}$$(4)and \(q(x,y)=x^2-y^2\).
Given a composition algebra \({\textbf{A}}= (V,*,q)\) we denote by \(m_{\textbf{A}}:V\otimes V \rightarrow V\) the multiplication tensor given by \(m_{\textbf{A}}(x\otimes y) = x* y\), and extended linearly. When \({\textbf{A}}\) is a division algebra (i.e., \({\textbf{A}}\in \{{\textbf{R}},{\textbf{C}},{\textbf{H}},{\textbf{O}}\}\)), we may identify V and \(V^*\) using the inner product derived from q and therefore consider the adjoint \(m_{\textbf{A}}^*\) as an operator from V to \(V \otimes V\). In each case, one checks the relation
Consider two composition algebras \({\textbf{A}}_1=(V_1,*,q_1)\), \({\textbf{A}}_2=(V_2,*,q_2)\) and set \(V=V_1 \oplus V_2\). One defines the direct sum \(m_{{\textbf{A}}_1} \oplus m_{{\textbf{A}}_2} : V \otimes V \rightarrow V\) as
for \(x_1,y_1\) in \({\textbf{A}}_1\) and \(x_2,y_2\) in \({\textbf{A}}_2\).
We start with a lemma:
Lemma 4.2
Consider \({\textbf{A}}_1 \in \{ {\textbf{R}},{\textbf{C}}'\}\) and \({\textbf{A}}_2\in \{ {\textbf{R}},{\textbf{C}},{\textbf{H}},{\textbf{O}}\}\), with respective quadratic forms \(q_1\) and \(q_2\). The cone
is isomorphic to \({\textsf{L}}_N\) for \(N=\dim ({\textbf{A}}_1)+\dim ({\textbf{A}}_2)-1\) and satisfies
Proof
Since \(q_2\) is positive definite and \(q_1\) has signature either (1, 0) or (1, 1), it is immediate to check that \({\textsf{L}}\) is isomorphic to \({\textsf{L}}_N\). Consider now \((x_1,x_2)\) and \((y_1,y_2)\) in \({\textsf{L}}\). We compute, using the property (3)
We conclude that \((m_{{\textbf{A}}_1}\oplus m_{{\textbf{A}}_2})\left( (x_1,x_2)\otimes (y_1,y_2)\right) \in {\textsf{L}}\) and the result follows. \(\square \)
Proposition 4.3
Consider \({\textbf{A}}_1 \in \{ {\textbf{R}},{\textbf{C}}'\}\) and \({\textbf{A}}_2\in \{ {\textbf{R}},{\textbf{C}},{\textbf{H}},{\textbf{O}}\}\), with respective quadratic forms \(q_1\) and \(q_2\), and the cone \({\textsf{L}}\) defined in (6). Then the cone \({\textsf{L}}\) is resilient.
We conclude from Lemma 4.2 and Proposition 4.3 that the Lorentz cone \({\textsf{L}}_N\) is resilient for \(N \in \{1,2,3,4,5,8,9\}\). Moreover, the cases \(N \in \{6,7\}\) are covered by the fact that the resilience of \({\textsf{L}}_N\) implies the resilience of \({\textsf{L}}_n\) for every \(n \leqslant N\).
Proof
By Corollary 3.6, it is enough to show that an isotropic map (i.e., a map of the form \(I_{\alpha ,\beta } = \alpha \pi _1 + \beta \pi _2\)) which is max-entanglement annihilating is also max-entanglement breaking. Using homogeneity and the fact that the Lorentz cone has a symmetric base, it suffices to prove this for \(\alpha = 1\) and \(\beta \geqslant 0\).
Let \(I_{\alpha ,\beta } = \alpha \pi _1 + \beta \pi _2\) be an isotropic map which is max-entanglement annihilating. By Lemma 4.2, the map \(m_{{\textbf{A}}_1} \oplus m_{{\textbf{A}}_2}\) is \(({\textsf{L}}\otimes _{\min }{\textsf{L}},{\textsf{L}})\)-positive. By Lemma 2.3, its adjoint \((m_{{\textbf{A}}_1} \oplus m_{{\textbf{A}}_2})^*\) is therefore \(({\textsf{L}},{\textsf{L}}\otimes _{\max }{\textsf{L}})\)-positive. We conclude by Lemma 2.6 that the map
is max-entanglement annihilating. Finally, the twirled map \(\tau [J]\) is also max-entanglement annihilating (the fact that the class of max-entanglement annihilating maps is stable under twirling is a consequence of Lemma 2.6; note that in the definition of the twirling operator we may, using Caratheodory’s theorem, replace the Haar measure by a suitable finite measure). The map \(\tau [J]\) is isotropic and equals \(I_{\alpha ',\beta '}\) with \(\alpha '\), \(\beta '\) given by the following formula
where \(n = \dim ({\textbf{A}}_2)\). We only justify this formula when \({\textbf{A}}_1={\textbf{C}}'\), the case \({\textbf{A}}_1={\textbf{R}}\) being similar and simpler. Let \((e_0,e_1)\) and \((f_1,\dots ,f_n)\) the canonical bases of \({\textbf{A}}_1\) and \({\textbf{A}}_2\) respectively. We have
Using (4) and (5), it follows that
applying the twirling operator yields (7). In particular we have
where
Let \(\beta _0\) the largest \(\beta > 0\) such that \(I_{1,\beta }\) is max-entanglement annihilating. We have \(f(\beta _0) \leqslant \beta _0\), which implies that
In both cases, it follows that whenever \(I_{1,\beta }\) is max-entanglement annihilating, then \(\beta \leqslant (\dim {\textsf{L}}-1)^{-1}\) and therefore \(I_{1,\beta }\) is max-entanglement breaking by Lemma 3.3. We conclude that \({\textsf{L}}\) is resilient. \(\square \)
4.2 Resilience of all Lorentz cones
Given an integer n, let N(n) be the minimal N such that there exists an n-dimensional subspace \(E \subset {\mathcal {M}}_N({\textbf{R}})\) in which every matrix is a multiple of an orthonormal matrix. For our purposes, we only need to know that N(n) is finite for every integer n. The value of N(n) is known and related to the Radon–Hurwitz number (see, e.g., [AS17, Theorem 11.4]).
We need the following lemma. Although it is contained as an exercise in [AS17], we include here the proof for completeness.
Lemma 4.4
Fix integers \(n, k \geqslant 1\). There is an element \(z_{n,k}\) in the Euclidean space \(({\textbf{R}}^n)^{\otimes k}\) with the following properties.
-
1.
For every \(x_1,\ldots ,x_k\in {\textbf{R}}^n\), we have
$$\begin{aligned} \langle x_1\otimes \dots \otimes x_k , z_{n,k} \rangle \leqslant \Vert x_1\Vert _2\cdots \Vert x_k\Vert _2 ; \end{aligned}$$ -
2.
we have
$$\begin{aligned} \Vert z_{n,k}\Vert ^2_2 \geqslant \frac{n^k}{N(n)}. \end{aligned}$$
Proof
Set \(N=N(n)\). Let \(E \subset {\mathcal {M}}_N({\textbf{R}})\) be an n-dimensional subspace in which every matrix is a multiple of an orthogonal matrix. Let \((A_1,\dots ,A_n)\) be a basis of E which is orthonormal with respect to the inner product \((A,B) \mapsto \frac{1}{N} {{\,\textrm{Tr}\,}}(AB)\). Let \(\Theta :{\textbf{R}}^n\rightarrow {\mathcal {M}}_N({\textbf{R}})\) denote the function
Since \((A_1,\dots ,A_n)\) is an orthonormal basis, we have
Together with the fact that \(\Theta (x)\) is a multiple of an orthonormal matrix, this implies that \(\Theta (x)^T\Theta (x)=\Vert x\Vert ^2_2\mathbb {1}_N\). For \(i,j\in \{ 1,\ldots ,N\}\) we define
We first check that each such tensor satisfies the first conclusion of Lemma 4.4. For \(x_1,\ldots ,x_k\in {\textbf{R}}^n\) an easy computation shows that
Using first that \(e_i\langle e_i , \cdot \rangle \leqslant \mathbb {1}_N\) in the Loewner order for any \(i\in \{ 1,\ldots , n\}\) and that \({\mathcal {M}}_N\ni X\mapsto A^TXA\) preserves the Loewner order for any matrix \(A\in {\mathcal {M}}_N\), and then the properties of \(\Theta (\cdot )\) outlined above, we find that
We now compute
where we used the properties of \(\Theta (\cdot )\). It follows that there exists \(i_0,j_0 \in \{1,\dots ,N\}\) such that \(\Vert z(i_0,j_0)\Vert _2^2 \geqslant n^k/N\). Therefore, the choice \(z_{n,k}=z(i_0,j_0)\) satisfies both properties from Lemma 4.4. \(\square \)
We are now in the position to show that all Lorentz cones are resilient.
Proof of Theorem 4.1
The Lorentz cone \({\textsf{L}}_n\subset {\textbf{R}}^{n+1}\) can be identified with the cone over the unit ball in the Euclidean space \({\textbf{R}}^n\), which has enough symmetries. We use the results from Sect. 3.2 and consider the isotropic maps
for \(\alpha >0\) and \(\beta \in {\textbf{R}}\) such that \(I_{\alpha ,\beta }\) is max-entanglement annihilating. Fix \(k\in {\textbf{N}}\) and let \(z_{n,k} \in ({\textbf{R}}^n)^{\otimes k}\) be the tensor given by Lemma 4.4. We consider \(z_{n,k}\) as an element of \(({\textbf{R}}^{n+1})^{\otimes k}\) by identifying \({\textbf{R}}^n\) with the subspace \(\{ (0,x) ~:~x \in {\textbf{R}}^n \} \subset {\textbf{R}}^{n+1}\). We claim that the tensors \(z^+\) and \(z^-\) defined by
belong to \({\textsf{L}}_n^{\otimes _{\max }k}\). To check this claim, consider elements \(x_1=(t_1,y_1), \dots , x_k=(t_k,y_k) \in {\textsf{L}}_n\) (identified with \({\textsf{L}}_n^*\)) and find that
Since \(I_{\alpha ,\beta }\) is max-entanglement annihilating, we have \(I_{\alpha ,\beta }(z^+) = \alpha ^k e_0^k + \beta ^k z_{n,k} \in {\textsf{L}}_n^{\otimes _{\min }k}\) and therefore
If we choose the sign ± such that \(\pm \beta ^k \leqslant 0\), we have
and the inequality \(\alpha \geqslant |\beta |n\) follows by taking k to infinity. By Proposition 3.3, the map \(I_{\alpha ,\beta }\) is max-entanglement breaking. The argument above shows that every max-entanglement annihilating isotropic map is max-entanglement breaking. By Corollary 3.6, this implies that \({\textsf{L}}_n\) is resilient. \(\square \)
5 Factorization and Breaking Entanglement with Some Cone
To gain a better understanding of the structure of max-entanglement annihilating maps with respect to cones \({\textsf{C}}_1\) and \({\textsf{C}}_2\), we can study their properties relative to a third cone \({\textsf{K}}\). Although it might be difficult to show that all max-entanglement annihilating maps are max-entanglement breaking and thereby proving resilience of the pair \(({\textsf{C}}_1, {\textsf{C}}_2)\), it turns out that all max-entanglement annihilating maps break entanglement with resilient cones. After explaining the general theory, we will study the special case of the positive semidefinite matrices \({{\,\mathrm{\textsf{PSD}}\,}}_d\) and the Lorentz cones \({\textsf{L}}_n\), which we know to be resilient from Sect. 4. In this setting, we will establish a generalization of the reduction criterion from entanglement distillation.
5.1 General theory
We first introduce two cones of maps associated to a proper cone \({\textsf{K}}\).
Definition 5.1
Let \({\textsf{C}}_1\subset V_1\), \({\textsf{C}}_2\subset V_2\), \({\textsf{K}}\subset V_3\) denote proper cones.
-
(1)
We say that a \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive map \(P:V_1\rightarrow V_2\) factors through \({\textsf{K}}\) if it can be written as a finite sum \(\sum _{i} S_i\circ R_i\) with \(({\textsf{K}},{\textsf{C}}_2)\)-positive maps \(S_i\) and \(({\textsf{C}}_1,{\textsf{K}})\)-positive maps \(R_i\). We denote the cone of \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive maps factoring through \({\textsf{K}}\) by \({\mathcal {F}}_{{\textsf{K}}}({\textsf{C}}_1,{\textsf{C}}_2)\).
-
(2)
We say that a \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive map \(P:V_1\rightarrow V_2\) breaks the entanglement with \({\textsf{K}}\) if \(S\circ P\circ R\) is \({\textsf{K}}\)-max-entanglement breaking for any \(({\textsf{C}}_2,{\textsf{K}})\)-positive map \(S:V_2\rightarrow V_3\) and any \(({\textsf{K}},{\textsf{C}}_1)\)-positive map \(P:V_3\rightarrow V_1\). We denote the cone of \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive maps breaking the entanglement with \({\textsf{K}}\) by \({{\mathcal {E}}}{{\mathcal {B}}}_{\textsf{K}}({\textsf{C}}_1,{\textsf{C}}_2)\).
If \({\textsf{K}}= {\textbf{R}}^+\) is a 1-dimensional cone, maps which factor through \({\textsf{K}}\) are exactly max-entanglement breaking maps. The following lemma follows immediately from the canonical isomorphism between linear maps and tensors, and by using the duality in Lemma 2.4.
Lemma 5.2
Consider proper cones \({\textsf{C}}_1\subset V_1\), \({\textsf{C}}_2\subset V_2\), \({\textsf{K}}\subset V_3\) and a \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive map \(P:V_1\rightarrow V_2\). The following are equivalent:
-
(1)
\(P\in {{\mathcal {E}}}{{\mathcal {B}}}_{\textsf{K}}({\textsf{C}}_1,{\textsf{C}}_2)\).
-
(2)
\(\left( \text{ id}_{V_3}\otimes P\right) \left( {\textsf{K}}^*\otimes _{\max } {\textsf{C}}_1\right) \subseteq {\textsf{K}}^*\otimes _{\min } {\textsf{C}}_2\).
-
(3)
The composition \(P\circ R\) is \(({\textsf{K}},{\textsf{C}}_2)\)-max-entanglement breaking for every \(({\textsf{K}},{\textsf{C}}_1)\)-positive map \(R:V_3\rightarrow V_1\).
-
(4)
The composition \(S\circ P\) is \(({\textsf{C}}_1,{\textsf{K}})\)-max-entanglement breaking for every \(({\textsf{C}}_2,{\textsf{K}})\)-positive map \(S:V_2\rightarrow V_3\).
The following theorem shows that the two cones introduced above are dual with respect to the Hilbert–Schmidt inner product.
Theorem 5.3
(Maps breaking \({\textsf{K}}^*\)-entanglement). For proper cones \({\textsf{C}}_1\subset V_1\), \({\textsf{C}}_2\subset V_2\), \({\textsf{K}}\subset V_3\) we have
Proof
To show that \({{\mathcal {E}}}{{\mathcal {B}}}_{{\textsf{K}}^*}({\textsf{C}}^*_1,{\textsf{C}}^*_2)\subseteq {\mathcal {F}}_{{\textsf{K}}}({\textsf{C}}_1,{\textsf{C}}_2)^\circ \) consider \(P\in {{\mathcal {E}}}{{\mathcal {B}}}_{{\textsf{K}}^*}({\textsf{C}}^*_1,{\textsf{C}}^*_2)\). Using cyclicity of the trace and Lemma 2.4 we find
for any \(S\in {\mathcal {P}}({\textsf{K}},{\textsf{C}}_2)\) and \(R\in {\mathcal {P}}({\textsf{C}}_1,{\textsf{K}})\). This shows that \(P\in {\mathcal {F}}_{{\textsf{K}}}({\textsf{C}}_1,{\textsf{C}}_2)^\circ \).
To show that \({{\mathcal {E}}}{{\mathcal {B}}}_{{\textsf{K}}^*}({\textsf{C}}^*_1,{\textsf{C}}^*_2)\supseteq {\mathcal {F}}_{{\textsf{K}}}({\textsf{C}}_1,{\textsf{C}}_2)^\circ \) assume that \(P:V_1\rightarrow V_2\) satisfies \(P\notin {{\mathcal {E}}}{{\mathcal {B}}}_{{\textsf{K}}^*}({\textsf{C}}^*_1,{\textsf{C}}^*_2)\). By definition there exist \(S_1\in {\mathcal {P}}({\textsf{K}},{\textsf{C}}_2)\) and \(R\in {\mathcal {P}}({\textsf{C}}_1,{\textsf{K}})\) such that \(S_1^* \circ P\circ R^*\) is not \({\textsf{K}}^*\)-max-entanglement breaking. By duality of max-entanglement breaking maps and positive maps there exists an \(S_2\in {\mathcal {P}}({\textsf{K}},{\textsf{K}})\) such that
Since \(S_1\circ S_2\circ R\in {\mathcal {F}}_{{\textsf{K}}}({\textsf{C}}_1,{\textsf{C}}_2)\), this shows that \(P\notin {\mathcal {F}}_{{\textsf{K}}}({\textsf{C}}_1,{\textsf{C}}_2)^\circ \) and thereby finishes the proof. \(\square \)
Theorem 5.4
(Max-entanglement annihilating maps break some entanglement). Let \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\) denote proper cones and \({\textsf{K}}\subset V_3\) a resilient cone. If a positive map \(P:V_1\rightarrow V_2\) is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement annihilating, then
for every \(n\in {\textbf{N}}\).
Proof
Assume that \(P:V_1\rightarrow V_2\) is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement annihilating and that there is a \(n\in {\textbf{N}}\) such that
By definition there exist a \(({\textsf{K}},{\textsf{C}}^{\otimes _{\max } n}_1)\)-positive map \(R:V_3\rightarrow V^{\otimes n}_1\) and a \(({\textsf{C}}^{\otimes _{\min } n}_2,{\textsf{K}})\)-positive map \(S:V^{\otimes n}_2\rightarrow V_3\) such that \(Q=S\circ P^{\otimes n}\circ R\) is not \({\textsf{K}}\)-max-entanglement breaking. By Lemma 2.6 we find that Q is \({\textsf{K}}\)-max-entanglement annihilating, contradicting that \({\textsf{K}}\) was resilient. This finishes the proof. \(\square \)
The following corollary follows from the previous theorem and the fact that \({{\mathcal {E}}}{{\mathcal {B}}}_{{\textbf{R}}^+}\left( {\textsf{C}}_1,{\textsf{C}}_2\right) \) is the set of \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive maps.
Corollary 5.5
(Max-entanglement annihilating maps break Lorentz-entanglement). Let \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\) denote proper cones. A positive map \(P:V_1\rightarrow V_2\) is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement annihilating if and only if
for every \(n,k\in {\textbf{N}}\).
The previous corollary provides constraints on the set of max-entanglement annihilating maps. In the next section, we will take a closer look at these constraints in the case of \({\textsf{C}}_1={\textsf{C}}_2={{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\) for some \(d\in {\textbf{N}}\).
5.2 Positive maps on \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\) factoring through Lorentz cones
In the previous section, we saw that max-entanglement annihilating maps break entanglement with resilient cones, and in particular with any Lorentz cone (see Theorem 1.8). An easy consequence of Lemma 5.2 and Corollary 5.5 is the following theorem giving criteria to detect maps that are not max-entanglement annihilating. In a certain sense this generalizes the reduction criterion from entanglement distillation [HH99].
Theorem 5.6
(Generalized reduction criterion). Consider a linear map \(Q:{\mathcal {M}}_{d_B}\rightarrow {\mathcal {M}}_{d_A}\) factoring through a Lorentz cone \({\textsf{L}}_k\). For any max-entanglement annihilating map \(P:{\mathcal {M}}_{d_A}\rightarrow {\mathcal {M}}_{d_B}\) the composition \(Q\circ P:{\mathcal {M}}_{d_A}\rightarrow {\mathcal {M}}_{d_A}\) is entanglement breaking.
Motivated by Theorem 5.6, we will present a criterion for positive maps to factor through a Lorentz cone. For this we identify elements \(X\in {\textbf{R}}^{n+1}\otimes {\mathcal {M}}_d^{sa}\) with matrix-valued vectors \((X_0, X_1\ldots ,X_{n})\). The following proposition characterizes the maximal tensor product of the Lorentz cones and the positive semidefinite matrices:
Proposition 5.7
(Maximal tensor product with Lorentz cone). For
the following are equivalent:
-
(1)
\(X\in {\textsf{L}}_n\otimes _{\max } {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\),
-
(2)
\(X_0\geqslant 0\) and
$$\begin{aligned} X_0\otimes X_0 - \sum ^{n}_{s=1} X_s\otimes X_s\in {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\otimes _{\max } {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d) . \end{aligned}$$
Proof
We have \(X\in {\textsf{L}}_n\otimes _{\max } {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\) if and only if
for any \(Y\geqslant 0\). For any \(X\in {\textbf{R}}^{n+1}\otimes {\mathcal {M}}_d^{sa}\) satisfying the second statement, we have \({{\,\textrm{Tr}\,}}(YX_0)\geqslant 0\) and \({{\,\textrm{Tr}\,}}(YX_s)\in {\textbf{R}}\) for all \(s\in \{ 1,\ldots ,n\}\) and
which shows that (9) holds. This implies the first statement. Conversely, assume that (9) holds for any \(Y\geqslant 0\). Clearly, this implies that \(X_0\geqslant 0\). By the symmetries of the Lorentz cone we also have
for any \(Y\geqslant 0\). Using that the Lorentz cones are self-dual we find that
for any \(Y,Z\geqslant 0\), which implies the second statement. \(\square \)
Consider a positive map \(P:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) with \(\text {rk}(P)=n+1\) and satisfying \(P=\vartheta _d\circ P^*\circ \vartheta _d\), or equivalently that \(P\circ \vartheta _d\) is selfadjoint. Since \(P\circ \vartheta _d\) is positive its spectral radius \(R\left( P\circ \vartheta _d\right) \) is an eigenvalue and the corresponding eigenvector is positive semidefinite (see for example [Wol12, Theorem 6.5]). Without loss of generality we can restrict to maps with spectral radius 1 and, in this case, we have
with \(X_0\geqslant 0\), \(\lambda _i\in \left[ -1,1\right] \setminus \{ 0\}\), and matrices \(X_i\) which are Hermitian and orthonormal. In the following, we will call this the canonical form corresponding to P. We have the following:
Theorem 5.8
Consider \(P:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) positive with \(\text {rk}(P)=n+1\) and satisfying \(P=\vartheta _d\circ P^*\circ \vartheta _d\). Let
be the canonical form, i.e. \(\{ X_i\}^{n}_{i=0}\) forms an orthonormal basis of Hermitian matrices, \(X_0\geqslant 0\), and \(\lambda _i\in \left[ -1,1\right] \setminus \{ 0\}\). Then, the following are equivalent:
-
(1)
For all \(i\in \{ 1,\ldots , n\}\) we have \(\lambda _i<0\).
-
(2)
There exist Hermitian matrices \(Y_0,Y_1,\ldots , Y_{k}\) for some \(k\in {\textbf{N}}\) and
$$\begin{aligned} \mu _0,\mu _1,\ldots ,\mu _{k}\geqslant 0, \end{aligned}$$such that
$$\begin{aligned} C_P = \mu _0 Y_0\otimes Y_0 - \sum ^{k}_{i=1} \mu _i Y_i\otimes Y_i . \end{aligned}$$
Proof
Clearly, the first statement implies the second. For the other direction, we define the matrix \(M\in {\textbf{R}}^{(k+1)\times (n+1)}\) with entries \(M_{ij}={{\,\textrm{Tr}\,}}\left[ Y_i X_j\right] \). The second statement implies that
Since its left-hand-side has rank \(n+1\), (10) can only hold when \(k\geqslant n\). When \(k=n\) either the first statement holds, or Sylvester’s law of inertia implies that M is singular. However, the latter would contradict the fact that \(\text {diag}\left( 1,\lambda _1,\ldots , \lambda _{n}\right) \) is full-rank.
Consider the case where \(k>n\). By the singular value decomposition, we have \(M=USV\) for orthogonal matrices \(U\in {\mathcal {M}}_{k+1}\left( {\textbf{R}}\right) \) and \(V\in {\mathcal {M}}_{n+1}\left( {\textbf{R}}\right) \) and a matrix \(S\in {\textbf{R}}^{(k+1)\times (n+1)}\) of the form \((S_1,{\textbf {0}})^T\), where \(S_1\in {\mathcal {M}}_{n+1}\left( {\textbf{R}}\right) \) is a positive diagonal matrix and \({\textbf {0}}\in {\textbf{R}}^{(k-n)\times (n+1)}\) is the zero matrix. Setting \(A = V\text {diag}\left( 1,\lambda _1,\ldots , \lambda _{n}\right) V^T\) and \(B=U^T\text {diag}\left( 1,-\mu _1,\ldots , -\mu _{k}\right) U\) we find that (10) is equivalent to
where \(B_1\in {\mathcal {M}}_{n+1}\left( {\textbf{R}}\right) \) is the block in the block-decomposition
By Cauchy’s interlacing theorem, we have \(\lambda ^{\downarrow }_j\left( B\right) \geqslant \lambda ^{\downarrow }_j\left( B_1\right) \) for all \(j\in \{ 0,1,\ldots ,n\}\), where \(\lambda ^{\downarrow }_j\left( \cdot \right) \) denotes the jth eigenvalue in decreasing order. Since the eigenvalues of B are \((\mu _0,-\mu _1,\ldots ,-\mu _{n})\), we find that \(\lambda ^{\downarrow }_j\left( B_1\right) <0\) for all \(j\in \{ 1,\ldots ,n\}\). Because the eigenvalues of A are \((1,\lambda _1,\ldots , \lambda _{n})\), either the first statement holds, or by Sylvester’s law of inertia \(S_1\) is singular contradicting the fact that A is full-rank. \(\square \)
We have the following corollary characterizing a subset of positive maps factoring through Lorentz cones.
Corollary 5.9
For a selfadjoint positive map \(P:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) with \(\text {rk}(P)=k+1\) the following are equivalent:
-
(1)
The spectral radius \(R\left( P\right) \) is a simple eigenvalue and all other eigenvalues of P are zero or negative.
-
(2)
There exists an \(({\textsf{L}}_k,{{\,\mathrm{\textsf{PSD}}\,}}_{d})\)-positive map \(\alpha :{\textbf{R}}^{k+1}\rightarrow {\mathcal {M}}_d\) such that
$$\begin{aligned} P = \alpha \circ A \circ \alpha ^*\circ \vartheta _d , \end{aligned}$$where \(A:{\textbf{R}}^{k+1}\rightarrow {\textbf{R}}^{k+1}\) denotes the \({\textsf{L}}_k\)-positive map given by \(A(e_0)=e_0\) and \(A(e_i)=-e_i\) for each \(i\in \{ 1,\ldots ,k\}\).
In either case, the positive map \(P:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) factors through \({\textsf{L}}_k\).
Proof
If \(\mu _0 = R\left( P\right) \) is a simple eigenvalue and all other eigenvalues of P are zero or negative, then we can decompose
for Hermitian matrices \(Y_0,Y_1,\ldots , Y_{k}\) and \(\mu _0,\ldots ,\mu _{k}\geqslant 0\). By Proposition 5.7 we may set \(\alpha (e_i)=\mu ^{1/2}_iY_i\) and, by linear extension, we obtain an \(({\textsf{L}}_k,{{\,\mathrm{\textsf{PSD}}\,}}_{d})\)-positive map \(\alpha :{\textbf{R}}^{k+1}\rightarrow {\mathcal {M}}_d\). Clearly, the second statement holds for this map.
To show the reverse direction assume that there exists an \(({\textsf{L}}_k,{{\,\mathrm{\textsf{PSD}}\,}}_{d})\)-positive map \(\alpha :{\textbf{R}}^{k+1}\rightarrow {\mathcal {M}}_d\) such that
By defining \(Y_i:=\alpha (e_i)\) for any \(i\in \{ 1,\ldots ,k\}\) we have
and the first statement follows from Theorem 5.8. \(\square \)
We will finish this section with a list of examples of well-known positive maps on the positive-semidefinite cones that factor through Lorentz cone.
-
Reduction map: The reduction map \(R:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) is given by (1) and was introduced in [HH99]. It is easy to check that \(R\circ \vartheta _d\) is selfadjoint and has spectrum \(\{ d-1,-1\}\) with \(d-1\) being a simple eigenvalue. By Corollary 5.9 we conclude that R factors through a Lorentz cone, but we can do even better: It is known that \(\text {SN}\left( C_{R\circ \vartheta _d}\right) = 2\) (see [TH00] for this fact and the definition of the Schmidt number \(\text {SN}\)), which implies that R factors through \({{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^2\right) \simeq {\textsf{L}}_3\).
-
Breuer–Hall map: The Breuer–Hall map \(B:{\mathcal {M}}_4\rightarrow {\mathcal {M}}_4\) was introduced in [Bre06, Hal06] as an example of a non-decomposable positive map. It is given by
$$\begin{aligned} B(X) = {{\,\textrm{Tr}\,}}(X)\mathbb {1}_4 - X - UX^TU^\dagger , \end{aligned}$$for the antisymmetric unitary \(U=\sigma _y\otimes \mathbb {1}_2\). It is easy to check that \(B\circ \vartheta _4\) is selfadjoint and has spectrum \(\{ 2,-2,0\}\) where 2 is a simple eigenvalue. By Corollary 5.9 we conclude that B factors through a Lorentz cone. Specifically, it can be checked that
$$\begin{aligned} B = \alpha \circ A \circ \alpha ^*\circ \vartheta _4 , \end{aligned}$$for the linear map \(\alpha :{\textbf{R}}^6\rightarrow {\mathcal {M}}_4\) embedding \({\textsf{L}}_5\simeq {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{H}}^2)\) into \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^4)\) as
$$\begin{aligned} \alpha (x) = \begin{pmatrix} x_0+x_5 &{}\quad x_4-ix_3 &{}\quad 0 &{}\quad x_2-ix_1 \\ x_4+ix_3 &{}\quad x_0-x_5 &{}\quad -x_2+ix_1 &{}\quad 0 \\ 0 &{}\quad -x_2 - ix_1 &{}\quad x_0 + x_5 &{}\quad x_4 + ix_3 \\ x_2+ix_1 &{}\quad 0 &{} \quad x_4 -ix_3 &{}\quad x_0 - x_5\end{pmatrix}. \end{aligned}$$Hence, the Breuer–Hall map B factors through the Lorentz cone \({\textsf{L}}_5\).
-
Projections onto spin factors: A set \(\{ s_1,\ldots ,s_k\}\subset {\mathcal {M}}_{d}\) with \(k\geqslant 2\) is called a spin system if each \(s_i\) is a Hermitian unitary and such that \(s_is_j + s_js_i=0\) when \(i\ne j\). The subalgebra \(A=\text {span}\{ \mathbb {1}_d, s_1,\ldots ,s_k\}\) of Hermitian matrices is called a spin factor. For each spin factor \(A\subset {\mathcal {M}}^{sa}_d\) there is a positive faithful projection \(P_A:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) such that \(P_A({\mathcal {M}}^{sa}_d)= A\), and it is known that \(P_A\) is atomic (and in particular not decomposable) if the spin factor A is irreversible (see [Stø80, Stø12]). For a spin system \(\{ s_1,\ldots ,s_k\}\subset {\mathcal {M}}_{d}\) and the corresponding spin factor A it is easy to check that
$$\begin{aligned} P_A = \phi \circ \phi ^*, \end{aligned}$$for the linear map \(\phi :{\textbf{R}}^{k+1}\rightarrow {\mathcal {M}}_d\) given by \(\phi (e_0)=\mathbb {1}_d\) and \(\phi (e_i)=s_i\) for \(i\in \{ 1,\ldots ,k\}\). Moreover, note that for every \(x\in {\textbf{R}}^k\) we have
$$\begin{aligned} \left( \sum ^k_{i=1} x_i s_i\right) ^2 = \Vert x\Vert ^2_2 \mathbb {1}_d, \end{aligned}$$and therefore \(\phi ({\textsf{L}}_k)\subseteq {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\). We conclude that \(P_A\) factors through the Lorentz cone \({\textsf{L}}_k\).
It should be emphasized that the previous examples contain many positive maps that are non-decomposable. By the duality between decomposable positive maps and completely positive maps that are completely copositive (see [Stø82]), and Theorem 5.6 we find many examples of completely positive maps that are completely copositive, but not max-entanglement annihilating. In particular, this shows that Proposition 1.5 does not generalize to all tensor powers.
6 Partial Results for Cones with a Symmetric Base
In the following, we will focus on cones \({\textsf{C}}_X\) associated to a finite-dimensional normed space X. By Theorem 3.1, resilience of \({\textsf{C}}_X\) can be decided by showing that every max-entanglement annihilating central map is max-entanglement breaking. Here, we will use the theory of Banach space tensor norms to obtain partial results aiming at a characterization of when central maps are max-entanglement annihilating.
6.1 The tensor radii of normed spaces and maps
Two natural tensor norms can be defined on the algebraic tensor product \(X^{\otimes k}\) of a finite-dimensional, real, normed space X: the injective tensor norm, given for \(z\in X^{\otimes k}\) by
and the projective tensor norm, given by
It is well-known that \(\Vert z\Vert _{\varepsilon _k(X)}\leqslant \Vert z\Vert _{\pi _k(X)}\) for all \(k\in {\textbf{N}}\), which implies the inclusion
of the corresponding cones. In [AMH21], we studied the quantities
for every \(k\in {\textbf{N}}\) and any linear operator \(T:X\rightarrow Y\). Furthermore, we showed that the limit \(\tau _\infty (T):=\lim _{k\rightarrow \infty } \tau _k(T)\) exists and satisfies
The quantity \(\tau _\infty (T)\) is called the tensor radius of T and in the special case of \(X=Y\) and \(T=\text{ id}_X\) we call \(\rho _\infty (X):=\tau _\infty (\text{ id}_X)\) the tensor radius of the normed space X. The following theorem collects the main results of [AMH21]:
Theorem 6.1
([AMH21]) Let X be a n-dimensional normed space.
-
We have
$$\begin{aligned} \sqrt{n} \leqslant \rho _\infty (X) \leqslant n, \end{aligned}$$with \(\rho _\infty (X) = \Vert \text{ id}_X\Vert _{N(X\rightarrow X)}= n\) if and only if X is Euclidean.
-
If X has enough symmetries, then we have
$$\begin{aligned} \rho _{\infty }(X) = \frac{n}{\textrm{d}(X,\ell _2^d)} , \end{aligned}$$where \(\text {d}(X,Y)\) denotes the Banach–Mazur distance, given by
$$\begin{aligned} \text {d}(X,Y)=\inf \{ \Vert U\Vert _{X\rightarrow Y}\Vert U^{-1}\Vert _{Y\rightarrow X}~:~U:X\rightarrow Y\text { linear bijection}\} . \end{aligned}$$ -
If X is Euclidean, then we have \(\tau _{\infty }(T) = \Vert T\Vert _{N}\) for every linear operator \(T : X \rightarrow Y\) or \(T : Y \rightarrow X\), where Y is an arbitrary finite-dimensional normed space.
In the next section, we will show how the tensor radii can be used to show a certain kind of partial max-entanglement annihilation.
6.2 Tensor products of cones from tensor norms
Let X denote a finite-dimensional normed space. In the following, we set \(e_0=(1,0_X)\in {\textbf{R}}\oplus X\) and we sometimes identify X with its embedding into \({\textbf{R}}\oplus X\) by \(x\mapsto (0,x)\). With this convention, we consider the subspace \(X_k \subset \left( {\textbf{R}}\oplus X\right) ^{\otimes k}\) given by
Note that \(X_k\) consists of the vectors of the form \(e^{\otimes k}_0 + z\), where \(z\in X^{\otimes k}\) is identified with its canonical embedding into \(({\textbf{R}}\oplus X)^{\otimes k}\). We will denote by \({\Pi }_{X_k}:\left( {\textbf{R}}\oplus X\right) ^{\otimes k} \rightarrow \left( {\textbf{R}}\oplus X\right) ^{\otimes k}\) the orthogonal projection onto the subspace \(X_k\). The following lemma is a multpartite version of [Lam18, Proposition 2.25] (see also [ALP19, Lemma S13]) and for convenience we include a proof in Appendix C.
Lemma 6.2
(Tensor products on normed spaces and cones) For a finite-dimensional normed space X we have
Inspired by Lemma 6.2 we can define tensor products of the cone \({\textsf{C}}_X\) that are closely related to the injective and projective tensor norms.
Definition 6.3
(The hat and check tensor product) For any finite-dimensional normed space X, we define the closed cones
and
To illustrate these tensor product, we compute them for the case of \(k=2\) and \({\textsf{C}}_X = {\textsf{L}}_3 \simeq {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^2)\), i.e., the case of two qubits.
Example 1
The Pauli basis is an orthogonal basis of \({\mathcal {M}}_2\) with respect to the Hilbert–Schmidt inner product, and given by
The spinor map \(S:{\textbf{R}}^4\rightarrow {\mathcal {M}}^{sa}_2\) is given by
and it defines an order-isomorphism between the cones \({\textsf{L}}_3\) and \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^2)\). It is easy to compute that
where we interprete \(z\in {\textbf{R}}^n\otimes {\textbf{R}}^n\) as an \(n\times n\) matrix, and where \(\Vert \cdot \Vert _1\) is the trace-norm, and \(\Vert \cdot \Vert _\infty \) is the operator norm. Finally, we need the moment map \(M:{\mathcal {M}}_2\otimes {\mathcal {M}}_2 \rightarrow {\mathcal {M}}_4\) given by
Using the spinor map and (13), it is easy to verify that
for some \(S\in {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^2)\otimes _{\min }{{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^2)\) and some \(W\in {\mathcal {M}}_2\otimes {\mathcal {M}}_2\) satisfying \(M(W)_{ij}=0\) whenever \(i=0\ne j\) or \(i\ne 0 =j\), and such that
Again using the spinor map and (13), we have
It is easy to check that
and in most cases these inclusions are strict. This shows that \({\check{\otimes }}\) and \({\hat{\otimes }}\) are tensor products in the category of convex cones. Moreover, these two tensor products are dual to each other:
Lemma 6.4
For any normed space X we have
Proof
Any \(z\in {\textsf{C}}^{{\hat{\otimes }} k}_X\) can be written as a sum \(z=z_1 + z_2\) with \(z_1\in {\textsf{C}}^{\otimes _{\min } k}_X\) and
by Lemma 6.2. For any \(y\in {\textsf{C}}^{{\check{\otimes }} k}_{X^*}\) we have \(\langle y , z_1 \rangle \geqslant 0\), and we have
since \(\Pi _{X_k}(y)\in {\textsf{C}}_{\pi _k(X^*)} = ({\textsf{C}}_{\varepsilon _k(X)})^*\). We conclude that \({\textsf{C}}^{{\check{\otimes }} k}_{X^*}\subseteq \left( {\textsf{C}}^{{\hat{\otimes }} k}_X\right) ^*\).
For the converse direction, consider \(y\in \left( C^{{\hat{\otimes }} k}_X\right) ^*\). Since \({\textsf{C}}^{\otimes _{\min } k}_X \subseteq {\textsf{C}}^{{\hat{\otimes }} k}_X\) we have \(y\in {\textsf{C}}^{\otimes _{\max } k}_{X^*}\), and since
by Lemma 6.2, we find that \(\Pi _{X_k}\left( y\right) \in \left( {\textsf{C}}_{\varepsilon _k(X)}\right) ^* = {\textsf{C}}_{\pi _k(X^*)}\). \(\square \)
The relevance of the tensor products \({\check{\otimes }}\) and \({\hat{\otimes }}\) comes from the following theorem, where, given \(\alpha \in {\textbf{R}}\) and \(P : X \rightarrow Y\), we denote by \({\tilde{P}}_\alpha \) the central map \(\alpha \oplus P\).
Theorem 6.5
Let X, Y be normed spaces, \(P:X\rightarrow Y\) a linear map, and \(\alpha \in {\textbf{R}}^+\). The following are equivalent:
-
(1)
\(\tau _\infty \left( P\right) \leqslant \alpha \).
-
(2)
\({\tilde{P}}^{\otimes k}_\alpha \left( {\textsf{C}}^{{\hat{\otimes }} k}_X\right) \subseteq {\textsf{C}}^{\otimes _{\min } k}_Y\) for any \(k\in {\textbf{N}}\).
-
(3)
\({\tilde{P}}^{\otimes k}_\alpha \left( {\textsf{C}}^{\otimes _{\max } k}_X\right) \subseteq {\textsf{C}}^{{\check{\otimes }} k}_Y\) for any \(k\in {\textbf{N}}\).
Proof
Note first, that any of the three conditions implies that \({\tilde{P}}_\alpha \) is \(({\textsf{C}}_X,{\textsf{C}}_Y)\)-positive, or equivalently that \(\Vert P\Vert \leqslant \alpha \). This implies that \({\tilde{P}}^{\otimes k}_\alpha \) is both \(({\textsf{C}}_X^{\otimes _{\min }k},{\textsf{C}}_Y^{\otimes _{\min }k})\)-positive and \(({\textsf{C}}_X^{\otimes _{\max }k},{\textsf{C}}_Y^{\otimes _{\max }k})\)-positive.
We first show that \((1) \Rightarrow (2)\). To show (2), it suffices to show that \({\tilde{P}}_\alpha ^{\otimes k}(w) \in {\textsf{C}}_Y^{\otimes _{\min }k}\) whenever \(w\in {\textsf{C}}_X^{\otimes _{\min }k}\) or \(w\in {\textsf{C}}_{\varepsilon _k(X)}\). Since \({\tilde{P}}_\alpha ^{\otimes k}\) is \(({\textsf{C}}_X^{\otimes _{\min }k},{\textsf{C}}_Y^{\otimes _{\min }k})\)-positive, the first case is clear. For the second case, consider \(w \in {\textsf{C}}_{\varepsilon _k(X)}\), which can be written as \(w=z_0e^{\otimes k}_0 + z\) for \(z\in X^{\otimes k}\) such that \(z_0\geqslant \Vert z\Vert _{\varepsilon _k(X)}\). Now, we have
Since \(\Vert P^{\otimes k}(z)\Vert _{\pi _k(Y)} \leqslant \tau _k(P)^k \Vert z\Vert _{\varepsilon _k(X)} \leqslant \alpha ^k z_0\), we conclude that
as needed.
To show that \((2) \Rightarrow (3)\) consider \(z \in {\textsf{C}}^{\otimes _{\max } k}_X\). We already observed that \({\tilde{P}}^{\otimes k}(z) \in {\textsf{C}}^{\otimes _{\max } k}_X\). By Lemma 6.2, \(\Pi _{X_k}(z)\in {\textsf{C}}_{\varepsilon _k(X)} \subset {\textsf{C}}_X^{{\hat{\otimes }} k}\); and (2) implies that
so that (3) holds by definition of \({\check{\otimes }}\).
We finally show that \((3) \Rightarrow (1)\). Consider \(z \in X^{\otimes k}\) such that \(\Vert z\Vert _{\varepsilon _k(X)} \leqslant 1\), and set \(w =e_0^{\otimes k} + z \in {\textsf{C}}_{\varepsilon _k(X)} \subset {\textsf{C}}_X^{\otimes _{\max }k}\). By assumption, we have
and we conclude that \(\Vert P^{\otimes k}(z)\Vert _{\pi _k(Y)}\leqslant \alpha ^k\). Since z and \(k\in {\textbf{N}}\) was arbitrary we find that (1) holds. \(\square \)
By combining Theorem 6.1 and Theorem 6.5 we can illuminate the limits of the proof-technique from Sect. 4: By Theorem 3.1 resilience of a cone \({\textsf{C}}_X\) can be decided by focusing on central maps, of the form \({\tilde{P}}_\alpha \) for \(P:X \rightarrow Y\). If the entanglement of tensors in \({\textsf{C}}^{{\hat{\otimes }} k}_X\) (as used in Sect. 4) is annihilated we can only conclude that \(\tau _\infty \left( P\right) \leqslant \alpha \). Except in the cases where X is Euclidean (and \({\textsf{C}}_X\) is a Lorentz cone) we have \(\tau _\infty \left( P\right) <\Vert P\Vert _{N(X\rightarrow X)}\), and we cannot conclude that \({\tilde{P}}_\alpha \) is max-entanglement breaking.
We conclude this section with three corollaries that follow from Theorem 3.1, Theorem 6.1 and Theorem 6.5:
Corollary 6.6
If \({\textsf{C}}_X\) is not resilient, then we have
for some linear map \(P:X\rightarrow X\). In particular, this implies that X is not Euclidean.
Corollary 6.6 provides an alternative way to prove Theorem 1.8 by using the results from [AMH21].
Corollary 6.7
If X is not Euclidean, then there exists a linear map \(P:X\rightarrow X\) and an \(\alpha \geqslant 0\) such that \({\tilde{P}}_\alpha \) is not max-entanglement breaking and such that
for any \(k\in {\textbf{N}}\).
The third corollary, considers the case of spaces with enough symmetries:
Corollary 6.8
If X has enough symmetries and
then the isotropic map \(I_{\alpha }:=I_{\alpha ,1}\) is not max-entanglement breaking and satisfies
-
(1)
\(I_{\alpha }^{\otimes k}\left( {\textsf{C}}^{{\hat{\otimes }} k}_X\right) \subseteq {\textsf{C}}^{\otimes _{\min } k}_X\) for any \(k\in {\textbf{N}}\).
-
(2)
\(I_{\alpha }^{\otimes k}\left( {\textsf{C}}^{\otimes _{\max } k}_X\right) \subseteq {\textsf{C}}^{{\check{\otimes }} k}_X\) for any \(k\in {\textbf{N}}\).
It should be noted that Corollary 6.7 identifies many convex cones and natural tensor products (i.e., \({\hat{\otimes }}\) and \({\check{\otimes }}\)) for which non-trivial tensor-stable positive maps exist. To our knowledge this is the first result of this kind, where arbitrary tensor-powers of a map can be controlled in a non-trivial setting.
6.3 A candidate for resilience?
Inspired by the results from the previous section, we will take a closer look at the special case of \(X=\ell ^d_1\). It is well-known that \(\ell ^d_1\) has enough symmetries and that \(\textrm{d}(X,\ell _2^d) = \sqrt{d}\). Corollary 3.6 implies that the pair \(({\textsf{C}}_{\ell ^d_1},{\textsf{C}}_{\ell ^d_1})\) is resilient if and only if there is an isotropic map \(I_{\alpha ,\beta }\) (see (2)) that is max-entanglement annihilating and not max-entanglement breaking. After choosing \(\beta =1\) without loosing generality, we conclude by Corollary 6.8 that \(I_\alpha = I_{\alpha ,1}\) could only be max-entanglement annihilating without being max-entanglement breaking for \(\sqrt{d} \leqslant \alpha \leqslant d\). We state this as a proposition:
Proposition 6.9
The cone \({\textsf{C}}_{\ell ^d_1}\) is resilient if and only if there exists a
such that the isotropic map \(I_{\alpha }\) is max-entanglement annihilating.
We can state the most simple open problem in this direction:
Question 6.10
Is \(I_{\alpha }:{\textbf{R}}^3\rightarrow {\textbf{R}}^3\) max-entanglement annihilating for \(\alpha =\sqrt{2}\)?
It is easy to show that \(I^{\otimes 2}_{\sqrt{2}}\left( {\textsf{C}}^{\otimes _{\max } 2}_{\ell ^2_1}\right) \subset {\textsf{C}}^{\otimes _{\min } 2}_{\ell ^2_1}\). Surprisingly, numerical experiments show that
To further explore whether Question 6.10 is reasonable, we can use Corollary 5.5: If \(I_{\sqrt{2}}\) were max-entanglement annihilating, then it would break entanglement with any Lorentz cone \({\textsf{L}}_k\). This holds as well, and we even have the following more general result for symmetric cones, i.e., closed convex cones \({\textsf{C}}\) satisfying \({\textsf{C}}={\textsf{C}}^*\) and such that their automorphism group acts transitively on their interior.
Theorem 6.11
Let \({\textsf{C}}\subset V\) denote a symmetric cone in a Euclidean space V. For any \(k\in {\textbf{N}}\) we have
We will give the proof of the previous theorem and relevant background on the theory of symmetric cones in Appendix D. The family of symmetric cones contains the Lorentz cones \({\textsf{L}}_n\), the positive semidefinite cones \({{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{R}}^d\right) \), \({{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^d\right) \), and \({{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{H}}^d\right) \), and the cone \({{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{O}}^3\right) \) of positive semidefinite \(3\times 3\) matrices with octonionic entries. Theorem 6.11 can be seen as a generalization of [PSS18, Theorem 6.6] on inclusion constants of matrix convex sets. The minimal matrix convex set \({\mathcal {W}}^{\min }_n(K)\) and the maximal matrix convex set \({\mathcal {W}}^{\max }_n(K)\) are exactly the minimal and maximal tensor products, respectively, of a cone over the convex base set \(K\subseteq {\textbf{R}}^d\) with \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^n)\). Theorem 6.11 shows that in the case of \(K=B_{\ell ^k_1}\), the positive semidefinite cones \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^n)\) in these definitions can be replaced by any symmetric cone without changing the inclusion constant. Moreover, even in the original case of matrix convex sets our proof seems to be simpler than the one given in [PSS18].
Notes
This fact is sometimes called the bipolar theorem.
It should be noted that our terminilogy of “minimal” and “maximal”, which follows [ALPP21], is reversed with respect to the convention in functional analysis.
References
Aubrun, G., Lami, L., Palazuelos, C.: Universal entangleability of non-classical theories. arXiv preprintarXiv:1910.04745 (2019)
Aubrun, G., Lami, L., Palazuelos, C., Plávala, M.: Entangleability of cones. Geom. Funct. Anal. 31(2), 181–205 (2021)
Aubrun, G., Müller-Hermes, A.: Asymptotic tensor powers of Banach spaces. arXiv preprintarXiv:2110.12828 (2021)
Aubrun, G., Szarek, S.J.: Alice and Bob Meet Banach, vol. 223. American Mathematical Soc. (2017)
Bennett, C.H., Brassard, G., Popescu, S., Schumacher, B., Smolin, J.A., Wootters, W.K.: Purification of noisy entanglement and faithful teleportation via noisy channels. Phys. Rev. Lett. 76(5), 722 (1996)
Breuer, H.-P.: Optimal entanglement criterion for mixed quantum states. Phys. Rev. Lett. 97(8), 080501 (2006)
Choi, M.-D.: Completely positive linear maps on complex matrices. Linear Algebra Appl. 10(3), 285–290 (1975)
Christandl, M.: PPT Square Conjecture. Operator Structures in Quantum Information Theory, Banff International Research Station workshop (2012)
Clarisse, L.: Construction of bound entangled edge states with special ranks. Phys. Lett. A 359(6), 603–607 (2006)
Chitambar, E., Leung, D., Mančinska, L., Ozols, M., Winter, A.: Everything you always wanted to know about LOCC (but were afraid to ask). Commun. Math. Phys. 328(1), 303–326 (2014)
Christandl, M., Müller-Hermes, A., Wolf, M.M.: When do composed maps become entanglement breaking? Ann. Henri Poincaré 20(7), 2295–2322 (2019)
Chen, L., Yang, Yu., Tang, W.-S.: Positive-partial-transpose square conjecture for n= 3. Phys. Rev. A 99(1), 012337 (2019)
Dür, W., Cirac, J.I., Lewenstein, M., Bruß, D.: Distillability and partial transposition in bipartite systems. Phys. Rev. A 61(6), 062313 (2000)
Devendra, R., Mallick, N., Sumesh, K.: Mapping cone of k-entanglement breaking maps. Positivity 27, 5 (2023)
DiVincenzo, D.P., Shor, P.W., Smolin, J.A., Terhal, B.M., Thapliyal, A.V.: Evidence for bound entangled states with negative partial transpose. Phys. Rev. A 61(6), 062312 (2000)
Faraut, J., Koranyi, A.: Analysis on Symmetric Cones. Oxford Mathematical Monographs, Clarendon Press (1994)
Filippov, S.N., Melnikov, A.A., Ziman, M.: Dissociation and annihilation of multipartite entanglement structure in dissipative quantum dynamics. Phys. Rev. A 88(6), 062328 (2013)
Filippov, S.N., Rybár, T., Ziman, M.: Local two-qubit entanglement-annihilating channels. Phys. Rev. A 85(1), 012303 (2012)
Filippov, S.N., Ziman, M.: Bipartite entanglement-annihilating maps: necessary and sufficient conditions. Phys. Rev. A 88(3), 032316 (2013)
Gurvits, L.: Classical complexity and quantum entanglement. J. Comput. Syst. Sci. 69(3), 448–484 (2004)
Hall, W.: A new criterion for indecomposability of positive maps. J. Phys. A: Math. Gen. 39(45), 14119 (2006)
Horodecki, M., Horodecki, P.: Reduction criterion of separability and limits for a class of distillation protocols. Phys. Rev. A 59(6), 4206 (1999)
Horodecki, M., Horodecki, P., Horodecki, R.: Mixed-state entanglement and distillation: Is there a “bound’’ entanglement in nature? Phys. Rev. Lett. 80(24), 5239 (1998)
Hildebrand, R.: An LMI description for the cone of Lorentz-positive maps. Linear Multilinear Algebra 55(6), 551–573 (2007)
Horodecki, M., Shor, P.W., Ruskai, M.B.: Entanglement breaking channels. Rev. Math. Phys. 15(06), 629–641 (2003)
Hurwitz, A.: Über die komposition der quadratischen formen. Math. Ann. 88, 1–25 (1923)
Idel, M.: On the structure of positive maps. Master’s thesis, Technical University of Munich (2013)
Idel, M.: A review of matrix scaling and Sinkhorn’s normal form for matrices and positive maps. arXiv preprintarXiv:1609.06349 (2016)
Jamiołkowski, A.: Linear transformations which preserve trace and positive semidefiniteness of operators. Rep. Math. Phys. 3(4), 275–278 (1972)
Lami, L.: Non-classical correlations in quantum mechanics and beyond. arXiv preprintarXiv:1803.02902 (2018)
Müller-Hermes, A.: Decomposability of linear maps under tensor powers. J. Math. Phys. 59(10), 102203 (2018)
Müller-Hermes, A.: Decomposable Pauli diagonal maps and tensor squares of qubit maps. J. Math. Phys. 62(9), 092204 (2021)
Müller-Hermes, A., Reeb, D., Wolf, M.M.: Positivity of linear maps under tensor powers. J. Math. Phys. 57(1), 015202 (2016)
Moravčíková, L., Ziman, M.: Entanglement-annihilating and entanglement-breaking channels. J. Phys. A: Math. Theor. 43(27), 275306 (2010)
Passer, B., Shalit, O.M., Solel, B.: Minimal and maximal matrix convex sets. J. Funct. Anal. 274(11), 3197–3253 (2018)
Roos, G.: Exceptional symmetric domains. In: Symmetries in Complex Analysis, vol. 468 of Contemp. Math., pp. 157–189. Amer. Math. Soc., Providence, RI (2008)
Sinkhorn, R.: A relationship between arbitrary positive matrices and doubly stochastic matrices. Ann. Math. Stat. 35, 876–879 (1964)
Skowronek, Ł: Cones with a mapping cone symmetry in the finite-dimensional case. Linear Algebra Appl. 435(2), 361–370 (2011)
Størmer, E.: Decomposition of positive projections on \(C^*\)-algebras. Math. Ann. 247(1), 21–41 (1980)
Størmer, E.: Decomposable positive maps on \(C^*\)-algebras. Proc. Am. Math. Soc. 86(3), 402–404 (1982)
Størmer, E.: Positive Linear Maps of Operator Algebras. Springer, Berlin (2012)
Terhal, B.M., Horodecki, P.: Schmidt number for density matrices. Phys. Rev. A 61(4), 040301 (2000)
Tomczak-Jaegermann, N.: Banach-Mazur Distances and Finite-dimensional Operator Ideals, vol. 38. Longman Sc & Tech (1989)
Vinberg, E.B.: The theory of convex homogeneous cones. Trans. Moscow Math. Soc. 12, 340–403 (1963)
Watrous, J.: Many copies may be required for entanglement distillation. Phys. Rev. Lett. 93(1), 010502 (2004)
Werner, R.F.: Quantum states with Einstein–Podolsky–Rosen correlations admitting a hidden-variable model. Phys. Rev. A 40(8), 4277 (1989)
Wolf, M.M: Lecture Notes: Quantum Channels & Operations, a Guided Tour (2012)
Acknowledgement
This work was supported in part by ANR (France) under the grant ESQuisses (ANR-20-CE47-0014-01). We acknowledge funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Action TIPTOP (Grant no. 843414).
Funding
Open access funding provided by University of Oslo (incl Oslo University Hospital).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Horng-Tzer Yau.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Properties of Linear Maps Under Finite Tensor Powers
Given cones \({\textsf{C}}_1, {\textsf{C}}_2\), we denote by \({{\mathcal {E}}}{{\mathcal {B}}}({\textsf{C}}_1,{\textsf{C}}_2)\) the cone of \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement breaking maps. We start with a definition of certain sequences of convex cones of linear maps:
Definition A.1
(Compatible sequences of mapping cones). Let \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\) be proper cones. For every \(k\in {\textbf{N}}\) let \({\mathcal {T}}_k\) be a closed convex cone of linear maps from \(V^{\otimes k}_1\) into \(V^{\otimes k}_2\). We call the sequence \(\left( {\mathcal {T}}_k\right) _{k\in {\textbf{N}}}\) a \(({\textsf{C}}_1,{\textsf{C}}_2)\)-compatible sequence of mapping cones if the following conditions are satisfied:
-
(1)
We have \({{\mathcal {E}}}{{\mathcal {B}}}\left( {\textsf{C}}_1, {\textsf{C}}_2\right) \subseteq {\mathcal {T}}_1\).
-
(2)
For every \(k\in {\textbf{N}}\) and every \(Q\in {\mathcal {T}}_{k}\) we have \(x\alpha \otimes Q\in {\mathcal {T}}_{k+1}\) and \(Q\otimes x\alpha \in {\mathcal {T}}_{k+1}\) for any \(\alpha \in {\textsf{C}}^*_1\) and \(x\in {\textsf{C}}_2\).
Note that combining the two properties in the previous definition shows
for every \(k\in {\textbf{N}}\). Examples of compatible sequences of mapping cones include the mapping cones in the sense of [Sko11], e.g., the n-positive maps, the decomposable maps, and the entanglement breaking maps on Hilbertian tensor powers of the positive semidefinite cones, but also the set of k-max-entanglement annihilating maps \(P:V_1\rightarrow V_2\) satisfying
for some pair of proper cones \({\textsf{C}}_1\) and \({\textsf{C}}_2\).
Denote by \(L(V_1,V_2)\) the space of linear maps between vector spaces \(V_1\) and \(V_2\). If \({\mathcal {T}} \subset L(V_1,V_2)\) is a proper cone, we may define via trace duality
Note that \({\mathcal {T}}^\sharp \) is isomorphic to the dual cone \({\mathcal {T}}^*\) via the canonical isomorpism between \(L(V_2,V_1)\) and \(L(V_1,V_2)^*\). In particular, the equation \(({\mathcal {T}}^\sharp )^\sharp ={\mathcal {T}}\) is an instance of the bipolar theorem. We now describe the conditions which are dual to Definition A.1. They are obtained by arguing as in the proof of Lemma 2.4.
Lemma A.2
Let \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\) be proper cones, and \(\left( {\mathcal {T}}_k\right) _{k\in {\textbf{N}}}\) a \(({\textsf{C}}_1,{\textsf{C}}_2)\)-compatible sequence of mapping cones. Then, we have:
-
(1)
For every \(k\in {\textbf{N}}\) we have \({\mathcal {T}}_k^\sharp \subseteq {\mathcal {P}}\left( {\textsf{C}}^{\otimes _{\min } k}_2,{\textsf{C}}^{\otimes _{\max } k}_1\right) \).
-
(2)
For every \(k\in {\textbf{N}}\) and every \(Q\in {\mathcal {T}}_{k+1}^\sharp \), we have
$$\begin{aligned} \left( \alpha \otimes \text{ id}^{\otimes k}_{V_1}\right) \circ Q\circ \left( x\otimes \text{ id}^{\otimes k}_{V_2}\right) \in {\mathcal {T}}_{k}^\sharp \end{aligned}$$and
$$\begin{aligned} \left( \text{ id}^{\otimes k}_{V_1}\otimes \alpha \right) \circ Q\circ \left( \text{ id}^{\otimes k}_{V_2}\otimes x\right) \in {\mathcal {T}}_{k}^\sharp , \end{aligned}$$for any \(\alpha \in {\textsf{C}}^*_1\) and \(x\in {\textsf{C}}_2\).
We will prove the following theorem:
Theorem A.3
Let \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\) be proper cones and \(\left( {\mathcal {T}}_k\right) _{k\in {\textbf{N}}}\) a \(({\textsf{C}}_1,{\textsf{C}}_2)\)-compatible sequence of mapping cones. Then, any \(P\in {{\mathcal {E}}}{{\mathcal {B}}}\left( {\textsf{C}}_1, {\textsf{C}}_2\right) \cap {{\,\textrm{int}\,}}\left( {\mathcal {T}}_1\right) \) satisfies \(P^{\otimes k}\in {{\,\textrm{int}\,}}\left( {\mathcal {T}}_k\right) \) for every \(k\in {\textbf{N}}\).
If we define
then Theorem A.3 shows that
To prove Theorem A.3, we fix \(e^*_1\in {{\,\textrm{int}\,}}\left( {\textsf{C}}^*_1\right) \) and \(e_2\in {{\,\textrm{int}\,}}\left( {\textsf{C}}_2\right) \). Next, we define
for any \(P:V_1^{\otimes k}\rightarrow V^{\otimes k}_2\), where
By the first property in Lemma A.2, we have \((e^*_1)^{\otimes k}\left( Q(e^{\otimes k}_2)\right) =0\) for a map \(Q\in {\mathcal {T}}_k^\sharp \) if and only if \(Q=0\). Therefore, we conclude that \(\Sigma _k\) is compact for every \(k\in {\textbf{N}}\), and the infimum in the definition of \(\mu _k\) is attained. Since \({\mathcal {T}}_k = ({\mathcal {T}}_k^\sharp )^\sharp \), we have that \(\mu _{k}\left( P\right) \geqslant 0\) if and only if \(P\in {\mathcal {T}}_k\), and \(\mu _{k}\left( P\right) > 0\) if and only if \(P\in {{\,\textrm{int}\,}}\left( {\mathcal {T}}_k\right) \). We will now show the following:
Lemma A.4
If \(P:V_1\rightarrow V_2\) is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement breaking, then we have
Proof
We will show a slightly more general statement. Fixing \(k\in {\textbf{N}}\), consider any linear map \(S:V_1^{\otimes (k-1)}\rightarrow V_2^{\otimes (k-1)}\) and assume that \(P=\sum ^N_{i=1} b_i\alpha _i\) for \(b_i\in {\textsf{C}}_2\) and \(\alpha _i\in {\textsf{C}}_1^*\). We will show that
Using (14), the proof is finished by induction after setting \(S=P^{\otimes (k-1)}\).
Consider a \(Q\in \Sigma _{k}\) satisfying
Inserting the decomposition of P, we find
where we defined the linear maps
By the second property of \({\mathcal {T}}_{k}^\sharp \) in Lemma A.2, we have \({\tilde{Q}}_i\in {\mathcal {T}}_{k-1}^\sharp \) for every \(i\in \{ 1,\ldots ,N\}\). Since
if and only if \({\tilde{Q}}_i=0\), we conclude that
Now, note that
for the linear map
Using the second property of \({\mathcal {T}}_{k}^\sharp \) in Lemma A.2 repeatedly, we find that \(Q'\in {\mathcal {T}}_1^\sharp \), and it is easy to check that
We conclude that \(Q'\in \Sigma _{1}\) and
Finally, (14) follows by combining the estimates from above. \(\square \)
Now, we are ready to prove Theorem A.3:
Proof of Theorem A.3
Consider \(P\in {{\mathcal {E}}}{{\mathcal {B}}}\left( {\textsf{C}}_1, {\textsf{C}}_2\right) \cap {{\,\textrm{int}\,}}\left( {\mathcal {T}}_1\right) \) and note that \(\mu _1(P)>0\). For every \(k\in {\textbf{N}}\) we can apply Lemma A.4 to show that
and therefore \(P^{\otimes k}\in {{\,\textrm{int}\,}}\left( {\mathcal {T}}_k\right) \). \(\square \)
Theorem A.3 has some important consequences. To illustrate these, consider first the case where
and note that \(P^{\otimes k}\in {\mathcal {T}}_k\) if and only if P is k-max-entanglement annihilating. Note that \({\mathcal {T}}_1\) is just the set of \(({\textsf{C}}_1,{\textsf{C}}_2)\)-positive maps. If neither \({\textsf{C}}_1\) nor \({\textsf{C}}_2\) are classical, then we have \({{\mathcal {E}}}{{\mathcal {B}}}\left( {\textsf{C}}_1, {\textsf{C}}_2\right) \subsetneq {\mathcal {T}}_1\) and there exists a linear map \(P:V_1\rightarrow V_2\) satisfying
By Theorem A.3, we have \(P^{\otimes k}\in {{\,\textrm{int}\,}}\left( {\mathcal {T}}_k\right) \) for every \(k\in {\textbf{N}}\). Moreover, there exists a linear map \(R:V_1\rightarrow V_2\) such that for every \(\varepsilon >0\) the map \(P_\varepsilon = P + \varepsilon R\notin {{\mathcal {E}}}{{\mathcal {B}}}\left( {\textsf{C}}_1, {\textsf{C}}_2\right) \). Combining these two facts shows, that for every \(k\in {\textbf{N}}\) there exists an \(\varepsilon >0\) such that \(P^{\otimes k}_\varepsilon \in {\mathcal {T}}_k\), but \(P_\varepsilon \) is not max-entanglement breaking. We have shown the following theorem:
Theorem A.5
Let \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\) be non-classical cones. For any \(k\in {\textbf{N}}\), there exists a linear map \(P:V_1\rightarrow V_2\) such that:
-
(1)
We have \(P^{\otimes k}\left( {\textsf{C}}^{\otimes _{\max } k}_1\right) \subseteq {\textsf{C}}^{\otimes _{\min } k}_2\).
-
(2)
The map P is not \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement breaking.
In the case of \({\textsf{C}}_1={{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^{d_1}\right) \) and \({\textsf{C}}_2={{\,\mathrm{\textsf{PSD}}\,}}\left( {\textbf{C}}^{d_2}\right) \) we point out the following consequences of Theorem A.3 some of which have been appeared in the literature before, but others are new. These consequences all exploit the linear map \(P:{\mathcal {M}}_{d}\rightarrow {\mathcal {M}}_{d}\) given by
which is entanglement breaking and at the boundary of completely positive maps.
-
For \(d,n,k\in {\textbf{N}}\) consider \({\mathcal {T}}_k = {\mathcal {P}}_n({{\,\mathrm{\textsf{PSD}}\,}}\left( ({\textbf{C}}^{d})^{\otimes k}\right) ,{{\,\mathrm{\textsf{PSD}}\,}}\left( ({\textbf{C}}^{d})^{\otimes k}\right) )\), i.e., the mapping cones of n-positive maps. Let \(P:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) denote the map from (15) and note that \(P\in {{\,\textrm{int}\,}}\left( {\mathcal {T}}_1\right) \) provided that \(n<d\). We can now find a linear map \(S:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) such that \(P_\varepsilon = P-\varepsilon S\) is not completely positive for any \(\varepsilon >0\). For any \(k\in {\textbf{N}}\) we can now apply Theorem A.3 to find \(\varepsilon >0\) such that \(P^{\otimes k}_\varepsilon \) is n-positive, but not completely positive. For \(n=2\), this recovers a result from [Wat04].
-
A slight modification of the previous argument considers the map \(Q = P\otimes \vartheta _d\circ P\), where P is the map from (15). It is easy to see that Q is at the boundary of both the completely positive and the completely copositive maps, but in the interior of positive maps (this follows from Lemma A.4). An argument similar to the one above shows for any \(k\in {\textbf{N}}\) that there are linear maps \(Q_\varepsilon :{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) that are neither completely positive nor completely copositive, but such that \(Q_\varepsilon ^{\otimes k}\) is positive. This recovers a result from [MHRW16].
-
For \(d,k\in {\textbf{N}}\) consider \({\mathcal {T}}_k = \text {Dec}({{\,\mathrm{\textsf{PSD}}\,}}\left( ({\textbf{C}}^{d})^{\otimes k}\right) ,{{\,\mathrm{\textsf{PSD}}\,}}\left( ({\textbf{C}}^{d})^{\otimes k}\right) )\) the mapping cones of decomposable maps, i.e., linear maps that can be written as a sum of a completely positive and a completely copositive map. The map \(Q = P\otimes \vartheta _d\circ P\) is also in the interior of decomposable maps (again this is shown by Lemma A.4). An argument similar to the ones above shows for any \(k\in {\textbf{N}}\) that there exists a linear map \(Q_\varepsilon :{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) that is neither completely positive nor completely copositive, but such that \(Q^{\otimes k}_\varepsilon \) is decomposable. This answers a question left open in recent work [MH18, MH21].
Appendix B: Proof of Proposition 1.5
Recall the following class of maps introduced in [CMHW19].
Definition B.1
[CMHW19] For \(k\in {\textbf{N}}\) a linear map \(T:{\mathcal {M}}_{m}\rightarrow {\mathcal {M}}_{n}\) is called k-entanglement breaking if
Here, we will focus on the 2-entanglement breaking maps \(T:{\mathcal {M}}_3\rightarrow {\mathcal {M}}_3\), which has a very special structure compared to the sets of general k-entanglement breaking maps. The following characterization was obtained in [CMHW19]:
Theorem B.2
[CMHW19, Theorem 3.1] A linear map \(T:{\mathcal {M}}_3\rightarrow {\mathcal {M}}_3\) is 2-entanglement breaking if and only if both T and \(\vartheta _3\circ T\) are 2-positive.
Furthermore, we use the following theorem from [CMHW19]:
Theorem B.3
([CMHW19, Theorem 2.1]) If \(T_1 : {\mathcal {M}}_3 \rightarrow {\mathcal {M}}_3\) and \(T_2 : {\mathcal {M}}_3 \rightarrow {\mathcal {M}}_3\) are 2-entanglement breaking, then the composition \(T_1 \circ T_2\) is entanglement breaking.
The proof of Proposition 1.5 is very easy:
Proof of Proposition 1.5
By Theorem B.2, the maps S and T are 2-entanglement breaking. By the Choi–Jamiolkowski isomorphism, the conclusion of Proposition 1.5 is equivalent to saying that \(T\circ P\circ S\) is entanglement breaking for every positive map \(P:{\mathcal {M}}_3\rightarrow {\mathcal {M}}_3\). Since T and \(P \circ S\) are 2-entanglement breaking, this follows from Theorem B.3. \(\square \)
We want to close this appendix with two side remarks regarding the special structure of 2-entanglement breaking maps \(T:{\mathcal {M}}_3\rightarrow {\mathcal {M}}_3\). First, we note the following corollary of Theorem B.2:
Corollary B.4
A linear map \(T:{\mathcal {M}}_3\rightarrow {\mathcal {M}}_3\) is 2-entanglement breaking if and only if its adjoint \(T^*\) is 2-entanglement breaking.
Corollary B.4 turns out to be very special, since adjoints of 2-entanglement breaking maps usually fail being 2-entanglement breaking themselves. In fact, the set of 2-entanglement breaking maps \(T:{\mathcal {M}}_d\rightarrow {\mathcal {M}}_d\) is not closed under adjoints for any \(d\geqslant 4\) (as shown in [DMS23]).
In the proof of Proposition 1.5, we used the fact that the composition \(P \circ S\) of a positive map and a 2-entanglement breaking map is 2-entanglement breaking as well. Recall that for any entanglement breaking map \(T:{\mathcal {M}}_{d_2}\rightarrow {\mathcal {M}}_{d_3}\) and any positive map \(P:{\mathcal {M}}_{d_1}\rightarrow {\mathcal {M}}_{d_2}\) the composition \(T\circ P\) is also entanglement breaking. It seems unlikely that the analogous property holds for general 2-entanglement breaking maps, but in the case of \(d=3\) we have the following:
Lemma B.5
Let \(T:{\mathcal {M}}_{3}\rightarrow {\mathcal {M}}_{3}\) be a 2-entanglement breaking map \(P:{\mathcal {M}}_3\rightarrow {\mathcal {M}}_3\) be a positive map. Then \(T\circ P\) is 2-entanglement breaking.
Proof
By Corollary B.4, the composition \(T\circ P\) is 2-entanglement breaking if and only if its adjoint \(P^*\circ T^*\) is 2-entanglement breaking. Since \(T^*\) is 2-entanglement breaking by Corollary B.4, the result follows. \(\square \)
Appendix C: Proof of Lemma 6.2
In the following, let X denote a finite-dimensional normed space. Recall the subspace \(X_k \subset \left( {\textbf{R}}\oplus X\right) ^{\otimes k}\) given by
and, as before, we denote by \({\Pi }_{X_k}:\left( {\textbf{R}}\oplus X\right) ^{\otimes k} \rightarrow \left( {\textbf{R}}\oplus X\right) ^{\otimes k}\) the orthogonal projection onto \(X_k\). Consider the projection \(S:({\textbf{R}}\oplus X)\otimes ({\textbf{R}}\oplus X)\rightarrow ({\textbf{R}}\oplus X)\otimes ({\textbf{R}}\oplus X)\) given by
where \(A:({\textbf{R}}\oplus V)\rightarrow ({\textbf{R}}\oplus V)\) is the reflection \((t,x) \mapsto (t,-x)\). We will need the following lemma:
Lemma C.1
We have
where \(S_{i,j}:X^{\otimes k}\rightarrow X^{\otimes k}\) applies S to the pair of tensor factors labeled (i, j). Moreover, we have
Proof
It is easy to verify that
We conclude that (16) holds. For the first part of the second claim, note that for any \({\tilde{\phi }}_1,{\tilde{\phi }}_2\in {\textsf{C}}^*_X\) of the form \({\tilde{\phi }}_i=e^*_0 + \phi _i\) for \(\phi _i\in B_{X^*}\) and any \(z\in {\textsf{C}}^{\otimes _{\max }2}_X\) we have
where \({\tilde{\phi }}'_i=e^*_0 - \phi _i\in {\textsf{C}}^*_X\). The general case follows in the same way. For the second part of the second claim, note that
where \(x_i=I(x_i)\in {\textsf{C}}_X\). The general case follows in the same way. \(\square \)
Proof of Lemma 6.2
By Lemma C.1 we have
Conversely, we have
This shows that \({\textsf{C}}^{\otimes _{\max } k}_X\cap X_k = {\Pi }_{X_k}({\textsf{C}}^{\otimes _{\max } k}_X)\). Now, note that \({\textsf{C}}^*_X={\textsf{C}}_{X^*}\) for any Banach space X. Therefore, \({\tilde{\phi }}\in {\textsf{C}}^*_X\) if and only if \({\tilde{\phi }} = t e^*_0 + \phi \) for some functional \(\phi \in X^*\) satisfying \(\Vert \phi \Vert _*\leqslant t\). Given \({\tilde{z}}\in X_k\) of the form \({\tilde{z}}=e^{\otimes k}_0 + z\) and \({\tilde{\phi }}_1,\ldots ,{\tilde{\phi }}_k\in {\textsf{C}}^*_X\), we have
where \(s_i\geqslant \Vert \phi _i\Vert _*\) for each \(i\in \{ 1,\ldots ,k\}\). If \({\tilde{z}}\in {\textsf{C}}_{X^{\otimes _{\varepsilon } k}}\), we conclude that \(({\tilde{\phi }}_1\otimes \cdots \otimes {\tilde{\phi }}_k)({\tilde{z}})\geqslant 0\) whenever \({\tilde{\phi }}_1,\ldots ,{\tilde{\phi }}_k\in {\textsf{C}}^*_X\), and hence \({\tilde{z}}\in {\textsf{C}}_X^{\otimes _{\max }k}\). On the other hand, if \({\tilde{z}}=e^{\otimes k}_0 + z\in {\textsf{C}}_X^{\otimes _{\max }k}\), then \(1 \pm (\phi _1\otimes \cdots \otimes \phi _k)(z)\geqslant 0\) for all functionals \(\phi _1,\ldots ,\phi _k\in B_{X^*}\). Therefore, we conclude that \({\tilde{z}}\in {\textsf{C}}_{X^{\otimes _{\varepsilon }k}}\).
By Lemma C.1 we have
Conversely, we have
This shows that \({\textsf{C}}^{\otimes _{\min } k}_X\cap X_k = {\Pi }_{X_k}({\textsf{C}}^{\otimes _{\min } k}_X)\). For \({\tilde{x}}^{(1)},\ldots ,{\tilde{x}}^{(k)}\in {\textsf{C}}_X\) written as \({\tilde{x}}^{(i)}=e_0 + x^{(i)}\) for each \(i\in \{ 1,\ldots ,k\}\), we have \({\Pi }_{X_k}\left( {\tilde{x}}^{(1)}\otimes \cdots \otimes {\tilde{x}}^{(k)}\right) =e_0^{\otimes k} + x^{(1)}\otimes \cdots \otimes x^{(k)}\) and clearly
Therefore, \({\Pi }_{X_k}\left( {\tilde{x}}^{(1)}\otimes \cdots \otimes {\tilde{x}}^{(k)}\right) \in {\textsf{C}}_{X^{\otimes _\pi k}}\) and by definition of \(\otimes _{\min }\) we have \({\Pi }_{X_k}\left( {\textsf{C}}_X^{\otimes _{\min }k}\right) \subseteq {\textsf{C}}_{X^{\otimes _\pi k}}\). For the converse inclusion consider \({\tilde{z}}\in {\textsf{C}}_{X^{\otimes _\pi k}}\) of the form \({\tilde{z}}= \Vert z\Vert _{\pi _k(X)} e^{\otimes k}_0 + z\). For some \(n\in {\textbf{N}}\) there exist \(x^{(1)}_i,\ldots ,x^{(k)}_i\in X\) for \(i\in \{ 1,\ldots ,n\}\) such that \(z=\sum _{i} x^{(1)}_i\otimes \cdots x^{(k)}_i\) and \(\sum _{i}\Vert x^{(1)}_i\Vert \cdots \Vert x^{(k)}_i\Vert =\Vert z\Vert _{\pi _k}\leqslant 1\). For each i and j we define \({\tilde{x}}^{(j)}_i = \Vert x^{(j)}_i\Vert e_0 + x^{(j)}_i\in {\textsf{C}}_X\) such that
By convexity and since \(e^{\otimes k}_0\in {\Pi }_{X_k}({\textsf{C}}^{\otimes _{\min } k}_X)\) we find \({\textsf{C}}_{X^{\otimes _\pi k}}\subseteq {\Pi }_{X_k}({\textsf{C}}^{\otimes _{\min } k}_X)\). \(\square \)
Appendix D: Two Results for Symmetric Cones
A symmetric cone \({\textsf{C}}\subset V\) is a proper cone in a Euclidean vector space V that it selfdual, i.e., it satisfies \({\textsf{C}}={\textsf{C}}^*\), and such that the automorphism group \({{\,\textrm{Aut}\,}}({\textsf{C}})\) of \({\textsf{C}}\) acts transitively on its interior \(\text {int}\left( {\textsf{C}}\right) \). It is well-known that symmetric cones are closely related to Jordan algebras. Let G denote the connected component of \({{\,\textrm{Aut}\,}}\left( C\right) \) containing the identity in the orthogonal group O(V), and let \(K=G\cap O(V)\). By [FK94, Proposition I.1.9] we may choose an element \(e\in C\) such that K arises as the stabilizer of e in \({{\,\textrm{Aut}\,}}\left( C\right) \). By [FK94, Theorem III.3.1] the vector space V can then be equipped with a product turning it into a Euclidean Jordan algebra with identity element e such that
From this description and the classification theorem of Euclidean Jordan algebras, it is not surprising that being symmetric is a restrictive property. Indeed, the classification theorem due to Vinberg [Vin63] (see also [FK94]) shows that every indecomposable symmetric cone is isomorphic to one of the following examples:
-
The positive semidefinite cones \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{R}}^d)\) over the real numbers.
-
The positive semidefinite cones \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\) over the complex numbers.
-
The positive semidefinite cones \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{H}}^d)\) over the quaternions.
-
The \(3\times 3\) positive semidefinite cone \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{O}}^3)\) over the octonions.
-
The Lorentz cones \({\textsf{L}}_n\).
Here, we will prove two results for positive maps on symmetric cones: The first result generalizes the Sinkhorn normal form of positive maps between cones of positive-semidefinite matrices to positive maps between symmetric cones. The second result generalizes a result on inclusion-constants of matrix convex sets [PSS18, Theorem 6.6] to the setting of symmetric cones. To make our presentation self-contained we will review well-known constructions from the theory of Euclidean Jordan algebras and we refer the reader to the book [FK94] for more details.
1.1 D.1. Sinkhorn-type scaling on symmetric cones
Let \({\textsf{C}}\subset V\) denote a symmetric cone in a Euclidean Jordan algebra V with identity element \(e\in {\textsf{C}}\) such that (17) holds. For any \(x\in V\) we consider
and we set \(d=\max \{ m(x)~:~x\in V\}\). An element \(x\in V\) is called regular if \(m(x)=d\). By [FK94, Proposition II.2.1] the regular elements form an open and dense subset in V. Moreover, for each \(k\in \{ 1,\ldots ,d\}\) there exists a homogeneous polynomial \(a_k\) of degree k such that
for every regular \(x\in V\). By continuity the previous equation extends to the whole Jordan algebra V, and we set \(\det (x):=a_d(x)\). An element \(x\in V\) is called invertible if \(\det (x)\ne 0\) and we denote by \(V_I\subset V\) the set of invertible elements in V. The inverse \({{\,\textrm{inv}\,}}:V_I\rightarrow V_I\) is given by
and sometimes we write \(x^{-1}\) instead of \({{\,\textrm{inv}\,}}(x)\). It turns out that the interior \({\textsf{C}}^\circ \) arises as
and consequently any element of \({\textsf{C}}^\circ \) is invertible.
For each \(x\in V\) there is a left multiplication \(L_x:V\rightarrow V\) given by \(L_x y = xy\) for \(y\in V\). Using this operator we define the quadratic representation \(Q_x:V\rightarrow V\) as
We have the following (see [FK94, Sect. II.3. and Proposition II.4.4]).
Lemma D.1
(Properties of the quadratic representation [FK94]) For each \(x\in V\) we have
-
(1)
\(Q_x\) is a self-adjoint operator on V and \(Q_x\in {{\,\textrm{Aut}\,}}({\textsf{C}})\).
-
(2)
\(Q_x(e) = x^2\).
-
(3)
\(Q_x^{-1} = Q_{x^{-1}}\) whenever x is invertible.
With the terminology introduced before, we can now state and prove the main result of this section. Our proof follows the lines (and generalizes) a proof for positive maps between the cones of positive semidefinite matrices with complex entries [Ide13, Lemma 1.14]. See also [Ide16] for a comprehensive review of similar results:
Theorem D.2
(Sinkhorn-type scaling) Consider symmetric cones \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\) in Euclidean vector spaces \(V_1\) and \(V_2\). For each \(i\in \{ 1,2\}\) we denote by \(G_i\) the identity component in the automorphism group \({{\,\textrm{Aut}\,}}\left( {\textsf{C}}_i\right) \) and by \(e_i\in {\textsf{C}}_i\) any element with stabilizer \(G_i\cap O(V_i)\), such that \(\Vert e_1\Vert =\Vert e_2\Vert \) (where \(\Vert \cdot \Vert \) denotes the Euclidean norm on \(V_1\) or \(V_2\)). For any linear map \(P:V_1\rightarrow V_2\) satisfying
there are automorphisms \(A\in {{\,\textrm{Aut}\,}}\left( {\textsf{C}}_1\right) \) and \(B\in {{\,\textrm{Aut}\,}}\left( {\textsf{C}}_2\right) \) such that the linear map
satisfies \({\tilde{P}}(e_1)=e_2\) and \({\tilde{P}}^*(e_2)=e_1\).
Theorem D.2 includes the following special cases.
-
(1)
Let A be a \(n \times n\) matrix with positive entries. Then there exist diagonal matrices \(D_1\), \(D_2\) with positive diagonal elements such that the matrix \(D_1 A D_2\) is bistochastic (i.e., the sum of elements in each row and each column is 1). This is known as Sinkhorn’s theorem [Sin64] and can be deduced by applying Theorem D.2 with \({\textsf{C}}_1\) and \({\textsf{C}}_2\) being the symmetric cone \({\textbf{R}}_+^n\).
-
(2)
For \(n \geqslant 1\), the Lorentz cone
$$\begin{aligned} L_n = \left\{ (x_0,\dots ,x_{n-1}) \in {\textbf{R}}^n \, : \, x_0 \geqslant \sqrt{x_1^2+ \cdots +x_{n-1}^2} \right\} \end{aligned}$$is a symmetric cone. By Theorem D.2, given a linear map \(P : {\textbf{R}}^n \rightarrow {\textbf{R}}^m\) (identified with a matrix) such that \(P(L_n) \subset L_m^\circ \), there exist \(A_1 \in {{\,\textrm{Aut}\,}}(L_n)\), \(A_2 \in {{\,\textrm{Aut}\,}}(L_m)\) such that \(A_2 P A_1\) is the block-diagonal matrix \(\begin{pmatrix} \lambda &{} 0 \\ 0 &{} M\end{pmatrix}\) with \(\lambda > 0\) and \(M \in {\textbf{R}}^{(n-1)\times (m-1)}\). Moreover, using the singular value decomposition, the matrix M can be assumed to be diagonal with nonnegative coefficients, recovering [Hil07, Theorem 3.4].
-
(3)
For \(d\in {\textbf{N}}\), the positive semidefinite cone \({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^d)\) is a symmetric cone. Given a positive map \(P:{\mathcal {M}}_{d_1}\rightarrow {\mathcal {M}}_{d_2}\) satisfying
$$\begin{aligned} P({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_1}))\subset {{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_2})^\circ , \end{aligned}$$we can apply Theorem D.2 to find automorphisms \(A \in {{\,\textrm{Aut}\,}}(P({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_1})))\), \(B \in {{\,\textrm{Aut}\,}}(P({{\,\mathrm{\textsf{PSD}}\,}}({\textbf{C}}^{d_2})))\) such that \(B\circ P\circ A\) is unital and trace-preserving. This recovers [Gur04, Theorem 4.7] and the aforementioned normal form from [Ide13, Lemma 1.14].
Proof
Under the stated assumptions, the Euclidean vector spaces \(V_1\) and \(V_2\) can be equipped with products turning them into Euclidean Jordan algebras with identity elements \(e_1\) and \(e_2\) respectively. The symmetric cones \({\textsf{C}}_1\) and \({\textsf{C}}_2\) then arise as cones of squares as in (17). We define the slice
and we note that \({\textsf{C}}^s_1\) is compact and convex. Next, we define \(M:{\textsf{C}}^s_1\rightarrow {\textsf{C}}^s_1\) by
where \({{\,\textrm{inv}\,}}_1\) and \({{\,\textrm{inv}\,}}_2\) denote the inverses on the Jordan algebras \(V_1\) and \(V_2\) respectively as defined above. The map M is well-defined since \(P(x)\in {\textsf{C}}^\circ _2\) and \(P^*(y)\in {\textsf{C}}^\circ _1\) are invertible for every \(x\in {\textsf{C}}_1\) and \(y\in {\textsf{C}}_2\). Moreover, the map M is continuous as a composition of continuous maps. By Brouwer’s fixed point theorem there exists \(x\in {\textsf{C}}^s_1\) such that \(M(x)=x\). This implies that \(P^* \circ {{\,\textrm{inv}\,}}_2 \circ P = \lambda x^{-1}\) for some \(\lambda > 0\). Set \(y=P(x)\). Let \(\sqrt{x}\in V_1\) and \(\sqrt{y}\in V_2\) denote square roots of x and y with respect to the respective Jordan algebra structures on \(V_1\) and \(V_2\), i.e., elements \(\sqrt{x}\in V_1\) and \(\sqrt{y}\in V_2\) satisfying \(x=(\sqrt{x})^2\) and \(y=(\sqrt{y})^2\). Next, we introduce the automorphisms \(A = Q_{\sqrt{x}}\) and \(B=Q^{-1}_{\sqrt{y}}\) as quadratic representations. Defining \({\tilde{P}}=B\circ P \circ A\) we can verify that
using the properties from Lemma D.1. Since A and B are self-adjoint we compute
where we used the properties from Lemma D.1. Finally,
and since \(\Vert e_1\Vert =\Vert e_2\Vert \) we conclude that \(\lambda =1\), finishing the proof. \(\square \)
A direct consequence of the previous theorem is the following corollary:
Corollary D.3
Consider symmetric cones \({\textsf{C}}_1\subset V_1\) and \({\textsf{C}}_2\subset V_2\) in Euclidean vector spaces \(V_1\) and \(V_2\). For each \(i\in \{ 1,2\}\) we denote by \(G_i\) the identity component in the automorphism group \({{\,\textrm{Aut}\,}}\left( {\textsf{C}}_i\right) \) and by \(e_i\in {\textsf{C}}_i\) any element with stabilizer \(G_i\cap O(V_i)\), such that \(\Vert e_1\Vert =\Vert e_2\Vert \) (where \(\Vert \cdot \Vert \) denotes the Euclidean norm on \(V_1\) or \(V_2\)). The following are equivalent:
-
(1)
The pair \(({\textsf{C}}_1,{\textsf{C}}_2)\) is resilient.
-
(2)
Every \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement annihilating map \(P:V_1\rightarrow V_2\) satisfying \(P(e_1)=e_2\) and \(P^*(e_2)=e_1\) is \(({\textsf{C}}_1,{\textsf{C}}_2)\)-max-entanglement breaking.
Proof
It is clear that the first statement implies the second. For the converse direction assume that \(({\textsf{C}}_1,{\textsf{C}}_2)\) is not resilient and let \(R:V_1\rightarrow V_2\) be an max-entanglement annihilating map that is not max-entanglement breaking. Since the set of max-entanglement breaking maps is closed, there exists an \(\varepsilon >0\) such that \(R_\varepsilon :V_1\rightarrow V_2\) given by \(R_\varepsilon = R + \varepsilon e_2\langle e_1 , \cdot \rangle \) is max-entanglement annihilating and not max-entanglement breaking. Using Theorem D.2 we find automorphisms \(A\in {{\,\textrm{Aut}\,}}\left( {\textsf{C}}_1\right) \) and \(B\in {{\,\textrm{Aut}\,}}\left( {\textsf{C}}_2\right) \) such that the map \(P=B\circ R_\varepsilon \circ A\) satisfies \(P(e_1)=e_2\) and \(P^*(e_2)=e_1\). Moreover, it is easy to see that P is max-entanglement annihilating and not max-entanglement breaking. This finishes the proof. \(\square \)
1.2 D.2. Breaking entanglement of a symmetric cone and \({\textsf{C}}_{\ell ^k_1}\)
Let \({\textsf{C}}\subset V\) be a symmetric cone. Equip V with the associated Jordan algebra structure. In this section, we will often use the spectral theorem on Euclidean Jordan algebras [FK94, Theorem III.1.2]: For any \(x\in V\) there exists a Jordan frame \(c_1,c_2,\ldots ,c_k\), i.e., a complete system of orthogonal, primitive idempotents, and unique \(\lambda _1,\ldots ,\lambda _k\in {\textbf{R}}\) such that
Using self-duality of the cone \({\textsf{C}}\) and the properties of Jordan frames, it it easy to show that \(x\in {\textsf{C}}\) if and only if \(\lambda _i\geqslant 0\) for every \(i\in \{ 1,\ldots ,k\}\). Given a spectral decomposition (18) of \(x\in V\), we define \(x_+ := \sum _{i~:~\lambda _i\geqslant 0} \lambda _i c_i\) and \(x_- := \sum _{i~:~\lambda _i< 0} |\lambda _i| c_i\). Clearly, we have \(x_+,x_-\in {\textsf{C}}\), \(x_+x_-=x_-x_+=0\) and \(x=x_+-x_-\). Finally, we define \(|x| := x_++x_-\) and note that \(|x|\in {\textsf{C}}\).
We start with the following lemma:
Lemma D.4
Consider the symmetric cone
for a Euclidean Jordan algebra V with identity element \(e\in V\). Then, we have the following:
-
(1)
If \(e+x\in {\textsf{C}}\) and \(e-x\in {\textsf{C}}\) for some \(x\in V\), then \(e-x^2\in {\textsf{C}}\).
-
(2)
If \(e-x^2\in {\textsf{C}}\) for some \(x\in V\), then \(e-x\in {\textsf{C}}\).
Proof
Given \(x\in V\) consider the spectral decomposition \(x=\sum ^k_{i=1} \lambda _i c_i\) for a Jordan frame \(c_1,c_2,\ldots ,c_k\in V\). If \(e+x\in {\textsf{C}}\) and \(e-x\in {\textsf{C}}\), then we have \(1\pm \lambda _i\geqslant 0\) and therefore \(1-\lambda ^2_i\geqslant 0\) for all \(i\in \{ 1,\ldots ,k\}\). We conclude that
since \(c_i=c^2_i\in {\textsf{C}}\) for every \(i\in \{ 1,\ldots ,k\}\). This shows the first statement.
If \(e-x^2\in {\textsf{C}}\), then we have \(\lambda ^2_i\leqslant 1\) for all \(i\in \{ 1,\ldots ,k\}\). We conclude that
since \(\lambda _i\leqslant 1\) and \(c_i\in {\textsf{C}}\) for any \(i\in \{ 1,\ldots ,k\}\). \(\square \)
We will now prove a lemma identifying a useful property of certain elements in \({\textsf{C}}\otimes _{\max } {\textsf{C}}_{\ell ^k_1}\). For this and in the following, we will identify elements in \(V\otimes {\textbf{R}}^{k+1}\) with vectors \((x_0,x_1,\ldots ,x_k)\) for \(x_0,\ldots ,x_k\in V\).
Lemma D.5
Consider the symmetric cone
for a Euclidean Jordan algebra V with identity element \(e\in V\). If \((e,x_1,\dots ,x_k) \in {\textsf{C}}\otimes _{\max }{\textsf{C}}_{\ell ^k_1}\), then \(\sqrt{k}e - \sum ^k_{i=1}|x_i|\in {\textsf{C}}\).
Proof
Note that \((e,x_1,\ldots ,x_k)\in {\textsf{C}}\otimes _{\max } {\textsf{C}}_{\ell ^k_{1}}\) if and only if
for all \(s\in \{ +1,-1\}^k\). By Lemma D.4 we conclude that
Averaging over all choices \(s\in \{ +1,-1\}^k\) shows that
Now, we have
where we used that
for any \(x\in V\), since \(x_+x_-=x_-x_+=0\). We conclude that
implying that \(\sqrt{k}e-\sum _{i=1}^k |x_i| \in {\textsf{C}}\) by Lemma D.4. \(\square \)
Now we can prove the main result of this appendix:
Proof of Theorem 6.11
As explained in the introduction of this appendix, there exists a product turning V into a Euclidean Jordan algebra with identity element \(e\in V\) such that
Consider \(x=(x_0,x_1,\ldots ,x_k)\in {\textsf{C}}\otimes _{\max } {\textsf{C}}_{\ell ^k_{1}}\) and set \(x_\varepsilon = (x_0+\varepsilon e,x_1,\ldots ,x_k)\). By continuity, we could conclude that \((\text{ id}_V\otimes I_{\sqrt{k}})(x)\in {\textsf{C}}\otimes _{\min } {\textsf{C}}_{\ell ^k_1}\) if we could show that \((\text{ id}_{V}\otimes I_{\sqrt{k}})(x_{\varepsilon })\in {\textsf{C}}\otimes _{\min }{\textsf{C}}_{\ell ^k_1}\) for all \(\varepsilon >0\). For any \(\varepsilon >0\) we have \(x_0+\varepsilon e\in {{\,\textrm{int}\,}}({\textsf{C}})\) and there exists an automorphism \(\phi _\varepsilon \in {{\,\textrm{Aut}\,}}({\textsf{C}})\) satisfying \(\phi _\varepsilon (e)= x_0+\varepsilon e\). Therefore, we can write
for any \(\varepsilon >0\) and some \(x'=(e,x'_1, \ldots x'_k)\in {\textsf{C}}\otimes _{\max } {\textsf{C}}_{\ell ^k_{1}}\). Since \(\phi _\varepsilon \) is positive for every \(\varepsilon >0\) the proof would be finished by showing that
for any \(x=(e,x_1,\ldots ,x_k)\in {\textsf{C}}\otimes _{\max }{\textsf{C}}_{\ell ^k_1}\). Let \(x=(e,x_1,\ldots ,x_k)\in {\textsf{C}}\otimes _{\max } {\textsf{C}}_{\ell ^k_1}\) and by Lemma D.5 we conclude that
Note that
for any \(i\in \{ 1,\ldots , k\}\). Since \(e_0\pm e_i\in {\textsf{C}}_{\ell ^k_1}\) for any \(i\in \{ 1,\ldots , k\}\) we have
This finishes the proof. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Aubrun, G., Müller-Hermes, A. Annihilating Entanglement Between Cones. Commun. Math. Phys. 400, 931–976 (2023). https://doi.org/10.1007/s00220-022-04621-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04621-5