English
Related papers

Related papers: Reversible Circuit Synthesis Using a Cycle-Based A…

200 papers

One of the challenges in quantum computing is the synthesis of unitary operators into quantum circuits with polylogarithmic gate complexity. Exact synthesis of generic unitaries requires an exponential number of gates in general. We propose…

Quantum Physics · Physics 2020-11-24 Daan Camps , Roel Van Beeumen

Unitary synthesis is the process of decomposing a target unitary transformation into a sequence of quantum gates. This is a challenging task, as the number of possible gate combinations grows exponentially with the circuit depth. In this…

Quantum Physics · Physics 2025-09-01 Xavier Valcarce , Bastien Grivet , Nicolas Sangouard

Basic logic gates and their operations in ternary quantum domain are involved in the synthesis of ternary quantum circuits. Only a few works define ternary algebra for ternary quantum logic realization. In this paper, a ternary logic…

Quantum Physics · Physics 2012-05-14 Sudhindu Bikash Mandal , Amlan Chakrabarti , Susmita Sur-Kolay

In fault-tolerant quantum circuit synthesis, T gates supplied via magic states dominate space-time cost, while Clifford gates incur negligible overhead. Conventional flows minimize AND count in an {XOR, AND, NOT} basis as a proxy for T,…

Quantum Physics · Physics 2026-05-18 Hanyu Wang , Mingfei Yu , Xinrui Wu , Jason Cong

In this paper, we introduce a novel rule for synthesis of reactive systems, applicable to systems made of n components which have each their own objectives. It is based on the notion of admissible strategies. We compare our novel rule with…

Logic in Computer Science · Computer Science 2015-07-03 Romain Brenguier , Jean-François Raskin , Ocan Sankur

In this paper, the problem of synthesizing a general Hermitian quantum gate into a set of primary quantum gates is addressed. To this end, an extended version of the Jacobi approach for calculating the eigenvalues of Hermitian matrices in…

Quantum Physics · Physics 2016-06-28 Mona Arabzadeh , Mahboobeh Houshmand , Mehdi Sedighi , Morteza Saheb Zamani

Quantum computers are capable of efficiently contracting unitary tensor networks, a task that is likely to remain difficult for classical computers. For instance, networks based on matrix product states or the multi-scale entanglement…

Quantum Physics · Physics 2021-05-05 Galit Anikeeva , Isaac H. Kim , Patrick Hayden

Recursive Cartan decompositions (CDs) provide a way to exactly factorize quantum circuits into smaller components, making them a central tool for unitary synthesis. Here we present a detailed overview of recursive CDs, elucidating their…

Quantum Physics · Physics 2025-06-16 David Wierichs , Maxwell West , Roy T. Forestano , M. Cerezo , Nathan Killoran

Duplication-based redundancy schemes have proven to be effective in designing fully-resilient Quasi-delay Insensitive (QDI) asynchronous circuits. The complete resiliency, however, is accompanied by significant energy, latency, and area…

Hardware Architecture · Computer Science 2025-10-24 Hasnain A. Ziad , Alexander C. Bodoh , Ashiq A. Sakib

Reversible logic has received great attention in the recent years due to their ability to reduce the power dissipation which is the main requirement in low power digital design. It has wide applications advanced computing, low power CMOS…

Other Computer Science · Computer Science 2010-03-25 H. R. Bhagyalakshmi , M. K. Venkatesha

Reversible computation is one of the most promising emerging technologies of the future. The usage of reversible circuits in computing devices can lead to a significantly lower power consumption. In this paper we study reversible logic…

Emerging Technologies · Computer Science 2016-02-16 Dmitry V. Zakablukov

Reversible circuits have been studied extensively and intensively, and have plenty of applications in various areas, such as digital signal processing, cryptography, and especially quantum computing. In 2003, the lower bound $\Omega(2^n…

Quantum Physics · Physics 2024-11-19 Xian Wu Lvzhou Li

We propose a method for exact circuit synthesis using a discrete gate set, as required for fault-tolerant quantum computing. Our approach translates the problem of synthesizing a gate specified by its unitary matrix into a boolean…

Quantum Physics · Physics 2025-03-20 Élie Gouzien , Nicolas Sangouard

Controller synthesis, including reset controller, feedback controller, and switching logic controller, provides an essential mechanism to guarantee the correctness and reliability of hybrid systems in a correct-by-construction manner.…

Systems and Control · Electrical Eng. & Systems 2023-09-13 Jiang Liu , Han Su , Yunjun Bai , Bin Gu , Bai Xue , Mengfei Yang , Naijun Zhan

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

In this paper, we introduce a new quantum circuit synthesis (QCS) framework, Qsyn, for developers to research, develop, test, experiment, and then contribute their QCS algorithms and tools to the framework. Our framework is more…

Quantum error correction is essential for achieving practical quantum computing but has a significant computational overhead. Among fault-tolerant (FT) gate operations, non-Clifford gates, such as $T$, are particularly expensive due to…

Quantum Physics · Physics 2026-01-27 Tianyi Hao , Amanda Xu , Swamit Tannu

Preparing a quantum circuit that implements a given sparse state is an important building block that is necessary for many different quantum algorithms. In the context of fault-tolerant quantum computing, the so-called non-Clifford gates…

Quantum Physics · Physics 2025-08-08 Renaud Vilmart , Sunheang Ty , Chetra Mang

With recent advancements in quantum computing technology, optimizing quantum circuits and ensuring reliable quantum state preparation have become increasingly vital. Traditional methods often demand extensive expertise and manual…

Now a day reversible logic is an attractive research area due to its low power consumption in the area of VLSI circuit design. The reversible logic gate is utilized to optimize power consumption by a feature of retrieving input logic from…

Hardware Architecture · Computer Science 2015-09-15 Neeraj Kumar Misra , Mukesh Kumar Kushwaha , Subodh Wairya , Amit Kumar