[Paper Review] Unitarity plus causality implies localizability

Pablo Arrighi, Vincent Nesme+1 more|arXiv (Cornell University)|Nov 26, 2007

Quantum-Dot Cellular Automata4 citations

TL;DR

This paper proves that any unitary evolution on a graph-structured quantum system that respects causality (bounded signal speed) can be locally implemented as a quantum circuit of nearest-neighbor operations. The key result is a general representation theorem showing that unitarity and causality together imply localizability, bridging axiomatic and constructive approaches to quantum cellular automata (QCA).

ABSTRACT

We consider a graph with a single quantum system at each node. The entire compound system evolves in discrete time steps by iterating a global evolution $U$. We require that this global evolution $U$ be unitary, in accordance with quantum theory, and that this global evolution $U$ be causal, in accordance with special relativity. By causal we mean that information can only ever be transmitted at a bounded speed, the speed bound being quite naturally that of one edge of the underlying graph per iteration of $U$. We show that under these conditions the operator $U$ can be implemented locally; i.e. it can be put into the form of a quantum circuit made up with more elementary operators -- each acting solely upon neighbouring nodes. We take quantum cellular automata as an example application of this representation theorem: this analysis bridges the gap between the axiomatic and the constructive approaches to defining QCA. KEYWORDS: Quantum cellular automata, Unitary causal operators, Quantum walks, Quantum computation, Axiomatic quantum field theory, Algebraic quantum field theory, Discrete space-time.

Motivation & Objective

• To establish a general representation theorem for unitary causal operators on quantum graphs.
• To bridge the gap between axiomatic definitions of quantum cellular automata (QCA) and their constructive, circuit-based implementations.
• To demonstrate that global unitary evolutions satisfying causality can be decomposed into local quantum operations.
• To extend previous results on QCA from 1D to general n-dimensional settings.
• To provide a rigorous foundation for the equivalence between axiomatic and operational definitions of QCA

Proposed method

• Model a quantum system as a graph with a Hilbert space at each node, defining a quantum labeled graph (QLG).
• Define a global unitary evolution $ U $ that acts on the full Hilbert space of the system, requiring it to be unitary and causal.
• Formalize causality as the condition that the state at a node at time $ t' $ depends only on the states of its neighbors at time $ t $, with a speed limit of one edge per time step.
• Use spectral theory and the structure of unitary operators to show that $ U $ can be factorized into a product of local unitaries acting on each node and its neighbors.
• Construct the decomposition $ U = (igotimes D^ op)(igotimes K_x)(igotimes E) $, where $ D $, $ E $, and $ K_x $ are local operators.
• Apply the result to quantum cellular automata, showing that axiomatic QCA definitions imply circuit-based implementations

Experimental results

Research questions

• RQ1 Can a unitary evolution on a quantum graph that respects causality be implemented using only local quantum operations?
• RQ2 Does the axiomatic definition of n-dimensional quantum cellular automata imply a constructive, circuit-based realization?
• RQ3 Is there a general representation theorem for unitary causal operators that decomposes them into local components?
• RQ4 How do the axiomatic and constructive approaches to QCA relate in higher dimensions?
• RQ5 Can the principle of 'causality implies localizability' be extended beyond unitary and discrete models?

Key findings

• Any unitary causal evolution on a quantum graph can be decomposed into a product of local unitary operators acting on each node and its neighbors.
• The global unitary $ U $ admits a representation as $ (igotimes D^ op)(igotimes K_x)(igotimes E) $, where $ D $, $ E $, and $ K_x $ are local to each node and its neighborhood.
• The inverse of a unitary causal operator is also unitary and causal, preserving the structural properties of the evolution.
• The result generalizes previous findings on 1D QCA and extends the work of Schumacher and Werner to arbitrary dimensions.
• The axiomatic definition of QCA (as in Schumacher and Werner) is equivalent to the constructive, block-structured QCA definition (as in Perez and Cheung), up to ancillary degrees of freedom.
• The theorem provides a rigorous operational description of global unitary evolutions under physical principles, enabling practical simulation and analysis