---
title: Non-local Quantum Computation (NLQC)
url: https://www.emergentmind.com/topics/non-local-quantum-computation-nlqc
type: topic
---

# Non-local Quantum Computation (NLQC)

Non-local quantum computation (NLQC) is the task of implementing a joint quantum operation on spatially separated systems without physically bringing them together, using local quantum operations, pre-shared entanglement, and a single simultaneous round of communication. In the modern one-round formulation, correctness is typically measured in diamond norm, and the primary resource is the entanglement cost needed to replace a direct interaction [2605.02840]. A closely related operational paradigm is instantaneous nonlocal quantum computation (INQC), in which spacelike separated parties perform local measurements and later broadcast outcomes so that local corrections reconstruct the target operation while preserving causality; within this setting, local operations and broadcast communication (LOBC) is the non-interactive analogue of LOCC [1810.00994].

## 1. Operational model and variants

A general one-round NLQC protocol can be written as a bipartite channel of the form
\[
\mathcal{N}_{AB\to A'B'}=(\mathcal{W}^L_{K_a M_a\to A'}\otimes \mathcal{W}^R_{K_b M_b\to B'})\circ (\mathcal{V}^L_{AL\to K_a M_b}\otimes \mathcal{V}^R_{RB\to M_a K_b})\circ (I_{AB}\otimes \mathcal{S}_{\emptyset\to LR}),
\]
where \(\mathcal{S}_{\emptyset\to LR}\) prepares the shared resource \(\Psi_{LR}\), \(\mathcal{V}^L,\mathcal{V}^R\) generate the simultaneous messages, and \(\mathcal{W}^L,\mathcal{W}^R\) complete the computation after the single exchange [2606.26354]. In the equivalent formalism emphasized in the book-length treatment of the subject, a one-round protocol is an NLQC for a target channel \(M\) when \(\|N-M\|_\diamond\le \epsilon\), and the entanglement cost is the minimum number of ebits sufficient for such an \(\epsilon\)-correct implementation [2605.02840].

INQC is the classical-communication-only specialization in which the quantum part of the protocol is completed before communication, and only a single later exchange of classical outcomes is allowed. For a target unitary \(U\), the INQC objective is
\[
|\psi\rangle\otimes|\eta\rangle \to |\phi_m\rangle \overset{LU(m)}{=} U|\psi\rangle \qquad \forall m,
\]
where the local correction \(LU(m)\) depends only on the broadcast transcript \(m\) [1810.00994]. This model is causality-compatible because the pre-correction states cannot be used for superluminal signaling, and it is strictly less powerful than general LOCC because it forbids interactive adaptivity [1810.00994].

Several task families recur throughout the literature. General channel simulation and bipartite unitary implementation are the most direct formulations [2605.02840]. Classically controlled tasks include \(f\)-route, where a quantum register is routed according to a Boolean function \(f(x,y)\), and \(f\)-measure, where the measurement basis depends on \(f(x,y)\) [2505.23893]. Coherently controlled variants include \(C_f\)-PHASE and \(C_f\)-\(U\), where the global unitary applied to target systems is controlled by a distributed classical predicate [2505.23893].

## 2. Canonical constructions and upper bounds

The most basic one-round construction is teleport\(^*\)-and-correct: Bob teleport\(^*\)s his input to Alice, Alice applies the joint operation, and Pauli-frame information is resolved after the simultaneous classical exchange. Because Clifford operations map Pauli operators to Pauli operators, any \(n\)-qubit Clifford unitary admits a one-round NLQC with \(n\) ebits [2605.02840].

For arbitrary channels, the canonical black-box construction is port-based teleportation (PBT). In the standard PBT-based upper bound, the teleportation channel satisfies
\[
\|T-I\|_\diamond \le 4 d^2/\sqrt{N},
\]
and therefore any bipartite quantum channel on \(n=n_A+n_B\) qubits admits a one-round PBT-based NLQC with \(N=\Theta(d^4/\epsilon^2)=\Theta(2^{4n}/\epsilon^2)\), yielding an exponential entanglement upper bound in \(n\) [2605.02840]. Earlier PBT-based INQC constructions already reduced Vaidman-style doubly-exponential entanglement overhead to singly-exponential overhead [1101.1065]. Later work gave the first efficient quantum algorithm for the PBT pretty-good measurement, with local complexity polynomial in the number of ports and the port dimension, and used this to reduce a previously known triple-exponential gap in the entanglement–complexity relationship to a double-exponential gap [2310.01637].

A distinct line of work replaces black-box dependence on system size by dependence on circuit structure. For Clifford+\(T\) circuits of \(T\)-depth \(d\), instantaneous non-local computation can be achieved with
\[
\mathrm{INQC}(U)\le O((68n)^d),
\]
and for \(T\)-count \(k\) there is a protocol using \(O(n2^k)\) EPR pairs [1511.02839]. When the circuit has small past light cones, the cost can be made to scale with the non-locality of the unitary rather than with \(n\) alone: the entanglement cost is \(\sim n^{4V}\), where \(V\) is the maximum volume of a past light cone in a circuit implementing the unitary [2203.10106]. A multipartite extension with restricted Clifford light cones gives
\[
E(U) \le O\!\big((K\ell)^{d_T-1}\cdot N \cdot \min\{k,\ell\}\big)
\]
for \(k\ge 2\) parties, \(T\)-depth \(d_T\), total qubit count \(N\), and backward-light-cone size \(\ell\) [2606.12557].

For two-qubit unitaries, substantially sharper bounds are known in the LOBC model. Any two-qubit unitary can be implemented under LOBC with success probability \((1-2^{-N})^3\) using \(8N+1\) ebits, and consequently with diamond-norm error \(\epsilon\) using at most
\[
1 - 8\log\big[1-(1-\tfrac{\epsilon}{2})^{1/3}\big] \;\le\; 8\log\!\left(\frac{1}{\epsilon}\right) + 22
\]
ebits, an exponential improvement over the previously known \(O(1/\epsilon)\) behavior for two-qubit protocols [1810.00994]. The same paper also shows that any Hermitian controlled gate \(U_c=(I-P)\otimes I+P\otimes V\) with \(V=V^\dagger\) can be implemented by LOBC using a single shared ebit [1810.00994].

| Setting | Representative upper bound | Source |
|---|---:|---|
| Arbitrary bipartite channel via PBT | \(N=\Theta(d^4/\epsilon^2)\), \(\|T-I\|_\diamond \le 4d^2/\sqrt N\) | [2605.02840] |
| Clifford unitary | \(n\) ebits | [2605.02840] |
| Clifford+\(T\), \(T\)-depth \(d\) | \(O((68n)^d)\) ebits | [1511.02839] |
| Small-light-cone circuit | \(\sim n^{4V}\) ebits | [2203.10106] |
| Arbitrary two-qubit LOBC | \(\le 8\log(1/\epsilon)+22\) ebits | [1810.00994] |

These constructions establish a recurrent theme: general-purpose NLQC remains expensive, but the resource can collapse from exponential-in-\(n\) to polynomial or quasi-polynomial when the target operation has special algebraic, Clifford, \(T\)-depth, or light-cone structure.

## 3. Lower bounds and entanglement cost

Lower bounds in NLQC have historically been more difficult than upper bounds. A basic early result proved that a linear number of ebits is necessary for a certain instantaneous non-local measurement, and used mutually unbiased bases to show that constant-accuracy implementations require \(\Omega(n)\) entanglement [1101.1065]. The later literature develops several more systematic lower-bound paradigms.

For LOBC gate implementation, a foundational result concerns controlled unitaries on \(2\otimes s\). For
\[
U_c=|0\rangle\langle 0|\otimes I_s+|1\rangle\langle 1|\otimes U_\tau,\qquad
U_\tau=\sum_{j=0}^{s-1}e^{i\tau_j}|j\rangle\langle j|,
\]
with all phases \(\tau_j\) distinct, any LOBC implementation requires at least \(\log s\) ebits; equivalently, for a pure resource \(|\eta\rangle\),
\[
\mathrm{E}(|\eta\rangle)\ge \log s.
\]
This yields an unbounded LOBC–LOCC separation, since interactive LOCC implements the same gate with two ebits by teleporting Alice’s qubit to Bob and back [1810.00994]. That work emphasizes that the bound is on entanglement entropy, not merely on local dimension, and identifies it as the first such entropy-based lower bound for instantaneous nonlocal gate implementation [1810.00994].

A more general 2026 framework introduces two unitary-dependent lower-bound quantities: controllable correlation (CC) and controllable entanglement (CE). If a unitary \(U_{AB}\) has \((\lambda_1,\lambda_2)\)-controllable correlation, then any protocol implementing \(U_{AB}\) within diamond error \(\epsilon<1\) using resource \(\Psi_{LR}\) obeys
\[
E_f(L:R)_\Psi \ge (\lambda_1-\lambda_2)/2-\Delta(\epsilon,n_A),
\]
where
\[
\Delta(\epsilon,n_A)=3n_A\sqrt{\epsilon}+2(1+\sqrt{\epsilon})h\!\left(\frac{\sqrt{\epsilon}}{1+\sqrt{\epsilon}}\right).
\]
If \(U_{AB}\) has \((\lambda_1,\lambda_2)\)-controllable entanglement, then for small enough \(\gamma\),
\[
E_f(L:R)_\Psi \ge \lambda_1-2\lambda_2^{1/4}-2\gamma^{1/8}.
\]
These bounds apply even when the single communication round is quantum rather than classical, are additive under parallel repetition in the stated regimes, and give a tight lower bound \(E(\mathrm{CNOT})=1\) for CNOT [2602.00255].

Representative gate-level consequences are already nontrivial. For Haar-random two-qubit unitaries, the CC lower bound was reported as almost always nonzero over 100,000 samples, with mean \(\approx 0.230\); the paper also gives lower bounds for DCNOT, \(\sqrt{\mathrm{SWAP}}\), iSWAP, \(XX(\pi/4)\), Sycamore, ECR, CS, and CT [2602.00255]. The book-length survey synthesizes these and related paradigms, including monogamy-of-entanglement bounds for BB84 measurement tasks and the observation that SWAP still lacks a precise one-round entanglement characterization [2605.02840].

For classically controlled one-round tasks, perfect-correctness lower bounds can be expressed through matrix rank. For \(f\)-routing, the log Schmidt rank cost obeys
\[
\mathrm{FR}_0(f)\ge \tfrac14 \log \operatorname{rank}(g|f),\qquad
\mathrm{FR}_1(f)\ge \tfrac14 \log \operatorname{rank}(g|\neg f),
\]
and for perfect \(f\)-BB84,
\[
\mathrm{FBB84}(f)\ge \tfrac14\big(\log \operatorname{rank}(g|f)-1\big),
\]
where \(g(x,y)\) is constrained to vanish exactly on one side of the Boolean support [2402.18647]. This yields linear-in-\(n\) lower bounds on the log Schmidt rank for natural functions such as Equality, Greater-Than, and Set-Disjointness [2402.18647].

| Setting | Representative lower bound | Source |
|---|---:|---|
| Generic controlled gate on \(2\otimes s\) | \(\ge \log s\) ebits | [1810.00994] |
| CNOT | \(E_f \ge 1\), tight | [2602.00255] |
| \(f\)-routing, perfect correctness | \(\frac14\log \operatorname{rank}(g)\)-type lower bound | [2402.18647] |
| Certain instantaneous non-local measurements | \(\Omega(n)\) ebits | [1101.1065] |

These lower bounds indicate that interaction can be traded for entanglement, but not freely: in several settings, removing interaction forces entanglement costs that are provably logarithmic, linear, or task-dependent through rank, mutual information, or entanglement generation.

## 4. Task families, reductions, and an emerging complexity theory

A major recent development is the treatment of NLQC task families through reductions. In this perspective, one studies the relative hardness of tasks rather than attempting an immediate complete characterization of entanglement cost. The central 2025 result is that the two principal classically controlled tasks, \(f\)-route and \(f\)-measure, are equivalent under \(O(1)\)-overhead reductions; more precisely, \(f\)-route, \(f\)-measure, and CDQS are all interconvertible with constant-factor overhead in entanglement cost [2505.23893]. This transports upper bounds, lower bounds, amplification results, and cryptographic consequences across the three models.

An earlier line of work connected these routing and measurement tasks to information-theoretic cryptography. In particular, \(f\)-routing is equivalent, up to small overhead, to the quantum analogue of conditional disclosure of secrets, while coherent function evaluation induces efficient private simultaneous message protocols [2306.16462]. One concrete consequence is a worst-case subexponential upper bound
\[
2^{O(\sqrt{n\log n})}
\]
for the entanglement cost of \(f\)-routing, which then transfers to equivalent classically controlled NLQC tasks [2306.16462]. The 2025 reduction theory makes the same subexponential bound immediately available for \(f\)-measure for every Boolean \(f\), and also imports efficient protocols for functions in \(\mathsf{Mod}_k\mathsf{L}\) [2505.23893].

Beyond the classically controlled regime, recent work establishes a web of reductions “beyond Clifford operations.” In the setting of large classical inputs \(x,y\in\{0,1\}^n\) and fixed-size quantum inputs, \(f\)-route reduces to controlled single-qubit measurements; all non-trivial single-qubit \(f\)-measure tasks are equivalent under \(O(1)\) oracle reductions; \(f\)-measure\((I,H)\) is equivalent to \(f\)-Bell; \(f\)-Bell yields controlled Clifford measurements and controlled Clifford unitaries; and \(f\)-measure\((I,H)\) reduces to controlled application of any unitary of the form
\[
U=C_1 D C_0,
\]
with \(C_0,C_1\) Clifford and \(D\) diagonal [2606.26354]. The diagonal component is synthesized through phase gadgets and non-adaptive MBQC-style constructions, showing that many position-verification-motivated tasks have the same asymptotic entanglement cost [2606.26354].

The same reductionist viewpoint now extends into private simultaneous message passing. In the quantum PSM setting, new lower bounds use privacy rather than correctness alone: Nečiporuk’s measure lower-bounds the entanglement required for \(k\)-player quantum PSM with perfect correctness, and the rank of the communication matrix lower-bounds two-player quantum PSM with perfect privacy and imperfect correctness [2606.12557]. On the upper-bound side, if \(f\) is computed by a quantum circuit of size \(s\), depth \(d_f\), and \(k\) players each hold \(n\) bits, then
\[
\mathsf{PSM}_k^*(f) \le (kn+s)\cdot \log^{O(d_f)}(s/\epsilon),
\]
again reinforcing the role of circuit structure in one-round non-local resource costs [2606.12557].

## 5. Cryptography, communication complexity, and holography

NLQC is the standard cheating paradigm for quantum position verification (QPV). Already in 2011, PBT-based INQC showed that one-round position-verification schemes can be broken with entanglement exponential in the number of communicated qubits, improving over earlier doubly-exponential attacks [1101.1065]. Later work connected this to \(f\)-routing and related cryptographic primitives, giving the first subexponential upper bound \(2^{O(\sqrt{n\log n})}\) on the worst-case cost of \(f\)-routing and the first efficient \(f\)-routing protocol for a function believed to lie outside \(P/poly\) [2306.16462]. The reduction theory around \(f\)-measure and \(f\)-route implies that many practically implementable QPV schemes therefore have the same asymptotic entanglement cost and hence similar security levels [2505.23893, 2606.26354].

NLQC also interfaces directly with communication and circuit complexity. The small-light-cone protocol makes the entanglement cost depend on the circuit’s maximum past-light-cone volume \(V\), yielding polynomial entanglement for \(V=O(1)\) and quasi-polynomial entanglement for \(V=\mathrm{polylog}(n)\) [2203.10106]. The low-\(T\)-depth and low-light-cone constructions subsequently feed into private simultaneous message upper bounds and into classical simulations of certain one-round entanglement-assisted communication models [1511.02839, 2606.12557]. This suggests that NLQC is best viewed not as a single protocolic trick, but as a family of structure-sensitive simulations whose cost tracks non-Clifford depth, light-cone growth, or algebraic control complexity.

A distinct application domain is holography and quantum gravity. For finite-memory quantum systems on a circular lattice, a single simultaneous round of quantum communication plus pre-shared entanglement equal to the entropy across the \(S_W:S_E\) bipartition suffices to implement a “pseudo-bulk” channel when the spread of the dynamics is at most \(2\pi/8\); in holographic CFT simulations, this reproduces the channel induced by local bulk dynamics [2210.13500]. Under plausible assumptions about bulk computation, this implies that any polynomially complex unitary can be realized by boundary NLQC with polynomial entanglement [2210.13500]. In two-sided black-hole geometries, early behind-the-horizon collisions correspond to one-round boundary NLQC using the thermofield double as the entanglement resource, and they imply a boundary mutual-information signature \(I(V_L:V_R)=O(1/G_N)\) when the collision occurs before the relevant connected extremal surface [2304.11184]. Efficient PBT is explicitly relevant here because bulk computations are realized as boundary NLQC, and the efficient PBT algorithm was motivated in part by this AdS/CFT connection [2310.01637].

## 6. Conceptual limits and open problems

Several sharp open problems remain. In LOBC, it is open whether every two-qubit unitary admits an exact deterministic protocol with finite entanglement; the known \(U_2\) construction is deterministic only for special angle families, while the general protocol has failure probability \(1-(1-2^{-N})^3\) [1810.00994]. For generic controlled gates on \(2\otimes d_B\), the best known lower bound is \(\log d_B\) ebits, while known upper bounds scale linearly in \(d_B\), leaving an exponential gap [1810.00994]. For general one-round NLQC, the exact one-round entanglement cost of SWAP remains open [2605.02840].

The lower-bound side is equally incomplete. CC and CE provide the first general lower-bound techniques that can be evaluated for arbitrary bipartite unitaries, but channels beyond unitaries, multipartite extensions, tighter additivity statements, and explicit dependence on Cartan/KAK parameters remain open [2602.00255]. For classically controlled tasks, rank lower bounds presently require perfect correctness, and extending them robustly to noisy implementations remains unresolved [2402.18647]. In private simultaneous quantum message passing, tightening privacy-based lower bounds, extending Nečiporuk-style methods beyond perfect correctness, and optimizing the dependence on circuit depth are explicit open directions [2606.12557].

A more conceptual challenge concerns operational meaning. One 2025 result argues that, in a black-box MIP*/LOCC setting, it is Turing-undecidable to decide from finite operational data whether a physical computation genuinely used nonlocal resources, or whether apparently separated components were merely subsystems of a monolithic quantum device [2501.14298]. This does not invalidate the formal resource theory of NLQC, but it places a strict limit on device-independent certification of “non-local resource usage” as a physical fact [2501.14298].

Taken together, these results delineate a field with a highly nontrivial resource landscape. General-purpose one-round simulation is possible but often exponentially expensive; structured families admit substantially cheaper constructions; interaction can sometimes be exchanged for entanglement, but only within quantitatively sharp limits; and the resulting theory now spans quantum cryptography, communication complexity, many-body dynamics, and holography [2605.02840].

Source: https://www.emergentmind.com/topics/non-local-quantum-computation-nlqc