{"id":"https://openalex.org/W2253388016","doi":"https://doi.org/10.1109/ccc.2014.13","title":"AM with Multiple Merlins","display_name":"AM with Multiple Merlins","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W2253388016","doi":"https://doi.org/10.1109/ccc.2014.13","mag":"2253388016"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccc.2014.13","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://dspace.mit.edu/bitstream/1721.1/91565/1/Aaronson_AM%20with.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020769134","display_name":"Scott Aaronson","orcid":null},"institutions":[{"id":"https://openalex.org/I4210109586","display_name":"Moscow Institute of Thermal Technology","ror":"https://ror.org/021es5e59","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210109586"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Scott Aaronson","raw_affiliation_strings":["MIT"],"affiliations":[{"raw_affiliation_string":"MIT","institution_ids":["https://openalex.org/I4210109586"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002208831","display_name":"Russell Impagliazzo","orcid":"https://orcid.org/0000-0003-3236-9796"},"institutions":[{"id":"https://openalex.org/I4210140792","display_name":"Universidad Cat\u00f3lica Santo Domingo","ror":"https://ror.org/04ytq6y86","country_code":"DO","type":"education","lineage":["https://openalex.org/I4210140792"]}],"countries":["DO"],"is_corresponding":false,"raw_author_name":"Russell Impagliazzo","raw_affiliation_strings":["UCSD"],"affiliations":[{"raw_affiliation_string":"UCSD","institution_ids":["https://openalex.org/I4210140792"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023279342","display_name":"Dana Moshkovitz","orcid":"https://orcid.org/0000-0002-4151-568X"},"institutions":[{"id":"https://openalex.org/I4210109586","display_name":"Moscow Institute of Thermal Technology","ror":"https://ror.org/021es5e59","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210109586"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Dana Moshkovitz","raw_affiliation_strings":["MIT"],"affiliations":[{"raw_affiliation_string":"MIT","institution_ids":["https://openalex.org/I4210109586"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.097,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":29,"citation_normalized_percentile":{"value":0.819905,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":94},"biblio":{"volume":"2","issue":null,"first_page":"44","last_page":"55"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9999,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9999,"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/T10237","display_name":"Cryptography and Data Security","score":0.9997,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9984,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dpll-algorithm","display_name":"DPLL algorithm","score":0.65215296}],"concepts":[{"id":"https://openalex.org/C143936061","wikidata":"https://www.wikidata.org/wiki/Q2030088","display_name":"DPLL algorithm","level":4,"score":0.65215296},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5853058},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5436454},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5373197},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.51832306},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5047847},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.47049806},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.44346297},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37575212},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35026664},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33509222},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18876755},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.11822033},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C12707504","wikidata":"https://www.wikidata.org/wiki/Q52637","display_name":"Phase-locked loop","level":3,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccc.2014.13","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/1721.1/91565","pdf_url":"https://dspace.mit.edu/bitstream/1721.1/91565/1/Aaronson_AM%20with.pdf","source":{"id":"https://openalex.org/S4306400425","display_name":"DSpace@MIT (Massachusetts Institute of Technology)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63966007","host_organization_name":"Massachusetts Institute of Technology","host_organization_lineage":["https://openalex.org/I63966007"],"host_organization_lineage_names":["Massachusetts Institute of Technology"],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://hdl.handle.net/1721.1/91565","pdf_url":"https://dspace.mit.edu/bitstream/1721.1/91565/1/Aaronson_AM%20with.pdf","source":{"id":"https://openalex.org/S4306400425","display_name":"DSpace@MIT (Massachusetts Institute of Technology)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63966007","host_organization_name":"Massachusetts Institute of Technology","host_organization_lineage":["https://openalex.org/I63966007"],"host_organization_lineage_names":["Massachusetts Institute of Technology"],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":42,"referenced_works":["https://openalex.org/W1507717186","https://openalex.org/W1551595104","https://openalex.org/W1565361209","https://openalex.org/W1589876864","https://openalex.org/W1633109858","https://openalex.org/W1879643999","https://openalex.org/W1970259241","https://openalex.org/W1970630090","https://openalex.org/W1973652906","https://openalex.org/W1982248598","https://openalex.org/W1984477611","https://openalex.org/W2001866149","https://openalex.org/W2006558104","https://openalex.org/W2019578639","https://openalex.org/W2028932986","https://openalex.org/W2038691311","https://openalex.org/W2047642496","https://openalex.org/W2069488552","https://openalex.org/W2086423976","https://openalex.org/W2097206148","https://openalex.org/W2109437253","https://openalex.org/W2109672486","https://openalex.org/W2131967794","https://openalex.org/W2134409102","https://openalex.org/W2144362128","https://openalex.org/W2148352980","https://openalex.org/W2148791594","https://openalex.org/W2148957455","https://openalex.org/W2153413398","https://openalex.org/W2218607027","https://openalex.org/W25285532","https://openalex.org/W2741390383","https://openalex.org/W2945338313","https://openalex.org/W2950152462","https://openalex.org/W2950303908","https://openalex.org/W2950502875","https://openalex.org/W2951054288","https://openalex.org/W2963776404","https://openalex.org/W3098084575","https://openalex.org/W3102777411","https://openalex.org/W3179843568","https://openalex.org/W4256317935"],"related_works":["https://openalex.org/W57030102","https://openalex.org/W4362575217","https://openalex.org/W2370449963","https://openalex.org/W2338343461","https://openalex.org/W2188204860","https://openalex.org/W2187634947","https://openalex.org/W2159447140","https://openalex.org/W2062735037","https://openalex.org/W2022846948","https://openalex.org/W1535839566"],"abstract_inverted_index":{"We":[0,70],"introduce":[1],"and":[2,53,89,149,184,254],"study":[3],"a":[4,116,120,176,210,229,272],"new":[5],"model":[6,40,62],"of":[7,74,92,166,260,271],"interactive":[8],"proofs:":[9],"AM(k),":[10],"or":[11],"Arthur-Merlin":[12],"with":[13,18,119],"k":[14],"non-communicating":[15],"Merlins.":[16],"Unlike":[17],"the":[19,23,48,54,60,72,86,103,107,164,171,191,258,269],"better-known":[20],"MIP,":[21],"here":[22],"assumption":[24],"is":[25,63,196,228],"that":[26,203,215,257],"each":[27],"Merlin":[28],"receives":[29],"an":[30,79],"independent":[31],"random":[32,274],"challenge":[33],"from":[34,47,238],"Arthur.":[35],"One":[36],"motivation":[37],"for":[38,82,114,162,181,220,233],"this":[39,134,226],"(which":[41],"we":[42,174,201],"explore":[43],"in":[44,66,84],"detail)":[45],"comes":[46],"close":[49],"analogies":[50],"between":[51],"it":[52,186],"quantum":[55],"complexity":[56],"class":[57],"QMA(k),":[58],"but":[59,139],"AM(k)":[61,217],"also":[64,152],"natural":[65],"its":[67],"own":[68],"right.":[69],"illustrate":[71],"power":[73],"multiple":[75,204],"Merlins":[76,205],"by":[77,241,268],"giving":[78],"AM(2)":[80],"protocol":[81,101,157,195],"3SAT,":[83],"which":[85,236,255],"Merlins'":[87],"challenges":[88],"responses":[90],"consist":[91],"only":[93],"n":[94,125],"1/2+o(1)":[97],"bits":[98],"each.":[99],"Our":[100],"has":[102],"consequence":[104],"that,":[105,189],"assuming":[106,190],"Exponential":[108],"Time":[109],"Hypothesis":[110],"(ETH),":[111],"any":[112,261],"algorithm":[113,180],"approximating":[115,163],"dense":[117,252],"CSP":[118],"polynomial-size":[121],"alphabet":[122],"must":[123],"take":[124],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">(log":[128],"n)1-o(1)":[129],"time.":[130],"Algorithms":[131],"nearly":[132],"matching":[133],"lower":[135],"bound":[136],"are":[137],"known,":[138],"their":[140],"running":[141],"times":[142],"had":[143],"never":[144,206],"been":[145],"previously":[146],"explained.":[147],"Brandao":[148],"Harrow":[150],"have":[151],"recently":[153],"used":[154],"our":[155,193],"3SAT":[156,194],"to":[158,187,225],"show":[159,202],"quasipolynomial":[160],"hardness":[161],"values":[165],"certain":[167],"entangled":[168],"games.":[169],"In":[170],"other":[172],"direction,":[173],"give":[175],"simple":[177],"quasipolynomial-time":[178],"approximation":[179],"free":[182,234,262],"games,":[183,235],"use":[185],"prove":[188],"ETH,":[192],"essentially":[197],"optimal.":[198],"More":[199],"generally,":[200],"provide":[207],"more":[208],"than":[209],"polynomial":[211],"advantage":[212],"over":[213],"one:":[214],"is,":[216],"=":[218],"AM":[219],"all":[221],"k=poly(n).":[222],"The":[223],"key":[224],"result":[227],"sub":[230,250],"sampling":[231,251],"theorem":[232],"follows":[237],"powerful":[239],"results":[240],"Alon":[242],"et":[243,247],"al.":[244,248],"And":[245],"Barak":[246],"On":[249],"CSPs,":[253],"says":[256],"value":[259,270],"game":[263],"can":[264],"be":[265],"closely":[266],"approximated":[267],"logarithmic-sized":[273],"subgame.":[275]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2253388016","counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":3}],"updated_date":"2024-12-12T18:56:40.251991","created_date":"2016-06-24"}