Nonlocal and quantum advantages in network coding for multiple access channels
Pith reviewed 2026-05-24 09:35 UTC · model grok-4.3
The pith
Preshared nonlocal correlations and quantum resources allow senders to achieve higher sum capacities over multiple-access channels than shared randomness alone.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
When senders use cooperative encoding with quantum states or nonlocal correlations on multiple-access channels constructed by reference to nonlocal games, the resulting sum capacity exceeds the sum capacity obtained with local resources such as shared randomness. The Clauser-Horne-Shimony-Holt and magic square games yield explicit channels where this separation holds, and a general lower bound on the sum capacity is obtained from specific nonlocal and quantum strategies.
What carries the argument
Cooperative encoding that exploits preshared nonlocal correlations or quantum entanglement to induce correlated noise on codewords, producing an enlarged capacity region for the multiple-access channel.
If this is right
- The sum capacity is strictly larger when senders apply nonlocal strategies derived from the CHSH game than when they use only shared randomness.
- The same strict increase holds for the channel constructed from the magic square game.
- A lower bound on the sum capacity is obtained directly from the value of the nonlocal game and is achievable with corresponding encoding strategies.
- The capacity region for quantum and nonlocal cooperative encoding properly contains the region for local cooperative encoding.
Where Pith is reading between the lines
- The same construction technique may produce quantum advantages in other classical network coding tasks that tolerate engineered correlated errors.
- Identifying additional families of channels where nonlocal games induce useful noise patterns would extend the set of communication problems that benefit from nonclassical resources.
- Experimental realizations of the game-derived channels could test whether the predicted rate gains appear in physical systems.
Load-bearing premise
The multiple-access channels must be constructed by referring to nonlocal games so that correlated noise other than independent errors occurs on the code words.
What would settle it
An explicit computation of the sum capacity for the CHSH-game or magic-square-game channel showing that the value achieved with nonlocal or quantum encoding equals or falls below the value achieved with local resources would falsify the claimed advantage.
read the original abstract
In this work, we consider two-sender, one-receiver communication over a discrete memoryless multiple-access channel without feedback, where two senders may cooperate on channel coding by using preshared resources, such as shared randomness, quantum states and measurements, or nonlocal correlations. We present the capacity region when senders employ cooperative encoding with quantum and nonlocal resources, extending beyond shared randomness, and derive a sum rate that serves as a lower bound to the sum capacity; the lower bound is computable by exploiting specific strategies. We also compute the sum capacities for two instances. One is when senders apply local resources for cooperative encoding. The other is when senders exploit nonclassical resources for encoding against channels constructed by referring to nonlocal games; in this way, correlated noise other than independent errors occurs on code words. Comparing the exact sum capacities and lower bounds, we show that nonlocal and quantum resources for cooperative encoding enable higher sum capacities over local ones. The Clauser-Horne-Shimony-Holt and magic square games are considered for constructing multiple-access channels, and we demonstrate the usefulness of nonlocal and quantum resources to achieve higher-sum capacities.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript considers two-sender, one-receiver discrete memoryless MACs without feedback. Senders may cooperate via preshared resources (shared randomness, quantum states/measurements, or nonlocal correlations) for encoding. It derives the capacity region under quantum/nonlocal resources, supplies a computable lower bound on sum capacity obtained from explicit strategies, computes exact sum capacities for the local-resource case and for two game-derived channels (CHSH and magic-square constructions that induce correlated noise), and shows that the nonclassical strategies achieve strictly higher sum rates than local ones.
Significance. If the explicit capacity computations and strategy constructions hold, the paper supplies concrete, falsifiable examples of quantum and nonlocal advantages in a multi-user network-coding setting. The approach of embedding nonlocal games into MAC transition probabilities to create correlated noise is a standard and internally consistent method for separating classical from nonclassical performance; the resulting proof-by-example strengthens the literature on quantum network information theory.
minor comments (2)
- [capacity region derivation] § on capacity region: the statement that the lower bound 'is computable by exploiting specific strategies' would benefit from an explicit pointer to the section or algorithm that evaluates the bound for the CHSH and magic-square instances.
- [abstract and introduction] The abstract and introduction should clarify whether the reported sum capacities are achieved with finite block length or in the asymptotic limit; this affects how the numerical comparisons are interpreted.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, including the summary of our results on capacity regions and sum capacities for MACs with nonlocal and quantum resources, as well as the significance of the game-based constructions for demonstrating advantages. The recommendation for minor revision is noted. No specific major comments were provided in the report.
Circularity Check
No significant circularity; derivation is self-contained via explicit constructions
full rationale
The paper defines specific MACs by direct reference to known nonlocal games (CHSH, magic square) and computes exact sum capacities plus explicit-strategy lower bounds for both local and nonclassical encoding on those fixed channels. All comparisons are performed on these concrete instances without parameter fitting, self-referential definitions, or load-bearing self-citations that reduce the claimed separation to the inputs by construction. This is a standard proof-by-example result whose central claims remain independently verifiable from the stated strategies and channel definitions.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We present the capacity region when senders employ cooperative encoding with quantum and nonlocal resources... CHSH and magic square games are considered for constructing multiple-access channels
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
sum-capacity C^(R)(N) = max_π max_E I(A1,...,An;B)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Resource independent upper bound on sum capacities Proposition 4. For the MAC channelsNG, for any arbitrary encoding and probability distribution over the message set, we have the following resource independent upper bound on sum-rate I(M; Y)≤ log ∆− fW, ( 13) where equality holds if H(Y) = log ∆, ω = 1, and I(M; Y) = I(X; Y). Naturally, the stated bound ...
-
[2]
Resource dependent upper bound on sum capacity Proposition 5. For the MAC channelsNG with probability distribution π(m) over message and encodings E∈R we have a following resource dependent upper bound on sum- capacities: C (R)(NG)≤max π(m) { H(X)+( fL− fW ) max E∈R ω } − fL. ( 15) Proof. C (R)(NG) = max π(m) { max E∈R I(M; Y) } , ≤ max π(m) { max E∈R I(X...
-
[3]
Upper bound on classical sum capacity Let us considerR = L; the set of local (classical) correl- ations. The set L forms a polytope (a convex set), with a set of vertices VL, in a finite dimensional Euclidean space. For an arbitrarily fixed distribution π(m), I(M; Y) is a convex function of encoding E∈ L (see [18]). Therefore, given a π(m), since L is a con...
-
[4]
Computation of classical sum capacities We computed the exact classical sum capacities by performing optimization of I(M; Y) over all the vertices of the local polytope L of the CGLMP- 4 scenario, the results are plotted and shown as the lowest (dashed blue) curve in the Fig. 5
-
[5]
Lower and upper bounds on quantum sum capacities We computed a lower bound on quantum sum ca- pacities by considering a quantum encoding generated via the E∗ mapping of correlation box from the CHSH Bell scenario. The quantum correlation box we consider is the one resulting from a maximally entangled state 10 0.0 0.2 0.4 0.6 0.8 1.0 η0.0 0.5 1.0 1.5 2.0 C...
-
[6]
The PR-box correlation is given by P(m′ 1, m′ 2|m1, m2) = 1 2 δ(m1m2, m′ 1⊕m′ 2)
No-signaling sum capacity We consider a no-signaling encoding generated via the E∗ mapping of PR-box correlation (CHSH Bell scenario). The PR-box correlation is given by P(m′ 1, m′ 2|m1, m2) = 1 2 δ(m1m2, m′ 1⊕m′ 2). We generate the encoding for the chan- nel by applying the mapping E∗ to the PR-box correl- ation. We find that such an encoding satisfy, for...
-
[7]
and that from A2 as x22 = ( a0 2, a1 2, a2 2). Then the winning condition of the game is that: (i) parity of answer of A1 is even, i.e., a0 1⊕ a1 1⊕ a2 1 = 0, (ii) parity of answer of A2 is odd, i.e., a0 2⊕ a1 2⊕ a2 2 = 1, and (iii) at the overlapping position determined by the question pair (x11, x21) the answer bit of both the players should match, i.e....
-
[8]
Upper bound on classical sum capacities In a magic square game, with any local deterministic (classical) protocol the game can be won for at most eight out of nine possible questions to the two players, i.e., rmax = ω⋆ L ∆ = 8 9× 9 = 8. Therefore, the upper bound on classical sum capacity is following C (L)(NMS)≤ max π(m) { H(M)+(log 9− f (9, η)) max i,j∈...
-
[9]
The quantum correlation box we consider is from Brassard et al
Quantum sum capacities We find the quantum sum capacities on considering a quantum encoding generated via the E∗ mapping of cor- relation box from the (2, 3, 8) Bell scenario. The quantum correlation box we consider is from Brassard et al. [15]. The two players A1 and A2 share a four qubit entangled state |Ψ⟩A1 A2 = 1 2 ( |00⟩A1|11⟩A2−| 01⟩A1|10⟩A2 −|10⟩A1...
-
[10]
Similarly, A2’s two bit outcome is assigned to (a0 2, a1
and the third bit a2 1 is given a value such that the even parity condition is satisfied. Similarly, A2’s two bit outcome is assigned to (a0 2, a1
-
[11]
and the third bit a2 2 is given a value such that the odd parity condition is satisfied. Then it follows that with the considered quantum protocol the magic square game can be won with perfect probability, i.e., ω = 1. Therefore, magic square game is a quantum pseudo telepathy game as shown in [ 15]. Let us call the correlation box generated with considere...
-
[12]
(43) where we recall that Mrmax denotes a two partition M =Mrmax∪ (Mrmax )c such that|Mrmax| = rmax
Upper bound on classical sum capacities In a MPP nonlocal game, with any local determin- istic (classical) protocol the maximum success prob- ability, for a uniform distribution of questions, is ω⋆ L = 3 4 + 2−(⌈n/2⌉+1), therefore rmax = ω⋆ L ∆ ={ 3 4 + 2−(⌈n/2⌉+1) } × 2n and the upper bound on clas- sical sum capacity is following C (L)(NMPP )≤ max π(m) ...
-
[13]
The quantum correlation box we consider is from quantum protocol of Brassard et al
Quantum sum capacities We find the quantum sum capacities on considering a quantum encoding generated via the E∗ mapping of correlation box from the (n, 2, 2) Bell scenario. The quantum correlation box we consider is from quantum protocol of Brassard et al. [15]. The n players A1,..., An share entangled state 1√ 2|0n⟩ + 1√ 2|1n⟩. After receiving input xk1 ...
work page 2023
-
[14]
C.H. Bennett and S.J. Wiesner, Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states, Phys. Rev. Lett. 69, 2881 (1992)
work page 1992
-
[15]
C.H. Bennett, P .W. Shor, J.A. Smolin, and A.V . Thap- liyal, Entanglement-assisted classical capacity of noisy quantum channels, Phys. Rev. Lett. 83, 3081 (1999)
work page 1999
-
[16]
Holevo, On entanglement-assisted classical capacity, J
A.S. Holevo, On entanglement-assisted classical capacity, J. Math. Phys. 43, 4326 (2002)
work page 2002
-
[17]
Bell, On the Einstein Podolsky Rosen paradox, Physics Physique Fizika 1, 195 (1964)
J.S. Bell, On the Einstein Podolsky Rosen paradox, Physics Physique Fizika 1, 195 (1964)
work page 1964
-
[18]
John F. Clauser, Michael A. Horne, Abner Shimony, and Richard A. Holt, Proposed Experiment to Test Local Hidden-Variable Theories, Phys. Rev. Lett. 23, 880 (1969)
work page 1969
-
[19]
N. Brunner, D. Cavalcanti, S. Pironio, V . Scarani, and S. Wehner, Bell nonlocality, Rev. Mod. Phys.86, 419 (2014)
work page 2014
-
[20]
H. Buhrman, R. Cleve, S. Massar, and R. de Wolf, Nonloc- ality and communication complexity, Rev. Mod. Phys. 82, 665 (2010)
work page 2010
-
[21]
Y. Quek and P . W. Shor, Quantum and superquantum enhancements to two-sender, two-receiver channels, Phys. Rev. A 95, 052329 (2017)
work page 2017
-
[22]
J. Yun, A. Rai, and J. Bae, Nonlocal Network Coding in Interference Channels, Phys. Rev. Lett. 125, 150502 (2020)
work page 2020
-
[23]
J. Yun, A. Rai, and J. Bae, Non-Local Coding in Quantum Networks : Two-Sender and Two-Receiver Scenario (in preparation), to appear on arXiv soon
-
[24]
F. Leditzky, M.A. Alhejji, J. Levin, and G. Smith, Playing games with multiple access channels, Nat. Commun. 11, 1497 (2020)
work page 2020
-
[25]
J. Notzel, Entanglement enabled communication, IEEE Journal on Selected Areas in Information Theory 1.2, 401 (2020)
work page 2020
-
[26]
A. Seshadri, F. Leditzky, V . Siddhu, and G. Smith, On the separation of correlation-assisted sum capacities of multiple access channels, IEEE International Symposium on Information Theory (ISIT), pp. 2756-2761, (2022); see also arXiv:2205.13538 [cs.IT]
-
[27]
A. El Gamal and Y.-H. Kim, Network Information Theory (Cambridge University Press, New York, 2012)
work page 2012
-
[28]
G. Brassard, A. Broadbent, and A. Tapp. "Quantum Pseudo-Telepathy". Foundations of Physics 35, 1877 (2005), (also on arXiv: quant-ph/ 0407221)
work page 2005
-
[29]
Ahlswede, Multi-way Communication Channels
R. Ahlswede, Multi-way Communication Channels. In Second International Symposium on Information Theory: Tsahkadsor, Armenia, USSR, Sept. 2-8 1971, 23-52 (1971)
work page 1971
-
[30]
H. Liao, Multiple access channels, Phd thesis, Department of Electrical Engineering, University of Hawaii ( 1972)
work page 1972
-
[31]
T. M. Cover and J. A. Thomas, Elements of Information Theory, USA: Wiley-Interscience, 2006
work page 2006
-
[32]
D. Collins, N. Gisin, N. Linden, S. Massar, and S. Popescu, Bell Inequalities for Arbitrarily High-Dimensional Sys- tems, Phys. Rev. Lett. 88, 040404 (2002)
work page 2002
-
[33]
J. Barrett, N. Linden, S. Massar, S. Pironio, S. Popescu, and D. Roberts, Nonlocal correlations as an information- theoretic resource, Phys. Rev. A bf 71, 022101 (2005)
work page 2005
-
[34]
D.M. Greenberger, M.A. Horne, and A. Zeilinger, Going beyond Bell’s theorem, In Bell’s Theorem, Quantum The- ory and Conceptions of the Universe (M. Kafatos, editor), pages 69–72, 1988
work page 1988
-
[35]
N. D. Mermin, Quantum mysteries revisited, American Journal of Physics 58(8), 731 (1990)
work page 1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.