Abstract
We express various sets of quantum correlations studied in the theoretical physics literature in terms of different tensor products of operator systems of discrete groups. We thus recover earlier results of Tsirelson and formulate a new approach for the study of quantum correlations. To do this we formulate a general framework for the study of operator systems arising from discrete groups. We study in detail the operator system of the free group \({\mathbb{F}_n}\) on n generators, as well as the operator systems of the free products of finitely many copies of the two-element group \({\mathbb{Z}_2}\). We examine various tensor products of group operator systems, including the minimal, the maximal, and the commuting tensor products. We introduce a new tensor product in the category of operator systems and formulate necessary and sufficient conditions for its equality to the commuting tensor product in the case of group operator systems.
Similar content being viewed by others
References
Ando T.: Structure of operators with numerical radius one. Acta Sci. Math. (Szeged) 34, 11–15 (1973)
Arveson W.: Subalgebras of C*-algebras.II. Acta Math. 128(3–4), 271–308 (1972)
Barrett, J., Linden, N., Massar, S., Pironio, S., Popescu, S., Roberts, D.: Non-local correlations as an information theoretic resource. Phys. Rev. A 71, 022101 (2005) (11 pages)
Choi M.D., Effros E.G.: Injectivity and operator spaces. J. Funct. Anal. 24(2), 156–209 (1977)
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)
Farenick D., Kavruk A.S., Paulsen V.I.: C*-algebras with the weak expectation property and a multivariable analogue of Ando’s theorem on the numerical radius. J. Oper. Theory 70(2), 573–590 (2013)
Farenick, D., Kavruk, A.S., Paulsen, V.I., Todorov, I.G.: Characterisations of the weak expectation property, N. Y. J. Math. (to appear)
Farenick D., Paulsen V.I.: Operator system quotients of matrix algebras and their tensor products. Math. Scand. 111, 210–243 (2012)
Fritz, T.: Polyhedral duality in Bell scenarios with two binary observables. J. Math. Phys. 53(7), 072202 (2012)
Hamana M.: Injective envelopes of operator systems. Publ. Res. Inst. Math. Sci. 15(3), 773–785 (1979)
Junge, M., Navascues, M., Palazuelos, C., Perez-Garcia, D., Scholz, V., Werner, R.F.: Connes’ embedding problem and Tsirelson’s problem J. Math. Phys. 52, 012102 (2011) (12 pages)
Kavruk, A.S.: Nuclearity related properties in operator systems. J. Oper. Theory (to appear)
Kavruk, A.S. The weak expectation property and Riesz interpolation. Preprint (arXiv:1201.5414) (2012)
Kavruk A.S., Paulsen V.I., Todorov I.G., Tomforde M.: Quotients, exactness and nuclearity in the operator system category. Adv. Math. 235, 321–360 (2013)
Kavruk A.S., Paulsen V.I., Todorov I.G., Tomforde M.: Tensor products of operator systems. J. Funct. Anal. 261(2), 267–299 (2011)
Kirchberg E.: On nonsemisplit extensions, tensor products and exactness of group C*-algebras. Invent. Math. 112(3), 449–489 (1993)
Kirchberg E., Wassermann S.: C*-algebras generated by operator systems. J. Funct. Anal. 155(2), 324–351 (1998)
Paulsen V.: Completely Bounded Maps and Operator Algebras, vol. 78 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2002)
Paulsen V.I., Todorov I.G., Tomforde M.: Operator system structures on ordered spaces. Proc. Lond. Math. Soc. 102(1), 25–49 (2011)
Scholz, V.B., Werner, R.F.: Tsirelson’s problem. arXiv:0812.4305v1
Tsirelson B.S.: Quantum generalizations of Bell’s inequality. Lett. Math. Phys. 4(2), 93–100 (1980)
Tsirelson B.S.: Some results and problems on quantum Bell-type inequalities. Hadron. J. Suppl. 8(4), 329–345 (1993)
Walter M.E.: Algebraic structures determined by 3 by 3 matrix geometry. Proc. Am. Math. Soc. 131(7), 2129–2131 (2003)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Winter
This work supported in part by NSERC (Canada), NSF (USA), and the Royal Society (UK).
Rights and permissions
About this article
Cite this article
Farenick, D., Kavruk, A.S., Paulsen, V.I. et al. Operator Systems from Discrete Groups. Commun. Math. Phys. 329, 207–238 (2014). https://doi.org/10.1007/s00220-014-2037-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-014-2037-6