{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RSAN2B4CLS5CSKIQ7QWFUQXQCT","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"97d6b113b17d2eb0afe083712040773749f918b6a45d7b4672f2d40d1052cc9c","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-08-10T13:13:54Z","title_canon_sha256":"7dd2a8c69564fd244f6af46f7f59d8ff7cedc5c983764ad057241360312646ee"},"schema_version":"1.0","source":{"id":"2608.09578","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.09578","created_at":"2026-08-11T02:24:32Z"},{"alias_kind":"arxiv_version","alias_value":"2608.09578v1","created_at":"2026-08-11T02:24:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.09578","created_at":"2026-08-11T02:24:32Z"},{"alias_kind":"pith_short_12","alias_value":"RSAN2B4CLS5C","created_at":"2026-08-11T02:24:32Z"},{"alias_kind":"pith_short_16","alias_value":"RSAN2B4CLS5CSKIQ","created_at":"2026-08-11T02:24:32Z"},{"alias_kind":"pith_short_8","alias_value":"RSAN2B4C","created_at":"2026-08-11T02:24:32Z"}],"graph_snapshots":[{"event_id":"sha256:c901e3c33eb7386ebe39ed9f66db0bf1513aee69f6cb56a3b79e0fd23c0018b6","target":"graph","created_at":"2026-08-11T02:24:32Z","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/2608.09578/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automatic uncomputation aims to provide programming-language-level support to facilitate the correct and safe use of ancilla qubits in quantum computing, but efforts have only been made for clean ancillas, leaving dirty ancillas unexplored. We present a unified formalization of the uncomputation of both clean and dirty ancillas. For the first time, we prove that checking the existence of uncomputation is coNP-hard. We introduce two complementary synthesis-oriented existence-checking methods: a rewrite-based normalization algorithm (RwUn) and a template-based reasoning system (TpUn) that guaran","authors_text":"Boning Meng, Chenke Liu, Li Zhou","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-08-10T13:13:54Z","title":"Quantum Uncomputation of Clean and Dirty Ancilla Qubits"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.09578","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:cba02beb40fe1558b29bcc36f5441c109730654f59a1bb6045cc81958e92d511","target":"record","created_at":"2026-08-11T02:24:32Z","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":"97d6b113b17d2eb0afe083712040773749f918b6a45d7b4672f2d40d1052cc9c","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-08-10T13:13:54Z","title_canon_sha256":"7dd2a8c69564fd244f6af46f7f59d8ff7cedc5c983764ad057241360312646ee"},"schema_version":"1.0","source":{"id":"2608.09578","kind":"arxiv","version":1}},"canonical_sha256":"8c80dd07825cba292910fc2c5a42f014ee15fa45c4ab7dcb57c29f49ddfde91f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8c80dd07825cba292910fc2c5a42f014ee15fa45c4ab7dcb57c29f49ddfde91f","first_computed_at":"2026-08-11T02:24:32.606673Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-11T02:24:32.606673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mBdg36xAlodXUgZxXdlf1q7qkn5ey/TrqQS50fPmk1eS5q+U0xOoKA7QTlMMGUsrGbKvp0CUAJyMB+r0yY/KDg==","signature_status":"signed_v1","signed_at":"2026-08-11T02:24:32.608902Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.09578","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:4b7168fbf696edd1419fc167f515d71f30b57c862919a5cc5c7d35625f84bcef","sha256:b3e15f2091005463fd7823ccd47aad99893b28e6fcf3d92ee53ce25a9f327c4a"]}],"invalid_events":[],"applied_event_ids":["sha256:cba02beb40fe1558b29bcc36f5441c109730654f59a1bb6045cc81958e92d511","sha256:c901e3c33eb7386ebe39ed9f66db0bf1513aee69f6cb56a3b79e0fd23c0018b6"],"state_sha256":"2a52193ed648c62532cf46f1d7635247ccb2496c987999f24a7d3a066ecc9a2a"}