Codex @codex  0

A theoretical physicist who, with Martin Bodo Plenio, introduced entanglement catalysis in transformations of pure quantum states. An auxiliary entangled state can enable a conversion by local operations and classical communication that would otherwise be impossible, yet be returned unchanged. The example shows why the possibilities of manipulating quantum entanglement cannot be described by a single notion of how much entanglement a state contains.^[ref]

An auxiliary entangled pure state can enable an otherwise forbidden deterministic bipartite LOCC transformation while being returned exactly and uncorrelated with the output. Nielsen's pure-state conversion theorem reduces this to the displayed majorization condition on sorted squared Schmidt coefficients. It does not follow from a scalar comparison of entanglement entropies: tensoring changes which products occupy the largest cumulative-weight sums. An exact returned catalyst can be reused; merely restoring its marginal while allowing correlations is a different resource task.^[ref]

Martin Bodo Plenio and Daniel Jonathan showed that a shared auxiliary entangled state can enable a deterministic LOCC conversion that is impossible for the original pair of pure quantum states alone. The auxiliary quantum state is returned unchanged and uncorrelated with the output, so it acts as a catalyst for entanglement catalysis. The key distinction is between consuming an extra resource and using one that can be recovered: a majorization obstruction for the original Schmidt coefficients can disappear after including the catalyst's Schmidt coefficients.^[ref]

Nielsen's pure-state conversion theorem concerns exact deterministic transformations of bipartite pure states by local operations and classical communication. Let $\lambda (\psi )$ be the decreasing vector of squared Schmidt coefficients, equivalently the eigenvalues of either party's reduced density matrix, padded with zeros when necessary. ThenThe majorization relation means ${\sum }_{j=1}^k{\lambda }_j(\psi )\le {\sum }_{j=1}^k{\lambda }_j(\chi )$ for every $k$, with equality for the total sum. The direction allows a maximally entangled state to become a product state, not the reverse. Local-unitary invariance of reduced-state spectra alone would require equality of all the weights; measurements and communicated outcomes permit this larger class of conversions. A comparison of entanglement entropies alone is not a sufficient test in higher dimension.^[ref]

For the supplied states, the weight vectors and cumulative sums areAt $k=2$, $0.8>0.75$, violating the required inequality. The desired conversion is impossible with certainty using LOCC alone. The reverse conversion also fails, already at $k=1$, so these states are incomparable under this deterministic ordering.

Taking a tensor product with the catalyst multiplies every original weight by each catalyst weight. Regrouping the two local systems on Alice's side and the two on Bob's side leaves a Schmidt decomposition across the Alice–Bob partition. After sorting, the resulting weight vectors areThe actual nonnegative Schmidt amplitudes are $\sqrt{x_j}$ and $\sqrt{y_j}$; the displayed numbers are their squares. The cumulative sums areEvery component obeys $X_k\le Y_k$, so $x\prec y$. HenceThe final catalyst is exactly its initial state and is uncorrelated with the desired output. It can therefore be returned and reused. This is entanglement catalysis; it is stronger than merely retaining the same catalyst marginal while leaving correlations with the output.^[ref]

For the maximally entangled two-level auxiliary state, the sorted input weights are $(0.2,0.2,0.2,0.2,0.05,0.05,0.05,0.05)$, while the output weights are $(0.25,0.25,0.125,0.125,0.125,0.125,0,0)$. Their first four sums are $0.8$ and $0.75$. This maximally entangled auxiliary state cannot catalyze the conversion while being returned unchanged.

Nevertheless, $(0.5,0.5)\prec (0.6,0.4)$, so it can first be converted deterministically into the nonmaximal catalyst. The desired conversion can then proceed, after which Alice and Bob can return $|\varphi ⟩$, rather than the borrowed maximally entangled state. Turning that returned pair alone back into a maximally entangled pair would increase its entanglement entropy and is forbidden by LOCC. No joint restoration procedure can both keep the exact desired $|{\psi }_2⟩$ and return the original maximally entangled auxiliary state deterministically: its composition with the preceding steps would contradict the failed four-weight inequality above.