From Group Theory to Reversible Computers

Reversible logic circuits of 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.