[논문 리뷰] Algorithmic information theory and martingales

Laurent Bienvenu, Alexander Shen|ArXiv.org|2009. 06. 15.

Computability, Logic, AI Algorithms참고 문헌 1인용 수 4

한 줄 요약

이 논문은 마르틴-lö프 난수성의 특성을 마르팅게일 베팅 전략을 통해 특징지음으로써 알고리즘적 정보이론과 마르팅게일을 통합한다. 이는 알고리즘적 복잡도를 확률론과 연결하며, 정규 수열—최소한의 알고리즘적 구조를 가진 수열—이 모든 계산 가능한 통계적 검정을 통과한다는 것을 보여준다. 핵심 기여는 콜모고로프 복잡도와 보편적인 준측도를 기반으로 한 보편적인 난수성 검정을 제시하는 것으로, 이는 정규 수열이 모든 계산 가능한 통계적 검정을 통과함을 입증한다.

ABSTRACT

The notion of an individual random sequence goes back to von Mises. We describe the evolution of this notion, especially the use of martingales (suggested by Ville), and the development of algorithmic information theory in 1960s and 1970s (Solomonov, Kolmogorov, Martin-Lof, Levin, Chaitin, Schnorr and others). We conclude with some remarks about the use of the algorithmic information theory in the foundations of probability theory.

연구 동기 및 목표

• 알고리즘적 정보이론을 사용하여 개인적 난수성의 직관적 개념을 형식화하기 위해.
• 규칙적인 수열(예: 100번 연속으로 앞면)이 낮은 확률을 가지지만 직관적으로 비난수성임에도 불구하고 이에 모순되는 역설을 해소하기 위해.
• 마르팅게일과 콜모고로프 복잡도를 기반으로 한 보편적인 난수성 프레임워크를 수립하기 위해.
• 정규 수열—최소한의 알고리즘적 구조를 가진 수열—이 모든 계산 가능한 통계적 검정을 통과한다는 것을 보여주기 위해.
• 보편적인 준측도와 알고리즘적 복잡도가 난수성에 대한 최소이자 최적의 검정을 제공한다는 것을 입증하기 위해.

제안 방법

• 계산 가능한 마르팅게일을 사용하여 난수성을 정의하는 베팅 전략으로서의 마르팅게일을 사용한다: 어떤 수열이 계산 가능한 마르팅게일에 의해 성공하지 못하면 그 수열은 난수성이다.
• 알고리즘적 난수성을 정의하기 위해 콜모고로프 복잡도 $KM(x)$를 사용하며, $\overline{KM}(x)$는 보편적 검정을 만족하는 최소의 준계산 가능한 함수이다.
• 비계산 가능한 오라클 $\alpha$를 사용하여 정규 수열의 개념을 정의하는 정규성 결함 $\overline{KM}(x) - \overline{KM}_\alpha(x)$를 도입한다.
• 보편적인 준계산 가능한 준측도(사전 확률)를 사용하여 난수성에 대한 보편적 검정을 정의한다.
• 상대화된 복잡도 $\overline{KM}_\alpha(x)$를 사용하여 정규 수열에서 알고리즘을 통해 생성된 수열을 분석한다.
• 모든 정규 수열은 알고리즘적으로 동일한 구조를 가지며, 효과적인 절차를 통해 상호 변환 가능하다는 것을 입증한다.

실험 결과

연구 질문

• RQ1 마르팅게일을 사용하여 알고리즘적 난수성에 대한 보편적 검정을 정의할 수 있는가?
• RQ2 알고리즘적 복잡도는 정규성이 있는 수열에서 난수성의 직관적 인식과 어떻게 관련이 있는가?
• RQ3 보편적인 준측도는 모든 계산 가능한 확률 분포에서 난수성을 특징짓는 데 어떤 역할을 하는가?
• RQ4 모든 정규 수열은 효과적인 알고리즘을 통해 상호 변환 가능할 수 있으며, 이는 그들의 구조적 동치성에 대해 어떤 의미를 갖는가?
• RQ5 어떤 수열의 정규성 결함이 그 알고리즘적 복잡도와 물리적 관측 가능성에 얼마나 반영되는가?

주요 결과

• 어떤 수열이 마르틴-lö프 난수성임은 오직 그것이 계산 가능한 마르팅게일에 의해 성공하지 못할 때에만 성립하며, 이는 베팅 전략과 알고리즘적 난수성 사이의 직접적인 연결 고리를 확립한다.
• $\overline{KM}(x)$—최소 준계산 가능한 함수—는 난수성에 대한 최적의 보편적 검정을 제공하며, 더 이상의 개선이 불가능하다.
• 정규 수열—정규성 결함이 그들의 물리적 기술의 복잡도 이하로 제한된 수열—은 모든 계산 가능한 통계적 검정을 통과한다.
• 정규 수열에서 알고리즘으로 생성된 모든 수열은 스스로도 정규 수열이며, 이는 정규성 성질이 효과적인 변환에 대해 안정적임을 나타낸다.
• 모든 정규 수열이 보편적인 계산 가능한 $P$-검정을 통과하는 한, 고정된 오라클 $\alpha$로 계산 가능한 모든 검정을 통과함을 의미하며, 이는 정규성 조건의 보편성을 시사한다.
• 모든 정규 수열은 동형 알고리즘적 구조를 가진다: 모든 정규 수열은 균일 측도에 대해 난수성을 가지는 수열로 효과적으로 변환 가능하다.