{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XS4JLSSTZXEUWGUAR2SNHMDKRL","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":"768048ebe6e2f5562f547070b6c4519ba5afcd180029bd9d1be7fc6d3ad075e6","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-09-26T09:15:49Z","title_canon_sha256":"fd1f8f758e162ee16e1cf06be745a9e469e96796de19fade110ea4b9ef2ce51f"},"schema_version":"1.0","source":{"id":"1709.08903","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.08903","created_at":"2026-07-05T06:23:21Z"},{"alias_kind":"arxiv_version","alias_value":"1709.08903v6","created_at":"2026-07-05T06:23:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.08903","created_at":"2026-07-05T06:23:21Z"},{"alias_kind":"pith_short_12","alias_value":"XS4JLSSTZXEU","created_at":"2026-07-05T06:23:21Z"},{"alias_kind":"pith_short_16","alias_value":"XS4JLSSTZXEUWGUA","created_at":"2026-07-05T06:23:21Z"},{"alias_kind":"pith_short_8","alias_value":"XS4JLSST","created_at":"2026-07-05T06:23:21Z"}],"graph_snapshots":[{"event_id":"sha256:11d0f03dd6fc488aa8c217336a54bd810c5704914fb2d8c92e0689325115d154","target":"graph","created_at":"2026-07-05T06:23:21Z","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/1709.08903/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: one can transform a stabilizer ZX-diagram into another one using the graphical rewrite rules if and only if these two diagrams represent the same quantum evolution or quantum state. We previously showed that the stabilizer ZX-calculus can be simplified by reducing the number of rewrite rules, without losing the property of completeness [Backens, Perdrix & Wang, EPTCS 236:1--20, 2017]. Here, we show that most of the remaining rules of the language are indeed nec","authors_text":"Miriam Backens, Quanlong Wang, Simon Perdrix","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-09-26T09:15:49Z","title":"Towards a Minimal Stabilizer ZX-calculus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.08903","kind":"arxiv","version":6},"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:f86508496146f8a77c51cc042f1140925c58c2f7dc66ffb6e24d9c8e42fe742b","target":"record","created_at":"2026-07-05T06:23:21Z","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":"768048ebe6e2f5562f547070b6c4519ba5afcd180029bd9d1be7fc6d3ad075e6","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-09-26T09:15:49Z","title_canon_sha256":"fd1f8f758e162ee16e1cf06be745a9e469e96796de19fade110ea4b9ef2ce51f"},"schema_version":"1.0","source":{"id":"1709.08903","kind":"arxiv","version":6}},"canonical_sha256":"bcb895ca53cdc94b1a808ea4d3b06a8aeb4d2316f6be6ff3d493df328ce4d30d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bcb895ca53cdc94b1a808ea4d3b06a8aeb4d2316f6be6ff3d493df328ce4d30d","first_computed_at":"2026-07-05T06:23:21.471164Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:23:21.471164Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"peHN35H1/L4vp0/kA/1pHX7A6dxHdPNRnkvfuLj7CTvYI1N9ZbM+TAwIGb315Jhw0zR25v90ddSH+yrFGFW/Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:23:21.471512Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.08903","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f86508496146f8a77c51cc042f1140925c58c2f7dc66ffb6e24d9c8e42fe742b","sha256:11d0f03dd6fc488aa8c217336a54bd810c5704914fb2d8c92e0689325115d154"],"state_sha256":"29b57521b23884d1725f742f7df274d9379b39ba7f7bb663c081ad8eedde6e21"}