Over the last few decades, research in reversible logic has increasingly become very popular and it is gaining greater momentum in the present word. Reversible logic has started finding concert applications in quantum computing, optical computing, nano-technology based system, low-power CMOS design, VLSI design. The principal objective of this work is to argue for quantum implementation of vari...

Dr. Alfred Hoppe of Forschuugsgruppe LIMAS has developed a pro / cedure for a reversible data flow (Figure I). 'In the matrix/%hree ~ different quantities are connected together. For analysis~he grammatical description of an inflected form is determined by combining the inflection class with the ending. For example the German verb ~ehen is composed of the stem ~eh and the ending e_~u. The lexic...

Labile metal complexes have a useful coordination bond; which is weaker than a covalent C–C bond and is reversibly and dynamically formed and dissociated. Such labile metal complexes also can be used to construct chiral shapes and offer dynamic conversion of chiral molecular shapes in response to external stimuli. This review provides recent examples of chirality induction and describes the dyn...

Hardware Description Languages (HDLs) allow for the efficient synthesis of large and complex circuits. Consequently, researchers also investigated their potential in the domain of reversible logic. Here, existing HDL-based synthesis approaches suffer from the significant drawback of employing additional circuit lines in order to buffer intermediate results. In this work, we investigate the poss...

The fact that macroscopic systems approach thermal equilibrium may seem puzzling, for example, because it may seem to conflict with the time-reversibility of the microscopic dynamics. We here prove that in a macroscopic quantum system for a typical choice of “nonequilibrium subspace”, any initial state indeed thermalizes, and in fact does so very quickly, on the order of the Boltzmann time τB :...

In his 2003 paper"Towards an algebraic theory of Boolean circuits", Lafont notes that the class of reversible circuits over a set of k truth values is finitely generated when k is odd. He cites a private communication for the proof. The purpose of this short note is to make the content of that communication available.

Reversible logic has two main properties. First, the number of inputs is equal to the number of outputs. Second, it implements a one-to-one mapping; i.e., one can reconstruct the inputs from the outputs. These properties enable its applications in building quantum computing architectures. In this paper we study reverse engineering of reversible logic circuits, including reverse engineering of n...

We generalise clones, which are sets of functions f : A → A, to sets of mappings f : A → A. We formalise this and develop language that we can use to speak about it. We then look at bijective mappings, which have connections to reversible computation, which is important for physical (e.g. quantum computation) as well as engineering (e.g. heat dissipation) reasons. We generalise Toffoli’s semina...