[논문 리뷰] Enumerating randoms

Bjørn Kjos-Hanssen, Frank Stephan외 1명|arXiv (Cornell University)|2010. 08. 28.

Computability, Logic, AI Algorithms인용 수 1

한 줄 요약

이 논문은 왼쪽 r.e. (왼쪽 재귀적으로 열거 가능한) 집합의 가산성에 대해 조사하며, 랜덤 집합과 약한 1-일반 집합의 클래스에 초점을 맞춘다. 이는 삼차 및 사차 수준의 산술 계층이 왼쪽 r.e. 집합의 이동 유지 성질을 갖는 원소를 순수하게 기반으로 특성화할 수 있음을 입증하며, 일부 클래스인 Martin-Löf 랜덤 집합은 왼쪽 r.e. 번호 부여를 허용하지만, 왼쪽 r.e. 랜덤 집합의 경우 정규화된 왼쪽 r.e. 번호 부여가 존재하지 않음을 보여주며, 집합과 실수의 번호 부여 간의 근본적인 차이를 드러낸다.

ABSTRACT

We investigate enumerability properties for classes of sets which permit recursive, lexicographically increasing approximations, or left-r.e. sets. In addition to pinpointing the complexity of left-r.e. Martin-Lof, computably, Schnorr, and Kurtz random sets, weakly 1-generics and their complementary classes, we find that there exist characterizations of the third and fourth levels of the arithmetic hierarchy purely in terms of these notions. More generally, there exists an equivalence between arithmetic complexity and existence of numberings for classes of left-r.e. sets with shift-persistent elements. While some classes (such as Martin-Lof randoms and Kurtz non-randoms) have left-r.e. numberings, there is no canonical, or acceptable, left-r.e. numbering for any class of left-r.e. randoms. Finally, we note some fundamental differences between left-r.e. numberings for sets and reals.

연구 동기 및 목표

• 왼쪽 r.e. 집합, 즉 재귀적이고 사전순으로 증가하는 근사화를 허용하는 집합 클래스의 가산성 성질을 분석하는 것.
• Martin-Löf, 계산 가능, Schnorr, 그리고 Kurtz 랜덤 집합의 복잡도를 왼쪽 r.e. 프레임워크 내에서 규명하는 것.
• 삼차 및 사차 산술 계층 수준을 오직 왼쪽 r.e. 집합의 성질과 이동 유지 성질을 갖는 원소만을 사용하여 특성화하는 것.
• 왼쪽 r.e. 랜덤 집합의 클래스 및 그 여집합에 대한 왼쪽 r.e. 번호 부여의 존재성과 성격을 조사하는 것.
• 왼쪽 r.e. 구성의 맥락에서 집합의 번호 부여와 실수의 번호 부여 간의 근본적인 차이를 명확히 하는 것.

제안 방법

• 논문은 재귀적이고 사전순으로 증가하는 근사화를 사용하여 왼쪽 r.e. 집합을 정의하고 분석한다.
• 이동 유지 성질의 개념을 적용하여 왼쪽 r.e. 집합의 클래스 내에서 산술 복잡도 수준을 특성화한다.
• 정의 가능성과 환원 기법을 활용하여 산술 계층을 왼쪽 r.e. 클래스의 가산성 성질과 연결한다.
• 기하학적 및 귀납 이론적 추론을 통해 정규화된 왼쪽 r.e. 번호 부여의 존재 및 부재를 분석한다.
• 왼쪽 r.e. 근사화의 닫힘성 및 유지 성질을 검토함으로써 집합과 실수의 번호 부여 행동을 비교한다.

실험 결과

연구 질문

• RQ1 삼차 및 사차 산술 계층 수준은 왼쪽 r.e. 집합의 이동 유지 성질을 갖는 원소만을 사용하여 완전히 특성화될 수 있는가?
• RQ2 Martin-Löf 랜덤 집합과 그 여집합은 왼쪽 r.e. 번호 부여를 허용하는가? 만약 그렇다면, 이러한 번호 부여는 정규화된가?
• RQ3 집합과 실수에 적용했을 때 왼쪽 r.e. 번호 부여의 성격에 근본적인 차이가 존재하는가?
• RQ4 이동 유지 성질은 산술 복잡도를 왼쪽 r.e. 클래스의 가산성과 연결하는 데 어떤 역할을 하는가?
• RQ5 어떤 왼쪽 r.e. 랜덤 집합의 클래스에 대해서도 수용 가능한 왼쪽 r.e. 번호 부여가 존재하지 않는 이유는 무엇인가?

주요 결과

• 삼차 및 사차 산술 계층 수준은 이동 유지 성질을 갖는 왼쪽 r.e. 집합의 존재성에 의해 완전히 특성화된다.
• Martin-Löf 랜덤 집합과 Kurtz 비랜덤 집합은 왼쪽 r.e. 번호 부여를 허용하지만, 왼쪽 r.e. 랜덤 집합의 어떤 클래스에 대해서도 정규화된 번호 부여는 존재하지 않는다.
• 왼쪽 r.e. 클래스 내에서 이동 유지 성질을 갖는 원소의 존재는 삼차 및 사차 수준에서 산술 복잡도를 완전히 특성화한다.
• 왼쪽 r.e. 번호 부여의 성격에 대해 집합과 실수 사이에 근본적인 차이가 존재하며, 이는 서로 다른 닫힘성 및 유지 성질에서 기인한다.
• 논문은 어떤 왼쪽 r.e. 랜덤 집합의 클래스에 대해서도 수용 가능한 왼쪽 r.e. 번호 부여가 존재하지 않음을 증명한다. 비록 관련된 클래스에 대해서는 비정규화된 번호 부여가 존재하지만 말이다.