{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T07:26:19Z","timestamp":1775201179839,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T00:00:00Z","timestamp":1690156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"the National Natural Science Foundation of China","award":["12071467"],"award-info":[{"award-number":["12071467"]}]},{"name":"the National Key Research Project of China","award":["2018YFA0306702"],"award-info":[{"award-number":["2018YFA0306702"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,24]]},"DOI":"10.1145\/3597066.3597067","type":"proceedings-article","created":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T18:15:27Z","timestamp":1688580927000},"page":"545-554","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Characterization of Perfect Strategies for Mirror Games"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4261-5591","authenticated-orcid":false,"given":"Sizhuo","family":"Yan","sequence":"first","affiliation":[{"name":"University of Chinese Academy of Sciences, Key Lab of Mathematics Mechanization, AMSS, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2357-2114","authenticated-orcid":false,"given":"Jianting","family":"Yang","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences, Key Lab of Mathematics Mechanization, AMSS, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-2498-3346","authenticated-orcid":false,"given":"Tianshi","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences, Key Lab of Mathematics Mechanization, AMSS, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9973-2217","authenticated-orcid":false,"given":"Lihong","family":"Zhi","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences, Key Lab of Mathematics Mechanization, AMSS, China"}]}],"member":"320","published-online":{"date-parts":[[2023,7,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195"},{"key":"e_1_3_2_1_2_1","volume-title":"Annales Henri Poincar\u00e9","author":"Bene\u00a0Watts Adam","unstructured":"Adam Bene\u00a0Watts, J\u00a0William Helton, and Igor Klep. 2023. Noncommutative Nullstellens\u00e4tze and Perfect Games. In Annales Henri Poincar\u00e9. Springer, 1\u201357."},{"key":"e_1_3_2_1_3_1","volume-title":"Optimization of polynomials in non-commuting variables","author":"Burgdorf Sabine","unstructured":"Sabine Burgdorf, Igor Klep, and Janez Povh. 2016. Optimization of polynomials in non-commuting variables. Springer Cham."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.13001\/1081-3810.2901"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2013.05.012"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/pds060"},{"key":"e_1_3_2_1_7_1","volume-title":"Proposed experiment to test local hidden-variable theories. Physical review letters 23, 15","author":"Clauser F","year":"1969","unstructured":"John\u00a0F Clauser, Michael\u00a0A Horne, Abner Shimony, and Richard\u00a0A Holt. 1969. Proposed experiment to test local hidden-variable theories. Physical review letters 23, 15 (1969), 880."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009378.1009560"},{"key":"e_1_3_2_1_9_1","volume-title":"An inherently infinite-dimensional quantum correlation. Nature communications 11, 1","author":"Coladangelo Andrea","year":"2020","unstructured":"Andrea Coladangelo and Jalex Stark. 2020. An inherently infinite-dimensional quantum correlation. Nature communications 11, 1 (2020), 1\u20136."},{"key":"e_1_3_2_1_10_1","volume-title":"II\u221e, III\u03bb, \u03bb \u2260 1. Annals of Mathematics","author":"Connes Alain","year":"1976","unstructured":"Alain Connes. 1976. Classification of injective factors Cases II1, II\u221e, III\u03bb, \u03bb \u2260 1. Annals of Mathematics (1976), 73\u2013115."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.2008.26"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00220-019-03301-1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129055X12500122"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1216\/RMJ-2014-44-3-913"},{"key":"e_1_3_2_1_15_1","volume-title":"Curious properties of free hypergraph C*-algebras. Journal of Operator Theory","author":"Fritz Tobias","year":"2018","unstructured":"Tobias Fritz. 2018. Curious properties of free hypergraph C*-algebras. Journal of Operator Theory (2018)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1090\/bull\/1768"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/3597203"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-04-03433-6"},{"key":"e_1_3_2_1_19_1","first-page":"328","article-title":"Algebras, synchronous games, and chromatic numbers of graphs","volume":"25","author":"Helton J\u00a0William","year":"2019","unstructured":"J\u00a0William Helton, Kyle\u00a0P Meyer, Vern\u00a0I Paulsen, and Matthew Satriano. 2019. Algebras, synchronous games, and chromatic numbers of graphs. New York J. Math 25 (2019), 328\u2013361.","journal-title":"New York J. Math"},{"key":"e_1_3_2_1_20_1","volume-title":"arXiv e-prints, page. arXiv preprint arXiv:2001.04383","author":"Ji Zhengfeng","year":"2020","unstructured":"Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen. 2020. MIP*= RE. arXiv e-prints, page. arXiv preprint arXiv:2001.04383 (2020)."},{"key":"e_1_3_2_1_21_1","volume-title":"Fundamentals of the Theory of Operator Algebras","author":"Kadison V","year":"1983","unstructured":"Richard\u00a0V Kadison and John\u00a0R Ringrose. 1983. Fundamentals of the Theory of Operator Algebras. Vol. I, vol. 100 of. Pure and Applied Mathematics (1983)."},{"key":"e_1_3_2_1_22_1","volume-title":"On non-semisplit extensions, tensor products and exactness of group C*-algebras. Inventiones mathematicae 112, 1","author":"Kirchberg Eberhard","year":"1993","unstructured":"Eberhard Kirchberg. 1993. On non-semisplit extensions, tensor products and exactness of group C*-algebras. Inventiones mathematicae 112, 1 (1993), 449\u2013489."},{"key":"e_1_3_2_1_23_1","volume-title":"Annales Henri Poincar\u00e9, Vol.\u00a023","author":"Klep Igor","unstructured":"Igor Klep, Victor Magron, and Jurij Vol\u010di\u010d. 2022. Optimization over trace polynomials. In Annales Henri Poincar\u00e9, Vol.\u00a023. Springer, 67\u2013100."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-015-0308-1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2007.09.016"},{"key":"e_1_3_2_1_26_1","unstructured":"Viktor Levandovskyy. 2005. Non-commutative Computer Algebra for polynomial algebras: Gr\u00f6bner bases applications and implementation. Ph.D. Dissertation. Technische Universit\u00e4t Kaiserslautern."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11040-020-9331-7"},{"key":"e_1_3_2_1_28_1","volume-title":"String rewriting and Gr\u00f6bner bases\u2014a general approach to monoid and group rings","author":"Madlener Klaus","unstructured":"Klaus Madlener and Birgit Reinert. 1998. String rewriting and Gr\u00f6bner bases\u2014a general approach to monoid and group rings. Springer."},{"key":"e_1_3_2_1_29_1","volume-title":"Factorization of operator-valued polynomials in several non-commuting variables. Linear Algebra and Its Applications 326 (03","author":"McCullough Scott","year":"2001","unstructured":"Scott McCullough. 2001. Factorization of operator-valued polynomials in several non-commuting variables. Linear Algebra and Its Applications 326 (03 2001), 193\u2013203. Issue 1-3."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16776-5_740"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90283-6"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/10\/7\/073013"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11537-013-1280-5"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4938052"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfa.2016.01.010"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1093\/qmath\/hav004"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1137\/080734042"},{"key":"e_1_3_2_1_38_1","volume-title":"Tsirelson\u2019s problem. arXiv preprint arXiv:0812.4305","author":"Scholz B","year":"2008","unstructured":"Volkher\u00a0B Scholz and Reinhard\u00a0F Werner. 2008. Tsirelson\u2019s problem. arXiv preprint arXiv:0812.4305 (2008)."},{"key":"e_1_3_2_1_39_1","volume-title":"Forum of Mathematics, Pi, Vol.\u00a07","author":"Slofstra William","unstructured":"William Slofstra. 2019. The set of quantum correlations is not closed. In Forum of Mathematics, Pi, Vol.\u00a07. Cambridge University Press."},{"key":"e_1_3_2_1_40_1","unstructured":"BS Tsirelson. 2006. Bell inequalities and operator algebras problem statement for website of open problems at TU Braunschweig. (2006)."},{"key":"e_1_3_2_1_41_1","series-title":"SIAM review 38, 1","volume-title":"Semidefinite programming","author":"Vandenberghe Lieven","year":"1996","unstructured":"Lieven Vandenberghe and Stephen Boyd. 1996. Semidefinite programming. SIAM review 38, 1 (1996), 49\u201395."},{"key":"e_1_3_2_1_42_1","volume-title":"3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time. arXiv preprint arXiv:2010.16290","author":"Watts Adam\u00a0Bene","year":"2020","unstructured":"Adam\u00a0Bene Watts and J\u00a0William Helton. 2020. 3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time. arXiv preprint arXiv:2010.16290 (2020)."},{"key":"e_1_3_2_1_43_1","unstructured":"Xingqiang Xiu. 2012. Non-commutative Gr\u00f6bner bases and applications. Ph.D. Dissertation. Universit\u00e4t Passau."}],"event":{"name":"ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023","location":"Troms\u00f8 Norway","acronym":"ISSAC 2023"},"container-title":["Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597066.3597067","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597066.3597067","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T09:37:00Z","timestamp":1755855420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597066.3597067"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,24]]},"references-count":43,"alternative-id":["10.1145\/3597066.3597067","10.1145\/3597066"],"URL":"https:\/\/doi.org\/10.1145\/3597066.3597067","relation":{},"subject":[],"published":{"date-parts":[[2023,7,24]]},"assertion":[{"value":"2023-07-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}