1: \begin{abstract}

2:     Tsirelson's problem asks whether the commuting operator model for two-party

3:     quantum correlations is equivalent to the tensor-product model. We give a

4:     negative answer to this question by showing that there are non-local games

5:     which have perfect commuting-operator strategies, but do not have perfect

6:     tensor-product strategies. The weak Tsirelson problem, which is known to

7:     be equivalent to Connes embedding problem, remains open.  

8: 

9:     The examples we construct are instances of (binary) linear system games.

10:     For such games, previous results state that the existence of perfect

11:     strategies is controlled by the \emph{solution group} of the linear system.

12:     Our main result is that every finitely-presented group embeds in some

13:     solution group. As an additional consequence, we show that the problem of

14:     determining whether a linear system game has a perfect commuting-operator

15:     strategy is undecidable.

16: \end{abstract}

17: