{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:2FTDZPVP4EZVFMIFV3ORFTYJDO","short_pith_number":"pith:2FTDZPVP","schema_version":"1.0","canonical_sha256":"d1663cbeafe13352b105aedd12cf091bbf59da9ac2dbd084ff1edc22c89af77b","source":{"kind":"arxiv","id":"2108.00931","version":5},"attestation_state":"computed","paper":{"title":"LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"quant-ph","authors_text":"Alfons Laarman, David Elkouss, Lieuwe Vinkhuijzen, Tim Coopmans, Vedran Dunjko","submitted_at":"2021-08-02T14:24:47Z","abstract_excerpt":"Efficient methods for the representation and simulation of quantum states and quantum operations are crucial for the optimization of quantum circuits. Decision diagrams (DDs), a well-studied data structure originally used to represent Boolean functions, have proven capable of capturing relevant aspects of quantum systems, but their limits are not well understood. In this work, we investigate and bridge the gap between existing DD-based structures and the stabilizer formalism, an important tool for simulating quantum circuits in the tractable regime. We first show that although DDs were suggest"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2108.00931","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2021-08-02T14:24:47Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"6fe34a4279b768cacb58b930f65752523a50985587dd27dabc33f2dd0f6f7327","abstract_canon_sha256":"9feb4652c38d72b8345f33ca1ced660e6c51a6672793a0651e14bf028e3f775a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:49:56.841455Z","signature_b64":"uWGD1l4L622iVdNRoJS9AU6xfOI/QOOfbaMIC36808hVTmmtk8IwdahVswyP9J7jSmsg6v7payDbg8+D3WawDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1663cbeafe13352b105aedd12cf091bbf59da9ac2dbd084ff1edc22c89af77b","last_reissued_at":"2026-07-05T06:49:56.840969Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:49:56.840969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"quant-ph","authors_text":"Alfons Laarman, David Elkouss, Lieuwe Vinkhuijzen, Tim Coopmans, Vedran Dunjko","submitted_at":"2021-08-02T14:24:47Z","abstract_excerpt":"Efficient methods for the representation and simulation of quantum states and quantum operations are crucial for the optimization of quantum circuits. Decision diagrams (DDs), a well-studied data structure originally used to represent Boolean functions, have proven capable of capturing relevant aspects of quantum systems, but their limits are not well understood. In this work, we investigate and bridge the gap between existing DD-based structures and the stabilizer formalism, an important tool for simulating quantum circuits in the tractable regime. We first show that although DDs were suggest"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2108.00931","kind":"arxiv","version":5},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2108.00931/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2108.00931","created_at":"2026-07-05T06:49:56.841047+00:00"},{"alias_kind":"arxiv_version","alias_value":"2108.00931v5","created_at":"2026-07-05T06:49:56.841047+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2108.00931","created_at":"2026-07-05T06:49:56.841047+00:00"},{"alias_kind":"pith_short_12","alias_value":"2FTDZPVP4EZV","created_at":"2026-07-05T06:49:56.841047+00:00"},{"alias_kind":"pith_short_16","alias_value":"2FTDZPVP4EZVFMIF","created_at":"2026-07-05T06:49:56.841047+00:00"},{"alias_kind":"pith_short_8","alias_value":"2FTDZPVP","created_at":"2026-07-05T06:49:56.841047+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2FTDZPVP4EZVFMIFV3ORFTYJDO","json":"https://pith.science/pith/2FTDZPVP4EZVFMIFV3ORFTYJDO.json","graph_json":"https://pith.science/api/pith-number/2FTDZPVP4EZVFMIFV3ORFTYJDO/graph.json","events_json":"https://pith.science/api/pith-number/2FTDZPVP4EZVFMIFV3ORFTYJDO/events.json","paper":"https://pith.science/paper/2FTDZPVP"},"agent_actions":{"view_html":"https://pith.science/pith/2FTDZPVP4EZVFMIFV3ORFTYJDO","download_json":"https://pith.science/pith/2FTDZPVP4EZVFMIFV3ORFTYJDO.json","view_paper":"https://pith.science/paper/2FTDZPVP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2108.00931&json=true","fetch_graph":"https://pith.science/api/pith-number/2FTDZPVP4EZVFMIFV3ORFTYJDO/graph.json","fetch_events":"https://pith.science/api/pith-number/2FTDZPVP4EZVFMIFV3ORFTYJDO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2FTDZPVP4EZVFMIFV3ORFTYJDO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2FTDZPVP4EZVFMIFV3ORFTYJDO/action/storage_attestation","attest_author":"https://pith.science/pith/2FTDZPVP4EZVFMIFV3ORFTYJDO/action/author_attestation","sign_citation":"https://pith.science/pith/2FTDZPVP4EZVFMIFV3ORFTYJDO/action/citation_signature","submit_replication":"https://pith.science/pith/2FTDZPVP4EZVFMIFV3ORFTYJDO/action/replication_record"}},"created_at":"2026-07-05T06:49:56.841047+00:00","updated_at":"2026-07-05T06:49:56.841047+00:00"}