[论文解读] Transcending the Limits of Turing Computability

Vadim A. Adamyan, Cristian S. Calude+1 more|ArXiv.org|Apr 19, 2003

Computability, Logic, AI Algorithms参考文献 24被引用 7

一句话总结

本文研究了通过量子散射与维纳测度理论解决无限商人问题（与停机问题等价的决策问题）的数学可行性，从而构建超越图灵可计算性的超计算设备。研究表明，在特定散射参数条件下，不可区分结果的概率保持有限，从而在理论上通过物理计算解决了不可判定的停机问题。

ABSTRACT

Hypercomputation or super-Turing computation is a ``computation'' that transcends the limit imposed by Turing's model of computability. The field still faces some basic questions, technical (can we mathematically and/or physically build a hypercomputer?), cognitive (can hypercomputers realize the AI dream?), philosophical (is thinking more than computing?). The aim of this paper is to address the question: can we mathematically build a hypercomputer? We will discuss the solutions of the Infinite Merchant Problem, a decision problem equivalent to the Halting Problem, based on results obtained in \cite{Coins,acp}. The accent will be on the new computational technique and results rather than formal proofs.

研究动机与目标

• 确定是否可以构建一种数学上的超计算机，以超越经典图灵可计算性的限制。
• 解决使用物理与概率模型处理停机问题的基础性挑战。
• 探索通过量子散射过程与维纳测度理论实现超计算的可行性。
• 建立无限决策问题（无限商人问题）通过物理实现变为可判定的条件。
• 通过分析希尔伯特空间中散射诱导的概率，弥合理论不可判定性与物理可计算性之间的鸿沟。

提出的方法

• 将停机问题归约为无限商人问题，其中每个栈对应一个计算步骤，假硬币代表停机行为。
• 通过一系列势阱对粒子散射进行建模，散射振幅编码于向量 $\vec{\beta} \in l^2$ 中。
• 使用维纳测度 $\tilde{W}$ 在有限能量约束下估计不可区分散射轨迹的概率。
• 对具有有界路径变分的准环路上的维纳积分进行有限维近似。
• 通过位移向量 $\vec{x}$ 上的高斯积分估算不可区分结果的概率，再将其转换为增量 $\xi_m = x_m - x_{m-1}$。
• 利用二次型算子 $A_\varepsilon = I + \frac{|b|^2}{|\vec{\beta}|^2 \varepsilon} \mathbf{P}_b$ 的行列式推导概率的关键上界，其中 $b_m = \sum_{l=m}^\infty \beta_l$。

实验结果

研究问题

• RQ1 是否可以使用超越经典可计算性的物理模型解决停机问题？
• RQ2 在无限维系统中，不可区分散射结果的概率在何种条件下保持有限？
• RQ3 是否存在一种通过量子散射实现的超计算物理实现方式，可规避图灵机的不可判定性障碍？
• RQ4 如何应用维纳测度理论来估算在无限堆栈系统中检测到单枚非真硬币的可能性？
• RQ5 散射向量 $\vec{\beta}$ 的 $l^2$-范数与尾部和向量 $\vec{b}$ 在实现有限可区分性中起什么作用？

主要发现

• 若 $\sum_{m=1}^\infty |\beta_m|^2 < \infty$，则不可区分散射结果的概率 $\tilde{W}({\mathcal{F}}_{\varepsilon,1})$ 为有限值，确保了数学上的可行性。
• 不可区分概率的上界为 $\tilde{W}({\mathcal{F}}_{\varepsilon,1}) < \frac{\sqrt{\varepsilon} |\vec{\beta}|}{\prod_{l=1}^\infty \sqrt{\Delta_l} \sqrt{\varepsilon |\vec{\beta}|^2 + |b|^2}}$，该结果由高斯积分估计推导得出。
• 关键算子 $A_\varepsilon = I + \frac{|b|^2}{|\vec{\beta}|^2 \varepsilon} \mathbf{P}_b$ 控制指数中的二次型，其行列式决定了概率的上界。
• 概率估计通过在有界变分路径上的维纳测度有限维近似序列的极限过程获得。
• 不可区分性的有限概率意味着，原则上可通过物理测量检测到无限堆栈系统中单枚假硬币的存在（即停机计算）。
• 该结果建立了一个基于量子散射与随机分析的构造性数学框架，以实现超计算，从而规避了经典不可判定性。