Pith. sign in

REVIEW 1 cited by

The set of quantum correlations is not closed

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1703.08618 v2 pith:OK6MFGKH submitted 2017-03-24 quant-ph math-phmath.GRmath.MPmath.OA

The set of quantum correlations is not closed

classification quant-ph math-phmath.GRmath.MPmath.OA
keywords finite-dimensionalquantumgameperfectlyplayedclosedcorrelationslimit
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We construct a linear system non-local game which can be played perfectly using a limit of finite-dimensional quantum strategies, but which cannot be played perfectly on any finite-dimensional Hilbert space, or even with any tensor-product strategy. In particular, this shows that the set of (tensor-product) quantum correlations is not closed. The constructed non-local game provides another counterexample to the "middle" Tsirelson problem, with a shorter proof than our previous paper (though at the loss of the universal embedding theorem). We also show that it is undecidable to determine if a linear system game can be played perfectly with a finite-dimensional strategy, or a limit of finite-dimensional quantum strategies.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Bounding Classical and Quantum Correlations in Bayesian Networks with Quasiprobabilities

    quant-ph 2026-06 unverdicted novelty 7.0

    Quasiprobability models in Bayesian networks generalize to produce all non-signalling correlations for a broad class of networks and conjecturally recover the nested Markov model.