INSTITUTE OF PHYSICS PUBLISHING JOURNAL OF PHYSICS A: MATHEMATICAL AND GENERAL J. Phys. A: Math. Gen. 35 (2002) 7063–7078 PII: S0305-4470(02)34943-6 Generating the group of reversible logic gates

Reversible logic plays a fundamental role both in ultra-low power electronics and in quantum computing. It is therefore important to have an insight into the structure of the group formed by the reversible logic gates and their cascading into reversible circuits. Such insight is gained from constructing chains of maximal subgroups. The subgroup of control gates plays a prominent role, as it is a Sylow 2-subgroup.

[1]  Alexis De Vos,et al.  A reversible carry-look-ahead adder using control gates , 2002, Integr..

[2]  Denis Flandre,et al.  Branch-Based Logic for High Performance Carry-Select Adders in 0.25 µm Bulk and Silicon-On-Insulator CMOS Technologies , 2001 .

[3]  Anas N. Al-Rabadi,et al.  A General Decomposition for Reversible Logic , 2001 .

[4]  Alexis De Vos,et al.  Control gates as building blocks for reversible computers , 2001 .

[5]  Soo-Ik Chae,et al.  A 16-bit carry-lookahead adder using reversible energy recovery logic for ultra-low-energy systems , 1999 .

[6]  Leo Storme,et al.  Group Theoretical Aspects of Reversible Logic Gates , 1999, J. Univers. Comput. Sci..

[7]  Gary Stix.  Riding the Back of Electrons , 1998 .

[8]  A. Rubio,et al.  Design and implementation of a 5/spl times/5 trits multiplier in a quasi-adiabatic ternary CMOS logic , 1998 .

[9]  Lars Svensson,et al.  A low-power microprocessor based on resonant energy , 1997, IEEE J. Solid State Circuits.

[10]  Wolfgang Fichtner,et al.  Low-power logic styles: CMOS versus pass-transistor logic , 1997, IEEE J. Solid State Circuits.

[11]  Alexis De Vos.  Towards reversible digital computers , 1997 .

[12]  Anthony J. G. Hey,et al.  Feynman Lectures on Computation , 1996 .

[13]  J. Preskill,et al.  Efficient networks for quantum factoring. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[14]  Alexis De Vos.  Introduction to r-MOS systems , 1996 .

[15]  D J Newman,et al.  On the symmetry of logic , 1995 .

[16]  Jon T. Butler,et al.  Multiple-valued logic , 1995 .

[17]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[18]  Thomas F. Knight,et al.  Asymptotically Zero Energy Split-Level Charge Recovery Logic , 1994 .

[19]  Gregory Butler,et al.  Fundamental Algorithms for Permutation Groups , 1991, Lecture Notes in Computer Science.

[20]  Jon T. Butler,et al.  Multiple-valued logic in VLSI design , 1991 .

[21]  Cheryl E. Praeger,et al.  A classification of the maximal subgroups of the finite alternating and symmetric groups , 1987 .

[22]  David H. Green,et al.  Modern logic design , 1986 .

[23]  Dale P. Cruikshank,et al.  The Moons of Uranus, Neptune and Pluto. , 1985 .

[24]  R. Landauer,et al.  The Fundamental Physical Limits of Computation. , 1985 .

[25]  Leonard L. Scott,et al.  Maximal subgroups of finite groups , 1985 .

[26]  Stanley L. Hurst,et al.  Multiple-Valued Logic—its Status and its Future , 1984, IEEE Transactions on Computers.

[27]  Tommaso Toffoli,et al.  Reversible Computing , 1980, ICALP.

[28]  L. Teschke.  Über die Normalteiler der p-Sylowgruppe der symmetrischen Gruppe vom Grade pm , 1979 .

[29]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[30]  R. Landauer,et al.  Minimal energy dissipation in logic , 1970 .

[31]  M. Yoeli,et al.  Logical Design of Ternary Switching Circuits , 1965, IEEE Trans. Electron. Comput..

[32]  R. Landauer,et al.  Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..

[33]  M. Hall.  The Theory Of Groups , 1959 .

[34]  Л. А. Калужнин.  Об Одном Обобщении Силовскихp-Подгрупп Симметриуеских Групп , 1951 .

[35]  L. Kaloujnine,et al.  La structure des $p$-groupes de Sylow des groupes symétriques finis , 1948 .

[36]  W. Findlay.  The Sylow subgroups of the symmetric group , 1904 .