[论文解读] Quantum Cellular Automata: Schr\"{o}dinger and Heisenberg Pictures

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

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

一句话总结

本文建立了一套表示理论框架，将有限且无界的配置下的量子细胞自动机（QCA）中的薛定谔绘景与海森堡绘景联系起来。结果表明，这两种绘景对应于同一基本QCA演化过程的对偶表示，为分析离散时空模型中QCA的动力学与结构性质提供了统一的代数基础。

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.

研究动机与目标

• 在公理化量子细胞自动机（QCA）的背景下，形式化薛定谔绘景与海森堡绘景之间的关系。
• 研究这两种对偶绘景如何从有限且无界的配置下QCA的共同代数结构中涌现。
• 为理解QCA演化与结构性质提供表示理论基础。
• 通过双绘景对偶性，支持对与量子算法和模拟相关的QCA类进行更深入分析。

提出的方法

• 利用表示理论分析薛定谔与海森堡绘景中QCA演化的代数结构。
• 将QCA演化定义为作用于有限配置希尔伯特空间上的酉算符。
• 通过伴随表示建立态演化（薛定谔）与可观测量演化（海森堡）之间的对偶性。
• 将形式化应用于无界但有限的配置，以在离散时空模型中保持局域性与因果性。
• 隐式应用Gelfand-Naimark-Segal（GNS）构造，关联双绘景中态与可观测量的关系。
• 证明海森堡绘景对应于演化算符对可观测量的伴随作用。

实验结果

研究问题

• RQ1 在代数与表示理论层面上，QCA演化中的薛定谔绘景与海森堡绘景之间存在何种关系？
• RQ2 QCA中态演化与可观测量演化之间的精确数学对应关系是什么？
• RQ3 这种双绘景对偶性能否被形式化为针对无界有限配置QCA的表示理论对偶？
• RQ4 通过这种双绘景形式化，QCA的哪些结构性质被保留或揭示？
• RQ5 这种对偶性如何支持在离散时空模型中构建量子算法或模拟？

主要发现

• QCA演化中的薛定谔绘景与海森堡绘景在数学上是对偶的，其中海森堡绘景作为薛定谔演化算符的伴随表示而出现。
• 在有限且无界配置的假设下，该对偶性得以保持，从而确保QCA模型中局域性与因果性的成立。
• 该形式化建立了一个一致的代数框架，通过酉等价将态演化与可观测量演化统一起来。
• 表示理论方法揭示，这两种绘景分别从不同视角（态演化与可观测量演化）描述了相同的物理演化过程。
• 研究结果为基于对称性与演化结构对QCA进行分类提供了基础，对量子模拟与算法设计具有重要意义。