{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:KP4TZLRK5X4UHQXRX7TROHKIIT","short_pith_number":"pith:KP4TZLRK","schema_version":"1.0","canonical_sha256":"53f93cae2aedf943c2f1bfe7171d4844ca78444e5450e395e189298f4d3e70fd","source":{"kind":"arxiv","id":"2105.10914","version":3},"attestation_state":"computed","paper":{"title":"Quantum references","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Dominique Unruh","submitted_at":"2021-05-23T11:11:03Z","abstract_excerpt":"We present a theory of \"quantum references\", similar to lenses in classical functional programming, that allow to point to a subsystem of a larger quantum system, and to mutate/measure that part. Mutable classical variables, quantum registers, and wires in quantum circuits are examples of this, but also references to parts of larger quantum datastructures. Quantum references in our setting can also refer to subparts of other references, or combinations of parts from different references, or quantum references seen in a different basis, etc. Our modeling is intended to be well suited for formal"},"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":"2105.10914","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-05-23T11:11:03Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"c269c5a39e1292a302cc7d199f922abfc0ed8011f7330c670981eee103d79890","abstract_canon_sha256":"06e1967464e691e254d3dbf43b4d6d0fdaef26789cf35497e5317a5813374d07"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:40:02.940732Z","signature_b64":"kv2o8fgzA0nwbmPgK1hVon8k+B4tYQ5c4Nw8tgGbm6w71+DjvYwsC0fRuenAj77p96XYmkGUTnRShVU+aPDOBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"53f93cae2aedf943c2f1bfe7171d4844ca78444e5450e395e189298f4d3e70fd","last_reissued_at":"2026-07-05T08:40:02.940108Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:40:02.940108Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantum references","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Dominique Unruh","submitted_at":"2021-05-23T11:11:03Z","abstract_excerpt":"We present a theory of \"quantum references\", similar to lenses in classical functional programming, that allow to point to a subsystem of a larger quantum system, and to mutate/measure that part. Mutable classical variables, quantum registers, and wires in quantum circuits are examples of this, but also references to parts of larger quantum datastructures. Quantum references in our setting can also refer to subparts of other references, or combinations of parts from different references, or quantum references seen in a different basis, etc. Our modeling is intended to be well suited for formal"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.10914","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/2105.10914/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":"2105.10914","created_at":"2026-07-05T08:40:02.940173+00:00"},{"alias_kind":"arxiv_version","alias_value":"2105.10914v3","created_at":"2026-07-05T08:40:02.940173+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.10914","created_at":"2026-07-05T08:40:02.940173+00:00"},{"alias_kind":"pith_short_12","alias_value":"KP4TZLRK5X4U","created_at":"2026-07-05T08:40:02.940173+00:00"},{"alias_kind":"pith_short_16","alias_value":"KP4TZLRK5X4UHQXR","created_at":"2026-07-05T08:40:02.940173+00:00"},{"alias_kind":"pith_short_8","alias_value":"KP4TZLRK","created_at":"2026-07-05T08:40:02.940173+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2311.14347","citing_title":"Typed compositional quantum computation with lenses","ref_index":18,"is_internal_anchor":false},{"citing_arxiv_id":"2604.24578","citing_title":"Hybrid Path-Sums for Hybrid Quantum Programs","ref_index":88,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KP4TZLRK5X4UHQXRX7TROHKIIT","json":"https://pith.science/pith/KP4TZLRK5X4UHQXRX7TROHKIIT.json","graph_json":"https://pith.science/api/pith-number/KP4TZLRK5X4UHQXRX7TROHKIIT/graph.json","events_json":"https://pith.science/api/pith-number/KP4TZLRK5X4UHQXRX7TROHKIIT/events.json","paper":"https://pith.science/paper/KP4TZLRK"},"agent_actions":{"view_html":"https://pith.science/pith/KP4TZLRK5X4UHQXRX7TROHKIIT","download_json":"https://pith.science/pith/KP4TZLRK5X4UHQXRX7TROHKIIT.json","view_paper":"https://pith.science/paper/KP4TZLRK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2105.10914&json=true","fetch_graph":"https://pith.science/api/pith-number/KP4TZLRK5X4UHQXRX7TROHKIIT/graph.json","fetch_events":"https://pith.science/api/pith-number/KP4TZLRK5X4UHQXRX7TROHKIIT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KP4TZLRK5X4UHQXRX7TROHKIIT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KP4TZLRK5X4UHQXRX7TROHKIIT/action/storage_attestation","attest_author":"https://pith.science/pith/KP4TZLRK5X4UHQXRX7TROHKIIT/action/author_attestation","sign_citation":"https://pith.science/pith/KP4TZLRK5X4UHQXRX7TROHKIIT/action/citation_signature","submit_replication":"https://pith.science/pith/KP4TZLRK5X4UHQXRX7TROHKIIT/action/replication_record"}},"created_at":"2026-07-05T08:40:02.940173+00:00","updated_at":"2026-07-05T08:40:02.940173+00:00"}