{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:35:08Z","timestamp":1762324508534,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T00:00:00Z","timestamp":1561248000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Singapore?s Ministry of Education and National Research Foundation"},{"name":"US Air Force","award":["FA9550-16-1-0495"],"award-info":[{"award-number":["FA9550-16-1-0495"]}]},{"name":"NSF Physics Frontiers Center","award":["NSF Grant PHY-1125565"],"award-info":[{"award-number":["NSF Grant PHY-1125565"]}]},{"name":"US Air Force Office of Scientific Researc","award":["FA2386-15-1-4082"],"award-info":[{"award-number":["FA2386-15-1-4082"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["NSF CAREER Grant CCF-1553477"],"award-info":[{"award-number":["NSF CAREER Grant CCF-1553477"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Gordon and Betty Moore Foundation","award":["GBMF-12500028"],"award-info":[{"award-number":["GBMF-12500028"]}]},{"name":"Singapore National Research Foundation","award":["NRF-NRFF2013-01"],"award-info":[{"award-number":["NRF-NRFF2013-01"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,23]]},"DOI":"10.1145\/3313276.3316343","type":"proceedings-article","created":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T12:19:08Z","timestamp":1561033148000},"page":"473-480","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Quantum proof systems for iterated exponential time, and beyond"],"prefix":"10.1145","author":[{"given":"Joseph","family":"Fitzsimons","sequence":"first","affiliation":[{"name":"Horizon Quantum Computing, Singapore"}]},{"given":"Zhengfeng","family":"Ji","sequence":"additional","affiliation":[{"name":"University of Technology Sydney, Australia"}]},{"given":"Thomas","family":"Vidick","sequence":"additional","affiliation":[{"name":"California Institute of Technology, USA"}]},{"given":"Henry","family":"Yuen","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]}],"member":"320","published-online":{"date-parts":[[2019,6,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/278298.278306"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/273865.273901"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01200430"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055399.3055433"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.44.10.1061"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009378.1009560"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Alain Connes. 1976. Classification of injective factors Cases I I 1 I I \u221e I I I \u03bb \u03bb 1. Annals of Mathematics (1976) 73\u2013115.  Alain Connes. 1976. Classification of injective factors Cases I I 1 I I \u221e I I I \u03bb \u03bb 1. Annals of Mathematics (1976) 73\u2013115.","DOI":"10.2307\/1971057"},{"key":"e_1_3_2_1_8_1","unstructured":"Matthew Coudron and William Slofstra. 2018. Complexity Lower Bounds for Approximating Entangled Games to High Precision. (2018).  Matthew Coudron and William Slofstra. 2018. Complexity Lower Bounds for Approximating Entangled Games to High Precision. (2018)."},{"key":"e_1_3_2_1_9_1","unstructured":"STOC \u201919 June 23\u201326 2019 Phoenix AZ USA Joseph Fitzsimons Zhengfeng Ji Thomas Vidick and Henry Yuen  STOC \u201919 June 23\u201326 2019 Phoenix AZ USA Joseph Fitzsimons Zhengfeng Ji Thomas Vidick and Henry Yuen"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Toby S Cubitt David Perez-Garcia and Michael M Wolf. 2015. Undecidability of the spectral gap. Nature 528 7581 (2015) 207.  Toby S Cubitt David Perez-Garcia and Michael M Wolf. 2015. Undecidability of the spectral gap. Nature 528 7581 (2015) 207.","DOI":"10.1038\/nature16059"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Joseph Fitzsimons Zhengfeng Ji Thomas Vidick and Henry Yuen. 2018. Quantum proof systems for iterated exponential time and beyond. arXiv preprint arXiv:1805.12166 (2018).  Joseph Fitzsimons Zhengfeng Ji Thomas Vidick and Henry Yuen. 2018. Quantum proof systems for iterated exponential time and beyond. arXiv preprint arXiv:1805.12166 (2018).","DOI":"10.1145\/3313276.3316343"},{"key":"e_1_3_2_1_12_1","unstructured":"Joseph Fitzsimons and Thomas Vidick. 2015.  Joseph Fitzsimons and Thomas Vidick. 2015."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688073.2688094"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129055X12500122"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090259"},{"key":"e_1_3_2_1_16_1","unstructured":"Tsuyoshi Ito and Thomas Vidick. 2012.  Tsuyoshi Ito and Thomas Vidick. 2012."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2012.11"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1859204.1859231"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897518.2897634"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055399.3055441"},{"key":"e_1_3_2_1_21_1","unstructured":"3055441  3055441"},{"key":"e_1_3_2_1_22_1","unstructured":"Zhengfeng Ji Debbie Leung and Thomas Vidick. 2018. A three-player coherent state embezzlement game. arXiv preprint arXiv:1802.04926 (2018).  Zhengfeng Ji Debbie Leung and Thomas Vidick. 2018. A three-player coherent state embezzlement game. arXiv preprint arXiv:1802.04926 (2018)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2016.0003"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.3514538"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1070\/IM1982v019n01ABEH001405"},{"key":"e_1_3_2_1_26_1","unstructured":"Alexei Yu Kitaev Alexander Shen and Mikhail N Vyalyi. 2002.  Alexei Yu Kitaev Alexander Shen and Mikhail N Vyalyi. 2002."},{"key":"e_1_3_2_1_27_1","unstructured":"Classical and quantum computation. Number 47. American Mathematical Soc.  Classical and quantum computation. Number 47. American Mathematical Soc."},{"key":"e_1_3_2_1_28_1","unstructured":"Anand Natarajan and Thomas Vidick. 2018.  Anand Natarajan and Thomas Vidick. 2018."},{"volume-title":"Proceedings of Foundations of Computer Science (FOCS). arXiv","year":"1801","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","volume-title":"33rd Computational Complexity Conference, CCC 2018","volume":"102","author":"Natarajan Anand","year":"2018"},{"key":"e_1_3_2_1_31_1","unstructured":"P. S. Novikov. 1955.  P. S. Novikov. 1955."},{"key":"e_1_3_2_1_32_1","unstructured":"On the algorithmic unsolvability of the word problem in group theory. Trudy Mat. Inst. Steklov. 44 (1955) 3\u2013143.  On the algorithmic unsolvability of the word problem in group theory. Trudy Mat. Inst. Steklov. 44 (1955) 3\u2013143."},{"key":"e_1_3_2_1_33_1","unstructured":"Narutaka Ozawa. 2013.  Narutaka Ozawa. 2013."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"About the Connes embedding conjecture. Japanese Journal of Mathematics 8 1 (2013) 147\u2013183.  About the Connes embedding conjecture. Japanese Journal of Mathematics 8 1 (2013) 147\u2013183.","DOI":"10.1007\/s11537-013-1280-5"},{"key":"e_1_3_2_1_35_1","unstructured":"William Slofstra. 2016. Tsirelson\u2019s problem and an embedding theorem for groups arising from non-local games. arXiv preprint arXiv:1606.03140 (2016).  William Slofstra. 2016. Tsirelson\u2019s problem and an embedding theorem for groups arising from non-local games. arXiv preprint arXiv:1606.03140 (2016)."},{"volume-title":"Forum of Mathematics, Pi","author":"Slofstra William","key":"e_1_3_2_1_36_1"}],"event":{"name":"STOC '19: 51st Annual ACM SIGACT Symposium on the Theory of Computing","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Phoenix AZ USA","acronym":"STOC '19"},"container-title":["Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313276.3316343","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313276.3316343","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313276.3316343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:32Z","timestamp":1750204472000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313276.3316343"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,23]]},"references-count":36,"alternative-id":["10.1145\/3313276.3316343","10.1145\/3313276"],"URL":"https:\/\/doi.org\/10.1145\/3313276.3316343","relation":{},"subject":[],"published":{"date-parts":[[2019,6,23]]},"assertion":[{"value":"2019-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}