{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:AIHIHAL2FDNTQAD6LPDRJHJ2XC","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":"50044ef7d9e1f8a60b5f59b8dd241a9635cf3d00ae5fb670a2c9a2360d5e8893","cross_cats_sorted":["math.CT","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-21T13:28:53Z","title_canon_sha256":"ef2d9ea7defb45e27ce56395fe75c08eb07e5f05c2e0a6d94555fae5e49c5db4"},"schema_version":"1.0","source":{"id":"1904.09600","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.09600","created_at":"2026-05-17T23:47:50Z"},{"alias_kind":"arxiv_version","alias_value":"1904.09600v2","created_at":"2026-05-17T23:47:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.09600","created_at":"2026-05-17T23:47:50Z"},{"alias_kind":"pith_short_12","alias_value":"AIHIHAL2FDNT","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AIHIHAL2FDNTQAD6","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AIHIHAL2","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:4b7035d1ec954edf4ad8298266ced6bbda28735403ac06f32b46e84eea2b1af3","target":"graph","created_at":"2026-05-17T23:47:50Z","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"},"paper":{"abstract_excerpt":"We propose a categorical foundation for the connection between pure and mixed states in quantum information and quantum computation. The foundation is based on distributive monoidal categories.\n  First, we prove that the category of all quantum channels is a canonical completion of the category of pure quantum operations (with ancilla preparations). More precisely, we prove that the category of completely positive trace-preserving maps between finite-dimensional C*-algebras is a canonical completion of the category of finite-dimensional vector spaces and isometries.\n  Second, we extend our res","authors_text":"Mathieu Huot, Sam Staton","cross_cats":["math.CT","quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-21T13:28:53Z","title":"Quantum channels as a categorical completion"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.09600","kind":"arxiv","version":2},"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:dc9dad7c4b93fe6a0b30d6fba059ef398f64b0d0aa7d4d2fe41e902e72fac632","target":"record","created_at":"2026-05-17T23:47:50Z","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":"50044ef7d9e1f8a60b5f59b8dd241a9635cf3d00ae5fb670a2c9a2360d5e8893","cross_cats_sorted":["math.CT","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-21T13:28:53Z","title_canon_sha256":"ef2d9ea7defb45e27ce56395fe75c08eb07e5f05c2e0a6d94555fae5e49c5db4"},"schema_version":"1.0","source":{"id":"1904.09600","kind":"arxiv","version":2}},"canonical_sha256":"020e83817a28db38007e5bc7149d3ab88fdb5dc77b209cbecd285c24854e3500","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"020e83817a28db38007e5bc7149d3ab88fdb5dc77b209cbecd285c24854e3500","first_computed_at":"2026-05-17T23:47:50.433024Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:50.433024Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yPBEIfYK2Upb4ri/zDnKi/2ng/N6bzDlNGNy0zVMova+VfyjMaPZ0/6LkrtCg8jVNdsz7p+z87cPgVx/EE6BBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:50.433478Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.09600","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc9dad7c4b93fe6a0b30d6fba059ef398f64b0d0aa7d4d2fe41e902e72fac632","sha256:4b7035d1ec954edf4ad8298266ced6bbda28735403ac06f32b46e84eea2b1af3"],"state_sha256":"188836b83cab0914119c748f5a477181dc58879dc27cbea55437a431e7a570c1"}