{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2008:TTRO4FAHGVKDVC676DCO5FCLO2","short_pith_number":"pith:TTRO4FAH","canonical_record":{"source":{"id":"0809.2336","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-09-13T13:07:13Z","cross_cats_sorted":[],"title_canon_sha256":"66a31b2bea4f5a8b4a5a3aae0fa6af4809f0e604537de470be5caba524210192","abstract_canon_sha256":"29c313166cf1a6785e64b90289ff9d8ede2db79c8eaebd2a184d00bf30b124f9"},"schema_version":"1.0"},"canonical_sha256":"9ce2ee140735543a8bdff0c4ee944b7684a7547b41cc2d0f6ffc3e3028affff8","source":{"kind":"arxiv","id":"0809.2336","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.2336","created_at":"2026-05-18T02:15:34Z"},{"alias_kind":"arxiv_version","alias_value":"0809.2336v1","created_at":"2026-05-18T02:15:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.2336","created_at":"2026-05-18T02:15:34Z"},{"alias_kind":"pith_short_12","alias_value":"TTRO4FAHGVKD","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"TTRO4FAHGVKDVC67","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"TTRO4FAH","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2008:TTRO4FAHGVKDVC676DCO5FCLO2","target":"record","payload":{"canonical_record":{"source":{"id":"0809.2336","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-09-13T13:07:13Z","cross_cats_sorted":[],"title_canon_sha256":"66a31b2bea4f5a8b4a5a3aae0fa6af4809f0e604537de470be5caba524210192","abstract_canon_sha256":"29c313166cf1a6785e64b90289ff9d8ede2db79c8eaebd2a184d00bf30b124f9"},"schema_version":"1.0"},"canonical_sha256":"9ce2ee140735543a8bdff0c4ee944b7684a7547b41cc2d0f6ffc3e3028affff8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:15:34.673200Z","signature_b64":"LFbJpLeZRKzp1R4wQ6dDgtNTNS+sx5NP41c7JLsXZICSDTHwmyx5/wYZ4UqaXGjxrFyT8R36e8ogJB9zMI+NDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9ce2ee140735543a8bdff0c4ee944b7684a7547b41cc2d0f6ffc3e3028affff8","last_reissued_at":"2026-05-18T02:15:34.672509Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:15:34.672509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0809.2336","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-05-18T02:15:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U1fSbs5ScVX72Zxj7X4fbQiO80rtD+s1nzMZ5pGVtVDAvnIhVrNXqqf21BV6HGQ83TYNWeRaH3czd+bFC8PsCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:56:24.044556Z"},"content_sha256":"eac4e25b014f8f78703977ca412a99921cc1486da5526de6a7aa3a27017efd4f","schema_version":"1.0","event_id":"sha256:eac4e25b014f8f78703977ca412a99921cc1486da5526de6a7aa3a27017efd4f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2008:TTRO4FAHGVKDVC676DCO5FCLO2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"D. Michael Miller, Shigeru Yamashita, Shin-ichi Minato","submitted_at":"2008-09-13T13:07:13Z","abstract_excerpt":"Recently much attention has been paid to quantum circuit design to prepare for the future \"quantum computation era.\" Like the conventional logic synthesis, it should be important to verify and analyze the functionalities of generated quantum circuits. For that purpose, we propose an efficient verification method for quantum circuits under a practical restriction. Thanks to the restriction, we can introduce an efficient verification scheme based on decision diagrams called\n  Decision Diagrams for Matrix Functions (DDMFs). Then, we show analytically the advantages of our approach based on DDMFs "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.2336","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":""},"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-05-18T02:15:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ztebjQM13Rpj9HjRrxQyjcFH3Dn/IQvAKllOuxDQ3Cs7OlropOUEj/+C2+IVeXPlw6oU33NWWvUgi6hOSh4vDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:56:24.044901Z"},"content_sha256":"390c9023f90404b65d06725fe4ab782c04ab9163b194add6e6c0740297a65fd9","schema_version":"1.0","event_id":"sha256:390c9023f90404b65d06725fe4ab782c04ab9163b194add6e6c0740297a65fd9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TTRO4FAHGVKDVC676DCO5FCLO2/bundle.json","state_url":"https://pith.science/pith/TTRO4FAHGVKDVC676DCO5FCLO2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TTRO4FAHGVKDVC676DCO5FCLO2/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-06-10T19:56:24Z","links":{"resolver":"https://pith.science/pith/TTRO4FAHGVKDVC676DCO5FCLO2","bundle":"https://pith.science/pith/TTRO4FAHGVKDVC676DCO5FCLO2/bundle.json","state":"https://pith.science/pith/TTRO4FAHGVKDVC676DCO5FCLO2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TTRO4FAHGVKDVC676DCO5FCLO2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:TTRO4FAHGVKDVC676DCO5FCLO2","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":"29c313166cf1a6785e64b90289ff9d8ede2db79c8eaebd2a184d00bf30b124f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-09-13T13:07:13Z","title_canon_sha256":"66a31b2bea4f5a8b4a5a3aae0fa6af4809f0e604537de470be5caba524210192"},"schema_version":"1.0","source":{"id":"0809.2336","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.2336","created_at":"2026-05-18T02:15:34Z"},{"alias_kind":"arxiv_version","alias_value":"0809.2336v1","created_at":"2026-05-18T02:15:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.2336","created_at":"2026-05-18T02:15:34Z"},{"alias_kind":"pith_short_12","alias_value":"TTRO4FAHGVKD","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"TTRO4FAHGVKDVC67","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"TTRO4FAH","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:390c9023f90404b65d06725fe4ab782c04ab9163b194add6e6c0740297a65fd9","target":"graph","created_at":"2026-05-18T02:15:34Z","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"},"paper":{"abstract_excerpt":"Recently much attention has been paid to quantum circuit design to prepare for the future \"quantum computation era.\" Like the conventional logic synthesis, it should be important to verify and analyze the functionalities of generated quantum circuits. For that purpose, we propose an efficient verification method for quantum circuits under a practical restriction. Thanks to the restriction, we can introduce an efficient verification scheme based on decision diagrams called\n  Decision Diagrams for Matrix Functions (DDMFs). Then, we show analytically the advantages of our approach based on DDMFs ","authors_text":"D. Michael Miller, Shigeru Yamashita, Shin-ichi Minato","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-09-13T13:07:13Z","title":"DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.2336","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:eac4e25b014f8f78703977ca412a99921cc1486da5526de6a7aa3a27017efd4f","target":"record","created_at":"2026-05-18T02:15:34Z","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":"29c313166cf1a6785e64b90289ff9d8ede2db79c8eaebd2a184d00bf30b124f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-09-13T13:07:13Z","title_canon_sha256":"66a31b2bea4f5a8b4a5a3aae0fa6af4809f0e604537de470be5caba524210192"},"schema_version":"1.0","source":{"id":"0809.2336","kind":"arxiv","version":1}},"canonical_sha256":"9ce2ee140735543a8bdff0c4ee944b7684a7547b41cc2d0f6ffc3e3028affff8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9ce2ee140735543a8bdff0c4ee944b7684a7547b41cc2d0f6ffc3e3028affff8","first_computed_at":"2026-05-18T02:15:34.672509Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:15:34.672509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LFbJpLeZRKzp1R4wQ6dDgtNTNS+sx5NP41c7JLsXZICSDTHwmyx5/wYZ4UqaXGjxrFyT8R36e8ogJB9zMI+NDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:15:34.673200Z","signed_message":"canonical_sha256_bytes"},"source_id":"0809.2336","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eac4e25b014f8f78703977ca412a99921cc1486da5526de6a7aa3a27017efd4f","sha256:390c9023f90404b65d06725fe4ab782c04ab9163b194add6e6c0740297a65fd9"],"state_sha256":"6bb6091a1ed9dd0115560703ecfb5ad2ef246849ff091af9a08fb2c95afe8ac4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jPWzySl3lgkApgBlDqE8oYY6v52WbNLPrHj7JIC3u0KUxY0t+Nhk+vDkVInfDMhiCNjkoT07BKfdQS8muLgAAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T19:56:24.047087Z","bundle_sha256":"45161ea6d504af2e62969609dcd5c0bc7a533d3992ca7267394e708055a15882"}}