Fact-checked by Grok 2 weeks ago

LOCC

Local operations and classical communication (LOCC) is a class of quantum protocols in which multiple spatially separated parties perform local quantum operations on their individual subsystems while exchanging only classical information to coordinate actions and manipulate shared quantum states.^[1] These operations are formalized as trace-preserving completely positive maps, representing a restricted subset of all possible quantum evolutions that respect the no-signaling principle across distant locations.^[1] LOCC plays a pivotal role in quantum information theory by enabling the study and exploitation of quantum correlations, such as entanglement, without requiring direct quantum channels between parties.^[1] It underpins key protocols, including quantum teleportation, which transfers an unknown quantum state from one party to another using a shared entangled pair and two classical bits of communication, as originally proposed by Bennett et al. in 1993.^[2] Similarly, entanglement distillation employs LOCC to purify noisy entangled states into higher-fidelity maximally entangled states, a process first detailed by Bennett et al. in 1995 for faithful teleportation via noisy channels.^[3] These applications highlight LOCC's importance in distributed quantum computing, secure communication, and resource conversion tasks.^[4] The development of LOCC traces back to early explorations of nonlocal quantum measurements in the "distant labs" paradigm, with seminal work by Peres and Wootters in 1991 demonstrating optimal strategies for detecting quantum information across separated systems using local operations and classical coordination.^[5] Subsequent research, such as Bennett et al.'s 1999 analysis, revealed phenomena like nonlocality without entanglement, where certain state discriminations are possible only with LOCC but not with separable operations alone.^[6] Notably, LOCC protocols can be finite-round or asymptotic (infinite-round), with the latter allowing more powerful transformations, such as complete entanglement distillation, though finite-round LOCC remains compact and practically relevant.^[1] Distinctions from broader separable operations (SEP) underscore LOCC's specificity to communication-assisted local actions, influencing ongoing studies in multipartite quantum networks and resource theories.^[1]

Definition and Basics

Formal Definition

Local operations and classical communication (LOCC) refers to a class of protocols in quantum information theory where multiple parties, each holding a portion of a multipartite quantum system, perform operations restricted to their local subsystems and exchange classical information to coordinate their actions.^[3] These protocols are fundamental for tasks such as entanglement manipulation without requiring direct quantum channels between the parties.^[7] In the standard setting, consider an N-partite quantum system distributed across parties A_1, \dots, A_N, with the total Hilbert space \mathcal{H} = \mathcal{H}_{A_1} \otimes \cdots \otimes \mathcal{H}_{A_N}. Each party A_k applies a local quantum operation, modeled as a completely positive trace-preserving (CPTP) map on \mathcal{H}_{A_k}, such as unitary transformations or measurements, while subsequent operations may be conditioned on classical messages (e.g., measurement outcomes) broadcast among the parties.^[7] The classical communication allows the parties to adapt their local actions based on shared information, but it is limited to bits of classical data, ensuring no quantum superposition or coherence is transmitted between subsystems.^[3] This restriction starkly contrasts with protocols involving quantum communication, where parties could send quantum states directly via quantum channels, potentially enabling superpositions or entangled resources to be shared; LOCC explicitly prohibits such quantum information transfer, relying solely on pre-existing entanglement and classical coordination.^[7] A simple two-party example illustrates LOCC: Alice, holding subsystem A, performs a measurement in some basis and obtains an outcome m, which she classically communicates to Bob holding subsystem B; Bob then applies a conditional unitary operation on B depending on m, such as a rotation if m=0 or the identity if m=1.^[3] This sequence preserves the overall trace-preserving nature of the global evolution while localizing quantum manipulations.^[7]

Components of LOCC

Local operations in LOCC refer to quantum operations performed independently on each party's subsystem without accessing others, typically consisting of unitary evolutions, measurements, or more generally, completely positive trace-preserving (CPTP) maps.^[7] For a single party acting on their subsystem A, such an operation can be expressed in the Kraus representation as \rho_A' = \sum_k M_k^A \rho_A (M_k^A)^\dagger, where \{M_k^A\} are the Kraus operators satisfying the completeness relation \sum_k (M_k^A)^\dagger M_k^A = I to ensure trace preservation. These local CPTP maps allow parties to manipulate their local quantum states, such as applying rotations or performing projective measurements, while preserving the overall quantum coherence within their subsystem. Classical communication complements local operations by enabling parties to share information about their local measurement outcomes through classical channels, which can be one-way (e.g., one party broadcasts results to others) or two-way (allowing bidirectional exchange).^[7] This communication is restricted to classical bits, ensuring no quantum information is transmitted directly, and can occur in finite or infinite rounds, with finite rounds limiting the protocol's adaptivity. LOCC protocols structure these components through recursive interleaving: a party performs a local operation, communicates the outcome classically, and subsequent local operations by other parties may depend on received messages, forming a tree of possible branches based on outcomes.^[7] For r rounds of such interleaving, the protocol is denoted LOCC_r, where each round consists of local operations followed by communication; LOCC generally allows unlimited rounds. Protocols can be deterministic, achieving exact transformations with probability 1 via invertible local operations, or probabilistic, incorporating measurements that yield outcomes with inherent probabilities less than 1.^[7] The framework of LOCC was first explored by Peres and Wootters in 1991 for optimal detection of quantum information and further developed by Bennett et al. in 1993 for tasks like quantum teleportation, highlighting its role in distributed quantum information processing.^[5]^[2]

Mathematical Framework

Characterization of LOCC Operations

LOCC operations on a multipartite quantum system shared among parties labeled A, B, ..., Z are formally characterized through a recursive construction that builds protocols from local completely positive trace-preserving (CPTP) maps interleaved with classical communication. The base case, one-round LOCC (LOCC_1), consists of a single party, say A, performing a local quantum instrument—a collection of CP maps {E_j^A} indexed by outcomes j, followed by the other parties applying conditional local CPTP maps based on the announced outcome via classical communication; this classical exchange effectively conditions subsequent operations on the measurement result. Higher-round protocols are defined recursively: an r-round LOCC (LOCC_r for r ≥ 2) extends an (r-1)-round LOCC by appending another such one-way instrument and conditioning step, ensuring the overall transformation remains local except for the classical messages. This recursive structure captures the sequential nature of LOCC, where classical communication serves solely to coordinate and condition local actions without transmitting quantum information.^[7] In the Kraus operator formalism, the effective quantum channel implemented by an LOCC protocol admits an operator-sum representation with Kraus operators of product form across the parties: E_{i_1 \dots i_n} = M_{i_1}^A \otimes \cdots \otimes M_{i_n}^Z, where each M_{i_k}^W (for party W) is a local operator corresponding to outcome index i_k in the protocol's measurement sequence, and the indices i_1 ... i_n label the combined classical outcomes. The normalization condition, known as the completeness relation, requires \sum_{i_1 \dots i_n} E_{i_1 \dots i_n}^\dagger E_{i_1 \dots i_n} = I, ensuring the map is trace-preserving. The overall LOCC channel Φ acting on a multipartite density operator ρ is then given by

\Phi(\rho) = \sum_{i_1 \dots i_n} E_{i_1 \dots i_n} \rho E_{i_1 \dots i_n}^\dagger,

where the sum averages over all possible classical outcome sequences, yielding a CPTP map that preserves the local structure enforced by the protocol. This representation highlights how LOCC channels are a strict subclass of separable channels, as the product Kraus form arises directly from the locality of operations.^[7] LOCC protocols are further distinguished by the number of communication rounds: finite-round LOCC (denoted LOCC_ℕ = ∪r LOCC_r) encompasses all protocols with a bounded number r of classical exchanges, forming a countable union of compact sets in the space of quantum instruments, while infinite-round LOCC (LOCC∞) allows arbitrarily many rounds, including limits of finite-round approximations. Although LOCC_∞ is dense in certain subspaces of quantum operations, it remains strictly contained within the class of separable operations (SEP), meaning not all SEP maps can be exactly implemented by LOCC. For instance, certain two-qubit separable instruments require quantum coordination beyond classical messaging and lie in the closure of LOCC_∞ but outside LOCC_∞ itself, demonstrating the limitations of classical communication in replicating all product-form transformations.^[7]^[8]

Relation to Separable Operations

Separable operations, also known as SEP, form a class of quantum channels on multipartite systems where each Kraus operator can be expressed as a sum of tensor products of local Kraus operators across the parties involved.^[9] Formally, for a bipartite system, a channel \Phi is separable if it admits Kraus operators \{K_i\} such that K_i = \sum_j A_j^{(1)} \otimes B_j^{(2)}, where \{A_j^{(1)}\} and \{B_j^{(2)}\} are sets of operators acting on the first and second subsystems, respectively, satisfying the completeness relation \sum_i K_i^\dagger K_i = I.^[10] This structure ensures that separable operations do not require explicit quantum communication between parties, relying instead on local actions coordinated in a product form.^[11] Every LOCC protocol implements a separable operation, establishing the inclusion LOCC \subseteq SEP, as the classical communication in LOCC can be incorporated into the choice of local Kraus operators without violating the product structure. However, this inclusion is strict: there exist separable operations that cannot be realized by any finite- or infinite-round LOCC protocol. A prominent counterexample involves perfect discrimination of certain sets of orthogonal product states, which can be achieved by separable measurements but not by LOCC. Topologically, the set of separable operations forms a convex and compact subset of all completely positive trace-preserving maps, closed under convex combinations. In contrast, while the set of LOCC operations is also convex—allowing mixtures via local randomization—the LOCC set is not topologically closed, meaning its closure \overline{\mathrm{LOCC}} includes additional operations approachable by limits of LOCC protocols but not achievable exactly by LOCC.^[12] This distinction arises because LOCC protocols involve sequential classical signaling, which can lead to non-closure under limits, whereas SEP's product form ensures greater regularity.^[13] The strict superset relation has significant implications for quantum information tasks, particularly in entanglement manipulation. For instance, certain mixed-state entanglement transformations, such as converting a rank-2 isotropic state to a rank-3 Werner state in dimension 3, are possible with unit probability using separable operations but impossible under LOCC, even with infinite rounds of communication.^[11] Similarly, separable operations enable probabilistic simulations of some LOCC-infeasible measurements, highlighting SEP's enhanced power in resource theories where LOCC represents the free operations.^[14]

Key Properties

Topological Properties

The set of local operations and classical communication (LOCC) protocols restricted to finite rounds, denoted LOCC_ℕ, is not closed under limits in the diamond norm topology on quantum instruments. There exist sequences of such finite-round protocols that converge to a map not implementable by any LOCC protocol, even allowing infinite rounds of communication. A concrete example arises in the discrimination of rotated domino states on ℂ³ ⊗ ℂ³, where a sequence of three-round LOCC measurements converges to a limiting map as the minimum rotation angle θ_min → 0, but the limit exceeds LOCC capabilities, as evidenced by numerical optimization showing positive distance from the LOCC set.^[15] The topological closure of LOCC_ℕ, denoted \overline{\mathrm{LOCC}}{\mathbb{N}}, coincides with the full LOCC set (including infinite-round protocols) and forms a proper subset of the separable operations (SEP). This closure equals SEP in certain weaker topologies, such as the pointwise convergence topology, but remains strictly contained in SEP under stronger norms like the diamond norm, where examples of SEP maps outside \overline{\mathrm{LOCC}}{\mathbb{N}} persist, such as specific two-qubit instruments for state discrimination.^[7]^[16] The LOCC sets exhibit monotonic convergence with respect to the number of rounds: \mathrm{LOCC}r \subsetneq \mathrm{LOCC}{r+1} for each finite r, yielding strictly increasing expressiveness as r grows. A distance metric provides a measure for this convergence, defined for instruments M_1 and M_2 as d(M_1, M_2) = \sup_{\rho} \inf_f \sum_j \left\| K_{1,f(j)} \rho K_{1,f(j)}^\dagger - K_{2,j} \rho K_{2,j}^\dagger \right\|_2, where the supremum is over input states ρ and the infimum over relabelings f of outcomes. For instance, an infinite-round LOCC measurement M_0 can be approximated by a parameterized finite-round sequence M_ε with d(M_ε, M_0) ≤ 2ε(1 - q)/(1 - qε) for small ε > 0 and outcome probability q, demonstrating how additional rounds reduce the approximation error arbitrarily.^[16] These topological features have practical implications for quantum information processing: while some tasks, such as exact implementation of certain infinite-round measurements (e.g., those requiring continuous communication limits), necessitate infinite rounds in principle, finite-round approximations suffice for many applications with negligible error. For example, the set of finite-round LOCC is dense in the full LOCC set, allowing high-fidelity implementations of complex protocols using a practical number of communication rounds, though exact separability beyond LOCC may remain unattainable.^[16]^[7]

Resource Theory Aspects

In the resource theory of entanglement, local operations and classical communication (LOCC) serve as the free operations, enabling the manipulation of quantum states without the ability to generate entanglement from separable states.^[17] This framework treats entanglement as the primary resource, where LOCC protocols preserve or diminish the entanglement content, ensuring that no net gain in quantum correlations occurs across transformations.^[17] For instance, entanglement measures such as the entanglement entropy, defined as the von Neumann entropy of the reduced density matrix for pure bipartite states, remain non-increasing under LOCC, reflecting the second law-like behavior inherent to this resource theory.^[17] A key property in this context is the monotonicity of entanglement quantifiers under LOCC transformations. The entanglement of formation E_F, which quantifies the minimum cost in ebits required to create a state via LOCC from maximally entangled states, exemplifies this: for any LOCC map \Phi_{\text{LOCC}} applied to a bipartite state \rho, it holds that

E_F(\Phi_{\text{LOCC}}(\rho)) \leq E_F(\rho). $$ This inequality underscores that LOCC cannot increase the entanglement resource, aligning with the foundational principles of the theory and ensuring consistency in resource accounting.[](https://link.aps.org/doi/10.1103/RevModPhys.91.025001) While LOCC alone prohibits the creation of entanglement from unentangled resources, auxiliary entangled states can facilitate otherwise impossible conversions without being consumed, a phenomenon known as [entanglement catalysis](/page/Entanglement_catalysis). In catalytic LOCC, an entangled [catalyst](/page/Catalyst) enables transformations between initial and final states that violate [majorization](/page/Majorization) criteria for direct LOCC, yet the catalyst is recovered unchanged, effectively assisting the process. Similarly, embezzling schemes allow the extraction of arbitrary small amounts of entanglement from a highly entangled auxiliary state via LOCC, with negligible disturbance to the auxiliary, highlighting subtle ways LOCC can redistribute but not generate resources [de novo](/page/De_novo).[](https://arxiv.org/abs/quant-ph/0201041) The resource theory framework extends naturally to multipartite systems, where LOCC acts as free operations for characterizing genuine multipartite entanglement (GME), a stronger form of correlations irreducible to bipartite components.[](https://link.aps.org/doi/10.1103/PhysRevLett.122.120503) In this setting, LOCC transformations distinguish GME resources from biseparable or partially entangled states, with monotones adapted to multipartite measures ensuring non-increase under protocol application.[](https://link.aps.org/doi/10.1103/PhysRevLett.122.120503) For example, certain multipartite resource theories identify unique maximally entangled states, like the generalized GHZ state, under LOCC, providing a unified quantification of shared entanglement across multiple parties.[](https://link.aps.org/doi/10.1103/PhysRevLett.122.120503) Recent advances as of [2025](/page/2025) have further refined this framework, establishing a second law of entanglement manipulation. This law demonstrates that entanglement transformations can be made perfectly reversible using an auxiliary "entanglement battery," a shared entangled [resource](/page/Resource) that assists LOCC protocols without net consumption, enabling cycles that were previously impossible under standard LOCC alone.[](https://doi.org/10.1103/PhysRevLett.135.010402) ## Applications ### State Preparation LOCC protocols enable the preparation of any separable [quantum state](/page/Quantum_state) starting from a product state of local resources, as separable states are precisely those achievable through local operations and classical communication without creating entanglement. This capability arises because LOCC preserves the separability of initial product states while allowing the introduction of classical correlations via shared randomness coordinated through communication. A representative protocol for preparing a classically correlated separable state, such as the two-qubit mixture

\rho = \frac{1}{2} |00\rangle\langle 00| + \frac{1}{2} |11\rangle\langle 11|,

begins with [Alice and Bob](/page/Alice_and_Bob) each holding a [qubit](/page/Qubit) in a standard product state, say $|0\rangle_A \otimes |0\rangle_B$. [Alice](/page/Alice) performs a local unbiased coin flip to generate a random bit $b \in \{0,1\}$. She then communicates $b$ to Bob via a classical channel. Depending on $b$, [Alice](/page/Alice) applies a local operation to prepare her [qubit](/page/Qubit) in $|b\rangle_A$, and Bob does likewise to prepare $|b\rangle_B$. The resulting state is the desired $\rho$, achieved deterministically in one round of communication. This [protocol](/page/Protocol) generalizes to multipartite settings, where multiple parties share [randomness](/page/Randomness) through a sequence of classical messages to coordinate local preparations of product basis states, yielding any [separable state](/page/Separable_state) as a [convex combination](/page/Convex_combination) of such products. For instance, in a three-party scenario, one party can flip a [coin](/page/Coin) and broadcast the outcome, prompting the others to align their local states accordingly. A fundamental limitation of LOCC is that it cannot generate entangled states from unentangled product inputs, as any LOCC transformation preserves the absence of entanglement. Thus, while [separable state](/page/Separable_state)s, including those with classical correlations, can be prepared efficiently and deterministically, entangled resources must be supplied initially for tasks requiring quantum [coherence](/page/Coherence) across parties. ### State Discrimination State discrimination using LOCC involves protocols where parties perform local measurements on their subsystems and exchange classical information to identify an unknown [quantum state](/page/Quantum_state) from a given [ensemble](/page/Ensemble!), without the need for joint operations. For orthogonal pure states, LOCC enables perfect [discrimination](/page/Discrimination) in the bipartite case. Specifically, any two orthogonal bipartite pure states can be perfectly distinguished using a deterministic LOCC [protocol](/page/Protocol), where one party measures in a basis adapted to the difference in their local reduced density operators, communicates the outcome, and the other party performs a conditional [measurement](/page/Measurement) to resolve the ambiguity.[](https://link.aps.org/doi/10.1103/PhysRevLett.85.4972) A representative example is the discrimination between the two orthogonal Bell states $ |\Phi^+\rangle = \frac{1}{\sqrt{2}} (|00\rangle + |11\rangle) $ and $ |\Psi^+\rangle = \frac{1}{\sqrt{2}} (|01\rangle + |10\rangle) $. In this protocol, Alice measures her [qubit](/page/Qubit) in the Z basis (i.e., projectors onto $ |0\rangle $ and $ |1\rangle $) and communicates the result (0 or 1) to [Bob](/page/Bob). [Bob](/page/Bob) then measures his [qubit](/page/Qubit) in the Z basis. If Alice's and [Bob](/page/Bob)'s outcomes match, the state is $ |\Phi^+\rangle $; if they differ, the state is $ |\Psi^+\rangle $. For $ |\Phi^+\rangle $, the outcomes are always the same due to perfect correlation; for $ |\Psi^+\rangle $, they are always opposite due to anticorrelation. This achieves a success probability of 1, matching the global measurement performance for these orthogonal states.[](https://link.aps.org/doi/10.1103/PhysRevLett.85.4972) For non-orthogonal states, minimum-error discrimination under LOCC generally yields suboptimal performance compared to the Helstrom bound, which provides the minimal error probability achievable via joint measurements. The Helstrom bound for equally likely states $ \rho $ and $ \sigma $ is $ P_e = \frac{1}{2} - \frac{1}{4} \|\rho - \sigma\|_1 $, but LOCC restrictions often result in higher error rates due to the inability to perform entangled measurements locally. For instance, in bipartite entangled state ensembles, LOCC protocols can approach but rarely saturate the bound, highlighting the limitations of distributed measurements.[](https://www.nature.com/articles/s42005-023-01454-z)[](https://link.aps.org/doi/10.1103/PhysRevA.82.042340) In the multipartite setting, LOCC state discrimination faces additional challenges, even for orthogonal ensembles. While any two orthogonal multipartite pure states remain perfectly distinguishable via LOCC, larger sets often cannot be reliably identified. A key example is the set of four Bell states, which are mutually orthogonal but impossible to perfectly discriminate using LOCC, as no local measurement strategy can resolve all ambiguities without error. This nonlocality without entanglement underscores the distributed nature of the task, where increasing the number of parties amplifies the complexity and reduces the fidelity of discrimination compared to [global operations](/page/Global_Operations).[](https://link.aps.org/doi/10.1103/PhysRevLett.85.4972)[](https://link.aps.org/doi/10.1103/PhysRevLett.87.277902) ### Quantum Teleportation Quantum teleportation is a fundamental [protocol](/page/Protocol) that enables the transfer of an unknown [quantum state](/page/Quantum_state) from one party to another using shared entanglement and classical communication, without physically transmitting the quantum carrier itself. In this setup, two parties, [Alice and Bob](/page/Alice_and_Bob), initially share a maximally entangled Einstein-Podolsky-Rosen ([EPR](/page/EPR)) pair, such as the [Bell state](/page/Bell_state) $\frac{1}{\sqrt{2}} (|00\rangle + |11\rangle)$. [Alice](/page/Alice), who possesses the unknown [qubit](/page/Qubit) in state $|\psi\rangle = \alpha |0\rangle + \beta |1\rangle$, performs a joint [measurement](/page/Measurement) on her unknown qubit and her half of the EPR pair in the Bell basis. This measurement yields one of four possible outcomes, corresponding to two classical bits of information.[](https://www.comp.nus.edu.sg/~rahul/allfiles/teleport.pdf) Alice then communicates these two classical bits to Bob over a classical channel. Based on the received bits, Bob applies conditional Pauli corrections to his qubit: specifically, if the bits are (00), no correction; (10), apply $X$; (01), apply $Z$; or (11), apply $ZX$. These operations are local unitaries determined by the measurement outcome. The resulting state on Bob's side is exactly $|\psi\rangle$, achieving perfect fidelity of 1 when the shared entanglement is maximal. This process exemplifies a local operations and classical communication (LOCC) protocol, as it involves only local quantum operations (unitaries, measurements) on each party's subsystem and classical message passing.[](https://www.comp.nus.edu.sg/~rahul/allfiles/teleport.pdf)[](https://link.aps.org/doi/10.1103/PhysRevLett.70.1895) Mathematically, the teleported state $\rho'$ after Bob's correction can be expressed as $\rho' = U(\text{measurement}) \rho U^\dagger(\text{measurement})$, where $U(\text{measurement})$ is the Pauli operator corresponding to the Bell measurement outcome, and $\rho$ is the original [density matrix](/page/Density_matrix) of the unknown state; this ensures $\rho' = \rho$ for perfect reconstruction. The protocol's steps—entanglement sharing, Bell-state measurement, classical transmission, and conditional gates—highlight its reliance on LOCC to faithfully transfer [quantum information](/page/Quantum_information) across distance.[](https://www.comp.nus.edu.sg/~rahul/allfiles/teleport.pdf) Extensions of this bipartite [protocol](/page/Protocol) to multipartite settings allow for the [teleportation](/page/Teleportation) of states among multiple parties using shared multipartite entanglement, such as Greenberger-Horne-Zeilinger (GHZ) states. For instance, in a three-party [scenario](/page/Scenario), [Alice](/page/Alice) can teleport a [qubit](/page/Qubit) to both Bob and Charlie simultaneously by performing a generalized [measurement](/page/Measurement) on her [qubit](/page/Qubit) and shares of the GHZ state, followed by classical communication and local corrections by the receivers. This multipartite variant maintains the LOCC structure but requires multipartite entanglement resources. Additionally, [quantum teleportation](/page/Quantum_teleportation) is closely linked to [superdense coding](/page/Superdense_coding), a [dual](/page/Dual) [protocol](/page/Protocol) where shared entanglement enables sending two classical bits with one [qubit](/page/Qubit) transmission, underscoring the reversible nature of entanglement-assisted communication tasks under LOCC.[](https://link.aps.org/doi/10.1103/PhysRevA.71.032303) ## Entanglement Manipulation ### Pure State Conversions In quantum information theory, the transformation of pure bipartite entangled states under local operations and classical communication (LOCC) is a fundamental problem in entanglement manipulation. These transformations allow parties to convert one entangled state into another using only local quantum operations on their respective subsystems and the exchange of classical information, without the need for additional resources. The feasibility of such deterministic conversions is governed by the entanglement [structure](/page/Structure) of the states, quantified through their Schmidt coefficients.[](https://doi.org/10.1103/PhysRevLett.83.436) Any pure bipartite state $ |\psi\rangle $ shared between two parties, [Alice and Bob](/page/Alice_and_Bob), can be expressed via the [Schmidt decomposition](/page/Schmidt_decomposition) as

|\psi\rangle = \sum_{i} \sqrt{\lambda_i^\psi} |i_A\rangle |i_B\rangle,

where $ \{|i_A\rangle\} $ and $ \{|i_B\rangle\} $ are orthonormal bases for Alice's and Bob's subsystems, respectively, and $ \{\lambda_i^\psi\} $ are the Schmidt coefficients satisfying $ \sum_i \lambda_i^\psi = 1 $ and $ \lambda_i^\psi \geq 0 $. These coefficients are the eigenvalues of the reduced density operator $ \rho_A^\psi = \mathrm{Tr}_B(|\psi\rangle\langle\psi|) $, and they fully characterize the entanglement of $ |\psi\rangle $. Similarly, for another pure state $ |\phi\rangle $, the Schmidt coefficients are $ \{\lambda_i^\phi\} $. The [majorization](/page/Majorization) relation between these coefficient vectors determines whether $ |\psi\rangle $ can be converted to $ |\phi\rangle $ deterministically via LOCC.[](https://doi.org/10.1103/PhysRevLett.83.436) Nielsen's theorem provides the necessary and sufficient condition for such a conversion: $ |\psi\rangle $ can be transformed into $ |\phi\rangle $ using LOCC if and only if the Schmidt coefficient vector $ \lambda^\psi $ (sorted in decreasing order) is majorized by $ \lambda^\phi $, denoted $ \lambda^\psi \prec \lambda^\phi $. This means that for all $ m $,

\sum_{k=1}^m \lambda_k^\psi \leq \sum_{k=1}^m \lambda_k^\phi,

with equality when $ m $ is the full dimension. This condition implies that conversions are possible only in the direction that does not increase the "spread" of the Schmidt coefficients, corresponding to a dilution of entanglement. For example, a maximally entangled state with uniform coefficients $ \lambda_i = 1/d $ (where $ d $ is the dimension) majorizes no other entangled state except itself, limiting its convertibility to less entangled forms.[](https://doi.org/10.1103/PhysRevLett.83.436) The protocol for achieving these conversions typically involves one-way LOCC, where one party (say, [Alice](/page/Alice)) performs a generalized [measurement](/page/Measurement) on her subsystem, communicates the outcome classically to [Bob](/page/Bob), and [Bob](/page/Bob) then applies a conditional local operation based on that result. This process can be iterated if necessary, but for pure states satisfying the [majorization](/page/Majorization) condition, a finite number of rounds suffices. Local unitaries may be applied beforehand to align the [Schmidt](/page/Schmidt) bases. Such protocols exploit the freedom in LOCC to adjust the eigenvalues of the reduced density operators while preserving the overall entanglement ordering imposed by [majorization](/page/Majorization).[](https://doi.org/10.1103/PhysRevLett.83.436) A key limitation of these transformations is their irreversibility: not all conversions are possible in both directions, and incomparable states exist where neither majorizes the other, preventing mutual transformation without additional resources. Moreover, LOCC cannot increase the entanglement, as measured by quantities like the entanglement entropy, on average across possible outcomes; for deterministic pure-state conversions, the majorization condition enforces this by ensuring no gain in entanglement concentration. This irreversibility underscores the resource-like nature of entanglement under LOCC.[](https://doi.org/10.1103/PhysRevLett.83.436) ### Catalytic Transformations Catalytic transformations in the context of local operations and classical communication (LOCC) extend the possibilities of entanglement manipulation by incorporating auxiliary entangled states, known as catalysts, that remain unchanged after the process. Specifically, a catalyst |c⟩ enables the transformation |ψ⟩ ⊗ |c⟩ → |φ⟩ ⊗ |c⟩ via LOCC, allowing conversions that are impossible without it, such as when the Schmidt coefficients λ_ψ of |ψ⟩ are not majorized by those of |φ⟩.[](https://arxiv.org/abs/quant-ph/9905071) This concept was introduced to overcome limitations in direct state conversions, where majorization typically dictates feasibility under LOCC alone.[](https://link.aps.org/doi/10.1103/PhysRevLett.83.3566) The Jonathan-Plenio protocol provides a key example of exact catalytic conversion, particularly for rank-deficient pure states where standard [majorization](/page/Majorization) fails due to differing ranks. In this approach, an auxiliary entangled catalyst facilitates the transformation by temporarily borrowing entanglement, enabling the target state to be achieved while restoring the catalyst intact.[](https://arxiv.org/abs/quant-ph/9905071) For instance, states with mismatched Schmidt rank can be converted if a suitable catalyst bridges the gap, as demonstrated in bipartite systems. Asymptotic catalysis further refines this by considering multiple copies, allowing small gains in entanglement yield over many iterations, which is useful for protocols requiring incremental improvements in entanglement concentration.[](https://link.aps.org/doi/10.1103/PhysRevLett.83.3566) Embezzling states, introduced by Van Dam and Hayden, represent a specialized class of catalysts that can extract arbitrary amounts of entanglement from the system without detectable change to the catalyst itself, approximating perfect embezzlement in the limit. These states enable "stealing" entanglement in a way that evades detection under LOCC, with the error vanishing as the catalyst dimension increases.[](https://arxiv.org/abs/quant-ph/0201041) This has implications for [security](/page/Security) in quantum protocols, as it allows subtle entanglement extraction. Recent advances have clarified the scope of catalytic transformations. In 2021, Kondra et al. proved that the entanglement entropy fully characterizes exact catalytic conversions of pure states under LOCC, showing that any two pure states can be interconverted catalytically [if and only if](/page/If_and_only_if) their entanglement entropies match.[](https://doi.org/10.1103/PhysRevLett.127.150503) For multipartite systems, Ganardi et al. in 2024 established equivalence between catalytic and asymptotic transformations for distillable states, extending catalysis to multi-party scenarios where auxiliary resources enable reversible entanglement manipulations across multiple parties.[](https://doi.org/10.1103/PhysRevLett.133.250201)

References

[1]
[PDF] Everything You Always Wanted to Know About LOCC (But Were ...
May 13, 2014 · Like all quantum operations, an LOCC measurement can be represented by a trace-preserving completely positive map acting on the space of density ...
[2]
Teleporting an unknown quantum state via dual classical and ...
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Charles H. Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa ...
[3]
Purification of Noisy Entanglement and Faithful Teleportation via ...
Nov 20, 1995 · Purification of Noisy Entanglement and Faithful Teleportation via Noisy Channels. Authors:Charles H. Bennett, Gilles Brassard, Sandu Popescu, ...
[4]
Practical distributed quantum information processing with LOCCNet
Nov 4, 2021 · As a pivotal part in quantum information theory and practice, LOCC has led to many vital protocols such as quantum teleportation. However, ...
[5]
Optimal detection of quantum information | Phys. Rev. Lett.
Mar 4, 1991 · Optimal detection of quantum information. Asher Peres and William K. Wootters. Santa Fe Institute, 1120 Canyon Road, Santa Fe, New Mexico 7501 ...Missing: LOCC paper
[6]
https://arxiv.org/abs/quant-ph/9804053
[7]
[1210.4583] Everything You Always Wanted to Know About LOCC ...
Oct 16, 2012 · In this paper we study the subset of generalized quantum measurements on finite dimensional systems known as local operations and classical communication (LOCC ...Missing: formal definition seminal
[8]
Interpolatability distinguishes LOCC from separable von Neumann ...
Jun 25, 2013 · Separable operations are strictly more powerful than LOCC, but no simple explanation of this phenomenon is known.Missing: seminal | Show results with:seminal
[9]
Nonlocal Entanglement Transformations Achievable by Separable ...
Nov 23, 2008 · In this letter we extend this comparison to mixed states and show that in general separable operations are strictly stronger than LOCC when transforming a ...Missing: not | Show results with:not
[10]
[PDF] Lecture 15: Separable mappings and the LOCC paradigm
The acronym LOCC is short for local operations and classical communication, and plays a central role in the study of entanglement. 15.1 Min-rank. Before ...
[11]
Nonlocal Entanglement Transformations Achievable by Separable ...
Sep 8, 2009 · In this Letter we show that separable operations are generally stronger than local quantum operations and classical communication when ...
[12]
Volume of the set of LOCC-convertible quantum states - IOPscience
The class of quantum operations known as local operations and classical communication (LOCC) induces a partial ordering on quantum states.
[13]
Everything You Always Wanted to Know About LOCC (But Were ...
Mar 19, 2014 · While the set of LOCC is not topologically closed, we show that finite round LOCC constitutes a compact subset of quantum operations.
[14]
[PDF] Lecture 19: LOCC and separable measurements
Informally speaking, an LOCC measurement is one that can be implemented by two (or more) parties using only local quantum operations and classical communication ...
[15]
[1606.00029] General approach to quantum channel impossibility by ...
May 31, 2016 · ... not closed and that there exist channels that can be implemented by ... Although every LOCC protocol must implement a separable quantum ...
[16]
[1409.4807] On the structure of LOCC: finite vs. infinite rounds - arXiv
Sep 16, 2014 · We show that every finite-round bipartite LOCC measurement is the limit of a continuous sequence of LOCC measurements, where each measurement in that sequence ...Missing: versus | Show results with:versus
[17]
Quantum resource theories | Rev. Mod. Phys.
Apr 4, 2019 · This article reviews the general framework of a quantum resource theory, focusing on common structural features, operational tasks, and resource measures.
[18]
[quant-ph/0201041] Embezzling Entangled Quantum States - arXiv
Jan 10, 2002 · Embezzling Entangled Quantum States. Authors:Wim van Dam (HP, MSRI, UC Berkeley), Patrick Hayden (Caltech).
[19]
Resource Theory of Entanglement with a Unique Multipartite ...
Mar 28, 2019 · Entanglement theory is formulated as a quantum resource theory in which the free operations are local operations and classical communication ...
[20]
Local Distinguishability of Multipartite Orthogonal Quantum States
Dec 4, 2000 · We demonstrate that it is possible to identify which of these two states the system is in by means of local operations and classical communication alone.
[21]
Discriminating mixed qubit states with collective measurements
Nov 23, 2023 · Quantum state discrimination, or hypothesis testing, was first introduced by Helstrom. ... It is always possible to saturate the Helstrom bound ...
[22]
Minimum-error discrimination of entangled quantum states
Oct 29, 2010 · The relationship between entanglement and LOCC discrimination is not simple but helps shed some light on the power and limitations of LOCC. The ...
[23]
Distinguishability of Bell States | Phys. Rev. Lett.
Dec 13, 2001 · We show that four Bell states cannot be discriminated by LOCC, even probabilistically, using the separability properties of a four-party unlockable bound ...
[24]
[PDF] Teleportation of Quantum States (1993; Bennett, Brassard, Crepeau ...
In this article the standard (ket, bra) notation is followed as is often used in quantum mechanics, in which |vi. (called as 'ket v') represents a column vector ...
[25]
Quantum teleportation of an arbitrary two-qubit state and its relation ...
Mar 7, 2005 · Quantum teleportation of an arbitrary two-qubit state and its relation to multipartite entanglement · Abstract · Comments & Replies · Article Text.
[26]
https://doi.org/10.1103/PhysRevLett.83.436
[27]
Entanglement-assisted local manipulation of pure quantum states
May 22, 1999 · We demonstrate that local transformations on a composite quantum system can be enhanced in the presence of certain entangled states.
[28]
Entanglement-Assisted Local Manipulation of Pure Quantum States
Oct 25, 1999 · We demonstrate that local transformations on a composite quantum system can be enhanced in the presence of certain entangled states.
[29]
Catalytic and asymptotic equivalence for quantum entanglement
May 5, 2023 · ... entanglement, by Ray Ganardi and 2 other authors. View PDF HTML ... Similar to the concept of catalysis in chemistry, the entangled ...