[论文解读] Randomness Versus Superspeedability

Rupert Hölzl, Philip Janicki+2 more|arXiv (Cornell University)|Jan 1, 2024

Evolutionary Algorithms and Applications被引用 1

一句话总结

本文引入並研究了超加速可逼近數（superspeedable numbers）的概念——即能以一致加速的左逼近方式逼近的實數，其速度超越標準的可加速性。本文確立了良性可逼近性概念之間的嚴格層次結構，並證明馬丁-洛夫隨機數無法是超加速可逼近的，而施訥爾隨機數則可以同時具有左可計算性與超加速可逼近性，從而解決了關於隨機性與逼近速度之間相互作用的開放問題。

ABSTRACT

Speedable numbers are real numbers which are algorithmically approximable from below and whose approximations can be accelerated nonuniformly. We begin this article by answering a question of Barmpalias by separating a strict subclass that we will refer to as superspeedable from the speedable numbers; for elements of this subclass, acceleration is possible uniformly and to an even higher degree. This new type of benign left-approximation of numbers then integrates itself into a hierarchy of other such notions studied in a growing body of recent work. We add a new perspective to this study by juxtaposing this hierachy with the well-studied hierachy of algorithmic randomness notions.

研究动机与目标

• 澄清算法隨機性與可計算逼近速度之間的關係，特別聚焦於左可計算實數。
• 解決關於是否存在既非可加速也非馬丁-洛夫隨機的左可計算數的開放問題。
• 引入並分析新的超加速可逼近數類，定義為左逼近方式經由一致且高階加速的實數。
• 探討不同隨機性概念（如馬丁-洛夫、施訥爾）與良性逼近類（如可加速性、恢復逼近性）之間的相容性。
• 探討識別逼近中加速或恢復行為階段之計算任務的計算複雜度。

提出的方法

• 引入速度商 ρ(n) = (x_{n+1} - x_n)/(x - x_n) 以量化左逼近的收斂速率。
• 定義超加速可逼近數為左可計算實數，其速度商的上極限超過任意固定正數，且對所有此類界限均表現出一致加速。
• 透過相對於一 computably enumerable 集合 A 的前綴自適應通用機器構造一組實數 Ω_A，以分析逼近行為。
• 使用賭博者（martingale）論證與測度論性質，證明當 A 不可計算時，Ω_A 為非隨機（例如，部分可計算隨機性失敗）。
• 應用 Franklin 和 Stephan 對賭博者的結果，證明在特定條件下 Ω_A 非施訥爾隨機。
• 採用 Weihrauch 度作為框架，分析識別逼近中加速或恢復階段之計算困難度。

实验结果

研究问题

• RQ1 是否存在一個左可計算實數，既非可加速也非馬丁-洛夫隨機？
• RQ2 施訥爾隨機實數能否同時具有左可計算性與超加速可逼近性？
• RQ3 超加速可逼近數類是否為可加速數類的真子集？
• RQ4 超加速可逼近性與不同算法隨機性概念（如馬丁-洛夫與施訥爾隨機性）之間的關係為何？
• RQ5 識別左逼近中加速或恢復行為階段之任務的 Weihrauch 度為何？

主要发现

• 超加速可逼近數類是可加速數類的嚴格子集，展現了超越標準可加速性的新一級加速。
• 馬丁-洛夫隨機數無法是超加速可逼近的，此結論透過對非可計算 A 的 Ω_A 之賭博者論證得以證明。
• 存在既左可計算又超加速可逼近的施訥爾隨機數，此由對最大 c.e. 集合 A 構造 Ω_A 所示。
• 對最大 c.e. 集合 A 構造 Ω_A 所得的數為施訥爾隨機但非部分可計算隨機，顯示了隨機性與可計算賭博成功之間的分離。
• 本文透過證明左可計算數不被馬丁-洛夫隨機數、可加速數與近乎可計算數的並集所涵蓋，解決了 Hölzl 與 Janicki 的開放問題。
• 證明 Ω_A 非部分可計算隨機，因為透過模仿 d 在 Ω_A 上構造的賭博者 d′ 成功於 Ω，與 Ω 的已知部分隨機性矛盾。