---
title: Embezzlement of Entanglement
url: https://www.emergentmind.com/topics/embezzlement-of-entanglement
type: topic
---

# Embezzlement of Entanglement

Embezzlement of entanglement refers to protocols, resource states, and algebraic frameworks by which arbitrary entangled target states can be extracted from a fixed quantum state (the catalyst) via strictly local operations, with negligible or vanishing disturbance to the catalyst itself. This phenomenon fundamentally intertwines operational tasks in quantum protocols with the structure theory of C*-algebras and von Neumann algebras, especially those of type III. Embezzlement challenges classical boundaries of LOCC (local operations and classical communication), catalysis, and entanglement manipulation, and it is now understood to be a distinguishing operational feature of infinite-dimensional non-type-I quantum systems [2506.10736][2401.07292][1606.05061].

## 1. Definitions: Approximate, Exact, State-Dependent, and Universal Embezzlement

**Entanglement embezzlement** is the process where local operations by distinct parties "borrow" entanglement from a large resource state (catalyst) to create a target entangled state, then return the catalyst (almost) unchanged. The key variants are:

- **Approximate embezzlement:** Introduced by van Dam and Hayden, this employs a family of finite-dimensional catalysts whose dimension grows with the desired precision. The protocol error can be made arbitrarily small, but is never strictly zero. For the canonical "harmonic series" embezzling state $|\Gamma_n\rangle = (\sum_{i=1}^n 1/i)^{-1/2} \sum_{i=1}^n i^{-1/2}|i,i\rangle$, given any $d$-dimensional target $\ket\psi$ there exist local unitaries such that the trace norm error scales as $O(\log d/\log n)$, vanishing as $n\to\infty$ [1009.0771][2401.07292].
- **Exact embezzlement:** Here the embezzlement is perfect (zero error). In finite dimensions or tensor product frameworks, exact embezzlement is impossible due to invariance of Schmidt spectra under local unitaries [1606.05061]. However, it becomes possible in the commuting operator (C*-algebraic) setting with infinite-dimensional states.
- **State-dependent vs. Universal:** State-dependent protocols require a bespoke catalyst for each target, whereas universal embezzlement provides a single catalyst and a uniform set of local operations able to create any target from a specified set, or even all possible finite-dimensional target states [2506.10736][2303.17749].

## 2. C*-Algebraic and Commuting-Operator Frameworks

The algebraic formulation of embezzlement replaces traditional tensor-product Hilbert spaces with C*-algebras of observables, often the CAR algebra $\mathcal R = \varinjlim_n (M_2)^{\otimes n}$ for infinite qubit chains. In this setting, local operations correspond to *-automorphisms and the catalyst is encoded as a state $s$ on $\mathcal R\otimes\mathcal R$ [2506.10736]:

- **Explicit protocol:** The essential mechanism is an infinite shift automorphism (Hilbert hotel type), $\alpha_\pi$, that makes room at a designated site for the target, combined with a swap automorphism to inject the new entangled pair. These maps act locally and preserve the C*-norm exactly, guaranteeing no error.
- **Exactness and norm preservation:** All *-automorphisms are norm-preserving on C*-algebras, so the transformation is error-free.
- **Universality:** By appropriate choice of the initial infinite tensor product state—with each site potentially encoded by different Schmidt coefficients—the same protocol functions for an entire dense set of target states, or, by extension, all pure bipartite states at the cost of using a non-separable C*-algebra [2506.10736].

## 3. Structural Obstructions and Dimensionality Requirements

Embezzlement protocols encode profound constraints and demands within their physical and mathematical structure:

- **Finite-dimensional impossibility:** No finite-dimensional (type I or II) resource admits exact embezzlement. The fact that any perfect embezzlement protocol in the commuting-operator model requires infinite-dimensional Hilbert spaces is a direct consequence of the necessity for non-unitary isometries (i.e., shift-like operators) incompatible with finite dimension [1606.05061].
- **Type III von Neumann algebra link:** The capacity for exact universal embezzlement is a precise operational signature of type III$_1$ factors. In these algebras, every normal state is universally embezzling [2401.07292][2401.07299]. For type III$_\lambda$ with $0<\lambda<1$, there is partial embezzling power, but only type III$_1$ supports universality.
- **Self-testing property:** The existence of an exact universal embezzlement protocol certifies the presence of infinitely many locally-structured, mutually commuting embedded copies of every extractable target, forcing the containing von Neumann algebra to be of type III$_1$ [2509.05036].

## 4. Operational Realizations: Protocols and Constructive Descriptions

Several explicit and constructive protocols illustrate the above principles:

- **Infinite Hilbert-hotel shift + swap:** The protocol in [2506.10736] sequentially shifts the entire resource to free up a site (analogous to an infinite hotel shifting guests to the right), then injects the desired target at the now-free location. The rest of the resource remains undisturbed, achieving perfect state transfer for any compatible state.
- **C*-algebraic model with countable or uncountable labels:** In the dense-state case, countably many copies of the resource parameterized by rational Schmidt ratios suffice to approximate all targets. For truly universal embezzlement, one takes an uncountable tensor product over all positive reals, forming a non-separable algebra [2506.10736].
- **GNS construction and factor type:** The GNS representation of the catalyst state arising from these protocols naturally yields a von Neumann algebra of type III$_1$, as can be deduced from the Araki–Woods classification of infinite tensor products (when the logarithms of the Schmidt coefficients are $\mathbb{Q}$-linearly independent) [2506.10736][2509.05036].

## 5. Embezzlement in Quantum Field Theory and Many-Body Systems

The physical realization of universal embezzlement is naturally realized in the vacuum state of relativistic quantum field theories and certain many-body systems:

- **QFT vacuum as a universal embezzler:** The local algebras associated to wedge regions in Minkowski space, as well as scaling limits of critical lattice chains, are hyperfinite type III$_1$ factors. The Reeh–Schlieder property and Connes–Størmer state-space homogeneity guarantee any local unitary can approximate extraction of arbitrary entangled finite-dimensional states with arbitrary precision [2401.07292][2401.07299][2510.07563].
- **Operational distinction among types:** Only in algebras of type III$_1$ is the best embezzlement error $\kappa_{\min}$ identically zero for all normal states—in types I and II the minimum and maximum errors are strictly $2$ (the maximal possible for density operators).

## 6. Multipartite Embezzlement and Consistency Conditions

The extension to multipartite settings introduces additional subtleties:

- **Multipartite embezzling state:** For $N\ge2$, a normal state on a net of $N$ commuting von Neumann algebras is multipartite embezzling if local unitaries can extract arbitrary $N$-partite entangled targets at arbitrarily small error [2409.07646]. The Leung–Toner–Watrous infinite tensor product construction yields systems where every normal state is multipartite embezzling.
- **Embezzling families and consistency:** Finite-dimensional embezzling families must satisfy a consistency condition—each finite-stage state must restrict to the states at earlier stages—to converge to a genuine infinite-dimensional embezzler. The canonical van Dam–Hayden family fails this, converging to the tracial state on the hyperfinite II$_1$ factor, which is never an embezzling state [2409.07646].

| Type           | Universal Embezzlement? | $\kappa_{\min}$ | $\kappa_{\max}$ | Example Systems                               |
|----------------|------------------------|-----------------|-----------------|-----------------------------------------------|
| I, II          | No                     | 2               | 2               | Finite-dimensional systems, II$_1$, II$_\infty$ |
| III$_\lambda$  | No (partial)           | 0               | $2(1-\sqrt\lambda)/(1+\sqrt\lambda)$ | Some infinite systems                   |
| III$_1$        | Yes                    | 0               | 0               | QFT local algebras, critical spin chains      |

## 7. Physical and Computational Constraints: Complexity of Embezzlement

While algebraic and operational models support arbitrarily precise or exact embezzlement in idealized infinite settings, real protocols in physically relevant finite systems confront severe limitations:

- **Circuit complexity lower bounds:** The minimal circuit depth or gate count required to achieve $\varepsilon$-precise embezzlement grows at least as $\Delta S^2/\varepsilon$ (where $\Delta S$ is the entanglement increase) or as $\log(1/\varepsilon)$ for systems with polynomial decay of spectral gaps [2410.19051]. For critical 1D systems, the lower bound is even exponential in the region size for a fixed error, and diverges in the perfect embezzlement limit.
- **Physical obstruction:** This scaling makes perfect embezzlement operationally infeasible for any finite, local quantum device, even when the algebraic setting predicts its theoretical possibility.

## References

- [2506.10736] "Explicit C*-algebraic Protocol for Exact Universal Embezzlement of Entanglement"
- [1606.05061] "Perfect Embezzlement of Entanglement"
- [2401.07292] "Embezzling entanglement from quantum fields"
- [2401.07299] "Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras"
- [2509.05036] "Embezzlement as a 'Self-Test' for Infinite Copies of Entangled States"
- [1009.0771] "Embezzlement States are Universal for Non-Local Strategies"
- [2303.17749] "Complete Characterization of Entanglement Embezzlement"
- [2409.07646] "Multipartite Embezzlement of Entanglement"
- [2510.07563] "Entanglement in von Neumann Algebraic Quantum Information Theory"
- [2410.19051] "The complexity of entanglement embezzlement"

Source: https://www.emergentmind.com/topics/embezzlement-of-entanglement