[论文解读] Crystalline Computation

Norman Margolus|arXiv (Cornell University)|Nov 10, 1998

Cellular Automata and Applications被引用 16

一句话总结

本文提出了一类可逆的、局域相互作用的格点系统——具体而言是晶格细胞自动机——能够精确模拟宏观流体动力学，并守恒动量、能量等物理量。通过强制实现微观可逆性和局域性，这些模型实现了无数值误差的精确计算，使其能够在具备相同约束条件的硬件上高效进行物理模拟，为实现类似物理的计算提供了高密度与高速度的路径。

ABSTRACT

A cellular automaton is a deterministic and exactly computable dynamical system which mimics certain fundamental aspects of physical dynamics such as spatial locality and finite entropy. CA systems can be constructed which have additional attributes that are basic to physics: systems which are exactly invertible at their finest scale, which obey exact conservation laws, which support the evolution of arbitrary complexity, etc. In this paper, we discuss techniques for bringing CA models closer to physics, and some of the interesting consequences of doing so.

研究动机与目标

• 开发离散的、可逆的格点系统，以精确守恒定律和可逆性来模拟物理动力学。
• 通过构建在宏观极限下重现流体动力学的细胞自动机系统，弥合经典信息模型与物理定律之间的鸿沟。
• 探索此类系统在本质上尊重局域性和可逆性的硬件上实现高效物理模拟的可行性。
• 研究经典细胞自动机与量子细胞自动机之间的关系，特别是其在恢复已知量子场论中的作用。
• 证明复杂物理行为可从简单、精确的信息规则中涌现，而无需依赖量子载体。

提出的方法

• 设计可逆的格点动力学，其中每个更新规则都是局部状态上的双射变换，确保可逆性。
• 通过将相互作用限制在相邻格点上，强制实现局域性，模拟物理因果性，并支持可扩展的模拟。
• 通过在粒子构型上使用对称的、基于群的更新规则，实现动量、质量等精确守恒定律。
• 利用亚格点和分组技术，从简单的可逆变换构建复杂动力学，类似于量子细胞自动机。
• 通过观察离散粒子跳跃的大尺度平均值来模拟宏观行为，显示其收敛至连续流体动力学。
• 通过将经典CA与量子CA的对应关系进行转换，将位操作替换为自旋系统上的幺正变换。

实验结果

研究问题

• RQ1 可逆的、局域的格点动力学能否重现已知的宏观物理行为，如流体动力学？
• RQ2 为使离散格点系统具有物理现实性，必须施加哪些约束条件，例如可逆性和守恒定律？
• RQ3 如何设计经典细胞自动机以高效模拟量子系统？经典CA与量子CA模型之间存在何种关系？
• RQ4 在不引入连续数学或量子力学的前提下，物理现象在多大程度上可从纯粹信息性的、离散规则中涌现？
• RQ5 此类系统能否在本质上与自身结构和动力学约束一致的物理硬件上高效实现？

主要发现

• 可逆的、局域相互作用的格点系统可在宏观极限下精确重现流体动力学行为，表明复杂物理动力学可从简单的离散规则中涌现。
• 通过在粒子构型上使用对称的、可逆的更新规则，可在这些模型中实现动量和质量的精确守恒。
• 构建经典可逆CA所用的相同技术可扩展至构建量子细胞自动机（QCA），从而为模拟量子场论提供可能。
• 这些模型避免了截断或舍入等数值误差，因为其对离散运动方程执行精确的数字积分。
• 这些系统所基于的可逆性、局域性和守恒性等物理真实性特征，使其非常适用于在具有类似约束的物理硬件上高效实现。
• 此类系统的信息经济性——熵有限且动力学精确——表明信息与物理定律之间存在深刻联系，即使在经典模型中亦如此。