---
title: Activation of Nonlocality in Quantum Systems
url: https://www.emergentmind.com/topics/activation-of-nonlocality
type: topic
---

# Activation of Nonlocality in Quantum Systems

Searching arXiv for the core topic and the cited papers to ground the article in current literature.
arXiv_search query: "activation of nonlocality"
Activation of nonlocality denotes a family of phenomena in which a quantum object that is local, Bell-local, CHSH-local, LHS-admitting, CHSH-breaking, or locally distinguishable in an initial scenario becomes nonlocal after additional structure is supplied. In the Bell setting, the additional structure can be as simple as tensoring, local filtering, entanglement swapping, broadcasting into a network, or the use of a catalyst; in other operational settings, it can consist of orthogonality-preserving local measurements that convert locally accessible information into locally hidden information [1010.5191]. Across these variants, the common theme is that nonlocality is not a monotone of a single copy tested in isolation, but can emerge from composition, conditioning, or pre-processing [1205.3118].

## 1. Conceptual scope and operational forms

In the Bell-inequality literature, a bipartite state is Bell-local iff every correlation generated by local measurements admits a local hidden-variable model, equivalently iff every Bell functional stays below its local bound [2504.02042]. Activation asks whether a resource that is local in one operational context can become nonlocal in another. The surveyed literature exhibits several distinct mechanisms: tensor activation without post-selection, hidden nonlocality via local filtering, activation by entanglement swapping or broadcasting in networks, activation of CHSH nonlocality for channels, and deterministic catalytic activation with the catalyst returned exactly in its initial state [1911.06349].

A useful organizing distinction is between activation that changes the tested object and activation that changes only the measurement scenario. Tensoring and catalysis change the resource itself; local filtering and entanglement swapping change the effective state seen by the Bell test; broadcasting changes the causal structure of the experiment; and state-discrimination-based activation changes the operational task from perfect LOCC discrimination of an orthogonal set to a post-measurement branch in which only global measurements suffice [2104.11933].

| Mechanism | Initial object | Activated signature |
|---|---|---|
| Tensoring | CHSH-local states | CHSH violation \( \ge 2.023 \) [1010.5191] |
| Local filtering | Bell-local mixed entangled states | CHSH, CGLMP, or PORAC Bell violation [1609.08025] |
| Entanglement swapping | Links not violating CHSH individually | CHSH violation after a critical number of swappings [1203.0211] |
| Broadcasting/network embedding | Single-copy Bell-local bipartite state | Broadcast nonlocality or multipartite Bell violation [2007.16034] |
| Channel activation | CHSH-breaking channels | Combined channel not CHSH-breaking [1911.06349] |
| Catalytic activation | Bell-local state plus catalyst | Bell-nonlocal output with unchanged catalyst [2504.02042] |
| LOCC state-discrimination activation | Locally distinguishable orthogonal set | Locally indistinguishable or incompletable post-measurement set [2607.00797] |

This suggests that “activation of nonlocality” is best understood as a structural property of resource composition rather than a single protocol. A plausible implication is that locality statements are highly scenario-dependent: they may be stable under some free operations and unstable under others.

## 2. Tensor activation and super-activation of Bell nonlocality

A central two-qubit result is the construction of two states \( \rho_1,\rho_2 \) such that any number of copies of one state or the other cannot violate the CHSH Bell inequality, whereas their tensor product does [1010.5191]. The mechanism is 2-extendibility: \( \rho_1 \) admits a 2-symmetric extension to Bob and \( \rho_2 \) to Alice, and the Terhal–Doherty–Schwab lemma implies that a state 2-extendible with respect to one party cannot violate any Bell inequality with only two settings on that party. The nontrivial point is that \( S_B^2 \otimes S_A^2 \) is not contained in \( S_{AB}^2 \), so locality of each factor does not force locality of the tensor product.

For the tensor state \( \rho_{\mathrm{tot}}=\rho_1^{AB}\otimes\rho_2^{A'B'} \), identifying \( A\otimes A' \) as Alice and \( B\otimes B' \) as Bob, the paper chooses \( \alpha=0 \), \( \alpha'=\pi/2 \), \( \beta=\delta \), \( \beta'=-\delta \) with \( \delta \simeq 0.112\pi \simeq 20.16^\circ \). This yields
\[
A=\sigma_z,\qquad A'=\sigma_x,\qquad
B=\cos\delta\,\sigma_z+\sin\delta\,\sigma_x,\qquad
B'=\cos\delta\,\sigma_z-\sin\delta\,\sigma_x.
\]
With tensor-product correlators \( C_z\simeq 0.511 \) and \( C_x\simeq 0.445 \), one obtains
\[
S_{\mathrm{CHSH}}(\rho_1\otimes\rho_2)\simeq 2.02324,
\]
which is a CHSH violation without post-selection [1010.5191].

The same work also gives self-activation. Defining
\[
\sigma=\tfrac12\bigl(\,|1\rangle\langle1|_a\otimes|1\rangle\langle1|_b\otimes\rho_1
+|0\rangle\langle0|_a\otimes|0\rangle\langle0|_b\otimes\rho_2\,\bigr),
\]
the state \( \sigma \) is CHSH-local, yet two copies satisfy
\[
S_{\mathrm{CHSH}}(\sigma\otimes\sigma)=\tfrac12\bigl(S_{\mathrm{CHSH}}(\rho_1\otimes\rho_2)+2\bigr)\simeq 2.0115
\]
in \( 4d\otimes4d \) [1010.5191].

A more asymptotic form is super-activation. For the isotropic state
\[
\delta_d(p)=p\,|\psi_d\rangle\langle\psi_d|+(1-p)\,\frac{I_{d^2}}{d^2},
\qquad
|\psi_d\rangle=\frac1{\sqrt d}\sum_{i=1}^d|ii\rangle,
\]
one can choose \( p \) such that \( \delta_d(p) \) is local, yet \( \delta_d(p)^{\otimes k} \) violates a Bell inequality for some fixed \( k \), even \( k=2 \) when \( d \) is large enough [1205.3118]. The proof uses the Khot–Visnoi game, with \( \omega_C(G_{KV}) \le C n^{-1+\eta} \) and \( \omega_Q(G_{KV}) \ge C' /(\ln n)^2 \), together with the fact that the extra tensor-product terms contribute nonnegatively because the game is nonnegative. This places activation in direct contact with large-violation constructions rather than only CHSH.

## 3. Hidden nonlocality and local filtering

Hidden nonlocality refers to Bell nonlocality that is revealed only after local filtering [1609.08025]. For two qubits, the review paper gives a closed-form criterion: if \( C_\rho=\eta T_\rho \eta T_\rho^T \) with \( \eta=\mathrm{diag}(1,-1,-1,-1) \) and \( \lambda^0\ge\lambda^1\ge\lambda^2 \) its three largest eigenvalues, then \( \rho \) has hidden nonlocality iff \( \lambda^1+\lambda^2>\lambda^0 \). The same work also formulates activation by tensoring plus local filtering as an SDP,
\[
\min \ \mathrm{Tr}\bigl[\rho_\tau(\tau^T\otimes H_{\pi/4})\bigr]
\]
subject to \( \rho_\tau\ge0 \), \( \rho_\tau^{T_1}\ge0 \), \( \mathrm{Tr}\rho_\tau=1 \), where a negative objective certifies CHSH activation for \( \tau\otimes\rho_\tau \) [1609.08025].

Local filtering can reveal nonlocality far beyond CHSH. For the family
\[
\rho_d(q)=q\,|\psi_d\rangle\langle\psi_d|+(1-q)\,\bigl[|0\rangle\langle0|_A\otimes(I_d/d)_B\bigr],
\]
with filters
\[
F_A=\xi|0\rangle\langle0|+\sum_{j=1}^{d-1}|j\rangle\langle j|,
\qquad
F_B=\delta|0\rangle\langle0|+\sum_{j=1}^{d-1}|j\rangle\langle j|,
\qquad
\delta=\xi/\sqrt q,
\]
the CGLMP-based construction shows that when \( |\psi_d\rangle \) is maximally entangled, the range of the mixing parameter for revealing hidden nonlocality increases with increasing dimension, and for \( d\ge8 \) hidden non-locality can be revealed for the whole range of mixing parameter [2307.05015]. The same paper also treats the maximally CGLMP-violating state \( |\psi_d^V\rangle=\sum_{j=0}^{d-1}\gamma_j|jj\rangle \) and finds that the same filtering operation activates nonlocality there as well.

A different high-setting route uses the parity-oblivious random access code Bell functional \( \mathcal B_n \). For
\[
\rho(p)=p\,|\Phi\rangle\langle\Phi|+(1-p)\,|0\rangle\langle0|\otimes(\mathbb 1/2^m),
\qquad
|\Phi\rangle=|\Phi_2\rangle^{\otimes m},
\]
with filters \( F_A=\mathrm{diag}(\xi,1,\dots,1) \) and \( F_B=\mathrm{diag}(1,\xi/\sqrt p,1,\dots,1) \), the filtered Bell value approaches the pure-state optimum as \( \xi\to0 \). The main theorem states that for every fixed \( n\ge6 \) and every \( p\in(0,1] \), there exists \( \xi\in(0,1] \) such that the post-filtered state violates the PORAC Bell inequality; preparation contextuality can be activated for any \( p>0 \) when \( n\ge4 \) [2504.18045].

Activation by filtering also reaches bound entanglement. A fully-biseparable three-qubit bound-entangled state \( \rho_L \) admits a local model for all non-sequential POVMs, yet invertible local filters map it to \( \rho'=\rho_{ABC} \), which violates the symmetrized Sliwa–5 inequality with \( I_Q\approx3.0152>3 \) [1904.07899]. This shows that genuine hidden nonlocality does not imply entanglement distillability.

## 4. Network, swapping, and broadcasting activation

Entanglement swapping chains realize activation by sequential Bell measurements. In the chain construction, the links are
\[
\rho_{p,\alpha}=p\,|\psi(\alpha)\rangle\langle\psi(\alpha)|+(1-p)\,|00\rangle\langle00|,
\qquad
|\psi(\alpha)\rangle=\cos\alpha\,|01\rangle+\sin\alpha\,|10\rangle,
\]
with left links \( \rho_L=\rho_{p,\alpha} \), right links \( \rho_R=\rho_{p,\pi/2-\alpha} \), and center link \( \rho_1=\rho_{p_1,\pi/4} \) [1203.0211]. If \( 2k-1 \) central Bell measurements all return \( |\Psi^\pm\rangle \), the end parties share
\[
\rho_k=p_k|\Psi^+\rangle\langle\Psi^+|+(1-p_k)|00\rangle\langle00|,
\]
with a closed-form \( p_k \) that increases toward \( 1 \). The maximal CHSH correlator is
\[
S_k=2p_k\sqrt{1+\sin^2 2\alpha},
\]
and activation occurs only after a critical swapping number \( N_c \), the smallest integer with \( S_{N_c}>2 \) [1203.0211].

A broader network result proves generic activated nonlocality for all bipartite entangled states in entanglement-swapping networks and then extends the conclusion to all connected quantum networks and nontrivial hybrid networks [1806.09758]. In the language of semiquantum nonlocal games, any connected network of \( n \) parties sharing arbitrary entangled states is multipartite nonlocal and \( k \)-partite activated nonlocal for every \( 2\le k\le n-1 \). This shifts activation from specially tuned examples to a structural property of connected entangled networks.

Broadcasting provides a single-copy activation scenario. For the isotropic state
\[
\rho_\alpha=\alpha|\Phi^+\rangle\langle\Phi^+|+(1-\alpha)\,\mathbb 1/4,
\]
a \( 1\to2 \) broadcasting channel on Bob’s subsystem yields a tripartite state tested against a broadcast-local model
\[
p(abc|xyz)=\int d\lambda\,\mu(\lambda)\,p_A(a|x,\lambda)\,p_{BC}^{NS}(bc|yz,\lambda).
\]
The resulting bounds show that the state does not admit a local hidden variable description for \( \alpha>0.559 \) in the no-signalling-hidden-variable case and \( \alpha>\tfrac12 \) in the fully quantum hidden-variable case, both significantly below the previously best-known bound of \( 0.697 \) for single-copy Bell nonlocality and device-independent entanglement certification of the state [2007.16034].

This activation has been realized experimentally in a photonic quantum network. Starting from the Werner-like state
\[
W_\alpha=\alpha|\Phi^+\rangle\langle\Phi^+|+(1-\alpha)\,\mathbb I_4/4,
\]
which admits a local-hidden-variable model for dichotomic projective measurements whenever \( \alpha\le0.6875 \), a broadcast isometry produces a three-party state tested with the broadcast inequality
\[
\mathcal I_B\le0.
\]
The ideal quantum maximum is \( \mathcal I_B^{\max}=2(\sqrt2-1)\approx0.828 \), and the activation threshold is \( \alpha_{\mathrm{act}}\approx0.58 \), shifted in practice to \( \alpha\approx0.60 \). For three states with \( \alpha\le0.6875 \), the experiment obtained \( \mathcal I_B>0 \) by more than \( 2\sigma \), while a semidefinite-programming certificate with \( \eta\approx1.02>1 \) confirmed that the original state was Bell-local [2309.06501].

## 5. Channels, catalysts, and dynamical resource theory

Activation also exists at the level of quantum channels. A channel \( \Phi \) is CHSH-breaking if for every bipartite input state \( \rho^{AA'} \), the output \( (\mathrm{id}^A\otimes\Phi)[\rho^{AA'}] \) cannot violate CHSH under any dichotomic measurements [1911.06349]. For qubit channels diagonalized on the Bloch ball, a unital channel is CHSH-breaking precisely when \( \lambda_1^2+\lambda_2^2\le1 \). Concrete thresholds include amplitude damping, CHSH-breaking iff \( p\le\tfrac12 \); loss channel, CHSH-breaking iff \( p\le(\sqrt5-1)/2 \); and erasure channel, CHSH-breaking iff \( p\le\tfrac12 \) [1911.06349].

Despite this, pairs of CHSH-breaking channels can cease to be CHSH-breaking when used in parallel. In the bidirectional scenario, two identical amplitude-damping channels \( \Phi_{a,1/2} \), each CHSH-breaking on its own, yield \( S_{\max}\approx2.01191 \) under suitable input states and joint observables. In the unidirectional scenario, combining \( \Phi_{a,1/2} \) with the depolarizing channel \( \Phi_{d,1/\sqrt2} \), again each CHSH-breaking individually, yields \( S_{\max}\approx2.00541 \) [1911.06349]. This is the channel analogue of tensor activation for states.

Catalytic activation gives a deterministic state transformation. If a Bell-local state \( \rho_{AB} \) has the property that \( \rho_{AB}^{\otimes n} \) violates some Bell inequality, then there exists a catalyst \( \omega_C \) and local CPTP maps \( \Lambda_A,\Lambda_B \) such that
\[
\rho_{AB}\otimes\omega_C \longrightarrow \tau_{A'B'C_AC_B},
\]
with \( \mathrm{Tr}_{A'B'}[\tau]=\omega_C \) and \( \mathrm{Tr}_{C_AC_B}[\tau]=\tau_{A'B'} \) Bell-nonlocal [2504.02042]. The output has the form
\[
\tau_{A'B'}=\frac1n\,\rho^{\otimes n}\otimes|0\rangle\langle0|
+\frac{n-1}{n}\,\sigma^{\otimes n}\otimes|1\rangle\langle1|,
\]
and if \( S[\rho^{\otimes n}]=S_\ell+\Delta \), then \( S[\tau_{A'B'}]=S_\ell+\Delta/n>S_\ell \). Importantly, the catalyst can itself be Bell local [2504.02042].

A different generalization is resource-theoretic. In the quantum-process framework, Bell nonlocality is identified as the subset of entangled processes with instantaneous input-output delay time, and LOCC pre-processing is the natural class of free operations. Within this framework, all entangled states can activate some form of Bell nonlocality, and CHSH witnesses can be generalized from states to bipartite channels [2012.06918]. This suggests that activation is not only a property of states and networks, but also a manifestation of the relation between entanglement and causally constrained process transformations.

## 6. Beyond Bell nonlocality: steering and local state discrimination

The activation paradigm extends to steering nonlocality. In the three-setting CJWR test, a two-qubit state with diagonalized correlation tensor \( T_{AB} \) is \( F_3 \)-steerable iff
\[
S_{AB}:=\mathrm{Tr}[T_{AB}^T T_{AB}]>1.
\]
In a linear entanglement-swapping network \( A\!-\!B\!-\!C \), Mukherjee et al. show that \( \rho_{AB} \) and \( \rho_{BC} \) may each satisfy \( S\le1 \), yet a conditional state \( \rho_{AC}^{(b)} \) after Bob’s Bell-state measurement can satisfy \( S_{AC}^{(b)}>1 \) [2303.11902]. For the families
\[
\gamma_1(p,\alpha)=(1-p)|\phi\rangle\langle\phi|+p|00\rangle\langle00|,
\qquad
\gamma_2(p,\alpha)=(1-p)|\phi\rangle\langle\phi|+p|11\rangle\langle11|,
\]
with \( |\phi\rangle=\sin\alpha|01\rangle+\cos\alpha|10\rangle \), activation occurs numerically, for example, at \( \alpha=0.1 \) and \( p\in(0.001,0.331) \), while all conditional states remain Bell-local in the sense that both CHSH and \( I_{3322} \) are satisfied [2303.11902]. The same work also identifies no-activation conditions requiring nonzero Bloch vectors on both sites, and gives genuine activation examples starting from states satisfying the Bowles–Hirsch–Quintino–Brunner unsteerability criterion.

Another branch of the literature studies nonlocality as failure of LOCC state discrimination. There exist orthogonal sets that are locally distinguishable but without local redundancy and that can be locally converted, with certainty, into locally indistinguishable sets [2104.11933]. In the \( \mathbb C^2\otimes\mathbb C^4 \) example, Bob’s projectors \( P_{01} \) and \( P_{23} \) send a locally distinguishable triplet to a set of three orthogonal entangled states in \( \mathbb C^2\otimes\mathbb C^2 \), which are locally indistinguishable by the Walgate–Hardy criterion [2104.11933].

Subsequent work strengthens the activated property. One can activate local unmarkability and local irreducibility, including deterministic conversion of a redundancy-free \( N \)-party set into the complete GHZ basis, which is locally irreducible and \( 1\!:\!(N-1) \) indistinguishable [2202.03127]. In the elimination paradigm, locally preparable product-state sets can be activated into post-measurement sets that are locally irreducible even under any bipartition; the \( 6\times6\times6 \) and \( 3\times3\times6 \) constructions are explicit instances [2201.12832]. The notion of “strong local” sets further refines this hierarchy by distinguishing sets that can never be activated by any orthogonality-preserving local measurement from sets that require one-party or two-party joint activation [2408.01860].

The recent incompletability framework sharpens the hierarchy once more. A set is incompletability-activable if it is initially LOCC-distinguishable and some orthogonality-preserving LOCC branch produces a strictly incompletable set; any such set is necessarily nonlocality-activable, but the converse fails [2607.00797]. The paper gives an explicit \( \mathbb C^6\otimes\mathbb C^6 \) example \( \mathcal S_2 \) whose four branches yield the standard 5-state Tiles UPB, and another set \( \mathcal S_3 \) that is nonlocality-activable but not incompletability-activable [2607.00797]. This suggests a strict hierarchy among activated phenomena in state discrimination: incompletability activation is stronger than activation of local indistinguishability, and activation of nonlocality in this sense is not exhausted by Bell-type correlation tests.

Source: https://www.emergentmind.com/topics/activation-of-nonlocality