English
Related papers

Related papers: Techniques for the Synthesis of Reversible Toffoli…

200 papers

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

Linear Nearest Neighbor (LNN) synthesis in reversible circuits has emerged as an important issue in terms of technological implementation for quantum computation. The objective is to obtain a LNN architecture with minimum gate cost. As…

Emerging Technologies · Computer Science 2015-03-19 Amlan Chakrabarti , Susmita Sur-Kolay , Ayan Chaudhury

Reversible computation is an emerging technology that has gained significant attention due to its critical role in quantum circuit synthesis and low-power design. This paper introduces a transformation-based method for exact synthesis of…

Quantum Physics · Physics 2025-04-28 Moein Sarvaghad-Moghaddam , Morteza Saheb Zamani , Mehdi Sedighi

In this paper, simultaneous reduction of circuit depth and synthesis cost of reversible circuits in quantum technologies with limited interaction is addressed. We developed a cycle-based synthesis algorithm which uses negative controls and…

Quantum Physics · Physics 2016-11-11 Mona Arabzadeh , Morteza Saheb Zamani , Mehdi Sedighi , Mehdi Saeedi

Recent work has proposed a promising approach to improving scalability of program synthesis by allowing the user to supply a syntactic template that constrains the space of potential programs. Unfortunately, creating templates often…

Programming Languages · Computer Science 2017-04-18 Jeevana Priya Inala , Nadia Polikarpova , Xiaokang Qiu , Benjamin S. Lerner , Armando Solar-Lezama

Reversible logic has applications in various research areas including signal processing, cryptography and quantum computation. In this paper, direct NCT-based synthesis of a given $k$-cycle in a cycle-based synthesis scenario is examined.…

Quantum Physics · Physics 2012-09-04 Mehdi Saeedi , Morteza Saheb Zamani , Mehdi Sedighi , Zahra Sasanian

Synthesis of reversible logic circuits has gained great atten- tion during the last decade. Various synthesis techniques have been pro- posed, some generate optimal solutions (in gate count) and are termed as exact, while others are…

Emerging Technologies · Computer Science 2017-02-27 Rajarshi Ray , Arup Deka , Kamalika Datta

Reversible logic circuits have been historically motivated by theoretical research in low-power electronics as well as practical improvement of bit-manipulation transforms in cryptography and computer graphics. Recently, reversible circuits…

Emerging Technologies · Computer Science 2013-03-21 Mehdi Saeedi , Igor L. Markov

Template-based molecular generation offers a promising avenue for drug design by ensuring generated compounds are synthetically accessible through predefined reaction templates and building blocks. In this work, we tackle three core…

Computer-assisted methods have emerged as valuable tools for retrosynthesis analysis. However, quantifying the plausibility of generated retrosynthesis routes remains a challenging task. We introduce Retro-BLEU, a statistical metric adapted…

Machine Learning · Computer Science 2024-04-05 Junren Li , Lei Fang , Jian-Guang Lou

This paper presents a heuristic cost minimization approach to synthesizing linear reversible circuits. Two bidirectional linear reversible circuit synthesis methods are introduced, the Alternating Elimination with Cost Minimization method…

Emerging Technologies · Computer Science 2014-07-02 Ben Schaeffer , Marek Perkowski

A method for synthesizing quantum gates is presented based on interpolation methods applied to operators in Hilbert space. Starting from the diagonal forms of specific generating seed operators with non-degenerate eigenvalue spectrum one…

Quantum Physics · Physics 2018-02-14 Zeno Toffano , François Dubois

The reversible circuit synthesis problem can be reduced to permutation group. This allows Schreier-Sims Algorithm for the strong generating set-finding problem to be used to find tight bounds on the synthesis of 3-bit reversible circuits…

Quantum Physics · Physics 2013-04-26 Ahmed Younes

We propose an approach to optimally synthesize quantum circuits from non-permutative quantum gates such as Controlled-Square-Root-of-Not (i.e. Controlled-V). Our approach reduces the synthesis problem to multiple-valued optimization and…

Logic in Computer Science · Computer Science 2011-11-09 Guowu Yang , William N. N. Hung , Xiaoyu Song , Marek Perkowski

We develop a framework for resource efficient compilation of higher-level programs into lower-level reversible circuits. Our main focus is on optimizing the memory footprint of the resulting reversible networks. This is motivated by the…

Quantum Physics · Physics 2015-10-02 Alex Parent , Martin Roetteler , Krysta M. Svore

The Toffoli gate is a fundamental building block for quantum arithmetic and reversible logic, yet its efficient realization remains a major challenge in both near-term and fault-tolerant quantum architectures. Recent advances in dynamic…

Quantum Physics · Physics 2026-05-21 Abhoy Kole , Till Schnittka , Rolf Drechsler

Reversible computing has emerged as a possible low cost alternative to conventional computing in terms of speed, power consumption and computing capability. In order to achieve reliable circuits in reversible computing, provision for fault…

Emerging Technologies · Computer Science 2015-01-19 Anugrah Jain

We consider the problem of the variational quantum circuit synthesis into a gate set consisting of the CNOT gate and arbitrary single-qubit (1q) gates with the primary target being the minimization of the CNOT count. First we note that…

Quantum Physics · Physics 2023-05-10 Nikita A. Nemkov , Evgeniy O. Kiktenko , Ilia A. Luchnikov , Aleksey K. Fedorov

In this paper we consider circuit synthesis for n-wire linear reversible circuits using the C-NOT gate library. These circuits are an important class of reversible circuits with applications to quantum computation. Previous algorithms,…

Quantum Physics · Physics 2015-04-21 K. N. Patel , I. L. Markov , J. P. Hayes

Retrosynthesis planning remains a central challenge in molecular discovery due to the vast and complex chemical reaction space. While traditional template-based methods offer tractability, they suffer from poor scalability and limited…

Machine Learning · Computer Science 2025-07-31 Nguyen Xuan-Vu , Daniel P Armstrong , Zlatko Jončev , Philippe Schwaller