Formal Verification of Quantum Programs: Theory, Tools and Challenges
- URL: http://arxiv.org/abs/2110.01320v2
- Date: Mon, 12 Dec 2022 14:38:38 GMT
- Title: Formal Verification of Quantum Programs: Theory, Tools and Challenges
- Authors: Marco Lewis and Sadegh Soudjani and Paolo Zuliani
- Abstract summary: Survey aims to be a short introduction into the area of formal verification of quantum programs.
This survey examines some of the challenges that the field may face in the future, namely the development of complex quantum algorithms.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Over the past 27 years, quantum computing has seen a huge rise in interest
from both academia and industry. At the current rate, quantum computers are
growing in size rapidly backed up by the increase of research in the field.
Significant efforts are being made to improve the reliability of quantum
hardware and to develop suitable software to program quantum computers. In
contrast, the verification of quantum programs has received relatively less
attention. Verifying programs is especially important in the quantum setting
due to how difficult it is to program complex algorithms correctly on
resource-constrained and error-prone quantum hardware. Research into creating
verification frameworks for quantum programs has seen recent development, with
a variety of tools implemented using a collection of theoretical ideas. This
survey aims to be a short introduction into the area of formal verification of
quantum programs, bringing together theory and tools developed to date.
Further, this survey examines some of the challenges that the field may face in
the future, namely the development of complex quantum algorithms.
Related papers
- The curse of random quantum data [62.24825255497622]
We quantify the performances of quantum machine learning in the landscape of quantum data.
We find that the training efficiency and generalization capabilities in quantum machine learning will be exponentially suppressed with the increase in qubits.
Our findings apply to both the quantum kernel method and the large-width limit of quantum neural networks.
arXiv Detail & Related papers (2024-08-19T12:18:07Z) - Quantum Computing: Vision and Challenges [16.50566018023275]
We discuss cutting-edge developments in quantum computer hardware advancement and subsequent advances in quantum cryptography, quantum software, and high-scalability quantum computers.
Many potential challenges and exciting new trends for quantum technology research and development are highlighted in this paper for a broader debate.
arXiv Detail & Related papers (2024-03-04T17:33:18Z) - Dynamic Runtime Assertions in Quantum Ternary Systems [1.5410557873153832]
We investigate assertions in quantum ternary systems, which are more challenging than those in quantum binary systems.
We propose quantum ternary circuit designs to assert classical, entanglement, and superposition states.
arXiv Detail & Related papers (2023-12-23T17:46:51Z) - Quantum data learning for quantum simulations in high-energy physics [55.41644538483948]
We explore the applicability of quantum-data learning to practical problems in high-energy physics.
We make use of ansatz based on quantum convolutional neural networks and numerically show that it is capable of recognizing quantum phases of ground states.
The observation of non-trivial learning properties demonstrated in these benchmarks will motivate further exploration of the quantum-data learning architecture in high-energy physics.
arXiv Detail & Related papers (2023-06-29T18:00:01Z) - Near-Term Quantum Computing Techniques: Variational Quantum Algorithms,
Error Mitigation, Circuit Compilation, Benchmarking and Classical Simulation [5.381727213688375]
We are still a long way from reaching the maturity of a full-fledged quantum computer.
An outstanding challenge is to come up with an application that can reliably carry out a nontrivial task.
Several near-term quantum computing techniques have been proposed to characterize and mitigate errors.
arXiv Detail & Related papers (2022-11-16T07:53:15Z) - 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) - Standard Model Physics and the Digital Quantum Revolution: Thoughts
about the Interface [68.8204255655161]
Advances in isolating, controlling and entangling quantum systems are transforming what was once a curious feature of quantum mechanics into a vehicle for disruptive scientific and technological progress.
From the perspective of three domain science theorists, this article compiles thoughts about the interface on entanglement, complexity, and quantum simulation.
arXiv Detail & Related papers (2021-07-10T06:12:06Z) - 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) - Imaginary Time Propagation on a Quantum Chip [50.591267188664666]
Evolution in imaginary time is a prominent technique for finding the ground state of quantum many-body systems.
We propose an algorithm to implement imaginary time propagation on a quantum computer.
arXiv Detail & Related papers (2021-02-24T12:48:00Z) - Proving Quantum Programs Correct [3.2513560268591735]
It verifies the correctness of a range of quantum algorithms including Grover's algorithm and quantum phase estimation.
It aims to highlight both the successes and challenges of formal verification in the quantum context.
arXiv Detail & Related papers (2020-10-03T00:55:41Z) - 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.