Abstract:In the standard circuit model of quantum computation, the number and quality of the quantum gates composing the circuit influence the runtime and fidelity of the computation. The fidelity of the decomposition of quantum algorithms, represented as unitary matrices, to bounded depth quantum circuits depends strongly on the set of gates available for the decomposition routine. To investigate this dependence, we explore the design space of discrete quantum gate sets and present a software tool for comparative analysis of quantum processing units and control protocols based on their native gates. The evaluation is conditioned on a set of unitary transformations representing target use cases on the quantum processors. The cost function considers three key factors: (i) the statistical distribution of the decomposed circuits' depth, (ii) the statistical distribution of process fidelities for the approximate decomposition, and (iii) the relative novelty of a gate set compared to other gate sets in terms of the aforementioned properties. The developed software, YAQQ (Yet Another Quantum Quantizer), enables the discovery of an optimized set of quantum gates through this tunable joint cost function. To identify these gate sets, we use the novelty search algorithm, circuit decomposition techniques, and stochastic optimization to implement YAQQ within the Qiskit quantum simulator environment. YAQQ exploits reachability tradeoffs conceptually derived from quantum algorithmic information theory. Our results demonstrate the pragmatic application of identifying gate sets that are advantageous to popularly used quantum gate sets in representing quantum algorithms. Consequently, we demonstrate pragmatic use cases of YAQQ in comparing transversal logical gate sets in quantum error correction codes, designing optimal quantum instruction sets, and compiling to specific quantum processors.

GALA-n: Generic Architecture of Layout-Aware n-Bit Quantum Operators for Cost-Effective Realization on IBM Quantum Computers

Cost-Effective Realization of n-Bit Toffoli Gates for IBM Quantum Computers Using the Bloch Sphere Approach and IBM Native Gates

CALA-$n$: A Quantum Library for Realizing Cost-Effective 2-, 3-, 4-, and 5-bit Gates on IBM Quantum Computers using Bloch Sphere Approach, Clifford+T Gates, and Layouts

Superposition States on Different Axes of the Bloch Sphere for Cost-Effective Circuits Realization on IBM Quantum Computers

Efficient Implementation of Multi-Controlled Quantum Gates

Scalable algorithm simplification using quantum AND logic

SWAP-less Implementation of Quantum Algorithms

Quantum circuit optimizations for NISQ architectures

Quantum Hardware Roofline: Evaluating the Impact of Gate Expressivity on Quantum Processor Design

QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis

T-count and T-depth efficient fault-tolerant quantum arithmetic and logic unit

YAQQ: Yet Another Quantum Quantizer -- Design Space Exploration of Quantum Gate Sets using Novelty Search

2QAN: A quantum compiler for 2-local qubit Hamiltonian simulation algorithms

Optimizing Gate Decomposition for High-Level Quantum Programming

A Feasible Design of Elementary Quantum Arithmetic Logic Units for Near-Term Quantum Computers

Quantum Approximate Optimization With Parallelizable Gates

Dancing the Quantum Waltz: Compiling Three-Qubit Gates on Four Level Architectures

Multibit Gates for Quantum Computing

Quantum Netlist Compiler (QNC)

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures

QFT based quantum arithmetic logic unit on IBM quantum computer