{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:40:52Z","timestamp":1762774852698,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2023YFA1009401"],"award-info":[{"award-number":["2023YFA1009401"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,28]]},"DOI":"10.1145\/3747199.3747541","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"8-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-2498-3346","authenticated-orcid":false,"given":"Tianshi","family":"Yu","sequence":"first","affiliation":[{"name":"State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Beijing, China and University of Chinese Academy of Sciences, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9973-2217","authenticated-orcid":false,"given":"Lihong","family":"Zhi","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Beijing, China and University of Chinese Academy of Sciences, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_3_1_2_2","DOI":"10.1090\/gsm\/054"},{"doi-asserted-by":"crossref","unstructured":"John\u00a0S Bell. 1964. On the einstein podolsky rosen paradox. Physics Physique Fizika 1 3 (1964) 195.","key":"e_1_3_3_1_3_2","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195"},{"doi-asserted-by":"crossref","unstructured":"Adam Bene\u00a0Watts and J\u00a0William Helton. 2023. 3XOR games with perfect commuting operator strategies have perfect tensor product strategies and are decidable in polynomial time. Communications in Mathematical Physics 400 2 (2023) 731\u2013791.","key":"e_1_3_3_1_4_2","DOI":"10.1007\/s00220-022-04615-3"},{"key":"e_1_3_3_1_5_2","first-page":"2183","volume-title":"Annales Henri Poincar\u00e9","author":"Bene\u00a0Watts Adam","year":"2023","unstructured":"Adam Bene\u00a0Watts, J\u00a0William Helton, and Igor Klep. 2023. Noncommutative Nullstellens\u00e4tze and Perfect Games. In Annales Henri Poincar\u00e9 , Vol.\u00a024. Springer, 2183\u20132239."},{"unstructured":"Bruno Buchberger. 1965. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph. D. Thesis Math. Inst. University of Innsbruck (1965).","key":"e_1_3_3_1_6_2"},{"doi-asserted-by":"crossref","unstructured":"Jakob Cimpri\u010d. 2009. A representation theorem for Archimedean quadratic modules on * \u2212 rings. Canad. Math. Bull. 52 1 (2009) 39\u201352.","key":"e_1_3_3_1_7_2","DOI":"10.4153\/CMB-2009-005-4"},{"doi-asserted-by":"crossref","unstructured":"Jakob Cimpri\u010d J\u00a0William Helton Igor Klep Scott McCullough and Christopher Nelson. 2014. On real one-sided ideals in a free algebra. Journal of Pure and Applied Algebra 218 2 (2014) 269\u2013284.","key":"e_1_3_3_1_8_2","DOI":"10.1016\/j.jpaa.2013.05.012"},{"doi-asserted-by":"crossref","unstructured":"Jakob Cimpri\u010d J\u00a0William Helton Scott McCullough and Christopher Nelson. 2013. A noncommutative real nullstellensatz corresponds to a noncommutative real ideal: Algorithms. Proceedings of the London Mathematical Society 106 5 (2013) 1060\u20131086.","key":"e_1_3_3_1_9_2","DOI":"10.1112\/plms\/pds060"},{"doi-asserted-by":"crossref","unstructured":"J Cimpri\u010d J Helton S McCullough and C Nelson. 2015. Real nullstellensatz and*-ideals in*-algebras. The Electronic Journal of Linear Algebra 30 (2015) 19\u201350.","key":"e_1_3_3_1_10_2","DOI":"10.13001\/1081-3810.2901"},{"doi-asserted-by":"crossref","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_3_1_11_2","DOI":"10.1103\/PhysRevLett.23.880"},{"doi-asserted-by":"publisher","key":"e_1_3_3_1_12_2","DOI":"10.1109\/CCC.2004.1313847"},{"doi-asserted-by":"crossref","unstructured":"Ken Dykema Vern\u00a0I Paulsen and Jitendra Prakash. 2019. Non-closure of the set of quantum correlations via graphs. Communications in Mathematical Physics 365 (2019) 1125\u20131142.","key":"e_1_3_3_1_13_2","DOI":"10.1007\/s00220-019-03301-1"},{"doi-asserted-by":"crossref","unstructured":"Tobias Fritz. 2012. Tsirelson\u2019s problem and Kirchberg\u2019s conjecture. Reviews in Mathematical Physics 24 05 (2012) 1250012.","key":"e_1_3_3_1_14_2","DOI":"10.1142\/S0129055X12500122"},{"doi-asserted-by":"crossref","unstructured":"J.\u00a0William Helton. 2002. \u201cPositive\" Noncommutative Polynomials Are Sums of Squares. Annals of Mathematics 156 2 (2002) 675\u2013694.","key":"e_1_3_3_1_15_2","DOI":"10.2307\/3597203"},{"doi-asserted-by":"crossref","unstructured":"J.\u00a0William Helton and Scott Mccullough. 2004. A Positivstellensatz for Non-commutative Polynomials. Trans. Amer. Math. Soc. 356 9 (01 2004) 3721\u20133737.","key":"e_1_3_3_1_16_2","DOI":"10.1090\/S0002-9947-04-03433-6"},{"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.","key":"e_1_3_3_1_17_2"},{"doi-asserted-by":"crossref","unstructured":"Martino Lupini Laura Man\u010dinska Vern\u00a0I Paulsen David\u00a0E Roberson Giannicola Scarpa Simone Severini Ivan\u00a0G Todorov and Andreas Winter. 2020. Perfect strategies for non-local games. Mathematical Physics Analysis and Geometry 23 1 (2020) 7.","key":"e_1_3_3_1_18_2","DOI":"10.1007\/s11040-020-9331-7"},{"doi-asserted-by":"publisher","key":"e_1_3_3_1_19_2","DOI":"10.1007\/3-540-16776-5_740"},{"doi-asserted-by":"crossref","unstructured":"Miguel Navascu\u00e9s Stefano Pironio and Antonio Ac\u00edn. 2008. A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations. New Journal of Physics 10 7 (2008) 073013.","key":"e_1_3_3_1_20_2","DOI":"10.1088\/1367-2630\/10\/7\/073013"},{"doi-asserted-by":"crossref","unstructured":"Tim Netzer and Andreas Thom. 2013. Real closed separation theorems and applications to group algebras. Pacific J. Math. 263 2 (2013) 435\u2013452.","key":"e_1_3_3_1_21_2","DOI":"10.2140\/pjm.2013.263.435"},{"doi-asserted-by":"crossref","unstructured":"Carlos Palazuelos and Thomas Vidick. 2016. Survey on nonlocal games and operator space theory. J. Math. Phys. 57 1 (2016) 015220.","key":"e_1_3_3_1_22_2","DOI":"10.1063\/1.4938052"},{"doi-asserted-by":"publisher","key":"e_1_3_3_1_23_2","DOI":"10.1017\/fmp.2018.3"},{"doi-asserted-by":"crossref","unstructured":"Lieven Vandenberghe and Stephen Boyd. 1996. Semidefinite programming. SIAM review 38 1 (1996) 49\u201395.","key":"e_1_3_3_1_24_2","DOI":"10.1137\/1038003"},{"doi-asserted-by":"publisher","key":"e_1_3_3_1_25_2","DOI":"10.1145\/3597066.3597067"}],"event":{"sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC '25","name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","location":"Guanajuato Mexico"},"container-title":["Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3747199.3747541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:39:12Z","timestamp":1762774752000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747541"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":24,"alternative-id":["10.1145\/3747199.3747541","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747541","relation":{},"subject":[],"published":{"date-parts":[[2025,7,28]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}