[论文解读] Weihrauch-completeness for layerwise computability

Arno Pauly, Willem L. Fouché+1 more|Cronfa (Swansea University)|May 8, 2015

Computability, Logic, AI Algorithms被引用 5

一句话总结

本文引入了层式可计算性下的魏拉赫完备性概念，识别出自然问题（如击中时间算子、复振荡和伯克霍夫定理）在此意义下为完备。研究表明，尽管这些问题具有层式可计算性，但它们在更强的意义下不可计算，并确立了击中时间算子与层式可计算性具有相同的魏拉赫度，但其自身并非层式可计算。

ABSTRACT

We introduce the notion of being Weihrauch-complete for layerwise computability and provide several natural examples related to complex oscillations, the law of the iterated logarithm and Birkhoff's theorem. We also consider hitting time operators, which share the Weihrauch degree of the former examples but fail to be layerwise computable.

研究动机与目标

• 在层式可计算性的框架内形式化并研究魏拉赫完备性的概念。
• 识别分析与随机性中自然问题的魏拉赫完备性，这些问题是层式可计算性的魏拉赫完备问题。
• 通过分析击中时间算子，厘清层式可计算性与更强可计算性概念之间的界限。
• 比较层式可计算问题与非层式可计算对应问题的魏拉赫度。
• 在算法随机性与有效分析的背景下，利用魏拉赫约化建立非可计算性强度的层次结构。

提出的方法

• 使用魏拉赫约化比较表示空间上多值函数的非可计算性强度。
• 应用层式可计算性的概念，即当从通用马丁-洛夫测试中获得层界时，函数变为可计算。
• 使用实现实体和Oracle机器来定义和分析函数之间的魏拉赫约化，特别是涉及选择函数 $\textrm{C}_{\mathbb{N}}$ 和正实数的极限 $\textrm{LPO}^*$。
• 构建闭集 $A \in \mathcal{A}(\{0,1\}^\mathbb{N})$ 上击中时间算子 $\operatorname{HittingTime}_{\mathcal{A}}$ 的具体实例，以分析其魏拉赫度。
• 使用测度论论证和子串的不可压缩性，证明某些击中时间问题并非层式可计算。
• 利用超空间 $\mathcal{O}(\{0,1\}^\mathbb{N})$ 和 $\mathcal{A}(\mathbb{N})$ 表示开集和闭集，从而在证明中实现有效构造。

实验结果

研究问题

• RQ1 分析与随机性中的哪些自然问题在层式可计算性下是魏拉赫完备的？
• RQ2 击中时间算子能否在魏拉赫层次中分类，它们与层式可计算性有何关系？
• RQ3 即使共享相同的魏拉赫度，魏拉赫度与层式可计算性之间是否存在严格分离？
• RQ4 层式可计算性在多大程度上可以改进为完全可计算性，而什么阻碍了这种改进？
• RQ5 $\operatorname{HittingTime}_{\mathcal{A}}$ 与 $\textnormal{LAY}$ 的魏拉赫度如何比较，这对其计算强度意味着什么？

主要发现

• 击中时间算子 $\operatorname{HittingTime}_{\mathcal{A}}$ 与层式可计算性问题 $\textnormal{LAY}$ 魏拉赫等价，即 $\operatorname{HittingTime}_{\mathcal{A}}\equiv_{\textnormal{W}}\textnormal{LAY}$。
• 尽管与 $\textnormal{LAY}$ 具有相同的魏拉赫度，$\operatorname{HittingTime}_{\mathcal{A}}$ 并非层式可计算，这表明魏拉赫度与层式可计算性之间存在严格分离。
• 非层式可计算性的证明依赖于构造一个可计算的闭集族 $A_k$，使得任何层式可计算的实现实体都会导致存在一种算法来生成任意长度的 1-不可压缩词，从而产生矛盾。
• 在既开又闭集上（$\operatorname{HittingTime}_{\mathcal{A}\wedge\mathcal{O}}$）的击中时间算子是可计算的，表明仅要求闭集本身不足以导致非可计算性。
• $\textnormal{LAY}$ 的魏拉赫度严格低于 $d_{\textrm{MLR}} \times \textrm{C}_{\mathbb{N}}$，后者用于建立约化链。
• 本文确认，诸如伯克霍夫定理和迭代对数律等问题在层式可计算性下是魏拉赫完备的，确立了它们在此框架中非可计算性强度的最大值。