Self-Inverse Functions and Palindromic Circuits

We investigate the subclass of reversible functions that are self-inverse and relate them to reversible circuits that are equal to their reverse circuit, which are called palindromic circuits. We precisely determine which self-inverse functions can be realized as a palindromic circuit. For those functions that cannot be realized as a palindromic circuit, we find alternative palindromic representations that require an extra circuit line or quantum gates in their construction. Our analyses make use of involutions in the symmetric group $S_{2^n}$ which are isomorphic to self-inverse reversible function on $n$ variables.

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

[2]  Gerhard W. Dueck,et al.  Techniques for the synthesis of reversible Toffoli networks , 2006, TODE.

[3]  Alexis De Vos,et al.  Reversible Computer Hardware , 2010, RC@ETAPS.

[4]  Robert Wille,et al.  Synthesis of reversible circuits with minimal lines for large functions , 2012, 17th Asia and South Pacific Design Automation Conference.

[5]  D. Michael Miller,et al.  Quantum Logic Implementation of Unary Arithmetic Operations , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).

[6]  Robert Wille,et al.  Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  Alexis De Vos,et al.  Young subgroups for reversible computers , 2008, Adv. Math. Commun..

[8]  Alfred V. Aho,et al.  Compiling Quantum Circuits using the Palindrome Transform , 2003 .

[9]  Nicholas A. Loehr,et al.  Bijective Combinatorics , 2011 .

[10]  John P. Hayes,et al.  Synthesis of reversible logic circuits , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[11]  Thomas G. Draper,et al.  A new quantum ripple-carry addition circuit , 2004, quant-ph/0410184.

[12]  Rolf Drechsler,et al.  Upper bounds for reversible circuits based on Young subgroups , 2014, Inf. Process. Lett..

[13]  Alexis De Vos,et al.  Reversible computing: from mathematical group theory to electronical circuit experiment , 2005, CF '05.

[14]  Celina M. H. de Figueiredo,et al.  Reversible Karatsuba's Algorithm , 2006, J. Univers. Comput. Sci..