QADL: Prototype of Quantum Architecture Description Language

• URL: http://arxiv.org/abs/2410.19770v1
• Date: Sun, 13 Oct 2024 19:09:38 GMT
• Title: QADL: Prototype of Quantum Architecture Description Language
• Authors: Muhammad Waseem, Tommi Mikkonen, Aakash Ahmad, Muhammad Taimoor Khan, Majid Haghparast, Vlad Stirbu, Peng Liang,
• Abstract summary: Quantum Software (QSW) uses the principles of quantum mechanics, specifically programming quantum bits (qubits) that manipulate quantum gates, to implement quantum computing systems. We introduce QADL (Quantum Architecture Language), which provides a specification language, design space, and execution environment for QSW architecture.
• Score: 5.032368657209642
• License:
• Abstract: Quantum Software (QSW) uses the principles of quantum mechanics, specifically programming quantum bits (qubits) that manipulate quantum gates, to implement quantum computing systems. QSW has become a specialized field of software development, requiring specific notations, languages, patterns, and tools for mapping the behavior of qubits and the structure of quantum gates to components and connectors of QSW architectures. To support declarative modeling of QSW, we aim to enable architecture-driven development, where software engineers can design, program, and evaluate quantum software systems by abstracting complex details through high-level components and connectors. We introduce QADL (Quantum Architecture Description Language), which provides a specification language, design space, and execution environment for architecting QSW. Inspired by classical ADLs, QADL offers (1) a graphical interface to specify and design QSW components, (2) a parser for syntactical correctness, and (3) an execution environment by integrating QADL with IBM Qiskit. The initial evaluation of QADL is based on usability assessments by a team of quantum physicists and software engineers, using quantum algorithms such as Quantum Teleportation and Grover's Search. QADL offers a pioneering specification language and environment for QSW architecture. A demo is available at https://youtu.be/xaplHH_3NtQ.

Related papers

• Quantum computing with Qiskit [1.1469455926249006]
  We describe Qiskit, a software development kit for quantum information science. We discuss the key design decisions that have shaped its development, and examine the software architecture and its core components.
  arXiv  Detail & Related papers  (2024-05-14T17:55:32Z)
• A Reference Architecture for Quantum Computing as a Service [0.0]
  Quantum computers (QCs) aim to disrupt the statusquo of computing -- replacing traditional systems and platforms that are driven by digital circuits and modular software. QCs that rely on quantum mechanics can achieve "quantum computational supremacy" over traditional, i.e., digital computing systems. This research contributes by developing a reference architecture for enabling quantum computing as a service.
  arXiv  Detail & Related papers  (2023-06-03T17:48:18Z)
• Delegated variational quantum algorithms based on quantum homomorphic encryption [69.50567607858659]
  Variational quantum algorithms (VQAs) are one of the most promising candidates for achieving quantum advantages on quantum devices. The private data of clients may be leaked to quantum servers in such a quantum cloud model. A novel quantum homomorphic encryption (QHE) scheme is constructed for quantum servers to calculate encrypted data.
  arXiv  Detail & Related papers  (2023-01-25T07:00:13Z)
• 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)
• Recent Advances for Quantum Neural Networks in Generative Learning [98.88205308106778]
  Quantum generative learning models (QGLMs) may surpass their classical counterparts. We review the current progress of QGLMs from the perspective of machine learning. We discuss the potential applications of QGLMs in both conventional machine learning tasks and quantum physics.
  arXiv  Detail & Related papers  (2022-06-07T07:32:57Z)
• QFaaS: A Serverless Function-as-a-Service Framework for Quantum Computing [22.068803245816266]
  We propose a Quantum Function-as-a-Service framework to advance quantum computing. Our framework provides essential components of a quantum serverless platform to simplify the software development and adapt to the quantum cloud computing paradigm. This paper proposes architectural design, principal components, the life cycle of hybrid quantum-classical function, operation workflow, and implementation of QF.
  arXiv  Detail & Related papers  (2022-05-30T04:18:53Z)
• NetQASM -- A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet [0.1477771876929053]
  NetQASM is a low-level instruction set architecture for quantum internet applications. We implement NetQASM in a series of tools to write, parse, encode and run NetQASM code.
  arXiv  Detail & Related papers  (2021-11-18T17:46:46Z)
• On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
  We devise three effective QAE-based learning protocols to address three classically computational hard learning problems. Our work sheds new light on developing advanced quantum learning algorithms to accomplish hard quantum physics and quantum information processing tasks.
  arXiv  Detail & Related papers  (2021-06-29T14:01:40Z)
• A MLIR Dialect for Quantum Assembly Languages [78.8942067357231]
  We demonstrate the utility of the Multi-Level Intermediate Representation (MLIR) for quantum computing. We extend MLIR with a new quantum dialect that enables the expression and compilation of common quantum assembly languages. We leverage a qcor-enabled implementation of the QIR quantum runtime API to enable a retargetable (quantum hardware agnostic) compiler workflow.
  arXiv  Detail & Related papers  (2021-01-27T13:00:39Z)
• Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
  qcor is a language extension to C++ and compiler implementation that enables heterogeneous quantum-classical programming, compilation, and execution in a single-source context. Our work provides a first-of-its-kind C++ compiler enabling high-level quantum kernel (function) expression in a quantum-language manner.
  arXiv  Detail & Related papers  (2020-10-08T12:49:07Z)
• Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features [0.0]
  We propose the Quingo framework to integrate and manage quantum-classical software and hardware to provide the programmability over HQCC applications. We also propose the Quingo programming language, an external domain-specific language highlighting timer-based timing control and opaque operation definition.
  arXiv  Detail & Related papers  (2020-09-02T06:42:51Z)

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.