[论文解读] Computable Functions, the Church-Turing Thesis and the Quantum Measurement Problem

R. Srikanth|ArXiv.org|Feb 18, 2004

Computability, Logic, AI Algorithms被引用 5

一句话总结

本文主张，Church-Turing论题在量子力学中得以保持，并非通过限制量子计算，而是通过量子测量问题对希尔伯特空间进行有限化。它提出，物理测量的有限精度——以有限的精细划分度μ量化——可防止超计算，从而调和了量子力学与可计算性极限之间的矛盾。

ABSTRACT

It is possible in principle to construct quantum mechanical observables and unitary operators which, if implemented in physical systems as measurements and dynamical evolution, would contradict the Church-Turing thesis, which lies at the foundation of computer science. Elsewhere we have argued that the quantum measurement problem implies a finite, computational model of the measurement and evolution of quantum states. If correct, this approach helps to identify the key feature that can reconcile quantum mechanics with the Church-Turing thesis: finitude of the degree of fine-graining of Hilbert space. This suggests that the Church-Turing thesis constrains the physical universe and thereby highlights a surprising connection between purely logical and algorithmic considerations on the one hand and physical reality on the other.

研究动机与目标

• 解决量子力学潜在的超计算与Church-Turing论题之间的明显矛盾。
• 研究量子可观测量和幺正操作在原则上是否能够计算图灵不可计算的函数，例如停机问题。
• 识别出在量子系统中强制实现Church-Turing论题的物理原理。
• 探讨量子测量问题如何对希尔伯特空间的分辨率施加有限限制，从而约束可计算性。

提出的方法

• 提出一种量子测量的计算模型（CMQM），将态矢量视为离散希尔伯特空间中有限的、具有信息真实性的对象。
• 引入可区分量子态数量的有限上界μ，该上界源于物理测量的有限精度。
• 应用对角化论证（图灵的停机问题）表明，由于基数不匹配（整数与实数编码的量子程序索引），量子算法无法计算其自身的对角函数。
• 利用Chaitin常数Ω证明，即使在原则上，也无法获取非可计算函数的精确值，原因在于μ的有限性。
• 从宇宙学界限估算μ：标准量子系统中μ ≈ 2×10²³，若包含引力自由度则μ ≈ 10¹²⁰。
• 论证相干演化无法维持超过2^μ个态的叠加，从而限制了诸如丢番图方程等非递归问题的解空间。

实验结果

研究问题

• RQ1 量子力学能否通过幺正演化和可观测量测量，计算图灵不可计算的函数，例如停机问题？
• RQ2 何种物理原理可防止量子系统通过超计算违反Church-Turing论题？
• RQ3 由量子测量问题所施加的希尔伯特空间有限分辨率，如何恢复Church-Turing论题？
• RQ4 在有限测量精度下，诸如希尔伯特第十问题这类不可判定问题的解空间在物理上可访问的程度如何？
• RQ5 Chaitin常数Ω能否以任意精度被物理计算？若不能，原因是什么？

主要发现

• Church-Turing论题的保持并非通过限制量子力学，而是通过希尔伯特空间精细划分度的有限性，该有限性由μ量化。
• 对角函数r(n)无法被量子算法计算，因其需要实数编码的程序索引，而量子算法仅限于整数索引。
• 可相干保持的量子态最大数量受2^μ限制，标准量子系统中μ ≈ 2×10²³，若包含引力自由度则μ ≈ 10¹²⁰。
• 解大于2^μ的丢番图方程在任何情况下均无法通过任何量子算法实现，即使在原则上亦不可行。
• Chaitin常数Ω无法被精确到超过μ的精度，意味着在任何有限物理宇宙中均无法完全计算。
• 量子测量的计算模型（CMQM）表明，尽管宇宙远比任何经典计算机强大，但由于μ的有限性，其仍受制于有限图灵机的限制。