[论文解读] Unitarity in one dimensional nonlinear quantum cellular automata

David Meyer|ArXiv.org|May 15, 1996

Cellular Automata and Applications参考文献 42被引用 19

一句话总结

本文通过放松线性约束，证明了一维非平凡、均匀、幺正量子细胞自动机（QCAs）的存在性，表明幺正性等价于对局部跃迁振幅的可解约束。研究提供了显式的参数化非线性QCAs族，并证明了一维系统中幺正性的可判定性。

ABSTRACT

Unitarity of the global evolution is an extremely stringent condition on finite state models in discrete spacetime. Quantum cellular automata, in particular, are tightly constrained. In previous work we proved a simple No-go Theorem which precludes nontrivial homogeneous evolution for linear quantum cellular automata. Here we carefully define general quantum cellular automata in order to investigate the possibility that there be nontrivial homogeneous unitary evolution when the local rule is nonlinear. Since the unitary global transition amplitudes are constructed from the product of local transition amplitudes, infinite lattices require different treatment than periodic ones. We prove Unitarity Theorems for both cases, expressing the equivalence in $1+1$ dimensions of global unitarity and certain sets of constraints on the local rule, and then show that these constraints can be solved to give a variety of multiparameter families of nonlinear quantum cellular automata. The Unitarity Theorems, together with a Surjectivity Theorem for the infinite case, also imply that unitarity is decidable for one dimensional cellular automata.

研究动机与目标

• 研究当局部规则为非线性时，一维量子细胞自动机中是否存在非平凡、均匀、幺正演化，以克服线性QCA的局限性。
• 为无限和周期性晶格严格定义量子细胞自动机，由于全局振幅乘积结构的不同，需区分其处理方式。
• 通过路径加权图表示法，推导局部跃迁振幅的约束，建立全局幺正性的必要与充分条件。
• 通过证明全局幺正性与局部约束可解性之间的等价性，表明一维QCA中幺正性是可判定的。
• 探讨非线性QCA的计算与物理意义，包括其临界行为和连续极限的潜力。

提出的方法

• 定义作用于有限邻域的局部规则的量子细胞自动机，由于收敛性和满射性要求，需区分无限晶格与周期性晶格。
• 通过加权图 $G_1$ 和 $G_2$ 上配置与路径之间的双射，将全局幺正性转化为路径权重约束。
• 推导出幺正性定理3.9与3.10，表明全局幺正性等价于图表示中路径权重的范数保持约束。
• 为无限晶格提出满射性定理（3.18），证明满射性是幺正性的独立必要条件。
• 通过求解推导出的约束，构造显式的多参数非线性QCA族，包括最多含 $2^{k-1}$ 个振幅向量基组的情形。
• 应用生成函数与矩阵表示（如 $A_2^n$）计算路径权重，并验证规则空间的一致性。

实验结果

研究问题

• RQ1 若局部规则为非线性，一维量子细胞自动机中是否存在非平凡、均匀、幺正演化？
• RQ2 一维QCA中全局幺正性的局部跃迁振幅的必要与充分条件是什么？
• RQ3 一维量子细胞自动机中幺正性是否可判定？若可判定，其条件为何？
• RQ4 非线性QCA的规则空间与线性QCA有何不同？其结构特征如何？
• RQ5 这些非线性QCA的连续极限是否可有意义地定义？它们是否表现出临界行为？

主要发现

• 一维非线性、均匀、幺正量子细胞自动机存在，通过放松线性性而避开线性禁闭定理，同时保持幺正性。
• 全局幺正性等价于对局部跃迁振幅的一组有限代数约束，这些约束可解，并生成多参数QCA族。
• 对于无限晶格，幺正性要求同时满足范数保持与满射性，后者作为独立条件由满射性定理捕捉。
• 小邻域QCA的局部规则空间为多维，最多包含 $2^{k-1}$ 个不同的振幅向量基组，表明其具有丰富的量子行为。
• 一维QCA中幺正性可判定，因为全局幺正性与局部约束之间的等价性允许算法验证。
• 结果表明，非线性QCA可能支持临界行为，且是研究计算普遍性在临界点出现这一猜想的自然框架。