[论文解读] The sum-over-histories formulation of quantum computing

Ben Rudiak-Gould|ArXiv.org|Jul 21, 2006

Quantum Computing Algorithms and Architecture被引用 3

一句话总结

本文引入了历史路径求和形式化方法，作为量子计算中标准态矢量方法的互补框架，利用路径积分原理对量子线路进行建模。它展示了该方法与经典形式化方法的数学等价性，表明量子振幅计算可被表述为所有可能计算历史的求和，从而为复杂性研究及线路仿真与量子语言设计提供了新见解。

ABSTRACT

Since Deutsch (1985), quantum computers have been modeled exclusively in the language of state vectors and the Schroedinger equation. We present a complementary view of quantum circuits inspired by the path integral formalism of quantum mechanics, and examine its application to some simple textbook problems.

研究动机与目标

• 提出一种基于路径积分（历史路径求和）方法的量子计算替代形式化方法，而非标准的态矢量与薛定谔方程框架。
• 通过将路径积分方法适配于离散量子线路，弥合量子场论技术与量子线路设计之间的鸿沟。
• 探讨历史路径求和形式化方法在理解量子算法、复杂性与线路仿真方面是否具有概念或计算优势。
• 探究其在量子编程语言设计中的潜在效用，特别是针对拓扑或非序列化线路模型。
• 提供一种直观的替代视角，有助于教学与量子计算概念的理解。

提出的方法

• 通过将系统限制在 2^n 个经典态并把时间划分为长度为 δt 的离散区间，对连续路径积分形式化方法进行离散化。
• 将每条量子历史表示为随时间演化的计算基态序列，形成对所有可能态轨迹的离散求和。
• 基于相邻态之间的跃迁，定义离散化的拉格朗日量 L(φ_t, φ_{t+δt}, t)，用于确定每条历史的相位贡献。
• 将总跃迁振幅表示为所有历史的复权重 B(φ_t, φ_{t+δt}, t) = exp(i/ħ × L(φ_t, φ_{t+δt}, t)) 的求和，其中权重为单位复数。
• 通过证明两种方法对任意输入-输出跃迁产生相同的振幅，建立标准幺正演化与历史路径求和形式化之间的数学等价性。
• 将该形式化方法应用于教科书中的量子线路，以说明其概念清晰性与计算可行性。

实验结果

研究问题

• RQ1 历史路径求和形式化方法能否有效应用于标准量子线路的建模，作为经典态矢量方法的替代？
• RQ2 在电路仿真方面，历史路径求和形式化方法与经典形式化方法相比，在计算复杂度与空间效率上表现如何？
• RQ3 路径积分视角为理解量子算法结构及经典与量子计算之间的关系提供了哪些新见解？
• RQ4 该形式化方法能否支持新型量子编程语言设计，特别是针对拓扑或非序列化量子线路？
• RQ5 历史路径求和方法是否能简化或澄清量子复杂性中的基础概念，例如 BQP 属于 PSPACE 的原因？

主要发现

• 历史路径求和形式化方法在数学上等价于经典幺正演化形式化方法，对任意量子线路，两者产生完全相同的跃迁振幅。
• 该形式化方法使 BQP 属于 PSPACE 的关系在概念上变得透明，因为历史路径的求和可在多项式空间内完成。
• 使用历史路径求和方法进行朴素仿真，所需空间显著少于态矢量仿真，尤其在大系统中优势明显。
• 该方法为理解量子线路提供直观框架：即线路可被视为历史的集合，其中经典门实质上筛选或排除了绝大多数历史。
• 该形式化方法可能有助于教育，提供一种与抽象态矢量解释并行的双重视角，帮助学习者超越形式化理解量子力学。
• 尽管预期不会产生新的多项式时间仿真算法，但该形式化方法在复杂性理论中具有概念优势，且可能启发量子语言设计中的新抽象。