English
Related papers

Related papers: CNOT-Optimal Clifford Synthesis as SAT

200 papers

In the era of noisy intermediate-scale quantum (NISQ), executing quantum algorithms on actual quantum devices faces unique challenges. One such challenge is that quantum devices in this era have restricted connectivity: quantum gates are…

Quantum Physics · Physics 2020-11-16 Yao Tang

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

The Eastin-Knill theorem states that no quantum error correcting code can have a universal set of transversal gates. For CSS codes that can implement Clifford gates transversally it suffices to provide one additional non-Clifford gate, such…

Quantum Physics · Physics 2021-11-15 Christophe Piveteau , David Sutter , Sergey Bravyi , Jay M. Gambetta , Kristan Temme

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

We perform optimal-control-theory calculations to determine the minimum number of two-qubit CNOT gates needed to perform quantum state preparation and unitary operator synthesis for few-qubit systems. By considering all possible gate…

Quantum Physics · Physics 2022-08-24 Sahel Ashhab , Naoki Yamamoto , Fumiki Yoshihara , Kouichi Semba

This paper considers the problem of quantum compilation from an optimization perspective by fixing a circuit structure of CNOTs and rotation gates then optimizing over the rotation angles. We solve the optimization problem classically and…

Quantum Physics · Physics 2024-07-16 Liam Madden , Albert Akhriev , Andrea Simonetto

Noise in existing quantum processors only enables an approximation to ideal quantum computation. However, these approximations can be vastly improved by error mitigation, for the computation of expectation values, as shown by small-scale…

Clifford circuits -- i.e. circuits composed of only CNOT, Hadamard, and $\pi/4$ phase gates -- play a central role in the study of quantum computation. However, their computational power is limited: a well-known result of Gottesman and…

Quantum Physics · Physics 2018-06-21 Adam Bouland , Joseph F. Fitzsimons , Dax Enshan Koh

We focus on the depth optimization of CNOT circuits on hardwares with limited connectivity. We adapt the algorithm from Kutin et al. that implements any $n$-qubit CNOT circuit in depth at most $5n$ on a Linear Nearest Neighbour (LNN)…

Quantum Physics · Physics 2023-03-14 Timothée Goubault de Brugière , Simon Martiel

Quantum information science strives to leverage the quantum-mechanical nature of our universe in order to achieve large improvements in certain information processing tasks. In deep-space optical communications, current receivers for the…

Quantum Physics · Physics 2020-04-16 Narayanan Rengaswamy

We give a general method of construting quantum circuit for random \QTR{it}{satisfiability} (SAT) problems with the basic logic gates such as multi-qubit controlled-NOT and NOT gates. The sizes of these circuits are almost the same as the…

Quantum Physics · Physics 2007-05-23 Xinhua Peng , Xiwen Zhu , Kelin Gao

The ability to fault-tolerantly prepare CAT states, also known as multi-qubit GHZ states, is an important primitive for quantum error correction. It is required for Shor-style syndrome extraction, and can also be used as a subroutine for…

Decoherence -- in the current physical implementations of quantum computers -- makes depth reduction a vital task in quantum-circuit design. Moore and Nilsson (SIAM Journal of Computing, 2001) demonstrated that additional qubits -- known as…

Quantum Physics · Physics 2022-09-26 Jiaqing Jiang , Xiaoming Sun , Shang-Hua Teng , Bujiao Wu , Kewen Wu , Jialin Zhang

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

The increasing depth of quantum circuits presents a major limitation for the execution of quantum algorithms, as the limited coherence time of physical qubits leads to noise that manifests as errors during computation. In this work, we…

Quantum Physics · Physics 2026-03-24 Spyros Tserkis , Muhammad Umer , Dimitris G. Angelakis

We propose several optimizations of the CliNR partial error correction scheme which implements Clifford circuits by consuming a resource state. Errors are corrected by measuring a sequence of Pauli operators that we refer to as the…

Quantum Physics · Physics 2025-08-27 Edwin Tham , Nicolas Delfosse

We investigate quantum circuits built from arbitrary single-qubit operations combined with programmable all-to-all multiqubit entangling gates that are native to, among other systems, trapped-ion quantum computing platforms. We report a…

Quantum Physics · Physics 2025-10-16 Jonathan Nemirovsky , Lee Peleg , Amit Ben Kish , Yotam Shapira

Clifford gates play a role in the optimisation of Clifford+T circuits. Reducing the count and the depth of Clifford gates, as well as the optimal scheduling of T gates, influence the hardware and the time costs of executing quantum…

Quantum Physics · Physics 2019-06-18 Alexandru Paler , Robert Basmadjian

The quantum Fourier transform (QFT) is a crucial subroutine in many quantum algorithms. In this paper, we study the exact lower bound problem of CNOT gate complexity for fault-tolerant QFT. First, we consider approximating the ancilla-free…

Quantum Physics · Physics 2024-09-05 Qiqing Xia , Huiqin Xie , Li Yang

A defining feature in the field of quantum computing is the potential of a quantum device to outperform its classical counterpart for a specific computational task. By now, several proposals exist showing that certain sampling problems can…

Quantum Physics · Physics 2020-09-23 Rawad Mezher , Joe Ghalbouni , Joseph Dgheim , Damian Markham