English
Related papers

Related papers: NovaQ: Improving Quantum Program Testing through D…

200 papers

Quantum computing is entering a transformative phase with the emergence of logical quantum processors, which hold the potential to tackle complex problems beyond classical capabilities. While significant progress has been made, applying…

Quantum Physics · Physics 2025-01-29 Shunya Minami , Kouhei Nakaji , Yohichi Suzuki , Alán Aspuru-Guzik , Tadashi Kadowaki

Testing and debugging quantum software pose significant challenges due to the inherent complexities of quantum mechanics, such as superposition and entanglement. One challenge is indeterminacy, a fundamental characteristic of quantum…

Software Engineering · Computer Science 2025-02-10 Khushdeep Kaur , Dongchan Kim , Ainaz Jamshidi , Lei Zhang

First quantum computers very recently have demonstrated "quantum supremacy" or "quantum advantage": Executing a computation that would have been impossible on a classical machine. Today's quantum computers follow the NISQ paradigm: They…

Quantum Physics · Physics 2023-01-30 Sebastian Brandhofer , Simon Devitt , Thomas Wellens , Ilia Polian

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

The goal of this paper is to deliver the overview of the current state of the art, to provide experience report on developing quantum software tools, and to outline the perspective for developing quantum programming tools supporting…

Quantum Physics · Physics 2023-09-14 Jarosław Adam Miszczak

Quantum oracles play key roles in the studies of quantum computation and quantum information. But implementing quantum oracles efficiently with universal quantum gates is a hard work. Motivated by genetic programming, this paper proposes a…

Quantum Physics · Physics 2007-05-23 Shengchao Ding , Zhi Jin , Qing Yang

Quantum computing has made tremendous improvements in both software and hardware that have sparked interest in academia and industry to realize quantum computing applications. To this end, several steps are necessary: The underlying problem…

Quantum compiling aims to construct a quantum circuit V by quantum gates drawn from a native gate alphabet, which is functionally equivalent to the target unitary U. It is a crucial stage for the running of quantum algorithms on noisy…

Quantum Physics · Physics 2021-03-23 Zhimin He , Lvzhou Li , Shenggen Zheng , Yongyao Li , Haozhen Situ

Quantum network coding has been proposed to improve resource utilization to support distributed computation but has not yet been put in to practice. We investigate a particular implementation of quantum network coding using…

Superconducting qubits are leading candidates in the race to build a quantum computer capable of realizing computations beyond the reach of modern supercomputers. The superconducting qubit modality has been used to demonstrate prototype…

Quantum computing harnesses quantum laws of nature to enable new types of algorithms, not efficiently possible on traditional computers, that may lead to breakthroughs in crucial areas like materials science and chemistry. There is rapidly…

Physics Education · Physics 2020-10-16 Mariia Mykhailova , Krysta M. Svore

Quantum annealers are specialized quantum computers for solving combinatorial optimization problems using special characteristics of quantum computing (QC), such as superposition, entanglement, and quantum tunneling. Theoretically, quantum…

Software Engineering · Computer Science 2024-07-29 Xinyi Wang , Asmar Muqeet , Tao Yue , Shaukat Ali , Paolo Arcaini

Manipulating quantum computing hardware in the presence of imperfect devices and control systems is a central challenge in realizing useful quantum computers. Susceptibility to noise limits the performance and capabilities of noisy…

The advent of Noisy Intermediate-Scale Quantum (NISQ) technology is changing rapidly the landscape and modality of research in quantum physics. NISQ devices, such as the IBM Q Experience, have very recently proven their capability as…

Quantum Physics · Physics 2020-01-08 Guillermo García-Pérez , Matteo A. C. Rossi , Sabrina Maniscalco

Quantum error correction is crucial for protecting quantum information against decoherence. Traditional codes like the surface code require substantial overhead, making them impractical for near-term, early fault-tolerant devices. We…

Quantum Physics · Physics 2026-04-13 Nico Meyer , Christopher Mutschler , Andreas Maier , Daniel D. Scherer

The onset of the era of fully-programmable error-corrected quantum computers will be marked by major breakthroughs in all areas of science and engineering. These devices promise to have significant technological and societal impact, notable…

Quantum Physics · Physics 2019-11-22 Kishor Bharti , Maharshi Ray , Antonios Varvitsiotis , Adán Cabello , Leong-Chuan Kwek

The concept of quantum computing has inspired a whole new generation of scientists, including physicists, engineers, and computer scientists, to fundamentally change the landscape of information technology. With experimental demonstrations…

Complex quantum networks are not only hard to establish, but also difficult to simulate due to the exponentially growing state space and noise-induced imperfections. In this work, we propose an alternative approach that leverage quantum…

Quantum Physics · Physics 2025-09-30 Ferran Riera-Sàbat , Jorge Miguel-Ramiro , Wolfgang Dür

This whitepaper presents NWQWorkflow, an end-to-end workflow for quantum application development, compilation, error correction, benchmarking, numerical simulation, control, and execution on a prototype superconducting testbed. NWQWorkflow…

Quantum Physics · Physics 2026-01-23 Ang Li

Quantum Information Processing, which is an exciting area of research at the intersection of physics and computer science, has great potential for influencing the future development of information processing systems. The building of…

Logic in Computer Science · Computer Science 2015-11-06 Jaap Boender , Florian Kammüller , Rajagopal Nagarajan