Tools for Quantum Computing Based on Decision Diagrams
- URL: http://arxiv.org/abs/2108.07027v1
- Date: Mon, 16 Aug 2021 11:42:44 GMT
- Title: Tools for Quantum Computing Based on Decision Diagrams
- Authors: Robert Wille, Stefan Hillmich and Lukas Burgholzer
- Abstract summary: We present a set of tools for quantum computing developed at the Johannes Kepler University (JKU) Linz and released under the MIT license.
We first review the concepts of how decision diagrams can be employed, e.g., for the simulation and verification of quantum circuits.
We then present a visualization tool for quantum decision diagrams, which allows users to explore the behavior of decision diagrams in the design tasks.
- Score: 4.126108081031457
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: With quantum computers promising advantages even in the near-term NISQ era,
there is a lively community that develops software and toolkits for the design
of corresponding quantum circuits. Although the underlying problems are
different, expertise from the design automation community, which developed
sophisticated design solutions for the conventional realm in the past decades,
can help here. In this respect, decision diagrams provide a promising
foundation for tackling many design tasks such as simulation, synthesis, and
verification of quantum circuits. However, users of the corresponding tools
often do not have a proper background or an intuition about how these methods
based on decision diagrams work and what their strengths and limits are. In
this work, we first review the concepts of how decision diagrams can be
employed, e.g., for the simulation and verification of quantum circuits.
Afterwards, in an effort to make decision diagrams for quantum computing more
accessible, we then present a visualization tool for quantum decision diagrams,
which allows users to explore the behavior of decision diagrams in the design
tasks mentioned above. Finally, we present decision diagram-based tools for
simulation and verification of quantum circuits using the methods discussed
above as part of the open-source JKQ quantum toolset---a set of tools for
quantum computing developed at the Johannes Kepler University (JKU) Linz and
released under the MIT license. More information about the corresponding tools
is available at https://github.com/iic-jku/. By this, we provide an
introduction of the concepts and tools for potential users who would like to
work with them as well as potential developers aiming to extend them.
Related papers
- The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing [3.274875498478248]
The Munich Quantum Toolkit (MQT) is a collection of software tools for quantum computing developed by the Chair for Design Automation at the Technical University of Munich.
arXiv Detail & Related papers (2024-05-27T18:00:00Z) - 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) - Decision Diagrams for Quantum Computing [3.671241987608068]
The advantages in computing power come with challenges to be addressed in the design automation and software development community.
We review the fundamentals on decision diagrams and highlight their applicability in the tasks of quantum circuit simulation with and without errors as well as in verification of quantum circuits.
arXiv Detail & Related papers (2023-02-09T15:04:47Z) - 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) - Assessing requirements to scale to practical quantum advantage [56.22441723982983]
We develop a framework for quantum resource estimation, abstracting the layers of the stack, to estimate resources required for large-scale quantum applications.
We assess three scaled quantum applications and find that hundreds of thousands to millions of physical qubits are needed to achieve practical quantum advantage.
A goal of our work is to accelerate progress towards practical quantum advantage by enabling the broader community to explore design choices across the stack.
arXiv Detail & Related papers (2022-11-14T18:50:27Z) - DQC$^2$O: Distributed Quantum Computing for Collaborative Optimization
in Future Networks [54.03701670739067]
We propose an adaptive distributed quantum computing approach to manage quantum computers and quantum channels for solving optimization tasks in future networks.
Based on the proposed approach, we discuss the potential applications for collaborative optimization in future networks, such as smart grid management, IoT cooperation, and UAV trajectory planning.
arXiv Detail & Related papers (2022-09-16T02:44:52Z) - Evolution of Quantum Computing: A Systematic Survey on the Use of
Quantum Computing Tools [5.557009030881896]
We conduct a systematic survey and categorize papers, tools, frameworks, platforms that facilitate quantum computing.
We discuss the current essence, identify open challenges and provide future research direction.
We conclude that scores of frameworks, tools and platforms are emerged in the past few years, improvement of currently available facilities would exploit the research activities in the quantum research community.
arXiv Detail & Related papers (2022-04-04T21:21:12Z) - From Quantum Graph Computing to Quantum Graph Learning: A Survey [86.8206129053725]
We first elaborate the correlations between quantum mechanics and graph theory to show that quantum computers are able to generate useful solutions.
For its practicability and wide-applicability, we give a brief review of typical graph learning techniques.
We give a snapshot of quantum graph learning where expectations serve as a catalyst for subsequent research.
arXiv Detail & Related papers (2022-02-19T02:56:47Z) - Advantages and Bottlenecks of Quantum Machine Learning for Remote
Sensing [63.69764116066747]
This concept paper aims to provide a brief outline of quantum computers, explore existing methods of quantum image classification techniques, and discuss the bottlenecks of performing these algorithms on currently available open source platforms.
Next steps include expanding the size of the quantum hidden layer and increasing the variety of output image options.
arXiv Detail & Related papers (2021-01-26T09:31:46Z)
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.