Is there a physically universal cellular automaton or Hamiltonian?

09/09/2010
by   Dominik Janzing, et al.
0

It is known that both quantum and classical cellular automata (CA) exist that are computationally universal in the sense that they can simulate, after appropriate initialization, any quantum or classical computation, respectively. Here we introduce a different notion of universality: a CA is called physically universal if every transformation on any finite region can be (approximately) implemented by the autonomous time evolution of the system after the complement of the region has been initialized in an appropriate way. We pose the question of whether physically universal CAs exist. Such CAs would provide a model of the world where the boundary between a physical system and its controller can be consistently shifted, in analogy to the Heisenberg cut for the quantum measurement problem. We propose to study the thermodynamic cost of computation and control within such a model because implementing a cyclic process on a microsystem may require a non-cyclic process for its controller, whereas implementing a cyclic process on system and controller may require the implementation of a non-cyclic process on a "meta"-controller, and so on. Physically universal CAs avoid this infinite hierarchy of controllers and the cost of implementing cycles on a subsystem can be described by mixing properties of the CA dynamics. We define a physical prior on the CA configurations by applying the dynamics to an initial state where half of the CA is in the maximum entropy state and half of it is in the all-zero state (thus reflecting the fact that life requires non-equilibrium states like the boundary between a hold and a cold reservoir). As opposed to Solomonoff's prior, our prior does not only account for the Kolmogorov complexity but also for the cost of isolating the system during the state preparation if the preparation process is not robust.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/15/2020

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?

Quantum computation has emerged as a powerful computational medium of ou...
research
04/20/2018

Universality in Freezing Cellular Automata

Cellular Automata have been used since their introduction as a discrete ...
research
06/22/2020

Efficiently generating ground states is hard for postselected quantum computation

Although quantum computing is expected to outperform universal classical...
research
03/17/2019

A quantum cellular automaton for one-dimensional QED

We propose a discrete spacetime formulation of quantum electrodynamics i...
research
03/25/2021

Quantum-inspired identification of complex cellular automata

Elementary cellular automata (ECA) present iconic examples of complex sy...
research
11/27/2017

Relativistic verifiable delegation of quantum computation

The importance of being able to verify quantum computation delegated to ...
research
07/14/2020

The Collatz process embeds a base conversion algorithm

The Collatz process is defined on natural numbers by iterating the map T...

Please sign up or login with your details

Forgot password? Click here to reset