---
title: 'SLOCC: Local Operations & Classical Communication'
url: https://www.emergentmind.com/topics/stochastic-local-operations-and-classical-communication-slocc
type: topic
---

# SLOCC: Local Operations & Classical Communication

Stochastic Local Operations and Classical Communication (SLOCC) is a fundamental operational framework for classifying and transforming entangled quantum states in multipartite systems. SLOCC formalizes a regime in which local agents, operating on their respective subsystems, perform arbitrary (generally non-unitary) invertible operations and coordinate outcomes using classical communication, with the stipulation that a particular transformation succeeds with nonzero probability. This structure leads to a coarse-grained equivalence relation known as SLOCC equivalence, which partitions the state space into distinct orbits of entanglement types and underpins the partial order of interconvertibility of quantum resources for information processing.

## 1. Definition and Operational Formalism

Let $|\psi\rangle, |\varphi\rangle \in \mathcal{H}_{A_1} \otimes \cdots \otimes \mathcal{H}_{A_n}$ be pure states of an $n$-partite system. A transformation $|\psi\rangle \xrightarrow{\rm SLOCC} |\varphi\rangle$ is said to be achievable under SLOCC if there exist local linear operators $A_i : \mathcal{H}_{A_i} \rightarrow \mathcal{H}_{A_i}$, not necessarily unitary but invertible, such that
\[
(A_1 \otimes \cdots \otimes A_n)\, |\psi\rangle = |\varphi\rangle,
\]
with a nonzero probability of success
\[
p = \| (A_1 \otimes \cdots \otimes A_n)\, |\psi\rangle \|^2 > 0.
\]
If all $A_i$ are invertible, the process is reversible with nonzero probability both ways [1012.3564]. This formulation implies that SLOCC equivalence corresponds to the existence of local invertible maps connecting two states. For mixed states, the criterion generalizes to
\[
\rho' = (A_1 \otimes \cdots \otimes A_n)\, \rho\, (A_1 \otimes \cdots \otimes A_n)^\dagger,
\]
with $\det A_i \ne 0$ for all $i$ [1609.05987].

## 2. Hierarchies and Relations: LOCC, SLOCC, MCLOCC, MCSLOCC

SLOCC is intermediate in restrictiveness between deterministic local operations and classical communication (LOCC) and their multi-copy (collective operation) analogues:
- **LOCC**: Deterministic protocols using trace-preserving local operations and unlimited classical communication.
- **SLOCC**: Stochastic, may involve post-selection on successful outcomes, defined by invertible local operators.
- **MCLOCC**: Multi-copy LOCC; there exists $m$ such that $|\psi_1\rangle^{\otimes m} \xrightarrow{\rm LOCC} |\psi_2\rangle$.
- **MCSLOCC**: Multi-copy SLOCC; as above but with stochastic local operations.

These relationships form a strict hierarchy,
\[
|\psi_1\rangle \succ_{\rm LOCC} |\psi_2\rangle \implies |\psi_1\rangle \succ_{\rm SLOCC} |\psi_2\rangle \implies |\psi_1\rangle \succ_{\rm MCLOCC} |\psi_2\rangle \iff |\psi_1\rangle \succ_{\rm MCSLOCC} |\psi_2\rangle,
\]
and this hierarchy applies also to the equivalence (reversible) sense [1012.3564].

## 3. SLOCC Equivalence: Orbits, Invariants, and Classification

Under SLOCC, states lie in orbits,
\[
\mathcal{O}_{\rm SLOCC}(|\psi\rangle) = \left\{ (A_1 \otimes \cdots \otimes A_n)\, |\psi\rangle : A_i \in GL(d_i, \mathbb{C}) \right\},
\]
partitioning the space into equivalence classes parameterized by certain local and global invariants.

The primary invariants under SLOCC are:
- **Tensor rank** (generalized Schmidt rank):
  \[
  \mathrm{rk}(\psi) = \min\left\{ d : |\psi\rangle = \sum_{j=1}^{d} |a_{1,j}\rangle \otimes \cdots \otimes |a_{n,j}\rangle \right\}.
  \]
- **Local ranks**:
  \[
  r_{A_i}(\psi) = \mathrm{rank}\, \rho_{A_i}, \quad \text{where}\ \rho_{A_i} = \operatorname{Tr}_{A_1 \ldots \widehat{A_i} \ldots A_n}(|\psi\rangle \langle \psi|).
  \]
These are non-increasing under SLOCC maps, including noninvertible ones [1012.3564, 1609.05987]. If two states have different invariants, they cannot be SLOCC-equivalent; genuine multipartite inequivalence results when invariants are strictly ordered.

A hierarchical structure then emerges:
1. **Principal sets $\mathcal{R}(d)$**: States of fixed tensor rank $d$.
2. **Subsets with fixed local ranks**: $\mathcal{R}(d\|\mathbf{r})$, where $\mathbf{r} = (r_{A_1}, ..., r_{A_n})$.
3. **Individual SLOCC orbits** within classes.

For multipartite pure states, this organization induces a partial order with maximal elements (GHZ-like orbits at each rank) and yields nested classification [1012.3564].

## 4. SLOCC-Equivalence Criteria and Computable Schemes

The SLOCC equivalence problem for arbitrary multipartite pure (and, in special forms, mixed) states admits necessary and sufficient matrix-based criteria:
- **Coefficient matrix (bipartition) form**: For a bipartition $1 \ldots t | t{+}1 \ldots K$, two pure states $|\psi\rangle, |\phi\rangle$ are SLOCC-equivalent iff there exist invertible local maps $A_i$ connecting their coefficient matrices via left/right multiplication and additional realignment conditions [1609.05987]. Specifically,
  \[
  M^{(t)}(|\phi\rangle) = X_1 B_1 X_2\, M^{(t)}(|\psi\rangle)\, Y_2 B_2 Y_1,
  \]
with unitaries $X$, $Y$ and invertible diagonals $B$ such that the realignments of $A_L$, $A_R$ decompose as Kronecker products of local invertibles.
- **Tensor method**: For $N$-partite pure states with coefficient tensors $\mathcal{X}, \mathcal{Y}$, SLOCC-equivalence holds iff for each mode-$n$ unfolding,
  \[
  \mathcal{Y}_{(n)} = M_n\, \mathcal{X}_{(n)}\, (M_N \otimes \cdots \otimes M_{n+1} \otimes M_{n-1} \otimes \cdots \otimes M_1)^T
  \]
for invertible $M_n$, and further realignment constraints guarantee the Kronecker product structure [2212.12870].

For mixed states, a necessary (and sometimes sufficient) condition is obtained by matching the realignments of mode-$n$ unfoldings under local invertible actions [1609.05987, 2212.12870].

## 5. Canonical SLOCC Types and Multipartite Structure

### 5.1. Distinguishing SLOCC Classes: Examples and Prototypical Forms

- **Two qubits**: All entangled states are SLOCC-equivalent to a Bell pair; separable states form the only other class [1012.3564, 1609.05987].
- **Three qubits**: Two inequivalent genuine classes (GHZ and W), alongside biseparable and fully separable states. The GHZ and W classes are distinguished by polynomial invariants (e.g., the $3$-tangle) and associated rank conditions [1012.3564, 1609.05987, 1805.01339].
- **Four or more qubits**: SLOCC classes become uncountable; partial classifications employ polynomial invariants, coefficient matrix ranks under various bipartitions, Jordan canonical forms of spin-flip matrices, and computational approaches based on tensor unfolding or elementary local operations [1811.07641, 1703.01598, 1106.6105, 1106.4082, 1209.0063].

Notably, the GHZ state $|{\rm GHZ}_d\rangle = \frac{1}{\sqrt{d}}\sum_{i=1}^d |i, i, ..., i\rangle$ is a universal generator for all rank-$d$ states under SLOCC: for any $|\psi\rangle$ with $\mathrm{rk}(\psi) = d$, there exist invertible $A_i$ such that
\[
(A_1\otimes\cdots\otimes A_n) |{\rm GHZ}_d\rangle = |\psi\rangle,
\]
and hence $|{\rm GHZ}_d\rangle \xrightarrow{\rm SLOCC} |\psi\rangle$ [1012.3564].

#### Table: SLOCC-Orbit Prototypical Representatives (Selected Examples)

| System                  | Representative SLOCC Classes             | Defining Properties            |
|-------------------------|------------------------------------------|-------------------------------|
| 2 qubits                | Bell state, separable                    | Schmidt rank, concurrence     |
| 3 qubits                | GHZ, W, biseparable, separable           | $3$-tangle, bipartite ranks   |
| 4 qubits                | Uncountably many orbits; GHZ, cluster    | Polynomial invariants, Jordan forms |

For symmetric states, the Majorana representation induces entanglement families based on degeneracy partitions, with explicit polynomial invariants and hierarchy of convex sets [1011.1243].

## 6. Applications: Measurement-Based Computation and Entanglement Transformations

SLOCC transformations serve as a criterion for universality and resource convertibility in quantum information protocols. In measurement-based quantum computation (MBQC), for example, cluster states transformed via local invertible filters can yield new resource states retaining or losing universality, depending on their SLOCC-class [1108.4909]. The analysis of correlation functions, gate-teleportation probability, and percolation thresholds in deformed cluster states can be traced directly to the structure of the underlying SLOCC transformations.

In tripartite-to-bipartite entanglement conversion, the SLOCC convertibility is determined by the maximal Schmidt rank of the reduced support. In the asymptotic regime, the existence of a conversion to a maximally entangled state is equivalent to nonvanishing noncommutative rank of an associated matrix space [1612.06491].

## 7. Computational Complexity, Invariants, and Open Challenges

The computational determination of SLOCC-equivalence relies on the identification of invariants and normal forms:
- **Polynomial invariants**: For qubits, all SLOCC invariants can be generated by polynomials of degree at most $2^{4n}$ [1706.00634].
- **Rank invariants**: Partitioning into families by matrix rank is efficient and forms the basis of scalable classification schemes for moderate $n, d_k$ [1106.6105, 1209.0063].
- **Canonical forms and matrix reductions**: Gauss–Jordan elimination in the multipartite setting leads to multipartite fully reduced forms, forming a concrete computational approach [1905.01824].

Genuine SLOCC classification for four or more parties remains a deep challenge due to the infinite nature of orbit structure, the subtlety of partial invariants, and non-uniqueness of canonical representatives. Recent work explores classification via tensor decompositions, polynomial invariants, and geometric methods (orbit closure, moment polytopes) [2212.12870, 1811.07641]. Notably, for certain highly structured states (e.g., absolutely maximally entangled (AME)), SLOCC-classes may split into infinitely many inequivalent families, governed by nontrivial polynomial-type invariants derived from combinatorial designs [2003.13639].

---

**References:**  
[1012.3564], [1609.05987], [2212.12870], [1612.06491], [1701.04155], [1703.01598], [1706.00634], [1805.01339], [1811.07641], [1110.4597], [1209.0063], [1106.6105], [1106.4082], [1011.1243], [2003.13639], [1108.4909], [1905.01824], [2007.00697].

Source: https://www.emergentmind.com/topics/stochastic-local-operations-and-classical-communication-slocc