{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:NYJBT4IO5BGRVHGGZBMK7RSBWR","short_pith_number":"pith:NYJBT4IO","canonical_record":{"source":{"id":"2503.14660","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-03-18T19:09:58Z","cross_cats_sorted":[],"title_canon_sha256":"a6ec0f6fc1ad8b9d368d8bdc083a65ff2c4c274aebf95d52d7a84577f7d439e7","abstract_canon_sha256":"f85f9aa8d2aa0cc627fe6406cbb8b185191eba32c2c258b05440db99a1baa092"},"schema_version":"1.0"},"canonical_sha256":"6e1219f10ee84d1a9cc6c858afc641b45f36e10942ed55ba1c43ae0edcaa83b9","source":{"kind":"arxiv","id":"2503.14660","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.14660","created_at":"2026-07-05T10:34:22Z"},{"alias_kind":"arxiv_version","alias_value":"2503.14660v1","created_at":"2026-07-05T10:34:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.14660","created_at":"2026-07-05T10:34:22Z"},{"alias_kind":"pith_short_12","alias_value":"NYJBT4IO5BGR","created_at":"2026-07-05T10:34:22Z"},{"alias_kind":"pith_short_16","alias_value":"NYJBT4IO5BGRVHGG","created_at":"2026-07-05T10:34:22Z"},{"alias_kind":"pith_short_8","alias_value":"NYJBT4IO","created_at":"2026-07-05T10:34:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:NYJBT4IO5BGRVHGGZBMK7RSBWR","target":"record","payload":{"canonical_record":{"source":{"id":"2503.14660","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-03-18T19:09:58Z","cross_cats_sorted":[],"title_canon_sha256":"a6ec0f6fc1ad8b9d368d8bdc083a65ff2c4c274aebf95d52d7a84577f7d439e7","abstract_canon_sha256":"f85f9aa8d2aa0cc627fe6406cbb8b185191eba32c2c258b05440db99a1baa092"},"schema_version":"1.0"},"canonical_sha256":"6e1219f10ee84d1a9cc6c858afc641b45f36e10942ed55ba1c43ae0edcaa83b9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:34:22.133688Z","signature_b64":"fB3fDkWGZ364Ph20kx/gNUYLoJLySRrNbJcq7GUflS23pWpphnGZ3qbjhaNmNMI7jDrIliFxdeKWg4Tg7cfjAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e1219f10ee84d1a9cc6c858afc641b45f36e10942ed55ba1c43ae0edcaa83b9","last_reissued_at":"2026-07-05T10:34:22.132766Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:34:22.132766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.14660","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-05T10:34:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YJ9JsThm0aRAd6/Ob3a3rvP6JzCYxnNuQRrRJppuElou2G8MWDTnBH3hvrw3CjkUu3N6im1VKKp3v04X7jIGAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:12:07.619508Z"},"content_sha256":"97f4bfae33e3cdef9b6f0864762092be9a3095cc3e809cdd8b45debafdcf4c62","schema_version":"1.0","event_id":"sha256:97f4bfae33e3cdef9b6f0864762092be9a3095cc3e809cdd8b45debafdcf4c62"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:NYJBT4IO5BGRVHGGZBMK7RSBWR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Heuristic and Optimal Synthesis of CNOT and Clifford Circuits","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Dan E Browne, Mark Webster, Stergios Koutsioumpas","submitted_at":"2025-03-18T19:09:58Z","abstract_excerpt":"Efficiently implementing Clifford circuits is crucial for quantum error correction and quantum algorithms. Linear reversible circuits, equivalent to circuits composed of CNOT gates, have important applications in classical computing. In this work we present methods for CNOT and general Clifford circuit synthesis which can be used to minimise either the entangling two-qubit gate count or the circuit depth. We present three families of algorithms - optimal synthesis which works on small circuits, A* synthesis for intermediate-size circuits and greedy synthesis for large circuits. We benchmark ag"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.14660","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/2503.14660/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-05T10:34:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3oFZf9c+Xv3R7D5n+gPP5o9LEJUgcLPNzc4bjF9tLE8/2lHoTYwU+Vgbx3Nx5KWEIokBxih9Pz5IQplyc0oLAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:12:07.620027Z"},"content_sha256":"af535981a20b5a36a21f034ffef0d2ed72e91b4dcfd4a1fe1b740eadec0db775","schema_version":"1.0","event_id":"sha256:af535981a20b5a36a21f034ffef0d2ed72e91b4dcfd4a1fe1b740eadec0db775"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NYJBT4IO5BGRVHGGZBMK7RSBWR/bundle.json","state_url":"https://pith.science/pith/NYJBT4IO5BGRVHGGZBMK7RSBWR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NYJBT4IO5BGRVHGGZBMK7RSBWR/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-08-06T09:12:07Z","links":{"resolver":"https://pith.science/pith/NYJBT4IO5BGRVHGGZBMK7RSBWR","bundle":"https://pith.science/pith/NYJBT4IO5BGRVHGGZBMK7RSBWR/bundle.json","state":"https://pith.science/pith/NYJBT4IO5BGRVHGGZBMK7RSBWR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NYJBT4IO5BGRVHGGZBMK7RSBWR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NYJBT4IO5BGRVHGGZBMK7RSBWR","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":"f85f9aa8d2aa0cc627fe6406cbb8b185191eba32c2c258b05440db99a1baa092","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-03-18T19:09:58Z","title_canon_sha256":"a6ec0f6fc1ad8b9d368d8bdc083a65ff2c4c274aebf95d52d7a84577f7d439e7"},"schema_version":"1.0","source":{"id":"2503.14660","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.14660","created_at":"2026-07-05T10:34:22Z"},{"alias_kind":"arxiv_version","alias_value":"2503.14660v1","created_at":"2026-07-05T10:34:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.14660","created_at":"2026-07-05T10:34:22Z"},{"alias_kind":"pith_short_12","alias_value":"NYJBT4IO5BGR","created_at":"2026-07-05T10:34:22Z"},{"alias_kind":"pith_short_16","alias_value":"NYJBT4IO5BGRVHGG","created_at":"2026-07-05T10:34:22Z"},{"alias_kind":"pith_short_8","alias_value":"NYJBT4IO","created_at":"2026-07-05T10:34:22Z"}],"graph_snapshots":[{"event_id":"sha256:af535981a20b5a36a21f034ffef0d2ed72e91b4dcfd4a1fe1b740eadec0db775","target":"graph","created_at":"2026-07-05T10:34:22Z","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/2503.14660/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Efficiently implementing Clifford circuits is crucial for quantum error correction and quantum algorithms. Linear reversible circuits, equivalent to circuits composed of CNOT gates, have important applications in classical computing. In this work we present methods for CNOT and general Clifford circuit synthesis which can be used to minimise either the entangling two-qubit gate count or the circuit depth. We present three families of algorithms - optimal synthesis which works on small circuits, A* synthesis for intermediate-size circuits and greedy synthesis for large circuits. We benchmark ag","authors_text":"Dan E Browne, Mark Webster, Stergios Koutsioumpas","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-03-18T19:09:58Z","title":"Heuristic and Optimal Synthesis of CNOT and Clifford Circuits"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.14660","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:97f4bfae33e3cdef9b6f0864762092be9a3095cc3e809cdd8b45debafdcf4c62","target":"record","created_at":"2026-07-05T10:34:22Z","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":"f85f9aa8d2aa0cc627fe6406cbb8b185191eba32c2c258b05440db99a1baa092","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-03-18T19:09:58Z","title_canon_sha256":"a6ec0f6fc1ad8b9d368d8bdc083a65ff2c4c274aebf95d52d7a84577f7d439e7"},"schema_version":"1.0","source":{"id":"2503.14660","kind":"arxiv","version":1}},"canonical_sha256":"6e1219f10ee84d1a9cc6c858afc641b45f36e10942ed55ba1c43ae0edcaa83b9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6e1219f10ee84d1a9cc6c858afc641b45f36e10942ed55ba1c43ae0edcaa83b9","first_computed_at":"2026-07-05T10:34:22.132766Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:34:22.132766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fB3fDkWGZ364Ph20kx/gNUYLoJLySRrNbJcq7GUflS23pWpphnGZ3qbjhaNmNMI7jDrIliFxdeKWg4Tg7cfjAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:34:22.133688Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.14660","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:97f4bfae33e3cdef9b6f0864762092be9a3095cc3e809cdd8b45debafdcf4c62","sha256:af535981a20b5a36a21f034ffef0d2ed72e91b4dcfd4a1fe1b740eadec0db775"],"state_sha256":"5b893145472af66726d4f86a0d50818b5a0cff87fac2189a1eb2a8be051cf37a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LmfIdFey+7M/xS3s+rzTlO+Zgx058xp0TqkMs38tKQ8b3eoUYEEVloKI02SW5PSXYSTFJQUtlgt0+EZYs19SAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T09:12:07.623632Z","bundle_sha256":"61253540098b88cf85751e9fe455c0196842d1ad672955e225ef20c5c342585e"}}