t$|$ket$⟩$ : A Retargetable Compiler for NISQ Devices

Abstract

We present t$|$ket$⟩$, a quantum software development platform produced by Cambridge Quantum Computing Ltd. The heart of t$|$ket$⟩$ is a language-agnostic optimising compiler designed to generate code for a variety of NISQ devices, which has several features designed to minimise the influence of device error. The compiler has been extensively benchmarked and outperforms most competitors in terms of circuit optimisation and qubit routing.

arXiv comment43 pages. Submitted

References in corpus (37)

• Quantum Computing in the NISQ era and beyond
• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• A variational eigenvalue solver on a quantum processor
• Quantum algorithm for solving linear systems of equations
• Quantum Simulation
• Improved Simulation of Stabilizer Circuits
• Extending the computational reach of a noisy superconducting quantum processor
• Toward the first quantum simulation with quantum speedup
• Noise tailoring for scalable quantum computation via randomized compiling
• Hybrid Quantum-Classical Hierarchy for Mitigation of Decoherence and Determination of Excited States
• Benchmarking an 11-qubit quantum computer
• Direct Fidelity Estimation from Few Pauli Measurements
• Quantum computers can search arbitrarily large databases by a single query
• Cluster-state quantum computation
• Strawberry Fields: A Software Platform for Photonic Quantum Computing
• Interacting Quantum Observables: Categorical Algebra and Diagrammatics
• A universal quantum circuit for two-qubit transformations with three CNOT gates
• Polynomial-time T-depth Optimization of Clifford+T circuits via Matroid Partitioning
• Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers
• Characterizing large-scale quantum computers via cycle benchmarking
• Automated optimization of large quantum circuits with continuous parameters
• Impossibility of deleting an unknown quantum state
• Jensen-Shannon divergence as a measure of distinguishability between mixed quantum states
• Demonstration of fidelity improvement using dynamical decoupling with superconducting qubits
• Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
• Quantum phase estimation of multiple eigenvalues for small-scale (noisy) experiments
• A Software Methodology for Compiling Quantum Programs
• ScaffCC: Scalable Compilation and Analysis of Quantum Programs
• Speedup for quantum optimal control from automatic differentiation based on graphics processing units
• Basic circuit compilation techniques for an ion-trap quantum machine
• Lowering qubit requirements for quantum simulations of fermionic systems
• Non-Gaussian noise spectroscopy with a superconducting qubit sensor
• Extracting Success from IBM's 20-Qubit Machines Using Error-Aware Compilation
• Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations
• Generators and relations for n-qubit Clifford operators
• Optimization of Clifford Circuits

Cited by in corpus (168)

• A Race Track Trapped-Ion Quantum Processor
• Quantum Simulation for High Energy Physics
• Qulacs: a fast and versatile quantum circuit simulator for research purpose
• The Bitter Truth About Quantum Algorithms in the NISQ Era
• Distributed Quantum Computing: a Survey
• MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
• Filtering variational quantum algorithms for combinatorial optimization
• Evidence of Scaling Advantage for the Quantum Approximate Optimization Algorithm on a Classically Intractable Problem
• Machine learning of noise-resilient quantum circuits
• A Verified Optimizer for Quantum Circuits
• Optimal Layout Synthesis for Quantum Computing
• Scaling of the quantum approximate optimization algorithm on superconducting qubit based hardware
• QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer
• Review of Distributed Quantum Computing. From single QPU to High Performance Quantum Computing
• A case study of variational quantum algorithms for a job shop scheduling problem
• Topological Order from Measurements and Feed-Forward on a Trapped Ion Quantum Computer
• Preparations for Quantum Simulations of Quantum Chromodynamics in 1+1 Dimensions: (II) Single-Baryon $\beta$-Decay in Real Time
• Tequila: A platform for rapid development of quantum algorithms
• Pulser: An open-source package for the design of pulse sequences in programmable neutral-atom arrays
• Constrained Quantum Optimization for Extractive Summarization on a Trapped-ion Quantum Computer
• Quantum Computational Quantification of Protein-Ligand Interactions
• Quantum machine learning of large datasets using randomized measurements
• Suppressing quantum circuit errors due to system variability
• MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
• Integrating Quantum Computing Resources into Scientific HPC Ecosystems
• QFaaS: A Serverless Function-as-a-Service Framework for Quantum Computing
• Variational inference with a quantum computer
• A Roadmap for Automating the Selection of Quantum Computers for Quantum Algorithms
• Equivalence Checking of Quantum Circuits with the ZX-Calculus
• Alignment between Initial State and Mixer Improves QAOA Performance for Constrained Optimization
• LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach
• Application-Motivated, Holistic Benchmarking of a Full Quantum Computing Stack
• Demonstrating Bayesian Quantum Phase Estimation with Quantum Error Detection
• Multi-Neutrino Entanglement and Correlations in Dense Neutrino Systems
• Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors
• Synthesizing Quantum-Circuit Optimizers
• Realization of quantum signal processing on a noisy quantum computer
• Experimental benchmarking of an automated deterministic error suppression workflow for quantum algorithms
• NetQASM -- A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet
• Clifford Circuit Optimization with Templates and Symbolic Pauli Gates
• DisCoPy: Monoidal Categories in Python
• Distributing circuits over heterogeneous, modular quantum computing network architectures
• Grammar-aware sentence classification on quantum computers
• Mapping quantum circuits to modular architectures with QUBO
• Investigating the effect of circuit cutting in QAOA for the MaxCut problem on NISQ devices
• Optimal Qubit Mapping with Simultaneous Gate Absorption
• Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts
• Quantum algorithms with local particle number conservation: noise effects and error correction
• Noisy intermediate-scale quantum simulation of the one-dimensional wave equation
• Interaction graph-based characterization of quantum benchmarks for improving quantum circuit mapping techniques
• Quantum Circuit Compiler for a Shuttling-Based Trapped-Ion Quantum Computer
• Revisiting the Mapping of Quantum Circuits: Entering the Multi-Core Era
• A novel approach to noisy gates for simulating quantum computers
• Quantum hardware calculations of periodic systems with partition-measurement symmetry verification: simplified models of hydrogen chain and iron crystals
• Reducing the CNOT count for Clifford+T circuits on NISQ architectures
• MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
• Efficient variational synthesis of quantum circuits with coherent multi-start optimization
• Graphical Structures for Design and Verification of Quantum Error Correction
• Improving Quantum Computation by Optimized Qubit Routing
• Benchmarking Quantum Computer Simulation Software Packages: State Vector Simulators
• Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization
• Benchmarking the performance of quantum computing software
• Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices
• HamLib: A library of Hamiltonians for benchmarking quantum algorithms and hardware
• A Tool For Debugging Quantum Circuits
• OneQ: A Compilation Framework for Photonic One-Way Quantum Computation
• Chemically Aware Unitary Coupled Cluster with ab initio Calculations on System Model H1: A Refrigerant Chemicals Application
• A SAT approach to the initial mapping problem in SWAP gate insertion for commuting gates
• Platinum-based Catalysts for Oxygen Reduction Reaction simulated with a Quantum Computer
• Parity Quantum Optimization: Benchmarks
• Robust Qubit Mapping Algorithm via Double-Source Optimal Routing on Large Quantum Circuits
• Quantum Advantage Seeker with Kernels (QuASK): a software framework to speed up the research in quantum machine learning
• Qutrit and Qubit Circuits for Three-Flavor Collective Neutrino Oscillations
• High-Round QAOA for MAX $k$-SAT on Trapped Ion NISQ Devices
• Integration of Quantum Accelerators with High Performance Computing -- A Review of Quantum Programming Tools
• Practical randomness amplification and privatisation with implementations on quantum computers
• Volumetric Benchmarking of Error Mitigation with Qermit
• QFactor: A Domain-Specific Optimizer for Quantum Circuit Instantiation
• A compiler for universal photonic quantum computers
• A Toffoli Gate Decomposition via Echoed Cross-Resonance Gates
• Probing critical states of matter on a digital quantum computer
• Optimizing Quantum Algorithms on Bipotent Architectures
• Annealing Optimisation of Mixed ZX Phase Circuits
• Optimizing Gate Decomposition for High-Level Quantum Programming
• Supervised Learning Enhanced Quantum Circuit Transformation
• Quantifying $T$-gate-count improvements for ground-state-energy estimation with near-optimal state preparation
• Quantum Computing Simulation of a Mixed Spin-Boson Hamiltonian and Its Performance for a Cavity Quantum Electrodynamics Problem
• QAOA with $N\cdot p\ge 200$
• Algorithm-Oriented Qubit Mapping for Variational Quantum Algorithms
• Excited-state molecular dynamics simulation based on variational quantum algorithms
• Quantum state preparation for multivariate functions
• F-Divergences and Cost Function Locality in Generative Modelling with Quantum Circuits
• E-LoQ: Enhanced Locking for Quantum Circuit IP Protection
• QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis
• Bayesian Learning of Parameterised Quantum Circuits
• The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
• Simulation of Quantum Computers: Review and Acceleration Opportunities
• Quantum Computed Green's Functions using a Cumulant Expansion of the Lanczos Method
• Fast simulation of quantum algorithms using circuit optimization
• Synergistic Dynamical Decoupling and Circuit Design for Enhanced Algorithm Performance on Near-Term Quantum Devices
• Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing
• Deterministic Algorithms for Compiling Quantum Circuits with Recurrent Patterns
• Performance of Quantum Approximate Optimization with Quantum Error Detection
• Quantum Linear Optics via String Diagrams
• Formal Methods for Quantum Programs: A Survey
• Graph Optimization Perspective for Low-Depth Trotter-Suzuki Decomposition
• Noise-Adaptive Quantum Compilation Strategies Evaluated with Application-Motivated Benchmarks
• On connectivity-dependent resource requirements for digital quantum simulation of $d$-level particles
• QContext: Context-Aware Decomposition for Quantum Gates
• Light-Matter Interaction in the ZXW Calculus
• beSnake: A routing algorithm for scalable spin-qubit architectures
• OPAQUE: Obfuscating Phase in Quantum Circuit Compilation for Efficient IP Protection
• Improving the Performance of Digitized Counterdiabatic Quantum Optimization via Algorithm-Oriented Qubit Mapping
• Calculating the energy profile of an enzymatic reaction on a quantum computer
• Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum Compilation
• Estimation of correlations and non-separability in quantum channels via unitarity benchmarking
• A Multilevel Framework for Partitioning Quantum Circuits
• Numerical circuit synthesis and compilation for multi-state preparation
• Quantum circuit compilation with quantum computers
• Initial-State Dependent Optimization of Controlled Gate Operations with Quantum Computer
• Comparison of encoding schemes for quantum computing of $S>1/2$ spin chains
• Quantum topological data analysis via the estimation of the density of states
• Reducing Mid-Circuit Measurements via Probabilistic Circuits
• Mantra: Rewriting Quantum Programs to Minimize Trap-Movements for Zoned Rydberg Atom Arrays
• Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
• Lightcone Bounds for Quantum Circuit Mapping via Uncomplexity
• Flexible constraint compilation in the parity architecture
• Quantum Circuit Discovery for Fault-Tolerant Logical State Preparation with Reinforcement Learning
• Optimized Noise Suppression for Quantum Circuits
• Simulating Floquet scrambling circuits on trapped-ion quantum computers
• Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning
• Lindblad engineering for quantum Gibbs state preparation under the eigenstate thermalization hypothesis
• Comparing planar quantum computing platforms at the quantum speed limit
• SWAP-less Implementation of Quantum Algorithms
• Sketching the Best Approximate Quantum Compiling Problem
• Encoded probabilistic imaginary-time evolution on a trapped-ion quantum computer for ground and excited states of spin qubits
• Lower T-count with faster algorithms
• On the Impact of Classical and Quantum Communication Networks Upon Modular Quantum Computing Architecture System Performance
• Quantum Circuit Transformation: A Monte Carlo Tree Search Framework
• A recursively partitioned approach to architecture-aware ZX Polynomial synthesis and optimization
• qlbm -- A Quantum Lattice Boltzmann Software Framework
• Comparing Quantum Service Offerings
• Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding
• ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces
• Comparative Study of Quantum Transpilers: Evaluating the Performance of qiskit-braket-provider, qBraid-SDK, and Pytket Extensions
• HATT: Hamiltonian Adaptive Ternary Tree for Optimizing Fermion-to-Qubit Mapping
• Measuring Correlation and Entanglement between Molecular Orbitals on a Trapped-Ion Quantum Computer
• Bridging Quantum Computing and Nuclear Structure: Atomic Nuclei on a Trapped-Ion Quantum Computer
• Scalable Quantum Computational Science: A Perspective from Block-Encodings and Polynomial Transformations
• Performance analysis of a filtering variational quantum algorithm
• Probabilistic imaginary-time evolution in state-vector-based and shot-based simulations and on quantum devices
• Quantum Circuit Unoptimization
• Rovibrational energy levels of H${}_2$O by quantum computing
• Nuwa: A Quantum Circuit Transpiler Based on a Finite-Horizon Heuristic for Placement and Routing
• Quantum State Preparation Of Multiconfigurational States For Quantum Chemistry
• High-Precision Multi-Qubit Clifford+T Synthesis by Unitary Diagonalization
• Nontrivial multi-product commutation relation toward reducing T-count in sequential Pauli-based computation
• Architecting Scalable Trapped Ion Quantum Computers using Surface Codes
• Evaluating Ground State Energies of Chemical Systems with Low-Depth Quantum Circuits and High Accuracy
• Efficient Simulation of Open Quantum Systems on NISQ Trapped-Ion Hardware
• Online Scheduling and Distribution of Quantum Circuits over Quantum Networks
• Noise-Aware Circuit Compilations for a Continuously Parameterized Two-Qubit Gateset
• Quantum Gate Pattern Recognition and Circuit Optimization for Scientific Applications
• PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices
• Unleashing Optimizations in Dynamic Circuits through Branch Expansion
• Preparing the Gutzwiller wave function for attractive SU(3) fermions on a quantum computer
• Scalable Pattern Matching in Computation Graphs
• Data-Efficient Quantum Noise Modeling via Machine Learning