Decision Diagrams for Quantum Computing

• URL: http://arxiv.org/abs/2302.04687v1
• Date: Thu, 9 Feb 2023 15:04:47 GMT
• Title: Decision Diagrams for Quantum Computing
• Authors: Robert Wille, Stefan Hillmich, and Lukas Burgholzer
• Abstract summary: 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.
• Score: 3.671241987608068
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Quantum computing promises to solve some important problems faster than conventional computations ever could. Currently available NISQ devices on which first practical applications are already executed demonstrate the potential -- with future fault-tolerant quantum hardware for more demanding applications on the horizon. Nonetheless, the advantages in computing power come with challenges to be addressed in the design automation and software development community. In particular, non-quantum representations of states and operations, which provide the basis, e.g., for quantum circuit simulation or verification, require an exponential amount of memory. We propose to use decision diagrams as data structure to conquer the exponential memory requirements in many cases. In this chapter, 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. The tools presented here are all available online as open source projects.

Related papers

• How to Build a Quantum Supercomputer: Scaling Challenges and Opportunities [3.864855748348313]
  Small-scale demonstrations have become possible for quantum algorithmic primitives on hundreds of physical qubits. Despite significant progress and excitement, the path toward a full-stack scalable technology is largely unknown. We show how the road to scaling could be paved by adopting existing semiconductor technology to build much higher-quality qubits.
  arXiv  Detail & Related papers  (2024-11-15T18:22:46Z)
• QCircuitNet: A Large-Scale Hierarchical Dataset for Quantum Algorithm Design [17.747641494506087]
  We introduce QCircuitNet, the first benchmark and test dataset designed to evaluate AI's capability in designing and implementing quantum algorithms. Unlike using AI for writing traditional codes, this task is fundamentally different and significantly more complicated due to highly flexible design space and intricate manipulation of qubits.
  arXiv  Detail & Related papers  (2024-10-10T14:24:30Z)
• Quantum Tunneling: From Theory to Error-Mitigated Quantum Simulation [49.1574468325115]
  This study presents the theoretical background and the hardware aware circuit implementation of a quantum tunneling simulation. We use error mitigation techniques (ZNE and REM) and multiprogramming of the quantum chip for solving the hardware under-utilization problem.
  arXiv  Detail & Related papers  (2024-04-10T14:27:07Z)
• Utilizing Resource Estimation for the Development of Quantum Computing Applications [4.726372592887009]
  We show how to utilize Resource Estimation to improve the development and assessment of real-world quantum computing applications. Overall, this enables end-users already today to check out the promises of possible future quantum computing applications.
  arXiv  Detail & Related papers  (2024-02-19T19:00:01Z)
• Influence of HW-SW-Co-Design on Quantum Computing Scalability [6.2543855067453675]
  We investigate how key figures - circuit depth and gate count - required to solve four NP-complete problems vary with tailored hardware properties. Our results reveal that achieving near-optimal performance and properties does not necessarily require optimal quantum hardware.
  arXiv  Detail & Related papers  (2023-06-07T08:36:33Z)
• 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)
• 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)
• Quantum circuit debugging and sensitivity analysis via local inversions [62.997667081978825]
  We present a technique that pinpoints the sections of a quantum circuit that affect the circuit output the most. We demonstrate the practicality and efficacy of the proposed technique by applying it to example algorithmic circuits implemented on IBM quantum machines.
  arXiv  Detail & Related papers  (2022-04-12T19:39:31Z)
• 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)
• Generation of High-Resolution Handwritten Digits with an Ion-Trap Quantum Computer [55.41644538483948]
  We implement a quantum-circuit based generative model to learn and sample the prior distribution of a Generative Adversarial Network. We train this hybrid algorithm on an ion-trap device based on $171$Yb$+$ ion qubits to generate high-quality images.
  arXiv  Detail & Related papers  (2020-12-07T18:51:28Z)

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.