{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:4LS75J4FNLBQ4BCMW3QWQT7K7F","short_pith_number":"pith:4LS75J4F","canonical_record":{"source":{"id":"1705.07310","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-20T14:17:58Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"d90aaa7e4770e9eb918532b5aa76dde8a0b48eaa4d61c2ac1377e629d68535cb","abstract_canon_sha256":"e17075ac864cfcfc8b5f760d6bf4ef1ced786688d93ce10bd28ccde63f2a41a4"},"schema_version":"1.0"},"canonical_sha256":"e2e5fea7856ac30e044cb6e1684feaf94af2da11509ddbab37a64ac5f847b1f4","source":{"kind":"arxiv","id":"1705.07310","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.07310","created_at":"2026-07-05T02:20:50Z"},{"alias_kind":"arxiv_version","alias_value":"1705.07310v1","created_at":"2026-07-05T02:20:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.07310","created_at":"2026-07-05T02:20:50Z"},{"alias_kind":"pith_short_12","alias_value":"4LS75J4FNLBQ","created_at":"2026-07-05T02:20:50Z"},{"alias_kind":"pith_short_16","alias_value":"4LS75J4FNLBQ4BCM","created_at":"2026-07-05T02:20:50Z"},{"alias_kind":"pith_short_8","alias_value":"4LS75J4F","created_at":"2026-07-05T02:20:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:4LS75J4FNLBQ4BCMW3QWQT7K7F","target":"record","payload":{"canonical_record":{"source":{"id":"1705.07310","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-20T14:17:58Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"d90aaa7e4770e9eb918532b5aa76dde8a0b48eaa4d61c2ac1377e629d68535cb","abstract_canon_sha256":"e17075ac864cfcfc8b5f760d6bf4ef1ced786688d93ce10bd28ccde63f2a41a4"},"schema_version":"1.0"},"canonical_sha256":"e2e5fea7856ac30e044cb6e1684feaf94af2da11509ddbab37a64ac5f847b1f4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:20:50.877634Z","signature_b64":"TLoQYW4HvsJyOZiqj+UTOh9D7PWhrjcp9TJy4x9QO2fnJVHCxOXM7jaBs3UBYBs+OD/eWbiSxoQhd7nyiPPkAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2e5fea7856ac30e044cb6e1684feaf94af2da11509ddbab37a64ac5f847b1f4","last_reissued_at":"2026-07-05T02:20:50.877141Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:20:50.877141Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.07310","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-07-05T02:20:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pOczqg8DJ+KgUXS+HGLiJ1grnzGaBycKxg9B7QrtBslLVMFervP8ID++YJM6zjttqW4ftrg//ZkLTkd9ObmKAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:03:59.862184Z"},"content_sha256":"e9241b579ec23be7af7b28321dced7b56d015400081e184aafe19e22022a87a0","schema_version":"1.0","event_id":"sha256:e9241b579ec23be7af7b28321dced7b56d015400081e184aafe19e22022a87a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:4LS75J4FNLBQ4BCMW3QWQT7K7F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Quantum Monad on Relational Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Nadish de Silva, Octavio Zapata, Rui Soares Barbosa, Samson Abramsky","submitted_at":"2017-05-20T14:17:58Z","abstract_excerpt":"Homomorphisms between relational structures play a central role in finite model theory, constraint satisfaction and database theory. A central theme in quantum computation is to show how quantum resources can be used to gain advantage in information processing tasks. In particular, non-local games have been used to exhibit quantum advantage in boolean constraint satisfaction, and to obtain quantum versions of graph invariants such as the chromatic number. We show how quantum strategies for homomorphism games between relational structures can be viewed as Kleisli morphisms for a quantum monad o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.07310","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1705.07310/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T02:20:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ol1UzE/PN0FmsLypxpGxJLPYyGgJ6AihH65xaII3ele6pnlAK9itsbBtFU/5xD0S0cfSIk0Th51GxXdVwvQQDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:03:59.862565Z"},"content_sha256":"7746e96a9a0663f1bc6f4b586cd3940692f97fa43517f74aa6b389d98912b016","schema_version":"1.0","event_id":"sha256:7746e96a9a0663f1bc6f4b586cd3940692f97fa43517f74aa6b389d98912b016"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4LS75J4FNLBQ4BCMW3QWQT7K7F/bundle.json","state_url":"https://pith.science/pith/4LS75J4FNLBQ4BCMW3QWQT7K7F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4LS75J4FNLBQ4BCMW3QWQT7K7F/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-07-09T05:03:59Z","links":{"resolver":"https://pith.science/pith/4LS75J4FNLBQ4BCMW3QWQT7K7F","bundle":"https://pith.science/pith/4LS75J4FNLBQ4BCMW3QWQT7K7F/bundle.json","state":"https://pith.science/pith/4LS75J4FNLBQ4BCMW3QWQT7K7F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4LS75J4FNLBQ4BCMW3QWQT7K7F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4LS75J4FNLBQ4BCMW3QWQT7K7F","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":"e17075ac864cfcfc8b5f760d6bf4ef1ced786688d93ce10bd28ccde63f2a41a4","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-20T14:17:58Z","title_canon_sha256":"d90aaa7e4770e9eb918532b5aa76dde8a0b48eaa4d61c2ac1377e629d68535cb"},"schema_version":"1.0","source":{"id":"1705.07310","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.07310","created_at":"2026-07-05T02:20:50Z"},{"alias_kind":"arxiv_version","alias_value":"1705.07310v1","created_at":"2026-07-05T02:20:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.07310","created_at":"2026-07-05T02:20:50Z"},{"alias_kind":"pith_short_12","alias_value":"4LS75J4FNLBQ","created_at":"2026-07-05T02:20:50Z"},{"alias_kind":"pith_short_16","alias_value":"4LS75J4FNLBQ4BCM","created_at":"2026-07-05T02:20:50Z"},{"alias_kind":"pith_short_8","alias_value":"4LS75J4F","created_at":"2026-07-05T02:20:50Z"}],"graph_snapshots":[{"event_id":"sha256:7746e96a9a0663f1bc6f4b586cd3940692f97fa43517f74aa6b389d98912b016","target":"graph","created_at":"2026-07-05T02:20: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1705.07310/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Homomorphisms between relational structures play a central role in finite model theory, constraint satisfaction and database theory. A central theme in quantum computation is to show how quantum resources can be used to gain advantage in information processing tasks. In particular, non-local games have been used to exhibit quantum advantage in boolean constraint satisfaction, and to obtain quantum versions of graph invariants such as the chromatic number. We show how quantum strategies for homomorphism games between relational structures can be viewed as Kleisli morphisms for a quantum monad o","authors_text":"Nadish de Silva, Octavio Zapata, Rui Soares Barbosa, Samson Abramsky","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-20T14:17:58Z","title":"The Quantum Monad on Relational Structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.07310","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:e9241b579ec23be7af7b28321dced7b56d015400081e184aafe19e22022a87a0","target":"record","created_at":"2026-07-05T02:20: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":"e17075ac864cfcfc8b5f760d6bf4ef1ced786688d93ce10bd28ccde63f2a41a4","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-20T14:17:58Z","title_canon_sha256":"d90aaa7e4770e9eb918532b5aa76dde8a0b48eaa4d61c2ac1377e629d68535cb"},"schema_version":"1.0","source":{"id":"1705.07310","kind":"arxiv","version":1}},"canonical_sha256":"e2e5fea7856ac30e044cb6e1684feaf94af2da11509ddbab37a64ac5f847b1f4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e2e5fea7856ac30e044cb6e1684feaf94af2da11509ddbab37a64ac5f847b1f4","first_computed_at":"2026-07-05T02:20:50.877141Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:20:50.877141Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TLoQYW4HvsJyOZiqj+UTOh9D7PWhrjcp9TJy4x9QO2fnJVHCxOXM7jaBs3UBYBs+OD/eWbiSxoQhd7nyiPPkAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:20:50.877634Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.07310","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e9241b579ec23be7af7b28321dced7b56d015400081e184aafe19e22022a87a0","sha256:7746e96a9a0663f1bc6f4b586cd3940692f97fa43517f74aa6b389d98912b016"],"state_sha256":"143c3afc409dc980c48c63bad250b886efa929636ef1e97bfa64216b34da9aa6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YLPvJhdPgtw1+/wYQpFUV28cjhzcGqf0Nki0vMUCf/SWZLUY4leNNvBTNeYofrYy8VB1EGTmv5SxDSBOK68WDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T05:03:59.864586Z","bundle_sha256":"9224257d7eaf58dc735fee61c3047aacc02c666c58c0725c36cad0f9031f1008"}}