{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GNUPWXUKVKMW7R3HZZHXSNO7C7","short_pith_number":"pith:GNUPWXUK","canonical_record":{"source":{"id":"1704.08670","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-04-27T17:33:52Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"f209ac559004ef3ce3e26dec14db61e9408c4fc3d7c313abf72edd2270dec2ef","abstract_canon_sha256":"0184f97f4fe6f217481b5b924b1a3eb32ffafe80832f8b97ba232cf912b88631"},"schema_version":"1.0"},"canonical_sha256":"3368fb5e8aaa996fc767ce4f7935df17e4a922c429aa610faa9394158efac39f","source":{"kind":"arxiv","id":"1704.08670","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.08670","created_at":"2026-07-05T01:07:47Z"},{"alias_kind":"arxiv_version","alias_value":"1704.08670v4","created_at":"2026-07-05T01:07:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.08670","created_at":"2026-07-05T01:07:47Z"},{"alias_kind":"pith_short_12","alias_value":"GNUPWXUKVKMW","created_at":"2026-07-05T01:07:47Z"},{"alias_kind":"pith_short_16","alias_value":"GNUPWXUKVKMW7R3H","created_at":"2026-07-05T01:07:47Z"},{"alias_kind":"pith_short_8","alias_value":"GNUPWXUK","created_at":"2026-07-05T01:07:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GNUPWXUKVKMW7R3HZZHXSNO7C7","target":"record","payload":{"canonical_record":{"source":{"id":"1704.08670","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-04-27T17:33:52Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"f209ac559004ef3ce3e26dec14db61e9408c4fc3d7c313abf72edd2270dec2ef","abstract_canon_sha256":"0184f97f4fe6f217481b5b924b1a3eb32ffafe80832f8b97ba232cf912b88631"},"schema_version":"1.0"},"canonical_sha256":"3368fb5e8aaa996fc767ce4f7935df17e4a922c429aa610faa9394158efac39f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:07:47.462643Z","signature_b64":"p+H/e9G5u8kzc+MGLPkl72ZNCuyVfYK16v+chjftdQ8mRrwnoixFy7oyPEsAcYsdrhTFhETYS6+RvYyfpzm5Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3368fb5e8aaa996fc767ce4f7935df17e4a922c429aa610faa9394158efac39f","last_reissued_at":"2026-07-05T01:07:47.462132Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:07:47.462132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.08670","source_version":4,"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-05T01:07:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4QeJY4KinexAjp0MAE/IEuB7qVQp7wB4KUGfCKurU2hHlEZ/BOrIxvtHPUZEylMU73YFwjURwgvwXmnBuW+sDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T09:21:59.902687Z"},"content_sha256":"5ec44767bc25ab0494da36526aacea3009ad135ac13ddb2746b505811ec9d9a5","schema_version":"1.0","event_id":"sha256:5ec44767bc25ab0494da36526aacea3009ad135ac13ddb2746b505811ec9d9a5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GNUPWXUKVKMW7R3HZZHXSNO7C7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The ZX calculus is a language for surface code lattice surgery","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Dominic Horsman, Niel de Beaudrap","submitted_at":"2017-04-27T17:33:52Z","abstract_excerpt":"A leading choice of error correction for scalable quantum computing is the surface code with lattice surgery. The basic lattice surgery operations, the merging and splitting of logical qubits, act non-unitarily on the logical states and are not easily captured by standard circuit notation. This raises the question of how best to design, verify, and optimise protocols that use lattice surgery, in particular in architectures with complex resource management issues. In this paper we demonstrate that the operations of the ZX calculus -- a form of quantum diagrammatic reasoning based on bialgebras "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.08670","kind":"arxiv","version":4},"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/1704.08670/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-05T01:07:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Iu29BOwHfh4zD+rML3JOKmG+B24S35znO/Scp9XKaY3vGap6CJUG9n+9eQl2lwnPojWzolfagyWSr+busCbcBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T09:21:59.903217Z"},"content_sha256":"143b917d3c38273ad3397194cd7c4f25128b76dc9ae220f037a00794cb26f276","schema_version":"1.0","event_id":"sha256:143b917d3c38273ad3397194cd7c4f25128b76dc9ae220f037a00794cb26f276"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GNUPWXUKVKMW7R3HZZHXSNO7C7/bundle.json","state_url":"https://pith.science/pith/GNUPWXUKVKMW7R3HZZHXSNO7C7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GNUPWXUKVKMW7R3HZZHXSNO7C7/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-08-21T09:21:59Z","links":{"resolver":"https://pith.science/pith/GNUPWXUKVKMW7R3HZZHXSNO7C7","bundle":"https://pith.science/pith/GNUPWXUKVKMW7R3HZZHXSNO7C7/bundle.json","state":"https://pith.science/pith/GNUPWXUKVKMW7R3HZZHXSNO7C7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GNUPWXUKVKMW7R3HZZHXSNO7C7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GNUPWXUKVKMW7R3HZZHXSNO7C7","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":"0184f97f4fe6f217481b5b924b1a3eb32ffafe80832f8b97ba232cf912b88631","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-04-27T17:33:52Z","title_canon_sha256":"f209ac559004ef3ce3e26dec14db61e9408c4fc3d7c313abf72edd2270dec2ef"},"schema_version":"1.0","source":{"id":"1704.08670","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.08670","created_at":"2026-07-05T01:07:47Z"},{"alias_kind":"arxiv_version","alias_value":"1704.08670v4","created_at":"2026-07-05T01:07:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.08670","created_at":"2026-07-05T01:07:47Z"},{"alias_kind":"pith_short_12","alias_value":"GNUPWXUKVKMW","created_at":"2026-07-05T01:07:47Z"},{"alias_kind":"pith_short_16","alias_value":"GNUPWXUKVKMW7R3H","created_at":"2026-07-05T01:07:47Z"},{"alias_kind":"pith_short_8","alias_value":"GNUPWXUK","created_at":"2026-07-05T01:07:47Z"}],"graph_snapshots":[{"event_id":"sha256:143b917d3c38273ad3397194cd7c4f25128b76dc9ae220f037a00794cb26f276","target":"graph","created_at":"2026-07-05T01:07:47Z","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/1704.08670/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A leading choice of error correction for scalable quantum computing is the surface code with lattice surgery. The basic lattice surgery operations, the merging and splitting of logical qubits, act non-unitarily on the logical states and are not easily captured by standard circuit notation. This raises the question of how best to design, verify, and optimise protocols that use lattice surgery, in particular in architectures with complex resource management issues. In this paper we demonstrate that the operations of the ZX calculus -- a form of quantum diagrammatic reasoning based on bialgebras ","authors_text":"Dominic Horsman, Niel de Beaudrap","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-04-27T17:33:52Z","title":"The ZX calculus is a language for surface code lattice surgery"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.08670","kind":"arxiv","version":4},"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:5ec44767bc25ab0494da36526aacea3009ad135ac13ddb2746b505811ec9d9a5","target":"record","created_at":"2026-07-05T01:07:47Z","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":"0184f97f4fe6f217481b5b924b1a3eb32ffafe80832f8b97ba232cf912b88631","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-04-27T17:33:52Z","title_canon_sha256":"f209ac559004ef3ce3e26dec14db61e9408c4fc3d7c313abf72edd2270dec2ef"},"schema_version":"1.0","source":{"id":"1704.08670","kind":"arxiv","version":4}},"canonical_sha256":"3368fb5e8aaa996fc767ce4f7935df17e4a922c429aa610faa9394158efac39f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3368fb5e8aaa996fc767ce4f7935df17e4a922c429aa610faa9394158efac39f","first_computed_at":"2026-07-05T01:07:47.462132Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:07:47.462132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p+H/e9G5u8kzc+MGLPkl72ZNCuyVfYK16v+chjftdQ8mRrwnoixFy7oyPEsAcYsdrhTFhETYS6+RvYyfpzm5Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:07:47.462643Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.08670","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5ec44767bc25ab0494da36526aacea3009ad135ac13ddb2746b505811ec9d9a5","sha256:143b917d3c38273ad3397194cd7c4f25128b76dc9ae220f037a00794cb26f276"],"state_sha256":"aac77fbf3f32a6f5c06207c9152603fc1df60e50532b0a937b05bdf6feccc81a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1uawadX1uUbVCXZPspmL2iwEAPMRrvtCzZbLi5lA1OWQSNJ/gYGgi0gulss0dvCtFH6USNAdV1Pj9kl0fq8vAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T09:21:59.909355Z","bundle_sha256":"560ad2d0a5e3983f9f397efab8c3363ecb2a69f1c1140d9503a7414188fde696"}}