{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:3PBNGHK6E5GY5RNTYRIMUPETXU","short_pith_number":"pith:3PBNGHK6","canonical_record":{"source":{"id":"2502.19526","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-26T19:53:54Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"b4191437a3bdf9c5ab15ac426fa9cb8c4cf55223c6b1ff6382a73634f8bc1ce4","abstract_canon_sha256":"1b45384384b66323f611fb545fa9ec89a41b01be722dcb8b17d6d974248c9709"},"schema_version":"1.0"},"canonical_sha256":"dbc2d31d5e274d8ec5b3c450ca3c93bd1cebc15f217b49933d94f305026b2b3b","source":{"kind":"arxiv","id":"2502.19526","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.19526","created_at":"2026-07-05T10:20:48Z"},{"alias_kind":"arxiv_version","alias_value":"2502.19526v1","created_at":"2026-07-05T10:20:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.19526","created_at":"2026-07-05T10:20:48Z"},{"alias_kind":"pith_short_12","alias_value":"3PBNGHK6E5GY","created_at":"2026-07-05T10:20:48Z"},{"alias_kind":"pith_short_16","alias_value":"3PBNGHK6E5GY5RNT","created_at":"2026-07-05T10:20:48Z"},{"alias_kind":"pith_short_8","alias_value":"3PBNGHK6","created_at":"2026-07-05T10:20:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:3PBNGHK6E5GY5RNTYRIMUPETXU","target":"record","payload":{"canonical_record":{"source":{"id":"2502.19526","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-26T19:53:54Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"b4191437a3bdf9c5ab15ac426fa9cb8c4cf55223c6b1ff6382a73634f8bc1ce4","abstract_canon_sha256":"1b45384384b66323f611fb545fa9ec89a41b01be722dcb8b17d6d974248c9709"},"schema_version":"1.0"},"canonical_sha256":"dbc2d31d5e274d8ec5b3c450ca3c93bd1cebc15f217b49933d94f305026b2b3b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:20:48.103873Z","signature_b64":"pfupp4xWSQxwWhEtlQgcokl+pZ4r687u9MecK9GECLMvLtIxCSXrhRBfuIdzbYOqn5gH2yNUouq2Z9/TC6aaBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dbc2d31d5e274d8ec5b3c450ca3c93bd1cebc15f217b49933d94f305026b2b3b","last_reissued_at":"2026-07-05T10:20:48.103349Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:20:48.103349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.19526","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:20:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cHIg+axpSlJtespAisB1QoshR2tZHH0gokwSQ4FKYfcNx5/mgWVLVH81mIuvSAgWrjhc4+WBrNaJONDPGj3YDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T18:48:02.089902Z"},"content_sha256":"5451d4ad288f68e53cca5fbfc93efa9c99328fa81e5ba641a168102f51707dbb","schema_version":"1.0","event_id":"sha256:5451d4ad288f68e53cca5fbfc93efa9c99328fa81e5ba641a168102f51707dbb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:3PBNGHK6E5GY5RNTYRIMUPETXU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Local Optimization of Quantum Circuits (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.PL","authors_text":"Dantong Li, Jatin Arora, Mingkuan Xu, Pengyu Liu, Sam Westrick, Umut A. Acar, Yongshan Ding","submitted_at":"2025-02-26T19:53:54Z","abstract_excerpt":"Recent advances in quantum architectures and computing have motivated the development of new optimizing compilers for quantum programs or circuits. Even though steady progress has been made, existing quantum optimization techniques remain asymptotically and practically inefficient and are unable to offer guarantees on the quality of the optimization. Because many global quantum circuit optimization problems belong to the complexity class QMA (the quantum analog of NP), it is not clear whether quality and efficiency guarantees can both be achieved.\n  In this paper, we present optimization techn"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.19526","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/2502.19526/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:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fBNF3abNXrdjS3haLYmmSqE/AqP11XY/yN/WZkXptEOK1BD+EJ2O0qwYeeguBIB/GnWfsEM3q8u7kvrMVcBODg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T18:48:02.090470Z"},"content_sha256":"a390d9c50e4e42df6954e76a0b3639f1e7211954073c0b348a7bdcad2d5c2fe6","schema_version":"1.0","event_id":"sha256:a390d9c50e4e42df6954e76a0b3639f1e7211954073c0b348a7bdcad2d5c2fe6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3PBNGHK6E5GY5RNTYRIMUPETXU/bundle.json","state_url":"https://pith.science/pith/3PBNGHK6E5GY5RNTYRIMUPETXU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3PBNGHK6E5GY5RNTYRIMUPETXU/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-18T18:48:02Z","links":{"resolver":"https://pith.science/pith/3PBNGHK6E5GY5RNTYRIMUPETXU","bundle":"https://pith.science/pith/3PBNGHK6E5GY5RNTYRIMUPETXU/bundle.json","state":"https://pith.science/pith/3PBNGHK6E5GY5RNTYRIMUPETXU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3PBNGHK6E5GY5RNTYRIMUPETXU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:3PBNGHK6E5GY5RNTYRIMUPETXU","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":"1b45384384b66323f611fb545fa9ec89a41b01be722dcb8b17d6d974248c9709","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-26T19:53:54Z","title_canon_sha256":"b4191437a3bdf9c5ab15ac426fa9cb8c4cf55223c6b1ff6382a73634f8bc1ce4"},"schema_version":"1.0","source":{"id":"2502.19526","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.19526","created_at":"2026-07-05T10:20:48Z"},{"alias_kind":"arxiv_version","alias_value":"2502.19526v1","created_at":"2026-07-05T10:20:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.19526","created_at":"2026-07-05T10:20:48Z"},{"alias_kind":"pith_short_12","alias_value":"3PBNGHK6E5GY","created_at":"2026-07-05T10:20:48Z"},{"alias_kind":"pith_short_16","alias_value":"3PBNGHK6E5GY5RNT","created_at":"2026-07-05T10:20:48Z"},{"alias_kind":"pith_short_8","alias_value":"3PBNGHK6","created_at":"2026-07-05T10:20:48Z"}],"graph_snapshots":[{"event_id":"sha256:a390d9c50e4e42df6954e76a0b3639f1e7211954073c0b348a7bdcad2d5c2fe6","target":"graph","created_at":"2026-07-05T10:20:48Z","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/2502.19526/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in quantum architectures and computing have motivated the development of new optimizing compilers for quantum programs or circuits. Even though steady progress has been made, existing quantum optimization techniques remain asymptotically and practically inefficient and are unable to offer guarantees on the quality of the optimization. Because many global quantum circuit optimization problems belong to the complexity class QMA (the quantum analog of NP), it is not clear whether quality and efficiency guarantees can both be achieved.\n  In this paper, we present optimization techn","authors_text":"Dantong Li, Jatin Arora, Mingkuan Xu, Pengyu Liu, Sam Westrick, Umut A. Acar, Yongshan Ding","cross_cats":["quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-26T19:53:54Z","title":"Local Optimization of Quantum Circuits (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.19526","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:5451d4ad288f68e53cca5fbfc93efa9c99328fa81e5ba641a168102f51707dbb","target":"record","created_at":"2026-07-05T10:20:48Z","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":"1b45384384b66323f611fb545fa9ec89a41b01be722dcb8b17d6d974248c9709","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-26T19:53:54Z","title_canon_sha256":"b4191437a3bdf9c5ab15ac426fa9cb8c4cf55223c6b1ff6382a73634f8bc1ce4"},"schema_version":"1.0","source":{"id":"2502.19526","kind":"arxiv","version":1}},"canonical_sha256":"dbc2d31d5e274d8ec5b3c450ca3c93bd1cebc15f217b49933d94f305026b2b3b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dbc2d31d5e274d8ec5b3c450ca3c93bd1cebc15f217b49933d94f305026b2b3b","first_computed_at":"2026-07-05T10:20:48.103349Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:20:48.103349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pfupp4xWSQxwWhEtlQgcokl+pZ4r687u9MecK9GECLMvLtIxCSXrhRBfuIdzbYOqn5gH2yNUouq2Z9/TC6aaBA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:20:48.103873Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.19526","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5451d4ad288f68e53cca5fbfc93efa9c99328fa81e5ba641a168102f51707dbb","sha256:a390d9c50e4e42df6954e76a0b3639f1e7211954073c0b348a7bdcad2d5c2fe6"],"state_sha256":"b06399fddcb9d656b9f73655e588ff6145d255d9ddf7b8b4e93f48577f0d935d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6XIHHBg9CJlK+CBI/JrimAuLezUY5pKgiPEuV3jVTURuUnvWf2Oi1KA5uh87SsOPCz1MRbrukrgNpvWDhF62CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T18:48:02.098991Z","bundle_sha256":"36a475c56f932483288d83e2f98a02441df66af5ac15c21d1a4627930104c132"}}