English
Related papers

Related papers: Efficient Synthesis of Linear Reversible Circuits

200 papers

Recently, reversible circuit synthesis has been intensively studied. One of the problems that has not been solved for a long time was exact minimization of gate count (GC) in 4-bit circuits. Finally, last year a tool of practical usage for…

Quantum Physics · Physics 2011-10-24 Marek Szyprowski , Pawel Kerntopf

We present optimized quantum circuits for GF$(2^m)$ multiplication and division operations, which are essential computing primitives in various quantum algorithms. Our ancilla-free GF multiplication circuit has the gate count complexity of…

Quantum Physics · Physics 2026-03-25 Noureldin Yosri , Dmytro Gavinsky , Dmitri Maslov

Quantum computing leverages the unique properties of qubits and quantum parallelism to solve problems intractable for classical systems, offering unparalleled computational potential. However, the optimization of quantum circuits remains…

In this paper we study the potential of using reinforcement learning (RL) in order to synthesize quantum circuits, while optimizing the T-count and CS-count, of unitaries that are exactly implementable by the Clifford+T and Clifford+CS gate…

Quantum Physics · Physics 2025-12-12 David Kremer , Ali Javadi-Abhari , Priyanka Mukhopadhyay

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

Reversible logic synthesis is a crucial component in quantum electronic design automation. While rule-based methodologies have gained prominence in reversible circuit optimization, the completeness of the transformation rule systems is a…

Quantum Physics · Physics 2026-02-16 Shiguang Feng , Lvzhou Li

A class of anyonic models for universal quantum computation based on weakly-integral anyons has been recently proposed. While universal set of gates cannot be obtained in this context by anyon braiding alone, designing a certain type of…

Quantum Physics · Physics 2016-06-13 Alex Bocharov , Shawn X. Cui , Vadym Kliuchnikov , Zhenghan Wang

There are various gate sets that can be used to describe a quantum computation. A particularly popular gate set in the literature on quantum computing consists of arbitrary single-qubit gates and 2-qubit CNOT gates. A CNOT gate is however…

Quantum Physics · Physics 2022-09-05 John van de Wetering

We consider recent works on the simulation of quantum circuits using the formalism of matrix product states and the formalism of contracting tensor networks. We provide simplified direct proofs of many of these results, extending an…

Quantum Physics · Physics 2007-05-23 Richard Jozsa

Reversible sequential circuits are going to be the significant memory blocks for the forthcoming computing devices for their ultra low power consumption. Therefore design of various types of latches has been considered a major objective for…

Emerging Technologies · Computer Science 2014-07-29 Md. Selim Al Mamun , David Menville

Mutually unbiased bases (MUBs) play a crucial role in numerous applications within quantum information science, such as quantum state tomography, error correction, entanglement detection, and quantum cryptography. Utilizing \(2^n + 1\) MUB…

Quantum Physics · Physics 2024-07-22 Wang Yu , Wu Dongsheng

Recent research in multi-valued logic for quantum computing has shown practical advantages for scaling up a quantum computer. Multivalued quantum systems have also been used in the framework of quantum cryptography, and the concept of a…

Quantum Physics · Physics 2007-05-23 Faisal Shah Khan , Marek Perkowski

The synthesis of a quantum circuit consists in decomposing a unitary matrix into a series of elementary operations. In this paper, we propose a circuit synthesis method based on the QR factorization via Householder transformations. We…

Emerging Technologies · Computer Science 2020-04-17 Timothée Goubault de Brugière , Marc Baboulin , Benoît Valiron , Cyril Allouche

The current phase of quantum computing is in the Noisy Intermediate-Scale Quantum (NISQ) era. On NISQ devices, two-qubit gates such as CNOTs are much noisier than single-qubit gates, so it is essential to minimize their count. Quantum…

Quantum Physics · Physics 2022-03-24 Xin-Chuan Wu , Marc Grau Davis , Frederic T. Chong , Costin Iancu

We develop the first constructive algorithms for compiling single-qubit unitary gates into circuits over the universal $V$ basis. The $V$ basis is an alternative universal basis to the more commonly studied $\{H,T\}$ basis. We propose two…

Quantum Physics · Physics 2013-07-29 Alex Bocharov , Yuri Gurevich , Krysta M. Svore

Quantum noise in real-world devices poses a significant challenge in achieving practical quantum advantage, since accurately compiled and executed circuits are typically deep and highly susceptible to decoherence. To facilitate the…

Quantum Physics · Physics 2025-06-13 Yuchen Guo , Shuo Yang

Uniformly controlled one-qubit gates are quantum gates which can be represented as direct sums of two-dimensional unitary operators acting on a single qubit. We present a quantum gate array which implements any n-qubit gate of this type…

Quantum Physics · Physics 2009-11-10 Ville Bergholm , Juha J. Vartiainen , Mikko Mottonen , Martti M. Salomaa

Recently, it was shown that Repeat-Until-Success (RUS) circuits can achieve a $2.5$ times reduction in expected $T$-count over ancilla-free techniques for single-qubit unitary decomposition. However, the previously best known algorithm to…

Quantum Physics · Physics 2015-03-11 Alex Bocharov , Martin Roetteler , Krysta M. Svore

This paper proposes a new optimized quantum block-ZXZ decomposition method [7,8,10] that results in more optimal quantum circuits than the quantum Shannon decomposition (QSD)[27], which was introduced in 2006 by Shende et al. The…

Quantum Physics · Physics 2024-04-04 Anna M. Krol , Zaid Al-Ars

This paper introduces a new logic structure for reversible quantum circuit synthesis. Our synthesis method aims to minimize the quantum cost of reversible quantum circuits with decoders. In this method, multi-valued input, binary output…

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