The Basis of Design Tools for Quantum Computing: Arrays, Decision
Diagrams, Tensor Networks, and ZX-Calculus
- URL: http://arxiv.org/abs/2301.04147v1
- Date: Tue, 10 Jan 2023 19:00:00 GMT
- Title: The Basis of Design Tools for Quantum Computing: Arrays, Decision
Diagrams, Tensor Networks, and ZX-Calculus
- Authors: Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl,
Alexander Ploier, and Tom Peham
- Abstract summary: 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.
- Score: 55.58528469973086
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum computers promise to efficiently solve important problems classical
computers never will. However, in order to capitalize on these prospects, a
fully automated quantum software stack needs to be developed. This involves a
multitude of complex tasks from the classical simulation of quantum circuits,
over their compilation to specific devices, to the verification of the circuits
to be executed as well as the obtained results. All of these tasks are highly
non-trivial and necessitate efficient data structures to tackle the inherent
complexity. Starting from rather straight-forward arrays over decision diagrams
(inspired by the design automation community) to tensor networks and the
ZX-calculus, various complementary approaches have been proposed. 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.
Related papers
- Circuit Implementation of Discrete-Time Quantum Walks on Complex Networks [2.0257616108612373]
Quantum walks are powerful tools for various graph-based applications.
We present a circuit design for implementing discrete-time quantum walks on complex networks.
arXiv Detail & Related papers (2024-08-28T09:11:47Z) - 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) - 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 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) - Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum
Circuit Simulation [65.93830818469833]
tensor networks and decision diagrams have independently been developed with differing perspectives, terminologies, and backgrounds in mind.
We consider how these techniques approach classical quantum circuit simulation, and examine their (dis)similarities with regard to their most applicable abstraction level.
We provide guidelines for when to better use tensor networks and when to better use decision diagrams in classical quantum circuit simulation.
arXiv Detail & Related papers (2023-02-13T19:00:00Z) - Optimizing Tensor Network Contraction Using Reinforcement Learning [86.05566365115729]
We propose a Reinforcement Learning (RL) approach combined with Graph Neural Networks (GNN) to address the contraction ordering problem.
The problem is extremely challenging due to the huge search space, the heavy-tailed reward distribution, and the challenging credit assignment.
We show how a carefully implemented RL-agent that uses a GNN as the basic policy construct can address these challenges.
arXiv Detail & Related papers (2022-04-18T21:45:13Z) - Tools for Quantum Computing Based on Decision Diagrams [4.126108081031457]
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.
arXiv Detail & Related papers (2021-08-16T11:42:44Z) - 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)
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.