[论文解读] Characterizing the strongly jump-traceable sets via randomness

Noam Greenberg, Denis R. Hirschfeldt+1 more|arXiv (Cornell University)|Sep 30, 2011

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

一句话总结

本文证明了一个计算可枚举集合是强跳跃可追踪的，当且仅当它可计算于每一个超低或超高的1-随机集合，并进一步表明，每个可计算于Δ⁰₂ 1-随机集合的c.e.集合都服从每一个具有极限条件的成本函数，从而通过随机性和成本函数完全刻画了此类集合。

ABSTRACT

We show that if a set $A$ is computable from every superlow 1-random set, then $A$ is strongly jump-traceable. This theorem shows that the computably enumerable (c.e.) strongly jump-traceable sets are exactly the c.e.\ sets computable from every superlow 1-random set. We also prove the analogous result for superhighness: a c.e.\ set is strongly jump-traceable if and only if it is computable from every superhigh 1-random set. Finally, we show that for each cost function $c$ with the limit condition there is a 1-random $Δ^0_2$ set $Y$ such that every c.e.\ set $A \le_T Y$ obeys $c$. To do so, we connect cost function strength and the strength of randomness notions. This result gives a full correspondence between obedience of cost functions and being computable from $Δ^0_2$ 1-random sets.

研究动机与目标

• 通过随机性概念刻画强跳跃可追踪的c.e.集合，特别是将其识别为可计算于每一个超低1-随机集合的集合。
• 将此刻画扩展至超高1-随机集合，证明其与强跳跃可追踪性等价。
• 通过证明每个可计算于Δ⁰₂ 1-随机集合的c.e.集合都服从每一个具有极限条件的成本函数，建立成本函数与随机性之间的联系。
• 建立服从成本函数与可计算于Δ⁰₂ 1-随机集合之间的完全对应关系，完成算法随机性与可计算性领域中的刻画程序。

提出的方法

• 基于成本函数和随机预言机构造一个Demuth测试，以分析可计算于该随机预言机的c.e.集合的行为。
• 利用假设集合A可计算于每一个超低1-随机集合，通过测度论和逼近方法的矛盾论证，推导出A必须是强跳跃可追踪的。
• 应用ω·R-Demuth测试的概念，分析A的逼近中变化次数，将其与成本函数的界联系起来。
• 通过追踪变化发生的阶段，并使用测度论论证来界定总成本，定义一个服从给定成本函数c的可计算枚举。
• 利用如下事实：若集合Y是ω·R-Demuth随机，则其避开测试中的某些开集，从而强制相关集合的测度超过某一阈值，实现对成本的控制。
• 将证明方法适配至普通Demuth测试，从而为c.e.集合通过良态成本函数刻画的充分性方向提供了新证明。

实验结果

研究问题

• RQ1 哪些c.e.集合可计算于每一个超低1-随机集合，这与强跳跃可追踪性有何关系？
• RQ2 该刻画是否可扩展至超高1-随机集合，且是否产生相同的集合类？
• RQ3 服从具有极限条件的成本函数与可计算于Δ⁰₂ 1-随机集合之间的确切关系为何？
• RQ4 c.e.集合的随机性强度与成本函数服从性之间的联系能否被完全刻画？
• RQ5 是否存在一种统一方法，可在集合可计算于Δ⁰₂ 1-随机预言机时，构造其服从给定成本函数的可计算逼近？

主要发现

• 一个c.e.集合是强跳跃可追踪的，当且仅当它可计算于每一个超低1-随机集合，从而建立了新的组合刻画。
• 该等价关系同样适用于超高1-随机集合，表明强跳跃可追踪性等价于可计算于每一个超高1-随机集合。
• 对于每一个具有极限条件的成本函数c，存在一个Δ⁰₂ 1-随机集合Y，使得每个满足A ≤ₜ Y的c.e.集合A都服从c。
• 在使用成本函数c构造A的可计算逼近时，其变化的总成本被控制在8以内，表明在给定条件下成本为有限。
• 通过Demuth测试与测度论论证的证明技术表明，测试集合版本的变化次数是有限的，从而确保成本函数服从性。
• 该结果完成了服从成本函数与可计算于Δ⁰₂ 1-随机集合之间的完全对应关系，解决了该领域的一个关键开放问题。