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.

tqix: A toolbox for Quantum in X: Quantum measurement, quantum tomography, quantum metrology, and others

QuanEstimation: an Open-Source Toolkit for Quantum Parameter Estimation

CircuitQ: An open-source toolbox for superconducting circuits

Undergraduate Quantum Mechanics: a Numerical Approach using QuTiP

Q#, a quantum computation package for the .NET platform

Quantum Tomography: From Markovianity to Non-Markovianity

QUBIT4MATLAB V3.0: A program package for quantum information science and quantum optics for MATLAB

The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing

MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing

QuTiP 5: The Quantum Toolbox in Python

Quito - a Coverage-Guided Test Generator for Quantum Programs.

Multiqubit State Tomography with Only a Few Pauli Measurements

Quantum State Tomography with Locally Purified Density Operators and Local Measurements

QuantumInformation.jl—A Julia package for numerical computation in quantum information theory

ChemiQ: A Chemistry Simulator for Quantum Computer

MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing

Optimal experiment design for quantum state tomography

Phenomenological Simulation of Quantum Systems

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

Scalable Simulation of Quantum Measurement Process with Quantum Computers