Intrinsically universal n-dimensional quantum cellular automata

  • Authors:

  • Pablo Arrighi;Jonathan Grattage

  • Affiliations:

  • Ecole Normale Supérieure de Lyon, Laboratoire LIP, 46 allée dItalie, 69364 Lyon cedex 07, France and University of Grenoble, Laboratoire LIG, Bítiment IMAG C, 220 rue de la Chimie, ...;Ecole Normale Supérieure de Lyon, Laboratoire LIP, 46 allée dItalie, 69364 Lyon cedex 07, France

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Several non-axiomatic approaches have been taken to define Quantum Cellular Automata (QCA); Partitioned QCA (PQCA) are the most canonical. Here we show any QCA can be put into PQCA form. Our construction reconciles the non-axiomatic definitions of QCA, showing that they can all simulate one another, thus they are all equivalent to the axiomatic definition. A simple n-dimensional QCA capable of simulating all others to arbitrary precision is described, where the initial configuration and the evolution of any QCA can be encoded within the initial configuration of the intrinsically universal QCA. Several steps then correspond to one step of the simulated QCA, achieved via a non-trivial reduction of the problem to universality in quantum circuits. Results are formalised by defining generalised n-dimensional intrinsic simulation, preserving topology in that each cell of the simulated QCA is encoded as a group of adjacent cells in the universal QCA. Implications are discussed.