[논문 리뷰] Randomness Versus Superspeedability

Rupert Hölzl, Philip Janicki외 2명|arXiv (Cornell University)|2024. 01. 01.

Evolutionary Algorithms and Applications인용 수 1

한 줄 요약

이 논문은 표준 속도 가능성 이상의 균일 가속화된 왼쪽 계산 가능한 근사화를 허용하는 수인 초속도 가능 수(super speedable numbers)의 개념을 도입하고 조사한다. 이는 유해하지 않은 근사화 개념 간의 стрict한 계층을 확립하며, Martin-Löf 무작위 수는 초속도 가능할 수 없고, Schnorr 무작위 수는 왼쪽 계산 가능하고 초속도 가능할 수 있음을 보여주어 무작위성과 근사화 속도 간의 상호작용에 대한 열린 질문을 해결한다.

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.

연구 동기 및 목표

• 알고리즘적 무작위성과 계산 가능한 근사화 속도 간의 관계를 명확히 하며, 특히 왼쪽 계산 가능한 실수에 중점을 둔다.
• 속도 가능하지도 않고 Martin-Löf 무작위성도 아닌 왼쪽 계산 가능한 수가 존재하는지에 대한 열린 질문을 해결한다.
• 균일한 고도의 가속화를 통한 왼쪽 근사화의 초속도 가능 수의 새로운 클래스를 도입하고 분석한다.
• 다양한 무작위성 개념(Martin-Löf, Schnorr)이 속도 가능성과 같은 유해하지 않은 근사화 클래스와의 호환성을 조사한다.
• 근사화에서 가속 또는 회복 행동 단계를 식별하는 데 관련된 작업의 계산 복잡도를 탐구한다.

제안 방법

• 왼쪽 근사화의 수렴 속도를 측정하기 위해 속도 몫 ρ(n) = (x_{n+1} - x_n)/(x - x_n)의 개념을 도입한다.
• 모든 고정된 양수 상한 이하에서 속도 몫의 상한 극한이 초과되는 왼쪽 계산 가능한 실수를 초속도 가능 수로 정의하며, 이는 모든 상한에 대해 균일한 가속화를 포함한다.
• 계산 가능 셋 A에 대한 접두어 자유 보편 기계를 사용하여 Ω_A의 가족을 구성하여 근사화 행동을 분석한다.
• 마팅게일 기반의 추론과 측도 이론적 성질을 사용하여, A가 계산 가능하지 않으면서 Ω_A가 무작위가 아님(예: 부분 계산 가능 무작위성 실패)을 증명한다.
• Franklin과 Stephan의 마팅게일 결과를 적용하여, A가 특정 조건을 만족하면 Ω_A가 Schnorr 무작위가 아니라는 것을 보여준다.
• Weihrauch 차수를 사용하여 근사화에서 가속 또는 회복 단계를 식별하는 데의 계산 어려움을 분석하는 프레임워크로 활용한다.

실험 결과

연구 질문

• RQ1 속도 가능하지도 않고 Martin-Löf 무작위성도 아닌 왼쪽 계산 가능한 실수는 존재하는가?
• RQ2 Schnorr 무작위 실수는 동시에 왼쪽 계산 가능하고 초속도 가능할 수 있는가?
• RQ3 초속도 가능 수의 집합은 속도 가능 수의 진부분집합인가?
• RQ4 초속도 가능성과 다양한 알고리즘적 무작위성 개념(예: Martin-Löf, Schnorr 무작위성) 간의 관계는 무엇인가?
• RQ5 왼쪽 근사화에서 가속 또는 회복 행동 단계를 식별하는 작업의 Weihrauch 차수는 무엇인가?

주요 결과

• 초속도 가능 수의 집합은 속도 가능 수의 엄밀한 부분집합이며, 표준 속도 가능성 이상의 새로운 수준의 가속화를 보여준다.
• Martin-Löf 무작위 수는 초속도 가능할 수 없으며, 비계산 가능한 A에 대해 Ω_A에 대한 마팅게일 추론을 통해 이를 입증한다.
• Schnorr 무작위 수 중에서 동시에 왼쪽 계산 가능하고 초속도 가능한 수가 존재하며, 최대 c.e. 집합 A에 대해 Ω_A를 구성함으로써 이를 입증한다.
• 최대 c.e. 집합 A에 대해 Ω_A를 구성하면, 이 수는 Schnorr 무작위이지만 부분 계산 가능 무작위성이 아니며, 이는 무작위성과 계산 가능 베팅 성공 간의 분리됨을 보여준다.
• 논문은 Hölzl과 Janicki의 열린 질문을 해결하며, 왼쪽 계산 가능한 수가 Martin-Löf 무작위 수, 속도 가능 수, 거의 계산 가능한 수의 합집합에 의해 커버되지 않음을 보여준다.
• Ω_A가 부분 계산 가능 무작위가 아니라는 것이 입증되며, Ω_A에서 d의 모방을 통한 마팅게일 d′이 Ω에서 성공함을 보여, Ω의 알려진 부분 무작위성과 모순된다.