{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:WKMPZN5FHGYM73FGE7TA2NW3LR","short_pith_number":"pith:WKMPZN5F","schema_version":"1.0","canonical_sha256":"b298fcb7a539b0cfeca627e60d36db5c7cbc6e3e151bc3a61d3aa2158ed47d52","source":{"kind":"arxiv","id":"2205.10255","version":3},"attestation_state":"computed","paper":{"title":"Tower: Data Structures in Quantum Superposition","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.PL","authors_text":"Charles Yuan, Michael Carbin","submitted_at":"2022-05-20T15:36:33Z","abstract_excerpt":"Emerging quantum algorithms for problems such as element distinctness, subset sum, and closest pair demonstrate computational advantages by relying on abstract data structures. Practically realizing such an algorithm as a program for a quantum computer requires an efficient implementation of the data structure whose operations correspond to unitary operators that manipulate quantum superpositions of data.\n  To correctly operate in superposition, an implementation must satisfy three properties -- reversibility, history independence, and bounded-time execution. Standard implementations, such as "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2205.10255","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-05-20T15:36:33Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"3e643fc9c997acf6c7b2019bc6bfc7a7429126c826e9a3d044b9cfb23ab7bfe0","abstract_canon_sha256":"ba3480fda642529ca4ba9c18539176aa2df76c374da0a2965bfe92a0918d1d66"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:58:04.172304Z","signature_b64":"17JgZVqNuZMkk3kkktHCEngytKYdJCewCtISNyl/Wntai5fvSj66L2Zf8RGWaJ7xnTmwq7YisjyZcLiJrNoLBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b298fcb7a539b0cfeca627e60d36db5c7cbc6e3e151bc3a61d3aa2158ed47d52","last_reissued_at":"2026-07-05T04:58:04.171886Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:58:04.171886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tower: Data Structures in Quantum Superposition","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.PL","authors_text":"Charles Yuan, Michael Carbin","submitted_at":"2022-05-20T15:36:33Z","abstract_excerpt":"Emerging quantum algorithms for problems such as element distinctness, subset sum, and closest pair demonstrate computational advantages by relying on abstract data structures. Practically realizing such an algorithm as a program for a quantum computer requires an efficient implementation of the data structure whose operations correspond to unitary operators that manipulate quantum superpositions of data.\n  To correctly operate in superposition, an implementation must satisfy three properties -- reversibility, history independence, and bounded-time execution. Standard implementations, such as "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.10255","kind":"arxiv","version":3},"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/2205.10255/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2205.10255","created_at":"2026-07-05T04:58:04.171941+00:00"},{"alias_kind":"arxiv_version","alias_value":"2205.10255v3","created_at":"2026-07-05T04:58:04.171941+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.10255","created_at":"2026-07-05T04:58:04.171941+00:00"},{"alias_kind":"pith_short_12","alias_value":"WKMPZN5FHGYM","created_at":"2026-07-05T04:58:04.171941+00:00"},{"alias_kind":"pith_short_16","alias_value":"WKMPZN5FHGYM73FG","created_at":"2026-07-05T04:58:04.171941+00:00"},{"alias_kind":"pith_short_8","alias_value":"WKMPZN5F","created_at":"2026-07-05T04:58:04.171941+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WKMPZN5FHGYM73FGE7TA2NW3LR","json":"https://pith.science/pith/WKMPZN5FHGYM73FGE7TA2NW3LR.json","graph_json":"https://pith.science/api/pith-number/WKMPZN5FHGYM73FGE7TA2NW3LR/graph.json","events_json":"https://pith.science/api/pith-number/WKMPZN5FHGYM73FGE7TA2NW3LR/events.json","paper":"https://pith.science/paper/WKMPZN5F"},"agent_actions":{"view_html":"https://pith.science/pith/WKMPZN5FHGYM73FGE7TA2NW3LR","download_json":"https://pith.science/pith/WKMPZN5FHGYM73FGE7TA2NW3LR.json","view_paper":"https://pith.science/paper/WKMPZN5F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2205.10255&json=true","fetch_graph":"https://pith.science/api/pith-number/WKMPZN5FHGYM73FGE7TA2NW3LR/graph.json","fetch_events":"https://pith.science/api/pith-number/WKMPZN5FHGYM73FGE7TA2NW3LR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WKMPZN5FHGYM73FGE7TA2NW3LR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WKMPZN5FHGYM73FGE7TA2NW3LR/action/storage_attestation","attest_author":"https://pith.science/pith/WKMPZN5FHGYM73FGE7TA2NW3LR/action/author_attestation","sign_citation":"https://pith.science/pith/WKMPZN5FHGYM73FGE7TA2NW3LR/action/citation_signature","submit_replication":"https://pith.science/pith/WKMPZN5FHGYM73FGE7TA2NW3LR/action/replication_record"}},"created_at":"2026-07-05T04:58:04.171941+00:00","updated_at":"2026-07-05T04:58:04.171941+00:00"}