{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:WTCDVVBFDGCQQ63LVREDIWDCHF","short_pith_number":"pith:WTCDVVBF","canonical_record":{"source":{"id":"2301.04147","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-01-10T19:00:00Z","cross_cats_sorted":["cs.DS","cs.ET"],"title_canon_sha256":"a5600befb571e4f2d807df3efd171ecb8cb3407372116a03da2340ec3b55101b","abstract_canon_sha256":"403499ba1f9c736057c2cddfed9ec78f0e8cad90c04dd453a72cb8d1a57c4f60"},"schema_version":"1.0"},"canonical_sha256":"b4c43ad4251985087b6bac48345862397d5fcbd1952fc75a62000a7fa72b81fc","source":{"kind":"arxiv","id":"2301.04147","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.04147","created_at":"2026-07-05T05:32:13Z"},{"alias_kind":"arxiv_version","alias_value":"2301.04147v1","created_at":"2026-07-05T05:32:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.04147","created_at":"2026-07-05T05:32:13Z"},{"alias_kind":"pith_short_12","alias_value":"WTCDVVBFDGCQ","created_at":"2026-07-05T05:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"WTCDVVBFDGCQQ63L","created_at":"2026-07-05T05:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"WTCDVVBF","created_at":"2026-07-05T05:32:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:WTCDVVBFDGCQQ63LVREDIWDCHF","target":"record","payload":{"canonical_record":{"source":{"id":"2301.04147","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-01-10T19:00:00Z","cross_cats_sorted":["cs.DS","cs.ET"],"title_canon_sha256":"a5600befb571e4f2d807df3efd171ecb8cb3407372116a03da2340ec3b55101b","abstract_canon_sha256":"403499ba1f9c736057c2cddfed9ec78f0e8cad90c04dd453a72cb8d1a57c4f60"},"schema_version":"1.0"},"canonical_sha256":"b4c43ad4251985087b6bac48345862397d5fcbd1952fc75a62000a7fa72b81fc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:32:13.361429Z","signature_b64":"dmVTBSyTd5KiH3GTwtf46YvzBQtkNKXJ7scZpq6hHWfr9XSz0kkISA4hZR/TIVoWQ0lxBZauLP/MQEIMrqFrAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b4c43ad4251985087b6bac48345862397d5fcbd1952fc75a62000a7fa72b81fc","last_reissued_at":"2026-07-05T05:32:13.361008Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:32:13.361008Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2301.04147","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T05:32:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"17/GAGZt3ZKySEF4c4QKn+9AXFOiA2WJgIHe6yrrQnkPqek0sAEYdMOmuThTmrQ1U6OBVR9NQTUTf7gXUu38Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T22:30:01.693993Z"},"content_sha256":"4c017565a54a2669ee2d85d652fbc340f43abcf3bfb7da8c026811a56ae626d6","schema_version":"1.0","event_id":"sha256:4c017565a54a2669ee2d85d652fbc340f43abcf3bfb7da8c026811a56ae626d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:WTCDVVBFDGCQQ63LVREDIWDCHF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS","cs.ET"],"primary_cat":"quant-ph","authors_text":"Alexander Ploier, Lukas Burgholzer, Robert Wille, Stefan Hillmich, Thomas Grurl, Tom Peham","submitted_at":"2023-01-10T19:00:00Z","abstract_excerpt":"Quantum computers promise to efficiently solve important problems classical computers never will. However, in order to capitalize on these prospects, a fully automated quantum software stack needs to be developed. This involves a multitude of complex tasks from the classical simulation of quantum circuits, over their compilation to specific devices, to the verification of the circuits to be executed as well as the obtained results. All of these tasks are highly non-trivial and necessitate efficient data structures to tackle the inherent complexity. Starting from rather straight-forward arrays "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.04147","kind":"arxiv","version":1},"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/2301.04147/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T05:32:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fIVEeZTrn5puBscWyLmnGa3oZ1Aqv7RyW7VmppWTlnDaXfJzw7XRYgIyuwhMO+KbhVjOv9tDrlIYCZN6kGcNCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T22:30:01.694391Z"},"content_sha256":"031c762fc9d048f85972b326ed88ed1e42b7505ee12d8fcb1f440daf9ae0f049","schema_version":"1.0","event_id":"sha256:031c762fc9d048f85972b326ed88ed1e42b7505ee12d8fcb1f440daf9ae0f049"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WTCDVVBFDGCQQ63LVREDIWDCHF/bundle.json","state_url":"https://pith.science/pith/WTCDVVBFDGCQQ63LVREDIWDCHF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WTCDVVBFDGCQQ63LVREDIWDCHF/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-08T22:30:01Z","links":{"resolver":"https://pith.science/pith/WTCDVVBFDGCQQ63LVREDIWDCHF","bundle":"https://pith.science/pith/WTCDVVBFDGCQQ63LVREDIWDCHF/bundle.json","state":"https://pith.science/pith/WTCDVVBFDGCQQ63LVREDIWDCHF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WTCDVVBFDGCQQ63LVREDIWDCHF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:WTCDVVBFDGCQQ63LVREDIWDCHF","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"403499ba1f9c736057c2cddfed9ec78f0e8cad90c04dd453a72cb8d1a57c4f60","cross_cats_sorted":["cs.DS","cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-01-10T19:00:00Z","title_canon_sha256":"a5600befb571e4f2d807df3efd171ecb8cb3407372116a03da2340ec3b55101b"},"schema_version":"1.0","source":{"id":"2301.04147","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.04147","created_at":"2026-07-05T05:32:13Z"},{"alias_kind":"arxiv_version","alias_value":"2301.04147v1","created_at":"2026-07-05T05:32:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.04147","created_at":"2026-07-05T05:32:13Z"},{"alias_kind":"pith_short_12","alias_value":"WTCDVVBFDGCQ","created_at":"2026-07-05T05:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"WTCDVVBFDGCQQ63L","created_at":"2026-07-05T05:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"WTCDVVBF","created_at":"2026-07-05T05:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:031c762fc9d048f85972b326ed88ed1e42b7505ee12d8fcb1f440daf9ae0f049","target":"graph","created_at":"2026-07-05T05:32:13Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2301.04147/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Quantum computers promise to efficiently solve important problems classical computers never will. However, in order to capitalize on these prospects, a fully automated quantum software stack needs to be developed. This involves a multitude of complex tasks from the classical simulation of quantum circuits, over their compilation to specific devices, to the verification of the circuits to be executed as well as the obtained results. All of these tasks are highly non-trivial and necessitate efficient data structures to tackle the inherent complexity. Starting from rather straight-forward arrays ","authors_text":"Alexander Ploier, Lukas Burgholzer, Robert Wille, Stefan Hillmich, Thomas Grurl, Tom Peham","cross_cats":["cs.DS","cs.ET"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-01-10T19:00:00Z","title":"The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.04147","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4c017565a54a2669ee2d85d652fbc340f43abcf3bfb7da8c026811a56ae626d6","target":"record","created_at":"2026-07-05T05:32:13Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"403499ba1f9c736057c2cddfed9ec78f0e8cad90c04dd453a72cb8d1a57c4f60","cross_cats_sorted":["cs.DS","cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-01-10T19:00:00Z","title_canon_sha256":"a5600befb571e4f2d807df3efd171ecb8cb3407372116a03da2340ec3b55101b"},"schema_version":"1.0","source":{"id":"2301.04147","kind":"arxiv","version":1}},"canonical_sha256":"b4c43ad4251985087b6bac48345862397d5fcbd1952fc75a62000a7fa72b81fc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b4c43ad4251985087b6bac48345862397d5fcbd1952fc75a62000a7fa72b81fc","first_computed_at":"2026-07-05T05:32:13.361008Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:32:13.361008Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dmVTBSyTd5KiH3GTwtf46YvzBQtkNKXJ7scZpq6hHWfr9XSz0kkISA4hZR/TIVoWQ0lxBZauLP/MQEIMrqFrAg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:32:13.361429Z","signed_message":"canonical_sha256_bytes"},"source_id":"2301.04147","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4c017565a54a2669ee2d85d652fbc340f43abcf3bfb7da8c026811a56ae626d6","sha256:031c762fc9d048f85972b326ed88ed1e42b7505ee12d8fcb1f440daf9ae0f049"],"state_sha256":"90efa7ee1c50431747aaf6861b8f138b0ac1a7528c77a9783ffbd0ff4a6f2efc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ykAZcCGqIozfyX7ccFtFKV6K/GKhGdGwJF4GwTsX08jJA1B2vh4/02LaIRydML/81mdpNelt8tE6xAkdFLICBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T22:30:01.696430Z","bundle_sha256":"f135623fadb92cc62da0a0c26ae95cb4ab5a02bdfb933bbd24b22d2aee41ef04"}}