Algebraic Characterizations of Unitary Linear Quantum Cellular Automata

We provide algebraic criteria for the unitarity of linear quantum cellular automata, i.e. one dimensional quantum cellular automata. We derive these both by direct combinatorial arguments, and by adding constraints into the model which do not change the quantum cellular automata's computational power. The configurations we consider have finite but unbounded size.

[1]  P. Arrighi,et al.  On quantum operations as quantum states , 2003, quant-ph/0307024.

[2]  Wim van Dam,et al.  QUANTUM CELLULAR AUTOMATA , 1996 .

[3]  Tim Boykett,et al.  Efficient exhaustive listings of reversible one dimensional cellular automata , 2004, Theor. Comput. Sci..

[4]  Miklos Santha,et al.  A Decision Procedure for Unitary Linear Quantum Cellular Automata , 2002, SIAM J. Comput..

[5]  Serafino Amoroso,et al.  Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures , 1972, J. Comput. Syst. Sci..

[6]  John Watrous,et al.  On one-dimensional quantum cellular automata , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

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

[8]  David A. Meyer.  UNITARITY IN ONE DIMENSIONAL NONLINEAR QUANTUM CELLULAR AUTOMATA , 1996 .

[9]  Tao Jiang,et al.  On the Computing Power of One-Way Cellular Arrays , 1987, ICALP.

[10]  R. Feynman.  Quantum mechanical computers , 1986 .

[11]  Miklos Santha,et al.  A decision procedure for well-formed linear quantum cellular automata , 1997 .

[12]  John Pedersent.  Cellular Automata as Algebraic Systems , 1992 .

[13]  U. S. Army.  Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures , 2007 .

[14]  I. Chuang,et al.  Quantum Computation and Quantum Information: Introduction to the Tenth Anniversary Edition , 2010 .

[15]  John Pedersen,et al.  Cellular Automata as Algebraic Systems , 1992, Complex Syst..

[16]  R. Werner,et al.  Reversible quantum cellular automata , 2004, quant-ph/0405174.