A Tool For Debugging Quantum Circuits

Abstract

As the scale of quantum programs grows to match that of classical software, the nascent field of quantum software engineering must mature and tools such as debuggers will become increasingly important. However, developing a quantum debugger is challenging due to the nature of a quantum computer; sneaking a peek at the value of a quantum state will cause either partial or complete collapse of the superposition and may destroy the necessary entanglement. As a first step to developing a full quantum circuit debugger, we have designed and implemented a quantum circuit debugging tool. The tool allows the user to divide the circuit vertically or horizontally into smaller chunks known as slices, and manage their simulation or execution for either interactive debugging or automated testing. The tool also enables developers to track gates within the overall circuit and each chunk to understand their behavior better. Feedback on usefulness and usability from early users shows that using the tool to slice and test their circuits has helped make the debugging process more time-efficient for them.

References in corpus (21)

• Quantum Computing in the NISQ era and beyond
• A variational eigenvalue solver on a quantum processor
• Quantum Computing
• The theory of variational hybrid quantum-classical algorithms
• A Quantum Approximate Optimization Algorithm
• Quantum Amplitude Amplification and Estimation
• Error mitigation for short-depth quantum circuits
• Quantum algorithms: an overview
• Tight bounds on quantum searching
• Efficient variational quantum simulator incorporating active error minimisation
• Practical Quantum Error Mitigation for Near-Future Applications
• t$|$ket$⟩$ : A Retargetable Compiler for NISQ Devices
• Resource-Aware Quantum Programming with General Recursion and Quantum Control
• Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs
• Efficient quantum algorithms for $GHZ$ and $W$ states, and implementation on the IBM quantum computer
• Extracting Success from IBM's 20-Qubit Machines Using Error-Aware Compilation
• QWIRE Practice: Formal Verification of Quantum Circuits in Coq
• Improved Quantum Algorithm for Triangle Finding via Combinatorial Arguments
• Finding Small and Large k-Clique Instances on a Quantum Computer
• QCI Qbsolv Delivers Strong Classical Performance for Quantum-Ready Formulation
• Quantum Optimization for Combinatorial Searches

Cited by in corpus (2)

• Accelerating Quantum Eigensolver Algorithms With Machine Learning
• A Taxonomy of Real Faults in Hybrid Quantum-Classical Architectures