{"id":"https://openalex.org/W4239261415","doi":"https://doi.org/10.1109/ccc.2004.1313849","title":"On the power of quantum proofs","display_name":"On the power of quantum proofs","publication_year":2004,"publication_date":"2004-11-12","ids":{"openalex":"https://openalex.org/W4239261415","doi":"https://doi.org/10.1109/ccc.2004.1313849"},"language":"en","primary_location":{"id":"doi:10.1109/ccc.2004.1313849","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccc.2004.1313849","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004.","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041545934","display_name":"Ran Raz","orcid":"https://orcid.org/0009-0008-1656-2258"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ran Raz","raw_affiliation_strings":["Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"last","author":{"id":null,"display_name":"A. Shpilka","orcid":null},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"A. Shpilka","raw_affiliation_strings":["Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I53964585"],"apc_list":null,"apc_paid":null,"fwci":0.8821,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.75028927,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"20","issue":null,"first_page":"260","last_page":"274"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"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":1.0,"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.9980000257492065,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9979000091552734,"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/communication-complexity","display_name":"Communication complexity","score":0.704741895198822},{"id":"https://openalex.org/keywords/quantum-complexity-theory","display_name":"Quantum complexity theory","score":0.6829251050949097},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5104967355728149},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.5060474276542664},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.484551340341568},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4841669201850891},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.46539127826690674},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.46002334356307983},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45323702692985535},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4442494809627533},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4225870370864868},{"id":"https://openalex.org/keywords/subspace-topology","display_name":"Subspace topology","score":0.4165307879447937},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3651042580604553},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3517645597457886},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2807311415672302},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.20331689715385437},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.16183096170425415}],"concepts":[{"id":"https://openalex.org/C179145077","wikidata":"https://www.wikidata.org/wiki/Q5154130","display_name":"Communication complexity","level":2,"score":0.704741895198822},{"id":"https://openalex.org/C92043244","wikidata":"https://www.wikidata.org/wiki/Q7269023","display_name":"Quantum complexity theory","level":4,"score":0.6829251050949097},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5104967355728149},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.5060474276542664},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.484551340341568},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4841669201850891},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.46539127826690674},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.46002334356307983},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45323702692985535},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4442494809627533},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4225870370864868},{"id":"https://openalex.org/C32834561","wikidata":"https://www.wikidata.org/wiki/Q660730","display_name":"Subspace topology","level":2,"score":0.4165307879447937},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3651042580604553},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3517645597457886},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2807311415672302},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.20331689715385437},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.16183096170425415},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ccc.2004.1313849","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccc.2004.1313849","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W605043455","https://openalex.org/W1498051073","https://openalex.org/W1533795053","https://openalex.org/W1667728213","https://openalex.org/W1867758558","https://openalex.org/W1989051052","https://openalex.org/W1991730713","https://openalex.org/W2002501531","https://openalex.org/W2006290558","https://openalex.org/W2012496360","https://openalex.org/W2012824096","https://openalex.org/W2035957583","https://openalex.org/W2053590396","https://openalex.org/W2084019889","https://openalex.org/W2084652510","https://openalex.org/W2086290259","https://openalex.org/W2088263428","https://openalex.org/W2117584890","https://openalex.org/W2122780600","https://openalex.org/W2128933358","https://openalex.org/W2160083149","https://openalex.org/W2764347725","https://openalex.org/W3023478445","https://openalex.org/W4205794271","https://openalex.org/W6683357420"],"related_works":["https://openalex.org/W2951836800","https://openalex.org/W2045590835","https://openalex.org/W2121507438","https://openalex.org/W4301013907","https://openalex.org/W2120210041","https://openalex.org/W2953001340","https://openalex.org/W2101069215","https://openalex.org/W2950910290","https://openalex.org/W4298273595","https://openalex.org/W2128158983"],"abstract_inverted_index":{"We":[0,126,226,311],"study":[1],"the":[2,10,25,30,40,56,78,93,96,113,135,146,166,188,200,207,215,235,254,273,297,342,362,371,384,418,429],"power":[3,11],"of":[4,12,22,64,73,80,134,145,165,217,240,250,259,268,279,299,408],"quantum":[5,13,23,162,294],"proofs,":[6],"or":[7,392],"more":[8],"precisely,":[9],"Merlin-Arthur":[14],"(QMA)":[15],"protocols,":[16,55],"in":[17,83,370],"two":[18,97],"well":[19,205],"studied":[20],"models":[21],"computation:":[24],"black":[26,189,237,256,275,308,332,343,351,363,372,403,419,437,443],"box":[27,190,238,257,276,309,333,352,373,404,438,444],"model":[28,191,374],"and":[29,76,110,183,263,327,440],"communication":[31,41,132,143,163,181,185],"complexity":[32,42,133,144,164,182,239,258,278,439,445],"model.":[33,43],"Our":[34],"main":[35],"results":[36],"are":[37,330],"obtained":[38,447],"for":[39,53,210,214,234,253,272,296,315,324,354,428],"For":[44,187],"this":[45,174,286,367],"model,":[46],"we":[47,192,197,244,387,422],"identify":[48],"a":[49,70,246,260,264,348,401,424],"complete":[50],"promise":[51,433],"problem":[52,62,136,147,167],"QMA":[54,131,180,224,236,255,274,331,375,380,402,436],"linear":[57,71],"sub-spaces":[58],"distance":[59,94,114],"problem.":[60],"The":[61,130,140,160],"is":[63,88,99,115,137,148,168,347],"geometrical":[65],"nature:":[66],"each":[67],"player":[68],"gets":[69],"subspace":[72],"R/sup":[74],"m/":[75],"considers":[77],"sphere":[79],"unit":[81],"vectors":[82],"that":[84,199,288,314,335,356,369,389,411],"subspace.":[85],"Their":[86],"goal":[87],"to":[89,223,230,291,305,341,361,417],"output":[90],"1":[91],"if":[92,112,323],"between":[95,179,435],"spheres":[98],"very":[100,116,425],"small":[101],"(say,":[102,118],"smaller":[103],"than":[104,120],"0.1":[105],"/spl":[106,108,122,124,149,151,155,169,251,269,376],"middot/":[107,123],"radic/2)":[109],"0":[111],"large":[117],"larger":[119],"0.9":[121],"radic/2).":[125],"show":[127],"that:":[128],"1.":[129],"O(logm).":[138],"2.":[139],"(classical)":[141,441],"MA":[142,184,442],"Omega/(m/sup":[150],"epsi//)":[152],"(for":[153,432],"some":[154],"epsi/":[156],">":[157],"0).":[158],"3.":[159],"(standard)":[161],"Omega/(/spl":[170,270],"radic/m).":[171],"In":[172,242,284,365],"particular,":[173,243,285,366],"gives":[175],"an":[176],"exponential":[177,430],"separation":[178,431],"complexity.":[186],"give":[193,292],"several":[194],"observations.":[195],"First,":[196],"observe":[198,313,388,423],"block":[201],"sensitivity":[202],"method,":[203],"as":[204,206],"polynomial":[208],"method":[209],"proving":[211],"lower":[212,232,248,266],"bounds":[213,233],"number":[216],"queries,":[218],"can":[219],"both":[220,325],"be":[221],"extended":[222],"protocols.":[225],"use":[227],"these":[228],"methods":[229],"obtain":[231,245],"functions.":[241],"tight":[247,265],"bound":[249,267],"Omega/(N)":[252],"random":[261],"function,":[262],"radic/N)":[271,415],"query":[277],"NOR(X/sub":[280],"1/,...,":[281,320,397],"X/sub":[282,321,398],"n/).":[283],"shows":[287,368],"any":[289,316,390],"attempt":[290],"short":[293],"proofs":[295,407],"class":[298],"languages":[300],"Co":[301,378],"-":[302,379],"NP":[303],"have":[304],"go":[306],"beyond":[307],"arguments.":[310],"also":[312],"Boolean":[317,394],"function":[318,395],"G(X/sub":[319,396],"n/),":[322],"G":[326,355],"7minus;G":[328],"there":[329,346],"protocols":[334],"make":[336],"at":[337],"most":[338],"T":[339],"queries":[340,360,416],"box,":[344],"then":[345],"classical":[349],"deterministic":[350],"protocol":[353,405],"makes":[357,412],"0(T/sup":[358],"6/)":[359],"box.":[364,420],"cap/":[377],"=":[381],"P.":[382],"On":[383],"positive":[385],"side,":[386],"(total":[391],"partial)":[393],"n/)":[399],"has":[400],"with":[406],"length":[409],"N":[410],"only":[413],"0(/spl":[414],"Finally,":[421],"simple":[426],"proof":[427],"problems)":[434],"(first":[446],"by":[448],"Watrous).":[449]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}