# Annihilating Entanglement Between Cones

Guillaume Aubrun, Alexander Müller-Hermes

► To cite this version:

Guillaume Aubrun, Alexander Müller-Hermes. Annihilating Entanglement Between Cones. Communications in Mathematical Physics, 2022, 10.1007/s00220-022-04621-5. http://dx.doi.org/10.1007/s00220-022-04621-5

HAL Id: hal-03936297

https://hal.science/hal-03936297

Submitted on 17 Jan 2023

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d'enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

<figure><img src="image_1.png" /></figure>

Distributed under a Creative Commons Attribution 4.0 International License
<figure><img src="image_2.png" /></figure>

# Annihilating Entanglement Between Cones

Guillaume Aubrun<fnref n="1" />, Alexander Müller-Hermes<fnref n="1" />,<fnref n="2" /> ID

Received: 17 November 2021 / Accepted: 5 December 2022

© The Author(s) 2022

**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 $C_1$ into the k-fold minimal tensor product of a cone $C_2$, and the pair $(C_1, C_2)$ is called resilient if all max-entanglement annihilating maps are entanglement breaking. Our main result is that $(C_1, C_2)$ is resilient if either $C_1$ or $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.

## Contents

<table><tr><td>1. Introduction</td><td></td></tr><tr><td>1.1 Motivation and history</td><td></td></tr><tr><td>1.2 Max-entanglement annihilation on proper cones</td><td></td></tr><tr><td>1.3 Main results</td><td></td></tr></table>

<footnote n="1">¹ Institut Camille Jordan, Université Claude Bernard Lyon 1, 43 Boulevard du 11 novembre 1918, 69622 Villeurbanne Cedex, France. E-mail: aubrun@math.univ-lyon1.fr</footnote>

<footnote n="2">² Department of Mathematics, University of Oslo, P.O. Box 1053, 0316 Blindern, Oslo, Norway. E-mail: muellerh@math.uio.no; muellerh@posteo.net</footnote>
<table>
  <tbody>
    <tr>
      <td>2.</td>
      <td>Preliminaries and Notation</td>
    </tr>
    <tr>
      <td>2.1</td>
      <td>Classes of linear maps and their correspondence to tensor products</td>
    </tr>
    <tr>
      <td>2.2</td>
      <td>Duality between classes of maps</td>
    </tr>
    <tr>
      <td>2.3</td>
      <td>Proper cones associated to convex bodies and normed spaces</td>
    </tr>
    <tr>
      <td>2.4</td>
      <td>Basic properties of resilient cones and max-entanglement annihilation</td>
    </tr>
    <tr>
      <td>3.</td>
      <td>Symmetrization of Positive Maps Between Cones</td>
    </tr>
    <tr>
      <td>3.1</td>
      <td>Cones with a symmetric base</td>
    </tr>
    <tr>
      <td>3.2</td>
      <td>Cones with enough symmetries and twirling to isotropic maps</td>
    </tr>
    <tr>
      <td>4.</td>
      <td>Resilience of Lorentz Cones and Proof of Theorem 1.8</td>
    </tr>
    <tr>
      <td>4.1</td>
      <td>Resilience of certain Lorentz cones from composition algebras</td>
    </tr>
    <tr>
      <td>4.2</td>
      <td>Resilience of all Lorentz cones</td>
    </tr>
    <tr>
      <td>5.</td>
      <td>Factorization and Breaking Entanglement with Some Cone</td>
    </tr>
    <tr>
      <td>5.1</td>
      <td>General theory</td>
    </tr>
    <tr>
      <td>5.2</td>
      <td>Positive maps on PSD(C<sup>d</sup>) factoring through Lorentz cones</td>
    </tr>
    <tr>
      <td>6.</td>
      <td>Partial Results for Cones with a Symmetric Base</td>
    </tr>
    <tr>
      <td>6.1</td>
      <td>The tensor radii of normed spaces and maps</td>
    </tr>
    <tr>
      <td>6.2</td>
      <td>Tensor products of cones from tensor norms</td>
    </tr>
    <tr>
      <td>6.3</td>
      <td>A candidate for resilience?</td>
    </tr>
  </tbody>
</table>

# 1. Introduction

Let $\mathcal{M}_d$ denote the set of complex $d \times d$ matrices and let $\text{PSD}(C^d) \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 $\text{PSD}(C^d)$:
The $k$-fold minimal tensor product is given by

$$ \text{PSD}(C^d)^{\otimes_{\min} k} = \text{conv}\{x_1 \otimes \cdots \otimes x_k : x_1, \dots, x_k \in \text{PSD}(C^d)\}, $$

and it is usually referred to as the set of (unnormalized) fully separable states. The $k$-fold maximal tensor product is given by

$$ \text{PSD}(C^d)^{\otimes_{\max} k} = (\text{PSD}(C^d)^{\otimes_{\min} k})^*, $$

with duality with respect to the Hilbert–Schmidt inner product $\langle x, y \rangle = \text{Tr}[xy]$ 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} \to \mathcal{M}_{d_B}$

* entanglement breaking if

$$ (\text{id}_n \otimes P) (\text{PSD}(C^n \otimes C^{d_A})) \subseteq \text{PSD}(C^n) \otimes_{\min} \text{PSD}(C^{d_B}), $$

for any $n \in \mathbb{N}$.

* $k$-max-entanglement annihilating if

$$ P^{\otimes k} (\text{PSD}(C^d)^{\otimes \max k}) \subseteq \text{PSD}(C^d)^{\otimes \min k}. $$

* max-entanglement annihilating if it is $k$-max-entanglement annihilating for all $k \in \mathbb{N}$.
Every entanglement breaking map $P: M_{d_A} \to M_{d_B}$ admits a decomposition $P(\cdot) = \sum_{i=1}^N y_i \text{Tr}[x_i \cdot] \text{ with } x_i \in \text{PSD}(C^{d_A}) \text{ and } y_i \in \text{PSD}(C^{d_B}) \text{ (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 $\text{PSD}(C^d)$. 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 \mathbb{N}$, let $\vartheta_d: M_d \to M_d$ denote the transpose map in the computational basis. The distillation problem [HHH98, DSS+00] asks whether every quantum state $\rho \in \text{PSD}(C^{d_A} \otimes C^{d_B})$ with non-positive partial transpose (NPPT), i.e., such that $(\text{id}_{d_A} \otimes \vartheta_{d_B})(\rho) \notin \text{PSD}(C^{d_A} \otimes C^{d_B})$, can be transformed into the maximally entangled state

$$ \omega_2 = \frac{1}{2} \begin{pmatrix} 1 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 1 \end{pmatrix} \in \text{PSD}(C^2 \otimes C^2), $$

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: M_{d_A} \to 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 \mathbb{N}$. The distillation problem has been shown<fnref n="1" /> to be equivalent to the following elementary question: Are all linear maps $P: M_{d_A} \to M_{d_B}$ for which $P^{\otimes k}$ is 2-positive for every $k \in \mathbb{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: M_{d_A} \to 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 \mathbb{N}$ the map $P^{\otimes k}$ is positive.

Linear maps $P$ for which $P^{\otimes k}$ is positive for every $k \in \mathbb{N}$ are called tensor-stable positive. In [MHRW16, Theorem 5] it has been shown that a max-entanglement annihilating map $T: M_{d_A} \to M_{d_B}$ which is not entanglement breaking could be used to construct a tensor-stable positive map $P: M_{d_A^2} \to M_{d_B^2}$ such that neither $P$ itself nor $\vartheta_{d_B^2} \circ P$ are completely positive. By Theorem 1.2 we have the following:

<footnote n="1">¹ This was essentially shown in [DSS+00] with a minor modification using the twirling techniques from [MHRW16, MH18].</footnote>
**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: M_{d_A} \to M_{d_B}$ was called $k$-locally entanglement annihilating if

$$T^{\otimes k} (\text{PSD}((C^{d_A})^{\otimes k})) \subseteq \text{PSD}(C^{d_B})^{\otimes \min k}.$$

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 \mathbb{N}$ there are $k$-max-entanglement annihilating maps that are not entanglement breaking:

**Proposition 1.4.** For every $k \in \mathbb{N}$ and any $d \ge 2$, there exists a linear map $P: M_d \to 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: M_2 \to M_2$ that are not entanglement breaking, but we know that such maps cannot be $k$-max-entanglement annihilating for every $k \in \mathbb{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: M_3 \to M_3$. If the maps $T, S, \vartheta_3 \circ T$ and $\vartheta_3 \circ S$ are completely positive, then

$$(T \otimes S)(\text{PSD}(C^3) \otimes_{\max} \text{PSD}(C^3)) \subseteq \text{PSD}(C^3) \otimes_{\min} \text{PSD}(C^3).$$

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 $C \subset V$ in a finite-dimensional real vector space $V$ is called proper if it is closed and satisfies the relations $C - C = V$ and $C \cap (-C) = \{0\}$. When $C \subset V$ is a proper cone, we define its dual cone as

$$C^* = \{ \phi \in V^* : \phi(x) \ge 0 \text{ for every } x \in C \}.$$

The dual cone $C^*$ is a proper cone in $V^*$ and when we identify the bidual $V^{**}$ with $V$, the relation $C^{**} = C$ holds.<fnref n="2" /> Let $V_1, V_2$ denote finite-dimensional vector spaces and $C_1 \subset V_1$ and $C_2 \subset V_2$ proper cones. We define the minimal<fnref n="3" /> tensor product of $C_1$ and $C_2$ as

$$C_1 \otimes_{\min} C_2 = \operatorname{conv}\{x \otimes y : x \in C_1, y \in C_2\} \subset V_1 \otimes V_2,$$

and the maximal tensor product as

$$C_1 \otimes_{\max} C_2 = (C_1^* \otimes_{\min} C_2^*)^* \subset V_1 \otimes V_2.$$

It is easy to check that both $C_1 \otimes_{\min} C_2$ and $C_1 \otimes_{\max} C_2$ are proper cones whenever $C_1$ and $C_2$ are proper cones and by iterating these constructions, we also define inductively the minimal and maximal tensor powers of a proper cone $C$: if $k \ge 1$ is an integer, then

$$C^{\otimes_{\min}(k+1)} = C \otimes_{\min} C^{\otimes_{\min}k} \text{ and } C^{\otimes_{\max}(k+1)} = C \otimes_{\max} C^{\otimes_{\max}k}$$

with the convention that $C^{\otimes_{\min}1} = C^{\otimes_{\max}1} = C$.

By analogy with the case of quantum mechanics, tensors which belong to $C_1 \otimes_{\max} C_2$ but not to $C_1 \otimes_{\min} C_2$ are called entangled. The main results from [ALPP21] characterizes the existence of entanglement: The equality $C_1 \otimes_{\min} C_2 = C_1 \otimes_{\max} C_2$ holds if and only if $C_1$ or $C_2$ is classical, i.e., it is isomorphic to the cone $R_+^n$ for some $n \in \mathbb{N}$.

The following classes of linear maps can be defined naturally in the category of cones: For proper cones $C_1 \subset V_1$ and $C_2 \subset V_2$, a linear map $P: V_1 \to V_2$ is called

* $(C_1, C_2)$-max-entanglement breaking if it can be written as a finite sum

$$P = \sum_{i=1}^{k} x_i \phi_i,$$

for $x_1, \dots, x_k \in C_2$ and $\phi_1, \dots, \phi_k \in C_1^*$.

* $(C_1, C_2)$-max-entanglement annihilating if

$$P^{\otimes k} (C_1^{\otimes \max k}) \subseteq C_2^{\otimes \min k}$$

for every $k \in \mathbb{N}$.

<footnote n="2">² This fact is sometimes called the *bipolar theorem*.</footnote>

<footnote n="3">³ It should be noted that our terminology of “minimal” and “maximal”, which follows [ALPP21], is reversed with respect to the convention in functional analysis.</footnote>
If it is clear which cones are being considered, we will omit the prefix $(C_1, 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 $(C_1, C_2)$-max-entanglement breaking maps could also be defined as the linear maps $P: V_1 \to V_2$ for which $(\mathrm{id}_V \otimes P)(C \otimes_{\max} C_1) \subseteq C \otimes_{\min} C_1$ for every proper cone $C \subseteq V_1$, which justifies the use of the prefix $\max$- in our notation. On the cones $\mathrm{PSD}(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{PSD}(C^d)$. Motivated by Question 1.1 we define:

**Definition 1.6.** (Resilience) Let $C_1 \subset V_1$, $C_2 \subset V_2$ be proper cones. The pair $(C_1, C_2)$ is called *resilient* if every $(C_1, C_2)$-max-entanglement annihilating map $P: V_1 \to V_2$ is max-entanglement breaking. We say that $C$ is resilient if $(C, C)$ is resilient.

Intuitively, a pair $(C_1, C_2)$ is resilient if for every positive map $P$ that is not max-entanglement breaking, there are tensors in $C_1^{\otimes_{\max} k}$ for some $k \in \mathbb{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 $C_1 \subset V_1$ and $C_2 \subset V_2$ are not classical and for any fixed $k \in \mathbb{N}$ we show in Appendix A (see Theorem A.5), that there are linear maps $P: V_1 \to V_2$ which are not max-entanglement breaking, but such that

$$P^{\otimes k}(C_1^{\otimes_{\max} k}) \subseteq C_2^{\otimes_{\min} k}.$$

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{PSD}(C^{d_A} \otimes C^{d_B})$ with $\min(d_A, d_B) = 2$ are distillable [DSS+00, DCLB00]. As a consequence, the pairs $(\mathrm{PSD}(C^{d_A}), \mathrm{PSD}(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 \mathbb{N}$ consider the Lorentz cones $L_n \subset \mathbb{R}^{n+1}$ given by

$$L_n = \{(t, x) \in \mathbb{R} \oplus \mathbb{R}^n : \|x\|_2 \le t\}$$

where $\| \cdot \|_2$ is the standard Euclidean norm on $\mathbb{R}^n$. The cone $\mathrm{PSD}(C^2)$ is isomorphic to the Lorentz cone $L_3$. This can be seen using the spinor representation (see [AS17, p.32]) or by realizing $\mathrm{PSD}(C^2)$ as the cone over the Bloch ball. We have:
<figure><img src="image_3.png" /></figure>

The following theorem is our main result:

**Theorem 1.8.** The pairs $(L_n, C)$ and $(C, L_n)$ are resilient for every proper cone $C$ and every $n \in \mathbb{N}$. In particular, the Lorentz cone $L_n$ is resilient for every $n \in \mathbb{N}$.

The proof of Theorem 1.8 can be found in Sect. 4. Theorem 1.8 is a natural generalization and strengthening of the aforementioned results on resilience of $(\text{PSD}(C^{d_A}), \text{PSD}(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 $L_n$. For $n \le 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 \text{PSD}(C^2 \otimes C^2)$ 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 $L_n$ for every $n \ge 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: M_d \to M_d$

$$R(X) = \text{Tr}(X)1_d - X, \quad (1)$$

and quantum states $\rho \in \text{PSD}(C^d \otimes C^d)$ satisfying $(\text{id}_d \otimes R)(\rho) \ne 0$ are distillable. Mathematically, this criterion is based on the fact that the map $\vartheta_d \circ R$ factors (completely positively) through the cone $\text{PSD}(C^2)$, which is closely related to the so-called Schmidt number of Werner states (see [TH00]). Again motivated by the equivalence $L_3 \simeq \text{PSD}(C^2)$ we generalize this result (in a certain sense) to maps factoring through a Lorentz cone $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: M_{d_A} \to M_{d_B}$ to be max-entanglement annihilating.

Finally, we consider resilience in the case of cones with a symmetric base, or equivalently cones $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 $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 resiliency 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 $\mathbf{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 $C_1 \subset V_1$ and $C_2 \subset V_2$. A linear map $P: V_1 \to V_2$ is said to be $(C_1, C_2)$-positive if it satisfies the relation $P(C_1) \subseteq C_2$. The class of $(C_1, C_2)$-positive maps forms itself a proper cone which we denote by $\mathcal{P}(C_1, C_2)$.

It is natural to identify a linear map $P: V_1 \to V_2$ with the tensor $\hat{P} \in V_1^* \otimes V_2$ satisfying the relation

$$ \phi(P(x)) = (x \otimes \phi)(\hat{P}) $$

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 \to 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, $C_1 \subset V_1$, $C_2 \subset V_2$ be proper cones and $P: V_1 \to V_2$ be a linear map. Then

(1) the map $P$ is $(C_1, C_2)$-positive if and only if $\hat{P} \in C_1^* \otimes_{\max} C_2$,

(2) the map $P$ is $(C_1, C_2)$-max-entanglement breaking if and only if $\hat{P} \in C_1^* \otimes_{\min} C_2$.

*Proof.* Since $C_2 = C_2^{**}$, the positivity of $P$ is equivalent to the fact that $\phi(P(x)) \ge 0$ for every $x \in C_1$ and $\phi \in C_2^*$. Using the definition of the maximal tensor product, this is equivalent to the condition $\hat{P} \in C_1^* \otimes_{\max} 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, $C_1 \subset V_1$, $C_2 \subset V_2$ be proper cones and $P: V_1 \to V_2$ be a linear map. The following are equivalent

(1) the map $P$ is $(C_1, C_2)$-max-entanglement breaking,

(2) for every proper cone $C$ in a vector space $V$, we have

$$ (\mathrm{id}_V \otimes P)(C \otimes_{\mathrm{max}} C_1) \subseteq C \otimes_{\mathrm{min}} C_2. $$

*Proof.* Assume (1), so that $P$ can be decomposed as $P(\cdot) = \sum \phi_i(\cdot)x_i$ for some $x_i \in C_2$ and $\phi_i \in C_1^*$. Consider a tensor $z \in C \otimes_{\mathrm{max}} C_1$. It follows from the definition of the maximal tensor product that $(\mathrm{id}_V \otimes \phi_i)(z) \in C$ for every $i$, and therefore $(\mathrm{id}_V \otimes P)(z) = \sum (\mathrm{id}_V \otimes \phi_i)(z) \otimes x_i$ belongs to $C \otimes_{\mathrm{min}} C_2$. This shows (2).

Conversely, assume (2) and choose $V = V_1^*$, $C = C_1^*$. By Lemma 2.1, the tensor $\widehat{\mathrm{id}}_{V_1}$ belongs to $C_1^* \otimes_{\mathrm{max}} C_1$. Since $\hat{P} = (\mathrm{id}_{V_1^*} \otimes P)(\widehat{\mathrm{id}}_{V_1})$ belongs to $C \otimes_{\mathrm{min}} 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 \to V_2$. We denote by $P^*: V_2^* \to V_1^*$ its adjoint. The following lemma is easy to check.

**Lemma 2.3.** Let $C_1 \subset V_1$, $C_2 \subset V_2$ be proper cones and $P: V_1 \to V_2$ a linear map. Then

(1) $P$ is $(C_1, C_2)$-positive if and only if the map $P^*$ is $(C_2^*, C_1^*)$-positive.

(2) $P$ is $(C_1, C_2)$-max-entanglement breaking if and only if the map $P^*$ is $(C_2^*, C_1^*)$-max-entanglement breaking.

(3) $P$ is $(C_1, C_2)$-max-entanglement annihilating if and only if the map $P^*$ is $(C_2^*, C_1^*)$-max-entanglement annihilating.

(4) The pair $(C_1, C_2)$ is resilient if and only if the pair $(C_2^*, C_1^*)$ is resilient.

Another useful lemma is obtained by considering trace duality.

**Lemma 2.4.** Let $C_1 \subset V_1$ and $C_2 \subset V_2$ be proper cones, and $P: V_1 \to V_2$ a linear map. The following are equivalent

(1) $P$ is $(C_1, C_2)$-max-entanglement breaking,

(2) for every positive map $Q \in \mathcal{P}(C_2, C_1)$, we have $\mathrm{Tr}[Q \circ P] \ge 0$.

*Proof.* Let $\iota: V_2^* \otimes V_1 \to (V_1^* \otimes V_2)^*$ be the canonical identification. If $Q: V_2 \to V_1$ is a linear map, then we have

$$ (\iota(\hat{Q}))(\hat{P}) = \mathrm{Tr}[Q \circ P], $$

using the usual trace of the composition $Q \circ P: V_1 \to 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 C_1^* \otimes_{\mathrm{min}} C_2$, and condition (2) is equivalent to $\hat{P} \in (\iota(C_2^* \otimes_{\mathrm{max}} C_1))^*$. The result follows since

$$ \iota(C_2^* \otimes_{\mathrm{max}} C_1) = (C_1^* \otimes_{\mathrm{min}} C_2)^*. \quad \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

$$C_B = \{(t, x) \in \mathbf{R} \oplus V : t \ge 0, x \in tB\},$$

which is a proper cone in $\mathbf{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 $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

$$C_X = \{(t, x) \in \mathbf{R} \oplus X : t \ge \|x\|_X\},$$

for a normed space $X$. Important examples arise from the $\ell_p$-spaces $\ell_p^n = (\mathbf{R}^n, \| \cdot \|_p)$ and we note that the Lorentz cones are given by $L_n = C_{\ell_n^2}$.

It is not surprising that $(C_X, C_Y)$-positivity of certain maps from $\mathbf{R} \oplus X$ to $\mathbf{R} \oplus Y$ can be characterized using the normed spaces $X$ and $Y$. We say that a linear map $Q: \mathbf{R} \oplus X \to \mathbf{R} \oplus Y$ is a central map if it has the form

$$Q = \alpha \oplus P : (t, x) \mapsto (\alpha t, P(x))$$

for $\alpha \in \mathbf{R}$ and $P: X \to Y$ a linear map. It is easy to verify that the linear map $\alpha \oplus P$ is

* $(C_X, C_Y)$-positive if and only if $\|P\|_{X \to Y} \le \alpha$.

* $(C_X, C_Y)$-max-entanglement breaking if and only if $\|P\|_{N(X \to Y)} \le \alpha$.

Here, we used the nuclear norm given by

$$\|P\|_N = \|P\|_{N(X \to Y)} = \inf \sum_{i=1}^n \|y_i\|_Y \|x_i^*\|_{X^*},$$

where the infimum is over $n \in \mathbf{N}$ and decompositions

$$P = \sum_{i=1}^{n} y_i x_i^*, \text{ with } y_1, \dots, y_n \in Y \text{ and } x_1^*, \dots, x_n^* \in X^*.$$

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 $C$ inside a vector space $V$ and an integer $k \ge 1$. We say that a linear map $E: V \to V^{\otimes k}$ is a C-encoder if it is $(C, C^{\otimes \max k})$-positive, and that a linear map $D: V^{\otimes k} \to V$ is a C-decoder if it is $(C^{\otimes \min k}, C)$-positive. Observe that $E$ is a C-encoder if and only if $E^*$ is a $C^*$-decoder.

**Theorem 2.5** (Characterization of max-entanglement annihilation) Let $V_1, V_2$ be vector spaces, $C_1 \subset V_1$, $C_2 \subset V_2$ be proper cones and $P: V_1 \to V_2$ a linear map. The following are equivalent.
(1) The map $P$ is max-entanglement annihilating.

(2) For every $k \in \mathbb{N}$, every $\mathbb{C}_1$-encoder $E: V_1 \to V_1^{\otimes k}$ and $\mathbb{C}_2$-decoder $D: V_2^{\otimes k} \to V_2$, the map $D \circ P^{\otimes k} \circ E$ is $(\mathbb{C}_1, \mathbb{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 $\mathbb{C}_i$ in a vector space $V_i$. Consider $(\mathbb{C}_1, \mathbb{C}_2^{\otimes \max k})$-positive maps $E_1, \dots, E_N: V_1 \to V_2^{\otimes k}$ and $(\mathbb{C}_3^{\otimes \min k}, \mathbb{C}_4)$-positive maps $D_1, \dots, D_N: V_3^{\otimes k} \to V_4$. For any $(\mathbb{C}_2, \mathbb{C}_3)$-max-entanglement annihilating map $P: V_2 \to V_3$, the map $Q: V_1 \to V_4$ given by

$$Q = \sum_{i=1}^{N} D_i \circ P^{\otimes k} \circ E_i$$

is $(\mathbb{C}_1, \mathbb{C}_4)$-max-entanglement annihilating.

*Proof.* For $l \in \mathbb{N}$ and any $i_1, \dots, i_l \in \{1, \dots, N\}$ we have

$$(E_{i_1} \otimes \cdots \otimes E_{i_l}) (\mathbb{C}_1^{\otimes \max l}) \subseteq (\mathbb{C}_2^{\otimes \max k})^{\otimes \max l} = \mathbb{C}_2^{\otimes \max kl},$$

and

$$(D_{i_1} \otimes \cdots \otimes D_{i_l}) (\mathbb{C}_3^{\otimes \min kl}) \subseteq D_{i_1} (\mathbb{C}_3^{\otimes \min k}) \otimes_{\min} \cdots \otimes_{\min} D_{i_l} (\mathbb{C}_3^{\otimes \min k}) \subseteq \mathbb{C}_3^{\otimes \min l}.$$

Now, note that

$$Q^{\otimes l} = \sum_{i_1, \dots, i_l} (D_{i_1} \otimes \dots \otimes D_{i_l}) \circ P^{\otimes kl} \circ (E_{i_1} \otimes \dots \otimes E_{i_l}),$$

and since $P$ is max-entanglement annihilating we conclude that

$$Q^{\otimes l} (\mathbb{C}_1^{\otimes \max l}) \subseteq \mathbb{C}_4^{\otimes \min l}.$$

Since $l \in \mathbb{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 \to V_2$ that is not max-entanglement annihilating. Then, there exists a $k \in \mathbb{N}$, an $x \in \mathbb{C}_1^{\otimes \max k}$, and a $w \in (\mathbb{C}_2^*)^{\otimes \max k}$ such that $\langle w, P^{\otimes k}(x) \rangle < 0$. Define $E: V_1 \to V_1^{\otimes k}$ by $E = x \langle v, \cdot \rangle$ for some $v \in \mathbb{C}_1^* \setminus \{0\}$ and $D: V_2^{\otimes k} \to V_2$ by $D = y \langle w, \cdot \rangle$ for some $y \in \mathbb{C}_2 \setminus \{0\}$. Note that $E$ is a $\mathbb{C}_1$-encoder and $D$ is $\mathbb{C}_2$-decoder. However, we have

$$D \circ P^{\otimes k} \circ E = \langle w, P^{\otimes k}(x) \rangle \langle v, \cdot \rangle,$$

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 $C' \subset V'$ is a retract of a cone $C \subset V$ if there exists a $(C', C)$-positive map $R : V' \to V$ and a $(C, C')$-positive map $S : V \to V'$ such that $\mathrm{id}_{V'} = S \circ R$. For example, it can be checked easily that $\mathrm{PSD}(C^{d'})$ is a retract of $\mathrm{PSD}(C^d)$ if and only if $d' \le d$, and that $L_{n'}$ is a retract of $L_n$ if and only if $n' \le n$. Note also that retracts dualize: If $C'$ is a retract of $C$, then $C'^*$ is a retract of $C^*$. We have the following lemma:

**Lemma 2.7 (Resilience is closed under retracts).** Let $K \subset W$ be a proper cone and $C' \subset V'$ a retract of a proper cone $C \subset V$. If the pair $(C, K)$ (or $(K, C)$) is resilient, then the pair $(C', K)$ (or $(K, C'$)) is resilient as well. In particular, if $C$ is resilient, then $C'$ is resilient as well.

*Proof.* Using duality, it is enough to consider the case where $(C, K)$ is resilient. By definition, we have $\mathrm{id}_{V'} = S \circ R$ for a $(C', C)$-positive map $R : V' \to V$ and a $(C, C')$-positive map $S : V \to V'$. Consider an $(C', K)$-max-entanglement annihilating map $P : V' \to W$. By Lemma 2.6, the map $P \circ S : V \to W$ is $(C, K)$-max-entanglement annihilating and hence max-entanglement breaking by resilience of $(C, K)$. We conclude that $P = P \circ S \circ R$ is max-entanglement breaking as well, and thus the pair $(C', K)$ is resilient. $\square$

As a consequence of Lemma 2.7 we conclude that resilience of $\mathrm{PSD}(C^d)$ implies resilience of $\mathrm{PSD}(C^{d'})$ when $d' \le d$, and that resilience of $L_n$ implies resilience of $L_{n'}$ whenever $n' \le n$. Moreover, it can be checked [ALP19, Proposition S7] that the Lorentz cone $L_n$ is a retract of $\mathrm{PSD}(C^d)$ for $d = 2^n$, and therefore resilience of $\mathrm{PSD}(C^{2^n})$ would imply resilience of $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 $C \subset V$ be a proper cone. Then the following are equivalent:

(1) The cone $C$ is resilient.

(2) The pair $(C, C')$ is resilient for every proper cone $C' \subset V'$.

(3) The pair $(C', C)$ is resilient for every proper cone $C' \subset V'$.

*Proof.* It is clear that the second statement implies the first. To show the other direction assume that $C$ is resilient and that for some proper cone $C' \subset V'$ the pair $(C, C')$ is not resilient. Then, there exists a $(C, C')$-max-entanglement annihilating map $P : V \to V'$ that is not $(C, C')$-max-entanglement breaking. By Lemma 2.4 there is a $(C', C)$-positive map $Q : V' \to V$ such that $\mathrm{Tr}[Q \circ P] < 0$. Again by Lemma 2.4, we conclude that $Q \circ P : V \to 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 $(C_1, 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 $C_X \subset \mathbf{R} \oplus X$ associated with a finite-dimensional normed space $X$ (see Sect. 2.3). We show that the resilience of $C_X$ can be checked using only central maps. Recall that a central map has the form $\alpha \oplus P$ for $P : X \to X$, and that $\alpha \oplus P$ is $C_X$-max-entanglement breaking if and only if $\|P\|_{N(X \to X)} \le \alpha$.

**Theorem 3.1.** For a finite-dimensional normed space $X$ the following are equivalent:

(1) The cone $C_X$ is resilient.

(2) Every $C_X$-max-entanglement annihilating central map is max-entanglement breaking.

*Proof.* It is obvious that (1) implies (2). Conversely, assume that $C_X$ is not resilient and let $R : \mathbf{R} \oplus X \to \mathbf{R} \oplus X$ a map which is $C_X$-max-entanglement annihilating and not $C_X$-max-entanglement breaking. By Lemma 2.4, there is a $C_X$-positive map $Q$ such that $\mathrm{Tr}[Q \circ R] < 0$. Let $A : \mathbf{R} \oplus X \to \mathbf{R} \oplus X$ be the automorphism of $C_X$ defined by $A(t, x) = (t, -x)$ and

$$S = \frac{1}{2} (Q \circ R + A \circ Q \circ R \circ A).$$

It is easy to check that $S$ is a central map. Since $A$ and $Q$ are $C_X$-positive, we conclude by Lemma 2.6 that $S$ is max-entanglement annihilating. Moreover, since

$$\mathrm{Tr}[S] = \mathrm{Tr}[Q \circ R] < 0,$$

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 $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 $\mathbf{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 $\mathrm{Iso}(B)$, is a closed subgroup of $O_n$. We say that $B$ has enough symmetries if $\mathrm{Iso}(B)' = \mathbf{R}1$; here $G'$ denotes the commutant of $G$, i.e., the set of linear maps $S : V \to 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 \mathrm{int}(B)$. Slightly abusing notation, we will sometimes say that a cone $C$ has enough symmetries if there is a base $B$ with enough symmetries satisfying $C = C_B$. The family of cones with enough symmetries includes the cones $C_{\ell_p}$ and more generally the cones $C_X$ for normed spaces with enough symmetries [TJ89]. Moreover, it also contains the positive semidefinite cones $\mathrm{PSD}(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 $C_B \subset \mathbf{R}^{n+1}$ the cone over $B$. If $g \in \mathrm{Iso}(B)$ is an isometry, we denote by $\tilde{g} : \mathbf{R}^{n+1} \to \mathbf{R}^{n+1}$ the automorphism of $C_B$ defined by $\tilde{g}(t, x) = (t, gx)$ for $(t, x) \in \mathbf{R} \oplus \mathbf{R}^n$. Denote by $\pi_1$ and $\pi_2$ the orthogonal projections defined as

$$\pi_1(t, x) = (t, 0), \quad \pi_2(t, x) = (0, x)$$

for $(t, x) \in \mathbf{R} \oplus \mathbf{R}^n$.
Let $B \subset \mathbf{R}^n$ be a convex body with enough symmetries. We define the *twirling* operator $\tau$ as follows: If $L: \mathbf{R}^{n+1} \to \mathbf{R}^{n+1}$ is a linear map, then $\tau[L]: \mathbf{R}^{n+1} \to \mathbf{R}^{n+1}$ if defined as

$$ \tau[L] := \int_{\text{Iso}(B)} \tilde{g}^{-1} \circ L \circ \tilde{g} \, dg $$

where the integral is with respect to the normalized Haar measure on Iso($B$).

**Proposition 3.2** (Twirling and isotropic maps). Let $B \subset \mathbf{R}^n$ be a convex body with enough symmetries and $L: \mathbf{R}^{n+1} \to \mathbf{R}^{n+1}$ a linear map. Then

$$ \tau[L] = \alpha\pi_1 + \beta\pi_2, $$

where $\alpha = \text{Tr}(\pi_1 L \pi_1)$ and $\beta = \frac{1}{n} \text{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 \mathbf{R}$, $x, y \in \mathbf{R}^n$ and $A \in \mathcal{M}_n(\mathbf{R})$. For every $g \in \text{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 I$ for some $\beta \in \mathbf{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 \mathbf{R}$ and $n \in \mathbf{N}$ we define the *isotropic map* $I_{\alpha, \beta}: \mathbf{R}^{n+1} \to \mathbf{R}^{n+1}$ by

$$ I_{\alpha, \beta} = \alpha\pi_1 + \beta\pi_2. \qquad (2) $$

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 \mathbf{R}^n$ be a convex body with enough symmetries. For $\alpha, \beta \in \mathbf{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 $\mathcal{C}_B$-positive if and only if $\alpha \ge 0$ and $\beta B \subseteq \alpha B$. In particular, we have $|\beta| \le \alpha$ whenever $I_{\alpha, \beta}$ is $\mathcal{C}_B$-positive.

(2) The map $I_{\alpha, \beta}$ is $\mathcal{C}_B$-max-entanglement breaking if and only if $\alpha \ge 0$ and $\beta\gamma \ge -\alpha/n$ for every $\gamma \in \mathbf{R}$ such that $\gamma B \subseteq B$. In particular, $|\beta| \le \alpha/n$ whenever $I_{\alpha, \beta}$ is $\mathcal{C}_B$-max-entanglement breaking.

If in addition $-B = B$, then we have the following refinement:

(3) The map $I_{\alpha, \beta}$ is $\mathcal{C}_B$-positive if and only if $|\beta| \le \alpha$.

(4) The map $I_{\alpha, \beta}$ is $\mathcal{C}_B$-max-entanglement breaking if and only if $|\beta| \le \alpha/n$.

*Proof.* Given $(t, x) \in \mathbf{R}^{n+1}$, we have $I_{\alpha, \beta}(t, x) = (\alpha t, \beta x)$. The condition $\alpha \ge 0$ is necessary for $I_{\alpha, \beta}$ to be positive. Since $(t, x) \in \mathcal{C}_B$ if and only if $t \ge 0$ and $x \in tB$, (1) follows. If $B$ is symmetric, this is clearly equivalent to $|\beta| \le \alpha$.

By duality (Lemma 2.4), the map $I_{\alpha, \beta}$ is $\mathcal{C}_B$-max-entanglement breaking if and only if $\text{tr}[Q \circ I_{\alpha, \beta}] \ge 0$ for every $Q \in \mathcal{P}(\mathcal{C}_B)$. By Proposition 3.2, we have $\tau[Q] = I_{\gamma, \delta}$ for some $\gamma, \delta \in \mathbf{R}$. Using cyclicity of the trace, we compute

$$ \text{Tr}[Q \circ I_{\alpha, \beta}] = \text{Tr}[Q \circ \tau[I_{\alpha, \beta}]] = \text{Tr}[\tau[Q] \circ I_{\alpha, \beta}] = \text{Tr}[I_{\gamma, \delta} \circ I_{\alpha, \beta}] = \alpha\gamma + n\beta\delta. $$

Since $Q \in \mathcal{P}(\mathcal{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 \mathbf{R}^n$ be a convex body with enough symmetries and $P \in \mathcal{P}(C_B)$ a positive map such that $\mathrm{Tr}[P] < 0$. Then the isotropic map $\tau[P]$ is not $C_B$-max-entanglement breaking.

*Proof.* By Proposition 3.2, we have $\tau[P] = \alpha\pi_1 + \beta\pi_2$ with $\alpha = \mathrm{Tr}(\pi_1 L \pi_1)$ and $\beta = \frac{1}{n}\mathrm{Tr}(\pi_2 L \pi_2)$. We also have $\mathrm{Tr}[P] = \mathrm{Tr}(\pi_1 L) + \mathrm{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 \mathbf{R}^n$ be a convex body with enough symmetries and $C \subset V$ any proper cone.

(1) If $P \in \mathcal{P}(C_B, C)$ is a positive map which is not $(C_B, C)$-max-entanglement breaking, there exists a positive map $Q \in \mathcal{P}(C, C_B)$ such that the isotropic map $\tau[Q \circ P]$ is $C_B$-positive and not $C_B$-max-entanglement breaking.

(2) If $P \in \mathcal{P}(C, C_B)$ is a positive map which is not $(C, C_B)$-max-entanglement breaking, there exists a positive map $R \in \mathcal{P}(C_B, C)$ such that the isotropic map $\tau[P \circ R]$ is $C_B$-positive and not $C_B$-max-entanglement breaking.

*Proof.* By duality (Lemma 2.4), there exists a positive map $Q \in \mathcal{P}(C, C_B)$ such that $\mathrm{Tr}[Q \circ P] < 0$. Applying Lemma 3.4 to the $C_B$-positive map $Q \circ P$ shows that the isotropic map $\tau[Q \circ P]$ is not $C_B$-max-entanglement breaking. Clearly, $\tau[Q \circ P]$ is $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 \mathbf{R}^n$ be a convex body with enough symmetries. The following are equivalent:

(1) The cone $C_B$ is resilient.

(2) Every isotropic map on $\mathbf{R}^{n+1}$ which is $C_B$-max-entanglement annihilating is also $C_B$-max-entanglement breaking.

*Proof.* It is obvious that the first statement implies the second. For the reverse direction assume that $C_B$ is not resilient, and hence that there exists a map $P : \mathbf{R}^{n+1} \to \mathbf{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}(C_B, C_B)$ such that the isotropic map $\tau[Q \circ P]$ is not max-entanglement breaking, and applying Lemma 2.6 for $k=1$ shows that $\tau[Q \circ P]$ 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 \ge 1$, the Lorentz cone $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. □

To prove Theorem 4.1 we have two strategies: In Sect. 4.1 we generalize the approach used to prove the resilience of $L_3$ (by the distillation protocol of entangled qubit states [BBP+96]) to prove the resilience of $L_n$ for $n \le 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 $L_n$ for every $n \in \mathbb{N}$.

**4.1. Resilience of certain Lorentz cones from composition algebras.** A real composition algebra is a triple $\mathbf{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

$$q(x * y) = q(x)q(y) \qquad (3)$$

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 $\mathbf{A} = (V, *, q)$ be a real composition algebra. The classification theorem (see, e.g., [Roo08, Theorem 1.10]) asserts that $\mathbf{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 $\mathbf{R}$, the complex numbers $\mathbf{C}$, the quaternions $\mathbf{H}$ or the octonions $\mathbf{O}$. For $\mathbf{A} \in \{\mathbf{R}, \mathbf{C}, \mathbf{H}, \mathbf{O}\}$, we abusively denote by $\mathbf{A}$ the composition algebra $(\mathbf{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 $\mathbf{C}'$, the split quaternions $\mathbf{H}'$ or the split octonions $\mathbf{O}'$. In the following, we only consider the split complex numbers $\mathbf{C}'$, which are defined as the real composition algebra $(\mathbf{R}^2, *, q)$ where

$$(x, y) * (x', y') = (xx' + yy', xy' + x'y) \qquad (4)$$

and $q(x, y) = x^2 - y^2$.

Given a composition algebra $\mathbf{A} = (V, *, q)$ we denote by $m_{\mathbf{A}} : V \otimes V \to V$ the multiplication tensor given by $m_{\mathbf{A}}(x \otimes y) = x * y$, and extended linearly. When $\mathbf{A}$ is a division algebra (i.e., $\mathbf{A} \in \{\mathbf{R}, \mathbf{C}, \mathbf{H}, \mathbf{O}\}$), we may identify $V$ and $V^*$ using the inner product derived from $q$ and therefore consider the adjoint $m_{\mathbf{A}}^*$ as an operator from $V$ to $V \otimes V$. In each case, one checks the relation

$$m_{\mathbf{A}} \circ m_{\mathbf{A}}^* = \dim(V)\mathbb{1}_V. \qquad (5)$$

Consider two composition algebras $\mathbf{A}_1 = (V_1, *, q_1)$, $\mathbf{A}_2 = (V_2, *, q_2)$ and set $V = V_1 \oplus V_2$. One defines the direct sum $m_{\mathbf{A}_1} \oplus m_{\mathbf{A}_2} : V \otimes V \to V$ as

$$(m_{\mathbf{A}_1} \oplus m_{\mathbf{A}_2})((x_1, x_2) \otimes (y_1, y_2)) = (m_{\mathbf{A}_1}(x_1, y_1), m_{\mathbf{A}_2}(x_2, y_2))$$

for $x_1, y_1$ in $\mathbf{A}_1$ and $x_2, y_2$ in $\mathbf{A}_2$.

We start with a lemma:
**Lemma 4.2.** Consider $\mathbf{A}_1 \in \{\mathbf{R}, \mathbf{C}'\}$ and $\mathbf{A}_2 \in \{\mathbf{R}, \mathbf{C}, \mathbf{H}, \mathbf{O}\}$, with respective quadratic forms $q_1$ and $q_2$. The cone

$$ \mathcal{L} = \{(x_1, x_2) \in \mathbf{A}_1 \oplus \mathbf{A}_2 : q_2(x_2) \le q_1(x_1)\} \quad (6) $$

is isomorphic to $\mathcal{L}_N$ for $N = \dim(\mathbf{A}_1) + \dim(\mathbf{A}_2) - 1$ and satisfies

$$ (m_{\mathbf{A}_1} \oplus m_{\mathbf{A}_2}) (\mathcal{L} \otimes_{\min} \mathcal{L}) \subseteq \mathcal{L}. $$

*Proof.* Since $q_2$ is positive definite and $q_1$ has signature either (1, 0) or (1, 1), it is immediate to check that $\mathcal{L}$ is isomorphic to $\mathcal{L}_N$. Consider now $(x_1, x_2)$ and $(y_1, y_2)$ in $\mathcal{L}$. We compute, using the property (3)

$$ q_1(m_{\mathbf{A}_1}(x_1, y_1)) = q_1(x_1)q_1(y_1) \ge q_2(x_2)q_2(y_2) = q_2(m_{\mathbf{A}_2}(x_2, y_2)). $$

We conclude that $(m_{\mathbf{A}_1} \oplus m_{\mathbf{A}_2}) ((x_1, x_2) \otimes (y_1, y_2)) \in \mathcal{L}$ and the result follows. $\square$

**Proposition 4.3.** Consider $\mathbf{A}_1 \in \{\mathbf{R}, \mathbf{C}'\}$ and $\mathbf{A}_2 \in \{\mathbf{R}, \mathbf{C}, \mathbf{H}, \mathbf{O}\}$, with respective quadratic forms $q_1$ and $q_2$, and the cone $\mathcal{L}$ defined in (6). Then the cone $\mathcal{L}$ is resilient.

We conclude from Lemma 4.2 and Proposition 4.3 that the Lorentz cone $\mathcal{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 $\mathcal{L}_N$ implies the resilience of $\mathcal{L}_n$ for every $n \le 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 \ge 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_{\mathbf{A}_1} \oplus m_{\mathbf{A}_2}$ is $(\mathcal{L} \otimes_{\min} \mathcal{L}, \mathcal{L})$-positive. By Lemma 2.3, its adjoint $(m_{\mathbf{A}_1} \oplus m_{\mathbf{A}_2})^*$ is therefore $(\mathcal{L}, \mathcal{L} \otimes_{\max} \mathcal{L})$-positive. We conclude by Lemma 2.6 that the map

$$ J := (m_{\mathbf{A}_1} \oplus m_{\mathbf{A}_2}) \circ I_{\alpha, \beta}^{\otimes 2} \circ (m_{\mathbf{A}_1} \oplus m_{\mathbf{A}_2})^* $$

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

$$ (\alpha', \beta') = \begin{cases} (\alpha^2, n\beta^2) & \text{if } \mathbf{A}_1 = \mathbf{R} \\ (\alpha^2 + \beta^2, \frac{2\alpha\beta + \beta^2 n^2}{n+1}) & \text{if } \mathbf{A}_1 = \mathbf{C}' \end{cases} \quad (7) $$

where $n = \dim(\mathbf{A}_2)$. We only justify this formula when $\mathbf{A}_1 = \mathbf{C}'$, the case $\mathbf{A}_1 = \mathbf{R}$ being similar and simpler. Let $(e_0, e_1)$ and $(f_1, \dots, f_n)$ the canonical bases of $\mathbf{A}_1$ and $\mathbf{A}_2$ respectively. We have

$$ I_{\alpha, \beta} = \alpha|e_0\rangle\langle e_0| + \beta|e_1\rangle\langle e_1| + \beta \sum_{i=1}^{n} |f_i\rangle\langle f_i|. $$
Using (4) and (5), it follows that

$$J = (\alpha^2 + \beta^2)|e_0\rangle\langle e_0| + 2\alpha\beta|e_1\rangle\langle e_1| + \beta^2 n \sum_{k=1}^{n} |f_k\rangle\langle f_k|$$

applying the twirling operator yields (7). In particular we have

$I_{1,\beta}$ max-entanglement annihilating $\implies I_{1,f(\beta)}$ max-entanglement annihilating

where

$$f(\beta) = \begin{cases} n\beta^2, & \text{if } \mathbf{A}_1 = \mathbf{R} \\ \frac{\beta(2+n^2\beta)}{(n+1)(1+\beta^2)}, & \text{if } \mathbf{A}_1 = \mathbf{C}' \end{cases}.$$

Let $\beta_0$ the largest $\beta > 0$ such that $I_{1,\beta}$ is max-entanglement annihilating. We have $f(\beta_0) \le \beta_0$, which implies that

$$\beta_0 \le \begin{cases} \frac{1}{n} & \text{if } \mathbf{A}_1 = \mathbf{R} \\ \frac{1}{n-1} & \text{if } \mathbf{A}_1 = \mathbf{C}' \end{cases}.$$

In both cases, it follows that whenever $I_{1,\beta}$ is max-entanglement annihilating, then $\beta \le (\dim L - 1)^{-1}$ and therefore $I_{1,\beta}$ is max-entanglement breaking by Lemma 3.3. We conclude that $L$ is resilient. □

**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(\mathbf{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 \ge 1$. There is an element $z_{n,k}$ in the Euclidean space $(\mathbf{R}^n)^{\otimes k}$ with the following properties.

1. For every $x_1, \dots, x_k \in \mathbf{R}^n$, we have

$$\langle x_1 \otimes \dots \otimes x_k, z_{n,k} \rangle \le \|x_1\|_2 \dots \|x_k\|_2;$$

2. we have

$$\|z_{n,k}\|_2^2 \ge \frac{n^k}{N(n)}.$$

*Proof.* Set $N = N(n)$. Let $E \subset \mathcal{M}_N(\mathbf{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} \mathrm{Tr}(AB)$. Let $\Theta: \mathbf{R}^n \to \mathcal{M}_N(\mathbf{R})$ denote the function

$$\Theta(x) = \sum_{i=1}^{n} x_i A_i.$$
Since $(A_1, \dots, A_n)$ is an orthonormal basis, we have

$$ \mathrm{Tr} \left[ \Theta(x)^T \Theta(x) \right] = N \|x\|_2^2. $$

Together with the fact that $\Theta(x)$ is a multiple of an orthonormal matrix, this implies that
$\Theta(x)^T \Theta(x) = \|x\|_2^2 \mathbb{1}_N$. For $i, j \in \{1, \dots, N\}$ we define

$$ z(i, j) = \sum_{l_1, \dots, l_k = 1}^{n} \left[ \Theta(e_{l_1}) \cdots \Theta(e_{l_k}) \right]_{ij} e_{l_1} \otimes \cdots \otimes e_{l_k} \in (\mathbf{R}^n)^{\otimes k}. \quad (8) $$

We first check that each such tensor satisfies the first conclusion of Lemma 4.4. For $x_1, \dots, x_k \in \mathbf{R}^n$ an easy computation shows that

$$ \langle x_1 \otimes \dots \otimes x_k, z_k(i, j) \rangle = [\Theta(x_1) \cdots \Theta(x_k)]_{ij}. $$

Using first that $e_i \langle e_i, \cdot \rangle \le 1_N$ in the Loewner order for any $i \in \{1, \dots, n\}$ and that $M_N \ni X \mapsto A^T X A$ preserves the Loewner order for any matrix $A \in M_N$, and then the properties of $\Theta(\cdot)$ outlined above, we find that

$$ \begin{aligned} [\Theta(x_1) \cdots \Theta(x_k)]_{ij}^2 &= \langle e_j, \Theta(x_k)^T \cdots \Theta(x_1)^T e_i \rangle \langle e_i, \Theta(x_1) \cdots \Theta(x_k) e_j \rangle \\ &\le \langle e_j, \Theta(x_1) \cdots \Theta(x_k) \Theta(x_k)^T \cdots \Theta(x_1)^T e_j \rangle \\ &\le \|x_1\|_2^2 \cdots \|x_k\|_2^2. \end{aligned} $$

We now compute

$$ \begin{aligned} & \sum_{i,j=1}^{N} \|z(i,j)\|_2^2 \\ &= \sum_{i,j=1}^{N} \sum_{l_1, \dots, l_k=1}^{n} \langle e_j, \Theta(e_{l_k})^T \cdots \Theta(e_{l_1})^T e_i \rangle \langle e_i, \Theta(e_{l_1}) \cdots \Theta(e_{l_k}) e_j \rangle \\ &= \mathrm{Tr} \left[ \Theta(e_{l_k})^T \cdots \Theta(e_{l_1})^T \Theta(e_{l_1}) \cdots \Theta(e_{l_k}) \right] = N n^k, \end{aligned} $$

where we used the properties of $\Theta(\cdot)$. It follows that there exists $i_0, j_0 \in \{1, \dots, N\}$ such that $\|z(i_0, j_0)\|_2^2 \ge 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 $L_n \subset \mathbf{R}^{n+1}$ can be identified with the cone over the unit ball in the Euclidean space $\mathbf{R}^n$, which has enough symmetries. We use the results from Sect. 3.2 and consider the isotropic maps

$$ I_{\alpha, \beta} := \alpha \pi_1 + \beta \pi_2 $$

for $\alpha > 0$ and $\beta \in \mathbf{R}$ such that $I_{\alpha, \beta}$ is max-entanglement annihilating. Fix $k \in \mathbb{N}$ and let $z_{n,k} \in (\mathbf{R}^n)^{\otimes k}$ be the tensor given by Lemma 4.4. We consider $z_{n,k}$ as an element of $(\mathbf{R}^{n+1})^{\otimes k}$ by identifying $\mathbf{R}^n$ with the subspace $\{(0, x) : x \in \mathbf{R}^n\} \subset \mathbf{R}^{n+1}$. We claim that the tensors $z^+$ and $z^-$ defined by

$$ z^{\pm} = e_0^{\otimes k} \pm z_{n,k} $$
belong to $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 L_n$ (identified with $L_n^*$) and find that

$$ \begin{aligned} \langle x_1 \otimes \cdots \otimes x_k, z^{\pm} \rangle &= t_1 \cdots t_k \pm \langle y_1 \otimes \cdots \otimes y_k, z_{n,k} \rangle \\ &\ge t_1 \cdots t_k - \|y_1\|_2 \cdots \|y_k\|_2 \\ &\ge 0. \end{aligned} $$

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 L_n^{\otimes \min^k}$ and therefore

$$ 0 \le \langle z^{\pm}, I_{\alpha, \beta}(z^+) \rangle = \alpha^k \pm \beta^k \|z_{n,k}\|_2^2. $$

If we choose the sign $\pm$ such that $\pm \beta^k \le 0$, we have

$$ \alpha^k \ge \beta^k \|z_{n,k}\|_2^2 \ge \frac{|\beta|^k n^k}{N(n)} $$

and the inequality $\alpha \ge |\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 $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 $C_1$ and $C_2$, we can study their properties relative to a third cone $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 $(C_1, 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 $\text{PSD}_d$ and the Lorentz cones $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 $K$.

**Definition 5.1.** Let $C_1 \subset V_1$, $C_2 \subset V_2$, $K \subset V_3$ denote proper cones.

(1) We say that a $(C_1, C_2)$-positive map $P : V_1 \to V_2$ factors through $K$ if it can be written as a finite sum $\sum_i S_i \circ R_i$ with $(K, C_2)$-positive maps $S_i$ and $(C_1, K)$-positive maps $R_i$. We denote the cone of $(C_1, C_2)$-positive maps factoring through $K$ by $\mathcal{F}_K(C_1, C_2)$.

(2) We say that a $(C_1, C_2)$-positive map $P : V_1 \to V_2$ breaks the entanglement with $K$ if $S \circ P \circ R$ is $K$-max-entanglement breaking for any $(C_2, K)$-positive map $S : V_2 \to V_3$ and any $(K, C_1)$-positive map $P : V_3 \to V_1$. We denote the cone of $(C_1, C_2)$-positive maps breaking the entanglement with $K$ by $\mathcal{E}B_K(C_1, C_2)$.
If $K = \mathbf{R}^+$ is a 1-dimensional cone, maps which factor through $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 $C_1 \subset V_1$, $C_2 \subset V_2$, $K \subset V_3$ and a $(C_1, C_2)$-positive map $P : V_1 \to V_2$. The following are equivalent:

(1) $P \in \mathcal{E}\mathcal{B}_K(C_1, C_2)$.

(2) $(\mathrm{id}_{V_3} \otimes P)(K^* \otimes_{\max} C_1) \subseteq K^* \otimes_{\min} C_2$.

(3) The composition $P \circ R$ is $(K, C_2)$-max-entanglement breaking for every $(K, C_1)$-positive map $R : V_3 \to V_1$.

(4) The composition $S \circ P$ is $(C_1, K)$-max-entanglement breaking for every $(C_2, K)$-positive map $S : V_2 \to 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 $K^*$-entanglement). For proper cones $C_1 \subset V_1$, $C_2 \subset V_2$, $K \subset V_3$ we have

$$ \mathcal{F}_K(C_1, C_2)^\circ = \mathcal{E}\mathcal{B}_{K^*}(C_1^*, C_2^*) $$

*Proof.* To show that $\mathcal{E}\mathcal{B}_{K^*}(C_1^*, C_2^*) \subseteq \mathcal{F}_K(C_1, C_2)^\circ$ consider $P \in \mathcal{E}\mathcal{B}_{K^*}(C_1^*, C_2^*)$. Using cyclicity of the trace and Lemma 2.4 we find

$$ \langle S \circ R, P \rangle = \mathrm{Tr}[R^* \circ S^* \circ P] = \mathrm{Tr}[S^* \circ P \circ R^*] \ge 0, $$

for any $S \in \mathcal{P}(K, C_2)$ and $R \in \mathcal{P}(C_1, K)$. This shows that $P \in \mathcal{F}_K(C_1, C_2)^\circ$.

To show that $\mathcal{E}\mathcal{B}_{K^*}(C_1^*, C_2^*) \supseteq \mathcal{F}_K(C_1, C_2)^\circ$ assume that $P : V_1 \to V_2$ satisfies $P \notin \mathcal{E}\mathcal{B}_{K^*}(C_1^*, C_2^*)$. By definition there exist $S_1 \in \mathcal{P}(K, C_2)$ and $R \in \mathcal{P}(C_1, K)$ such that $S_1^* \circ P \circ R^* \neq 0$ is not $K^*$-max-entanglement breaking. By duality of max-entanglement breaking maps and positive maps there exists an $S_2 \in \mathcal{P}(K, K)$ such that

$$ \langle S_2, S_1^* \circ P \circ R^* \rangle = \mathrm{Tr}[S_2^* \circ S_1^* \circ P \circ R^*] = \langle S_1 \circ S_2 \circ R, P \rangle < 0. $$

Since $S_1 \circ S_2 \circ R \in \mathcal{F}_K(C_1, C_2)$, this shows that $P \notin \mathcal{F}_K(C_1, C_2)^\circ$ and thereby finishes the proof. $\square$

**Theorem 5.4** (Max-entanglement annihilating maps break some entanglement). Let $C_1 \subset V_1$ and $C_2 \subset V_2$ denote proper cones and $K \subset V_3$ a resilient cone. If a positive map $P : V_1 \to V_2$ is $(C_1, C_2)$-max-entanglement annihilating, then

$$ P^{\otimes n} \in \mathcal{E}\mathcal{B}_K(C_1^{\otimes \max n}, C_2^{\otimes \min n}) $$

for every $n \in \mathbb{N}$.

*Proof.* Assume that $P : V_1 \to V_2$ is $(C_1, C_2)$-max-entanglement annihilating and that there is a $n \in \mathbb{N}$ such that

$$ P^{\otimes n} \notin \mathcal{E}\mathcal{B}_K(C_1^{\otimes \max n}, C_2^{\otimes \min n}). $$

By definition there exist a $(K, C_1^{\otimes \max n})$-positive map $R : V_3 \to V_1^{\otimes n}$ and a $(C_2^{\otimes \min n}, K)$-positive map $S : V_2^{\otimes n} \to V_3$ such that $Q = S \circ P^{\otimes n} \circ R$ is not $K$-max-entanglement breaking. By Lemma 2.6 we find that $Q$ is $K$-max-entanglement annihilating, contradicting that $K$ was resilient. This finishes the proof. $\square$
The following corollary follows from the previous theorem and the fact that $\mathcal{E}\mathcal{B}\mathbb{R}^+(C_1, C_2)$ is the set of $(C_1, C_2)$-positive maps.

**Corollary 5.5 (Max-entanglement annihilating maps break Lorentz-entanglement).** Let $C_1 \subset V_1$ and $C_2 \subset V_2$ denote proper cones. A positive map $P: V_1 \to V_2$ is $(C_1, C_2)$-max-entanglement annihilating if and only if

$$P^{\otimes n} \in \mathcal{E}\mathcal{B}_{L_k}(C_1^{\otimes \max n}, C_2^{\otimes \min n})$$

for every $n, k \in \mathbb{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 $C_1 = C_2 = \text{PSD}(C^d)$ for some $d \in \mathbb{N}$.

**5.2. Positive maps on $\text{PSD}(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: M_{d_B} \to M_{d_A}$ factoring through a Lorentz cone $L_k$. For any max-entanglement annihilating map $P: M_{d_A} \to M_{d_B}$ the composition $Q \circ P: M_{d_A} \to 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 \mathbb{R}^{n+1} \otimes M_d^{sa}$ with matrix-valued vectors $(X_0, X_1, \dots, 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

$$X = (X_0, X_1, \dots, X_n) \in \mathbb{R}^{n+1} \otimes M_d^{sa}$$

the following are equivalent:

$$ (1) X \in L_n \otimes_{\max} \text{PSD}(C^d), $$

$$ (2) X_0 \ge 0 \text{ and} $$

$$ X_0 \otimes X_0 - \sum_{s=1}^{n} X_s \otimes X_s \in \text{PSD}(C^d) \otimes_{\max} \text{PSD}(C^d). $$

**Proof.** We have $X \in L_n \otimes_{\max} \text{PSD}(C^d)$ if and only if

$$(\text{Tr}[YX_0], \text{Tr}[YX_1], \dots, \text{Tr}[YX_n]) \in L_n \quad (9)$$

for any $Y \ge 0$. For any $X \in \mathbb{R}^{n+1} \otimes M_d^{sa}$ satisfying the second statement, we have $\text{Tr}(YX_0) \ge 0$ and $\text{Tr}(YX_s) \in \mathbb{R}$ for all $s \in \{1, \dots, n\}$ and

$$ \text{Tr} \left[ (Y \otimes Y) \left( X_0 \otimes X_0 - \sum_{s=1}^{n} X_s \otimes X_s \right) \right] = \text{Tr}[YX_0]^2 - \sum_{s=1}^{n} \text{Tr}[YX_s]^2 \ge 0, $$
which shows that (9) holds. This implies the first statement. Conversely, assume that (9) holds for any $Y \ge 0$. Clearly, this implies that $X_0 \ge 0$. By the symmetries of the Lorentz cone we also have

$$ (\mathrm{Tr}[YX_0], -\mathrm{Tr}[YX_1], \dots, -\mathrm{Tr}[YX_n]) \in \mathcal{L}_n, $$

for any $Y \ge 0$. Using that the Lorentz cones are self-dual we find that

$$ \begin{aligned} & \mathrm{Tr} \left[ (Y \otimes Z) \left( X_0 \otimes X_0 - \sum_{s=1}^{n} X_s \otimes X_s \right) \right] \\ & = \mathrm{Tr}[YX_0] \mathrm{Tr}[ZX_0] - \sum_{s=1}^{n} \mathrm{Tr}[YX_s] \mathrm{Tr}[ZX_s] \ge 0 \end{aligned} $$

for any $Y, Z \ge 0$, which implies the second statement. $\square$

Consider a positive map $P : \mathcal{M}_d \to \mathcal{M}_d$ with 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(P \circ \vartheta_d)$ 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

$$ C_P = X_0 \otimes X_0 + \sum_{i=1}^{n} \lambda_i X_i \otimes X_i, $$

with $X_0 \ge 0$, $\lambda_i \in [-1, 1] \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 \to \mathcal{M}_d$ positive with rk($P$) = $n+1$ and satisfying $P = \vartheta_d \circ P^* \circ \vartheta_d$. Let

$$ C_P = X_0 \otimes X_0 + \sum_{i=1}^{n} \lambda_i X_i \otimes X_i $$

be the canonical form, i.e. $\{X_i\}_{i=0}^n$ forms an orthonormal basis of Hermitian matrices, $X_0 \ge 0$, and $\lambda_i \in [-1, 1] \setminus \{0\}$. Then, the following are equivalent:

(1) For all $i \in \{1, \dots, n\}$ we have $\lambda_i < 0$.

(2) There exist Hermitian matrices $Y_0, Y_1, \dots, Y_k$ for some $k \in \mathbb{N}$ and

$$ \mu_0, \mu_1, \dots, \mu_k \ge 0, $$

such that

$$ C_P = \mu_0 Y_0 \otimes Y_0 - \sum_{i=1}^{k} \mu_i Y_i \otimes Y_i. $$
**Proof.** Clearly, the first statement implies the second. For the other direction, we define the matrix $M \in \mathbf{R}^{(k+1) \times (n+1)}$ with entries $M_{ij} = \text{Tr}[Y_i X_j]$. The second statement implies that

$$ \text{diag}(1, \lambda_1, \dots, \lambda_n) = M^T \text{diag}(1, -\mu_1, \dots, -\mu_k) M. \quad (10) $$

Since its left-hand-side has rank $n+1$, (10) can only hold when $k \ge 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}(1, \lambda_1, \dots, \lambda_n)$ 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}(\mathbf{R})$ and $V \in \mathcal{M}_{n+1}(\mathbf{R})$ and a matrix $S \in \mathbf{R}^{(k+1) \times (n+1)}$ of the form $(S_1, \mathbf{0})^T$, where $S_1 \in \mathcal{M}_{n+1}(\mathbf{R})$ is a positive diagonal matrix and $\mathbf{0} \in \mathbf{R}^{(k-n) \times (n+1)}$ is the zero matrix. Setting $A = V \text{diag}(1, \lambda_1, \dots, \lambda_n) V^T$ and $B = U^T \text{diag}(1, -\mu_1, \dots, -\mu_k) U$ we find that (10) is equivalent to

$$ A = S^T B S = S_1 B_1 S_1, $$

where $B_1 \in \mathcal{M}_{n+1}(\mathbf{R})$ is the block in the block-decomposition

$$ B = \begin{pmatrix} B_1 & B_2 \\ B_2^T & B_3 \end{pmatrix}. $$

By Cauchy's interlacing theorem, we have $\lambda_j^{\downarrow}(B) \ge \lambda_j^{\downarrow}(B_1)$ for all $j \in \{0, 1, \dots, n\}$, where $\lambda_j^{\downarrow}(\cdot)$ denotes the $j$th eigenvalue in decreasing order. Since the eigenvalues of $B$ are $(\mu_0, -\mu_1, \dots, -\mu_n)$, we find that $\lambda_j^{\downarrow}(B_1) < 0$ for all $j \in \{1, \dots, n\}$. Because the eigenvalues of $A$ are $(1, \lambda_1, \dots, \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 \to \mathcal{M}_d$ with rk($P$) = $k+1$ the following are equivalent:

(1) The spectral radius $R(P)$ is a simple eigenvalue and all other eigenvalues of $P$ are zero or negative.

(2) There exists an $(\mathbb{L}_k, \text{PSD}_d)$-positive map $\alpha : \mathbf{R}^{k+1} \to \mathcal{M}_d$ such that

$$ P = \alpha \circ A \circ \alpha^* \circ \vartheta_d, $$

where $A : \mathbf{R}^{k+1} \to \mathbf{R}^{k+1}$ denotes the $\mathbb{L}_k$-positive map given by $A(e_0) = e_0$ and $A(e_i) = -e_i$ for each $i \in \{1, \dots, k\}$.

In either case, the positive map $P : \mathcal{M}_d \to \mathcal{M}_d$ factors through $\mathbb{L}_k$.

**Proof.** If $\mu_0 = R(P)$ is a simple eigenvalue and all other eigenvalues of $P$ are zero or negative, then we can decompose

$$ C_{P \circ \vartheta_d} = \mu_0 Y_0 \otimes Y_0 - \sum_{i=1}^{k} \mu_i Y_i \otimes Y_i, $$
for Hermitian matrices $Y_0, Y_1, \dots, Y_k$ and $\mu_0, \dots, \mu_k \ge 0$. By Proposition 5.7 we may set $\alpha(e_i) = \mu_i^{1/2}Y_i$ and, by linear extension, we obtain an $(L_k, \text{PSD}_d)$-positive map $\alpha : \mathbf{R}^{k+1} \to \mathcal{M}_d$. Clearly, the second statement holds for this map.

To show the reverse direction assume that there exists an $(L_k, \text{PSD}_d)$-positive map $\alpha : \mathbf{R}^{k+1} \to \mathcal{M}_d$ such that

$$P = \alpha \circ A \circ \alpha^* \circ \vartheta_d.$$

By defining $Y_i := \alpha(e_i)$ for any $i \in \{1, \dots, k\}$ we have

$$C_{P \circ \vartheta_d} = Y_0 \otimes Y_0 - \sum_{i=1}^{k} Y_i \otimes Y_i,$$

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 \to \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}(C_{R \circ \vartheta_d}) = 2$ (see [TH00] for this fact and the definition of the Schmidt number $\text{SN}$), which implies that $R$ factors through $\text{PSD}(\mathbf{C}^2) \simeq \mathbf{L}_3$.

* **Breuer-Hall map:** The Breuer-Hall map $B : \mathcal{M}_4 \to \mathcal{M}_4$ was introduced in [Bre06, Hal06] as an example of a non-decomposable positive map. It is given by

$$B(X) = \text{Tr}(X)\mathbf{1}_4 - X - U X^T U^\dagger,$$

for the antisymmetric unitary $U = \sigma_y \otimes \mathbf{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

$$B = \alpha \circ A \circ \alpha^* \circ \vartheta_4,$$

for the linear map $\alpha : \mathbf{R}^6 \to \mathcal{M}_4$ embedding $\mathbf{L}_5 \simeq \text{PSD}(\mathbf{H}^2)$ into $\text{PSD}(\mathbf{C}^4)$ as

$$\alpha(x) = \begin{pmatrix} x_0 + x_5 & x_4 - ix_3 & 0 & x_2 - ix_1 \\ x_4 + ix_3 & x_0 - x_5 & -x_2 + ix_1 & 0 \\ 0 & -x_2 - ix_1 & x_0 + x_5 & x_4 + ix_3 \\ x_2 + ix_1 & 0 & x_4 - ix_3 & x_0 - x_5 \end{pmatrix}.$$

Hence, the Breuer-Hall map $B$ factors through the Lorentz cone $\mathbf{L}_5$.

* **Projections onto spin factors:** A set $\{s_1, \dots, s_k\} \subset \mathcal{M}_d$ with $k \ge 2$ is called a spin system if each $s_i$ is a Hermitian unitary and such that $s_i s_j + s_j s_i = 0$ when $i \ne j$. The subalgebra $A = \text{span}\{\mathbf{1}_d, s_1, \dots, s_k\}$ of Hermitian matrices is called a spin factor. For each spin factor $A \subset \mathcal{M}_d^{sa}$ there is a positive faithful projection $P_A : \mathcal{M}_d \to \mathcal{M}_d$ such that $P_A(\mathcal{M}_d^{sa}) = 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, \dots, s_k\} \subset \mathcal{M}_d$ and the corresponding spin factor $A$ it is easy to check that

$$P_A = \phi \circ \phi^*,$$
for the linear map $\phi : \mathbf{R}^{k+1} \to \mathcal{M}_d$ given by $\phi(e_0) = \mathbb{1}_d$ and $\phi(e_i) = s_i$ for $i \in \{1, \dots, k\}$. Moreover, note that for every $x \in \mathbf{R}^k$ we have

$$ \left( \sum_{i=1}^{k} x_i s_i \right)^2 = \|x\|_2^2 \mathbb{1}_d, $$

and therefore $\phi(\mathbf{L}_k) \subseteq \text{PSD}(\mathbf{C}^d)$. We conclude that $P_A$ factors through the Lorentz cone $\mathbf{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 $C_X$ associated to a finite-dimensional normed space $X$. By Theorem 3.1, resilience of $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

$$ \|z\|_{\varepsilon_k(X)} = \sup \left\{ \left| (\lambda_1 \otimes \cdots \otimes \lambda_k)(z) \right| : \lambda_1, \dots, \lambda_k \in B_{X^*} \right\}, $$

and the projective tensor norm, given by

$$ \|z\|_{\pi_k(X)} = \inf \left\{ \sum_{i=1}^{n} \|x_i^{(1)}\|_{X} \cdots \|x_i^{(k)}\|_{X} : n \in \mathbb{N}, z = \sum_{i=1}^{n} x_i^{(1)} \otimes \cdots \otimes x_i^{(k)} \right\}. $$

It is well-known that $\|z\|_{\varepsilon_k(X)} \le \|z\|_{\pi_k(X)}$ for all $k \in \mathbb{N}$, which implies the inclusion

$$ C_{\pi_k(X)} \subseteq C_{\varepsilon_k(X)}, $$

of the corresponding cones. In [AMH21], we studied the quantities

$$ \tau_k(T) = \|T^{\otimes k}\|_{\varepsilon_k(X) \to \pi_k(Y)}^{1/k} = \left( \sup_{z \in X^{\otimes k}} \frac{\|T^{\otimes k} z\|_{\pi_k(Y)}}{\|z\|_{\varepsilon_k(X)}} \right)^{\frac{1}{k}}, \quad (11) $$

for every $k \in \mathbb{N}$ and any linear operator $T : X \to Y$. Furthermore, we showed that the limit $\tau_{\infty}(T) := \lim_{k \to \infty} \tau_k(T)$ exists and satisfies

$$ \|T\|_{X \to Y} = \tau_1(T) \le \tau_k(T) \le \tau_{\infty}(T) \le \|T\|_{N(X \to Y)}. \quad (12) $$

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

$$ \sqrt{n} \le \rho_{\infty}(X) \le n, $$

with $\rho_{\infty}(X) = \|\mathrm{id}_X\|_{N(X \to X)} = n$ if and only if X is Euclidean.

* If X has enough symmetries, then we have

$$ \rho_{\infty}(X) = \frac{n}{\mathrm{d}(X, \ell_2^d)}, $$

where $\mathrm{d}(X, Y)$ denotes the Banach–Mazur distance, given by

$$ d(X, Y) = \inf\{\|U\|_{X \to Y} \|U^{-1}\|_{Y \to X} : U : X \to Y \text{ linear bijection}\}. $$

* If X is Euclidean, then we have $\tau_{\infty}(T) = \|T\|_N$ for every linear operator $T : X \to Y$ or $T : Y \to 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 \mathbf{R} \oplus X$ and we sometimes identify X with its embedding into $\mathbf{R} \oplus X$ by $x \mapsto (0, x)$. With this convention, we consider the subspace $X_k \subset (\mathbf{R} \oplus X)^{\otimes k}$ given by

$$ X_k = \operatorname{span} (\{e_0^{\otimes k}\} \cup X^{\otimes k}) \subset (\mathbf{R} \oplus X)^{\otimes k}. $$

Note that $X_k$ consists of the vectors of the form $e_0^{\otimes k} + z$, where $z \in X^{\otimes k}$ is identified with its canonical embedding into $(\mathbf{R} \oplus X)^{\otimes k}$. We will denote by $\Pi_{X_k} : (\mathbf{R} \oplus X)^{\otimes k} \to (\mathbf{R} \oplus X)^{\otimes k}$ the orthogonal projection onto the subspace $X_k$. The following lemma is a multipartite 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

$$ \mathbf{C}_X^{\otimes \max k} \cap X_k = \Pi_{X_k}(\mathbf{C}_X^{\otimes \max k}) = \mathbf{C}_{\varepsilon_k}(X), $$

$$ \mathbf{C}_X^{\otimes \min k} \cap X_k = \Pi_{X_k}(\mathbf{C}_X^{\otimes \min k}) = \mathbf{C}_{\pi_k}(X). $$

Inspired by Lemma 6.2 we can define tensor products of the cone $\mathbf{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

$$ \mathbf{C}_X^{\hat{\otimes} k} = \{z \in \mathbf{C}_X^{\otimes \max k} : \Pi_{X_k}(z) \in \mathbf{C}_{\pi_k}(X)\}, $$

and

$$ \mathbf{C}_X^{\hat{\otimes} k} = \mathbf{C}_X^{\otimes \min k} \lor \mathbf{C}_{\varepsilon_k}(X). $$
To illustrate these tensor product, we compute them for the case of $k = 2$ and $C_X = L_3 \simeq \text{PSD}(C^2)$, i.e., the case of two qubits.

*Example 1.* The Pauli basis is an orthogonal basis of $M_2$ with respect to the Hilbert–Schmidt inner product, and given by

$$ \sigma_0 = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}, \sigma_1 = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \sigma_2 = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}, \sigma_3 = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}. $$

The spinor map $S: \mathbf{R}^4 \to M_2^{sa}$ is given by

$$ S(t, x_1, x_2, x_3) = t\sigma_0 + \sum_{i=1}^{3} x_i\sigma_i, $$

and it defines an order-isomorphism between the cones $L_3$ and $\text{PSD}(C^2)$. It is easy to compute that

$$ \|z\|_{\pi_2(\ell_2^n)} = \|z\|_1, \quad \text{and} \quad \|z\|_{\varepsilon_2(\ell_2^n)} = \|z\|_{\infty}, \qquad (13) $$

where we interpret $z \in \mathbf{R}^n \otimes \mathbf{R}^n$ as an $n \times n$ matrix, and where $\| \cdot \|_1$ is the trace-norm, and $\| \cdot \|_{\infty}$ is the operator norm. Finally, we need the moment map $M: M_2 \otimes M_2 \to M_4$ given by

$$ M(X)_{ij} = \text{Tr} [X(\sigma_i \otimes \sigma_j)]. $$

Using the spinor map and (13), it is easy to verify that

$$ Z \in \text{PSD}(C^2) \hat{\otimes} \text{PSD}(C^2) \text{ if and only if } Z = S + W, $$

for some $S \in \text{PSD}(C^2) \otimes_{\min} \text{PSD}(C^2)$ and some $W \in M_2 \otimes M_2$ satisfying $M(W)_{ij} = 0$ whenever $i = 0 \neq j$ or $i \neq 0 = j$, and such that

$$ \text{Tr}[W] \geq \| [M(W)_{ij}]^3 \|_{\infty}. $$

Again using the spinor map and (13), we have

$$ \begin{aligned} \text{PSD}(C^2) \check{\otimes} \text{PSD}(C^2) &= \{Z \in \text{PSD}(C^2) \otimes_{\max} \text{PSD}(C^2) : \text{Tr}[Z] \\ &\geq \| [M(Z)_{ij}]^3 \|_{\infty} \}. \end{aligned} $$

It is easy to check that

$$ C_X^{\otimes \min k} \subseteq C_X^{\otimes k} \subseteq C_X^{\otimes \max k} \quad \text{and} \quad C_X^{\otimes \min k} \subseteq C_X^{\otimes k} \subseteq C_X^{\otimes \max k}, $$

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

$$ (C_X^{\otimes k})^* = C_{X^*}^{\otimes k}. $$
Proof. Any $z \in C_X^{\otimes k}$ can be written as a sum $z = z_1 + z_2$ with $z_1 \in C_X^{\otimes \min k}$ and

$$z_2 \in C_{\varepsilon_k}(X) = \Pi_{X_k} (C_X^{\otimes \max k}),$$

by Lemma 6.2. For any $y \in C_{X_*}^{\otimes k}$ we have $\langle y, z_1 \rangle \ge 0$, and we have

$$\langle y, z_2 \rangle = \langle \Pi_{X_k}(y), z_2 \rangle \ge 0,$$

since $\Pi_{X_k}(y) \in C_{\pi_k(X^*)} = (C_{\varepsilon_k(X)})^*$. We conclude that $C_{X_*}^{\otimes k} \subseteq (C_X^{\otimes k})^*$.

For the converse direction, consider $y \in (C_X^{\otimes k})^*$. Since $C_X^{\otimes \min k} \subseteq C_X^{\otimes k}$ we have $y \in C_{X_*}^{\otimes \max k}$, and since

$$C_{\varepsilon_k}(X) = \Pi_{X_k} (C_X^{\otimes \max k}) \subseteq C_X^{\otimes k},$$

by Lemma 6.2, we find that $\Pi_{X_k}(y) \in (C_{\varepsilon_k(X)})^* = C_{\pi_k(X^*)}$. $\square$

The relevance of the tensor products $\otimes$ and $\otimes$ comes from the following theorem, where, given $\alpha \in \mathbf{R}$ and $P: X \to Y$, we denote by $\tilde{P}_\alpha$ the central map $\alpha \oplus P$.

**Theorem 6.5.** Let $X, Y$ be normed spaces, $P: X \to Y$ a linear map, and $\alpha \in \mathbf{R}^+$. The following are equivalent:

(1) $\tau_\infty(P) \le \alpha$.

(2) $\tilde{P}_\alpha^{\otimes k} (C_X^{\otimes k}) \subseteq C_Y^{\otimes \min k}$ for any $k \in \mathbb{N}$.

(3) $\tilde{P}_\alpha^{\otimes k} (C_X^{\otimes \max k}) \subseteq C_Y^{\otimes k}$ for any $k \in \mathbb{N}$.

Proof. Note first, that any of the three conditions implies that $\tilde{P}_\alpha$ is $(C_X, C_Y)$-positive, or equivalently that $\|P\| \le \alpha$. This implies that $\tilde{P}_\alpha^{\otimes k}$ is both $(C_X^{\otimes \min k}, C_Y^{\otimes \min k})$-positive and $(C_X^{\otimes \max k}, 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 C_Y^{\otimes \min k}$ whenever $w \in C_X^{\otimes \min k}$ or $w \in C_{\varepsilon_k(X)}$. Since $\tilde{P}_\alpha^{\otimes k}$ is $(C_X^{\otimes \min k}, C_Y^{\otimes \min k})$-positive, the first case is clear. For the second case, consider $w \in C_{\varepsilon_k(X)}$, which can be written as $w = z_0 e_0^{\otimes k} + z$ for $z \in X^{\otimes k}$ such that $z_0 \ge \|z\|_{\varepsilon_k(X)}$. Now, we have

$$\tilde{P}_\alpha^{\otimes k}(w) = \alpha^k z_0 e_0^{\otimes k} + P^{\otimes k}(z).$$

Since $\|P^{\otimes k}(z)\|_{\pi_k(Y)} \le \tau_k(P)^k \|z\|_{\varepsilon_k(X)} \le \alpha^k z_0$, we conclude that

$$\tilde{P}_\alpha^{\otimes k}(w) \in C_{\pi_k(Y)} \subset C_Y^{\otimes \min k},$$

as needed.

To show that (2) $\Rightarrow$ (3) consider $z \in C_X^{\otimes \max k}$. We already observed that $\tilde{P}^{\otimes k}(z) \in C_X^{\otimes \max k}$. By Lemma 6.2, $\Pi_{X_k}(z) \in C_{\varepsilon_k(X)} \subset C_X^{\otimes k}$; and (2) implies that

$$\Pi_{Y_k} (\tilde{P}_\alpha^{\otimes k}(z)) = \tilde{P}_\alpha^{\otimes k} (\Pi_{X_k}(z)) \in C_Y^{\otimes \min k},$$

so that (3) holds by definition of $\otimes$.
We finally show that (3) ⇒ (1). Consider $z \in X^{\otimes k}$ such that $\|z\|_{\varepsilon_k(X)} \le 1$, and set
$$w = e_0^{\otimes k} + z \in C_{\varepsilon_k(X)} \subset C_X^{\otimes \max k}.$$ By assumption, we have

$$\Pi_{Y_k} (\tilde{P}_{\alpha}^{\otimes k}(w)) = \alpha^k e_0^{\otimes k} + P^{\otimes k}(z) \in C_{\pi_k(Y)},$$

and we conclude that $\|P^{\otimes k}(z)\|_{\pi_k(Y)} \le \alpha^k$. Since $z$ and $k \in \mathbb{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 $C_X$ can be decided by focusing on central maps, of the form $\tilde{P}_\alpha$ for $P: X \to Y$. If the entanglement of tensors in $C_X^{\otimes k}$ (as used in Sect. 4) is annihilated we can only conclude that $\tau_\infty(P) \le \alpha$. Except in the cases where $X$ is Euclidean (and $C_X$ is a Lorentz cone) we have $\tau_\infty(P) < \|P\|_{N(X \to 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 $C_X$ is not resilient, then we have

$$\tau_{\infty}(P) < \|P\|_{N(X \to X)},$$

for some linear map $P: X \to 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 \to X$ and an $\alpha \ge 0$ such that $\tilde{P}_\alpha$ is not max-entanglement breaking and such that

$$\tilde{P}_{\alpha}^{\otimes k} (C_X^{\otimes k}) \subseteq C_X^{\otimes \min k} \quad \text{and} \quad \tilde{P}_{\alpha}^{\otimes k} (C_X^{\otimes \max k}) \subseteq C_X^{\otimes k}$$

for any $k \in \mathbb{N}$.

The third corollary, considers the case of spaces with enough symmetries:

**Corollary 6.8.** If $X$ has enough symmetries and

$$\frac{d}{d(X, \ell_2^d)} \le \alpha < \|\mathrm{id}_X\|_{N(X \to X)} = d,$$

then the isotropic map $I_\alpha := I_{\alpha,1}$ is not max-entanglement breaking and satisfies

$$(1) \quad I_{\alpha}^{\otimes k} (C_X^{\otimes k}) \subseteq C_X^{\otimes \min k} \quad \text{for any } k \in \mathbb{N}.$$

$$(2) \quad I_{\alpha}^{\otimes k} (C_X^{\otimes \max k}) \subseteq C_X^{\otimes k} \quad \text{for any } k \in \mathbb{N}.$$

It should be noted that Corollary 6.7 identifies many convex cones and natural tensor products (i.e., $\hat{\otimes}$ and $\tilde{\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_1^d$. It is well-known that $\ell_1^d$ has enough symmetries and that $d(X, \ell_2^d) = \sqrt{d}$. Corollary 3.6 implies that the pair $(C_{\ell_1^d}, C_{\ell_1^d})$ 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 losing 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} \le \alpha \le d$. We state this as a proposition:

**Proposition 6.9.** The cone $C_{\ell_1^d}$ is resilient if and only if there exists a

$$ \alpha \in [\sqrt{d}, d), $$

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}: \mathbb{R}^3 \to \mathbb{R}^3$ max-entanglement annihilating for $\alpha = \sqrt{2}$?

It is easy to show that $I_{\sqrt{2}}^{\otimes 2}(C_{\ell_1^2}^{\otimes \max 2}) \subset C_{\ell_1^2}^{\otimes \min 2}$. Surprisingly, numerical experiments show that

$$ I_{\sqrt{2}}^{\otimes 3}(C_{\ell_1^2}^{\otimes \max 3}) \subset C_{\ell_1^2}^{\otimes \min 3}. $$

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 $L_k$. This holds as well, and we even have the following more general result for symmetric cones, i.e., closed convex cones $C$ satisfying $C = C^*$ and such that their automorphism group acts transitively on their interior.

**Theorem 6.11.** Let $C \subset V$ denote a symmetric cone in a Euclidean space $V$. For any $k \in \mathbb{N}$ we have

$$ (\mathrm{id}_V \otimes I_{\sqrt{k}})(C \otimes_{\max} C_{\ell_1^k}) \subseteq C \otimes_{\min} C_{\ell_1^k}. $$

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 $L_n$, the positive semidefinite cones $\mathrm{PSD}(\mathbb{R}^d)$, $\mathrm{PSD}(C^d)$, and $\mathrm{PSD}(\mathbb{H}^d)$, and the cone $\mathrm{PSD}(\mathbf{O}^3)$ 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 $W_n^{\min}(K)$ and the maximal matrix convex set $W_n^{\max}(K)$ are exactly the minimal and maximal tensor products, respectively, of a cone over the convex base set $K \subseteq \mathbb{R}^d$ with $\mathrm{PSD}(C^n)$. Theorem 6.11 shows that in the case of $K = B_{\ell_1^k}$, the positive semidefinite cones $\mathrm{PSD}(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].
**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).

**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/.

**Publisher's Note** Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Appendix A: Properties of Linear Maps Under Finite Tensor Powers

Given cones $C_1, C_2$, we denote by $\mathcal{EB}(C_1, C_2)$ the cone of $(C_1, 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 $C_1 \subset V_1$ and $C_2 \subset V_2$ be proper cones. For every $k \in \mathbb{N}$ let $\mathcal{T}_k$ be a closed convex cone of linear maps from $V_1^{\otimes k}$ into $V_2^{\otimes k}$. We call the sequence $(\mathcal{T}_k)_{k \in \mathbb{N}}$ a $(C_1, C_2)$-compatible sequence of mapping cones if the following conditions are satisfied:

(1) We have $\mathcal{EB}(C_1, C_2) \subseteq \mathcal{T}_1$.

(2) For every $k \in \mathbb{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 C_1^*$ and $x \in C_2$.

Note that combining the two properties in the previous definition shows

$$ \mathcal{EB}(C_1^{\otimes \max k}, C_2^{\otimes \min k}) \subseteq \mathcal{T}_k $$

for every $k \in \mathbb{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 \to V_2$ satisfying

$$ P^{\otimes k}(C_1^{\otimes \max k}) \subseteq C_2^{\otimes \min k}, $$

for some pair of proper cones $C_1$ and $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

$$ \mathcal{T}^{\sharp} = \{Q \in L(V_2, V_1) : \mathrm{Tr}[QP] \ge 0 \forall P \in \mathcal{T}\}. $$

Note that $\mathcal{T}^{\sharp}$ is isomorphic to the dual cone $\mathcal{T}^*$ via the canonical isomorphism 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 $C_1 \subset V_1$ and $C_2 \subset V_2$ be proper cones, and $(\mathcal{T}_k)_{k \in \mathbb{N}}$ a $(C_1, C_2)$-compatible sequence of mapping cones. Then, we have:

(1) For every $k \in \mathbb{N}$ we have $\mathcal{T}_k^\sharp \subseteq \mathcal{P}(C_2^{\otimes \min k}, C_1^{\otimes \max k})$.

(2) For every $k \in \mathbb{N}$ and every $Q \in \mathcal{T}_{k+1}^\sharp$, we have

$$ (\alpha \otimes \mathrm{id}_{V_1}^{\otimes k}) \circ Q \circ (x \otimes \mathrm{id}_{V_2}^{\otimes k}) \in \mathcal{T}_k^\sharp $$

and

$$ (\mathrm{id}_{V_1}^{\otimes k} \otimes \alpha) \circ Q \circ (\mathrm{id}_{V_2}^{\otimes k} \otimes x) \in \mathcal{T}_k^\sharp, $$

for any $\alpha \in C_1^*$ and $x \in C_2$.

We will prove the following theorem:

**Theorem A.3.** Let $C_1 \subset V_1$ and $C_2 \subset V_2$ be proper cones and $(\mathcal{T}_k)_{k \in \mathbb{N}}$ a $(C_1, C_2)$-compatible sequence of mapping cones. Then, any $P \in \mathcal{EB}(C_1, C_2) \cap \mathrm{int}(\mathcal{T}_1)$ satisfies $P^{\otimes k} \in \mathrm{int}(\mathcal{T}_k)$ for every $k \in \mathbb{N}$.

If we define

$$ \tilde{\mathcal{T}}_k = \{P : V_1 \to V_2 : P^{\otimes k} \in \mathcal{T}_k\}, $$

then Theorem A.3 shows that

$$ \mathcal{EB}(C_1, C_2) \cap \mathrm{int}(\mathcal{T}_1) \subseteq \bigcap_{k \in \mathbb{N}} \tilde{\mathcal{T}}_k. $$

To prove Theorem A.3, we fix $e_1^* \in \mathrm{int}(C_1^*)$ and $e_2 \in \mathrm{int}(C_2)$. Next, we define

$$ \mu_k(P) := \inf_{Q \in \Sigma_k} \mathrm{Tr}[P \circ Q], $$

for any $P : V_1^{\otimes k} \to V_2^{\otimes k}$, where

$$ \Sigma_k := \{Q \in \mathcal{T}_k^\sharp : (e_1^*)^{\otimes k} (Q(e_2^{\otimes k})) = 1\}. $$

By the first property in Lemma A.2, we have $(e_1^*)^{\otimes k} (Q(e_2^{\otimes k})) = 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 \mathbb{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(P) \ge 0$ if and only if $P \in \mathcal{T}_k$, and $\mu_k(P) > 0$ if and only if $P \in \mathrm{int}(\mathcal{T}_k)$. We will now show the following:

**Lemma A.4.** If $P : V_1 \to V_2$ is $(C_1, C_2)$-max-entanglement breaking, then we have

$$ \mu_k(P^{\otimes k}) \ge \mu_1(P)^k. $$
Proof. We will show a slightly more general statement. Fixing $k \in \mathbb{N}$, consider any linear map $S: V_1^{\otimes(k-1)} \to V_2^{\otimes(k-1)}$ and assume that $P = \sum_{i=1}^N b_i \alpha_i$ for $b_i \in \mathbb{C}_2$ and $\alpha_i \in \mathbb{C}_1^*$. We will show that

$$ \mu_k (P \otimes S) \geq \mu_1 (P) \mu_{k-1} (S). \quad (14) $$

Using (14), the proof is finished by induction after setting $S = P^{\otimes(k-1)}$. Consider a $Q \in \Sigma_k$ satisfying

$$ \mu_k (P \otimes S) = \mathrm{Tr} [(P \otimes S) \circ Q]. $$

Inserting the decomposition of $P$, we find

$$ \begin{aligned} \mathrm{Tr} [(P \otimes S) \circ Q] &= \sum_{i=1}^{N} \mathrm{Tr} [(b_i \alpha_i \otimes S) \circ Q] \\ &= \sum_{i=1}^{N} \mathrm{Tr} [S \circ (\alpha_i \otimes \mathrm{id}_{V_1}^{\otimes(k-1)}) \circ Q(b_i \otimes \cdot)] \\ &= \sum_{i=1}^{N} \mathrm{Tr} [S \circ \tilde{Q}_i], \end{aligned} $$

where we defined the linear maps

$$ \tilde{Q}_i := (\alpha_i \otimes \mathrm{id}_{V_1}^{\otimes(k-1)}) \circ Q(b_i \otimes \cdot) : V_2^{\otimes(k-1)} \to V_1^{\otimes(k-1)}. $$

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, \dots, N\}$. Since

$$ (e_1^*)^{\otimes(k-1)} (\tilde{Q}_i (e_2^{\otimes(k-1)})) = 0, $$

if and only if $\tilde{Q}_i = 0$, we conclude that

$$ \mu_k (P \otimes S) \geq \sum_{i=1}^{N} (e_1^*)^{\otimes(k-1)} (\tilde{Q}_i (e_2^{\otimes(k-1)})) \mu_{k-1}(S). $$

Now, note that

$$ \sum_{i=1}^{N} (e_1^*)^{\otimes(k-1)} (\tilde{Q}_i (e_2^{\otimes(k-1)})) = \mathrm{Tr} [P \circ Q'], $$

for the linear map

$$ Q' := (\mathrm{id}_{V_1} \otimes (e_1^*)^{\otimes(k-1)}) \circ Q (\cdot \otimes e_2^{\otimes(k-1)}). $$

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

$$ e_2^* (Q'(e_1)) = (e_2^*)^{\otimes k} (Q(e_1^{\otimes k})) = 1. $$
We conclude that $Q' \in \Sigma_1$ and

$$ \sum_{i=1}^{N} (e_1^*)^{\otimes (k-1)} (\tilde{Q}_i (e_2^{\otimes (k-1)})) \geq \mu_1(P). $$

Finally, (14) follows by combining the estimates from above. □

Now, we are ready to prove Theorem A.3:

*Proof of Theorem A.3.* Consider $P \in \mathcal{EB}(C_1, C_2) \cap \text{int}(T_1)$ and note that $\mu_1(P) > 0$. For every $k \in \mathbb{N}$ we can apply Lemma A.4 to show that

$$ \mu_k(P^{\otimes k}) \geq \mu_1(P)^k > 0, $$

and therefore $P^{\otimes k} \in \text{int}(T_k)$. □

Theorem A.3 has some important consequences. To illustrate these, consider first the case where

$$ T_k = \mathcal{P}(C_1^{\otimes \max k}, C_2^{\otimes \min k}), $$

and note that $P^{\otimes k} \in T_k$ if and only if $P$ is $k$-max-entanglement annihilating. Note that $T_1$ is just the set of $(C_1, C_2)$-positive maps. If neither $C_1$ nor $C_2$ are classical, then we have $\mathcal{EB}(C_1, C_2) \subsetneq T_1$ and there exists a linear map $P: V_1 \to V_2$ satisfying

$$ P \in \text{bd}(\mathcal{EB}(C_1, C_2)) \cap \text{int}(T_1). $$

By Theorem A.3, we have $P^{\otimes k} \in \text{int}(T_k)$ for every $k \in \mathbb{N}$. Moreover, there exists a linear map $R: V_1 \to V_2$ such that for every $\varepsilon > 0$ the map $P_\varepsilon = P + \varepsilon R \notin \mathcal{EB}(C_1, C_2)$. Combining these two facts shows, that for every $k \in \mathbb{N}$ there exists an $\varepsilon > 0$ such that $P_\varepsilon^{\otimes k} \in T_k$, but $P_\varepsilon$ is not max-entanglement breaking. We have shown the following theorem:

**Theorem A.5.** Let $C_1 \subset V_1$ and $C_2 \subset V_2$ be non-classical cones. For any $k \in \mathbb{N}$, there exists a linear map $P: V_1 \to V_2$ such that:

(1) We have $P^{\otimes k}(C_1^{\otimes \max k}) \subseteq C_2^{\otimes \min k}$.

(2) The map $P$ is not $(C_1, C_2)$-max-entanglement breaking.

In the case of $C_1 = \text{PSD}(C^{d_1})$ and $C_2 = \text{PSD}(C^{d_2})$ 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: M_d \to M_d$ given by

$$ P(X) = \text{Tr}[X]1_d - X/d, \qquad (15) $$

which is entanglement breaking and at the boundary of completely positive maps.

* For $d, n, k \in \mathbb{N}$ consider $T_k = \mathcal{P}_n(\text{PSD}((C^d)^{\otimes k}), \text{PSD}((C^d)^{\otimes k}))$, i.e., the mapping cones of $n$-positive maps. Let $P: M_d \to M_d$ denote the map from (15) and note that $P \in \text{int}(T_1)$ provided that $n < d$. We can now find a linear map $S: M_d \to M_d$ such that $P_\varepsilon = P - \varepsilon S$ is not completely positive for any $\varepsilon > 0$. For any $k \in \mathbb{N}$ we can now apply Theorem A.3 to find $\varepsilon > 0$ such that $P_\varepsilon^{\otimes k}$ 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 \mathbb{N}$ that there are linear maps $Q_\varepsilon : M_d \to 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 \mathbb{N}$ consider $\mathcal{T}_k = \mathrm{Dec}(\mathrm{PSD}((\mathbf{C}^d)^{\otimes k}), \mathrm{PSD}((\mathbf{C}^d)^{\otimes k}))$ 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 \mathbb{N}$ that there exists a linear map $Q_\varepsilon : M_d \to M_d$ that is neither completely positive nor completely copositive, but such that $Q_\varepsilon^{\otimes k}$ 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 \mathbb{N}$ a linear map $T : M_m \to M_n$ is called $k$-entanglement breaking if

$$(\mathrm{id}_k \otimes T) (\mathrm{PSD}(\mathbf{C}^k \otimes \mathbf{C}^m)) \subseteq \mathrm{PSD}(\mathbf{C}^k) \otimes_{\mathrm{min}} \mathrm{PSD}(\mathbf{C}^n).$$

Here, we will focus on the 2-entanglement breaking maps $T : M_3 \to 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 : M_3 \to 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 : M_3 \to M_3$ and $T_2 : M_3 \to 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 : M_3 \to M_3$. Since $T$ and $P \circ S$ are 2-entanglement breaking, this follows from Theorem B.3. □

We want to close this appendix with two side remarks regarding the special structure of 2-entanglement breaking maps $T : M_3 \to M_3$. First, we note the following corollary of Theorem B.2:

**Corollary B.4.** A linear map $T : M_3 \to 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 \to \mathcal{M}_d$ is not closed under adjoints for any $d \ge 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} \to \mathcal{M}_{d_3}$ and any positive map $P: \mathcal{M}_{d_1} \to \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 \to \mathcal{M}_3$ be a 2-entanglement breaking map $P: \mathcal{M}_3 \to \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 (\mathbf{R} \oplus X)^{\otimes k}$ given by

$$X_k := \operatorname{span} (\{e_0^{\otimes k}\} \cup X^{\otimes k}) \subset (\mathbf{R} \oplus X)^{\otimes k},$$

and, as before, we denote by $\Pi_{X_k}: (\mathbf{R} \oplus X)^{\otimes k} \to (\mathbf{R} \oplus X)^{\otimes k}$ the orthogonal projection onto $X_k$. Consider the projection $S: (\mathbf{R} \oplus X) \otimes (\mathbf{R} \oplus X) \to (\mathbf{R} \oplus X) \otimes (\mathbf{R} \oplus X)$ given by

$$S = \frac{1}{2}(\mathrm{id}_V \otimes \mathrm{id}_V + A \otimes A),$$

where $A: (\mathbf{R} \oplus V) \to (\mathbf{R} \oplus V)$ is the reflection $(t, x) \mapsto (t, -x)$. We will need the following lemma:

**Lemma C.1.** *We have*

$$\Pi_{X_k} = \Pi_{i,j \in \{1, \dots, k\}, i \neq j} S_{i,j}, \quad (16)$$

where $S_{i,j}: X^{\otimes k} \to X^{\otimes k}$ applies $S$ to the pair of tensor factors labeled $(i, j)$. Moreover, we have

$$\Pi_{X_k} (\mathbf{C}_X^{\otimes \max k}) \subset \mathbf{C}_X^{\otimes \max k} \quad \text{and} \quad \Pi_{X_k} (\mathbf{C}_X^{\otimes \min k}) \subset \mathbf{C}_X^{\otimes \min k}.$$

*Proof.* It is easy to verify that

$$S(e_i \otimes e_j) = \begin{cases} e_i \otimes e_j, & \text{if } i = j = 0 \text{ or } i, j \ge 1 \\ 0, & \text{otherwise.} \end{cases}$$
We conclude that (16) holds. For the first part of the second claim, note that for any $\tilde{\phi}_1, \tilde{\phi}_2 \in C_X^*$ of the form $\tilde{\phi}_i = e_0^* + \phi_i$ for $\phi_i \in B_{X^*}$ and any $z \in C_X^{\otimes \max^2}$ we have

$$ (\phi \otimes \psi) S(z) = \frac{1}{2} \left[ (\tilde{\phi}_1 \otimes \tilde{\phi}_2)(z) + (\tilde{\phi}'_1 \otimes \tilde{\phi}'_2)(z) \right] \ge 0, $$

where $\tilde{\phi}'_i = e_0^* - \phi_i \in C_X^*$. The general case follows in the same way. For the second part of the second claim, note that

$$ S(x_1 \otimes x_2) = \frac{1}{2} [x_1 \otimes x_2 + x'_1 \otimes x'_2] \in C_X^{\otimes \min}, $$

where $x_i = I(x_i) \in C_X$. The general case follows in the same way.

□

*Proof of Lemma 6.2.* By Lemma C.1 we have

$$ \Pi_{X_k}(C_X^{\otimes \max^k}) \subseteq C_X^{\otimes \max^k} \cap X_k. $$

Conversely, we have

$$ C_X^{\otimes \max^k} \cap X_k = \Pi_{X_k}(C_X^{\otimes \max^k} \cap X_k) \subseteq \Pi_{X_k}(C_X^{\otimes \max^k}). $$

This shows that $C_X^{\otimes \max^k} \cap X_k = \Pi_{X_k}(C_X^{\otimes \max^k})$. Now, note that $C_X^* = C_{X^*}$ for any Banach space X. Therefore, $\tilde{\phi} \in C_X^*$ if and only if $\tilde{\phi} = te_0^* + \phi$ for some functional $\phi \in X^*$ satisfying $\|\phi\|_* \le t$. Given $\tilde{z} \in X_k$ of the form $\tilde{z} = e_0^{\otimes k} + z$ and $\tilde{\phi}_1, \dots, \tilde{\phi}_k \in C_X^*$, we have

$$ (\tilde{\phi}_1 \otimes \dots \otimes \tilde{\phi}_k)(\tilde{z}) = s_1 \dots s_k + (\phi_1 \otimes \dots \otimes \phi_k)(z), $$

where $s_i \ge \|\phi_i\|_*$ for each $i \in \{1, \dots, k\}$. If $\tilde{z} \in C_{X^*}$, we conclude that $(\tilde{\phi}_1 \otimes \dots \otimes \tilde{\phi}_k)(\tilde{z}) \ge 0$ whenever $\tilde{\phi}_1, \dots, \tilde{\phi}_k \in C_X^*$, and hence $\tilde{z} \in C_X^{\otimes \max^k}$. On the other hand, if $\tilde{z} = e_0^{\otimes k} + z \in C_X^{\otimes \max^k}$, then $1 \pm (\phi_1 \otimes \dots \otimes \phi_k)(z) \ge 0$ for all functionals $\phi_1, \dots, \phi_k \in B_{X^*}$. Therefore, we conclude that $\tilde{z} \in C_{X^*}$.

$$ \Pi_{X_k}(C_X^{\otimes \min^k}) \subseteq C_X^{\otimes \min^k} \cap V_k. $$

Conversely, we have

$$ C_X^{\otimes \min^k} \cap X_k = \Pi_{X_k}(C_X^{\otimes \min^k} \cap X_k) \subseteq \Pi_{X_k}(C_X^{\otimes \min^k}). $$

This shows that $C_X^{\otimes \min^k} \cap X_k = \Pi_{X_k}(C_X^{\otimes \min^k})$. For $\tilde{x}^{(1)}, \dots, \tilde{x}^{(k)} \in C_X$ written as $\tilde{x}^{(i)} = e_0 + x^{(i)}$ for each $i \in \{1, \dots, k\}$, we have $\Pi_{X_k}(\tilde{x}^{(1)} \otimes \dots \otimes \tilde{x}^{(k)}) = e_0^{\otimes k} + x^{(1)} \otimes \dots \otimes x^{(k)}$ and clearly

$$ \|x^{(1)} \otimes \dots \otimes x^{(k)}\|_{\pi_k(X)} \le \|x^{(1)}\| \dots \|x^{(k)}\| \le 1. $$

Therefore, $\Pi_{X_k}(\tilde{x}^{(1)} \otimes \dots \otimes \tilde{x}^{(k)}) \in C_{X^*}$ and by definition of $\otimes_{\min}$ we have $\Pi_{X_k}(C_X^{\otimes \min^k}) \subseteq C_{X^*}$ for the converse inclusion consider $\tilde{z} \in C_{X^*}$ of the form $\tilde{z} = \|z\|_{\pi_k(X)} e_0^{\otimes k} + z$. For some $n \in \mathbb{N}$ there exist $x_i^{(1)}, \dots, x_i^{(k)} \in X$ for $i \in \{1, \dots, n\}$
such that $z = \sum_i x_i^{(1)} \otimes \cdots x_i^{(k)}$ and $\sum_i \|x_i^{(1)}\| \cdots \|x_i^{(k)}\| = \|z\|_{\pi_k} \le 1$. For each $i$ and $j$ we define $\tilde{x}_i^{(j)} = \|x_i^{(j)}\|e_0 + x_i^{(j)} \in C_X$ such that

$$ \tilde{z} = \sum_i \|x_i^{(1)}\| \cdots \|x_i^{(k)}\| e_0^{\otimes k} + \sum_i x_i^{(1)} \otimes \cdots \otimes x_i^{(k)} = \Pi_{X_k} \left( \sum_i \tilde{x}_i^{(1)} \otimes \cdots \otimes \tilde{x}_i^{(k)} \right). $$

By convexity and since $e_0^{\otimes k} \in \Pi_{X_k}(C_X^{\otimes \min k})$ we find $C_{X \otimes \pi_k} \subseteq \Pi_{X_k}(C_X^{\otimes \min k})$. $\square$

## Appendix D: Two Results for Symmetric Cones

A symmetric cone $C \subset V$ is a proper cone in a Euclidean vector space $V$ that it selfdual, i.e., it satisfies $C = C^*$, and such that the automorphism group Aut($C$) of $C$ acts transitively on its interior int($C$). It is well-known that symmetric cones are closely related to Jordan algebras. Let $G$ denote the connected component of Aut($C$) 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 Aut($C$). 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

$$ C = \{x^2 : x \in V\}. \qquad (17) $$

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 $\text{PSD}(\mathbb{R}^d)$ over the real numbers.

* The positive semidefinite cones $\text{PSD}(\mathbb{C}^d)$ over the complex numbers.

* The positive semidefinite cones $\text{PSD}(\mathbb{H}^d)$ over the quaternions.

* The $3 \times 3$ positive semidefinite cone $\text{PSD}(\mathbb{O}^3)$ over the octonions.

* The Lorentz cones $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.

### D.1. Sinkhorn-type scaling on symmetric cones.
Let $C \subset V$ denote a symmetric cone in a Euclidean Jordan algebra $V$ with identity element $e \in C$ such that (17) holds. For any $x \in V$ we consider

$$ m(x) = \min\{k > 0 : \{e, x, x^2, \dots, x^k\} \text{ linearly independent}\}, $$

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, \dots, d\}$ there exists a homogeneous polynomial $a_k$ of degree $k$ such that

$$x^d - a_1(x)x^{d-1} + a_2(x)x^{d-2} + \dots + (-1)^d a_d(x)e = 0$$

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) \neq 0$ and we denote by $V_I \subset V$ the set of invertible elements in $V$. The inverse $\text{inv}: V_I \to V_I$ is given by

$$\text{inv}(x) = \frac{1}{\det(x)} (x^{d-1} - a_1(x)x^{d-2} + \dots + (-1)^{d-1} a_{d-1}(x)e),$$

and sometimes we write $x^{-1}$ instead of $\text{inv}(x)$. It turns out that the interior $\mathbb{C}^\circ$ arises as

$$\mathbb{C}^\circ = \{x^2 : x \in V_I\},$$

and consequently any element of $\mathbb{C}^\circ$ is invertible.

For each $x \in V$ there is a left multiplication $L_x : V \to V$ given by $L_x y = xy$ for $y \in V$. Using this operator we define the quadratic representation $Q_x : V \to V$ as

$$Q_x = 2L_x^2 - L_x^2.$$

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 \text{Aut}(\mathbb{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 $C_1 \subset V_1$ and $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 $\text{Aut}(C_i)$ and by $e_i \in C_i$ any element with stabilizer $G_i \cap O(V_i)$, such that $\|e_1\| = \|e_2\|$ (where $\| \cdot \|$ denotes the Euclidean norm on $V_1$ or $V_2$). For any linear map $P : V_1 \to V_2$ satisfying

$$P(C_1) \subseteq C_2^\circ,$$

there are automorphisms $A \in \text{Aut}(C_1)$ and $B \in \text{Aut}(C_2)$ such that the linear map

$$\tilde{P} = B \circ P \circ A$$

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 $C_1$ and $C_2$ being the symmetric cone $R_+^n$.

(2) For $n \ge 1$, the Lorentz cone

$$L_n = \{ (x_0, \dots, x_{n-1}) \in \mathbf{R}^n : x_0 \ge \sqrt{x_1^2 + \dots + x_{n-1}^2} \}$$

is a symmetric cone. By Theorem D.2, given a linear map $P: \mathbf{R}^n \to \mathbf{R}^m$ (identified with a matrix) such that $P(L_n) \subset L_m^o$, there exist $A_1 \in \mathrm{Aut}(L_n)$, $A_2 \in \mathrm{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 \mathbf{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 \mathbb{N}$, the positive semidefinite cone $\text{PSD}(C^d)$ is a symmetric cone. Given a positive map $P: M_{d_1} \to M_{d_2}$ satisfying

$$P(\text{PSD}(C^{d_1})) \subset \text{PSD}(C^{d_2})^o,$$

we can apply Theorem D.2 to find automorphisms $A \in \mathrm{Aut}(P(\text{PSD}(C^{d_1})))$, $B \in \mathrm{Aut}(P(\text{PSD}(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 $C_1$ and $C_2$ then arise as cones of squares as in (17). We define the slice

$$C_1^s = \{x \in C_1 : \langle e_1, x \rangle = 1\},$$

and we note that $C_1^s$ is compact and convex. Next, we define $M: C_1^s \to C_1^s$ by

$$M(x) = \frac{(\mathrm{inv}_1 \circ P^* \circ \mathrm{inv}_2 \circ P)(x)}{\langle e_1, (\mathrm{inv}_1 \circ P^* \circ \mathrm{inv}_2 \circ P)(x) \rangle},$$

where $\mathrm{inv}_1$ and $\mathrm{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 C_2^o$ and $P^*(y) \in C_1^o$ are invertible for every $x \in C_1$ and $y \in C_2$. Moreover, the map $M$ is continuous as a composition of continuous maps. By Brouwer's fixed point theorem there exists $x \in C_1^s$ such that $M(x) = x$. This implies that $P^* \circ \mathrm{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_{\sqrt{y}}^{-1}$ as quadratic representations. Defining $\tilde{P} = B \circ P \circ A$ we can verify that

$$\tilde{P}(e_1) = Q_{\sqrt{y}}^{-1} \circ P \circ Q_{\sqrt{x}}(e_1) = Q_{\sqrt{P(x)}}^{-1}(P(x)) = e_2,$$
using the properties from Lemma D.1. Since A and B are self-adjoint we compute

$$ \tilde{P}^*(e_2) = Q_{\sqrt{x}} \circ P^* \circ Q_{\sqrt{y}}^{-1}(e_2) = Q_{\sqrt{x}} \circ P^* \circ \mathrm{inv}_2 \circ P(x) = Q_{\sqrt{x}}(\lambda x^{-1}) = \lambda e_1, $$

where we used the properties from Lemma D.1. Finally,

$$ \|e_2\|^2 = \langle e_2, \tilde{P}(e_1) \rangle = \langle \tilde{P}^*(e_2), e_1 \rangle = \lambda \|e_1\|^2, $$

and since $\|e_1\| = \|e_2\|$ we conclude that $\lambda = 1$, finishing the proof. □

A direct consequence of the previous theorem is the following corollary:

**Corollary D.3.** Consider symmetric cones $C_1 \subset V_1$ and $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 Aut($C_i$) and by $e_i \in C_i$ any element with stabilizer $G_i \cap O(V_i)$, such that $\|e_1\| = \|e_2\|$ (where $\| \cdot \|$ denotes the Euclidean norm on $V_1$ or $V_2$). The following are equivalent:

(1) The pair $(C_1, C_2)$ is resilient.

(2) Every $(C_1, C_2)$-max-entanglement annihilating map $P: V_1 \to V_2$ satisfying $P(e_1) = e_2$ and $P^*(e_2) = e_1$ is $(C_1, C_2)$-max-entanglement breaking.

*Proof.* It is clear that the first statement implies the second. For the converse direction assume that $(C_1, C_2)$ is not resilient and let $R: V_1 \to 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 \to 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 \mathrm{Aut}(C_1)$ and $B \in \mathrm{Aut}(C_2)$ 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. □

**D.2.** Breaking entanglement of a symmetric cone and $C_{k_1}$. Let $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, \dots, c_k$, i.e., a complete system of orthogonal, primitive idempotents, and unique $\lambda_1, \dots, \lambda_k \in \mathbb{R}$ such that

$$ x = \sum_{i=1}^{k} \lambda_i c_i. \qquad (18) $$

Using self-duality of the cone $C$ and the properties of Jordan frames, it is easy to show that $x \in C$ if and only if $\lambda_i \ge 0$ for every $i \in \{1, \dots, k\}$. Given a spectral decomposition (18) of $x \in V$, we define $x_+ := \sum_i \lambda_i c_i$ and $x_- := \sum_i \lambda_i < 0 |\lambda_i| c_i$. Clearly, we have $x_+, x_- \in C$, $x_+x_- = x_-x_+ = 0$ and $x = x_+ - x_-$. Finally, we define $|x| := x_+ + x_-$ and note that $|x| \in C$.

We start with the following lemma:

**Lemma D.4.** Consider the symmetric cone

$$ C = \{x^2 : x \in V\}. $$

for a Euclidean Jordan algebra $V$ with identity element $e \in V$. Then, we have the following:
(1) If $e+x \in \mathbb{C}$ and $e-x \in \mathbb{C}$ for some $x \in V$, then $e-x^2 \in \mathbb{C}$.

(2) If $e - x^2 \in \mathbb{C}$ for some $x \in V$, then $e - x \in \mathbb{C}$.

*Proof.* Given $x \in V$ consider the spectral decomposition $x = \sum_{i=1}^k \lambda_i c_i$ for a Jordan frame $c_1, c_2, \dots, c_k \in V$. If $e+x \in \mathbb{C}$ and $e-x \in \mathbb{C}$, then we have $1 \pm \lambda_i \ge 0$ and therefore $1 - \lambda_i^2 \ge 0$ for all $i \in \{1, \dots, k\}$. We conclude that

$$e - x^2 = (e - x)(e + x) = \sum_{i=1}^{k} (1 - \lambda_i^2) c_i \in \mathbb{C},$$

since $c_i = c_i^2 \in \mathbb{C}$ for every $i \in \{1, \dots, k\}$. This shows the first statement. If $e - x^2 \in \mathbb{C}$, then we have $\lambda_i^2 \le 1$ for all $i \in \{1, \dots, k\}$. We conclude that

$$e - x = \sum_{i=1}^{k} (1 - \lambda_i) c_i \in \mathbb{C},$$

since $\lambda_i \le 1$ and $c_i \in \mathbb{C}$ for any $i \in \{1, \dots, k\}$. $\square$

We will now prove a lemma identifying a useful property of certain elements in $\mathbb{C} \otimes_{\max} \mathbb{C}_{\ell_1^k}$. For this and in the following, we will identify elements in $V \otimes \mathbb{R}^{k+1}$ with vectors $(x_0, x_1, \dots, x_k)$ for $x_0, \dots, x_k \in V$.

**Lemma D.5.** Consider the symmetric cone

$$\mathbb{C} = \{x^2 : x \in V\}.$$

for a Euclidean Jordan algebra $V$ with identity element $e \in V$. If $(e, x_1, \dots, x_k) \in \mathbb{C} \otimes_{\max} \mathbb{C}_{\ell_1^k}$, then $\sqrt{k}e - \sum_{i=1}^k |x_i| \in \mathbb{C}$.

*Proof.* Note that $(e, x_1, \dots, x_k) \in \mathbb{C} \otimes_{\max} \mathbb{C}_{\ell_1^k}$ if and only if

$$e + \sum_{i=1}^{k} s_i x_i \in \mathbb{C} \quad \text{and} \quad e - \sum_{i=1}^{k} s_i x_i \in \mathbb{C},$$

for all $s \in \{+1, -1\}^k$. By Lemma D.4 we conclude that

$$e - \sum_{i=1}^{k} x_i^2 - \sum_{i \neq j} s_i s_j x_i x_j \in \mathbb{C}.$$

Averaging over all choices $s \in \{+1, -1\}^k$ shows that

$$e - \sum_{i=1}^{k} x_i^2 \in \mathbb{C}.$$

Now, we have

$$\left(\sum_{i=1}^{k} |x_i|\right)^2 + \sum_{i<j} (|x_i| - |x_j|)^2 = k \sum_{i=1}^{k} |x_i|^2 = k \sum_{i=1}^{k} x_i^2,$$
where we used that

$$|x|^2 = (x_+ + x_-)^2 = x_+^2 + x_-^2 = (x_+ - x_-)^2 = x^2,$$

for any $x \in V$, since $x_+x_- = x_-x_+ = 0$. We conclude that

$$ke - \left( \sum_{i=1}^{k} |x_i| \right)^2 \in \mathbb{C},$$

implying that $\sqrt{k}e - \sum_{i=1}^{k} |x_i| \in \mathbb{C}$ by Lemma D.4.

□

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

$$\mathbb{C} = \{x^2 : x \in V\}.$$

Consider $x = (x_0, x_1, \dots, x_k) \in \mathbb{C} \otimes_{\max} \mathbb{C}_{\ell_1^k}$ and set $x_\epsilon = (x_0 + \epsilon e, x_1, \dots, x_k)$. By continuity, we could conclude that $(\mathrm{id}_V \otimes I_{\sqrt{k}})(x) \in \mathbb{C} \otimes_{\min} \mathbb{C}_{\ell_1^k}$ if we could show that $(\mathrm{id}_V \otimes I_{\sqrt{k}})(x_\epsilon) \in \mathbb{C} \otimes_{\min} \mathbb{C}_{\ell_1^k}$ for all $\epsilon > 0$. For any $\epsilon > 0$ we have $x_0 + \epsilon e \in \mathrm{int}(\mathbb{C})$ and there exists an automorphism $\phi_\epsilon \in \mathrm{Aut}(\mathbb{C})$ satisfying $\phi_\epsilon(e) = x_0 + \epsilon e$. Therefore, we can write

$$(\mathrm{id}_V \otimes I_{\sqrt{k}})(x_\epsilon) = (\phi_\epsilon \otimes \mathrm{id}_{\mathbb{R}^{k+1}}) \circ (\mathrm{id}_V \otimes I_{\sqrt{k}})(x')$$

for any $\epsilon > 0$ and some $x' = (e, x'_1, \dots, x'_k) \in \mathbb{C} \otimes_{\max} \mathbb{C}_{\ell_1^k}$. Since $\phi_\epsilon$ is positive for every $\epsilon > 0$ the proof would be finished by showing that

$$(\mathrm{id}_V \otimes I_{\sqrt{k}})(x) \in \mathbb{C} \otimes_{\min} \mathbb{C}_{\ell_1^k},$$

for any $x = (e, x_1, \dots, x_k) \in \mathbb{C} \otimes_{\max} \mathbb{C}_{\ell_1^k}$. Let $x = (e, x_1, \dots, x_k) \in \mathbb{C} \otimes_{\max} \mathbb{C}_{\ell_1^k}$ and by Lemma D.5 we conclude that

$$\sqrt{k}e - \sum_{i=1}^{k} |x_i| \in \mathbb{C}.$$

Note that

$$(e_0 + e_i) \otimes x_+ + (e_0 - e_i) \otimes x_- = e_0 \otimes |x| + e_i \otimes x,$$

for any $i \in \{1, \dots, k\}$. Since $e_0 \pm e_i \in \mathbb{C}_{\ell_1^k}$ for any $i \in \{1, \dots, k\}$ we have

$$\begin{align*}
& (\sqrt{k}e, x_1, \dots, x_k) \\
&= e_0 \otimes \left( \sqrt{k}e - \sum_{i=1}^{k} |x_i| \right) + \sum_{i=1}^{k} (e_0 + e_i) \otimes (x_i)_+ + \sum_{i=1}^{k} (e_0 - e_i) \otimes (x_i)_- \\
&\in \mathbb{C} \otimes_{\min} \mathbb{C}_{\ell_1^k}.
\end{align*}$$

This finishes the proof.

□
References

[ALP19] Aubrun, G., Lami, L., Palazuelos, C.: Universal entangleability of non-classical theories. arXiv preprint arXiv:1910.04745 (2019)

[ALPP21] Aubrun, G., Lami, L., Palazuelos, C., Plávala, M.: Entangleability of cones. Geom. Funct. Anal. 31(2), 181–205 (2021)

[AMH21] Aubrun, G., Müller-Hermes, A.: Asymptotic tensor powers of Banach spaces. arXiv preprint arXiv:2110.12828 (2021)

[AS17] Aubrun, G., Szarek, S.J.: Alice and Bob Meet Banach, vol. 223. American Mathematical Soc. (2017)

[BBP+96] 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)

[Bre06] Breuer, H.-P.: Optimal entanglement criterion for mixed quantum states. Phys. Rev. Lett. 97(8), 080501 (2006)

[Cho75] Choi, M.-D.: Completely positive linear maps on complex matrices. Linear Algebra Appl. 10(3), 285–290 (1975)

[Chr12] Christandl, M.: PPT Square Conjecture. Operator Structures in Quantum Information Theory, Banff International Research Station workshop (2012)

[Cla06] Clarisse, L.: Construction of bound entangled edge states with special ranks. Phys. Lett. A 359(6), 603–607 (2006)

[CLM+14] 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)

[CMHW19] Christandl, M., Müller-Hermes, A., Wolf, M.M.: When do composed maps become entanglement breaking? Ann. Henri Poincaré 20(7), 2295–2322 (2019)

[CYT19] Chen, L., Yang, Yu., Tang, W.-S.: Positive-partial-transpose square conjecture for n= 3. Phys. Rev. A 99(1), 012337 (2019)

[DCLB00] Dür, W., Cirac, J.I., Lewenstein, M., Bruß, D.: Distillability and partial transposition in bipartite systems. Phys. Rev. A 61(6), 062313 (2000)

[DMS23] Devendra, R., Mallick, N., Sumesh, K.: Mapping cone of k-entanglement breaking maps. Positivity 27, 5 (2023)

[DSS+00] 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)

[FK94] Faraut, J., Koranyi, A.: Analysis on Symmetric Cones. Oxford Mathematical Monographs, Clarendon Press (1994)

[FMZ13] 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)

[FRZ12] Filippov, S.N., Rybár, T., Ziman, M.: Local two-qubit entanglement-annihilating channels. Phys. Rev. A 85(1), 012303 (2012)

[FZ13] Filippov, S.N., Ziman, M.: Bipartite entanglement-annihilating maps: necessary and sufficient conditions. Phys. Rev. A 88(3), 032316 (2013)

[Gur04] Gurvits, L.: Classical complexity and quantum entanglement. J. Comput. Syst. Sci. 69(3), 448–484 (2004)

[Hal06] Hall, W.: A new criterion for indecomposability of positive maps. J. Phys. A: Math. Gen. 39(45), 14119 (2006)

[HH99] Horodecki, M., Horodecki, P.: Reduction criterion of separability and limits for a class of distillation protocols. Phys. Rev. A 59(6), 4206 (1999)

[HHH98] 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)

[Hil07] Hildebrand, R.: An LMI description for the cone of Lorentz-positive maps. Linear Multilinear Algebra 55(6), 551–573 (2007)

[HSR03] Horodecki, M., Shor, P.W., Ruskai, M.B.: Entanglement breaking channels. Rev. Math. Phys. 15(06), 629–641 (2003)

[Hur23] Hurwitz, A.: Über die komposition der quadratischen formen. Math. Ann. 88, 1–25 (1923)

[Ide13] Idel, M.: On the structure of positive maps. Master’s thesis, Technical University of Munich (2013)

[Ide16] Idel, M.: A review of matrix scaling and Sinkhorn’s normal form for matrices and positive maps. arXiv preprint arXiv:1609.06349 (2016)

[Jam72] Jamiolkowski, A.: Linear transformations which preserve trace and positive semidefiniteness of operators. Rep. Math. Phys. 3(4), 275–278 (1972)

[Lam18] Lami, L.: Non-classical correlations in quantum mechanics and beyond. arXiv preprint arXiv:1803.02902 (2018)
[MH18] Müller-Hermes, A.: Decomposability of linear maps under tensor powers. J. Math. Phys. 59(10), 102203 (2018)

[MH21] Müller-Hermes, A.: Decomposable Pauli diagonal maps and tensor squares of qubit maps. J. Math. Phys. 62(9), 092204 (2021)

[MHRW16] Müller-Hermes, A., Reeb, D., Wolf, M.M.: Positivity of linear maps under tensor powers. J. Math. Phys. 57(1), 015202 (2016)

[MZ10] Moravčíková, L., Ziman, M.: Entanglement-annihilating and entanglement-breaking channels. J. Phys. A: Math. Theor. 43(27), 275306 (2010)

[PSS18] Passer, B., Shalit, O.M., Solel, B.: Minimal and maximal matrix convex sets. J. Funct. Anal. 274(11), 3197-3253 (2018)

[Roo08] Roos, G.: Exceptional symmetric domains. In: Symmetries in Complex Analysis, vol. 468 of Contemp. Math., pp. 157-189. Amer. Math. Soc., Providence, RI (2008)

[Sin64] Sinkhorn, R.: A relationship between arbitrary positive matrices and doubly stochastic matrices. Ann. Math. Stat. 35, 876-879 (1964)

[Sko11] Skowronek, Ł.: Cones with a mapping cone symmetry in the finite-dimensional case. Linear Algebra Appl. 435(2), 361-370 (2011)

[Stø80] Størmer, E.: Decomposition of positive projections on $C^*$-algebras. Math. Ann. 247(1), 21-41 (1980)

[Stø82] Størmer, E.: Decomposable positive maps on $C^*$-algebras. Proc. Am. Math. Soc. 86(3), 402-404 (1982)

[Stø12] Størmer, E.: Positive Linear Maps of Operator Algebras. Springer, Berlin (2012)

[TH00] Terhal, B.M., Horodecki, P.: Schmidt number for density matrices. Phys. Rev. A 61(4), 040301 (2000)

[TJ89] Tomczak-Jaegermann, N.: Banach-Mazur Distances and Finite-dimensional Operator Ideals, vol. 38. Longman Sc & Tech (1989)

[Vin63] Vinberg, E.B.: The theory of convex homogeneous cones. Trans. Moscow Math. Soc. 12, 340-403 (1963)

[Wat04] Watrous, J.: Many copies may be required for entanglement distillation. Phys. Rev. Lett. 93(1), 010502 (2004)

[Wer89] Werner, R.F.: Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model. Phys. Rev. A 40(8), 4277 (1989)

[Wol12] Wolf, M.M.: Lecture Notes: Quantum Channels & Operations, a Guided Tour (2012)

Communicated by Horng-Tzer Yau