[论文解读] Computation in Finitary Quantum Processes

Karoline Wiesner, James P. Crutchfield|arXiv (Cornell University)|Mar 1, 2006

Quantum Computing Algorithms and Architecture参考文献 56被引用 5

一句话总结

本文引入了量子有限状态生成器作为描述时变量子系统的计算模型，建立了一个有限过程语言的层级结构，用于比较经典随机模型与确定性和非确定性量子机器的性能。主要贡献在于证明了量子系统的信息处理能力在很大程度上取决于测量协议，如 beam splitter 和离子阱实现的 Deutsch 算法等物理实例所示。

ABSTRACT

We introduce quantum finite-state generators as a first step toward completing a computational description of observing individual quantum systems over time. We develop the mathematical foundations of quantum finite-state machines and compare nondeterministic and deterministic versions to stochastic generators and recognizers, summarizing their relative computational power via a hierarchy of finitary process languages. Quantum finite-state generators are explored via several physical examples, including the iterated beam splitter, the quantum kicked top, and atoms in an ion trap--a special case of which implements the Deutsch quantum algorithm. We show that the behavior of these systems, and so their information processing capacity, depends sensitively on measurement protocol.

研究动机与目标

• 开发一个计算框架，用于描述随时间演化的单个量子系统。
• 形式化量子有限状态机，并将其计算能力与经典随机生成器和识别器进行比较。
• 建立一个有限过程语言的层级结构，以对量子和经典模型的表达能力进行分类。
• 分析测量协议如何影响量子系统的信息处理能力。
• 通过物理实现（如迭代 beam splitter 和离子阱量子算法）证明该模型的适用性。

提出的方法

• 使用量子自动机理论中的数学结构来形式化量子有限状态生成器。
• 定义确定性和非确定性版本的量子有限状态机，并将其与随机有限状态生成器进行比较。
• 基于不同机器类型的计算能力，构建一个有限过程语言的层级结构。
• 将该模型应用于物理系统，如迭代 beam splitter、量子踢摆陀螺和捕获离子。
• 将 Deutsch 量子算法作为离子阱系统中的特例，以验证该模型的预测能力。
• 分析不同测量策略如何改变量子过程的可观测行为及其信息处理能力。

实验结果

研究问题

• RQ1 量子有限状态生成器如何建模单个量子系统的时变演化？
• RQ2 与经典随机模型相比，确定性与非确定性量子有限状态机的相对计算能力如何？
• RQ3 测量协议的选择如何影响量子系统的信息处理能力？
• RQ4 像 beam splitter 和离子阱这样的物理量子系统在何种方式下实现了所提出的计算模型？
• RQ5 有限过程语言的层级结构在分类量子与经典计算行为方面发挥什么作用？

主要发现

• 量子系统的计算行为，包括其信息处理能力，对测量协议的选择极为敏感。
• 量子有限状态生成器提供了一个正式框架，使量子与经典有限状态模型之间的系统性比较成为可能。
• 有限过程语言的层级结构揭示了计算表达能力的不同层次，其中在某些情境下，量子模型优于经典随机模型。
• 如迭代 beam splitter 和量子踢摆陀螺等物理实现表现出与理论模型一致的行为。
• 离子阱中实现的 Deutsch 算法表明，该模型能够在有限状态框架内捕捉已知的量子计算优势。
• 测量引起的坍缩和量子过程中的语境依赖性被证明从根本上塑造了可观测动力学和计算结果。