Reversible Quantum Cellular Automata

May 28, 2004
20 pages
e-Print:

Citations per year

2006201120162021202502468101214
Abstract: (submitter)
We define quantum cellular automata as infinite quantum lattice systems with discrete time dynamics, such that the time step commutes with lattice translations and has strictly finite propagation speed. In contrast to earlier definitions this allows us to give an explicit characterization of all local rules generating such automata. The same local rules also generate the global time step for automata with periodic boundary conditions. Our main structure theorem asserts that any quantum cellular automaton is structurally reversible, i.e., that it can be obtained by applying two blockwise unitary operations in a generalized Margolus partitioning scheme. This implies that, in contrast to the classical case, the inverse of a nearest neighbor quantum cellular automaton is again a nearest neighbor automaton. We present several construction methods for quantum cellular automata, based on unitaries commuting with their translates, on the quantization of (arbitrary) reversible classical cellular automata, on quantum circuits, and on Clifford transformations with respect to a description of the single cells by finite Weyl systems. Moreover, we indicate how quantum random walks can be considered as special cases of cellular automata, namely by restricting a quantum lattice gas automaton with local particle number conservation to the single particle sector.
  • [1]
  • [2]
    T.W. Hänsch, and I. Bloch, Coherent transport of neutral atoms in spin-dependent optical lattice potentials
    • O. Mandel
      ,
    • M. Greiner
      ,
    • A. Widera
      ,
    • T. Rom
      • Phys.Rev.Lett. 91 (2003) 010407
  • [3]
    Microoptical Realization of Arrays of Selectively Addressable Dipole Traps: A Scalable Configuration
    • R. Dumke
      ,
    • M. Volk
      ,
    • T. Muether
      ,
    • F.B.J. Buchkremer
      ,
    • G. Birkl
    et al.
  • [4]

    quantum cellular automata

    • [4]

      quantum dot cellular automata

      • P.D. Tougaw
        ,
      • C.S. Lent
        • J.Appl.Phys. 75 (1994) 1818
    • [5]
      S. C
        • Phys.Rev.A 61 (2000) 020301
    • [6]
      : On one-dimensional quantum cellular automata. In Proceedings of the 36th Annual Symposium on Foundations of
      • J. Watrous
        • Comput.Sci. 1995 528-537
    • [7]
      : Quantum cellular automata, Master Thesis, Computer Science Nijmegen, Summer
      • W. van Dam
    • [8]
      : Quantum Computing
      • J. Gruska
    • [9]

        • Proceeding of the 37th IEEE Symposium on Foundations of Computer Science, 38--45, 1996
    • [9]
      C. Dürr, H. LêTanh and M. Santha, A decision procedure for well-formed linear quantum cellular automata, Rand. Struct
        • Algorithms 11 (1997) 381-394
      • e-Print:
    • [10]
      Entanglement dynamics in 1D quantum cellular automata
      • G.K. Brennen
        ,
      • J.E. Williams
    • [11]
      : Operator algebras and quantum statistical mechanics, vol. I
      • O. Bratteli
        ,
      • D. Robinson
    • [12]
      A C*-algebraic framework was also applied to QCAs in a recent thesis. However, it was applied to the state side, rather than the observables, making locality properties harder to see
      • K. Paschen
    • [13]
      : Local quantum physics
      • R. Haag
    • [14]
      Ergodicity of quantum cellular automata
      • S. Richter
        ,
      • R.F. Werner
    • [15]
      On the circuit depth of structurally reversible cellular automata, Fund.Inform. 34 1-15
      • J. Kari
    • [16]
      The basic concepts in this paragraph work in any lattice structure. In fact, they do not even require translation invariance and could be formulated for possibly different spins (given by possibly infinite dimensional C*-algebras) localized on the nodes of a finite or infinite graph
      • [17]
        The one-way quantum computer - a non-network model of quantum computation
        • R. Raussendorf
          ,
        • D.E. Browne
          ,
        • H.-J. Briegel
          • J.Mod.Opt. 49 (2002) 1299
      • [18]
        Tesselation with local transformations, J.Comp
        • D. Richardson
          • Science 6 (1972) 373-388
      • [19]
        What appears here as a pathology is allowed in the (periodic boundary version) of Watrous QCAs, i.e., the Wrapping Lemma fails for that structure. A more systematic study of the possibility shown by our example was carried out in
        • S. Inokuchi
          ,
        • Y. Mizoguchi
      • [20]
        A potentially realizable quantum
        • S. Lloyd
          • Comput.Sci. 261 (1993) 1569-1571
      • [21]

        quasi-free

        • [21]

          Bogolyubov automorphisms

          • [21]

            metaplectic transformations