pith. sign in

arxiv: 2604.09458 · v1 · submitted 2026-04-10 · 🪐 quant-ph

Nonlocal Games Revisited: A Representation-Theoretic Path from Bell Locality to Quantum Pseudo-Telepathy

Mustafa Mert \"Ozy{\i}lmaz , Ruchi Thareja , Houssam Nasser This is my paper

Pith reviewed 2026-05-10 16:48 UTC · model grok-4.3

classification 🪐 quant-ph
keywords nonlocal gamesBell nonlocalityquantum strategiespseudo-telepathyCHSH inequalitymagic square gameNPA hierarchycorrelation space
0
0 comments X

The pith

Nonlocal games can be studied through four complementary representations that connect Bell locality to quantum pseudo-telepathy.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper tries to establish that nonlocal games serve as a bridge between classical local hidden variable models and quantum correlations by offering multiple mathematical lenses. It introduces standard examples such as the CHSH game, the magic square game, and the GHZ game, then applies four frameworks to them: descriptions using conditional probabilities and correlations, Bell-functional formulations, optimization of entangled values, and quantum operator methods including the NPA hierarchy. A sympathetic reader would care because seeing the same game through these views makes clear how Bell inequality violations relate to perfect quantum winning strategies that classical players cannot achieve, known as pseudo-telepathy. The multi-view also shows how semidefinite programming can approximate quantum correlations.

Core claim

By comparing conditional-probability, Bell-functional, entangled-value optimization, and quantum-operator representations on the CHSH, magic square, and GHZ games, the paper shows that nonlocal games function as geometric objects in correlation space, as optimization problems over entangled resources, and as operator-theoretic constructions, thereby clarifying the links between Bell inequality violations, perfect quantum strategies, pseudo-telepathy, and semidefinite relaxations of quantum correlations.

What carries the argument

The multi-representation viewpoint using conditional-probability and correlation descriptions, Bell-functional formulations, entangled-value optimization, and the quantum-operator approach with the NPA hierarchy.

If this is right

  • Viewing nonlocal games geometrically separates classical and quantum correlations in a space of possible behaviors.
  • Optimizing over entangled resources yields higher values than local hidden variable models, quantifying the quantum advantage.
  • The quantum operator approach with the NPA hierarchy provides computable upper bounds on quantum game values.
  • Perfect quantum strategies in certain games, such as the magic square, demonstrate pseudo-telepathy where quantum players win with probability one.
  • These representations together serve as device-independent witnesses of entanglement.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The framework could be applied to other nonlocal games to discover new relations between them.
  • Geometric interpretations might connect to broader questions in quantum information about correlation polytopes.
  • Operator-theoretic constructions may help in designing new protocols for quantum communication.
  • If the complementarity holds, it suggests a general method for analyzing no-signaling correlations beyond the examples given.

Load-bearing premise

Re-instantiating the four frameworks on the same set of known games produces clarifying new insights rather than redundant restatements of existing knowledge.

What would settle it

A demonstration that the four representations yield contradictory or non-complementary insights when applied to the Mermin-Peres magic square game would disprove the utility of the multi-representation viewpoint.

read the original abstract

Nonlocal games provide a unified framework for studying the distinction between classical, quantum, and more general no-signaling correlations. In this work, we develop this perspective by connecting the Bell-locality framework to several complementary mathematical representations of nonlocal games and quantum strategies. We begin with local hidden-variable models, the CHSH inequality, and the role of Bell nonlocality as a device-independent witness of entanglement, and then introduce nonlocal games through the standard predicate/verifier formalism. We next examine a set of representative examples, including XOR games, the GHZ game, graph-based coloring games, the Mermin-Peres magic square game, and Hardy's paradox as a related logical manifestation of nonlocality. Building on this foundation, we compare four closely related representation frameworks: conditional-probability and correlation descriptions, Bell-functional formulations, entangled-value optimization, and the quantum-operator approach together with the Navascues-Pironio-Acin (NPA) hierarchy. These viewpoints are then instantiated for the CHSH, magic square, and GHZ games, showing how each representation emphasizes a different aspect of the same underlying task. Taken together, these examples show that nonlocal games can be studied simultaneously as geometric objects in correlation space, optimization problems over entangled resources, and operator-theoretic constructions. This multi-representation viewpoint clarifies the relation between Bell inequality violations, perfect quantum strategies, pseudo-telepathy, and semidefinite relaxations of quantum correlations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a multi-representation approach to nonlocal games, linking Bell locality and local hidden variable models to the standard nonlocal game formalism. It reviews examples such as XOR games, the GHZ game, graph coloring games, the magic square game, and Hardy's paradox. It then compares four frameworks—conditional-probability/correlation descriptions, Bell-functional formulations, entangled-value optimization, and quantum-operator constructions with the NPA hierarchy—and applies them to the CHSH, magic square, and GHZ games to show how they emphasize different aspects of the same tasks, ultimately arguing that this clarifies relations among Bell violations, perfect strategies, pseudo-telepathy, and SDP relaxations.

Significance. The paper's value lies in its potential to unify disparate mathematical perspectives on nonlocal games. If the instantiations reveal complementary insights that are not merely restatements, it could help researchers navigate the literature on quantum strategies and correlation polytopes. However, the significance is modest because the games and frameworks are standard, and no new theorems or quantitative results are claimed.

major comments (2)
  1. [Abstract] Abstract: The assertion that the examples 'show that nonlocal games can be studied simultaneously as geometric objects... and operator-theoretic constructions' and that this 'clarifies the relation' requires explicit identification of at least one novel connection or insight that emerges uniquely from the multi-representation exercise, as opposed to known properties of each framework separately.
  2. [Instantiations for the CHSH, magic square, and GHZ games] Instantiations for the CHSH, magic square, and GHZ games: For the magic square game, the paper should specify how the quantum-operator approach and NPA hierarchy provide a different perspective on the perfect quantum strategy compared to the Bell-functional formulation, to substantiate the claim of clarification rather than parallel exposition.
minor comments (2)
  1. The introduction of the four frameworks could benefit from a table summarizing their key features, advantages, and limitations for quick reference.
  2. Ensure consistent use of terminology, such as 'pseudo-telepathy' versus 'perfect quantum strategies', throughout the text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We have revised the manuscript to address the major comments by making the claimed clarifications more explicit in the abstract and the magic square section.

read point-by-point responses

  1. Referee: [Abstract] The assertion that the examples 'show that nonlocal games can be studied simultaneously as geometric objects... and operator-theoretic constructions' and that this 'clarifies the relation' requires explicit identification of at least one novel connection or insight that emerges uniquely from the multi-representation exercise, as opposed to known properties of each framework separately.

    Authors: We agree that the abstract should identify a concrete insight arising from the joint use of representations. In the revised version we have added an explicit statement that the multi-representation exercise reveals a direct correspondence between the geometry of the quantum correlation set (viewed via Bell functionals) and the feasibility of the NPA moment matrix at low levels (viewed via operator constructions). This correspondence is not merely a restatement of each framework but emerges when both are applied to the same game, as illustrated by the CHSH example where the Tsirelson bound is recovered equivalently as the optimum of the Bell functional and as the value of the level-1 NPA SDP. revision: yes

  2. Referee: [Instantiations for the CHSH, magic square, and GHZ games] For the magic square game, the paper should specify how the quantum-operator approach and NPA hierarchy provide a different perspective on the perfect quantum strategy compared to the Bell-functional formulation, to substantiate the claim of clarification rather than parallel exposition.

    Authors: We accept this point and have expanded the magic-square instantiation. The revised text now states that the Bell-functional formulation characterizes the perfect strategy by the existence of a linear functional attaining value 1 subject to the no-signaling and positivity constraints, whereas the quantum-operator approach supplies an explicit algebraic realization via a set of commuting Pauli operators whose joint eigenvalues satisfy the winning conditions of the game. The NPA hierarchy then certifies this strategy by exhibiting a positive-semidefinite moment matrix at level 1 that reproduces the functional value 1. This operator-level construction makes the pseudo-telepathic nature of the strategy manifest through concrete commutation relations, supplying a constructive perspective that is complementary to the purely bounding viewpoint of the Bell functional. revision: yes

Circularity Check

0 steps flagged

No circularity: expository synthesis of standard frameworks on classic games

full rationale

The paper is a review that connects existing formalisms (local hidden-variable models, Bell inequalities, nonlocal games, conditional-probability descriptions, Bell functionals, entangled-value optimization, and the NPA hierarchy) by re-instantiating them on well-known examples (CHSH, GHZ, magic square). The abstract and structure present no new derivations, predictions, or first-principles results; the claimed clarification arises from side-by-side comparison rather than any equation or theorem that reduces to its own inputs by construction. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear. This is self-contained exposition against external benchmarks in the literature.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This is a review paper; it introduces no new free parameters, axioms, or invented entities beyond those already standard in the cited quantum information literature.

pith-pipeline@v0.9.0 · 5573 in / 1006 out tokens · 30451 ms · 2026-05-10T16:48:38.811783+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    Quantum pseudo-telepathy.Foun- dations of Physics, 35(11):1877–1907, 2005

    Gilles Brassard, Anne Broadbent, and Alain Tapp. Quantum pseudo-telepathy.Foun- dations of Physics, 35(11):1877–1907, 2005

    work page 1907

  2. [2]

    Bell nonlocality.Reviews of Modern Physics, 86:419–478, 2014

    Nicolas Brunner, Daniel Cavalcanti, Stefano Pironio, Valerio Scarani, and Stephanie Wehner. Bell nonlocality.Reviews of Modern Physics, 86:419–478, 2014

    work page 2014

  3. [3]

    Cameron, Ashley Montanaro, Michael W

    Peter J. Cameron, Ashley Montanaro, Michael W. Newman, Simone Severini, and An- dreas Winter. On the quantum chromatic number of a graph.The Electronic Journal of Combinatorics, 14(1):R81, 2007

    work page 2007

  4. [4]

    Clauser, Michael A

    John F. Clauser, Michael A. Horne, Abner Shimony, and Richard A. Holt. Proposed experiment to test local hidden-variable theories.Physical Review Letters, 23:880–884, 1969

    work page 1969

  5. [5]

    Consequences and limits of nonlocal strategies

    Richard Cleve, Peter Høyer, Ben Toner, and John Watrous. Consequences and limits of nonlocal strategies. InProceedings of the 19th IEEE Annual Conference on Compu- tational Complexity (CCC 2004), pages 236–249, 2004

    work page 2004

  6. [6]

    Nonlocality for two particles without inequalities for almost all entangled states.Physical Review Letters, 71(11):1665–1668, 1993

    Lucien Hardy. Nonlocality for two particles without inequalities for almost all entangled states.Physical Review Letters, 71(11):1665–1668, 1993

    work page 1993

  7. [7]

    David Mermin

    N. David Mermin. Simple unified form for the major no-hidden-variables theorems. Physical Review Letters, 65:3373–3376, 1990

    work page 1990

  8. [8]

    A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations.New Journal of Physics, 10:073013, 2008

    Miguel Navascués, Stefano Pironio, and Antonio Acín. A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations.New Journal of Physics, 10:073013, 2008

    work page 2008

  9. [9]

    Incompatible results of quantum measurements.Physics Letters A, 151(3– 4):107–108, 1990

    Asher Peres. Incompatible results of quantum measurements.Physics Letters A, 151(3– 4):107–108, 1990. 25

    work page 1990