{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:BYMC4E2UJ54UWRIQMZGPPJUL2Q","short_pith_number":"pith:BYMC4E2U","canonical_record":{"source":{"id":"2204.09033","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-04-19T17:52:59Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"04a3f1675df575e21860aa84e05ed79b0f0d539190a91ffd7579872d204dd934","abstract_canon_sha256":"3ac0770cd9c1cc3782c3b0090ddd978463d1355994c433f1deb21f00f9ec8fac"},"schema_version":"1.0"},"canonical_sha256":"0e182e13544f794b4510664cf7a68bd43ab3e856731e078b34facb0f7c168ed6","source":{"kind":"arxiv","id":"2204.09033","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.09033","created_at":"2026-07-05T04:19:08Z"},{"alias_kind":"arxiv_version","alias_value":"2204.09033v2","created_at":"2026-07-05T04:19:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.09033","created_at":"2026-07-05T04:19:08Z"},{"alias_kind":"pith_short_12","alias_value":"BYMC4E2UJ54U","created_at":"2026-07-05T04:19:08Z"},{"alias_kind":"pith_short_16","alias_value":"BYMC4E2UJ54UWRIQ","created_at":"2026-07-05T04:19:08Z"},{"alias_kind":"pith_short_8","alias_value":"BYMC4E2U","created_at":"2026-07-05T04:19:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:BYMC4E2UJ54UWRIQMZGPPJUL2Q","target":"record","payload":{"canonical_record":{"source":{"id":"2204.09033","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-04-19T17:52:59Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"04a3f1675df575e21860aa84e05ed79b0f0d539190a91ffd7579872d204dd934","abstract_canon_sha256":"3ac0770cd9c1cc3782c3b0090ddd978463d1355994c433f1deb21f00f9ec8fac"},"schema_version":"1.0"},"canonical_sha256":"0e182e13544f794b4510664cf7a68bd43ab3e856731e078b34facb0f7c168ed6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:19:08.129205Z","signature_b64":"GGhk2jySeLaPryt5RLLxROOi/BRWOG+DLwcYsM//Pzq2oUnCSIkeyJlIg7cQHSG0XjV7GeBLbEI5vxP2NUqPCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0e182e13544f794b4510664cf7a68bd43ab3e856731e078b34facb0f7c168ed6","last_reissued_at":"2026-07-05T04:19:08.128710Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:19:08.128710Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2204.09033","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-05T04:19:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U6l4o8Yb6SoTdLUb0SorXoA5NG7bg5883v2IPV71sxIlHhUluXS47C29S/calrAHi74pvbmfg5ZTdCZGTXikBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T05:38:52.612137Z"},"content_sha256":"f09e23b95aefe32a1fa29934e1574296c11dbdc27e5727db009afb187509545b","schema_version":"1.0","event_id":"sha256:f09e23b95aefe32a1fa29934e1574296c11dbdc27e5727db009afb187509545b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:BYMC4E2UJ54UWRIQMZGPPJUL2Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quartz: Superoptimization of Quantum Circuits (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.PL","authors_text":"Alex Aiken, Auguste Hirth, Henry Ma, Jens Palsberg, Jessica Pointing, Mingkuan Xu, Oded Padon, Sina Lin, Umut A. Acar, Zhihao Jia, Zikun Li","submitted_at":"2022-04-19T17:52:59Z","abstract_excerpt":"Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort to design and implement circuit transformations for different quantum devices, which use different gate sets, and can miss optimizations that are hard to find manually. We propose Quartz, a quantum circuit superoptimizer that automatically generates and verifies circuit transformations for arbitrary quantum gate sets. For a given gate set, Quartz generates candidate circuit transformations by systematically exploring small circuits and v"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.09033","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/2204.09033/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-05T04:19:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mA/ZwvkFS32193EW8Xfcv0bs5dah/4yFhZLFbp/a6VWTTxi6VDwGymsrmdz1GJ0MvPx1yezrpMURyFra2e+MCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T05:38:52.613086Z"},"content_sha256":"04dbcbb7f138806e5899f34b8be97ff4204357c1c8c11582b4c20679ecc03e13","schema_version":"1.0","event_id":"sha256:04dbcbb7f138806e5899f34b8be97ff4204357c1c8c11582b4c20679ecc03e13"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BYMC4E2UJ54UWRIQMZGPPJUL2Q/bundle.json","state_url":"https://pith.science/pith/BYMC4E2UJ54UWRIQMZGPPJUL2Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BYMC4E2UJ54UWRIQMZGPPJUL2Q/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-01T05:38:52Z","links":{"resolver":"https://pith.science/pith/BYMC4E2UJ54UWRIQMZGPPJUL2Q","bundle":"https://pith.science/pith/BYMC4E2UJ54UWRIQMZGPPJUL2Q/bundle.json","state":"https://pith.science/pith/BYMC4E2UJ54UWRIQMZGPPJUL2Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BYMC4E2UJ54UWRIQMZGPPJUL2Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:BYMC4E2UJ54UWRIQMZGPPJUL2Q","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":"3ac0770cd9c1cc3782c3b0090ddd978463d1355994c433f1deb21f00f9ec8fac","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-04-19T17:52:59Z","title_canon_sha256":"04a3f1675df575e21860aa84e05ed79b0f0d539190a91ffd7579872d204dd934"},"schema_version":"1.0","source":{"id":"2204.09033","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.09033","created_at":"2026-07-05T04:19:08Z"},{"alias_kind":"arxiv_version","alias_value":"2204.09033v2","created_at":"2026-07-05T04:19:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.09033","created_at":"2026-07-05T04:19:08Z"},{"alias_kind":"pith_short_12","alias_value":"BYMC4E2UJ54U","created_at":"2026-07-05T04:19:08Z"},{"alias_kind":"pith_short_16","alias_value":"BYMC4E2UJ54UWRIQ","created_at":"2026-07-05T04:19:08Z"},{"alias_kind":"pith_short_8","alias_value":"BYMC4E2U","created_at":"2026-07-05T04:19:08Z"}],"graph_snapshots":[{"event_id":"sha256:04dbcbb7f138806e5899f34b8be97ff4204357c1c8c11582b4c20679ecc03e13","target":"graph","created_at":"2026-07-05T04:19:08Z","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/2204.09033/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort to design and implement circuit transformations for different quantum devices, which use different gate sets, and can miss optimizations that are hard to find manually. We propose Quartz, a quantum circuit superoptimizer that automatically generates and verifies circuit transformations for arbitrary quantum gate sets. For a given gate set, Quartz generates candidate circuit transformations by systematically exploring small circuits and v","authors_text":"Alex Aiken, Auguste Hirth, Henry Ma, Jens Palsberg, Jessica Pointing, Mingkuan Xu, Oded Padon, Sina Lin, Umut A. Acar, Zhihao Jia, Zikun Li","cross_cats":["quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-04-19T17:52:59Z","title":"Quartz: Superoptimization of Quantum Circuits (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.09033","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:f09e23b95aefe32a1fa29934e1574296c11dbdc27e5727db009afb187509545b","target":"record","created_at":"2026-07-05T04:19:08Z","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":"3ac0770cd9c1cc3782c3b0090ddd978463d1355994c433f1deb21f00f9ec8fac","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-04-19T17:52:59Z","title_canon_sha256":"04a3f1675df575e21860aa84e05ed79b0f0d539190a91ffd7579872d204dd934"},"schema_version":"1.0","source":{"id":"2204.09033","kind":"arxiv","version":2}},"canonical_sha256":"0e182e13544f794b4510664cf7a68bd43ab3e856731e078b34facb0f7c168ed6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0e182e13544f794b4510664cf7a68bd43ab3e856731e078b34facb0f7c168ed6","first_computed_at":"2026-07-05T04:19:08.128710Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:19:08.128710Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GGhk2jySeLaPryt5RLLxROOi/BRWOG+DLwcYsM//Pzq2oUnCSIkeyJlIg7cQHSG0XjV7GeBLbEI5vxP2NUqPCw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:19:08.129205Z","signed_message":"canonical_sha256_bytes"},"source_id":"2204.09033","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f09e23b95aefe32a1fa29934e1574296c11dbdc27e5727db009afb187509545b","sha256:04dbcbb7f138806e5899f34b8be97ff4204357c1c8c11582b4c20679ecc03e13"],"state_sha256":"bcf8da56dc83c12d6f1ed7a37faecfdcfc4946d50bd59778f8fe180748ad535e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FWmv44MdySvMFQFsOamlO8+v1wF1X8D8GKTca4sDB/zP4+zK2n7+MZT49pdbTkjgrgIjkprQrnx5cw8n+ySQAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T05:38:52.618322Z","bundle_sha256":"3d43baf09b7532040981684697e29f0951909ab0401f844332a57762ae6d0107"}}