[论文解读] Effective Physical Processes and Active Information in Quantum Computing

Ignazio Licata|arXiv (Cornell University)|May 8, 2007

Computability, Logic, AI Algorithms参考文献 50被引用 10

一句话总结

本文提出‘有效物理过程’作为量子系统计算的基础概念，利用Bohm与Hiley的主动信息框架，对比标准量子门与非标准方法（如绝热计算和形态发生计算）。文章认为，若放弃形式上的普遍性概念，量子系统可通过不可计算信息源展现出超图灵能力，且与Bell的约束一致，从而将计算建立在物理现实而非纯粹形式主义之上。

ABSTRACT

The recent debate on hypercomputation has arisen new questions both on the computational abilities of quantum systems and the Church-Turing Thesis role in Physics. We propose here the idea of "effective physical process" as the essentially physical notion of computation. By using the Bohm and Hiley active information concept we analyze the differences between the standard form (quantum gates) and the non-standard one (adiabatic and morphogenetic) of Quantum Computing, and we point out how its Super-Turing potentialities derive from an incomputable information source in accordance with Bell's constraints. On condition that we give up the formal concept of "universality", the possibility to realize quantum oracles is reachable. In this way computation is led back to the logic of physical world.

研究动机与目标

• 将量子系统的计算重新定义为有效物理过程，而非形式普遍性。
• 研究非标准量子计算模型（绝热、形态发生）与标准门基模型的差异。
• 检验量子系统是否可通过不可计算信息源实现超图灵计算。
• 通过主动信息理论将量子计算与物理现实相结合。
• 在量子超计算与Bell约束的背景下重新审视邱奇-图灵论题。

提出的方法

• 引入‘有效物理过程’作为计算的物理基础，而非形式基础。
• 应用Bohm与Hiley的主动信息框架分析量子系统中的信息动力学。
• 对比标准量子门模型与非标准模型（如绝热和形态发生计算）。
• 分析不可计算信息源在实现潜在超图灵能力中的作用。
• 依赖Bell的约束评估此类信息源的物理可行性。
• 主张放弃形式上的普遍性概念，可使量子预言机在理论上得以实现。

实验结果

研究问题

• RQ1 量子系统能否通过物理过程展现出超越邱奇-图灵论题的计算能力？
• RQ2 绝热与形态发生量子计算模型在信息处理方面与标准门基模型有何不同？
• RQ3 主动信息在使量子系统实现非可计算或超图灵行为中起何种作用？
• RQ4 在Bell约束下，量子系统中是否存在不可计算信息源在物理上是可行的？
• RQ5 若放弃形式普遍性的要求，能否实现量子预言机？

主要发现

• ‘有效物理过程’概念为计算提供了物理基础，使其与物理现实保持一致，替代了形式计算。
• 非标准量子计算模型（如绝热和形态发生过程）可能因不可计算信息源而表现出超图灵能力。
• 此类超图灵潜力与Bell的约束一致，表明其具有物理可行性。
• 为使量子预言机存在，必须放弃形式上的普遍性概念。
• Bohm与Hiley框架中的主动信息使我们能够超越标准计算模型，更深入理解量子系统中的信息动力学。