From reversible computation to quantum computation by Lagrange interpolation

Alexis De Vos, Stijn De Baerdemacker

Classical reversible circuits, acting on $w$~bits, are represented by permutation matrices of size $2^w\times 2^w$. Those matrices form the group P($2^w$), isomorphic to the symme…