{"id":"https://openalex.org/W4399449118","doi":"https://doi.org/10.1145/3662158.3662788","title":"On the Power of Quantum Distributed Proofs","display_name":"On the Power of Quantum Distributed Proofs","publication_year":2024,"publication_date":"2024-06-05","ids":{"openalex":"https://openalex.org/W4399449118","doi":"https://doi.org/10.1145/3662158.3662788"},"language":"en","primary_location":{"id":"doi:10.1145/3662158.3662788","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3662158.3662788","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"type":"article","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/A5068517100","display_name":"Atsuya Hasegawa","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Atsuya Hasegawa","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0009-0006-7151-2793","affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037746667","display_name":"Srijita Kundu","orcid":"https://orcid.org/0000-0002-8630-0113"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Srijita Kundu","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"raw_orcid":"https://orcid.org/0000-0002-8630-0113","affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050194683","display_name":"Harumichi Nishimura","orcid":null},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Harumichi Nishimura","raw_affiliation_strings":["Nagoya University, Nagoya, Japan"],"raw_orcid":"https://orcid.org/0000-0002-2219-3320","affiliations":[{"raw_affiliation_string":"Nagoya University, Nagoya, Japan","institution_ids":["https://openalex.org/I60134161"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5068517100"],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":0.9934,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79142934,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"220","last_page":"230"},"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.9994999766349792,"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.9994999766349792,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7483946681022644},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.590233564376831},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4526670575141907},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.42915740609169006},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36336997151374817},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.32783135771751404},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.200204998254776},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.14641788601875305},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1360188126564026}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7483946681022644},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.590233564376831},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4526670575141907},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.42915740609169006},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36336997151374817},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.32783135771751404},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.200204998254776},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.14641788601875305},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1360188126564026},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3662158.3662788","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3662158.3662788","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing","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":36,"referenced_works":["https://openalex.org/W1487051037","https://openalex.org/W1964530682","https://openalex.org/W1968165454","https://openalex.org/W2006596905","https://openalex.org/W2028000824","https://openalex.org/W2056295140","https://openalex.org/W2058701696","https://openalex.org/W2077740213","https://openalex.org/W2080990363","https://openalex.org/W2084019889","https://openalex.org/W2098474960","https://openalex.org/W2101014999","https://openalex.org/W2107398173","https://openalex.org/W2148791594","https://openalex.org/W2157209735","https://openalex.org/W2184633425","https://openalex.org/W2795836503","https://openalex.org/W2811088724","https://openalex.org/W2889545431","https://openalex.org/W2898327125","https://openalex.org/W2948609630","https://openalex.org/W2962811409","https://openalex.org/W2963017524","https://openalex.org/W3009023057","https://openalex.org/W3009997504","https://openalex.org/W3037687232","https://openalex.org/W3209192400","https://openalex.org/W4205300528","https://openalex.org/W4221139165","https://openalex.org/W4281630875","https://openalex.org/W4289453939","https://openalex.org/W4302306010","https://openalex.org/W4302306042","https://openalex.org/W4390532686","https://openalex.org/W4400691701","https://openalex.org/W6891520935"],"related_works":["https://openalex.org/W4394650907","https://openalex.org/W4254119641","https://openalex.org/W3196207352","https://openalex.org/W2951724202","https://openalex.org/W3084261076","https://openalex.org/W2576399385","https://openalex.org/W2963408011","https://openalex.org/W4236324517","https://openalex.org/W1586813864","https://openalex.org/W2184046398"],"abstract_inverted_index":{"Quantum":[0],"nondeterministic":[1],"distributed":[2,65],"computing":[3],"was":[4],"recently":[5],"introduced":[6],"as":[7],"dQMA":[8,23,103],"(distributed":[9],"quantum":[10,29,68],"Merlin-Arthur)":[11],"protocols":[12,104],"by":[13,84],"Fraigniaud,":[14],"Le":[15],"Gall,":[16],"Nishimura":[17],"and":[18,31,67,97],"Paz":[19],"(ITCS":[20],"2021).":[21],"In":[22,91],"protocols,":[24,70],"with":[25],"the":[26,43,51,72,76,81,99,102],"help":[27],"of":[28,42,87,101],"proofs":[30],"local":[32],"communication,":[33],"nodes":[34],"on":[35],"a":[36,85],"network":[37,52],"verify":[38],"some":[39],"global":[40],"property":[41],"network.":[44],"Fraigniaud":[45],"et":[46],"al.":[47],"showed":[48],"that,":[49],"when":[50],"size":[53,63],"is":[54],"small,":[55],"there":[56],"exists":[57],"an":[58],"exponential":[59],"separation":[60],"in":[61],"proof":[62],"between":[64],"classical":[66],"verification":[69],"for":[71,105],"equality":[73],"problem,":[74],"where":[75],"verifiers":[77],"check":[78],"if":[79],"all":[80],"data":[82],"owned":[83],"subset":[86],"them":[88],"are":[89],"identical.":[90],"this":[92],"paper,":[93],"we":[94],"further":[95],"investigate":[96],"characterize":[98],"power":[100],"various":[106],"decision":[107],"problems.":[108]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}