Atserias, A., Mančinska, L., Roberson, D.E., Šámal, R., Severini, S., Varvitsiotis, A.: Quantum and non-signalling isomorphisms. Ser. B J. Comb. Theory 136, 289–328 (2019)

Article  MathSciNet  Google Scholar 

Bart, H., Ehrhardt, T., Silbermann, B.: Zero sums of idempotents in Banach algebras. Int. Equ. Oper. Theory 19, 125–134 (1994)

Article  MathSciNet  Google Scholar 

Brannan, M., Chirvasitu, A., Eifler, K., Harris, S.J., Paulsen, V.I., Su, X., Wasilewski, M.: Bigalois extensions and the graph isomorphism game. Commun. Math. Phys. 375, 1777–1809 (2020)

Article  ADS  MathSciNet  Google Scholar 

Brown, N.: Topological dynamical systems associated to II1-factors. Adv. Math. 227, 1665–1699 (2011)

Article  MathSciNet  Google Scholar 

Brown, N., Ozawa, N.: C-Algebras and Finite-Dimensional Approximations. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI (2008)

Google Scholar 

Clauser, J.F., Horne, M.A., Shimony, A., Holt, R.A.: Proposed experiment to test local hidden-variable theories. Phys. Rev. Lett. 23(15), 880–884 (1969)

Article  ADS  Google Scholar 

Connes, A.: Classification of injective factors cases \(II_1\), \(II_\), \(III_\), \(\lambda \ne 1\). Ann. Math. (2) 104(1), 73–115 (1976)

Article  MathSciNet  Google Scholar 

Fritz, T.: Tsirelson’s problem and Kirchberg’s conjecture. Rev. Math. Phys. 24(5), 1250012 (2012)

Article  MathSciNet  Google Scholar 

Fritz, T.: Curious properties of free hypergraph C.-algebras. J. Oper. Theory 83(2), 423–445 (2020)

Frei, A.: The quantum commuting model (Ia): the CHSH game and other examples: uniquenss of optimal states, preprint (2022) arXiv:2210.03716 [quant-ph]

Goldberg, A.: Synchronous linear constraint system games. J. Math. Phys. 62, 032201 (2021)

Article  ADS  MathSciNet  Google Scholar 

Goldwasser, S., Micali, S., Rackoff, C.: On the composition of zero-knowledge proof systems. SIAM J. Comput. 25(1), 169–192 (1996)

Article  MathSciNet  Google Scholar 

Grilo, A.B., Slofstra, W., Yuen, H.: Perfect zero knowledge for quantum multiprover interactive proofs, preprint (2019) arXiv:1905.11280 [quant-ph])

Harris, S.J.: Synchronous games with *-isomorphic game algebras. Quant. Inf. Comput. 22(11 &12), 924–946 (2022)

MathSciNet  Google Scholar 

Helton, J.W., Meyer, K.P., Paulsen, V.I., Satriano, M.: Algebras, synchronous games, and chromatic numbers of graphs. N.Y. J. Math. 25, 328–361 (2019)

MathSciNet  Google Scholar 

Ji, Z.: Binary constraint system games and locally commutative reductions, preprint (2013). arXiv:1310.3794 [quant-ph]

Ji, Z., Natarajan, A., Vidick, T., Wright, J., Yuen, H.: MIP\(^\ast \) = RE, preprint (2020). arXiv:2001.04383 [mathph]

Junge, M., Navascues, M., Palazuelos, C., Perez-Garcia, D., Scholz, V.B., Werner, R.F.: Connes’ embedding problem and Tsirelson’s problem. J. Math. Phys. 52, 012102 (2011)

Article  ADS  MathSciNet  Google Scholar 

Kim, S.-J., Paulsen, V.I., Schafhauser, C.: A synchronous game for binary constraint systems. J. Math. Phys. 59(3), 032201 (2018)

Article  ADS  MathSciNet  Google Scholar 

Kříž, I., Thomas, R.: Clique-sums, tree-decompositions and compactness. Discrete Math. 81(2), 177–185 (1990)

Article  MathSciNet  Google Scholar 

Lovász, L.: Coverings and coloring of hypergraphs. In: Proceedings of the Fourth Southeastern Conference on Combinatorics, Graph Theory, and Computing, pp. 3–12 (1973)

Lupini, M., Mančinskaa, L., Roberson, D.E.: Nonlocal games and quantum permutation groups. J. Funct. Anal. 279(5), 108592 (2020)

Article  MathSciNet  Google Scholar 

Mančinska, L., Roberson, D.E.: Oddities of quantum colorings. Baltic J. Modern Comput. 4(4), 846–859 (2016)

Article  Google Scholar 

Mermin, N.D.: Simple unified form for the major no-hidden-variables theorems. Phys. Rev. Lett. 65, 3373–3376 (1990)

Article  ADS  MathSciNet  Google Scholar 

Mančinska, L., Roberson, D.E.: Graph homomorphisms for quantum players. J. Combin. Theory 118, 228–267 (2016)

Article  Google Scholar 

Ozawa, N.: About the Connes embedding conjecture-algebraic approaches. Jpn. J. Math. 8, 147–183 (2013)

Article  MathSciNet  Google Scholar 

Paddock, C., Slofstra, W.: Satisfiability problems and algebras of boolean constraint system games, preprint (2023). arXiv:2310.07901

Paulsen, V.I., Rahaman, M.: Bisynchronous games and factorizable maps. Ann. Henri Poincaré 22, 593–614 (2021)

Article  ADS  MathSciNet  Google Scholar 

Paulsen, V.I., Severini, S., Stahlke, D., Todorov, I.G., Winter, A.: Estimating quantum chromatic numbers. J. Funct. Anal. 270(6), 2188–2222 (2016)

Article  MathSciNet  Google Scholar 

Tsirelson, B.S.: Some results and problems on quantum Bell-type inequalities. Hadron. J. Supp. 8(4), 329–345 (1993)

MathSciNet  Google Scholar 

Samoĭlenko, Y., Turowska, L.: On bounded and unbounded idempotents whose sum is a multiple of the identity. Methods Funct. Anal. Topol. 8(1), 79100 (2002)

MathSciNet  Google Scholar 

Slofstra, W.: The set of quantum correlations is not closed. Forum Math. Pi 7, e1 (2019)

Article  MathSciNet  Google Scholar 

Slofstra, W.: Tsirelson’s problem and an embedding theorem for groups arising from non-local games. J. Am. Math. Soc. 33, 1–56 (2020)

Article  MathSciNet  Google Scholar