{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:ZIJM5HVN7BBM4CNDU72AC4OEUW","short_pith_number":"pith:ZIJM5HVN","canonical_record":{"source":{"id":"1408.3955","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2014-08-18T09:50:14Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"41f1870bfcd4682ad20b9f79ce14479a65972b0d637c749173e1cd7c7db8459b","abstract_canon_sha256":"b766f960af06b45c9838ee760d4b2450933da2b24419beaa8c8ec244d54a0a9f"},"schema_version":"1.0"},"canonical_sha256":"ca12ce9eadf842ce09a3a7f40171c4a58766058142e50d81462517dcb2ed5392","source":{"kind":"arxiv","id":"1408.3955","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.3955","created_at":"2026-05-18T02:44:57Z"},{"alias_kind":"arxiv_version","alias_value":"1408.3955v1","created_at":"2026-05-18T02:44:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.3955","created_at":"2026-05-18T02:44:57Z"},{"alias_kind":"pith_short_12","alias_value":"ZIJM5HVN7BBM","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZIJM5HVN7BBM4CND","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZIJM5HVN","created_at":"2026-05-18T12:28:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:ZIJM5HVN7BBM4CNDU72AC4OEUW","target":"record","payload":{"canonical_record":{"source":{"id":"1408.3955","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2014-08-18T09:50:14Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"41f1870bfcd4682ad20b9f79ce14479a65972b0d637c749173e1cd7c7db8459b","abstract_canon_sha256":"b766f960af06b45c9838ee760d4b2450933da2b24419beaa8c8ec244d54a0a9f"},"schema_version":"1.0"},"canonical_sha256":"ca12ce9eadf842ce09a3a7f40171c4a58766058142e50d81462517dcb2ed5392","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:57.527133Z","signature_b64":"mBPpoJ2iX7HNebDrReXzCTdP4Ucm1zE2g1X7wUQvf1iwLxXea57GaoYtOOJad35f8/HgFLzZJziYLOtlkJyKDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca12ce9eadf842ce09a3a7f40171c4a58766058142e50d81462517dcb2ed5392","last_reissued_at":"2026-05-18T02:44:57.526723Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:57.526723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.3955","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:44:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2V1U1quJVSAVwejNUj99/p2m3rm4e9CrlBPXSqpiSkimdRrFRV2CKMRDZOSq2HT64Z7G1R8KYN9iq1CtYqC6Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:06:33.437008Z"},"content_sha256":"2e4886f167dd5638d665e3baec3554d3a99c29e66bc129cab5561f7e256c43e6","schema_version":"1.0","event_id":"sha256:2e4886f167dd5638d665e3baec3554d3a99c29e66bc129cab5561f7e256c43e6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:ZIJM5HVN7BBM4CNDU72AC4OEUW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Ancilla-free synthesis of large reversible functions using binary decision diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.ET","authors_text":"Gerhard W. Dueck, Laura Tague, Mathias Soeken, Rolf Drechsler","submitted_at":"2014-08-18T09:50:14Z","abstract_excerpt":"The synthesis of reversible functions has been an intensively studied research area in the last decade. Since almost all proposed approaches rely on representations of exponential size (such as truth tables and permutations), they cannot be applied efficiently to reversible functions with more than 15 variables.\n  In this paper, we propose an ancilla-free synthesis approach based on Young subgroups using symbolic function representations that can efficiently be implemented with binary decision diagrams (BDDs). As a result, the algorithm not only allows to synthesize large reversible functions "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.3955","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:44:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1RblHP+vqsLoKxu/j9XQ8bUCdEd77zoJr5Kmqso/9CGbqQSthPwN/zc5VVTgessir/77cXuHH10sq/6qpq3ODA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:06:33.437372Z"},"content_sha256":"b51087d206b3719f29221d003213a4f3bfb5ab43ebbcb8829daecfbc4e3f9f64","schema_version":"1.0","event_id":"sha256:b51087d206b3719f29221d003213a4f3bfb5ab43ebbcb8829daecfbc4e3f9f64"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZIJM5HVN7BBM4CNDU72AC4OEUW/bundle.json","state_url":"https://pith.science/pith/ZIJM5HVN7BBM4CNDU72AC4OEUW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZIJM5HVN7BBM4CNDU72AC4OEUW/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-03T14:06:33Z","links":{"resolver":"https://pith.science/pith/ZIJM5HVN7BBM4CNDU72AC4OEUW","bundle":"https://pith.science/pith/ZIJM5HVN7BBM4CNDU72AC4OEUW/bundle.json","state":"https://pith.science/pith/ZIJM5HVN7BBM4CNDU72AC4OEUW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZIJM5HVN7BBM4CNDU72AC4OEUW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:ZIJM5HVN7BBM4CNDU72AC4OEUW","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":"b766f960af06b45c9838ee760d4b2450933da2b24419beaa8c8ec244d54a0a9f","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2014-08-18T09:50:14Z","title_canon_sha256":"41f1870bfcd4682ad20b9f79ce14479a65972b0d637c749173e1cd7c7db8459b"},"schema_version":"1.0","source":{"id":"1408.3955","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.3955","created_at":"2026-05-18T02:44:57Z"},{"alias_kind":"arxiv_version","alias_value":"1408.3955v1","created_at":"2026-05-18T02:44:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.3955","created_at":"2026-05-18T02:44:57Z"},{"alias_kind":"pith_short_12","alias_value":"ZIJM5HVN7BBM","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZIJM5HVN7BBM4CND","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZIJM5HVN","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:b51087d206b3719f29221d003213a4f3bfb5ab43ebbcb8829daecfbc4e3f9f64","target":"graph","created_at":"2026-05-18T02:44:57Z","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":"The synthesis of reversible functions has been an intensively studied research area in the last decade. Since almost all proposed approaches rely on representations of exponential size (such as truth tables and permutations), they cannot be applied efficiently to reversible functions with more than 15 variables.\n  In this paper, we propose an ancilla-free synthesis approach based on Young subgroups using symbolic function representations that can efficiently be implemented with binary decision diagrams (BDDs). As a result, the algorithm not only allows to synthesize large reversible functions ","authors_text":"Gerhard W. Dueck, Laura Tague, Mathias Soeken, Rolf Drechsler","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2014-08-18T09:50:14Z","title":"Ancilla-free synthesis of large reversible functions using binary decision diagrams"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.3955","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:2e4886f167dd5638d665e3baec3554d3a99c29e66bc129cab5561f7e256c43e6","target":"record","created_at":"2026-05-18T02:44:57Z","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":"b766f960af06b45c9838ee760d4b2450933da2b24419beaa8c8ec244d54a0a9f","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2014-08-18T09:50:14Z","title_canon_sha256":"41f1870bfcd4682ad20b9f79ce14479a65972b0d637c749173e1cd7c7db8459b"},"schema_version":"1.0","source":{"id":"1408.3955","kind":"arxiv","version":1}},"canonical_sha256":"ca12ce9eadf842ce09a3a7f40171c4a58766058142e50d81462517dcb2ed5392","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca12ce9eadf842ce09a3a7f40171c4a58766058142e50d81462517dcb2ed5392","first_computed_at":"2026-05-18T02:44:57.526723Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:57.526723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mBPpoJ2iX7HNebDrReXzCTdP4Ucm1zE2g1X7wUQvf1iwLxXea57GaoYtOOJad35f8/HgFLzZJziYLOtlkJyKDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:57.527133Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.3955","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2e4886f167dd5638d665e3baec3554d3a99c29e66bc129cab5561f7e256c43e6","sha256:b51087d206b3719f29221d003213a4f3bfb5ab43ebbcb8829daecfbc4e3f9f64"],"state_sha256":"5ca8b079bd3749d16465e61b94c7db2e9d93de8e065063fce3da248b068af3d8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EoE/ISLSDO6LqHeHrpma8LZoRL7awyVh4p5x+btRLcSABFY8T10OJSRdEeCd4lWd9ohvYyp7y5bHo7hjOJp7Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T14:06:33.439439Z","bundle_sha256":"a56ae55c8f7437d84d8ed37c2a5ee9be9fa278111a3cb7e3ce4c3346f1a854c6"}}