English
Related papers

Related papers: QDB: From Quantum Algorithms Towards Correct Quant…

200 papers

In this paper, we present the Quantum Information Software Developer Kit - Qiskit, for teaching quantum computing to undergraduate students, with basic knowledge of quantum mechanics postulates. We focus on presenting the construction of…

Quantum computation and communication are important branches of quantum information science. However, noise in realistic quantum devices fundamentally limits the utility of these quantum technologies. A conventional approach towards…

Quantum Physics · Physics 2021-03-18 Kyungjoo Noh

Quantum software testing has attracted interest in recent years, prompting the development of various techniques to automate the testing of quantum software. These techniques generate test cases that must be assessed for their effectiveness…

Software Engineering · Computer Science 2026-04-20 Eñaut Mendiluze Usandizaga , Thomas Laurent , Paolo Arcaini , Shaukat Ali

Quantum computing is emerging as a new computing resource that could be superior to conventional computing for certain classes of optimization problems. However, in principle, most existing approaches to quantum optimization are intended to…

Optimization and Control · Mathematics 2022-01-21 Chin-Yao Chang , Eric Jones , Yiyun Yao , Peter Graf , Rishabh Jain

Quantum computers are expected to give major speed-ups for the simulation of quantum systems. In these conference proceedings, we discuss quantum algorithms for the simulation of perturbative Quantum Chromodynamics (QCD) processes. In…

High Energy Physics - Phenomenology · Physics 2023-09-14 Herschel A. Chawdhry , Mathieu Pellen

Quantum computers leverage the unique advantages of quantum mechanics to achieve acceleration over classical computers for certain problems. Currently, various quantum simulators provide powerful tools for researchers, but simulating…

Quantum Physics · Physics 2024-10-31 Shuangxiang Zhou , Ronghang Chen , Zheng An , Shi-Yao Hou

We present a framework that utilizes quantum algorithms, an architecture aware quantum noise model and an ideal simulator to benchmark quantum computers. The benchmark metrics highlight the difference between the quantum computer evolution…

Quantum Physics · Physics 2021-12-20 Konstantinos Georgopoulos , Clive Emary , Paolo Zuliani

It is becoming increasingly clear that, if a useful device for quantum computation will ever be built, it will be embodied by a classical computing machine with control over a truly quantum subsystem, this apparatus performing a mixture of…

Programming Languages · Computer Science 2009-11-07 S. Bettelli , L. Serafini , T. Calarco

QC Lab is an open-source Python package for QC dynamics simulations aimed to promote the development of QC algorithms, and their application to a wide variety of relevant model problems. It follows a modular design that facilitates…

Chemical Physics · Physics 2025-10-28 Alex Krotz , Ethan Byrd , Ken Miyazaki , Roel Tempelaar

As quantum computing moves toward fault-tolerant architectures, quantum error correction (QEC) decoder performance is increasingly critical for scalability. Understanding the impact of transitioning from floating-point software to…

Quantum Physics · Physics 2026-04-22 Francisco Garcia-Herrero , Javier Valls , Llanos Vergara-Picazo , Vicente Torres

Current quantum processors are fragile, noisy and fairly limited in both quantity and quality with tens of qubits and physical error rates of around 10^-3. To realize practical quantum applications, however, error rates need to be below…

Quantum Physics · Physics 2025-04-25 Hany Ali

The anticipated applications of quantum computers span across science and industry, ranging from quantum chemistry and many-body physics to optimization, finance, and machine learning. Proposed quantum solutions in these areas typically…

Distributed quantum systems and especially the Quantum Internet have the ever-increasing potential to fully demonstrate the power of quantum computation. This is particularly true given that developing a general-purpose quantum computer is…

Quantum Physics · Physics 2022-06-29 Yuan Feng , Sanjiang Li , Mingsheng Ying

Quantum computers require error correction to achieve universal quantum computing. However, current decoding of quantum error-correcting codes relies on classical computation, which is slower than quantum operations in superconducting…

Quantum Physics · Physics 2025-06-11 Pan Zhang

The construction of a quantum computer remains a fundamental scientific and technological challenge, in particular due to unavoidable noise. Quantum states and operations can be protected from errors using protocols for fault-tolerant…

As quantum computers of non-trivial size become available in the near future, it is imperative to develop tools to emulate small quantum computers. This allows for validation and debugging of algorithms as well as exploring…

Quantum Physics · Physics 2018-01-24 Thomas Häner , Damian S. Steiger , Mikhail Smelyanskiy , Matthias Troyer

Quantum computing (QC) introduces a novel mode of computation with the possibility of greater computational power that remains to be exploited - presenting exciting opportunities for high performance computing (HPC) applications. However,…

The subject of this work is quantum predicative programming -- the study of developing of programs intended for execution on a quantum computer. We look at programming in the context of formal methods of program development, or programming…

Quantum Physics · Physics 2008-02-19 Anya Tafliovich , E. C. R. Hehner

Accurate classification of software bugs is essential for improving software quality. This paper presents a rule-based automated framework for classifying issues in quantum software repositories by bug type, category, severity, and impacted…

Software Engineering · Computer Science 2025-12-23 Mir Mohammad Yousuf , Shabir Ahmad Sofi

Quantum computers promise to transform our notions of computation by offering a completely new paradigm. To achieve scalable quantum computation, optimizing compilers and a corresponding software design flow will be essential. We present a…

Programming Languages · Computer Science 2018-07-24 Thomas Häner , Damian S. Steiger , Krysta Svore , Matthias Troyer