[Paper Review] Quantum Cellular Automata: Schr\"{o}dinger and Heisenberg Pictures

Asif Shakeel|arXiv (Cornell University)|Jul 3, 2018

Cellular Automata and Applications25 references3 citations

TL;DR

This paper establishes a representation-theoretic framework linking the Schr"{o}dinger and Heisenberg pictures in Quantum Cellular Automata (QCA) over finite, unbounded configurations. It demonstrates that the two pictures correspond to dual representations of the same underlying QCA evolution, providing a unified algebraic foundation for analyzing QCA dynamics and structural properties in discrete space-time models.

ABSTRACT

Axiomatic definitions of Quantum Cellular Automata (QCA) are foundational in discrete space-time models of physics. Templates of axiomatic QCA serve as primary points of investigations concerning properties, structural results, and classes of QCA that are potentially significant for quantum algorithms and simulations. We examine, from a representation theory standpoint, the relation between the templates corresponding to the Schr\{o}dinger and the Heisenberg pictures of evolution for QCA over finite, unbounded configurations.

Motivation & Objective

• To formalize the relationship between the Schr"{o}dinger and Heisenberg pictures in the context of axiomatic Quantum Cellular Automata (QCA).
• To investigate how these dual pictures emerge from a common algebraic structure in QCA over finite, unbounded configurations.
• To provide a representation-theoretic foundation for understanding QCA evolution and structural properties.
• To enable deeper analysis of QCA classes relevant to quantum algorithms and simulations through dual picture duality.

Proposed method

• Utilizes representation theory to analyze the algebraic structure of QCA evolution in both Schr"{o}dinger and Heisenberg pictures.
• Defines QCA evolution as a unitary operator acting on a Hilbert space of finite configurations.
• Establishes a duality between state evolution (Schr"{o}dinger) and observable evolution (Heisenberg) via adjoint representations.
• Applies the formalism to unbounded, finite configurations to preserve locality and causality in discrete space-time.
• Uses the Gelfand-Naimark-Segal (GNS) construction implicitly to relate states and observables in the dual pictures.
• Demonstrates that the Heisenberg picture corresponds to the adjoint action of the evolution operator on observables.

Experimental results

Research questions

• RQ1 How do the Schr"{o}dinger and Heisenberg pictures of QCA evolution relate at the algebraic and representation-theoretic level?
• RQ2 What is the precise mathematical correspondence between state evolution and observable evolution in QCA?
• RQ3 Can the duality between the two pictures be formalized as a representation-theoretic duality for QCA over unbounded, finite configurations?
• RQ4 What structural properties of QCA are preserved or revealed through this dual picture formulation?
• RQ5 How does this duality support the construction of quantum algorithms or simulations in discrete space-time?

Key findings

• The Schr"{o}dinger and Heisenberg pictures of QCA evolution are mathematically dual, with the Heisenberg picture arising as the adjoint representation of the Schr"{o}dinger evolution operator.
• The duality is preserved under the assumption of finite, unbounded configurations, ensuring locality and causality in the QCA model.
• The formalism establishes a consistent algebraic framework where state and observable evolutions are unified via unitary equivalence.
• The representation-theoretic approach reveals that the two pictures describe the same physical evolution from dual perspectives—state evolution and observable evolution.
• The results provide a foundation for classifying QCA based on their symmetry and evolution structure, relevant to quantum simulation and algorithm design.