{"id":"https://openalex.org/W4404240142","doi":"https://doi.org/10.1145/3696348.3696891","title":"Toward Applying Quantum Computing to Network Verification","display_name":"Toward Applying Quantum Computing to Network Verification","publication_year":2024,"publication_date":"2024-11-11","ids":{"openalex":"https://openalex.org/W4404240142","doi":"https://doi.org/10.1145/3696348.3696891"},"language":"en","primary_location":{"id":"doi:10.1145/3696348.3696891","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3696348.3696891","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2410.17184","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093670571","display_name":"Kahlil Dozier","orcid":"https://orcid.org/0009-0005-9749-8371"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kahlil Dozier","raw_affiliation_strings":["Columbia University, New York, NY, USA","Columbia University New York, NY, USA","Loqman Salamatian Columbia University New York, NY, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Loqman Salamatian Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114593035","display_name":"Justin Beltran","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Justin Beltran","raw_affiliation_strings":["Columbia University, New York, NY, USA","Loqman Salamatian Columbia University New York, NY, USA","Columbia University New York, NY, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Loqman Salamatian Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114593036","display_name":"K. Jordan Berg","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kylie Berg","raw_affiliation_strings":["Columbia University, New York, NY, USA","Loqman Salamatian Columbia University New York, NY, USA","Columbia University New York, NY, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Loqman Salamatian Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114593037","display_name":"Hugo Matousek","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hugo Matousek","raw_affiliation_strings":["Columbia University, New York, NY, USA","Loqman Salamatian Columbia University New York, NY, USA","Columbia University New York, NY, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Loqman Salamatian Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072057156","display_name":"Loqman Salamatian","orcid":"https://orcid.org/0000-0001-7756-2376"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Loqman Salamatian","raw_affiliation_strings":["Columbia University, New York, NY, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045165255","display_name":"Ethan Katz-Bassett","orcid":"https://orcid.org/0000-0002-1030-6391"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ethan Katz-Bassett","raw_affiliation_strings":["Columbia University, New York, NY, USA","Loqman Salamatian Columbia University New York, NY, USA","Columbia University New York, NY, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Loqman Salamatian Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052765061","display_name":"Dan Rubenstein","orcid":"https://orcid.org/0000-0002-3747-9946"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dan Rubenstein","raw_affiliation_strings":["Columbia University, New York, NY, USA","Columbia University New York, NY, USA","Loqman Salamatian Columbia University New York, NY, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Loqman Salamatian Columbia University New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5093670571"],"corresponding_institution_ids":["https://openalex.org/I78577930"],"apc_list":null,"apc_paid":null,"fwci":0.3407,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6797216,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"221","last_page":"228"},"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.9998999834060669,"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.9998999834060669,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9943000078201294,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9934999942779541,"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/computer-science","display_name":"Computer science","score":0.7088390588760376},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5230101943016052},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.3801196813583374},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37863385677337646},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08891850709915161},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.07107216119766235}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7088390588760376},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5230101943016052},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.3801196813583374},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37863385677337646},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08891850709915161},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.07107216119766235}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3696348.3696891","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3696348.3696891","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2410.17184","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.17184","pdf_url":"https://arxiv.org/pdf/2410.17184","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2410.17184","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.17184","pdf_url":"https://arxiv.org/pdf/2410.17184","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7521061898","display_name":"RINGS: Deployable End-to-End Resilience for Critical Internet Applications via Modular Redundancy","funder_award_id":"2148275","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404240142.pdf"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W1903445364","https://openalex.org/W1972121713","https://openalex.org/W2084652510","https://openalex.org/W2115526539","https://openalex.org/W2117872989","https://openalex.org/W2146537406","https://openalex.org/W2485543941","https://openalex.org/W2577367366","https://openalex.org/W2742515467","https://openalex.org/W2889227506","https://openalex.org/W2908684694","https://openalex.org/W2914189542","https://openalex.org/W3170946043","https://openalex.org/W4254154714","https://openalex.org/W4386385177"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Network":[0],"verification,":[1],"broadly":[2],"defined":[3],"as":[4,115,174],"proving":[5],"the":[6,41,106,118,121,158,163],"correctness":[7],"of":[8,32,83,88,120,130,160,162],"certain":[9],"properties":[10],"resulting":[11],"from":[12],"a":[13,30,38,65,143],"network's":[14],"configuration,":[15],"cannot":[16,126],"be":[17,97],"efficiently":[18,74],"solved":[19,98],"on":[20],"classical":[21],"hardware":[22,137],"via":[23,99],"brute":[24],"force.":[25],"Prior":[26],"work":[27],"has":[28],"developed":[29],"variety":[31],"methods":[33],"that":[34,50,95,113],"scale":[35,161],"by":[36,49],"observing":[37],"structure":[39],"in":[40,109,117,136,154],"search":[42,93],"space":[43],"and":[44,138],"then":[45],"evaluating":[46],"classes":[47],"induced":[48],"structure.":[51],"However,":[52],"even":[53],"these":[54],"classification":[55],"mechanisms":[56],"have":[57],"their":[58,150],"limitations.":[59],"In":[60],"this":[61,153],"paper,":[62],"we":[63,156],"consider":[64],"radically":[66],"different":[67],"approach:":[68],"applying":[69],"quantum":[70,100,124,167],"computing":[71,101,168],"to":[72,85,111,146],"more":[73],"solve":[75,170],"network":[76,171],"verification":[77,89,172],"problems.":[78],"We":[79],"provide":[80],"an":[81],"overview":[82],"how":[84],"map":[86],"variants":[87],"problems":[90,94,112,129,173],"into":[91],"unstructured":[92,175],"can":[96,169],"with":[102],"quadratic":[103],"speedup,":[104],"making":[105],"approach":[107],"feasible":[108],"theory":[110],"twice":[114],"big":[116],"size":[119],"input.":[122],"Emerging":[123],"systems":[125],"yet":[127],"tackle":[128],"practical":[131],"interest,":[132],"but":[133],"rapid":[134],"advances":[135],"algorithm":[139],"development":[140],"make":[141],"now":[142],"great":[144],"time":[145],"start":[147],"thinking":[148],"about":[149],"application.":[151],"With":[152],"mind,":[155],"explore":[157],"limits":[159],"problem":[164],"for":[165],"which":[166],"search.":[176]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2024-11-12T00:00:00"}