English
Related papers

Related papers: Decision Diagrams for Quantum Computing

200 papers

Applications of decision diagrams in quantum circuit analysis have been an active research area. Our work introduces FeynmanDD, a new method utilizing standard and multi-terminal decision diagrams for quantum circuit simulation and…

Quantum Physics · Physics 2025-09-11 Ziyuan Wang , Bin Cheng , Longxiang Yuan , Zhengfeng Ji

Quantum computing promises the ability to compute properties of quantum systems exponentially faster than classical computers. Quantum advantage is achieved when a practical problem is solved more efficiently on a quantum computer than on a…

Quantum Physics · Physics 2025-12-03 William A. Simon , Peter J. Love

The quantum circuit model is the most widely used model of quantum computation. It provides both a framework for formulating quantum algorithms and an architecture for the physical construction of quantum computers. However, several other…

Quantum Physics · Physics 2008-09-16 Stephen P. Jordan

Quantum computers represent a radical technological advancement in the way information is processed by using the principles of quantum mechanics to solve very complex problems that exceed the capabilities of classical systems. However, in…

Quantum Physics · Physics 2025-08-28 Marcos Guillermo Lammers , Federico Hernán Holik , Alejandro Fernández

Quantum computing provides a powerful framework for tackling computational problems that are classically intractable. The goal of this paper is to explore the use of quantum computers for solving relevant problems in systems and control…

Systems and Control · Electrical Eng. & Systems 2025-12-23 Jan Schneider , Julian Berberich

Quantum computing is an emerging technology with potentially far-reaching implications for national prosperity and security. Understanding the timeframes over which economic benefits and national security risks may manifest themselves is…

Quantum computing promises advantages over classical computing. The manufacturing of quantum hardware is in the infancy stage, called the Noisy Intermediate-Scale Quantum (NISQ) era. A major challenge is automated quantum circuit design…

Efficient methods for the representation and simulation of quantum states and quantum operations are crucial for the optimization of quantum circuits. Decision diagrams (DDs), a well-studied data structure originally used to represent…

Quantum Physics · Physics 2023-09-13 Lieuwe Vinkhuijzen , Tim Coopmans , David Elkouss , Vedran Dunjko , Alfons Laarman

Quantum computing has the potential to revolutionize multiple fields by solving complex problems that can not be solved in reasonable time with current classical computers. Nevertheless, the development of quantum computers is still in its…

Quantum computers promise to solve important problems faster than conventional computers. However, unleashing this power has been challenging. In particular, design automation runs into (1) the probabilistic nature of quantum computation…

Quantum Physics · Physics 2023-11-08 Stefan Hillmich , Richard Kueng , Igor L. Markov , Robert Wille

Memory is an indispensable component in classical computing systems. While the development of quantum computing is still in its early stages, current quantum processing units mainly function as quantum registers. Consequently, the actual…

Quantum Physics · Physics 2023-11-06 Chenxu Liu , Meng Wang , Samuel A. Stein , Yufei Ding , Ang Li

Quantum computing is currently gaining significant attention, not only from the academic community but also from industry, due to its potential applications across several fields for addressing complex problems. For any practical problem…

Quantum computers are designed to outperform standard computers by running quantum algorithms. Areas in which quantum algorithms can be applied include cryptography, search and optimisation, simulation of quantum systems, and solving large…

Quantum Physics · Physics 2016-02-24 Ashley Montanaro

Quantum computers represent a radical technological breakthrough in information processing by leveraging the principles of quantum mechanics to solve highly complex problems beyond the reach of classical systems. However, in the current…

Quantum Physics · Physics 2025-08-26 Marcos Guillermo Lammers , Federico Hernán Holik , Alejandro Fernández

Construction of explicit quantum circuits follows the notion of the "standard circuit model" introduced in the solid and profound analysis of elementary gates providing quantum computation. Nevertheless the model is not always optimal (e.g.…

Quantum Physics · Physics 2007-05-23 K. Ch. Chatzisavvas , C. Daskaloyannis , C. P. Panos

Quantum computing is rapidly emerging as a promising technology for solving complex optimization problems that arise in various engineering fields. Therefore, it holds significant promise to transform the computational foundations of power…

Quantum Physics · Physics 2026-01-06 Nikolaos G. Paterakis , Petros Karamanakos , Corey O'Meara , Georgios Papafotiou

State of the art quantum computing architectures are founded on the decision to use scalable but faulty quantum hardware in conjunction with an efficient error correcting code capable of tolerating high error rates. The promised effect of…

Quantum Physics · Physics 2021-08-23 Alexandru Paler , Austin G. Fowler , Robert Wille

Simulation and programming of current quantum computers as Noisy Intermediate-Scale Quantum (NISQ) devices represent a hot topic at the border of current physical and information sciences. The quantum walk process represents a basic…

Quantum computing is a game-changing technology for global academia, research centers and industries including computational science, mathematics, finance, pharmaceutical, materials science, chemistry and cryptography. Although it has seen…

Quantum Physics · Physics 2023-03-07 He-Liang Huang , Xiao-Yue Xu , Chu Guo , Guojing Tian , Shi-Jie Wei , Xiaoming Sun , Wan-Su Bao , Gui-Lu Long

With the rapid progress in quantum hardware and software, the need for verification of quantum systems becomes increasingly crucial. While model checking is a dominant and very successful technique for verifying classical systems, its…

Data Structures and Algorithms · Computer Science 2025-03-07 Xin Hong , Dingchao Gao , Sanjiang Li , Shenggang Ying , Mingsheng Ying