Abstract:We show that every entanglement with positive partial transpose may be constructed from an indecomposable positive linear map between matrix algebras.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct entangled states with positive partial transposes. Specifically, the author shows how to construct these entangled states through indecomposable positive linear maps. The core contribution of the paper lies in proving that every case of an edge state having a positive partial transpose can be generated from an indecomposable positive linear map. This result complements the opposite direction of previous research, that is, given an edge state, its entanglement witness and the corresponding linear map can be determined.
The main conclusions of the paper are:
- Every entangled state with a positive partial transpose can be constructed through an indecomposable positive linear map.
- The paper discusses in detail the dual relationship between positive linear maps and entangled states and proves that every face of the cone \(T\) is exposed, which is of great significance in quantum information theory.
The following are several key concepts and formulas in the paper:
1. **Cone \(T\)**:
- \(T\) is the set of all positive semi - definite matrices whose partial transposes are also positive semi - definite.
- Mathematically represented as:
\[
T := \{ A \in (M_n \otimes M_m)_+ : A^\tau \in (M_n \otimes M_m)_+ \}
\]
2. **Positive linear maps**:
- Completely positive linear maps and completely copositive linear maps are denoted as \(P_m \wedge P_n\) and \(P_m \wedge P_n\) respectively.
- Mathematically represented as:
\[
\phi_V : X \mapsto \sum_{i = 1}^\nu V_i^* X V_i, \quad \phi_V : X \mapsto \sum_{i = 1}^\nu V_i^* X^t V_i
\]
3. **Dual cone**:
- The dual cone \(C^\circ\) of a subset \(C\) is defined as:
\[
C^\circ := \{ y \in Y : \langle x, y \rangle \geq 0 \text{ for each } x \in C \}
\]
- In particular, \((P_m \wedge P_n)^\circ\) and \((P_m \wedge P_n)^\circ\) are respectively:
\[
(P_m \wedge P_n)^\circ = (M_n \otimes M_m)_+, \quad (P_m \wedge P_n)^\circ = \{ A \in (M_n \otimes M_m)_+ : A^\tau \in (M_n \otimes M_m)_+ \}
\]
4. **Exposed face**:
- A face \(F\) of a convex set \(C\) is called exposed if there exists \(x \in C^\circ\) such that \(F = x'\).
- The paper proves that every face \(\tau(D, E)\) is exposed.
Through these theories and results, the paper provides new methods and perspectives for understanding and constructing entangled states with positive partial transposes.