[논문 리뷰] Kolmogorov Complexity and Solovay Functions

Laurent Bienvenu, Rod Downey|ArXiv.org|2009. 02. 06.

Computability, Logic, AI Algorithms참고 문헌 13인용 수 16

한 줄 요약

이 논문은 prefix-free Kolmogorov 복잡도 K의 계산 가능한 상계인 Solovay 함수—모든 x에 대해 K(x) ≤ f(x) + O(1)를 만족하고, 무수히 많은 x에 대해 f(x) ≤ K(x) + O(1)를 만족하는 함수—를 도입하고, ∑2⁻ᶠ⁽ˣ⁾ 수렴을 통해 이들이 left-c.e. Martin-Löf 무작위 실수와 동치임을 증명한다. 또한 Solovay 함수가 Martin-Löf 무작위성과 K-비어 있는 성질을 특징짓는 데 기여하며, Miller-Yu 및 Levin-Schnorr 정리에 의해 정밀한 특성화를 제공한다.

ABSTRACT

Solovay proved that there exists a computable upper bound f of the prefix-free Kolmogorov complexity function K such that f (x) = K(x) for infinitely many x. In this paper, we consider the class of computable functions f such that K(x) <= f (x)+O(1) for all x and f (x) <= K(x) + O(1) for infinitely many x, which we call Solovay functions. We show that Solovay functions present interesting connections with randomness notions such as Martin-Löf randomness and K-triviality.

연구 동기 및 목표

• 모든 x에 대해 K(x) ≤ f(x) + O(1)이고, 무수히 많은 x에 대해 f(x) ≤ K(x) + O(1)를 만족하는 계산 가능한 함수 f의 집합을 정의하고 연구하는 것—이를 Solovay 함수라고 한다.
• 알고리즘적 무작위성의 관점에서 Solovay 함수를 정밀하게 특성화하는 것—즉, ∑₂⁻ᶠ⁽ˣ⁾이 left-c.e. Martin-Löf 무작위 실수인 함수들과 정확히 일치함을 보이는 것.
• Solovay 함수가 Martin-Löf 무작위성과 K-비어 있는 성질과 같은 무작위성 개념을 특징짓는 데 어떻게 기여하는지 탐색하는 것.
• Solovay 함수를 사용하여 Martin-Löf 무작위성과 K-비어 있는 성질에 대해 정밀한 특성화를 제공하며, Miller-Yu 및 Levin-Schnorr 정리와 같은 고전적 결과를 확장하는 것.

제안 방법

• Solovay 함수를 정의: 모든 x에 대해 K(x) ≤ f(x) + O(1)이고, 무수히 많은 x에 대해 f(x) ≤ K(x) + O(1)를 만족하는 계산 가능한 함수 f.
• 계산 가능한 함수 f가 Solovay 함수일 필요충분조건으로, ∑ₓ 2⁻ᶠ⁽ˣ⁾ 이 유한하고, left-c.e. Martin-Löf 무작위 실수임을 증명.
• Kraft-Chaitin 정리를 사용하여 f가 암시하는 상한을 실현하는 prefix-free 기계를 구성.
• Miller-Yu 정리를 적용: 임의의 Solovay 함수 f에 대해, 어떤 수열 α가 Martin-Löf 무작위일 필요충분조건은 모든 n에 대해 K(α↾n) ≤ f(n) + O(1)임을 보임.
• 모든 쌍 (w↾n, k)로 이루어진 c.e. 집합 L을 구성하여, ∑₂⁻ᵏ < ∞ 이며, 만약 K(α↾n) ≤ g(n) + O(1)이면 g가 Solovay 함수일 때 α가 K-비어 있는 성질을 가짐을 증명.
• K(n) 추정치의 변화에 대응하기 위해 단계별로 동적으로 증거를 갱신하는 전략을 사용하여, 각 단계에서 쌍의 수를 제한함으로써 잘못된 가정에 의한 과다 계수를 방지함.

실험 결과

연구 질문

• RQ1 K(x) ≤ f(x) + O(1) for all x and f(x) ≤ K(x) + O(1) for infinitely many x를 만족하는 계산 가능한 함수 f의 집합은 무엇으로 특징지어지나요?
• RQ2 Solovay 함수는 ∑ₓ 2⁻ᶠ⁽ˣ⁾의 수렴성과 무작위성으로 완전히 특징지어질 수 있나요?
• RQ3 Solovay 함수는 Martin-Löf 무작위성과 K-비어 있는 성질과 어떻게 관련되어 있나요?
• RQ4 Solovay 함수를 사용할 때, 평범한 복잡도를 통한 Martin-Löf 무작위성의 Miller-Yu 특성화는 정확한가요?
• RQ5 모든 x에 대해 K(α↾n) ≤ g(n) + O(1) ⇒ α가 K-비어 있는 성질을 가진다 하는 조건을 만족하는 계산 가능한 함수 g는 반드시 Solovay 함수인가요?

주요 결과

• 계산 가능한 함수 f가 Solovay 함수일 필요충분조건은 ∑ₓ 2⁻ᶠ⁽ˣ⁾ 이 유한하고, left-c.e. Martin-Löf 무작위 실수임이다.
• Levin-Schnorr 정리에 의한 Martin-Löf 무작위성의 특성화는 정밀하다: 수열 α가 Martin-Löf 무작위일 필요충분조건은 K(α↾n) ≤ n + O(1) 이고, Solovay 함수 f에 대해 ∑ₓ 2⁻ᶠ⁽ˣ⁾ 가 유한함이다.
• 모든 n에 대해 K(α↾n) ≤ f(n) + O(1)이면, 임의의 Solovay 함수 f에 대해 수열 α는 Martin-Löf 무작위이다.
• 수열 α가 K-비어 있는 성질을 가진다 하는 것은, 어떤 Solovay 함수 g에 대해 K(α↾n) ≤ g(n) + O(1)임과 정확히 동치이다.
• c.e. 집합 L의 구성은 ∑₂⁻ᵏ < ∞ 이며, (α↾n, K(n)) 이 최종적으로 L에 포함됨을 보장하여 K-비어 있는 성질을 증명한다.
• 전략은 K(n) 추정치의 변화에 유연하게 대응하며, 각 단계에서 쌍의 수를 제한함으로써 잘못된 가정에 의한 과다 계수를 방지함으로써 정확성을 확보한다.