Alexis De Vos

Robert Wille

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies.

Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers

Reversible Computation

Stijn De Baerdemacker

Yvan Van Rentergem

At first sight, quantum computing is completely different from classical computing. Nevertheless, a link is provided by reversible computation. Whereas an arbitrary quantum circuit, acting on ?? qubits, is described by an ?? × ?? unitary matrix with ??=2??, a reversible classical circuit, acting on ?? bits, is described by a 2?? × 2?? permutation matrix. The permutation matrices are studied in group theory of finite groups (in particular the symmetric group ????); the unitary matrices are discussed in group theory of continuous groups (a.k.a. Lie groups, in particular the unitary group U(??)). Both the synthesis of a reversible logic circuit and the synthesis of a quantum logic circuit take advantage of the decomposition of a matrix: the former of a permutation matrix, the latter of a unitary matrix. In both cases the decomposition is into three matrices. In both cases the decomposition is not unique.

Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits

Stanislaw Sieniutycz

Scientists and engineers are nowadays faced with the problem of optimizing complex systems subject to constraints from, ecology, economics, and thermodynamics. It is chiefly to the last of these that this volume is addressed. Intended for physicists, chemists, and engineers, the book uses examples from solar, thermal, mechanical, chemical, and environmental engineering to focus on the use of thermodynamic criteria for optimizing energy conversion and transmission. The early chapters centre on solar energy conversion, the second section discusses the transfer and conversion of chemical energy, while the concluding chapters deal with geometric methods in thermodynamics.

Alexis De Vos

About

Books

Join the club