---
title: Full Network Nonlocality
url: https://www.emergentmind.com/topics/full-network-nonlocality
type: topic
---

# Full Network Nonlocality

Searching arXiv for recent and foundational papers on full network nonlocality to ground the article in the literature.
arxiv.search query="full network nonlocality" max_results=10
Full network nonlocality is a strengthening of network nonlocality for multipartite correlations generated by several independent sources. In a network-local model, each source emits an independent hidden variable and each party responds only to the variables carried by the adjacent links. Full network nonlocality requires more: the observed correlation must remain incompatible with every hybrid model in which any one source is replaced by a classical link while the remaining sources are allowed to be arbitrary no-signaling resources. It therefore certifies that nonclassicality is distributed across every link of the network, rather than being attributable to a single nonclassical source embedded in an otherwise classical architecture [2105.09325, 2212.09765].

## 1. Formal definition and causal structure

A network with sources \(S_1,\dots,S_m\) and parties \(P_1,\dots,P_n\) is network-local when its input-output distribution admits the factorized hidden-variable decomposition
\[
p(\mathbf{a}|\mathbf{x})
=\int d\lambda_1\,\mu_1(\lambda_1)\cdots \int d\lambda_m\,\mu_m(\lambda_m)
\prod_{k=1}^n p(a_k|x_k,\bar\lambda_k),
\]
where each \(\lambda_j\) is emitted independently by source \(S_j\), and \(\bar\lambda_k\) is the subset available to party \(P_k\). Violation of this structure is ordinary network nonlocality [2105.09325].

Full network nonlocality replaces the benchmark. A correlation is fully network nonlocal iff, for every choice of one source singled out as classical, there is no hybrid decomposition in which that source is modeled by a classical hidden variable while all remaining sources are promoted to arbitrary no-signaling resources. In the bilocal chain, this means excluding both the “Classical–NS” and “NS–Classical” models
\[
p(a,b,c|x,z)=\int d\lambda\,\rho(\lambda)\,p(a|x,\lambda)\,p(b,c|\lambda,z),
\]
and its source-swapped analogue; in the three-star network, if the \(A^{(1)}\!-\!B\) link is classical, admissible correlations must take the form
\[
p(a_1,a_2,a_3,b|x_1,x_2,x_3)
=\sum_\lambda p(\lambda)\,p(a_1|x_1,\lambda)\,p_{\mathrm{NSI}}(a_2,a_3,b|x_2,x_3,\lambda),
\]
with \(p_{\mathrm{NSI}}\) no-signaling and the \(A^{(2)}A^{(3)}\) marginal factorized after tracing out \(B\) [2302.02472, 2212.09765].

This definition is explicitly theory-independent on the nonclassical side: the nonclassical sources need not be quantum, only no-signaling. The certification therefore does not assume quantum mechanics for the nonclassical resources. In the experimental star-network realization, this feature is described as certification “without assuming quantum mechanics” for the sources [2212.09765].

## 2. Relation to Bell nonlocality, bilocality, and ordinary network nonlocality

Full network nonlocality is strictly stronger than standard network nonlocality. All fully network nonlocal correlations are network nonlocal, but the converse fails: an ordinary network Bell violation may be explained by a single nonclassical source embedded in a larger network of classical links [2105.09325].

This distinction is particularly sharp in the bilocal entanglement-swapping scenario. The Branciard–Gisin–Pironio inequality,
\[
\mathcal S_2=\sqrt{|I_0|}+\sqrt{|I_1|}\le 1,
\]
witnesses network nonlocality, yet it does not witness full network nonlocality. A no-go result shows that every violation \(\mathcal S_2>1\), including the maximal quantum value \(\sqrt 2\), can be reproduced by a model with one classical source and one arbitrary nonlocal resource. In the same setting, the full-network-nonlocality-admissible region in the \((I_0,I_1)\)-plane is exactly
\[
|I_0|+|I_1|\le 1,
\]
which is weaker than the bilocal bound \(\sqrt{|I_0|}+\sqrt{|I_1|}\le 1\) [2105.09325].

The same misconception appears in experimental practice. Violations of bilocality inequalities used in earlier entanglement-swapping experiments certify that two classical sources cannot explain the data, but they do not certify the nonclassicality of each source separately. This limitation is emphasized in both the photonic bilocal experiment and the later loophole-constrained realization, where full network nonlocality is introduced precisely to rule out any model with one classical source and one no-signaling source [2201.06361, 2302.02472].

A related but distinct operational notion is genuine network quantum nonlocality. In that framework, the excluded models are “quantum-wirable” simulations built from bipartite quantum boxes plus arbitrary classical wirings. In the bilocal network, entanglement swapping with Bell-state measurement yields correlations that are non-bilocal and not quantum-wirable, even though the tripartite distribution can remain Bell-local in the usual single-source sense [2105.12341]. This suggests that full network nonlocality and genuine network quantum nonlocality probe different obstructions: one excludes classical-source hybrids against no-signaling adversaries, the other excludes reductions to standard Bell nonlocal resources plus wirings.

## 3. Witness inequalities and certification methods

The first systematic formulation of full network nonlocality also provided constructive witness methods. In the three-branch star network, the linear \(n\)-star Bell inequality can be tightened under the assumption that one source is classical. For \(n=3\), any correlation with one classical source and two no-signaling sources satisfies
\[
\mathcal S_3\le 2^{1/3},
\]
whereas the quantum strategy reaches \(\sqrt 2\). Thus \(\mathcal S_3>2^{1/3}\) certifies full network nonlocality in the trilocal star [2105.09325].

More generally, hybrid inflation was introduced as a certification framework. In the three-star network, inflating the network and solving linear programs yields explicit inequalities \(\mathcal I_1\le 0\), \(\mathcal I_2\le 0\), and \(\mathcal I_3\le 0\), one for each choice of classical branch. Full network nonlocality is certified iff all three are violated simultaneously. The witness \(\mathcal I_1\) is a linear combination of four-body, three-body, two-body, and one-body correlators such as \(\langle A_{x_1}^1A_{x_2}^2A_{x_3}^3B\rangle\), with the explicit correlator convention
\[
\langle A_{x_1}^1A_{x_2}^2A_{x_3}^3B\rangle
=\sum_{a_1,a_2,a_3,b}(-1)^{a_1+a_2+a_3+b}p(a_1,a_2,a_3,b|x_1,x_2,x_3).
\]
The same inflation logic also underlies bilocal polynomial witnesses [2212.09765].

In the bilocal scenario, Pozas-Kerstjens and coauthors derived two polynomial witnesses, commonly written as \(R_{C\text{–}NS}\le 3\) and \(R_{NS\text{–}C}\le 3\). Each single violation rules out one designated classical source, and simultaneous violation excludes both hybrid decompositions. The derivation clones the classical-source outputs in an inflated model while respecting no-cloning of the no-signaling resource, then imposes positivity and no-signaling constraints to obtain the bounds [2302.02472].

Subsequent work extended this program in two directions. First, a single inequality \(S_4^c\le 4C^c\) and its summed form \(S_4^0+S_4^1+S_4^2\le 4\) were shown to rule out a hybrid model in which a tripartite source is only biseparable while a bipartite source is arbitrary no-signaling; the same inequality also witnesses genuine multipartite nonlocality of the tripartite source [2407.14871]. Second, arbitrary-party and unbounded-input families of inequalities were introduced for star and chain networks:
\[
\mathcal C^{n,m}\le 2mn-2n,\qquad
\mathcal T_{n,m}\le 4m-4,
\]
with optimal quantum values
\[
(\mathcal C^{n,m})^{\mathrm{opt}}_Q=2mn\cos\frac{\pi}{2m},\qquad
(\mathcal T_{n,m})^{\mathrm{opt}}_Q=4m\cos\frac{\pi}{2m}.
\]
Their local–nonlocal hybrid bounds are \(2mn-2\) and \(4m-2\), respectively, creating analytic full-network-nonlocality gaps without dimension assumptions [2409.19419].

## 4. Quantum realizations and experimental demonstrations

The standard quantum architecture for full network nonlocality uses independent entangled sources and a central entanglement-swapping measurement. In the bilocal photonic implementation, two independent polarization-entangled photon sources feed a partial Bell-state measurement at Bob, while Alice and Charlie measure \(A_0=X\), \(A_1=Z\), \(C_0=(Z+X)/\sqrt2\), and \(C_1=(Z-X)/\sqrt2\). The ideal quantum prediction is
\[
R_{C\text{–}NS}=R_{NS\text{–}C}=5/\sqrt2\approx 3.5355,
\]
and the experiment reported
\[
R_{C\text{–}NS}^{\exp}=3.17\pm 0.05,\qquad
R_{NS\text{–}C}^{\exp}=3.17\pm 0.05,
\]
both above the classical bound \(3\) by more than \(3\sigma\) [2201.06361].

A later loophole-constrained realization imposed strict source independence, measurement independence, and locality. Two type-0 SPDC sources in PPMgLN crystals inside Sagnac loops were pumped by a 250 MHz pulse-pattern generator; phase randomization erased pulse-to-pulse coherence, fast QRNGs generated the settings, and the space-time analysis established inter-node separations \(\gtrsim 80\) m. In the symmetric case \(\theta_1=\theta_2=\pi/4\), the measured values were
\[
R_{C\text{–}NS}=3.3212\pm 0.0638,\qquad
R_{NS\text{–}C}=3.3563\pm 0.0632,
\]
both \(>3\) by more than \(5\sigma\) [2302.02472].

The first experimental demonstration beyond the bilocal scenario used a star-shaped photonic network with three independent sources of maximally entangled qubit pairs \(|\phi^+\rangle=(|00\rangle+|11\rangle)/\sqrt2\), branch observables
\[
A_0=\sin\theta_0\,\sigma_X+\cos\theta_0\,\sigma_Z,\qquad
A_1=\sin\theta_1\,\sigma_X+\cos\theta_1\,\sigma_Z,
\]
and a three-qubit GHZ projection at the center. Optimizing over \(\theta_0,\theta_1\) yields a maximal quantum violation \(\simeq 0.1859\) at \(\theta_0\approx -1.865\), \(\theta_1\approx -0.415\), and full network nonlocality persists for source visibility \(v\gtrsim 0.882\). Experimentally, 155 019 six-fold coincidences gave \(p(b=0)=0.1297\pm 0.0027\) and
\[
\mathcal I_1=0.0598\pm 0.0041,\quad
\mathcal I_2=0.0404\pm 0.0040,\quad
\mathcal I_3=0.0471\pm 0.0041,
\]
each exceeding the bound \(0\) by \(>10\sigma\) [2212.09765].

A further photonic experiment combined a tripartite and a bipartite source, with Charlie performing a partial Bell-state measurement and the remaining parties using Pauli measurements. Over eight settings with approximately 5 300 six-fold coincidences each, it obtained
\[
S_4^0/C^0=4.4056\pm 0.0868,\qquad
S_4^1/C^1=4.4443\pm 0.0865,\qquad
S_4^2/C^2=4.0000\pm 0.0000,
\]
and therefore
\[
S_4^0+S_4^1+S_4^2=4.0693\pm 0.0101>4
\]
by \(>6\sigma\), simultaneously certifying genuine multipartite nonlocality and a strengthened form of full network nonlocality [2407.14871].

| Scenario | Witness | Reported result |
|---|---|---|
| Bilocal photonic network | \(R_{C\text{–}NS},R_{NS\text{–}C}\) | \(3.17\pm0.05,\ 3.17\pm0.05\) [2201.06361] |
| Bilocal with strict locality constraints | \(R_{C\text{–}NS},R_{NS\text{–}C}\) | \(3.3212\pm0.0638,\ 3.3563\pm0.0632\) [2302.02472] |
| Three-source star network | \(\mathcal I_1,\mathcal I_2,\mathcal I_3\) | \(0.0598\pm0.0041,\ 0.0404\pm0.0040,\ 0.0471\pm0.0041\) [2212.09765] |
| Hybrid tripartite–bipartite network | \(S_4^0+S_4^1+S_4^2\) | \(4.0693\pm0.0101>4\) [2407.14871] |

## 5. Generalizations and variants

Several extensions show that full network nonlocality is not confined to the original fixed-input photonic architectures. In continuous-variable networks, one-way network nonlocality was defined for a two-source chain in which Bob may send classical information to Alice and Charlie. The witness
\[
\mathcal B_b=\langle A_0C_0|B^b\rangle+\langle A_0C_1|B^b\rangle+\langle A_1C_0|B^b\rangle-\langle A_1C_1|B^b\rangle\le 2
\]
is violated by an all-optical continuous-variable entanglement-swapping scheme based on two-mode squeezed vacuum states, a high-gain parametric amplifier, and sign-binned homodyne measurements. The same work explicitly states that a genuine full-network certification in longer chains or star networks would require nonlinear Bell-type inequalities or hierarchies of chain tests [2506.21060].

A stronger hybrid benchmark has also been proposed. In the four-party network with a tripartite GHZ source and a bipartite EPR source, the excluded model allows the tripartite source to be merely biseparable while the bipartite source may be arbitrary no-signaling. This “FNN♯” condition is stronger than the original full network nonlocality benchmark and is witnessed by the same single inequality that detects genuine multipartite nonlocality [2407.14871].

Another generalization concerns measurement structure. Earlier full-network-nonlocality demonstrations in the bilocal scenario relied on entangled measurements at the central node, such as partial Bell-state measurements or Elegant Joint Measurements. A later construction showed that entangled measurements are not necessary: separable product measurements augmented with bidirectional classical feedforward suffice. In that protocol, the bilocal FNN witnesses
\[
\mathrm{FNN}_1\le 1,\qquad \mathrm{FNN}_2\le 1
\]
reach \(\mathrm{FNN}_1=\mathrm{FNN}_2\simeq 1.11803>1\) for Werner-state visibility \(v\ge 0.9396\), whereas the entangled-measurement strategy yields \(1+1/\sqrt2\approx 1.2071\) [2604.11910]. The same architecture also realizes minimal network nonclassicality, a different notion in which the distribution lies outside the fully classical bilocal set but inside both single-source-classical hybrid sets.

Topological robustness provides a further perspective. In large ring networks, token-counting correlations generate a classical inequality \(I_N\le 0\) while the honest quantum strategy gives \(I_N^{(Q)}=(u^N+v^N)^2>0\). An outlined extension shows that trusting only a small subgraph of two or three neighboring parties can suffice to certify full-network-nonlocality-type behavior across the whole ring by conditioning the rest of the network into an effective triangle [2406.09510].

## 6. Noise, resource theory, and applications

The robustness of full network nonlocality is currently understood only in restricted families. In the three-source star experiment, source noise modeled as
\[
v|\phi^+\rangle\langle\phi^+|+(1-v)\,\openone/4
\]
still permits full network nonlocality for \(v\gtrsim 0.882\) [2212.09765]. In the simultaneous GMN–FNN♯ test, a total Werner-state visibility \(v_1v_2\ge 1/\sqrt2\) is sufficient to violate the same inequality [2407.14871].

Noise can also be treated at the channel level. In a trilocal star network, the full-network bound can be written as
\[
\frac12\sum_{i=1}^4 |J_i|^{1/3}\le \sqrt[3]{2}.
\]
A single-qubit depolarizing channel becomes \(k\)-use full-network-nonlocality breaking when
\[
q\ge 1-2^{\tfrac{2k-9}{6k}},
\]
and for \(k\ge 5\) this holds for all \(q\), so five channel uses suffice to destroy any full network nonlocality in that scenario. By contrast, the dephasing channel considered there does not satisfy the paper’s unital-breaking criterion and therefore does not break full network nonlocality in that setting [2510.26417].

Resource-theoretic questions include recyclability and measurement dependence. In an extended bilocal network with weak measurements, passive full-network-nonlocality sharing is impossible, while active sharing is possible: numerical optimization yields simultaneous violations for \(G\in(0.84,1)\), with maximal common value \(\mathcal R_M\approx 3.0521\) at \(G\approx 0.91\); however, active sharing requires \(V\ge 0.9914\) under Werner noise, indicating strong fragility [2211.08153]. Under one-sided measurement dependence, classical no-signaling models can reproduce the maximal quantum network violations once the measurement-dependence parameter reaches \(M=2(\sqrt2-1)^2\approx 0.344\) in the bilocal case and \(M=2(\sqrt2-1)^3\approx 0.153\) in the 3-local star case, showing that freedom-of-choice assumptions remain operationally relevant for both standard and full network nonlocality [2405.12379].

Security-motivated applications have begun to appear. A four-party entanglement-assisted QKD protocol uses violation of a trilocal full-network-nonlocality inequality as a security check; compared with a CHSH-based construction, it is reported to be more secure, with the quantum bit error rate reducible below \(13.7\%\) using full network nonlocality, compared with \(14.6\%\) when exploiting Bell-CHSH nonlocality [2603.20035]. A plausible implication is that full network nonlocality is not only a foundational refinement of network Bell theory, but also a certification primitive for distributed cryptographic tasks in which every link must be intrinsically quantum.

The field remains structurally open. Existing work identifies several unresolved directions: closing the detection and memory loopholes in photonic implementations, deriving noise-tolerant rigidity statements, extending certification to higher-dimensional and more complex topologies, and obtaining genuinely device-independent self-testing in arbitrary-party networks using experimentally simpler two-output measurements [2302.02472, 2202.00905, 2409.19419].

Source: https://www.emergentmind.com/topics/full-network-nonlocality