[论文解读] The Lost Melody Phenomenon

Merlin Carl|arXiv (Cornell University)|Jul 14, 2014

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

一句话总结

本文研究了无穷序数计算模型中的‘遗失旋律’现象，证明了无重置无限时间寄存器机（wITRM）不表现出‘遗失旋律’——即某个实数可识别但不可计算——而发现在某些序数下，重置α-寄存器机中此类现象确实存在。主要贡献在于对各类无穷序数机器模型中可识别性与可计算性之间关系的精确刻画。

ABSTRACT

A typical phenomenon for machine models of transfinite computations is the existence of so-called lost melodies, i.e. real numbers $x$ such that the characteristic function of the set $\{x\}$ is computable while $x$ itself is not (a real having the first property is called recognizable). This was first observed by J. D. Hamkins and A. Lewis for infinite time Turing machine, then demonstrated by P. Koepke and the author for $ITRM$s. We prove that, for unresetting infinite time register machines introduced by P. Koepke, recognizability equals computability, i.e. the lost melody phenomenon does not occur. Then, we give an overview on our results on the behaviour of recognizable reals for $ITRM$s. We show that there are no lost melodies for ordinal Turing machines or ordinal register machines without parameters and that this is, under the assumption that $0^{\sharp}$ exists, independent of $ZFC$. Then, we introduce the notions of resetting and unresetting $α$-register machines and give some information on the question for which of these machines there are lost melodies.

研究动机与目标

• 确定‘遗失旋律’现象——即某个实数可识别但不可计算——是否出现在无重置无限时间寄存器机（wITRM）中。
• 分析无限时间寄存器机（ITRM）中可识别实数的行为，特别是其与可构造层次和可定义性的关系。
• 研究无参数的序数图灵机（OTM）和序数寄存器机（ORM）中是否存在遗失旋律，并在假设0#存在的前提下评估该问题是否与ZFC独立。
• 引入并比较重置与无重置α-寄存器机，确定在哪些序数α下遗失旋律会出现。
• 澄清在无穷序数模型中可计算性与可识别性的边界，尤其关注可构造宇宙L以及L中索引的存在性。

提出的方法

• 通过分析极限行为，利用寄存器值的liminf规则，证明对于wITRM（无重置ITRM），可识别性蕴含可计算性，且在可数计算长度下不会发生溢出。
• 应用描述集合论与精细结构理论的结果，表明当α = ω时，wITRM中不存在遗失旋律，但当α = ω+1时，存在遗失旋律。
• 利用存在一个最小极限索引γ > α，使得L_γ是L_δ中某个实数的初等包，证明L_γ是可定义的，从而编码唯一最小的实数。
• 应用Shoenfield绝对性定理，表明当α ≥ ω₁时，无参数ORM可计算性与wITRM可计算性一致，因此此类模型中不存在遗失旋律。
• 通过L_{γ+2}中的真值谓词，构造ω与L_γ之间的可定义双射，证明γ+1是索引，因此L_γ是可识别的。
• 分析L_{ζ+2}的结构，利用最小代码必须属于L_{ζ+2}的事实，通过真值谓词评估验证L_ζ的代码在<L下是最小的。

实验结果

研究问题

• RQ1 无重置无限时间寄存器机（wITRM）是否表现出遗失旋律现象，即是否存在可识别但不可计算的实数？
• RQ2 对于哪些序数α，重置α-寄存器机会允许遗失旋律出现？此类α的上确界是多少？
• RQ3 无参数的序数图灵机（OTM）和序数寄存器机（ORM）是否允许遗失旋律出现？该问题是否与ZFC独立？
• RQ4 对于α ≥ ω₁，wITRM中可计算性与可识别性之间存在何种关系？这是否意味着遗失旋律不存在？
• RQ5 能否以可构造层次和L中索引的存在性为依据，对α-寄存器机中遗失旋律的存在性进行刻画？

主要发现

• 无重置无限时间寄存器机（wITRM）中不存在遗失旋律，因为可识别性蕴含可计算性，这是由于可数计算长度和liminf极限规则的约束。
• 对于重置α-寄存器机，遗失旋律存在的充要条件是α < ω₁为无限序数，且此类实数可被构造为L_γ层级的最小代码。
• 对于无重置α-寄存器机，遗失旋律存在于α = ω+1，但当所有α ≥ γ（γ为某个可数序数且γ < ω₁）时不再存在，表明存在一个明确的临界阈值。
• 在无参数情形下，ORM与OTM的可识别实数集合与L中的可构造实数一致，且由于Shoenfield绝对性，不存在遗失旋律。
• 在含参数的OTM中，遗失旋律的存在性与ZFC独立，前提是假设0#存在，揭示了集合论可判定性中的基础限制。
• 当α ≥ ω₁时，wITRM可计算性与ORM可计算性一致，且由于所有计算均为可数长度，不会发生溢出，因此这些模型中不存在遗失旋律。