Decomposition of a Linear Reversible Computer: Digital Versus Analog

A. De Vos (Alexis), S. De Baerdemacker
International Journal of Unconventional Computing
6 (3-4), 239-263
Published while none of the authors were employed at the CMM


Linear reversible transformations in the Galois field GF(2) and linear reversible transformations in the field of real numbers show both resemblances and differences. The former constitute a finite group isomorphic to the general linear group GL(w, 2), the latter constitute an infinite, i.e. Lie, group isomorphic to the general linear group GL(w, R) (where w is the logic width of the computation, i.e. respectively the number of bits and the number of real numbers, processed by the computer). Generators of the former group consist of merely control gates; generators of the latter group consist of both control gates and scale gates.