Maximum residual strong monogamy inequality for multiqubit entanglement

1. Problem Statement

Quantum entanglement is a fundamental resource for quantum information processing, but its distribution in multipartite systems is constrained by the monogamy of entanglement. This principle dictates that if a qubit is highly entangled with one partner, it cannot be equally entangled with others.

• The CKW Inequality: The foundational Coffman-Kundu-Wootters (CKW) inequality (2000) quantifies this for three qubits: $\tau_{A(BC)} \ge \tau_{AB} + \tau_{AC}$, where $\tau$ is the squared concurrence (tangle). The difference defines the "residual" tripartite entanglement (3-tangle).
• The Generalization Challenge: Extending CKW to $n$ qubits ($\tau_{q_1(q_2...q_n)} \ge \sum \tau_{q_1q_j}$) was proven, but it fails to capture genuine multipartite correlations beyond the bipartite level.
• The Strong Monogamy (SM) Conjecture: In 2014, Regula et al. proposed a "Strong Monogamy" inequality that includes higher-order $m$-partite entanglement terms on the right-hand side, weighted by rational exponents $\mu_m$.
  • Limitations: The SM conjecture relies on exponents $\mu_m$ to weight terms. The optimal values for $\mu_m$ are unknown for systems with $n > 4$, and the conjecture remains unproven for general states. Furthermore, the residual entanglement defined by previous SM inequalities can be non-zero for certain separable states, failing to act as a faithful measure of genuine multipartite entanglement.

2. Methodology

The authors propose two new inequalities to address the limitations of the SM conjecture, utilizing the squared concurrence (tangle) as the primary entanglement measure.

• Weighted Strong Monogamy (WSM): Instead of using exponents to modulate weights (as in the SM conjecture), the authors use coefficients (specifically binomial coefficients) to average the contributions of all possible $m$-partite residual entanglements.
• Maximum Residual Strong Monogamy (MRSM): This approach replaces the summation of all $m$-partite terms with the maximum $m$-partite entanglement contribution.
• Proof Strategy:
  • The authors utilize the convex roof construction to define residual entanglement for mixed states.
  • They employ mathematical induction to prove the WSM inequality for arbitrary $n$-qubit states.
  • They prove the MRSM inequality by analyzing the properties of convex functions and the recursive definition of residual entanglement.
• Validation: The tightness of these new inequalities is compared against the original SM conjecture using Verstraete's classification of four-qubit states. Examples involving a four-qubit mixed state and a five-qubit pure state are used to demonstrate the behavior of the residual entanglement.

3. Key Contributions

A. The Weighted Strong Monogamy (WSM) Inequality

The authors derive an inequality where the weight of $m$-partite contributions is determined by the inverse of the binomial coefficient $\binom{n-1}{m-1}$.
$$\tau_{q_1(q_2 \dots q_n)} \ge \sum_{j=2}^n \tau_{q_1 q_j} + \sum_{m=3}^{n-1} \binom{n-1}{m-1}^{-1} \sum_{\vec{j}_m} \tau_{q_1 q_{j_m^1} \dots q_{j_m^{m-1}}}$$

• Significance: This provides an analytically proven bound for arbitrary $n$-qubit states without needing to determine unknown exponents.
• Limitation: The residual term (LHS - RHS) is not a faithful entanglement measure because it can be positive for certain separable states.

B. The Maximum Residual Strong Monogamy (MRSM) Inequality

To fix the issue of non-zero residual entanglement in separable states, the authors introduce the MRSM inequality, which sums only the maximum $m$-partite entanglement at each level:
$$\tau_{q_1(q_2 \dots q_n)} \ge \sum_{j=2}^n \tau_{q_1 q_j} + \max_{\vec{j}_m} \left\{ \sum_{m=3}^{n-1} \tau_{q_1 q_{j_m^1} \dots q_{j_m^{m-1}}} \right\}$$

• Key Property: The residual entanglement defined by the MRSM inequality vanishes for all separable states, making it a faithful quantifier of genuine multipartite entanglement.
• Proof: Proven analytically for arbitrary $n$-qubit states using the convexity of the tangle and recursive definitions.

C. Generalizability

The authors demonstrate that both WSM and MRSM inequalities are not limited to squared concurrence. They can be extended to other entanglement measures (e.g., entanglement of formation) provided the measure satisfies:

1. The base CKW-type inequality for $2 \otimes 2 \otimes 2^{n-2}$ systems.
2. Convexity.

4. Results

• Tightness Comparison:
  • For four-qubit pure states, the MRSM inequality is generally tighter than the WSM inequality.
  • Compared to the original SM conjecture (with exponents $\mu_m = 3/2$), the MRSM inequality is tighter for specific state classes (Classes 3 and 4 in Verstraete's classification) across all parameters. For other classes (2 and 5), MRSM is tighter at parameter extremes but looser in intermediate ranges.
• Four-Qubit Mixed State Example:
  • Using a mixed state $\rho_p = (1-p)|GHZ_4\rangle\langle GHZ_4| + p|GHZ_3\rangle\langle GHZ_3| \otimes |-\rangle\langle -|$, the authors showed that the MRSM residual entanglement correctly captures the trade-off between four-partite and tripartite entanglement.
  • As the mixing parameter $p$ increases, the four-partite residual entanglement decreases while the tripartite entanglement increases, validating the inequality.
• Five-Qubit Pure State Example:
  • A superposition of a 4-qubit GHZ state and a 3-qubit GHZ state was analyzed.
  • The results showed that genuine five-partite entanglement emerges only in non-trivial superpositions, even though the component states possess only 4-partite or 3-partite entanglement. This highlights the ability of MRSM to characterize complex trade-offs.

5. Significance

• Rigorous Framework: The paper provides the first analytically proven "Strong Monogamy" inequalities for arbitrary multiqubit systems, moving beyond unproven conjectures.
• Faithful Quantification: The MRSM inequality solves a critical flaw in previous proposals by ensuring the residual entanglement is zero for separable states, thus serving as a reliable measure of genuine multipartite entanglement.
• Operational Insight: By characterizing the trade-off relations between entanglement components involving different numbers of qubits, these inequalities offer deeper insights into the structure of quantum correlations in complex systems.
• Future Applications: The framework lays the groundwork for sharper inequalities and potential applications in quantum cryptography, many-body physics, and quantum networks where precise quantification of multipartite correlations is essential.