Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Springer eBooks

Quantum Logic Circuits for Reversible Structures

Anas N. Al‐Rabadi

Published Jan 1, 2004• 0 citations
Publisher
DOI
10.1007/978-3-642-18853-4_10

Related papers

A Study on the Information Reversibility of Quantum Logic Circuits

Dong-Young Park

The Journal of the Korea institute of electronic communication sciences•Jan 1, 2017•0 citations

Evolutionary quantum logic synthesis of Boolean reversible logic circuits embedded in ternary quantum space using structural restrictions

Martin Lukáč, Marek A. Perkowski, Michitaka Kameyama

It has been experimentally proven that realizing universal quantum gates using higher-radices logic is practically and technologically possible. We developed a Parallel Genetic Algorithm that synthesizes Boolean reversible circuits realized with a variety of quantum gates on qudits with various radices. We describe the experiments that we conducted using GPU programming. Various approaches to fitness function formulation were applied to obtain various realizations of well known universal Boolean reversible quantum gates.

IEEE Congress on Evolutionary Computation (CEC)•Jul 1, 2010•19 citations

Reversible and Quantum Circuits

Michael D. Miller, Mitchell Aaron Thornton

Synthesis lectures on digital circuits and systems•Jan 1, 2008•1 citation

Reversible and Quantum Circuits

Nabila Abdessaied, Rolf Drechsler

Springer eBooks•Jan 1, 2016•22 citations

RCGP: An Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits based on Efficient Cartesian Genetic Programming

Rongliang Fu, Robert Wille, Tsung-Yi Ho

Reversible computing has gained increasing attention as a prospective solution for energy dissipation, particularly in quantum computing. As the first practical reversible logic gate using adiabatic superconducting devices, the reversible quantum-flux-parametron (RQFP) has been experimentally demonstrated in logical and physical reversibility. However, the circuit design of RQFP logic poses enormous challenges due to its distinctive logic function and structure. Furthermore, the circuit scale severely restricts the applicability of the existing exact logic synthesis method for RQFP logic. Therefore, this paper proposes RCGP, an automatic synthesis framework based on efficient Cartesian genetic programming, to generate large RQFP logic circuits. RCGP considers the characteristics of RQFP logic circuits to minimize the number of gates and garbage outputs. Meanwhile, RCGP combines circuit simulation with formal verification to assess the functional equivalence between the parent and its offspring. Experimental results on reversible logic benchmarks demonstrate the effectiveness of RCGP.

ACM/IEEE Design Automation Conference (DAC)•Jun 23, 2024•4 citations

Quantum Logic Circuits and Quantum Computing

Saleem Mohammed Ridha Taha

Studies in systems, decision and control•Sep 24, 2015•4 citations
It has been experimentally proven that realizing universal quantum gates using higher-radices logic is practically and technologically possible. We developed a Parallel Genetic Algorithm that synthesizes Boolean reversible circuits realized with a variety of quantum gates on qudits with various radices. We describe the experiments that we conducted using GPU programming. Various approaches to fitness function formulation were applied to obtain various realizations of well known universal Boolean reversible quantum gates.
Reversible computing has gained increasing attention as a prospective solution for energy dissipation, particularly in quantum computing. As the first practical reversible logic gate using adiabatic superconducting devices, the reversible quantum-flux-parametron (RQFP) has been experimentally demonstrated in logical and physical reversibility. However, the circuit design of RQFP logic poses enormous challenges due to its distinctive logic function and structure. Furthermore, the circuit scale severely restricts the applicability of the existing exact logic synthesis method for RQFP logic. Therefore, this paper proposes RCGP, an automatic synthesis framework based on efficient Cartesian genetic programming, to generate large RQFP logic circuits. RCGP considers the characteristics of RQFP logic circuits to minimize the number of gates and garbage outputs. Meanwhile, RCGP combines circuit simulation with formal verification to assess the functional equivalence between the parent and its offspring. Experimental results on reversible logic benchmarks demonstrate the effectiveness of RCGP.