{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:RYW2JVK3V2KZXRQMVWL7W6B4IH","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":"69431cddba8da2410281f66a5cb8d3a1fcd6cf87907f2c0f2267b7c6a21266b0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-02-29T13:45:05Z","title_canon_sha256":"91dd52acf692457b66de936a781d737f6e05e956450f8f5bc646d573d6f137a2"},"schema_version":"1.0","source":{"id":"1602.08954","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.08954","created_at":"2026-05-18T01:19:51Z"},{"alias_kind":"arxiv_version","alias_value":"1602.08954v1","created_at":"2026-05-18T01:19:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.08954","created_at":"2026-05-18T01:19:51Z"},{"alias_kind":"pith_short_12","alias_value":"RYW2JVK3V2KZ","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RYW2JVK3V2KZXRQM","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RYW2JVK3","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:aa5b9f66562a88c2c56c2f787bafe73ba9ccf2619cb846da6994ed7493e1c9c8","target":"graph","created_at":"2026-05-18T01:19:51Z","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":"Graphical languages offer intuitive and rigorous formalisms for quantum physics. They can be used to simplify expressions, derive equalities, and do computations. Yet in order to replace conventional formalisms, rigour alone is not sufficient: the new formalisms also need to have equivalent deductive power. This requirement is captured by the property of completeness, which means that any equality that can be derived using some standard formalism can also be derived graphically.\n  In this thesis, I consider the ZX-calculus, a graphical language for pure state qubit quantum mechanics. I show th","authors_text":"Miriam Backens","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-02-29T13:45:05Z","title":"Completeness and the ZX-calculus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.08954","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:ea6be84b00b62b3eba58d5e27ef93e40efe5cdf29e856bd31eb4ccd957ccfd26","target":"record","created_at":"2026-05-18T01:19:51Z","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":"69431cddba8da2410281f66a5cb8d3a1fcd6cf87907f2c0f2267b7c6a21266b0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-02-29T13:45:05Z","title_canon_sha256":"91dd52acf692457b66de936a781d737f6e05e956450f8f5bc646d573d6f137a2"},"schema_version":"1.0","source":{"id":"1602.08954","kind":"arxiv","version":1}},"canonical_sha256":"8e2da4d55bae959bc60cad97fb783c41ebaad71b69c03711c07fa22bc8360616","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8e2da4d55bae959bc60cad97fb783c41ebaad71b69c03711c07fa22bc8360616","first_computed_at":"2026-05-18T01:19:51.599871Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:19:51.599871Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XinttHs1pwQ7IYtd3sfA3qT1dWO3M8ka6s+SOHhRY429yEqjQ1a0dhcem3YafV9A1s8lm+aU9GR8b8m7wdJBBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:19:51.600403Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.08954","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ea6be84b00b62b3eba58d5e27ef93e40efe5cdf29e856bd31eb4ccd957ccfd26","sha256:aa5b9f66562a88c2c56c2f787bafe73ba9ccf2619cb846da6994ed7493e1c9c8"],"state_sha256":"930b8aea52ed389d1285f1025d5a2971014ecbdc72aafa3df2bc33ee96cec152"}