{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JFEXVAFP7TAXPR4B3R5QN7E3IL","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":"d8cf05aff9fbc3ed46aa5817b7b0fe7f3928665f86980ec9380592b901e16594","cross_cats_sorted":["cs.ET","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-12-31T16:43:54Z","title_canon_sha256":"ef5cae88aee034dd3afdee1165de3628cc1809c583657133687115d0a0925b2a"},"schema_version":"1.0","source":{"id":"1701.00140","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.00140","created_at":"2026-05-17T23:47:40Z"},{"alias_kind":"arxiv_version","alias_value":"1701.00140v5","created_at":"2026-05-17T23:47:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.00140","created_at":"2026-05-17T23:47:40Z"},{"alias_kind":"pith_short_12","alias_value":"JFEXVAFP7TAX","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JFEXVAFP7TAXPR4B","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JFEXVAFP","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:df12707a5f74c2a41c52c4d371ce903f80803cecbcee1cb19a59fc843d7804f3","target":"graph","created_at":"2026-05-17T23:47:40Z","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 give a finite presentation by generators and relations of the unitary operators expressible over the {CNOT, T, X} gate set, also known as CNOT-dihedral operators. To this end, we introduce a notion of normal form for CNOT-dihedral circuits and prove that every CNOT-dihedral operator admits a unique normal form. Moreover, we show that in the presence of certain structural rules only finitely many circuit identities are required to reduce an arbitrary CNOT-dihedral circuit to its normal form.\n  By appropriately restricting our relations, we obtain a finite presentation of unitary operators ex","authors_text":"Canada), College Park, Computer Science, David R. Cheriton School of Computer Science, Jianxin Chen (Institute for Advanced Computer Studies, Joint Center for Quantum Information, Matthew Amy (Institute for Quantum Computing, Neil J. Ross (Institute for Advanced Computer Studies, University of Maryland, University of Waterloo, USA), Waterloo","cross_cats":["cs.ET","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-12-31T16:43:54Z","title":"A Finite Presentation of CNOT-Dihedral Operators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.00140","kind":"arxiv","version":5},"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:8679508e9eb469a027ecec8548bfb1d34cbc4ac2d7c62f8652e4c090e5a9480d","target":"record","created_at":"2026-05-17T23:47:40Z","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":"d8cf05aff9fbc3ed46aa5817b7b0fe7f3928665f86980ec9380592b901e16594","cross_cats_sorted":["cs.ET","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-12-31T16:43:54Z","title_canon_sha256":"ef5cae88aee034dd3afdee1165de3628cc1809c583657133687115d0a0925b2a"},"schema_version":"1.0","source":{"id":"1701.00140","kind":"arxiv","version":5}},"canonical_sha256":"49497a80affcc177c781dc7b06fc9b42cdd408dd82348ec2c0e3fb2241bb4e93","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"49497a80affcc177c781dc7b06fc9b42cdd408dd82348ec2c0e3fb2241bb4e93","first_computed_at":"2026-05-17T23:47:40.340077Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:40.340077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vEsbJW5ohPDeDEeNesOpO4KdymBfzKwwX5UH0DcJKhfOIaCG8a0yXvl/Zgfs33UWax9bEl9FdgXeAzQlGw09DQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:40.340529Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.00140","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8679508e9eb469a027ecec8548bfb1d34cbc4ac2d7c62f8652e4c090e5a9480d","sha256:df12707a5f74c2a41c52c4d371ce903f80803cecbcee1cb19a59fc843d7804f3"],"state_sha256":"160a5034ee890bfef45cf93bd8c8b20ad7c0e74e2fc84c32e843552cd371774b"}