[论文解读] N-dimensional Quantum Cellular Automata

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

Quantum-Dot Cellular Automata被引用 6

一句话总结

本文建立了图上幺正、因果量子演化的一个表示定理，证明此类全局动力学可通过仅作用于相邻节点的量子线路在局部实现。该研究弥合了量子细胞自动机（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.

研究动机与目标

• 基于基本物理原理（幺正性和因果性）建立量子细胞自动机（QCA）的数学基础。
• 弥合QCA公理化定义与其具体、构造性实现之间的鸿沟。
• 证明在因果约束下，全局幺正演化必然源自局部、最近邻相互作用。
• 提供一个严谨的框架，将量子细胞自动机与量子场论中的离散时空模型联系起来。

提出的方法

• 在图的每个节点上建模一个量子系统网络，全局演化由幺正算符 $U$ 控制。
• 通过要求信息每时间步最多传播一条边，施加因果性，从而强制形成光锥结构。
• 使用代数与算子理论技术分析 $U$ 的结构，证明其必须可局部实现。
• 通过仅作用于相邻节点的初等幺正算符，构建 $U$ 的量子线路分解。
• 证明全局演化 $U$ 可分解为一系列符合离散时空因果性的局部幺正操作。
• 将该框架应用于量子细胞自动机，表明QCA自然地从幺正性与因果性的公理中涌现。

实验结果

研究问题

• RQ1 在因果性约束下，图上的全局幺正演化能否被分解为局部、最近邻操作？
• RQ2 离散时空中的因果性如何约束量子系统中幺正算符的结构？
• RQ3 在何种条件下，图上的幺正演化可通过局部量子线路物理实现？
• RQ4 幺正性与因果性公理在多大程度上唯一确定了量子细胞自动机的动力学？
• RQ5 该框架如何统一QCA的公理化与构造性定义方法？

主要发现

• 全局幺正演化 $U$ 必须可作为最近邻幺正门组成的量子线路在局部实现。
• 因果性（定义为信号传播速度受限）强制全局演化分解为局部相互作用。
• 表示定理证明：图上任意幺正、因果演化均源于一系列局部量子操作。
• 量子细胞自动机被证明是离散时空中幺正性与因果性公理的自然结果。
• 该框架提供了QCA的构造性实现，解决了抽象公理化定义与物理可实现性之间的鸿沟。