English
Related papers

Related papers: Exact Quantum Circuit Optimization is co-NQP-hard

200 papers

From a geometric approach, we derive the minimum number of applications needed for an arbitrary Controlled-Unitary gate to construct a universal quantum circuit. A new analytic construction procedure is presented and shown to be either…

Quantum Physics · Physics 2009-11-10 Jun Zhang , Jiri Vala , Shankar Sastry , K. Birgitta Whaley

The synthesis approaches for quantum circuits typically aim at minimizing the number of lines or gates. Given the tight restrictions on those logical resources in physical implementations, we propose to view the problem fundamentally…

Emerging Technologies · Computer Science 2023-02-03 Niels Gleinig , Tobias Rohner , Torsten Hoefler

Optimizing quantum circuits is critical for enhancing computational speed and mitigating errors caused by quantum noise. Effective optimization must be achieved without compromising the correctness of the computations. This survey explores…

Quantum Physics · Physics 2025-01-03 Krishnageetha Karuppasamy , Varun Puram , Stevens Johnson , Johnson P Thomas

Quantum computing (QC) promises theoretical advantages, benefiting computational problems that would not be efficiently classically simulatable. However, much of this theoretical speedup depends on the quantum circuit design solving the…

We propose an approach for quantifying a quantum circuit's quantumness as a means to understand the nature of quantum algorithmic speedups. Since quantum gates that do not preserve the computational basis are necessary for achieving quantum…

Quantum Physics · Physics 2011-11-04 Yaoyun Shi

Ying conceived of using two or more small-capacity quantum computers to produce a larger-capacity quantum computing system by quantum parallel programming ([M. S. Ying, Morgan-Kaufmann, 2016]). In doing so, the main obstacle is separating…

Quantum Physics · Physics 2022-01-19 Kan He , Shusen Liu , Jinchuan Hou

As quantum technology advances, the efficient design of quantum circuits has become an important area of research. This paper provides an introduction to the MCT quantum circuit design problem for reversible Boolean functions with the…

Optimization and Control · Mathematics 2025-07-10 Jihye Jung , Kevin Dalmeijer , Pascal Van Hentenryck

The problem of simulatability of quantum processes using classical resources plays a cornerstone role for quantum computing. Quantum circuits can be simulated classically, e.g., using Monte Carlo sampling techniques applied to…

Quantum Physics · Physics 2024-02-09 Denis A. Kulikov , Vsevolod I. Yashin , Aleksey K. Fedorov , Evgeniy O. Kiktenko

Solving real-world optimization problems with quantum computing requires choosing between a large number of options concerning formulation, encoding, algorithm and hardware. Finding good solution paths is challenging for end users and…

Recent technological developments have focused the interest of the quantum computing community on investigating how near-term devices could outperform classical computers for practical applications. A central question that remains open is…

Quantum Physics · Physics 2021-11-24 Daniel Stilck Franca , Raul Garcia-Patron

We show that approximating the trace norm contraction coefficient of a quantum channel within a constant factor is NP-hard. Equivalently, this shows that determining the optimal success probability for encoding a bit in a quantum system…

Quantum Physics · Physics 2025-09-23 Idris Delsol , Omar Fawzi , Jan Kochanowski , Akshay Ramachandran

The qubit routing problem, also known as the swap minimization problem, is a (classical) combinatorial optimization problem that arises in the design of compilers of quantum programs. We study the qubit routing problem from the viewpoint of…

Data Structures and Algorithms · Computer Science 2023-05-16 Takehiro Ito , Naonori Kakimura , Naoyuki Kamiyama , Yusuke Kobayashi , Yoshio Okamoto

While recent breakthroughs have proven the ability of noisy intermediate-scale quantum (NISQ) devices to achieve quantum advantage in classically-intractable sampling tasks, the use of these devices for solving more practically relevant…

The architecture of circuital quantum computers requires computing layers devoted to compiling high-level quantum algorithms into lower-level circuits of quantum gates. The general problem of quantum compiling is to approximate any unitary…

Quantum Physics · Physics 2021-09-21 Lorenzo Moro , Matteo G. A. Paris , Marcello Restelli , Enrico Prati

High-fidelity and robust quantum manipulation is the key for scalable quantum computation. Therefore, due to the intrinsic operational robustness, quantum manipulation induced by geometric phases is one of the promising candidates. However,…

Quantum Physics · Physics 2020-09-23 Tao Chen , Pu Shen , Zheng-Yuan Xue

Fault-tolerant quantum computation requires minimizing non-Clifford gates, whose implementation via magic state distillation dominates the resource costs. While $T$-count minimization is well-studied, dedicated $CCZ$ factories shift the…

Quantum Physics · Physics 2026-02-18 Kirill Khoruzhii , Patrick Gelß , Sebastian Pokutta

Recently, the development of quantum chips has made great progress-- the number of qubits is increasing and the fidelity is getting higher. However, qubits of these chips are not always fully connected, which sets additional barriers for…

Emerging Technologies · Computer Science 2018-07-06 Xin Zhang , Hong Xiang , Tao Xiang , Li Fu , Jun Sang

Quantum computers allow a near-exponential speed-up for specific applications when compared to classical computers. Despite recent advances in the hardware of quantum computers, their practical usage is still severely limited due to a…

Quantum Physics · Physics 2025-05-09 Tobias Fischbach , Pierre Talbot , Pascal Bouvry

Numerical optimization is used to design linear-optical devices that implement a desired quantum gate with perfect fidelity, while maximizing the success rate. For the 2-qubit CS (or CNOT) gate, we provide numerical evidence that the…

Quantum Physics · Physics 2015-05-13 Dmitry B. Uskov , Lev Kaplan , A. Matthew Smith , Sean D. Huver , Jonathan P. Dowling

Quantum computers hold great promise, but it remains a challenge to find efficient quantum circuits that solve interesting computational problems. We show that finding optimal quantum circuits is essentially equivalent to finding the…

Quantum Physics · Physics 2009-11-13 Michael A. Nielsen , Mark R. Dowling , Mile Gu , Andrew C. Doherty