{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:ZYXTXZWKGZL4AY3ANGWCSX6DPE","short_pith_number":"pith:ZYXTXZWK","canonical_record":{"source":{"id":"2305.01707","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-05-02T18:17:07Z","cross_cats_sorted":[],"title_canon_sha256":"36b53513817686fe157af93759b5232f90c83ecfe6bb3c85fd38ad2c7363cedc","abstract_canon_sha256":"396d7e9d13c2e821d03bfe82123387e7a6b47e85a9b220f7a776007d173cbeaf"},"schema_version":"1.0"},"canonical_sha256":"ce2f3be6ca3657c0636069ac295fc3793d9f46bb5905b1e0bf7fa722968eac92","source":{"kind":"arxiv","id":"2305.01707","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.01707","created_at":"2026-07-05T06:06:31Z"},{"alias_kind":"arxiv_version","alias_value":"2305.01707v1","created_at":"2026-07-05T06:06:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.01707","created_at":"2026-07-05T06:06:31Z"},{"alias_kind":"pith_short_12","alias_value":"ZYXTXZWKGZL4","created_at":"2026-07-05T06:06:31Z"},{"alias_kind":"pith_short_16","alias_value":"ZYXTXZWKGZL4AY3A","created_at":"2026-07-05T06:06:31Z"},{"alias_kind":"pith_short_8","alias_value":"ZYXTXZWK","created_at":"2026-07-05T06:06:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:ZYXTXZWKGZL4AY3ANGWCSX6DPE","target":"record","payload":{"canonical_record":{"source":{"id":"2305.01707","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-05-02T18:17:07Z","cross_cats_sorted":[],"title_canon_sha256":"36b53513817686fe157af93759b5232f90c83ecfe6bb3c85fd38ad2c7363cedc","abstract_canon_sha256":"396d7e9d13c2e821d03bfe82123387e7a6b47e85a9b220f7a776007d173cbeaf"},"schema_version":"1.0"},"canonical_sha256":"ce2f3be6ca3657c0636069ac295fc3793d9f46bb5905b1e0bf7fa722968eac92","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:06:31.094683Z","signature_b64":"rRjSdAt8a9qlN281dsQeQYKSOLtBnIOS7aqJo2zgoYmW9e1IB9V2BLwAbdpXusiuHLyDrp19LmhiwtNzo4j2DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce2f3be6ca3657c0636069ac295fc3793d9f46bb5905b1e0bf7fa722968eac92","last_reissued_at":"2026-07-05T06:06:31.094227Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:06:31.094227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.01707","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-05T06:06:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p5TQ31iqUnDNUJm6tOxhObyaW9rwmcFnhfqdB703wtrWMbigW95q/zJ1onqDPhsfHqXawcXwdkkiUnF5p1NVCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T11:17:03.461684Z"},"content_sha256":"e1086b371451a7ba4019457ee79fb9254ce803160360f9f801a3b7e440d3f36b","schema_version":"1.0","event_id":"sha256:e1086b371451a7ba4019457ee79fb9254ce803160360f9f801a3b7e440d3f36b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:ZYXTXZWKGZL4AY3ANGWCSX6DPE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Discovering Quantum Circuit Components with Program Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Florian Marquardt, Kevin Ellis, Leopoldo Sarra","submitted_at":"2023-05-02T18:17:07Z","abstract_excerpt":"Despite rapid progress in the field, it is still challenging to discover new ways to take advantage of quantum computation: all quantum algorithms need to be designed by hand, and quantum mechanics is notoriously counterintuitive. In this paper, we study how artificial intelligence, in the form of program synthesis, may help to overcome some of these difficulties, by showing how a computer can incrementally learn concepts relevant for quantum circuit synthesis with experience, and reuse them in unseen tasks. In particular, we focus on the decomposition of unitary matrices into quantum circuits"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.01707","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/2305.01707/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-05T06:06:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"otJZeR2Kbkn+RbUOxXgk6g8d/njmuT1wAFYxcfnLRAigJ/osq/mspCxJAMpuC2VY5Nnxa0EpD5rYJlIHoN9QDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T11:17:03.462183Z"},"content_sha256":"8d9b8bf00af7f45255eb20e6ca1445f825290b920d709cfd9eab02e8b520a70e","schema_version":"1.0","event_id":"sha256:8d9b8bf00af7f45255eb20e6ca1445f825290b920d709cfd9eab02e8b520a70e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/bundle.json","state_url":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/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-09T11:17:03Z","links":{"resolver":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE","bundle":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/bundle.json","state":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ZYXTXZWKGZL4AY3ANGWCSX6DPE","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":"396d7e9d13c2e821d03bfe82123387e7a6b47e85a9b220f7a776007d173cbeaf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-05-02T18:17:07Z","title_canon_sha256":"36b53513817686fe157af93759b5232f90c83ecfe6bb3c85fd38ad2c7363cedc"},"schema_version":"1.0","source":{"id":"2305.01707","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.01707","created_at":"2026-07-05T06:06:31Z"},{"alias_kind":"arxiv_version","alias_value":"2305.01707v1","created_at":"2026-07-05T06:06:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.01707","created_at":"2026-07-05T06:06:31Z"},{"alias_kind":"pith_short_12","alias_value":"ZYXTXZWKGZL4","created_at":"2026-07-05T06:06:31Z"},{"alias_kind":"pith_short_16","alias_value":"ZYXTXZWKGZL4AY3A","created_at":"2026-07-05T06:06:31Z"},{"alias_kind":"pith_short_8","alias_value":"ZYXTXZWK","created_at":"2026-07-05T06:06:31Z"}],"graph_snapshots":[{"event_id":"sha256:8d9b8bf00af7f45255eb20e6ca1445f825290b920d709cfd9eab02e8b520a70e","target":"graph","created_at":"2026-07-05T06:06:31Z","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/2305.01707/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite rapid progress in the field, it is still challenging to discover new ways to take advantage of quantum computation: all quantum algorithms need to be designed by hand, and quantum mechanics is notoriously counterintuitive. In this paper, we study how artificial intelligence, in the form of program synthesis, may help to overcome some of these difficulties, by showing how a computer can incrementally learn concepts relevant for quantum circuit synthesis with experience, and reuse them in unseen tasks. In particular, we focus on the decomposition of unitary matrices into quantum circuits","authors_text":"Florian Marquardt, Kevin Ellis, Leopoldo Sarra","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-05-02T18:17:07Z","title":"Discovering Quantum Circuit Components with Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.01707","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:e1086b371451a7ba4019457ee79fb9254ce803160360f9f801a3b7e440d3f36b","target":"record","created_at":"2026-07-05T06:06:31Z","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":"396d7e9d13c2e821d03bfe82123387e7a6b47e85a9b220f7a776007d173cbeaf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-05-02T18:17:07Z","title_canon_sha256":"36b53513817686fe157af93759b5232f90c83ecfe6bb3c85fd38ad2c7363cedc"},"schema_version":"1.0","source":{"id":"2305.01707","kind":"arxiv","version":1}},"canonical_sha256":"ce2f3be6ca3657c0636069ac295fc3793d9f46bb5905b1e0bf7fa722968eac92","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce2f3be6ca3657c0636069ac295fc3793d9f46bb5905b1e0bf7fa722968eac92","first_computed_at":"2026-07-05T06:06:31.094227Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:06:31.094227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rRjSdAt8a9qlN281dsQeQYKSOLtBnIOS7aqJo2zgoYmW9e1IB9V2BLwAbdpXusiuHLyDrp19LmhiwtNzo4j2DA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:06:31.094683Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.01707","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1086b371451a7ba4019457ee79fb9254ce803160360f9f801a3b7e440d3f36b","sha256:8d9b8bf00af7f45255eb20e6ca1445f825290b920d709cfd9eab02e8b520a70e"],"state_sha256":"e7df931ffcaf1b8bf1c072313b09f8b63063dd8c1fc7716921453ce79c2db318"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NIN83XeBqCSeMeWikEVAHYZf9AwjDj+0YRlw7e5Z8VERVxNnVAOV1mX8SGPHfcPhpdcQ0/r/Sz+eClTCQ/MeDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T11:17:03.466148Z","bundle_sha256":"2e3fe55a083afc1be8d240d993932f507cfe2ddfe82eea7f4e644b32bf22cd8d"}}