{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T03:00:38Z","timestamp":1773802838308,"version":"3.50.1"},"reference-count":0,"publisher":"Association for the Advancement of Artificial Intelligence (AAAI)","issue":"23","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAAI"],"abstract":"<jats:p>Despite their widespread use in quantum computing and physics, the relative strengths and weaknesses of Matrix Product States (MPS), Decision Diagrams (DDs), and Restricted Boltzmann Machines (RBMs) remains poorly understood. \nWe analytically compare the succinctness of these quantum state representations and analyze the complexity of key operations on them. \nTo overcome shortcomings of the tractability measure, we introduce `rapidity' conditions that identify when non-canonical representations efficiently simulate each other.\nOur results reveal that:\n\t1.\tMost DD variants are redundant with respect to MPS in a strong sense; MPS is more rapid.\n\t2.\tOnly one DD variant, called LIMDD, and RBM have succinctness incomparable to MPS.\n\t3.\tLIMDD and RBM seem to achieve this by sacrificing tractability of counting queries, as shown by a metatheorem on the conditional hardness of these queries.<\/jats:p>","DOI":"10.1609\/aaai.v40i23.39018","type":"journal-article","created":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T01:06:02Z","timestamp":1773795962000},"page":"19406-19414","source":"Crossref","is-referenced-by-count":0,"title":["A Knowledge Compilation Map for Quantum Information"],"prefix":"10.1609","volume":"40","author":[{"given":"Lieuwe","family":"Vinkhuijzen","sequence":"first","affiliation":[]},{"given":"Tim","family":"Coopmans","sequence":"additional","affiliation":[]},{"given":"Alfons","family":"Laarman","sequence":"additional","affiliation":[]}],"member":"9382","published-online":{"date-parts":[[2026,3,14]]},"container-title":["Proceedings of the AAAI Conference on Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/download\/39018\/42980","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/download\/39018\/42980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T01:06:02Z","timestamp":1773795962000},"score":1,"resource":{"primary":{"URL":"https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/view\/39018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,14]]},"references-count":0,"journal-issue":{"issue":"23","published-online":{"date-parts":[[2026,3,17]]}},"URL":"https:\/\/doi.org\/10.1609\/aaai.v40i23.39018","relation":{},"ISSN":["2374-3468","2159-5399"],"issn-type":[{"value":"2374-3468","type":"electronic"},{"value":"2159-5399","type":"print"}],"subject":[],"published":{"date-parts":[[2026,3,14]]}}}