English
Related papers

Related papers: Depth-Optimal Quantum Layout Synthesis as SAT

200 papers

Quantum algorithm design usually assumes access to a perfect quantum computer with ideal properties like full connectivity, noise-freedom and arbitrarily long coherence time. In Noisy Intermediate-Scale Quantum (NISQ) devices, however, the…

Quantum Physics · Physics 2020-09-11 Xiangzhen Zhou , Sanjiang Li , Yuan Feng

Rapid advancement in the domain of quantum technologies has opened up researchers to the real possibility of experimenting with quantum circuits and simulating small-scale quantum programs. Nevertheless, the quality of currently available…

The quantum layout and the mapping of logical to physical qubits are crucial in quantum circuit synthesis for a real quantum computer. Circuits that include large $n$-bit Toffoli gates ($n \geq 3$), such as those designed from…

Quantum Physics · Physics 2026-01-07 Sonia Yang , Ali Al-Bayaty , Marek Perkowski

We present QEst, a procedure to systematically generate approximations for quantum circuits to reduce their CNOT gate count. Our approach employs circuit partitioning for scalability with procedures to 1) reduce circuit length using…

Quantum Physics · Physics 2021-08-31 Tirthak Patel , Ed Younis , Costin Iancu , Wibe de Jong , Devesh Tiwari

In this work, we report on a novel quantum gate approximation algorithm based on the application of parametric two-qubit gates in the synthesis process. The utilization of these parametric two-qubit gates in the circuit design allows us to…

Quantum Physics · Physics 2022-11-16 Péter Rakyta , Zoltán Zimborás

Quantum circuit synthesis describes the process of converting arbitrary unitary operations into a gate sequence of a fixed universal gate set, usually defined by the operations native to a given hardware platform. Most current synthesis…

The quantum circuit synthesis problem bridges quantum algorithm design and quantum hardware implementation in the Noisy Intermediate-Scale Quantum (NISQ) era. In quantum circuit synthesis problems, diagonal unitary synthesis plays a crucial…

Quantum Physics · Physics 2024-12-04 Wenqi Zhang , Jinyang Liu , Zixiang Zhou , Shuai Yang

Quantum Error Correction (QEC) codes are essential for achieving fault-tolerant quantum computing (FTQC). However, their implementation faces significant challenges due to disparity between required dense qubit connectivity and sparse…

Quantum Physics · Physics 2024-11-12 Keyi Yin , Hezi Zhang , Xiang Fang , Yunong Shi , Travis Humble , Ang Li , Yufei Ding

Optimizing the size and depth of CNOT circuits is an active area of research in quantum computing and is particularly relevant for circuits synthesized from the Clifford + T universal gate set. Although many techniques exist for finding…

Quantum Physics · Physics 2025-07-15 Alan Bu , Evan Fan , Robert Sanghyeon Joo

Current quantum devices have unutilized high-level quantum resources. More and more attention has been paid to the qudit quantum systems with larger than two dimensions to maximize the potential computing power of quantum computation. Then,…

Quantum Physics · Physics 2025-04-18 Shuai Yang , Lihao Xu , Guojing Tian , Xiaoming Sun

In order to achieve speedup over conventional classical computing for finding solution of computationally hard problems, quantum computing was introduced. Quantum algorithms can be simulated in a pseudo quantum environment, but…

Emerging Technologies · Computer Science 2020-07-15 Mrityunjay Ghosh , Nivedita Dey , Debdeep Mitra , Amlan Chakrabarti

We propose the generalized controlled X (GCX) gate as the two-qudit elementary gate, and based on Cartan decomposition, we also give the one-qudit elementary gates. Then we discuss the physical implementation of these elementary gates and…

Quantum Physics · Physics 2015-06-12 Yao-Min Di , Hai-Rui Wei

Rapid development in quantum computing leads to the appearance of several quantum applications. Quantum Fourier Transformation (QFT) sits at the heart of many of these applications. Existing work leverages SAT solver or heuristics to…

Quantum Physics · Physics 2024-08-22 Yuwei Jin , Xiangyu Gao , Minghao Guo , Henry Chen , Fei Hua , Chi Zhang , Eddy Z. Zhang

In the noisy intermediate-scale quantum era, mid-circuit measurement and reset operations facilitate novel circuit optimization strategies by reducing a circuit's qubit count in a method called resizing. This paper introduces two such…

Quantum Physics · Physics 2023-11-23 Siyuan Niu , Akel Hashim , Costin Iancu , Wibe Albert de Jong , Ed Younis

Quantum circuit synthesis is the process in which an arbitrary unitary operation is decomposed into a sequence of gates from a universal set, typically one which a quantum computer can implement both efficiently and fault-tolerantly. As…

Quantum Physics · Physics 2016-10-17 Olivia Di Matteo , Michele Mosca

A common requirement of quantum simulations and algorithms is the preparation of complex states through sequences of 2-qubit gates. For a generic quantum state, the number of gates grows exponentially with the number of qubits, becoming…

Quantum Physics · Physics 2024-07-08 Matan Ben Dov , David Shnaiderov , Adi Makmal , Emanuele G. Dalla Torre

In the noisy intermediate-scale quantum (NISQ) era, two-qubit gates in quantum circuits are more susceptible to noise than single-qubit gates. Therefore, reducing the number of two-qubit gates is crucial for improving circuit efficiency and…

Quantum Physics · Physics 2025-07-22 Kai Chen , Wen Liu , GuoSheng Xu , Yangzhi Li , Maoduo Li , Shouli He

Quantum machine learning offers promising advantages for classification tasks, but noise, decoherence, and connectivity constraints in current devices continue to limit the efficient execution of feature map-based circuits. Gate Assessment…

Machine Learning · Computer Science 2026-03-23 F. Rodríguez-Díaz , D. Gutiérrez-Avilés , A. Troncoso , F. Martínez-Álvarez

Quantum circuit transformation (QCT), necessary for adapting any quantum circuit to the qubit connectivity constraints of the NISQ device, often introduces numerous additional SWAP gates into the original circuit, increasing the circuit…

Quantum Physics · Physics 2025-10-24 Yunqi Huang , Xiangzhen Zhou , Fanxu Meng , Pengcheng Zhu , Yu Luo , Zhenlong Du

Quantum circuit transformation (QCT, a.k.a. qubit mapping) is a critical step in quantum circuit compilation. Typically, QCT is achieved by finding an appropriate initial mapping and using SWAP gates to route the qubits such that all…

Quantum Physics · Physics 2023-08-03 Sanjiang Li , Ky Dan Nguyen , Zachary Clare , Yuan Feng