{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:6PTOPU4E7G6RZ2YRGFTGOV3XLE","short_pith_number":"pith:6PTOPU4E","canonical_record":{"source":{"id":"1612.00631","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-12-02T11:02:10Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"5f73eaa00a0bd14121f0a0152d1283f51456cedaab85d72562cbc71a59e5199c","abstract_canon_sha256":"0afd90800a058550a1eb07c99c091f37aa788a2f58cfb8456ff1d848e4cc4208"},"schema_version":"1.0"},"canonical_sha256":"f3e6e7d384f9bd1ceb113166675777590167ad0cd553dff1f046d4cfd7ee8daa","source":{"kind":"arxiv","id":"1612.00631","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.00631","created_at":"2026-05-18T00:55:59Z"},{"alias_kind":"arxiv_version","alias_value":"1612.00631v1","created_at":"2026-05-18T00:55:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.00631","created_at":"2026-05-18T00:55:59Z"},{"alias_kind":"pith_short_12","alias_value":"6PTOPU4E7G6R","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"6PTOPU4E7G6RZ2YR","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"6PTOPU4E","created_at":"2026-05-18T12:30:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:6PTOPU4E7G6RZ2YRGFTGOV3XLE","target":"record","payload":{"canonical_record":{"source":{"id":"1612.00631","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-12-02T11:02:10Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"5f73eaa00a0bd14121f0a0152d1283f51456cedaab85d72562cbc71a59e5199c","abstract_canon_sha256":"0afd90800a058550a1eb07c99c091f37aa788a2f58cfb8456ff1d848e4cc4208"},"schema_version":"1.0"},"canonical_sha256":"f3e6e7d384f9bd1ceb113166675777590167ad0cd553dff1f046d4cfd7ee8daa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:55:59.457843Z","signature_b64":"U9XxqExBcqL4Iy7U46A2IOSMmcCFuTaF1ivsu/JSeogRuQbFOPhTb1vF2xV/hv2w3cWhVQqmYqtB0mXkSNksCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f3e6e7d384f9bd1ceb113166675777590167ad0cd553dff1f046d4cfd7ee8daa","last_reissued_at":"2026-05-18T00:55:59.457226Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:55:59.457226Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.00631","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-18T00:55:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G6U8rJvSbSHVOkZmsRKmStMlAmIc2pvZlT7HhibeWcloJ3tTOaqHzOsdX6dioURUWcpi0M7BtlDZSk9eqPCZAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T11:03:06.779921Z"},"content_sha256":"9b07d9550aab878afe18142a0a59bdc07a32aafeb276a12a84d0c806b5c92f33","schema_version":"1.0","event_id":"sha256:9b07d9550aab878afe18142a0a59bdc07a32aafeb276a12a84d0c806b5c92f33"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:6PTOPU4E7G6RZ2YRGFTGOV3XLE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Design Automation and Design Space Exploration for Quantum Computers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.ET"],"primary_cat":"quant-ph","authors_text":"Giovanni De Micheli, Martin Roetteler, Mathias Soeken, Nathan Wiebe","submitted_at":"2016-12-02T11:02:10Z","abstract_excerpt":"A major hurdle to the deployment of quantum linear systems algorithms and recent quantum simulation algorithms lies in the difficulty to find inexpensive reversible circuits for arithmetic using existing hand coded methods. Motivated by recent advances in reversible logic synthesis, we synthesize arithmetic circuits using classical design automation flows and tools. The combination of classical and reversible logic synthesis enables the automatic design of large components in reversible logic starting from well-known hardware description languages such as Verilog. As a prototype example for ou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.00631","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-18T00:55:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j/vkefEr67V13skS0rXGTgZkZ42xAcXfoJYpsbZVamYvgzLbwrM4CtLpjNbod+K/cW/IS93lAeOqK6nR3sAcAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T11:03:06.780580Z"},"content_sha256":"d29715a4577dc2f1eb27d1b98cadb10998c483509792f835f9f6e101114eb2d2","schema_version":"1.0","event_id":"sha256:d29715a4577dc2f1eb27d1b98cadb10998c483509792f835f9f6e101114eb2d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6PTOPU4E7G6RZ2YRGFTGOV3XLE/bundle.json","state_url":"https://pith.science/pith/6PTOPU4E7G6RZ2YRGFTGOV3XLE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6PTOPU4E7G6RZ2YRGFTGOV3XLE/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-05-26T11:03:06Z","links":{"resolver":"https://pith.science/pith/6PTOPU4E7G6RZ2YRGFTGOV3XLE","bundle":"https://pith.science/pith/6PTOPU4E7G6RZ2YRGFTGOV3XLE/bundle.json","state":"https://pith.science/pith/6PTOPU4E7G6RZ2YRGFTGOV3XLE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6PTOPU4E7G6RZ2YRGFTGOV3XLE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:6PTOPU4E7G6RZ2YRGFTGOV3XLE","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":"0afd90800a058550a1eb07c99c091f37aa788a2f58cfb8456ff1d848e4cc4208","cross_cats_sorted":["cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-12-02T11:02:10Z","title_canon_sha256":"5f73eaa00a0bd14121f0a0152d1283f51456cedaab85d72562cbc71a59e5199c"},"schema_version":"1.0","source":{"id":"1612.00631","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.00631","created_at":"2026-05-18T00:55:59Z"},{"alias_kind":"arxiv_version","alias_value":"1612.00631v1","created_at":"2026-05-18T00:55:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.00631","created_at":"2026-05-18T00:55:59Z"},{"alias_kind":"pith_short_12","alias_value":"6PTOPU4E7G6R","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"6PTOPU4E7G6RZ2YR","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"6PTOPU4E","created_at":"2026-05-18T12:30:01Z"}],"graph_snapshots":[{"event_id":"sha256:d29715a4577dc2f1eb27d1b98cadb10998c483509792f835f9f6e101114eb2d2","target":"graph","created_at":"2026-05-18T00:55:59Z","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":"A major hurdle to the deployment of quantum linear systems algorithms and recent quantum simulation algorithms lies in the difficulty to find inexpensive reversible circuits for arithmetic using existing hand coded methods. Motivated by recent advances in reversible logic synthesis, we synthesize arithmetic circuits using classical design automation flows and tools. The combination of classical and reversible logic synthesis enables the automatic design of large components in reversible logic starting from well-known hardware description languages such as Verilog. As a prototype example for ou","authors_text":"Giovanni De Micheli, Martin Roetteler, Mathias Soeken, Nathan Wiebe","cross_cats":["cs.ET"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-12-02T11:02:10Z","title":"Design Automation and Design Space Exploration for Quantum Computers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.00631","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:9b07d9550aab878afe18142a0a59bdc07a32aafeb276a12a84d0c806b5c92f33","target":"record","created_at":"2026-05-18T00:55:59Z","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":"0afd90800a058550a1eb07c99c091f37aa788a2f58cfb8456ff1d848e4cc4208","cross_cats_sorted":["cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-12-02T11:02:10Z","title_canon_sha256":"5f73eaa00a0bd14121f0a0152d1283f51456cedaab85d72562cbc71a59e5199c"},"schema_version":"1.0","source":{"id":"1612.00631","kind":"arxiv","version":1}},"canonical_sha256":"f3e6e7d384f9bd1ceb113166675777590167ad0cd553dff1f046d4cfd7ee8daa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f3e6e7d384f9bd1ceb113166675777590167ad0cd553dff1f046d4cfd7ee8daa","first_computed_at":"2026-05-18T00:55:59.457226Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:55:59.457226Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U9XxqExBcqL4Iy7U46A2IOSMmcCFuTaF1ivsu/JSeogRuQbFOPhTb1vF2xV/hv2w3cWhVQqmYqtB0mXkSNksCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:55:59.457843Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.00631","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b07d9550aab878afe18142a0a59bdc07a32aafeb276a12a84d0c806b5c92f33","sha256:d29715a4577dc2f1eb27d1b98cadb10998c483509792f835f9f6e101114eb2d2"],"state_sha256":"aecb4de057b512de146f31934b466392d616c84ee4911aab1d51debecd3e7bab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+SiOkquCDHkE80YbSWV02GzUUfScJ/Absik4qmFS9nXtjZU2EWzisLR2XaEVqS98hF40GvtRgE8byPxZy05mCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T11:03:06.784034Z","bundle_sha256":"2794738fb058434d4bb44d0536c94e970b079b0613e25172148ff6082cd84591"}}