{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2008:J7F6WOTYVTHC5SYG2BWUFTEFAZ","short_pith_number":"pith:J7F6WOTY","canonical_record":{"source":{"id":"0810.0812","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-10-05T09:37:57Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"31ab71f04b56a924a56aec614b80160d107a4a1e0cc63083bf38dd370a3347b3","abstract_canon_sha256":"3c1ae480373bb91e0da7820298daac012547453e5389fbf2b944bfd2ea66e498"},"schema_version":"1.0"},"canonical_sha256":"4fcbeb3a78acce2ecb06d06d42cc850666c863d0a0127949bd37fb38b038baf8","source":{"kind":"arxiv","id":"0810.0812","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0810.0812","created_at":"2026-05-18T03:37:42Z"},{"alias_kind":"arxiv_version","alias_value":"0810.0812v1","created_at":"2026-05-18T03:37:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0810.0812","created_at":"2026-05-18T03:37:42Z"},{"alias_kind":"pith_short_12","alias_value":"J7F6WOTYVTHC","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_16","alias_value":"J7F6WOTYVTHC5SYG","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_8","alias_value":"J7F6WOTY","created_at":"2026-05-18T12:25:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2008:J7F6WOTYVTHC5SYG2BWUFTEFAZ","target":"record","payload":{"canonical_record":{"source":{"id":"0810.0812","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-10-05T09:37:57Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"31ab71f04b56a924a56aec614b80160d107a4a1e0cc63083bf38dd370a3347b3","abstract_canon_sha256":"3c1ae480373bb91e0da7820298daac012547453e5389fbf2b944bfd2ea66e498"},"schema_version":"1.0"},"canonical_sha256":"4fcbeb3a78acce2ecb06d06d42cc850666c863d0a0127949bd37fb38b038baf8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:37:42.140598Z","signature_b64":"kz66msAbUo7g8V2DzPWZ4C+pELCVyopfEKnvCfCblWlaDyzgV3VQzcUf0G4+HjGhTtyrxjaYPIbILePqMqomDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4fcbeb3a78acce2ecb06d06d42cc850666c863d0a0127949bd37fb38b038baf8","last_reissued_at":"2026-05-18T03:37:42.139863Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:37:42.139863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0810.0812","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-18T03:37:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J9dzXw3ZgJGnWYkKwTyhmSRXrWoPL004DH7/EwJLKI7EtBdjpAdCRaWDiEwuZFAMi/gBng8DRq7Vl8mz9sUGCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T12:53:23.647432Z"},"content_sha256":"ce957a0f76d33e49c3cd96b04f310bf6101d35583f64fef41083dfa5e03668b4","schema_version":"1.0","event_id":"sha256:ce957a0f76d33e49c3cd96b04f310bf6101d35583f64fef41083dfa5e03668b4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2008:J7F6WOTYVTHC5SYG2BWUFTEFAZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A new description of orthogonal bases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"quant-ph","authors_text":"Bob Coecke, Dusko Pavlovic, Jamie Vicary","submitted_at":"2008-10-05T09:37:57Z","abstract_excerpt":"We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative dagger-Frobenius monoid in the category FdHilb, which has finite-dimensional Hilbert spaces as objects and continuous linear maps as morphisms, and tensor product for the monoidal structure. The basis is normalised exactly when the corresponding commutative dagger-Frobenius monoid is special. Hence orthogonal and orthonormal bases can be axiomatised in terms of composition of operations and tensor product only, without any explicit reference to the underlying vector spaces"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0810.0812","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-18T03:37:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VbNluN33YKsqsTTqzZMeJJ+xqR0EfCRzRXedxbFE5/5qnviq69MRoFhAbCYeqovqbXJqrQ6dwjZcQerTg1tlAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T12:53:23.648095Z"},"content_sha256":"3dba9d36c826a4cf86432cb3530b56a0f4ab7f1449d028fd6949e149556054b8","schema_version":"1.0","event_id":"sha256:3dba9d36c826a4cf86432cb3530b56a0f4ab7f1449d028fd6949e149556054b8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J7F6WOTYVTHC5SYG2BWUFTEFAZ/bundle.json","state_url":"https://pith.science/pith/J7F6WOTYVTHC5SYG2BWUFTEFAZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J7F6WOTYVTHC5SYG2BWUFTEFAZ/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-21T12:53:23Z","links":{"resolver":"https://pith.science/pith/J7F6WOTYVTHC5SYG2BWUFTEFAZ","bundle":"https://pith.science/pith/J7F6WOTYVTHC5SYG2BWUFTEFAZ/bundle.json","state":"https://pith.science/pith/J7F6WOTYVTHC5SYG2BWUFTEFAZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J7F6WOTYVTHC5SYG2BWUFTEFAZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:J7F6WOTYVTHC5SYG2BWUFTEFAZ","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":"3c1ae480373bb91e0da7820298daac012547453e5389fbf2b944bfd2ea66e498","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-10-05T09:37:57Z","title_canon_sha256":"31ab71f04b56a924a56aec614b80160d107a4a1e0cc63083bf38dd370a3347b3"},"schema_version":"1.0","source":{"id":"0810.0812","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0810.0812","created_at":"2026-05-18T03:37:42Z"},{"alias_kind":"arxiv_version","alias_value":"0810.0812v1","created_at":"2026-05-18T03:37:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0810.0812","created_at":"2026-05-18T03:37:42Z"},{"alias_kind":"pith_short_12","alias_value":"J7F6WOTYVTHC","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_16","alias_value":"J7F6WOTYVTHC5SYG","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_8","alias_value":"J7F6WOTY","created_at":"2026-05-18T12:25:57Z"}],"graph_snapshots":[{"event_id":"sha256:3dba9d36c826a4cf86432cb3530b56a0f4ab7f1449d028fd6949e149556054b8","target":"graph","created_at":"2026-05-18T03:37:42Z","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 show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative dagger-Frobenius monoid in the category FdHilb, which has finite-dimensional Hilbert spaces as objects and continuous linear maps as morphisms, and tensor product for the monoidal structure. The basis is normalised exactly when the corresponding commutative dagger-Frobenius monoid is special. Hence orthogonal and orthonormal bases can be axiomatised in terms of composition of operations and tensor product only, without any explicit reference to the underlying vector spaces","authors_text":"Bob Coecke, Dusko Pavlovic, Jamie Vicary","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-10-05T09:37:57Z","title":"A new description of orthogonal bases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0810.0812","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:ce957a0f76d33e49c3cd96b04f310bf6101d35583f64fef41083dfa5e03668b4","target":"record","created_at":"2026-05-18T03:37:42Z","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":"3c1ae480373bb91e0da7820298daac012547453e5389fbf2b944bfd2ea66e498","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-10-05T09:37:57Z","title_canon_sha256":"31ab71f04b56a924a56aec614b80160d107a4a1e0cc63083bf38dd370a3347b3"},"schema_version":"1.0","source":{"id":"0810.0812","kind":"arxiv","version":1}},"canonical_sha256":"4fcbeb3a78acce2ecb06d06d42cc850666c863d0a0127949bd37fb38b038baf8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4fcbeb3a78acce2ecb06d06d42cc850666c863d0a0127949bd37fb38b038baf8","first_computed_at":"2026-05-18T03:37:42.139863Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:37:42.139863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kz66msAbUo7g8V2DzPWZ4C+pELCVyopfEKnvCfCblWlaDyzgV3VQzcUf0G4+HjGhTtyrxjaYPIbILePqMqomDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:37:42.140598Z","signed_message":"canonical_sha256_bytes"},"source_id":"0810.0812","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce957a0f76d33e49c3cd96b04f310bf6101d35583f64fef41083dfa5e03668b4","sha256:3dba9d36c826a4cf86432cb3530b56a0f4ab7f1449d028fd6949e149556054b8"],"state_sha256":"6345745e2fee622ff2ac9fefcba665f4fa028879a68df7672a111615885d6ec5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vQOborPvQtniCYXuleaL+0xudHQpv7vPNSRgtGc2DTbBTKJCCjNttSGL822KOR1h15W24SV/ZOWn25StCg+rCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T12:53:23.651424Z","bundle_sha256":"bdbe30cabd411427cdf5045d40e7681efda5af2e6f7fcc5c848a624daff30881"}}