{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4MET3GPLW4L23KDOZ23AV57MYF","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":"89bb5385dee56cfb12cd556a7edf1ef7861a5b6d45dc46e96c7e74cae671fc3d","cross_cats_sorted":["cs.ET","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-04-22T17:37:17Z","title_canon_sha256":"dce0111f587ead0bb5f392d0c5d948f79d1885206528e214dedbcea408590cde"},"schema_version":"1.0","source":{"id":"2404.14384","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.14384","created_at":"2026-07-05T11:33:57Z"},{"alias_kind":"arxiv_version","alias_value":"2404.14384v3","created_at":"2026-07-05T11:33:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.14384","created_at":"2026-07-05T11:33:57Z"},{"alias_kind":"pith_short_12","alias_value":"4MET3GPLW4L2","created_at":"2026-07-05T11:33:57Z"},{"alias_kind":"pith_short_16","alias_value":"4MET3GPLW4L23KDO","created_at":"2026-07-05T11:33:57Z"},{"alias_kind":"pith_short_8","alias_value":"4MET3GPL","created_at":"2026-07-05T11:33:57Z"}],"graph_snapshots":[{"event_id":"sha256:347f56043510c36a82785749932d930b9dc19a8391c3e06c7d58896b3808f92b","target":"graph","created_at":"2026-07-05T11:33: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2404.14384/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As quantum technology advances, the efficient design of quantum circuits has become an important area of research. This paper provides an introduction to the MCT quantum circuit design problem for reversible Boolean functions with the necessary background in quantum computing to comprehend the problem. While this is a well-studied problem, optimization models that minimize the true objective have only been explored recently. This paper introduces a new optimization model and symmetry-breaking constraints that improve solving time by up to two orders of magnitude compared to earlier work when a","authors_text":"Jihye Jung, Kevin Dalmeijer, Pascal Van Hentenryck","cross_cats":["cs.ET","quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-04-22T17:37:17Z","title":"Optimizing Multiple-Control Toffoli Quantum Circuit Design with Constraint Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.14384","kind":"arxiv","version":3},"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:016ce0ba4907a94340773445ff548596f65f12c25d25b75ce3b268cca76b353d","target":"record","created_at":"2026-07-05T11:33: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":"89bb5385dee56cfb12cd556a7edf1ef7861a5b6d45dc46e96c7e74cae671fc3d","cross_cats_sorted":["cs.ET","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-04-22T17:37:17Z","title_canon_sha256":"dce0111f587ead0bb5f392d0c5d948f79d1885206528e214dedbcea408590cde"},"schema_version":"1.0","source":{"id":"2404.14384","kind":"arxiv","version":3}},"canonical_sha256":"e3093d99ebb717ada86eceb60af7ecc149b8439f24fb1a28e399e17e0209f3f8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3093d99ebb717ada86eceb60af7ecc149b8439f24fb1a28e399e17e0209f3f8","first_computed_at":"2026-07-05T11:33:57.953948Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:33:57.953948Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"j68v9hrRJo2aLeDRJZlIstQDDrKZKcffhqI53LQOnuNDCXsOiZN4hHK2B0KENm/KRcoZfyq9//UFQRS+hH+0Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:33:57.954458Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.14384","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:016ce0ba4907a94340773445ff548596f65f12c25d25b75ce3b268cca76b353d","sha256:347f56043510c36a82785749932d930b9dc19a8391c3e06c7d58896b3808f92b"],"state_sha256":"90e0ce47da524d1fe1cdd67428d9463b23f4d3439e71f80aa4139daf086060f5"}