{"id":"https://openalex.org/W7138332139","doi":"https://doi.org/10.1609/aaai.v40i23.39018","title":"A Knowledge Compilation Map for Quantum Information","display_name":"A Knowledge Compilation Map for Quantum Information","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7138332139","doi":"https://doi.org/10.1609/aaai.v40i23.39018"},"language":null,"primary_location":{"id":"doi:10.1609/aaai.v40i23.39018","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i23.39018","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1609/aaai.v40i23.39018","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070345818","display_name":"Lieuwe Vinkhuijzen","orcid":"https://orcid.org/0000-0002-8199-0901"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lieuwe Vinkhuijzen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078310696","display_name":"Tim J. Coopmans","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tim Coopmans","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5129680505","display_name":"Alfons Laarman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alfons Laarman","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5070345818"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.54253612,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"23","first_page":"19406","last_page":"19414"},"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.8429999947547913,"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.8429999947547913,"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.03880000114440918,"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/T11804","display_name":"Quantum many-body systems","score":0.03290000185370445,"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/succinctness","display_name":"Succinctness","score":0.9386000037193298},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5285000205039978},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4722000062465668},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4593999981880188},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4147999882698059},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4058000147342682},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.39309999346733093},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.3928000032901764},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.3546000123023987}],"concepts":[{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.9386000037193298},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6198999881744385},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5794000029563904},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5285000205039978},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4722000062465668},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4593999981880188},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4147999882698059},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4058000147342682},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.39309999346733093},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.3928000032901764},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3546000123023987},{"id":"https://openalex.org/C63882131","wikidata":"https://www.wikidata.org/wiki/Q17122954","display_name":"Strengths and weaknesses","level":2,"score":0.33640000224113464},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.3312999904155731},{"id":"https://openalex.org/C116222747","wikidata":"https://www.wikidata.org/wiki/Q220888","display_name":"Falsifiability","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C192576344","wikidata":"https://www.wikidata.org/wiki/Q194706","display_name":"Boltzmann machine","level":3,"score":0.32280001044273376},{"id":"https://openalex.org/C35304006","wikidata":"https://www.wikidata.org/wiki/Q5962","display_name":"Boltzmann constant","level":2,"score":0.31779998540878296},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2985000014305115},{"id":"https://openalex.org/C2778351468","wikidata":"https://www.wikidata.org/wiki/Q17149634","display_name":"Matrix product state","level":4,"score":0.29190000891685486},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2906999886035919},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2833999991416931},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C49555168","wikidata":"https://www.wikidata.org/wiki/Q176583","display_name":"Stochastic matrix","level":3,"score":0.2549000084400177},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.2549000084400177},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1609/aaai.v40i23.39018","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i23.39018","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1609/aaai.v40i23.39018","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i23.39018","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7395780682563782}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Despite":[0],"their":[1],"widespread":[2],"use":[3],"in":[4,83],"quantum":[5,37],"computing":[6],"and":[7,12,22,40,98,107],"physics,":[8],"the":[9,33,42,53,125],"relative":[10],"strengths":[11],"weaknesses":[13],"of":[14,35,44,52,116,128],"Matrix":[15],"Product":[16],"States":[17],"(MPS),":[18],"Decision":[19],"Diagrams":[20],"(DDs),":[21],"Restricted":[23],"Boltzmann":[24],"Machines":[25],"(RBMs)":[26],"remains":[27],"poorly":[28],"understood.":[29],"We":[30],"analytically":[31],"compare":[32],"succinctness":[34,101],"these":[36,129],"state":[38],"representations":[39,64],"analyze":[41],"complexity":[43],"key":[45],"operations":[46],"on":[47,124],"them.":[48],"To":[49],"overcome":[50],"shortcomings":[51],"tractability":[54,115],"measure,":[55],"we":[56],"introduce":[57],"`rapidity'":[58],"conditions":[59],"that":[60],"identify":[61],"when":[62],"non-canonical":[63],"efficiently":[65],"simulate":[66],"each":[67],"other.":[68],"Our":[69],"results":[70],"reveal":[71],"that:":[72],"1.":[73],"Most":[74],"DD":[75,94],"variants":[76],"are":[77],"redundant":[78],"with":[79],"respect":[80],"to":[81,103,110],"MPS":[82,87],"a":[84,122],"strong":[85],"sense;":[86],"is":[88],"more":[89],"rapid.":[90],"2.":[91],"Only":[92],"one":[93],"variant,":[95],"called":[96],"LIMDD,":[97],"RBM":[99,108],"have":[100],"incomparable":[102],"MPS.":[104],"3.":[105],"LIMDD":[106],"seem":[109],"achieve":[111],"this":[112],"by":[113,121],"sacrificing":[114],"counting":[117],"queries,":[118],"as":[119],"shown":[120],"metatheorem":[123],"conditional":[126],"hardness":[127],"queries.":[130]},"counts_by_year":[],"updated_date":"2026-03-18T06:31:55.123368","created_date":"2026-03-18T00:00:00"}