{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:BUWZSRBRXV3B3EOTL6U7YFRWQB","short_pith_number":"pith:BUWZSRBR","canonical_record":{"source":{"id":"1803.00708","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-03-02T03:50:27Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"8bdd20003b2b4e125bed1aafac7aa47be616795b1e365d54a4d374e6868899ed","abstract_canon_sha256":"1aa52d018fb6729757702005539f1a096e1e36b4bd8d478083e3476fce7eeabd"},"schema_version":"1.0"},"canonical_sha256":"0d2d994431bd761d91d35fa9fc1636804a194cbcb85576a1b75b280eb97615b3","source":{"kind":"arxiv","id":"1803.00708","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.00708","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"1803.00708v1","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.00708","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"BUWZSRBRXV3B","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BUWZSRBRXV3B3EOT","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BUWZSRBR","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:BUWZSRBRXV3B3EOTL6U7YFRWQB","target":"record","payload":{"canonical_record":{"source":{"id":"1803.00708","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-03-02T03:50:27Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"8bdd20003b2b4e125bed1aafac7aa47be616795b1e365d54a4d374e6868899ed","abstract_canon_sha256":"1aa52d018fb6729757702005539f1a096e1e36b4bd8d478083e3476fce7eeabd"},"schema_version":"1.0"},"canonical_sha256":"0d2d994431bd761d91d35fa9fc1636804a194cbcb85576a1b75b280eb97615b3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:08.068309Z","signature_b64":"9HDRyW5MX87AGJpXURGsjNpTSvXari1R7zXFWZj4qAYj+DEABmLUGiralIRUJzmiMSyC6TEmzj4/xIIpuH7EBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0d2d994431bd761d91d35fa9fc1636804a194cbcb85576a1b75b280eb97615b3","last_reissued_at":"2026-05-18T00:22:08.067789Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:08.067789Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.00708","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-18T00:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OfWfXJhHqoaLdyKvDdcDmkEw+eW6oZ5h5+76YkRJ7jXPTobg0pyCanzLtolIXUmJ8z+NpdHdE0bxMFXDBKjcAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T12:38:28.954346Z"},"content_sha256":"e6e4e4464f7eb04d247f06abaffa20ad9cc9735c0e7ad7ad076910a87a2c991f","schema_version":"1.0","event_id":"sha256:e6e4e4464f7eb04d247f06abaffa20ad9cc9735c0e7ad7ad076910a87a2c991f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:BUWZSRBRXV3B3EOTL6U7YFRWQB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Uniqueness of Composition in Quantum Theory and Linguistics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"quant-ph","authors_text":"Bob Coecke (University of Oxford), Dan Marsden (University of Oxford), Fabrizio Genovese (University of Oxford), Robin Piedeleu (University of Oxford), Stefano Gogioso (University of Oxford)","submitted_at":"2018-03-02T03:50:27Z","abstract_excerpt":"We derive a uniqueness result for non-Cartesian composition of systems in a large class of process theories, with important implications for quantum theory and linguistics. Specifically, we consider theories of wavefunctions valued in commutative involutive semirings -- as modelled by categories of free finite-dimensional modules -- and we prove that the only bilinear compact-closed symmetric monoidal structure is the canonical one (up to linear monoidal equivalence). Our results apply to conventional quantum theory and other toy theories of interest in the literature, such as real quantum the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.00708","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-18T00:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CWBqhEED3Fv/29ey+qNAlPehiRiffFZUcaLeti9sMFPLNiJ/YbQXvsvdrWHN9Fmsa1eLgQ55ImKKu3Uh33+aCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T12:38:28.954717Z"},"content_sha256":"c5ef577e292d1fd551456df31913a460aff3b63b1b955dfaee252b5f793a0076","schema_version":"1.0","event_id":"sha256:c5ef577e292d1fd551456df31913a460aff3b63b1b955dfaee252b5f793a0076"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BUWZSRBRXV3B3EOTL6U7YFRWQB/bundle.json","state_url":"https://pith.science/pith/BUWZSRBRXV3B3EOTL6U7YFRWQB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BUWZSRBRXV3B3EOTL6U7YFRWQB/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-01T12:38:28Z","links":{"resolver":"https://pith.science/pith/BUWZSRBRXV3B3EOTL6U7YFRWQB","bundle":"https://pith.science/pith/BUWZSRBRXV3B3EOTL6U7YFRWQB/bundle.json","state":"https://pith.science/pith/BUWZSRBRXV3B3EOTL6U7YFRWQB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BUWZSRBRXV3B3EOTL6U7YFRWQB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:BUWZSRBRXV3B3EOTL6U7YFRWQB","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":"1aa52d018fb6729757702005539f1a096e1e36b4bd8d478083e3476fce7eeabd","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-03-02T03:50:27Z","title_canon_sha256":"8bdd20003b2b4e125bed1aafac7aa47be616795b1e365d54a4d374e6868899ed"},"schema_version":"1.0","source":{"id":"1803.00708","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.00708","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"1803.00708v1","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.00708","created_at":"2026-05-18T00:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"BUWZSRBRXV3B","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BUWZSRBRXV3B3EOT","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BUWZSRBR","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:c5ef577e292d1fd551456df31913a460aff3b63b1b955dfaee252b5f793a0076","target":"graph","created_at":"2026-05-18T00:22:08Z","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 derive a uniqueness result for non-Cartesian composition of systems in a large class of process theories, with important implications for quantum theory and linguistics. Specifically, we consider theories of wavefunctions valued in commutative involutive semirings -- as modelled by categories of free finite-dimensional modules -- and we prove that the only bilinear compact-closed symmetric monoidal structure is the canonical one (up to linear monoidal equivalence). Our results apply to conventional quantum theory and other toy theories of interest in the literature, such as real quantum the","authors_text":"Bob Coecke (University of Oxford), Dan Marsden (University of Oxford), Fabrizio Genovese (University of Oxford), Robin Piedeleu (University of Oxford), Stefano Gogioso (University of Oxford)","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-03-02T03:50:27Z","title":"Uniqueness of Composition in Quantum Theory and Linguistics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.00708","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:e6e4e4464f7eb04d247f06abaffa20ad9cc9735c0e7ad7ad076910a87a2c991f","target":"record","created_at":"2026-05-18T00:22:08Z","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":"1aa52d018fb6729757702005539f1a096e1e36b4bd8d478083e3476fce7eeabd","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-03-02T03:50:27Z","title_canon_sha256":"8bdd20003b2b4e125bed1aafac7aa47be616795b1e365d54a4d374e6868899ed"},"schema_version":"1.0","source":{"id":"1803.00708","kind":"arxiv","version":1}},"canonical_sha256":"0d2d994431bd761d91d35fa9fc1636804a194cbcb85576a1b75b280eb97615b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0d2d994431bd761d91d35fa9fc1636804a194cbcb85576a1b75b280eb97615b3","first_computed_at":"2026-05-18T00:22:08.067789Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:08.067789Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9HDRyW5MX87AGJpXURGsjNpTSvXari1R7zXFWZj4qAYj+DEABmLUGiralIRUJzmiMSyC6TEmzj4/xIIpuH7EBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:08.068309Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.00708","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e6e4e4464f7eb04d247f06abaffa20ad9cc9735c0e7ad7ad076910a87a2c991f","sha256:c5ef577e292d1fd551456df31913a460aff3b63b1b955dfaee252b5f793a0076"],"state_sha256":"86ed1436e3b097b708c30234590dc79a0a3001e9c04102c7473d7e04219bedfe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q+QA2xcFy8FJw5Adq6EHK9F+TXPNYKMessOwFOUXL6vaS3Wiuc9v4ejyIULXOtK4l8d+5dBOQQFTlELh+rVBCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T12:38:28.956716Z","bundle_sha256":"b4c65ecec9d96f09e867c591afc7e586fcc9717c35aff7b89babf32acbc32e1a"}}