English
Related papers

Related papers: Advanced Equivalence Checking for Quantum Circuits

200 papers

In order to implement a quantum computing application, problem instances must be encoded into a quantum circuit and then compiled for a specific platform. The lengthy compilation process is a key bottleneck in this workflow, especially for…

Quantum Physics · Physics 2024-06-26 Nils Quetschlich , Lukas Burgholzer , Robert Wille

Quantum computing promises potential for science and industry by solving certain computationally complex problems faster than classical computers. Quantum computing systems evolved from monolithic systems towards modular architectures…

Quantum Physics · Physics 2023-08-15 Nishant Saurabh , Shantenu Jha , Andre Luckow

Quantum Computing (QC) refers to an emerging paradigm that inherits and builds with the concepts and phenomena of Quantum Mechanic (QM) with the significant potential to unlock a remarkable opportunity to solve complex and computationally…

Quantum chemistry is among the most promising applications of quantum computing, offering the potential to solve complex electronic structure problems more efficiently than classical approaches. A critical component of any quantum algorithm…

Quantum Physics · Physics 2025-06-02 Smik Patel , Praveen Jayakumar , Tzu-Ching Yen , Artur F. Izmaylov

Unlike fixed designs, programmable circuit designs support an infinite number of operators. The functionality of a programmable circuit can be altered by simply changing the angle values of the rotation gates in the circuit. Here, we…

Quantum Physics · Physics 2012-12-27 Anmer Daskin , Ananth Grama , Giorgos Kollias , Sabre Kais

Rapid advances in quantum computing technology lead to an increasing need for software simulators that enable both algorithm design and the validation of results obtained from quantum hardware. This includes calculations that aim at probing…

Quantum Physics · Physics 2025-01-09 Amit Jamadagni , Andreas M. Läuchli , Cornelius Hempel

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

Simulating quantum mechanics is known to be a difficult computational problem, especially when dealing with large systems. However, this difficulty may be overcome by using some controllable quantum system to study another less controllable…

Quantum Physics · Physics 2014-03-14 I. M. Georgescu , S. Ashhab , Franco Nori

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…

Quantum computing is greatly advanced in recent years and is expected to transform the computation paradigm in the near future. Quantum circuit simulation plays a key role in the toolchain for the development of quantum hardware and…

Emerging Technologies · Computer Science 2020-07-21 Yuan-Hung Tsai , Jie-Hong R. Jiang , Chiao-Shan Jhang

Quantum computing systems need to be benchmarked in terms of practical tasks they would be expected to do. Here, we propose 3 "application-motivated" circuit classes for benchmarking: deep (relevant for state preparation in the variational…

Quantum Physics · Physics 2021-03-24 Daniel Mills , Seyon Sivarajah , Travis L. Scholten , Ross Duncan

Quantum computing has potential to provide exponential speedups over classical computing for many important applications. However, today's quantum computers are in their early stages, and hardware quality issues hinder the scale of program…

Suppose two quantum circuit chips are located at different places, for which we do not have any prior knowledge, and cannot see the internal structures either. If we want to find out whether they have the same functions or not with…

Quantum Physics · Physics 2022-08-11 Weixiao Sun , Zhaohui Wei

Quantum computing is a highly abstract scientific discipline, which, however, is expected to have great practical relevance in future information technology. This forces educators to seek new methods to teach quantum computing for students…

Software Engineering · Computer Science 2026-03-11 Juha Reinikainen , Vlad Stirbu , Teiko Heinosaari , Vesa Lappalainen , Tommi Mikkonen

In this paper we introduce a technique and a tool for formal verification of various quantum information processing protocols. The tool uses stabilizer formalism and is capable of representing concurrent quantum protocol, thus is more…

Logic in Computer Science · Computer Science 2013-12-23 Ebrahim Ardeshir-Larijani , Simon J. Gay , Rajagopal Nagarajan

Quantum computing offers the promise of revolutionizing quantum chemistry by enabling the solution of chemical problems for substantially less computational cost. While most demonstrations of quantum computation to date have focused on…

Chemical Physics · Physics 2026-05-13 Alan Bidart , Prateek Vaish , Tilas Kabengele , Yaoqi Pang , Yuan Liu , Brenda M. Rubenstein

(Abridged.) Quantum computers promise to solve some problems exponentially faster than traditional computers, but we still do not fully understand why this is the case. While the most studied model of quantum computation uses qubits, which…

Quantum Physics · Physics 2025-05-29 Cameron Calcluth

Many promising quantum algorithms in economics, medical science, and material science rely on circuits that are parameterized by a large number of angles. To ensure that these algorithms are efficient, these parameterized circuits must be…

Quantum Physics · Physics 2025-07-09 Neil J. Ross , Scott Wesley

Quantum computers provide a fundamentally new computing paradigm that promises to revolutionize our ability to solve broad classes of problems. Surprisingly, the basic mathematical structures of gate-based quantum computing, such as unitary…

Quantum Physics · Physics 2019-08-20 Brian R. La Cour , S. Andrew Lanham , Corey I. Ostrove

Quantum computing promises to revolutionize various fields, yet the execution of quantum programs necessitates an effective compilation process. This involves strategically mapping quantum circuits onto the physical qubits of a quantum…

Quantum Physics · Physics 2024-12-19 Tian Li , Xiao-Yue Xu , Chen Ding , Tian-Ci Tian , Wei-You Liao , Shuo Zhang , He-Liang Huang
‹ Prev 1 4 5 6 7 8 10 Next ›