Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving

• URL: http://arxiv.org/abs/2005.05465v1
• Date: Mon, 11 May 2020 22:20:17 GMT
• Title: Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving
• Authors: Tom Kr\"uger, Wolfgang Mauerer
• Abstract summary: We perform a case study on how to augment existing software with quantum computational primitives for the Boolean satisfiability problem (SAT) implemented using a quantum annealer (QA) We discuss relevant quality measures for quantum components, and show that mathematically equivalent, but structurally different ways of transforming SAT to a QA can lead to substantial differences regarding these qualities.
• Score: 6.535889545025831
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Quantum computers have the potential of solving problems more efficiently than classical computers. While first commercial prototypes have become available, the performance of such machines in practical application is still subject to exploration. Quantum computers will not entirely replace classical machines, but serve as accelerators for specific problems. This necessitates integrating quantum computational primitives into existing applications. In this paper, we perform a case study on how to augment existing software with quantum computational primitives for the Boolean satisfiability problem (SAT) implemented using a quantum annealer (QA). We discuss relevant quality measures for quantum components, and show that mathematically equivalent, but structurally different ways of transforming SAT to a QA can lead to substantial differences regarding these qualities. We argue that engineers need to be aware that (and which) details, although they may be less relevant in traditional software engineering, require considerable attention in quantum computing.

Related papers

• Unlocking Quantum Optimization: A Use Case Study on NISQ Systems [0.0]
  This paper considers two industrial relevant use cases: one in the realm of optimizing charging schedules for electric vehicles, the other concerned with the optimization of truck routes. Our central contribution are systematic series of examples derived from these uses cases that we execute on different processors of the gate-based quantum computers of IBM as well as on the quantum annealer of D-Wave.
  arXiv  Detail & Related papers  (2024-04-10T17:08:07Z)
• 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)
• 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)
• Using a quantum computer to solve a real-world problem -- what can be achieved today? [0.0]
  Quantum computing is an important developing technology with the potential to revolutionise the landscape of scientific and business problems. The widespread excitement derives from the potential for a fault tolerant quantum computer to solve previously intractable problems. We are currently in the so-called NISQ era where more quantum approaches are being applied to early versions of quantum hardware.
  arXiv  Detail & Related papers  (2022-11-23T16:10:53Z)
• Optimal Stochastic Resource Allocation for Distributed Quantum Computing [50.809738453571015]
  We propose a resource allocation scheme for distributed quantum computing (DQC) based on programming to minimize the total deployment cost for quantum resources. The evaluation demonstrates the effectiveness and ability of the proposed scheme to balance the utilization of quantum computers and on-demand quantum computers.
  arXiv  Detail & Related papers  (2022-09-16T02:37:32Z)
• Systematic Literature Review: Quantum Machine Learning and its applications [0.0]
  This manuscript aims to present a Systematic Literature Review of the papers published between 2017 and 2023. This study identified 94 articles that used quantum machine learning techniques and algorithms. An improvement in the quantum hardware is required since the existing quantum computers lack enough quality, speed, and scale to allow quantum computing to achieve its full potential.
  arXiv  Detail & Related papers  (2022-01-11T17:36:34Z)
• Hybrid quantum-classical algorithms and quantum error mitigation [0.688204255655161]
  Google recently achieved quantum supremacy by using a noisy intermediate-scale quantum device with over 50 qubits. This article reviews the basic results for hybrid quantum-classical algorithms and quantum error mitigation techniques.
  arXiv  Detail & Related papers  (2020-11-02T23:34:22Z)
• Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
  We propose a resource and runtime efficient scheme termed quantum architecture search (QAS) QAS automatically seeks a near-optimal ansatz to balance benefits and side-effects brought by adding more noisy quantum gates. We implement QAS on both the numerical simulator and real quantum hardware, via the IBM cloud, to accomplish data classification and quantum chemistry tasks.
  arXiv  Detail & Related papers  (2020-10-20T12:06:27Z)
• 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)
• Quantum Computation [0.0]
  We will discuss and summarized the core principles and practical application areas of quantum computation. The mapping of computation onto the behavior of physical systems is a historical challenge. We will evaluate the essential technology required for quantum computers to be able to function correctly.
  arXiv  Detail & Related papers  (2020-06-04T11:57:18Z)
• An Application of Quantum Annealing Computing to Seismic Inversion [55.41644538483948]
  We apply a quantum algorithm to a D-Wave quantum annealer to solve a small scale seismic inversions problem. The accuracy achieved by the quantum computer is at least as good as that of the classical computer.
  arXiv  Detail & Related papers  (2020-05-06T14:18:44Z)

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.