{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:3UJADGHX7V3WDCRVA3HCZDPUPX","short_pith_number":"pith:3UJADGHX","canonical_record":{"source":{"id":"1108.1978","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2011-08-09T16:47:37Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"00fc2a1f5e22cd30a6ab1f249c80abc03436b896738f8593765f1f29e3594cfe","abstract_canon_sha256":"4dc3be5dcf6e16ae4c4c33fd47697b3cc2d73baa37984903353500c135f8d5dc"},"schema_version":"1.0"},"canonical_sha256":"dd120198f7fd77618a3506ce2c8df47dc8a8e70ea065b01e4f7ed92fa3ed567f","source":{"kind":"arxiv","id":"1108.1978","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.1978","created_at":"2026-05-18T04:15:50Z"},{"alias_kind":"arxiv_version","alias_value":"1108.1978v1","created_at":"2026-05-18T04:15:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.1978","created_at":"2026-05-18T04:15:50Z"},{"alias_kind":"pith_short_12","alias_value":"3UJADGHX7V3W","created_at":"2026-05-18T12:26:20Z"},{"alias_kind":"pith_short_16","alias_value":"3UJADGHX7V3WDCRV","created_at":"2026-05-18T12:26:20Z"},{"alias_kind":"pith_short_8","alias_value":"3UJADGHX","created_at":"2026-05-18T12:26:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:3UJADGHX7V3WDCRVA3HCZDPUPX","target":"record","payload":{"canonical_record":{"source":{"id":"1108.1978","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2011-08-09T16:47:37Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"00fc2a1f5e22cd30a6ab1f249c80abc03436b896738f8593765f1f29e3594cfe","abstract_canon_sha256":"4dc3be5dcf6e16ae4c4c33fd47697b3cc2d73baa37984903353500c135f8d5dc"},"schema_version":"1.0"},"canonical_sha256":"dd120198f7fd77618a3506ce2c8df47dc8a8e70ea065b01e4f7ed92fa3ed567f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:15:50.774584Z","signature_b64":"loZxCtZ1m+jWMsNDOGZLgy4Y5VifaJOFTCvMUwxlpoHpGEgWdtfRALL06QgtYmImKiFfgL0fsMIqzC6bopKqBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd120198f7fd77618a3506ce2c8df47dc8a8e70ea065b01e4f7ed92fa3ed567f","last_reissued_at":"2026-05-18T04:15:50.774040Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:15:50.774040Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.1978","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-18T04:15:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gyD2h0X0u714YGIkNqvW+Qs64t30yhns3VJlINOp675EVDn/yIaBbAEkDwYNtVOhICaAphSKWWoOY6u6LJbhDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T22:45:52.693093Z"},"content_sha256":"a5c43e8e5f4a809540338cf5be274da953a72baae971811ac2919b33a3ce1704","schema_version":"1.0","event_id":"sha256:a5c43e8e5f4a809540338cf5be274da953a72baae971811ac2919b33a3ce1704"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:3UJADGHX7V3WDCRVA3HCZDPUPX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Spekkens's toy theory as a category of processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"quant-ph","authors_text":"Bill Edwards, Bob Coecke","submitted_at":"2011-08-09T16:47:37Z","abstract_excerpt":"We provide two mathematical descriptions of Spekkens's toy qubit theory, an inductively one in terms of a small set of generators, as well as an explicit closed form description. It is a subcategory MSpek of the category of finite sets, relations and the cartesian product. States of maximal knowledge form a subcategory Spek. This establishes the consistency of the toy theory, which has previously only been constructed for at most four systems. Our model also shows that the theory is closed under both parallel and sequential composition of operations (= symmetric monoidal structure), that it ob"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.1978","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-18T04:15:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wQtQNi/bfKKv2cOF2GM6XEmlPk3ZL0Y702zyObMdRj8LFgF3nHOqz8Stw6xBImLcsJ/wBvZhzPmes8ZWtrYCAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T22:45:52.693689Z"},"content_sha256":"87e4ebebb2405bbd2e7eb3a7e3ff06b5b57324ab73196ba6180cf4692b0f8685","schema_version":"1.0","event_id":"sha256:87e4ebebb2405bbd2e7eb3a7e3ff06b5b57324ab73196ba6180cf4692b0f8685"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3UJADGHX7V3WDCRVA3HCZDPUPX/bundle.json","state_url":"https://pith.science/pith/3UJADGHX7V3WDCRVA3HCZDPUPX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3UJADGHX7V3WDCRVA3HCZDPUPX/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-05-21T22:45:52Z","links":{"resolver":"https://pith.science/pith/3UJADGHX7V3WDCRVA3HCZDPUPX","bundle":"https://pith.science/pith/3UJADGHX7V3WDCRVA3HCZDPUPX/bundle.json","state":"https://pith.science/pith/3UJADGHX7V3WDCRVA3HCZDPUPX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3UJADGHX7V3WDCRVA3HCZDPUPX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:3UJADGHX7V3WDCRVA3HCZDPUPX","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":"4dc3be5dcf6e16ae4c4c33fd47697b3cc2d73baa37984903353500c135f8d5dc","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2011-08-09T16:47:37Z","title_canon_sha256":"00fc2a1f5e22cd30a6ab1f249c80abc03436b896738f8593765f1f29e3594cfe"},"schema_version":"1.0","source":{"id":"1108.1978","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.1978","created_at":"2026-05-18T04:15:50Z"},{"alias_kind":"arxiv_version","alias_value":"1108.1978v1","created_at":"2026-05-18T04:15:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.1978","created_at":"2026-05-18T04:15:50Z"},{"alias_kind":"pith_short_12","alias_value":"3UJADGHX7V3W","created_at":"2026-05-18T12:26:20Z"},{"alias_kind":"pith_short_16","alias_value":"3UJADGHX7V3WDCRV","created_at":"2026-05-18T12:26:20Z"},{"alias_kind":"pith_short_8","alias_value":"3UJADGHX","created_at":"2026-05-18T12:26:20Z"}],"graph_snapshots":[{"event_id":"sha256:87e4ebebb2405bbd2e7eb3a7e3ff06b5b57324ab73196ba6180cf4692b0f8685","target":"graph","created_at":"2026-05-18T04:15: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 provide two mathematical descriptions of Spekkens's toy qubit theory, an inductively one in terms of a small set of generators, as well as an explicit closed form description. It is a subcategory MSpek of the category of finite sets, relations and the cartesian product. States of maximal knowledge form a subcategory Spek. This establishes the consistency of the toy theory, which has previously only been constructed for at most four systems. Our model also shows that the theory is closed under both parallel and sequential composition of operations (= symmetric monoidal structure), that it ob","authors_text":"Bill Edwards, Bob Coecke","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2011-08-09T16:47:37Z","title":"Spekkens's toy theory as a category of processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.1978","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:a5c43e8e5f4a809540338cf5be274da953a72baae971811ac2919b33a3ce1704","target":"record","created_at":"2026-05-18T04:15: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":"4dc3be5dcf6e16ae4c4c33fd47697b3cc2d73baa37984903353500c135f8d5dc","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2011-08-09T16:47:37Z","title_canon_sha256":"00fc2a1f5e22cd30a6ab1f249c80abc03436b896738f8593765f1f29e3594cfe"},"schema_version":"1.0","source":{"id":"1108.1978","kind":"arxiv","version":1}},"canonical_sha256":"dd120198f7fd77618a3506ce2c8df47dc8a8e70ea065b01e4f7ed92fa3ed567f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd120198f7fd77618a3506ce2c8df47dc8a8e70ea065b01e4f7ed92fa3ed567f","first_computed_at":"2026-05-18T04:15:50.774040Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:15:50.774040Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"loZxCtZ1m+jWMsNDOGZLgy4Y5VifaJOFTCvMUwxlpoHpGEgWdtfRALL06QgtYmImKiFfgL0fsMIqzC6bopKqBw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:15:50.774584Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.1978","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a5c43e8e5f4a809540338cf5be274da953a72baae971811ac2919b33a3ce1704","sha256:87e4ebebb2405bbd2e7eb3a7e3ff06b5b57324ab73196ba6180cf4692b0f8685"],"state_sha256":"674b1136136f8ff72700ef6acfc0a645782046098c93a135d207d093e141f283"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o1WE3MH0gslsv86HTKJbwcgw2qd1obq4shVuOmUaPJE/P6qtHs1PuyXF1HzheNE/RvmBAm9LxPNn9bKbmnb2Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T22:45:52.696679Z","bundle_sha256":"3fd853be5e9a77bb76d6b9e3ac06fe84a6dcedf0823b24c0a189d34b3fe92f83"}}