A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits

Abstract

We present a complete set of rewrite rules for n-qutrit Clifford circuits where n is any non-negative integer. This is the first completeness result for any fragment of quantum circuits in odd prime dimensions. We first generalize Selinger's normal form for n-qubit Clifford circuits to the qutrit setting. Then, we present a rewrite system by which any Clifford circuit can be reduced to this normal form. We then simplify the rewrite rules in this procedure to a small natural set of rules, giving a clean presentation of the group of qutrit Clifford unitaries in terms of generators and relations.

In Proceedings QPL 2025, arXiv:2508.13619

References in corpus (25)

• Improved Simulation of Stabilizer Circuits
• Qudits and high-dimensional quantum computing
• A universal qudit quantum processor with trapped ions
• Testing the Hilbert space dimension
• Quantum Information Scrambling in a Superconducting Qutrit Processor
• Enhanced fault-tolerant quantum computing in $d$-level systems
• Magic state distillation in all prime dimensions using quantum Reed-Muller codes
• High-Fidelity Qutrit Entangling Gates for Superconducting Circuits
• Practical trapped-ion protocols for universal qudit-based quantum computing
• Native qudit entanglement in a trapped ion quantum processor
• Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures
• Neutral Atom Quantum Computing Hardware: Performance and End-User Perspective
• Qutrit Magic State Distillation
• Generators and relations for n-qubit Clifford operators
• Arithmetic Circuits for Multilevel Qudits Based on Quantum Fourier Transform
• Qutrit Magic State Distillation Tight in Some Directions
• Qudit Dynamical Decoupling on a Superconducting Quantum Processor
• Qutrit and Ququint Magic States
• Circuit QED: single-step realization of a multiqubit controlled phase gate with one microwave photonic qubit simultaneously controlling $n-1$ microwave photonic qubits
• Robust genuine high-dimensional steering with many measurements
• A Complete Equational Theory for Quantum Circuits
• Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics
• The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
• Completeness of the ZH-calculus
• Generators and Relations for Real Stabilizer Operators

Cited by in corpus (2)

• Transversal AND in Quantum Codes
• GCAMPS: A Scalable Classical Simulator for Qudit Systems