2026-08-21T18:02:50Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:27387 2026-08-21T14:42:37Z ddc:004 open_access

A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs Blake, Colin Qudit circuits Quantum circuits Completeness Control Categorical quantum mechanics 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 a chosen basis value part of the language, so local rules generate the internal algebra of controlled operations within the circuit PROP. This gives a finite, dimension-uniform basis for exact equational reasoning about qudit circuits. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Colin Blake 2026 Is Part Of LIPIcs, Volume 386, 51st International Symposium on Mathematical Foundations of Computer Science (MFCS 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.MFCS.2026.6 urn:nbn:de:0030-drops-273875 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2026.6 eng https://creativecommons.org/licenses/by/4.0/legalcode