---
title: Minimum Entanglement Drop
url: https://www.emergentmind.com/topics/minimum-entanglement-drop
type: topic
---

# Minimum Entanglement Drop

Searching arXiv for recent and foundational papers on “Minimum Entanglement Drop” and closely related formulations.
Minimum Entanglement Drop (MED) is a multipartite entanglement quantity defined by the reduction in global one-to-group entanglement when a single particle is traced out, followed by a minimization over which particle is removed. In its explicit modern formulation, one fixes a focus qubit \(q_1\), compares the entanglement across the bipartition \(q_1\mid(q_2\cdots q_n)\) before and after tracing out one other qubit, and takes the smallest resulting decrease. This construction is intended to quantify sensitivity to particle loss and thereby probe genuine multipartite structure [2606.21950]. The phrase has also appeared in adjacent literatures with different meanings: as worst-case entanglement generation by a quantum gate rather than loss [1210.1296], as the minimum noise cost required to erase entanglement completely [1708.00360], or as suppression of avoidable scattering-induced entanglement [1901.04513]. In the strict terminological sense, however, MED refers to the loss-sensitivity monotone introduced for multipartite qubit systems [2606.21950].

## 1. Formal definition

For an \(n\)-qubit state with focus qubit \(q_1\), the relevant baseline quantity is the global one-to-group entanglement across the bipartition \(q_1\mid(q_2\cdots q_n)\). The paper first introduces a monogamy-motivated precursor, the minimum residual entanglement,
\[
\mathcal{R}_{q_1} = \min_{i\in\{2,\dots,n\}} \sqrt{\tau_{q_1(q_2\dots q_n)} - \tau_{q_1q_i} - \tau_{q_1(q_2\dots \hat{q}_i \dots q_n)}}.
\]
It then defines the minimum tangle drop
\[
\mathcal{D}_{q_1} = \min_{i\in\{2,\dots,n\}} \sqrt{\tau_{q_1(q_2\dots q_n)} - \tau_{q_1(q_2\dots \hat{q}_i \dots q_n)}},
\]
and the computationally preferred minimum negativity drop
\[
\mathcal{D}_{\mathcal{N},q_1} = \min_{i \in \{2, \dots, n\}} \left( \mathcal{N}_{q_1|\mathrm{rest}} - \mathcal{N}_{q_1|\mathrm{rest}\setminus q_i} \right),
\qquad
\mathcal{N}_{A|B} = \|\rho^{T_A}\|_1 - 1.
\]
For mixed states, the tangle and negativity versions are defined via convex roof extension [2606.21950].

The physical interpretation is direct. If tracing out qubit \(q_i\) produces a large decrease in \(q_1\)'s one-to-group entanglement, then \(q_i\) is structurally important for the entanglement of the focus qubit. Taking the minimum asks for the least damaging single-particle loss. This immediately explains why biseparable states tend to yield zero: if one removable particle lies outside the entangled block containing \(q_1\), its removal causes no drop [2606.21950].

A plausible implication is that MED belongs to a family of loss-based entanglement diagnostics rather than to residual-entanglement measures based on subtracting pairwise terms. The distinction matters because earlier residual constructions can vanish on states such as the \(W\) state, whereas the minimum-drop construction is designed to avoid that specific failure mode.

## 2. Monotonicity, vanishing properties, and scope

The MED construction is proved to be an entanglement monotone under local operations and classical communication. For the tangle-based quantity, nonnegativity follows from the generalized one-focus monogamy inequality
\[
\tau_{q_1(q_2\dots q_n)} \geq \tau_{q_1q_i} + \tau_{q_1(q_2\dots \hat{q}_i \dots q_n)},
\]
which in particular implies
\[
\tau_{q_1(q_2\dots q_n)} - \tau_{q_1(q_2\dots \hat{q}_i \dots q_n)} \ge 0.
\]
The convex-roof monotonicity proof uses a flagged-superposition criterion together with concavity of one-to-group tangle and convexity of the subtractive mixed-state terms. The negativity-drop proof proceeds analogously, using the fact that negativity already has the required degree-2 homogeneity [2606.21950].

A central structural property is vanishing on biseparable states. If a pure state factorizes across some partition \(S|\bar S\) with \(q_1\in S\), tracing out a qubit in \(\bar S\) does not change the entanglement between \(q_1\) and the remaining system. Hence one drop term is zero, so the minimum is zero. For negativity this is expressed through \(\|A\otimes B\|_1=\|A\|_1\|B\|_1\) and \(\|\rho_{\bar S}\|_1=\mathrm{Tr}(\rho_{\bar S})=1\) [2606.21950].

The scope is more limited than a universally faithful multipartite entanglement measure. The paper states that the tangle-drop version satisfies four of the five usual criteria for a genuine multipartite entanglement measure, but may still fail strict positivity on some genuinely multipartite entangled states. The negativity-drop version is stronger operationally, yet beyond three qubits it also has explicit blind spots [2606.21950].

This suggests that MED is best viewed as a monotone with a specific structural semantics: sensitivity to single-particle loss. That semantics is narrower than generic multipartite entanglement quantification.

## 3. Tripartite regime and relation to earlier measures

In the three-qubit setting, MED admits especially transparent formulas. For a focus qubit \(A\),
\[
\mathcal D_A=\min\left\{ \sqrt{\tau_{A|BC}-\tau_{A|B}}, \sqrt{\tau_{A|BC}-\tau_{A|C}} \right\}.
\]
Using the Coffman–Kundu–Wootters relation
\[
\tau_{A|BC}=\tau_{AB}+\tau_{AC}+\tau_{ABC},
\]
one obtains
\[
\mathcal D_A = \sqrt{\tau_{ABC}+\min\{\tau_{AB},\tau_{AC}\}}.
\]
After minimizing over the choice of focus qubit, this is physically equivalent to the previously studied minimum pairwise concurrence,
\[
\mathcal M_{ABC} = \sqrt{\tau_{ABC}+\min\{\tau_{AB},\tau_{AC},\tau_{BC}\}},
\]
so in the tripartite regime the minimum tangle drop reproduces an established faithful genuine-multipartite quantity [2606.21950].

The negativity version is even sharper in this regime. For three-qubit pure states,
\[
\mathcal N_{1|23}=C_{1|23},
\]
while for mixed two-qubit states,
\[
\mathcal N_{1i}\le C_{1i}.
\]
If \(\mathcal D_{\mathcal N,q_1}=0\), then for some \(i\) one has \(\mathcal N_{1|23}=\mathcal N_{1i}\), hence \(C_{1|23}=C_{1i}\). Combined with CKW, this forces vanishing minimum pairwise concurrence and therefore biseparability. The paper accordingly proves that the minimum negativity drop is faithful for three-qubit states [2606.21950].

This tripartite equivalence places MED in a clear lineage relative to earlier residual-tangle programs. By contrast, the original three-tangle vanishes on \(W\)-class states, and the monogamy-inspired precursor \(\mathcal R_{q_1}\) retains that deficiency. The minimum-drop reformulation is specifically introduced to remedy that behavior [2606.21950].

## 4. State families, exact formulas, and failure cases

The pure \(n\)-qubit \(W\) state,
\[
|W_n\rangle = \frac{1}{\sqrt n}\bigl( |10\dots 0\rangle+|010\dots 0\rangle+\cdots+|0\dots 01\rangle \bigr),
\]
provides the canonical exact example. Symmetry implies that the drop does not depend on the choice of focus qubit or the removed qubit. The one-to-group tangle is
\[
\tau_{q_1|\mathrm{rest}}=\frac{4(n-1)}{n^2},
\]
while after tracing out one nonfocus qubit it becomes
\[
\tau_{q_1|\mathrm{rest}\setminus i}=\frac{4(n-2)}{n^2}.
\]
Hence
\[
\mathcal D_{\min}=\frac{2}{n}.
\]
The value is positive for every \(n\), but decays as \(2/n\), showing that larger \(W\) states are increasingly robust to single-particle loss [2606.21950].

The same family remains exactly solvable under the noise model
\[
\rho = (1-\gamma)|W_n\rangle\langle W_n| + \gamma |0\dots 0\rangle\langle 0\dots 0|.
\]
For the pure superpositions
\[
|\Psi(\gamma,\phi)\rangle = \sqrt{1-\gamma}\,|W_n\rangle + e^{i\phi}\sqrt{\gamma}\,|0\dots 0\rangle,
\]
the paper finds
\[
\mathcal D_{\min}(|\Psi(\gamma,\phi)\rangle) = \frac{2(1-\gamma)}{n},
\]
independent of \(\phi\), and by the rank-2 convex-roof argument concludes that the mixed state itself obeys
\[
\mathcal D_{\min} = \frac{2(1-\gamma)}{n}.
\]
This gives an exact scaling law jointly in system size and noise strength [2606.21950].

Graph states illustrate both the diagnostic power and the limitations of MED. For connected three-qubit graph states, the method identifies a single global cluster \(\{1,2,3\}\). For connected four-qubit graph states, it distinguishes different local Clifford orbits and, within one orbit, can identify disjoint two-qubit clusters such as \(\{1,2\}\) and \(\{3,4\}\), or diagonal pairings \(\{1,4\}\) and \(\{2,3\}\) for the square ring graph. For the star and fully connected four-qubit graphs, it identifies a single global cluster \(\{1,2,3,4\}\) [2606.21950].

However, the quantity is not faithful for arbitrary multipartite states. An explicit counterexample is the genuinely multipartite entangled chain-type state
\[
|\Psi_{\mathrm{chain}}\rangle = \mathrm{CNOT}_{23} \bigl( |\Phi^+\rangle_{12}\otimes |\Phi^+\rangle_{34} \bigr),
\]
for which the minimum entanglement drop vanishes. The paper also notes that the diagnostic sensitivity strictly vanishes for the 5-qubit error-correcting code because every subsystem of fewer than 3 qubits is maximally mixed and every two-qubit reduced state factorizes, so tracing out one qubit does not affect the focus qubit’s one-to-group profile [2606.21950].

## 5. Structural probe and experimental estimation

MED is presented არა only as a scalar monotone but as a structural probe. If tracing out qubit \(x\) causes a positive decrease,
\[
\mathcal N_{q_1|\mathrm{rest}} > \mathcal N_{q_1|\mathrm{rest}\setminus x},
\]
then \(q_1\) and \(x\) must belong to a mutually inseparable subset. This leads to the notion of a directly entangled cluster \(S_{q_1}\), defined as the set containing the focus qubit and all particles whose removal yields a positive drop. The entanglement within that identified cluster is then quantified by
\[
\mathcal D_{S_{q_1}} := \min_{x\in S_{q_1}\setminus\{q_1\}} \left( \mathcal N_{q_1|\mathrm{rest}} - \mathcal N_{q_1|\mathrm{rest}\setminus x} \right).
\]
The full qubit-resolved pattern \(\mathcal D_{q_1\setminus x}\) is interpreted as a connectivity fingerprint [2606.21950].

This loss-sensitivity picture underlies the graph-state applications. States within the same local Clifford equivalence class can still exhibit different MED fingerprints because the method is probing local vulnerability to particle loss rather than only abstract entanglement class. A plausible implication is that MED can encode architecture-level information relevant to experimental connectivity even when standard multipartite measures cannot separate two states.

The proposed experimental route uses randomized measurements and classical shadows. For globally pure states, the vanishing of negativity drop is equivalent to factorization of the two-qubit reduced state,
\[
\rho_{q_1 q_k} = \rho_{q_1}\otimes \rho_{q_k},
\]
which can be reformulated as the purity condition
\[
\mathrm{Tr}(\rho_{q_1 q_k}^2) = \mathrm{Tr}(\rho_{q_1}^2)\,\mathrm{Tr}(\rho_{q_k}^2).
\]
Thus MED-style cluster identification reduces to estimating one- and two-qubit purities. The paper argues that this can reduce classical post-processing from an exhaustive search over \(2^{n-1}-1\) bipartitions to \(\mathcal O(n^2)+\mathcal O(2^k)\), where \(k\) is the number of identified macroscopic clusters, and in highly structured cases such as GHZ and \(W\) states even to \(\mathcal O(n)\) [2606.21950].

## 6. Related meanings of the phrase in earlier literature

Before MED became a formal multipartite monotone, closely related expressions referred to different operational questions. In random-gate theory, the nearest antecedent is the minimum entangling power of a bipartite unitary. For a gate \(U\) and an entanglement measure \(f\),
\[
P_{min}^{(f)}(U)=\min_{\alpha,\beta} f(U|\alpha\beta\rangle),
\]
with the minimization over product inputs. For Haar-random bipartite unitaries, even this worst-case output entanglement is generically close to maximal; for Schmidt rank one has the exact almost-sure value
\[
P_{min}^{(SR)}(U)= \left\lceil \frac{d_A+d_B-\sqrt{(d_A-d_B)^2+4(d_A+d_B)-8}}{2} \right\rceil,
\]
and for entropy the minimum entangling power concentrates near \(\log d_A-\frac{d_A}{d_B\ln 2}-1\) [1210.1296]. This is not entanglement drop under particle loss, but it is a minimum-over-worst-case construction with similar terminology.

A second operationally distinct use concerns entanglement erasure. In the catalytic randomization model, the asymptotic noise cost to render a bipartite state separable is
\[
C_{\mathrm{SEP}(A:B)_\rho} = E^\infty(A:B)_\rho,
\]
the regularized relative entropy of entanglement. Here the optimization concerns the minimum rate of injected randomness needed to drive entanglement all the way to zero, not the sensitivity of multipartite entanglement to subsystem loss [1708.00360].

Other adjacent notions include pre-managing how far entanglement may decay before a prescribed time \(\tau\) under amplitude, phase, or depolarizing noise via threshold disentanglement [1211.7001], and minimizing scattering-induced entanglement by imposing the mass–width condition
\[
\sqrt{r}\,\sigma_2 = \sigma_1,
\qquad
\frac{\sigma_1^2}{m_1}=\frac{\sigma_2^2}{m_2},
\]
for one-dimensional Gaussian wave-packet collisions [1901.04513]. These problems concern entanglement preservation or suppression, but not MED in the specific multipartite monotone sense.

The modern MED formulation is therefore best understood as a distinct construct: the minimum loss of one-to-group entanglement under tracing out a single constituent, used both as a monotone and as a structural probe of multipartite entanglement organization [2606.21950].

Source: https://www.emergentmind.com/topics/minimum-entanglement-drop