{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:WQZWQWE2ZN2UHZNRDMPCYF6JWJ","short_pith_number":"pith:WQZWQWE2","canonical_record":{"source":{"id":"1412.8552","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-30T03:38:03Z","cross_cats_sorted":[],"title_canon_sha256":"2d89dc0bef2e3de646b94a93e8a1a23033048f8cfde164834e55662127390ea7","abstract_canon_sha256":"e01eefa1fddf9f315688fee935539b9ab92e9369791c31b07502f9c7bb356c34"},"schema_version":"1.0"},"canonical_sha256":"b43368589acb7543e5b11b1e2c17c9b27505abd2d960341bee3f5ac1e3224521","source":{"kind":"arxiv","id":"1412.8552","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.8552","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"arxiv_version","alias_value":"1412.8552v1","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.8552","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"pith_short_12","alias_value":"WQZWQWE2ZN2U","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WQZWQWE2ZN2UHZNR","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WQZWQWE2","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:WQZWQWE2ZN2UHZNRDMPCYF6JWJ","target":"record","payload":{"canonical_record":{"source":{"id":"1412.8552","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-30T03:38:03Z","cross_cats_sorted":[],"title_canon_sha256":"2d89dc0bef2e3de646b94a93e8a1a23033048f8cfde164834e55662127390ea7","abstract_canon_sha256":"e01eefa1fddf9f315688fee935539b9ab92e9369791c31b07502f9c7bb356c34"},"schema_version":"1.0"},"canonical_sha256":"b43368589acb7543e5b11b1e2c17c9b27505abd2d960341bee3f5ac1e3224521","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:30:17.098750Z","signature_b64":"nAFZQTNZgnPHCpap1aCAg9OjMmigEKWKMxZRKM3smfyUiJ/tr09y0CjGclBhRb59Uz0NMH472faaslIc715ZCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b43368589acb7543e5b11b1e2c17c9b27505abd2d960341bee3f5ac1e3224521","last_reissued_at":"2026-05-18T02:30:17.098129Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:30:17.098129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.8552","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:30:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7Ht8iZptfbPO/DGVmnr91Uvtkzh3Oz6cT5SEB1ThTQyEhJ4prBDTqhGwUBnt3Oz6omf5R0ij07o0XOBzpqePDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:50:15.436009Z"},"content_sha256":"c0fd6f961cbb60dff50a600137e921b84dc3844420249f123e22ee787e57e513","schema_version":"1.0","event_id":"sha256:c0fd6f961cbb60dff50a600137e921b84dc3844420249f123e22ee787e57e513"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:WQZWQWE2ZN2UHZNRDMPCYF6JWJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tensors, !-graphs, and non-commutative quantum structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Aleks Kissinger (University of Oxford), David Quick (University of Oxford)","submitted_at":"2014-12-30T03:38:03Z","abstract_excerpt":"Categorical quantum mechanics (CQM) and the theory of quantum groups rely heavily on the use of structures that have both an algebraic and co-algebraic component, making them well-suited for manipulation using diagrammatic techniques. Diagrams allow us to easily form complex compositions of (co)algebraic structures, and prove their equality via graph rewriting. One of the biggest challenges in going beyond simple rewriting-based proofs is designing a graphical language that is expressive enough to prove interesting properties (e.g. normal form results) about not just single diagrams, but entir"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.8552","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:30:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AKovwwzJGY16U9lEIVut4KufUx0WSQuTgr4KCiyoDCxMV4yAd0Dx9LPZGdYP8FGwjknjlfrcbC4y0pI6zQaqDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:50:15.436371Z"},"content_sha256":"68dc208ccf41e1372bb8dd9df5861e9a95a78a964203a3e2759c867728741555","schema_version":"1.0","event_id":"sha256:68dc208ccf41e1372bb8dd9df5861e9a95a78a964203a3e2759c867728741555"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WQZWQWE2ZN2UHZNRDMPCYF6JWJ/bundle.json","state_url":"https://pith.science/pith/WQZWQWE2ZN2UHZNRDMPCYF6JWJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WQZWQWE2ZN2UHZNRDMPCYF6JWJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-03T14:50:15Z","links":{"resolver":"https://pith.science/pith/WQZWQWE2ZN2UHZNRDMPCYF6JWJ","bundle":"https://pith.science/pith/WQZWQWE2ZN2UHZNRDMPCYF6JWJ/bundle.json","state":"https://pith.science/pith/WQZWQWE2ZN2UHZNRDMPCYF6JWJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WQZWQWE2ZN2UHZNRDMPCYF6JWJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:WQZWQWE2ZN2UHZNRDMPCYF6JWJ","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":"e01eefa1fddf9f315688fee935539b9ab92e9369791c31b07502f9c7bb356c34","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-30T03:38:03Z","title_canon_sha256":"2d89dc0bef2e3de646b94a93e8a1a23033048f8cfde164834e55662127390ea7"},"schema_version":"1.0","source":{"id":"1412.8552","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.8552","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"arxiv_version","alias_value":"1412.8552v1","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.8552","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"pith_short_12","alias_value":"WQZWQWE2ZN2U","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WQZWQWE2ZN2UHZNR","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WQZWQWE2","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:68dc208ccf41e1372bb8dd9df5861e9a95a78a964203a3e2759c867728741555","target":"graph","created_at":"2026-05-18T02:30:17Z","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":"Categorical quantum mechanics (CQM) and the theory of quantum groups rely heavily on the use of structures that have both an algebraic and co-algebraic component, making them well-suited for manipulation using diagrammatic techniques. Diagrams allow us to easily form complex compositions of (co)algebraic structures, and prove their equality via graph rewriting. One of the biggest challenges in going beyond simple rewriting-based proofs is designing a graphical language that is expressive enough to prove interesting properties (e.g. normal form results) about not just single diagrams, but entir","authors_text":"Aleks Kissinger (University of Oxford), David Quick (University of Oxford)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-30T03:38:03Z","title":"Tensors, !-graphs, and non-commutative quantum structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.8552","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:c0fd6f961cbb60dff50a600137e921b84dc3844420249f123e22ee787e57e513","target":"record","created_at":"2026-05-18T02:30:17Z","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":"e01eefa1fddf9f315688fee935539b9ab92e9369791c31b07502f9c7bb356c34","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-30T03:38:03Z","title_canon_sha256":"2d89dc0bef2e3de646b94a93e8a1a23033048f8cfde164834e55662127390ea7"},"schema_version":"1.0","source":{"id":"1412.8552","kind":"arxiv","version":1}},"canonical_sha256":"b43368589acb7543e5b11b1e2c17c9b27505abd2d960341bee3f5ac1e3224521","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b43368589acb7543e5b11b1e2c17c9b27505abd2d960341bee3f5ac1e3224521","first_computed_at":"2026-05-18T02:30:17.098129Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:30:17.098129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nAFZQTNZgnPHCpap1aCAg9OjMmigEKWKMxZRKM3smfyUiJ/tr09y0CjGclBhRb59Uz0NMH472faaslIc715ZCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:30:17.098750Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.8552","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c0fd6f961cbb60dff50a600137e921b84dc3844420249f123e22ee787e57e513","sha256:68dc208ccf41e1372bb8dd9df5861e9a95a78a964203a3e2759c867728741555"],"state_sha256":"8279cd9d876b980cee97d95f1f686ad847e543fe902ddc126a880e24f10b0f37"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m9EXhcwV58gH4+3SYhlCrv9ujb1CiWfxWbLSPVGSEzF4ZOKQ/aECgaltBD5MSvyf9aB1UESC1sUTT4dkSbZHDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T14:50:15.438265Z","bundle_sha256":"4098c417816c8a040c1189bd9e0344e11dd2b1f29e981cb1a26adfdda5fca823"}}