{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:HKG76CPD32SEISWIMNKOTJVFZH","short_pith_number":"pith:HKG76CPD","canonical_record":{"source":{"id":"2405.13196","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-05-21T20:59:12Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f4bd2d4d85fdbf85136ce92fdf11ab7ea5a406c75fd49aaddf9a873175ec4827","abstract_canon_sha256":"dc7397f975e9cd2d9fb43701267c52873dcd631c430fd2702b8f56250dceeb14"},"schema_version":"1.0"},"canonical_sha256":"3a8dff09e3dea4444ac86354e9a6a5c9f3855df33f7726a73a1bbdb1e767512b","source":{"kind":"arxiv","id":"2405.13196","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.13196","created_at":"2026-07-05T10:20:12Z"},{"alias_kind":"arxiv_version","alias_value":"2405.13196v2","created_at":"2026-07-05T10:20:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.13196","created_at":"2026-07-05T10:20:12Z"},{"alias_kind":"pith_short_12","alias_value":"HKG76CPD32SE","created_at":"2026-07-05T10:20:12Z"},{"alias_kind":"pith_short_16","alias_value":"HKG76CPD32SEISWI","created_at":"2026-07-05T10:20:12Z"},{"alias_kind":"pith_short_8","alias_value":"HKG76CPD","created_at":"2026-07-05T10:20:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:HKG76CPD32SEISWIMNKOTJVFZH","target":"record","payload":{"canonical_record":{"source":{"id":"2405.13196","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-05-21T20:59:12Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f4bd2d4d85fdbf85136ce92fdf11ab7ea5a406c75fd49aaddf9a873175ec4827","abstract_canon_sha256":"dc7397f975e9cd2d9fb43701267c52873dcd631c430fd2702b8f56250dceeb14"},"schema_version":"1.0"},"canonical_sha256":"3a8dff09e3dea4444ac86354e9a6a5c9f3855df33f7726a73a1bbdb1e767512b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:20:12.003480Z","signature_b64":"kklRL04bgjFSOhrDxVRGu71nVg4RBFnZT5/NWkVggxv+8zFUf1GshDQGrUwj9t7tXuLSsrv/fNhhJwfSiWiBCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3a8dff09e3dea4444ac86354e9a6a5c9f3855df33f7726a73a1bbdb1e767512b","last_reissued_at":"2026-07-05T10:20:12.002989Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:20:12.002989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.13196","source_version":2,"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:20:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ACU/g+pFnX1/W4HWC39wILtlnziThiHQT8/fm/B1jZtkRtPXcOrAyMf7swe1bWn1w8LOwu6SYwiI1lP6SJr8Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T10:25:07.508885Z"},"content_sha256":"bbcee5450b758e300ee1037d1bd22b5229cc3396984b3e36fbd924f634468335","schema_version":"1.0","event_id":"sha256:bbcee5450b758e300ee1037d1bd22b5229cc3396984b3e36fbd924f634468335"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:HKG76CPD32SEISWIMNKOTJVFZH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Practical and efficient quantum circuit synthesis and transpiling with Reinforcement Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"quant-ph","authors_text":"David Kremer, Hanhee Paik, Ismael Faro, Ivan Duran, Juan Cruz-Benito, Victor Villar","submitted_at":"2024-05-21T20:59:12Z","abstract_excerpt":"This paper demonstrates the integration of Reinforcement Learning (RL) into quantum transpiling workflows, significantly enhancing the synthesis and routing of quantum circuits. By employing RL, we achieve near-optimal synthesis of Linear Function, Clifford, and Permutation circuits, up to 9, 11 and 65 qubits respectively, while being compatible with native device instruction sets and connectivity constraints, and orders of magnitude faster than optimization methods such as SAT solvers. We also achieve significant reductions in two-qubit gate depth and count for circuit routing up to 133 qubit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.13196","kind":"arxiv","version":2},"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/2405.13196/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:20:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"22fCFfu/ge13fkQmfBbmnGdJ1XqHVPcJtuvXlHUMS6DEbkSa/7s/YH6PcrPXwT3ReX/EzctEeW4lp3bKFVgUBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T10:25:07.509250Z"},"content_sha256":"5b8bc84fb12309941aca3a1f5a4b952a2486f41ef90011ffd665913f1aece5b3","schema_version":"1.0","event_id":"sha256:5b8bc84fb12309941aca3a1f5a4b952a2486f41ef90011ffd665913f1aece5b3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HKG76CPD32SEISWIMNKOTJVFZH/bundle.json","state_url":"https://pith.science/pith/HKG76CPD32SEISWIMNKOTJVFZH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HKG76CPD32SEISWIMNKOTJVFZH/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-07-19T10:25:07Z","links":{"resolver":"https://pith.science/pith/HKG76CPD32SEISWIMNKOTJVFZH","bundle":"https://pith.science/pith/HKG76CPD32SEISWIMNKOTJVFZH/bundle.json","state":"https://pith.science/pith/HKG76CPD32SEISWIMNKOTJVFZH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HKG76CPD32SEISWIMNKOTJVFZH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HKG76CPD32SEISWIMNKOTJVFZH","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":"dc7397f975e9cd2d9fb43701267c52873dcd631c430fd2702b8f56250dceeb14","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-05-21T20:59:12Z","title_canon_sha256":"f4bd2d4d85fdbf85136ce92fdf11ab7ea5a406c75fd49aaddf9a873175ec4827"},"schema_version":"1.0","source":{"id":"2405.13196","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.13196","created_at":"2026-07-05T10:20:12Z"},{"alias_kind":"arxiv_version","alias_value":"2405.13196v2","created_at":"2026-07-05T10:20:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.13196","created_at":"2026-07-05T10:20:12Z"},{"alias_kind":"pith_short_12","alias_value":"HKG76CPD32SE","created_at":"2026-07-05T10:20:12Z"},{"alias_kind":"pith_short_16","alias_value":"HKG76CPD32SEISWI","created_at":"2026-07-05T10:20:12Z"},{"alias_kind":"pith_short_8","alias_value":"HKG76CPD","created_at":"2026-07-05T10:20:12Z"}],"graph_snapshots":[{"event_id":"sha256:5b8bc84fb12309941aca3a1f5a4b952a2486f41ef90011ffd665913f1aece5b3","target":"graph","created_at":"2026-07-05T10:20:12Z","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/2405.13196/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper demonstrates the integration of Reinforcement Learning (RL) into quantum transpiling workflows, significantly enhancing the synthesis and routing of quantum circuits. By employing RL, we achieve near-optimal synthesis of Linear Function, Clifford, and Permutation circuits, up to 9, 11 and 65 qubits respectively, while being compatible with native device instruction sets and connectivity constraints, and orders of magnitude faster than optimization methods such as SAT solvers. We also achieve significant reductions in two-qubit gate depth and count for circuit routing up to 133 qubit","authors_text":"David Kremer, Hanhee Paik, Ismael Faro, Ivan Duran, Juan Cruz-Benito, Victor Villar","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-05-21T20:59:12Z","title":"Practical and efficient quantum circuit synthesis and transpiling with Reinforcement Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.13196","kind":"arxiv","version":2},"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:bbcee5450b758e300ee1037d1bd22b5229cc3396984b3e36fbd924f634468335","target":"record","created_at":"2026-07-05T10:20:12Z","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":"dc7397f975e9cd2d9fb43701267c52873dcd631c430fd2702b8f56250dceeb14","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-05-21T20:59:12Z","title_canon_sha256":"f4bd2d4d85fdbf85136ce92fdf11ab7ea5a406c75fd49aaddf9a873175ec4827"},"schema_version":"1.0","source":{"id":"2405.13196","kind":"arxiv","version":2}},"canonical_sha256":"3a8dff09e3dea4444ac86354e9a6a5c9f3855df33f7726a73a1bbdb1e767512b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a8dff09e3dea4444ac86354e9a6a5c9f3855df33f7726a73a1bbdb1e767512b","first_computed_at":"2026-07-05T10:20:12.002989Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:20:12.002989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kklRL04bgjFSOhrDxVRGu71nVg4RBFnZT5/NWkVggxv+8zFUf1GshDQGrUwj9t7tXuLSsrv/fNhhJwfSiWiBCw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:20:12.003480Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.13196","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bbcee5450b758e300ee1037d1bd22b5229cc3396984b3e36fbd924f634468335","sha256:5b8bc84fb12309941aca3a1f5a4b952a2486f41ef90011ffd665913f1aece5b3"],"state_sha256":"59c07e3122b05bc722ca8ad0f365d2a728c9b986d019528711c76392e21f6824"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9lyMZTOtLtW9G5gjkNp/tpWPHwvrVorC/GJUnd3INcH6kOMoG4cx9DumJCjpN1TKzpV7xNefug92Y36lDyHDDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-19T10:25:07.511608Z","bundle_sha256":"2a89a191f69858bebb1b8b28e4a7863346fa525638a620f5fd4e98272a9d34f7"}}