English
Related papers

Related papers: Statistical Assertions for Debugging Quantum Circu…

200 papers

While thousands of experimental physicists and chemists are currently trying to build scalable quantum computers, it appears that simulation of quantum computation will be at least as critical as circuit simulation in classical VLSI design.…

Quantum Physics · Physics 2007-05-23 George F. Viamontes , Manoj Rajagopalan , Igor L. Markov , John P. Hayes

Quantum computer simulators are an indispensable tool for prototyping quantum algorithms and verifying the functioning of existing quantum computer hardware. The current largest quantum computers feature more than one thousand qubits,…

Quantum Physics · Physics 2025-01-28 Gabin Schieffer , Stefano Markidis , Ivy Peng

This paper introduces a process framework for debugging quantum circuits, focusing on three distinct types of circuit blocks: Amplitude Permutation, Phase Modulation, and Amplitude Redistribution circuit blocks. Our research addresses the…

Quantum Physics · Physics 2024-03-08 Sara Ayman Metwalli , Rodney Van Meter

As quantum computers continue to improve in quality and scale, there is a growing need for accessible software frameworks for programming them. However, the unique behavior of quantum systems means specialized approaches, beyond traditional…

Quantum Physics · Physics 2025-09-04 Nils Quetschlich , Olivia Di Matteo

Realizing a conceptual quantum algorithm on an actual physical device necessitates the algorithm's quantum circuit description to undergo certain transformations in order to adhere to all constraints imposed by the hardware. In this regard,…

Quantum Physics · Physics 2023-01-11 Lukas Burgholzer , Rudy Raymond , Robert Wille

Quantum computing promises exponential speed-ups for important simulation and optimization problems. It also poses new CAD problems that are similar to, but more challenging, than the related problems in classical (non-quantum) CAD, such as…

Quantum Physics · Physics 2011-11-04 George F. Viamontes , Igor L. Markov , John P. Hayes

Quantum computers promise to efficiently solve not only problems believed to be intractable for classical computers, but also problems for which verifying the solution is also considered intractable. This raises the question of how one can…

Quantum Physics · Physics 2018-07-10 Alexandru Gheorghiu , Theodoros Kapourniotis , Elham Kashefi

A prime goal of quantum tomography is to provide quantitatively rigorous characterisation of quantum systems, be they states, processes or measurements, particularly for the purposes of trouble-shooting and benchmarking experiments in…

Quantum Physics · Physics 2015-06-12 Nathan K. Langford

Quantum computing has become a promising computing approach because of its capability to solve certain problems, exponentially faster than classical computers. A $n$-qubit quantum system is capable of providing $2^{n}$ computational space…

Quantum Physics · Physics 2023-09-13 Saikat Basu , Amit Saha , Amlan Chakrabarti , Susmita Sur-Kolay

While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of such quantum programs is a challenge. Early attempts either…

Programming Languages · Computer Science 2022-02-04 Christophe Chareton , Sébastien Bardin , François Bobot , Valentin Perrelle , Benoit Valiron

As quantum programming evolves, more and more quantum programming languages are being developed. As a result, debugging and testing quantum programs have become increasingly important. While bug fixing in classical programs has come a long…

Quantum Physics · Physics 2022-01-24 Junjie Luo , Pengzhan Zhao , Zhongtao Miao , Shuhan Lan , Jianjun Zhao

Quantum computers are on the brink of surpassing the capabilities of even the most powerful classical computers. This naturally raises the question of how one can trust the results of a quantum computer when they cannot be compared to…

Quantum computers have rapidly improved in scale and fidelity, yet access to large systems remains limited for most researchers. This makes accurate and scalable noisy quantum simulation essential. While density matrix simulation provides…

Quantum Physics · Physics 2026-05-19 Siddharth Dangwal , Tina Oberoi , Ajay Sailopal , Dhirpal Shah , Frederic T. Chong

Quantum-mechanical phenomena are playing an increasing role in information processing, as transistor sizes approach the nanometer level, and quantum circuits and data encoding methods appear in the securest forms of communication.…

Quantum Physics · Physics 2009-11-10 George F. Viamontes , Igor L. Markov , John P. Hayes

Quantum computing has shown tremendous promise in addressing complex computational problems, yet its practical realization is hindered by the limited availability of qubits for computation. Recent advancements in quantum hardware have…

Quantum Physics · Physics 2023-11-22 Kun Fang , Munan Zhang , Ruqi Shi , Yinan Li

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…

Logic in Computer Science · Computer Science 2024-02-15 Marco Lewis , Sadegh Soudjani , Paolo Zuliani

Software under test can be analyzed dynamically, while it is being executed, to find defects. However, as the number and possible values of input parameters increase, the cost of dynamic testing rises. This paper examines whether quantum…

Software Engineering · Computer Science 2022-09-13 Andriy Miranskyy

The implementation and practicality of quantum algorithms highly hinge on the quality of operations within a quantum processor. Therefore, including realistic error models in quantum computing simulation platforms is crucial for testing…

Quantum Physics · Physics 2021-04-12 Ahmed Abid Moueddene , Nader Khammassi , Koen Bertels , Carmen G. Almudever

While recent progress in quantum hardware open the door for significant speedup in certain key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantum algorithms are still hard to implement right, and the…

Programming Languages · Computer Science 2022-04-11 Christophe Chareton , Sébastien Bardin , Dongho Lee , Benoît Valiron , Renaud Vilmart , Zhaowei Xu

Quantum simulation is a potentially powerful application of quantum computing, holding the promise to be able to emulate interesting quantum systems beyond the reach of classical computing methods. Despite such promising applications, and…

Quantum Physics · Physics 2022-10-07 Kaelyn J. Ferris , A. J. Rasmusson , Nicholas T. Bronn , Olivia Lanes