From Group Theory to Reversible Computers
Alexis De Vos and Yvan Van Rentergem
Reversible logic circuits of a certain logic width form a group, isomorphic to a symmetric group. Its Young subgroups allow systematic synthesis of an arbitrary reversible circuit. We can choose either a left coset, right coset, or double coset approach. The tools are beneficial to both classical and quantum computers.