Quantifying the unextendibility of entanglement

The unextendibility or monogamy of entangled states is a key property of quantum entanglement. Unlike conventional ways of expressing entanglement monogamy via entanglement measure inequalities, we develop a state-dependent resource theory to quantify the unextendibility of bipartite entangled states. First, we introduce a family of entanglement measures called unextendible entanglement. Given a bipartite state $\rho_{AB}$, the key idea behind these measures is to minimize a divergence between $\rho_{AB}$ and any possibly reduced state $\rho_{AB'}$ of an extension $\rho_{ABB'}$ of $\rho_{AB}$. These measures are intuitively motivated by the fact that the more a bipartite state is entangled, the less that each of its individual systems can be entangled with a third party. Second, we show that the unextendible entanglement is an entanglement monotone under two-extendible operations, which include local operations and one-way classical communication as a special case. Unextendible entanglement has several other desirable properties, including normalization and faithfulness. As applications, we show that the unextendible entanglement provides efficiently computable benchmarks for the rate of perfect secret key distillation or entanglement distillation, as well as for the overhead of probabilistic secret key or entanglement distillation.