[论文解读] Cellular Automata as a Model of Physical Systems

Donny Cheung, Carlos A. Pérez-Delgado|Kent Academic Repository (University of Kent)|Sep 10, 2008

Cellular Automata and Applications参考文献 14被引用 3

一句话总结

本文将细胞自动机（CA）重新定义为物理理论而非抽象数学模型，通过引入封闭细胞自动机（CCA）来确保物理一致性，考虑了同步与资源约束。主要贡献是一个基于物理的框架，实现了严格的量子化，从而导出局域幺正量子细胞自动机（LUQCA），可高效模拟任意量子计算及离散化的均匀量子系统，且精度任意。

ABSTRACT

Cellular Automata (CA), as they are presented in the literature, are abstract mathematical models of computation. In this pa- per we present an alternate approach: using the CA as a model or theory of physical systems and devices. While this approach abstracts away all details of the underlying physical system, it remains faithful to the fact that there is an underlying physical reality which it describes. This imposes certain restrictions on the types of computations a CA can physically carry out, and the resources it needs to do so. In this paper we explore these and other consequences of our reformalization.

研究动机与目标

• 解决传统细胞自动机在物理上不可行的问题，其假设在无限晶格上进行瞬时、同步的更新。
• 通过考虑内存和同步等物理资源，将细胞自动机正式化为物理系统的理论。
• 为细胞自动机的物理上有意义的量子化建立基础，确保量子模型对应于真实的物理系统。
• 证明CCA可模拟任意可逆CA，且传统CA可系统性地转化为CCA，同时付出资源代价。
• 实现通用量子细胞自动机（LUQCA）的构建，可高效模拟量子线路和均匀量子系统。

提出的方法

• 提出封闭细胞自动机（CCA）作为传统CA的物理重构，要求显式同步与更新阶段。
• 定义CCA采用两阶段过程：作用阶段（细胞基于邻居计算新状态）与独立更新阶段（状态被写回）。
• 采用双寄存器晶格模型（Σ × Σ）物理实现作用与更新阶段，确保无瞬时全局同步。
• 在量子情形下应用平移对称性，使幺正算符保持空间与时间的均匀性。
• 开发局域幺正量子细胞自动机（LUQCA）作为CCA的量子类比，基于有限维希尔伯特空间上的幺正局部作用与更新算符。
• 证明LUQCA可模拟任意量子线路，并高效逼近有限区域均匀量子系统的时间演化。

实验结果

研究问题

• RQ1 传统细胞自动机能否被重构为考虑资源限制与同步约束的物理上一致的模型？
• RQ2 为使CA代表真实物理系统，必须施加哪些物理约束（如内存与更新时序）？
• RQ3 如何从标准CA系统性地构建一个物理上一致的经典CA模型（CCA），同时保持计算行为不变？
• RQ4 能否从一个基于物理的古典模型推导出量子细胞自动机，使其对应于实际的量子系统？
• RQ5 是否存在一个通用的量子细胞自动机，可精确且高效地模拟任意量子计算？

主要发现

• 封闭细胞自动机（CCA）通过强制物理更新序列，消除了传统CA中不可能的物理行为，如瞬时全局更新。
• 任何传统CA均可通过有效程序系统性地转化为CCA，尽管可能因显式记录内存与同步而产生资源开销。
• 可逆的传统CA可被转换为可逆CCA，保持可逆性的同时确保物理可实现性。
• 局域幺正量子细胞自动机（LUQCA）形式化提供了CA的物理一致量子化，幺正操作确保了量子可逆性。
• 存在一个通用LUQCA，可精确且高效地模拟量子线路模型中的任意量子计算。
• LUQCA可对均匀量子系统中任意有限子区域的演化进行任意精度的模拟，确立其作为物理量子系统离散化模型的地位。