Monogamy inequalities of entanglement of assistance in $2\otimes 2\otimes d$ systems

Technical Summary: Monogamy Inequalities of Entanglement of Assistance in $2 \otimes 2 \otimes d$ Systems

Problem Statement
Quantum entanglement exhibits a "monogamous" nature, meaning the entanglement shared between two parties limits their ability to be entangled with a third. While the Coffman-Kundu-Wootters (CKW) inequality ($C^2(\rho_{A|BC}) \geq C^2(\rho_{AB}) + C^2(\rho_{AC})$) characterizes this distribution for concurrence in multi-qubit systems, the dual concept involving the Concurrence of Assistance (CoA) presents a more complex picture. Specifically, for tripartite pure states in $2 \otimes 2 \otimes d$ systems (where $d \geq 2$), the precise quantitative relationship between the global concurrence $C(|\psi\rangle_{A|BC})$, the bipartite concurrence $C(\rho_{AB})$, and the CoA $C_a(\rho_{AC})$ has remained an open problem. Previous work established that the equality $C^2(|\psi\rangle_{A|BC}) = C^2(\rho_{AB}) + C_a^2(\rho_{AC})$ holds for $2 \otimes 2 \otimes 2$ systems, but it was unknown whether a similar monogamy inequality or equality holds for higher dimensions ($d > 2$).

Methodology
The authors address this problem by introducing the tangle ($T$) as a bridge between concurrence and classical correlations. The methodology proceeds as follows:

1. Definition of Measures: The study utilizes the concurrence ($C$), the tangle ($T = C^2$), and the Concurrence of Assistance ($C_a$). The tangle is defined via the convex roof extension of the squared concurrence.
2. Classical Correlation Bound: The authors leverage the linear entropy version of one-way classical correlation, denoted $I_2^\leftarrow(\rho_{AB})$. They establish a relationship between this classical correlation and the quantum measures.
3. Lemma Proof (Core Technical Step): The paper proves Lemma 1, which states that for any two-qubit state $\rho_{AB}$, the one-way classical correlation is bounded by the squared CoA: $I_2^\leftarrow(\rho_{AB}) \leq C_a^2(\rho_{AB})$.
   • This proof involves the spectral decomposition of $\rho_{AB}$ and the Schmidt decomposition of its purification $|\psi\rangle_{ABC}$ in $2 \otimes 2 \otimes 4$ systems.
   • The authors categorize the pure states into three classes based on the Schmidt ranks of the components in the decomposition and perform explicit calculations for the matrix $L$ (representing the qubit channel) and the linear entropy $S_2(\rho_B)$ to verify the inequality in all cases.
4. Derivation of Monogamy Relations: By combining the identity $S_2(\rho_A) = I_2^\leftarrow(\rho_{AB}) + T(\rho_{AC})$ (valid for pure tripartite states) with the inequality $I_2^\leftarrow(\rho_{AB}) \leq C_a^2(\rho_{AB})$ and the definition $T(\rho_{AB}) = C^2(\rho_{AB})$, the authors derive the main monogamy inequalities.

Key Contributions and Results
The primary contribution is the derivation of explicit monogamy inequalities for $2 \otimes 2 \otimes d$ pure states that relate the global concurrence, bipartite concurrence, and CoA.

• Theorem 1: For an arbitrary $2 \otimes 2 \otimes d$ pure state $|\psi\rangle_{ABC}$, the following inequalities hold:
  $$C^2(\rho_{AB}) + T(\rho_{AC}) \leq C^2(|\psi\rangle_{A|BC}) \leq C_a^2(\rho_{AB}) + T(\rho_{AC})$$
  This provides a rigorous bound on the distribution of entanglement involving the tangle of the $AC$ subsystem.

• Conditional Monogamy Inequalities: The paper refines these results by comparing $C_a^2(\rho_{AC})$ and $T(\rho_{AC})$:

  1. If $C_a^2(\rho_{AC}) \geq T(\rho_{AC})$, then:
     $$C^2(|\psi\rangle_{A|BC}) \leq C_a^2(\rho_{AB}) + C_a^2(\rho_{AC})$$
  2. If $C_a^2(\rho_{AC}) \leq T(\rho_{AC})$, then:
     $$C^2(|\psi\rangle_{A|BC}) \geq C^2(\rho_{AB}) + C_a^2(\rho_{AC})$$

• Generalization to Multi-qubit Systems: The authors demonstrate that any $n$-qubit state can be viewed as a $2 \otimes 2 \otimes d$ system. They apply their results to generalized W-class states, showing that for these specific states, the tangle of the $A|C_1...C_{n-2}$ subsystem equals the sum of the squared concurrences of the individual $AC_i$ pairs, and the monogamy equality $C^2(|\psi\rangle) = C^2(\rho_{AB}) + C_a^2(\rho_{AC})$ holds.

Significance
The paper claims that these results provide a more explicit characterization of entanglement distribution than the standard CKW inequality or the monogamy inequality defined solely by the tangle of assistance ($T_a$). By establishing analytical expressions that depend on the relative magnitudes of the CoA and the tangle, the work resolves the open problem regarding the monogamy properties between concurrence and CoA in $2 \otimes 2 \otimes d$ systems. The authors suggest that these findings offer new perspectives on the quantification of multipartite entanglement and the fundamental nature of entanglement monogamy, particularly in higher-dimensional quantum systems.