Design Verification of the Quantum Control Stack

• URL: http://arxiv.org/abs/2310.05229v1
• Date: Sun, 8 Oct 2023 16:51:48 GMT
• Title: Design Verification of the Quantum Control Stack
• Authors: Seyed Amir Alavi and Samin Ishtiaq and Nick Johnson and Rojalin Mishra and Dwaraka Oruganti Nagalakshmi and Asher Pearl and Jan Snoeijs
• Abstract summary: The paper serves both as an introduction to quantum computing and to how classical device verification techniques can be employed there. Two main challenges in building a quantum control stack are generating precise deterministic-timing operations at the edge and scaled-out processing in the middle layer.
• Score: 0.5089990359065384
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This paper describes the verification of the classical software and hardware stack that is used to control cold atom- and superconducting-based quantum computing hardware. The paper serves both as an introduction to quantum computing and to how classical device verification techniques can be employed there. Two main challenges in building a quantum control stack are generating precise deterministic-timing operations at the edge and scaled-out processing in the middle layer. Both challenges are to do with a certain kind of functional performance correctness. And, as usual, the design lives under tight power, memory and latency constraints. The quantum control stack is a complex interaction of algorithms, software runtimes and digital hardware. We take inspiration from modern software approaches to engineering, such as continuous integration and hardware automation, to quickly ship experimental features to customers in the field.

Related papers

• Quantum Compiling with Reinforcement Learning on a Superconducting Processor [55.135709564322624]
  We develop a reinforcement learning-based quantum compiler for a superconducting processor. We demonstrate its capability of discovering novel and hardware-amenable circuits with short lengths. Our study exemplifies the codesign of the software with hardware for efficient quantum compilation.
  arXiv  Detail & Related papers  (2024-06-18T01:49:48Z)
• Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
  The anticipated applications of quantum computers span across science and industry. We present a survey of several potential application areas of quantum algorithms. We outline the challenges and opportunities in each area in an "end-to-end" fashion.
  arXiv  Detail & Related papers  (2023-10-04T17:53:55Z)
• Qibolab: an open-source hybrid quantum operating system [28.92075626290617]
  We present Qibolab, an open-source software library for quantum hardware control integrated with the Qibo quantum computing framework. Qibolab provides the software layer required to automatically execute circuit-based algorithms on custom self-hosted quantum hardware platforms.
  arXiv  Detail & Related papers  (2023-08-11T18:00:00Z)
• Quantum Control Machine: The Limits of Control Flow in Quantum Programming [9.481014977048282]
  We provide a complete characterization of the properties of control flow abstractions that are correctly realizable on a quantum computer. We show how this design enables a developer to correctly express control flow in quantum algorithms using a program counter in place of logic gates.
  arXiv  Detail & Related papers  (2023-04-28T17:51:35Z)
• The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
  Quantum computers promise to efficiently solve important problems classical computers never will. A fully automated quantum software stack needs to be developed. This work provides a look "under the hood" of today's tools and showcases how these means are utilized in them, e.g., for simulation, compilation, and verification of quantum circuits.
  arXiv  Detail & Related papers  (2023-01-10T19:00:00Z)
• Quantum Machine Learning: from physics to software engineering [58.720142291102135]
  We show how classical machine learning approach can help improve the facilities of quantum computers. We discuss how quantum algorithms and quantum computers may be useful for solving classical machine learning tasks.
  arXiv  Detail & Related papers  (2023-01-04T23:37:45Z)
• Full-stack quantum computing systems in the NISQ era: algorithm-driven and hardware-aware compilation techniques [1.3496450124792878]
  We will provide an overview on current full-stack quantum computing systems. We will emphasize the need for tight co-design among adjacent layers as well as vertical cross-layer design.
  arXiv  Detail & Related papers  (2022-04-13T13:26:56Z)
• Information Scrambling in Computationally Complex Quantum Circuits [56.22772134614514]
  We experimentally investigate the dynamics of quantum scrambling on a 53-qubit quantum processor. We show that while operator spreading is captured by an efficient classical model, operator entanglement requires exponentially scaled computational resources to simulate.
  arXiv  Detail & Related papers  (2021-01-21T22:18:49Z)
• Resource-Efficient Quantum Computing by Breaking Abstractions [9.695745674863554]
  Current quantum software stacks follow a layered approach similar to the stack of classical computers. In this review, we point out that greater efficiency of quantum computing systems can be achieved by breaking the abstractions between these layers.
  arXiv  Detail & Related papers  (2020-10-30T18:18:23Z)
• Electronic structure with direct diagonalization on a D-Wave quantum annealer [62.997667081978825]
  This work implements the general Quantum Annealer Eigensolver (QAE) algorithm to solve the molecular electronic Hamiltonian eigenvalue-eigenvector problem on a D-Wave 2000Q quantum annealer. We demonstrate the use of D-Wave hardware for obtaining ground and electronically excited states across a variety of small molecular systems.
  arXiv  Detail & Related papers  (2020-09-02T22:46:47Z)
• Software tools for quantum control: Improving quantum computer performance through noise and error suppression [3.6508609114589317]
  We introduce software tools for the application and integration of quantum control in quantum computing research. We provide an overview of a set of python-based classical software tools for creating and deploying optimized quantum control solutions. We describe a software architecture leveraging both high-performance distributed cloud computation and local custom integration into hardware systems.
  arXiv  Detail & Related papers  (2020-01-13T04:34:06Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.