Abstract:Quantum circuits with symmetry-respecting gates have attracted broad interest in quantum information science. While recent work has developed a theory for circuits with Abelian symmetries, revealing important distinctions between Abelian and non-Abelian cases, a comprehensive framework for non-Abelian symmetries has been lacking. In this work, we develop novel techniques and a powerful framework that is particularly useful for understanding circuits with non-Abelian symmetries. Using this framework we settle an open question on quantum circuits with SU(d) symmetry. We show that 3-qudit SU(d)-invariant gates are semi-universal, i.e., generate all SU(d)-invariant unitaries, up to certain constraints on the relative phases between sectors with inequivalent representation of symmetry. Furthermore, we prove that these gates achieve full universality when supplemented with 3 ancilla qudits. Interestingly, we find that studying circuits with 3-qudit gates is also useful for a better understanding of circuits with 2-qudit gates. In particular, we establish that even though 2-qudit SU(d)-invariant gates are not themselves semi-universal, they become universal with at most 11 ancilla qudits. Additionally, we investigate the statistical properties of circuits composed of random SU(d)-invariant gates. Our findings reveal that while circuits with 2-qudit gates do not form a 2-design for the Haar measure over SU(d)-invariant unitaries, circuits with 3-qudit gates generate a t-design, with t that is quadratic in the number of qudits.

Universality of 2-qudit ternary reversible gates

Realizing Ternary Quantum Switching Networks Without Ancilla Bits

Computation of Internal Fluid Flows in Channels Using the Package CFX-5

Synthesis of Ternary Non-Reversible Logic Circuits

Logic Synthesis of Ternary Quantum Circuits with Minimal Qutrits

Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits

Realization and Synthesis of Reversible Functions Throng Double-Coset

A Synthesis Method of Quantum Reversible Logic Circuit Based on Elementary Qutrit Quantum Logic Gates.

Group theory based synthesis of binary reversible circuits

Minimal universal library for n×n reversible circuits

Synthesizing hybrid quantum circuits without ancilla qudits

Optimal Synthesis of Multi-Controlled Qudit Gates

On Synthesis of 3 × 3 Reversible Logic Functions

Four-level Realisation of 3-Qubit Reversible Functions

A framework for semi-universality: Semi-universality of 3-qudit SU(d)-invariant gates

Optimal synthesis of general multi-qutrit quantum computation

Exact Synthesis of Three-Qubit Quantum Circuits from Non-Binary Quantum Gates

Majority-based Reversible Logic Gates

Quantum Ternary Circuit Synthesis Using Projection Operations

Reversible Logic Synthesis by Quantum Rotation Gates

Realization and Synthesis of Reversible Functions