Positive Optimal and Indecomposable Maps

• Positive optimal and indecomposable maps are defined by strict positivity conditions that ensure they detect bound entanglement in quantum systems.
• Explicit examples like the Choi, Breuer–Hall, and graph-parameterized maps illustrate how these maps are constructed and applied in quantum information theory.
• Their structural properties and optimality criteria enhance the analysis of positive map cones and facilitate advancements in entanglement detection and operator algebra research.

Positive optimal and indecomposable maps constitute a central object in the study of operator algebras and quantum information theory, providing indispensable tools for the detection and classification of quantum entanglement, especially bound entanglement with positive partial transpose (PPT). These maps, which act from one matrix algebra to another, are defined by stringent positivity constraints and further characterized by their inability to be either decomposed into sums involving completely positive and completely copositive maps (indecomposability) or written as convex combinations of other positive maps (extremality/exposedness). The identification, construction, and analysis of such maps underpin the most advanced methods in entanglement theory, both for bipartite and multipartite scenarios.

1. Fundamental Concepts and Notions

A linear map $\Phi: M_n \to M_m$ is positive if $\Phi(X) \geq 0$ whenever $X \geq 0$; it is completely positive (CP) if $\mathrm{id}_k \otimes \Phi$ remains positive for all $k$. A positive map is decomposable if it admits a decomposition of the form $\Phi = \Phi_1 + \Phi_2 \circ T$ with $\Phi_{1,2}$ CP and $T$ transposition; if no such decomposition exists, $\Phi$ is indecomposable. Indecomposable maps are crucial for detecting PPT entangled states, those which are not identified by any decomposable map (Ha et al., 2012, Qi et al., 2011).

Optimality is defined by the property that no nonzero CP map $A$ can be subtracted from $\Phi(X) \geq 0$0 without violating positivity: $\Phi(X) \geq 0$1 fails to be positive. Extremality characterizes maps generating extreme rays of the convex cone of positive maps; a map is exposed if it is the unique zero of a separating functional within the cone, a property strictly stronger than extremality. Exposed (and thus extremal) maps are optimal by construction (Sarbicki et al., 2012, Chruściński, 2011). These concepts are fundamental for the structural analysis of the convex cone of positive maps and for the operational detection of entanglement.

2. Principal Examples and Explicit Families

2.1 Choi and Generalized Choi Maps

The prototypical indecomposable map is the Choi map on $\Phi(X) \geq 0$2: $\Phi(X) \geq 0$3, which is positive but not decomposable, and optimal in the sense defined above. Its generalizations $\Phi(X) \geq 0$4 are given by

$\Phi(X) \geq 0$5

with $\Phi(X) \geq 0$6 a $\Phi(X) \geq 0$7 circulant matrix and $\Phi(X) \geq 0$8 diagonal. The map is positive if and only if $\Phi(X) \geq 0$9, $X \geq 0$0, and, for $X \geq 0$1, $X \geq 0$2. Indecomposability holds for $X \geq 0$3, $X \geq 0$4, and $X \geq 0$5. Optimality is characterized by the boundary of the positivity region, specifically for those $X \geq 0$6 saturating any defining inequality (Scala et al., 2023).

2.2 Higher-Dimensional Families

Extending beyond $X \geq 0$7, the maps $X \geq 0$8 (a generalization of the Choi map) are defined as

$X \geq 0$9

where $\mathrm{id}_k \otimes \Phi$0 is diagonal projection and $\mathrm{id}_k \otimes \Phi$1 a cyclic permutation. For $\mathrm{id}_k \otimes \Phi$2, $\mathrm{id}_k \otimes \Phi$3 is atomic (indecomposable) and optimal exactly when $\mathrm{id}_k \otimes \Phi$4 (Bera et al., 2022). The reduction map ($\mathrm{id}_k \otimes \Phi$5) is always decomposable and optimal.

Li–Wu introduced generalized $\mathrm{id}_k \otimes \Phi$6-type maps $\mathrm{id}_k \otimes \Phi$7 parameterized by permutations, with atomicity and optimality determined by the minimal cycle length in $\mathrm{id}_k \otimes \Phi$8 and the parameter $\mathrm{id}_k \otimes \Phi$9 (Li et al., 2017). For the uniform case with cyclic permutations and $k$0 but $k$1, such maps are positive but not CP, atomic, and optimal.

2.3 Exposed Indecomposable Maps

The canonical example of an exposed (hence optimal and indecomposable) map is the Breuer–Hall map, $k$2, with $k$3 antisymmetric unitary (Chruściński, 2011). A related family $k$4 is constructed as

$k$5

which is irreducible, positive, indecomposable, and proved to be exposed via the strong-spanning property (Sarbicki et al., 2012).

The 'merging' construction yields exposed indecomposable maps by combining extremal CP and copositive maps in a structured block-matrix form; canonical examples in various dimensions generalize the Miller–Olkiewicz map and yield new exposed rays (Marciniak et al., 2016).

2.4 Graph Parameterized Families

Recent advances introduce families $k$6 parametrized by a graph $k$7 and real parameter $k$8, acting as

$k$9

with $\Phi = \Phi_1 + \Phi_2 \circ T$0 the adjacency matrix of $\Phi = \Phi_1 + \Phi_2 \circ T$1. Exact thresholds (in terms of graph parameters) characterize positivity and decomposability. In the regime where $\Phi = \Phi_1 + \Phi_2 \circ T$2 is between the decomposability and positivity thresholds, $\Phi = \Phi_1 + \Phi_2 \circ T$3 is positive and indecomposable—and optimal in that subtracting any decomposable map immediately violates positivity. Rank-3 strongly regular graphs, such as Paley graphs, give rise to explicit infinite classes of such maps (Gulati et al., 18 Sep 2025).

3. Operational Criteria and Structural Properties

Optimality can be checked via the absence of nontrivial CP 'subtractions,' as in Qi–Hou's characterization: a map $\Phi = \Phi_1 + \Phi_2 \circ T$4 is optimal if, for all $\Phi = \Phi_1 + \Phi_2 \circ T$5, the map $\Phi = \Phi_1 + \Phi_2 \circ T$6 is not positive unless $\Phi = \Phi_1 + \Phi_2 \circ T$7. A sufficient (but not necessary) criterion is the 'spanning property': if the set of product vectors annihilated by the associated entanglement witness spans the full Hilbert space, the witness (and thus map) is optimal (Qi et al., 2011, Zwolak et al., 2012).

Indecomposability is guaranteed if a positive map detects a PPT entangled state, typically by explicit evaluation of the expectation value with respect to a PPT state constructed for this purpose (Rutkowski et al., 2015).

Exposedness is strictly stronger than extremality and can often be established via dual face calculations, as for the Breuer–Hall and Robertson maps. Strong spanning or dual-computation arguments in the cone of positive maps can certify exposed rays, providing the operational maximality of the entanglement detection power (Chruściński, 2011, Sarbicki et al., 2012).

4. Bilinear Positive Maps: Multipartite Detection

In the multipartite setting, e.g., $\Phi = \Phi_1 + \Phi_2 \circ T$8, Kye constructed a family of positive bi-linear maps whose Choi matrices are X-shaped and proved to be indecomposable and exposed via explicit characterization of the dual face and double-dual calculations. These maps serve as optimal witnesses for tripartite PPT entanglement, detecting states of nonzero interior volume in the PPT cone (Kye, 2017). The methodology involves explicit enumeration of zero-product vectors and norm constraints on associated block matrices.

5. Decomposition Theorems and Bi-Optimality

Every positive map admits a unique decomposition into a maximal decomposable part and a bi-optimal atomic (indecomposable, optimal, and co-optimal) remainder. This decomposition is canonical and plays a role in the fine structure of the positive map cone. Bi-optimality is necessary for the strongest form of optimal PPT entanglement detection (Størmer, 2013). In concrete cases, such as projections onto spin factors, this decomposition is explicit and operationally meaningful.

6. Applications, Implications, and Open Problems

Positive optimal indecomposable maps are the only linear maps capable of detecting PPT bound entanglement, which lies at the core boundary of the physically separable and entangled state sets. The existence of exposed maps, and the observed density of exposed rays among extremal maps (Straszewicz's theorem), ensures that every entangled state can be detected by some exposed witness (Sarbicki et al., 2012). Canonical families provide explicit analytic constructions for use in robustness and randomness studies, as well as direct implementation in entanglement detection experiments.

Several open problems include:

• Extension of explicit exposed indecomposable constructions to higher dimensions or to multilinear maps beyond the $\Phi = \Phi_1 + \Phi_2 \circ T$9 bilinear setting (Kye, 2017).
• Complete characterization and operational classification of optimal witnesses in parameterized families with no spanning property and non-extremality (Ha et al., 2012, Scala et al., 2023).
• Further investigation of the interplay between graph-theoretical quantities and the properties of parameterized families $\Phi_{1,2}$0 (Gulati et al., 18 Sep 2025).
• Structural understanding of the facial boundaries between the cones of positive, decomposable, and indecomposable maps, as well as implications for algorithmic separability/entanglement testing.

7. Summary Table: Core Classes of Positive Maps

Map Family / Example	Indecomposable	Optimal	Exposed / Extreme	Spanning Property	Reference (arXiv)
Choi map / generalized	Yes	Yes*	Some cases	Some cases	(Scala et al., 2023, Bera et al., 2022)
$\Phi_{1,2}$1 family	Yes (atomic)	Yes**	Yes†	Varies	(Bera et al., 2022)
$\Phi_{1,2}$2, Breuer–Hall, variants	Yes	Yes	Yes†	Strong	(Sarbicki et al., 2012, Chruściński, 2011)
D-type / Permutation families	Yes***	Yes	Varies	Some cases	(Li et al., 2017)
Merging construction	Yes	Yes	Yes (canonical)	Varies	(Marciniak et al., 2016)
$\Phi_{1,2}$3 (Graph-param.)	Yes (interior)	Yes	Yes (boundary)	N/A	(Gulati et al., 18 Sep 2025)
Kye bilinear maps	Yes	Yes	Yes	Yes (full)	(Kye, 2017)

Notes:

Optimality typically on the boundary of parameter region; interior maps not optimal. **For $\Phi_{1,2}$4; otherwise, not optimal.†Exposedness/Extremality proven for certain parameter regimes (see references). **Atomicity for minimal cycle length $\Phi_{1,2}$5 and $\Phi_{1,2}$6.

---

This synthesis reflects the concrete criteria, explicit map constructions, structural theorems, and open research directions associated with positive optimal and indecomposable maps, as established in the primary research literature (Kye, 2017, Bera et al., 2022, Qi et al., 2011, Sarbicki et al., 2012, Marciniak et al., 2016, Gulati et al., 18 Sep 2025, Scala et al., 2023).