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

arXiv:1309.1419

Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library

Zahra Sasanian, Robert Wille, D. Michael Miller

Published Sep 5, 2013• 1 citation
arXivHTMLPDF

Abstract

In previous work and motivated by a theoretical discussion on physical realizations, a new quantum gate library (the NCV-v1 library) for electronic design automation of quantum circuits has been proposed. Here, qudits instead of qubits are assumed, i.e. a basic building block which does not rely on a two level quantum system but a (multiple-valued) d-level quantum system is assumed. However, the descriptions on the foundation of this new library remained brief. This technical report provides an extended description of the applied ideas and concepts.

DOI
10.48550/arxiv.1309.1419

Related papers

An Examination of the NCV-|u1 > Quantum Library Based on Minimal Circuits

Arman Allahyari-Abhari, Robert Wille, Rolf Drechsler

In the recent past, significant effort has been put on the investigation of design methods for quantum circuits. Based on different physical realizations, several gate libraries have been proposed for this purpose. Recently, the so-called NCV-|v1> library has been introduced in this context. In contrast to established libraries, the NCV-|v1> library seems to inherit some significant advantages compared to established ones, e.g. with respect to the mapping from reversible circuits or the satisfaction of nearest neighbour constraints. However, all these conclusions have been drawn based on heuristically results. In this work, we perform a more in-depth examination of the NCV-|v1> library based on minimal circuits. For this purpose, an exact synthesis scheme is proposed which utilizes the power of solvers for Boolean satisfiability. Our examination clearly unveiled that, from a logic design perspective, the NCV-|v1> library indeed superiors the currently established library.

IEEE International Symposium on Multiple-Valued Logic (ISMVL)•May 1, 2015•4 citations

An Extended approach for Mapping Reversible Circuits to Quantum Circuits using NCV-|v1〉library

Mousum Handique, Aayush Sonkar

In recent years, quantum computing has gained a lot of importance due to its property of increasing computational power exponentially. In the current literature, it has observed that the quantum computing has potential to solve many complex problems with less complexity based on the theoretical analysis. But in contrast to hardware implementation of quantum technology, it expands in a linear way. Moreover, there is a close relation between quantum computing and reversible computing. More precisely, quantum computing operations are reversible. In this paper, we propose an extended approach of mapping flow for describing reversible circuits to its equivalent quantum circuits. Here, we consider the reversible circuits of n-inputs and n-outputs with NCT and GT library, which is mapped to the quantum circuits with the NCV-|v1〉 library. Finally, we provide our experimental results in terms of quantum costs for mapping the reversible circuits to quantum circuits.

Procedia Computer Science•Jan 1, 2018•7 citations

Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits

Mathias Soeken, Zahra Sasanian, Robert Wille +2 more

This paper considers the optimization of reversible circuits composed of multiple-control Toffoli gates to quantum circuits using the well-known NCV-1 (NCV) library and the recently introduced NCV-v1 library which both use a four-valued model for the quantum gates. The techniques introduced handle positive and negative controls which are central to many reversible circuit synthesis procedures. Experimental results confirm the methods are applicable to circuits obtained by diverse synthesis methods. The results also show the significant advantage of the NCV-v1 library.

IEEE International Symposium on Multiple-Valued Logic (ISMVL)•May 1, 2012•22 citations

Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library

Laxmidhar Biswal, Chandan Bandyopadhyay, Robert Wille +2 more

Multiple Control Toffoli (MCT) gates are the main constituent of reversible circuits. For quantum circuits, MCT gates are realized using quantum gate libraries such as NCV or NCVW which are composed of universal quantum gates like NOT, CNOT, V/V+, and W/W+. In order to improve the design of quantum circuits, the mapping of MCT gates to a cascade of these quantum gates has to be improved as well. In this work, we propose reconfigured structures of quantum gates realizing MCT gates. To this end, we rely on the established mapping structure, but append redundant gates which can be used afterwards for simplifications. Eventually, the proposed design is mapped to an NCVW quantum circuit. We have successfully tested our mapping technique. The obtained results have experimentally been compared to related work.

International Conference on VLSI Design•Jan 1, 2016•10 citations

A nearest neighbor quantum cost metric for the reversible circuit level

Abhoy Kole, Kamalika Datta, Robert Wille +1 more

Motivated by the prospects of quantum computation, the design of quantum circuits received significant attention in the recent past. Due to the complex representation of the underlying quantum mechanical phenomena, a two-stage design flow was established in which the desired functionality is first realized in terms of a reversible circuit and, afterwards, mapped into an equivalent quantum circuit. This paper proposes a new metric for estimating nearest neighbor cost at the reversible circuit level. Research works are mostly carried out considering nearest neighbor constraints at the quantum circuit level. Various quantum gate libraries and mapping schemes have been reported in the literature to realize the circuit operation at quantum level. One such mapping scheme exploiting a well established quantum gate library (NCV) is explored in defining the cost metric. Experimental evaluations confirmed both the accuracy as well as the applicability of the proposed metric.

IEEE Region 10 Conference (TENCON)•Nov 1, 2017•2 citations

Efficient Algorithm for Synthesis of Optimal NCV 3-Qubit Reversible Circuits Using New Quantum Logic Gate Library

Xiao Fang-ying

Owing to the exponential nature of the memory or run-time complexity,many existing methods can only synthesize 3-qubit logic circuits using quantum logic gate library,however,a few can optimally synthesize 3-qubit logic circuits for quantum NOT,CNOT,Controlled-V and Controlled-V+(NCV)gates,the key approach reduces the NCV quantum circuit synthesis problem to four-valued logic synthesis.This paper proposes using NCV gates to create a new quantum logic gate library,which is exactly the same as NCV gate library in the synthesis of all optimal 3-qubit circuits,thus it also reduces the four-valued logic synthesis to easily solved two-valued logic synthesis.We present a 3-qubit efficient synthesis algorithms based on perfect hash function,which can quickly construct all optimal 3-qubit circuits——the average speed that synthesizes circuits with minimum cost is nearly 127 times faster than that of the best result of Maslov 2007.

Dianzi xuebao•Jan 1, 2013•2 citations
In previous work and motivated by a theoretical discussion on physical realizations, a new quantum gate library (the NCV-v1 library) for electronic design automation of quantum circuits has been proposed. Here, qudits instead of qubits are assumed, i.e. a basic building block which does not rely on a two level quantum system but a (multiple-valued) d-level quantum system is assumed. However, the descriptions on the foundation of this new library remained brief. This technical report provides an extended description of the applied ideas and concepts.
In the recent past, significant effort has been put on the investigation of design methods for quantum circuits. Based on different physical realizations, several gate libraries have been proposed for this purpose. Recently, the so-called NCV-|v1> library has been introduced in this context. In contrast to established libraries, the NCV-|v1> library seems to inherit some significant advantages compared to established ones, e.g. with respect to the mapping from reversible circuits or the satisfaction of nearest neighbour constraints. However, all these conclusions have been drawn based on heuristically results. In this work, we perform a more in-depth examination of the NCV-|v1> library based on minimal circuits. For this purpose, an exact synthesis scheme is proposed which utilizes the power of solvers for Boolean satisfiability. Our examination clearly unveiled that, from a logic design perspective, the NCV-|v1> library indeed superiors the currently established library.
In recent years, quantum computing has gained a lot of importance due to its property of increasing computational power exponentially. In the current literature, it has observed that the quantum computing has potential to solve many complex problems with less complexity based on the theoretical analysis. But in contrast to hardware implementation of quantum technology, it expands in a linear way. Moreover, there is a close relation between quantum computing and reversible computing. More precisely, quantum computing operations are reversible. In this paper, we propose an extended approach of mapping flow for describing reversible circuits to its equivalent quantum circuits. Here, we consider the reversible circuits of n-inputs and n-outputs with NCT and GT library, which is mapped to the quantum circuits with the NCV-|v1〉 library. Finally, we provide our experimental results in terms of quantum costs for mapping the reversible circuits to quantum circuits.
This paper considers the optimization of reversible circuits composed of multiple-control Toffoli gates to quantum circuits using the well-known NCV-1 (NCV) library and the recently introduced NCV-v1 library which both use a four-valued model for the quantum gates. The techniques introduced handle positive and negative controls which are central to many reversible circuit synthesis procedures. Experimental results confirm the methods are applicable to circuits obtained by diverse synthesis methods. The results also show the significant advantage of the NCV-v1 library.
Multiple Control Toffoli (MCT) gates are the main constituent of reversible circuits. For quantum circuits, MCT gates are realized using quantum gate libraries such as NCV or NCVW which are composed of universal quantum gates like NOT, CNOT, V/V+, and W/W+. In order to improve the design of quantum circuits, the mapping of MCT gates to a cascade of these quantum gates has to be improved as well. In this work, we propose reconfigured structures of quantum gates realizing MCT gates. To this end, we rely on the established mapping structure, but append redundant gates which can be used afterwards for simplifications. Eventually, the proposed design is mapped to an NCVW quantum circuit. We have successfully tested our mapping technique. The obtained results have experimentally been compared to related work.
Motivated by the prospects of quantum computation, the design of quantum circuits received significant attention in the recent past. Due to the complex representation of the underlying quantum mechanical phenomena, a two-stage design flow was established in which the desired functionality is first realized in terms of a reversible circuit and, afterwards, mapped into an equivalent quantum circuit. This paper proposes a new metric for estimating nearest neighbor cost at the reversible circuit level. Research works are mostly carried out considering nearest neighbor constraints at the quantum circuit level. Various quantum gate libraries and mapping schemes have been reported in the literature to realize the circuit operation at quantum level. One such mapping scheme exploiting a well established quantum gate library (NCV) is explored in defining the cost metric. Experimental evaluations confirmed both the accuracy as well as the applicability of the proposed metric.
Owing to the exponential nature of the memory or run-time complexity,many existing methods can only synthesize 3-qubit logic circuits using quantum logic gate library,however,a few can optimally synthesize 3-qubit logic circuits for quantum NOT,CNOT,Controlled-V and Controlled-V+(NCV)gates,the key approach reduces the NCV quantum circuit synthesis problem to four-valued logic synthesis.This paper proposes using NCV gates to create a new quantum logic gate library,which is exactly the same as NCV gate library in the synthesis of all optimal 3-qubit circuits,thus it also reduces the four-valued logic synthesis to easily solved two-valued logic synthesis.We present a 3-qubit efficient synthesis algorithms based on perfect hash function,which can quickly construct all optimal 3-qubit circuits——the average speed that synthesizes circuits with minimum cost is nearly 127 times faster than that of the best result of Maslov 2007.