{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:ZVLWYF65HWKQYWCRBDPF6T65I2","short_pith_number":"pith:ZVLWYF65","schema_version":"1.0","canonical_sha256":"cd576c17dd3d950c585108de5f4fdd46ac9d416de6a5b3e996ddcf82a656b07e","source":{"kind":"arxiv","id":"2602.09873","version":3},"attestation_state":"computed","paper":{"title":"A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"A finite, dimension-uniform equational theory is given that is sound and complete for all exact unitary qudit circuits.","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Colin Blake","submitted_at":"2026-02-10T15:16:46Z","abstract_excerpt":"High-dimensional quantum computation needs a native circuit-level equational theory for qudits. We give the first finite schematic equational theory that is sound and complete for exact unitary qudit circuits in every finite dimension at least two. Circuits are built from local gates, sequential and parallel composition, and value-controls; equality is derivable exactly when the standard unitary denotations agree. For each dimension, a finite list of local bounded-arity axiom schemata presents the theory, and the diagrammatic shapes do not depend on d. Primitive value-control makes control on "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":true},"canonical_record":{"source":{"id":"2602.09873","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2026-02-10T15:16:46Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"21fb57ed2b943ddd7c6a860d6276b21b5147e9addc4e3059cde9a0a243e465c9","abstract_canon_sha256":"05a812b62046bf76442c736451b01e9f523bbc73bef605f4cad05c32d5586bf9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-26T01:15:49.341397Z","signature_b64":"cS6Acc+CC4o/gsYxJu145TCkKOj+xoyfDwV6srty2cPhVweTUt1mGFwq1dUO+19trrcEoxAfuwsRGGAqo0S9CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cd576c17dd3d950c585108de5f4fdd46ac9d416de6a5b3e996ddcf82a656b07e","last_reissued_at":"2026-06-26T01:15:49.340880Z","signature_status":"signed_v1","first_computed_at":"2026-06-26T01:15:49.340880Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"A finite, dimension-uniform equational theory is given that is sound and complete for all exact unitary qudit circuits.","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Colin Blake","submitted_at":"2026-02-10T15:16:46Z","abstract_excerpt":"High-dimensional quantum computation needs a native circuit-level equational theory for qudits. We give the first finite schematic equational theory that is sound and complete for exact unitary qudit circuits in every finite dimension at least two. Circuits are built from local gates, sequential and parallel composition, and value-controls; equality is derivable exactly when the standard unitary denotations agree. For each dimension, a finite list of local bounded-arity axiom schemata presents the theory, and the diagrammatic shapes do not depend on d. Primitive value-control makes control on "},"claims":{"count":3,"items":[{"kind":"strongest_claim","text":"We give the first finite schematic equational theory that is sound and complete for exact unitary qudit circuits in every finite dimension at least two.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the chosen primitive value-control operation, together with the diagrammatic PROP structure, is sufficient to generate all controlled operations from local rules without introducing dimension-dependent axioms.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A finite, dimension-uniform equational theory is given that is sound and complete for all exact unitary qudit circuits.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"}],"snapshot_sha256":"451b59ebd5b152ae3f18ae739443f25b5606f0156c224c182a43554657ef7df6"},"source":{"id":"2602.09873","kind":"arxiv","version":3},"verdict":{"id":"fccb5be5-134d-4426-a35f-7582b2e5c5af","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-16T03:03:01.374381Z","strongest_claim":"We give the first finite schematic equational theory that is sound and complete for exact unitary qudit circuits in every finite dimension at least two.","one_line_summary":"A finite, dimension-uniform equational theory is given that is sound and complete for all exact unitary qudit circuits.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the chosen primitive value-control operation, together with the diagrammatic PROP structure, is sufficient to generate all controlled operations from local rules without introducing dimension-dependent axioms.","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2602.09873/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":1,"snapshot_sha256":"f722cf282336f30358f6abf84bccec6243d4292327ed3d1e0dac204f4757337c"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2602.09873","created_at":"2026-06-26T01:15:49.340937+00:00"},{"alias_kind":"arxiv_version","alias_value":"2602.09873v3","created_at":"2026-06-26T01:15:49.340937+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.09873","created_at":"2026-06-26T01:15:49.340937+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZVLWYF65HWKQ","created_at":"2026-06-26T01:15:49.340937+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZVLWYF65HWKQYWCR","created_at":"2026-06-26T01:15:49.340937+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZVLWYF65","created_at":"2026-06-26T01:15:49.340937+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":1,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZVLWYF65HWKQYWCRBDPF6T65I2","json":"https://pith.science/pith/ZVLWYF65HWKQYWCRBDPF6T65I2.json","graph_json":"https://pith.science/api/pith-number/ZVLWYF65HWKQYWCRBDPF6T65I2/graph.json","events_json":"https://pith.science/api/pith-number/ZVLWYF65HWKQYWCRBDPF6T65I2/events.json","paper":"https://pith.science/paper/ZVLWYF65"},"agent_actions":{"view_html":"https://pith.science/pith/ZVLWYF65HWKQYWCRBDPF6T65I2","download_json":"https://pith.science/pith/ZVLWYF65HWKQYWCRBDPF6T65I2.json","view_paper":"https://pith.science/paper/ZVLWYF65","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2602.09873&json=true","fetch_graph":"https://pith.science/api/pith-number/ZVLWYF65HWKQYWCRBDPF6T65I2/graph.json","fetch_events":"https://pith.science/api/pith-number/ZVLWYF65HWKQYWCRBDPF6T65I2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZVLWYF65HWKQYWCRBDPF6T65I2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZVLWYF65HWKQYWCRBDPF6T65I2/action/storage_attestation","attest_author":"https://pith.science/pith/ZVLWYF65HWKQYWCRBDPF6T65I2/action/author_attestation","sign_citation":"https://pith.science/pith/ZVLWYF65HWKQYWCRBDPF6T65I2/action/citation_signature","submit_replication":"https://pith.science/pith/ZVLWYF65HWKQYWCRBDPF6T65I2/action/replication_record"}},"created_at":"2026-06-26T01:15:49.340937+00:00","updated_at":"2026-06-26T01:15:49.340937+00:00"}