{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:KP4TZLRK5X4UHQXRX7TROHKIIT","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":"06e1967464e691e254d3dbf43b4d6d0fdaef26789cf35497e5317a5813374d07","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-05-23T11:11:03Z","title_canon_sha256":"c269c5a39e1292a302cc7d199f922abfc0ed8011f7330c670981eee103d79890"},"schema_version":"1.0","source":{"id":"2105.10914","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.10914","created_at":"2026-07-05T08:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"2105.10914v3","created_at":"2026-07-05T08:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.10914","created_at":"2026-07-05T08:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"KP4TZLRK5X4U","created_at":"2026-07-05T08:40:02Z"},{"alias_kind":"pith_short_16","alias_value":"KP4TZLRK5X4UHQXR","created_at":"2026-07-05T08:40:02Z"},{"alias_kind":"pith_short_8","alias_value":"KP4TZLRK","created_at":"2026-07-05T08:40:02Z"}],"graph_snapshots":[{"event_id":"sha256:89d3f78a25f958b1a8484f9697b65f727a89acb0aecfe03637e66a0d8550bd9b","target":"graph","created_at":"2026-07-05T08:40:02Z","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/2105.10914/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Dominique Unruh","cross_cats":["quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-05-23T11:11:03Z","title":"Quantum references"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.10914","kind":"arxiv","version":3},"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:f353aa5671291241ac23af7fbb0591dc28c57c5fdb962bc38f29e696121840c2","target":"record","created_at":"2026-07-05T08:40:02Z","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":"06e1967464e691e254d3dbf43b4d6d0fdaef26789cf35497e5317a5813374d07","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-05-23T11:11:03Z","title_canon_sha256":"c269c5a39e1292a302cc7d199f922abfc0ed8011f7330c670981eee103d79890"},"schema_version":"1.0","source":{"id":"2105.10914","kind":"arxiv","version":3}},"canonical_sha256":"53f93cae2aedf943c2f1bfe7171d4844ca78444e5450e395e189298f4d3e70fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"53f93cae2aedf943c2f1bfe7171d4844ca78444e5450e395e189298f4d3e70fd","first_computed_at":"2026-07-05T08:40:02.940108Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:40:02.940108Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kv2o8fgzA0nwbmPgK1hVon8k+B4tYQ5c4Nw8tgGbm6w71+DjvYwsC0fRuenAj77p96XYmkGUTnRShVU+aPDOBg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:40:02.940732Z","signed_message":"canonical_sha256_bytes"},"source_id":"2105.10914","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f353aa5671291241ac23af7fbb0591dc28c57c5fdb962bc38f29e696121840c2","sha256:89d3f78a25f958b1a8484f9697b65f727a89acb0aecfe03637e66a0d8550bd9b"],"state_sha256":"9b7fd86fe9a03dea155468cb1fff38bded0ce58e46dd133cf13c77ff4daf7183"}