Polycontrolled PROPs for Qudit Circuits: A Uniform Complete Equational Theory For Arbitrary Finite Dimension

• URL: http://arxiv.org/abs/2602.09873v1
• Date: Tue, 10 Feb 2026 15:16:46 GMT
• Title: Polycontrolled PROPs for Qudit Circuits: A Uniform Complete Equational Theory For Arbitrary Finite Dimension
• Abstract summary: We present a finite schematic axiomatisation of quantum circuits over d-level systems (qudits)<n>For each d we define a PROP equipped with a family of control functors, treating control as a primitive categorical constructor.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We present a finite schematic axiomatisation of quantum circuits over d-level systems (qudits), uniform in every finite dimension d >= 2. For each d we define a PROP equipped with a family of control functors, treating control as a primitive categorical constructor. Using a translation between qudit circuits and the LOPP calculus for linear optics based on d-ary Gray codes, we obtain for each d a finite set of local axiom schemata that is sound and complete for unitary d-level circuits: two circuits denote the same unitary if and only if they are inter-derivable using axioms involving at most three wires. The generators are compatible with standard universal qudit gate families, yielding a sound equational basis for circuit rewriting and optimisation-by-rewriting. Conceptually, this extends the qubit circuit completeness results of Clément et al.\ to arbitrary finite dimension, and instantiates the control-as-constructor approach of Delorme and Perdrix in this setting, while keeping the axiom shapes uniform in d.

Related papers

• Open-boundary integrable quantum circuits with different geometries [0.0]
  We conjecture that time-periodic quantum circuits are integrable whenever the local bulk and boundary gates satisfy the Yang-Baxter equation.<n>Our construction is fully general and applies to regular $R$-matrices, both of difference and non-difference type, together with their associated boundary matrices.
  arXiv  Detail & Related papers  (2026-07-02T12:31:43Z)
• Completeness for Prime-Dimensional Phase-Affine Circuits [0.0]
  We present a compact PROP for CNOT-dihedral picture from qubits to prime-dimensional qudits.<n>We derive uniform transport rules, establish unique phase-affine normal forms, and prove: semantic equality coincides with derivable equality.<n>This yields a prime-dimensional, phase-polynomial-aligned generalisation of the CNOT-dihedral equational theory.
  arXiv  Detail & Related papers  (2026-03-06T16:51:19Z)
• A Complete Equational Theory for Real-Clifford+CH Quantum Circuits [51.56484100374058]
  We give a simple set of equalities between circuits of this fragment, and prove that any other true equation can be derived from these.<n>This is the first such completeness result for a finitely-generated, universal fragment of quantum circuits, with no parameterized gates and no need for ancillas.
  arXiv  Detail & Related papers  (2026-02-06T12:11:39Z)
• A Unified Framework for Optimizing Uniformly Controlled Structures in Quantum Circuits [16.36662739600811]
  Unitaries of the form $_cketcbracotimes U_c$ are ubiquitous in quantum algorithms.<n>We study the general decomposition problem for UCG and UCG-like structure.
  arXiv  Detail & Related papers  (2025-12-09T14:56:50Z)
• Unitary Designs from Random Symmetric Quantum Circuits [0.8192907805418583]
  We study distributions of unitaries generated by random quantum circuits containing only symmetry-respecting gates. We obtain an equation that determines the exact design properties of such distributions.
  arXiv  Detail & Related papers  (2024-08-26T17:52:46Z)
• On the Constant Depth Implementation of Pauli Exponentials [49.48516314472825]
  We decompose $Zotimes n$ exponentials of arbitrary length into circuits of constant depth using $mathcalO(n)$ ancillae and two-body XX and ZZ interactions.<n>We prove the correctness of our approach, after introducing novel rewrite rules for circuits which benefit from qubit recycling.
  arXiv  Detail & Related papers  (2024-08-15T17:09:08Z)
• Low-overhead non-Clifford fault-tolerant circuits for all non-chiral abelian topological phases [0.7873629568804646]
  We propose a family of explicit geometrically local circuits on a 2-dimensional planar grid of qudits.<n>These circuits are constructed from measuring 1-form symmetries in discrete fixed-point path integrals.<n>We prove fault tolerance under arbitrary local (including non-Pauli) noise for a very general class of topological circuits.
  arXiv  Detail & Related papers  (2024-03-18T18:00:00Z)
• Near-optimal quantum circuit construction via Cartan decomposition [4.900041609957432]
  We show the applicability of the Cartan decomposition of Lie algebras to quantum circuits. This approach can be used to synthesize circuits that can efficiently implement any desired unitary operation.
  arXiv  Detail & Related papers  (2022-12-25T17:01:13Z)
• A Complete Equational Theory for Quantum Circuits [58.720142291102135]
  We introduce the first complete equational theory for quantum circuits. Two circuits represent the same unitary map if and only if they can be transformed one into the other using the equations.
  arXiv  Detail & Related papers  (2022-06-21T17:56:31Z)
• Adaptive constant-depth circuits for manipulating non-abelian anyons [65.62256987706128]
  Kitaev's quantum double model based on a finite group $G$. We describe quantum circuits for (a) preparation of the ground state, (b) creation of anyon pairs separated by an arbitrary distance, and (c) non-destructive topological charge measurement.
  arXiv  Detail & Related papers  (2022-05-04T08:10:36Z)
• LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits [58.720142291102135]
  We introduce the LOv-calculus, a graphical language for reasoning about linear optical quantum circuits. Two LOv-circuits represent the same quantum process if and only if one can be transformed into the other with the rules of the LOv-calculus.
  arXiv  Detail & Related papers  (2022-04-25T16:59:26Z)
• Quantum simulation of $\phi^4$ theories in qudit systems [53.122045119395594]
  We discuss the implementation of quantum algorithms for lattice $Phi4$ theory on circuit quantum electrodynamics (cQED) system. The main advantage of qudit systems is that its multi-level characteristic allows the field interaction to be implemented only with diagonal single-qudit gates.
  arXiv  Detail & Related papers  (2021-08-30T16:30:33Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.