{"id":"https://openalex.org/W2952170582","doi":"https://doi.org/10.1137/17m1160173","title":"Generalized Quantum Arthur--Merlin Games","display_name":"Generalized Quantum Arthur--Merlin Games","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2952170582","doi":"https://doi.org/10.1137/17m1160173","mag":"2952170582"},"language":"en","primary_location":{"id":"doi:10.1137/17m1160173","is_oa":false,"landing_page_url":"https://doi.org/10.1137/17m1160173","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1312.4673","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Hirotada Kobayashi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hirotada Kobayashi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Fran\u00e7ois Le Gall","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fran\u00e7ois Le Gall","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Harumichi Nishimura","orcid":"https://orcid.org/0000-0002-2219-3320"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Harumichi Nishimura","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2219-3320","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1446,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.56758681,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"48","issue":"3","first_page":"865","last_page":"902"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.675000011920929,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.675000011920929,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.11159999668598175,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.06880000233650208,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5705000162124634},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5598000288009644},{"id":"https://openalex.org/keywords/quantum-complexity-theory","display_name":"Quantum complexity theory","score":0.555400013923645},{"id":"https://openalex.org/keywords/quantum-pseudo-telepathy","display_name":"Quantum pseudo-telepathy","score":0.5232999920845032},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.48660001158714294},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4855000078678131},{"id":"https://openalex.org/keywords/quantum-capacity","display_name":"Quantum capacity","score":0.4424999952316284},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.43320000171661377},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.4099000096321106}],"concepts":[{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5705000162124634},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5598000288009644},{"id":"https://openalex.org/C92043244","wikidata":"https://www.wikidata.org/wiki/Q7269023","display_name":"Quantum complexity theory","level":4,"score":0.555400013923645},{"id":"https://openalex.org/C147323434","wikidata":"https://www.wikidata.org/wiki/Q7269086","display_name":"Quantum pseudo-telepathy","level":5,"score":0.5232999920845032},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.48660001158714294},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4855000078678131},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.45010000467300415},{"id":"https://openalex.org/C41241483","wikidata":"https://www.wikidata.org/wiki/Q7269015","display_name":"Quantum capacity","level":5,"score":0.4424999952316284},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43549999594688416},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.43320000171661377},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4180999994277954},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.4099000096321106},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.40869998931884766},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.3959999978542328},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.391400009393692},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.37880000472068787},{"id":"https://openalex.org/C5320026","wikidata":"https://www.wikidata.org/wiki/Q2122216","display_name":"Quantum information science","level":4,"score":0.33169999718666077},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.3294000029563904},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.3255999982357025},{"id":"https://openalex.org/C62641251","wikidata":"https://www.wikidata.org/wiki/Q7269097","display_name":"Quantum sort","level":5,"score":0.30880001187324524},{"id":"https://openalex.org/C187486625","wikidata":"https://www.wikidata.org/wiki/Q2122176","display_name":"Quantum channel","level":4,"score":0.29989999532699585},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.29980000853538513},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2955999970436096},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2842000126838684},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.2581000030040741},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.25769999623298645},{"id":"https://openalex.org/C140058369","wikidata":"https://www.wikidata.org/wiki/Q7269113","display_name":"Quantum walk","level":4,"score":0.2572999894618988}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/17m1160173","is_oa":false,"landing_page_url":"https://doi.org/10.1137/17m1160173","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1312.4673","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1312.4673","pdf_url":"https://arxiv.org/pdf/1312.4673","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1312.4673","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1312.4673","pdf_url":"https://arxiv.org/pdf/1312.4673","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1561739405","display_name":null,"funder_award_id":"24240001","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2316223680","display_name":null,"funder_award_id":"21244007","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2404821911","display_name":null,"funder_award_id":"24106009","funder_id":"https://openalex.org/F4320320912","funder_display_name":"Ministry of Education, Culture, Sports, Science and Technology"},{"id":"https://openalex.org/G5556583326","display_name":null,"funder_award_id":"25330012","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6970550905","display_name":null,"funder_award_id":"23246071","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320320912","display_name":"Ministry of Education, Culture, Sports, Science and Technology","ror":"https://ror.org/048rj2z13"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W85480495","https://openalex.org/W389490173","https://openalex.org/W1546090284","https://openalex.org/W1602878499","https://openalex.org/W1621050367","https://openalex.org/W1828812675","https://openalex.org/W1903246862","https://openalex.org/W1970606468","https://openalex.org/W1989051052","https://openalex.org/W1999502904","https://openalex.org/W2019851160","https://openalex.org/W2027440986","https://openalex.org/W2028406173","https://openalex.org/W2032626654","https://openalex.org/W2036095420","https://openalex.org/W2070767505","https://openalex.org/W2073946873","https://openalex.org/W2082647621","https://openalex.org/W2096390054","https://openalex.org/W2100827027","https://openalex.org/W2148957455","https://openalex.org/W2159566537","https://openalex.org/W2167346196","https://openalex.org/W2255673366","https://openalex.org/W2266502407","https://openalex.org/W2293988196","https://openalex.org/W2295995314","https://openalex.org/W2610452584"],"related_works":[],"abstract_inverted_index":{"This":[0,79,147,195],"paper":[1,171],"investigates":[2],"the":[3,21,25,28,35,38,50,53,60,77,104,116,141,156,181,200,204,208,234,237,256,265,284,302],"role":[4,266],"of":[5,45,71,88,97,115,134,136,143,155,183,203,210,240,249,267,286,304,312,321,324],"interaction":[6,138],"and":[7,217,269],"coins":[8],"in":[9,34,123,225,272],"quantum":[10,16,36,46,57,89,110,120,153,186,215,251,270,273,290,308,322],"Arthur--Merlin":[11,47,111,274,291,309],"games":[12,48,112],"(also":[13],"called":[14],"public-coin":[15],"interactive":[17,90,252],"proof":[18,91,145,253,292,310],"systems).":[19],"While":[20],"existing":[22],"model":[23],"restricts":[24],"messages":[26,51,118],"from":[27,52],"verifier":[29,54,61],"to":[30,83,108,140,163,190,214,262,297,301],"be":[31,56,149],"classical":[32,137,268],"even":[33],"setting,":[37],"present":[39],"work":[40],"introduces":[41],"a":[42,94,131,152,173,184,191,222,313,318],"generalized":[43],"version":[44],"where":[49,113],"can":[55,62,148],"as":[58,151],"well:":[59],"send":[63],"not":[64,127],"only":[65],"random":[66],"bits,":[67],"but":[68],"also":[69],"halves":[70],"EPR":[72],"pairs":[73],"(to":[74],"share":[75],"with":[76,93],"prover).":[78],"generalization":[80],"turns":[81,135],"out":[82],"provide":[84,221],"several":[85],"novel":[86],"characterizations":[87],"systems":[92,293,311],"constant":[95,132,282],"number":[96,133],"turns.":[98],"First,":[99],"it":[100,276],"is":[101,188,198,230,260,277,294],"proved":[102,232,278],"that":[103,233],"complexity":[105,227],"class":[106,235,285,303],"corresponding":[107],"two-turn":[109,250,307],"both":[114],"two":[117],"are":[119],"(denoted":[121],"qq-QAM":[122,144,219],"this":[124,167,170],"paper)":[125],"does":[126],"change":[128],"by":[129],"adding":[130],"prior":[139],"communications":[142],"systems.":[146,254],"viewed":[150],"analogue":[154],"celebrated":[157],"collapse":[158,168,257,326],"theorem":[159,258],"for":[160,177,245,280],"AM":[161],"due":[162],"Babai.":[164],"To":[165],"prove":[166],"theorem,":[169],"presents":[172],"natural":[174],"complete":[175,196,319],"problem":[176,197],"qq-QAM:":[178],"deciding":[179],"whether":[180],"output":[182],"given":[185],"circuit":[187],"close":[189],"totally":[192],"mixed":[193],"state.":[194],"on":[199],"very":[201],"line":[202],"previous":[205],"studies":[206],"investigating":[207],"hardness":[209],"checking":[211],"properties":[212],"related":[213],"circuits,":[216],"thus":[218],"may":[220],"good":[223],"measure":[224],"computational":[226],"theory.":[228],"It":[229],"further":[231],"${qq-QAM}_1$,":[236],"perfect-completeness":[238],"variant":[239],"qq-QAM,":[241],"gives":[242],"new":[243],"bounds":[244],"standard":[246],"well-studied":[247],"classes":[248],"Finally,":[255],"above":[259],"extended":[261],"comprehensively":[263],"classify":[264],"interactions":[271],"games:":[275],"that,":[279],"any":[281],"$m\\geq2$,":[283],"problems":[287,305],"having":[288,306],"$m$-turn":[289],"either":[295],"equal":[296,300],"PSPACE":[298],"or":[299],"specific":[314],"type,":[315],"which":[316],"provides":[317],"set":[320],"analogues":[323],"Babai's":[325],"theorem.":[327]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2019-06-27T00:00:00"}