부분 무작위성의 동등성: 재귀적으로 열거 가능한 실수에 대한 새로운 특성

초록

이 논문은 재귀적으로 열거 가능한 실수 α에 대해 부분 무작위성(파라미터 T∈(0,1])을 정의하고, 기존의 무작위성에 대한 여덟 가지 동등한 조건을 T‑버전으로 일반화한다. T‑수렴, Ω(T)‑유사성, T‑보편성 등 새로운 개념을 도입해, α가 약한 Chaitin T‑무작위, Martin‑Löf T‑무작위, Ω(T)‑유사성 등을 모두 동등함을 보인다.

상세 분석

논문은 먼저 재귀적으로 열거 가능한 실수(r.e. real)의 기존 무작위성 특성—약한 Chaitin 무작위, Martin‑Löf 무작위, Ω‑유사성, 보편적인 증가 수열 등—이 서로 동등함을 정리한 정리 3.4를 재검토한다. 이어서 부분 무작위성 개념을 도입한다. T∈(0,1]을 매개변수로 두고, 약한 Chaitin T‑무작위를 H(α_n)≥T·n−c 형태로 정의하고, Martin‑Löf T‑테스트를 2^{−T|s|}≤2^{−n} 조건으로 확장한다. 핵심은 T‑수렴(T‑convergence)이다. 증가하고 수렴하는 유리수열 {a_n}에 대해 Σ_n (a_{n+1}−a_n)^T이 유한하면 T‑수렴이라 정의하고, 이를 통해 T‑수렴 r.e. 실수를 정의한다. Ω(T)‑유사성은 모든 T‑수렴 r.e. 실수를 지배(dominates)하는 실수로, T=1일 때 기존 Ω‑유사성과 일치한다. T‑보편성은 모든 T‑수렴 증가 수열을 일정 상수 c로 압축할 수 있는 수열을 의미한다. 주요 정리 4.6은 computable T에 대해 다음과 같은 아홉 조건이 동등함을 증명한다: (i) 약한 Chaitin T‑무작위, (ii) Martin‑Löf T‑무작위, (iii) Ω(T)‑유사성, (iv) 모든 T‑수렴 r.e. 실수 β에 대해 H(β_n)≤H(α_n)+O(1), (v) α를 β+q·γ 형태로 표현 가능, (vi) α=β+Ω_V(T) 형태, (vii) α=∑_{s} m(s)^T 형태의 보편 확률, (viii) 모든 증가 수렴 수열이 T‑보편, (ix) T‑보편 수열 존재 등. 증명은 기존 정리들의 T‑버전 변형과 Ω(T) 수렴성, 도미넌스 관계를 이용해 단계별로 연결한다. 특히, Lemma 4.2와 Theorem 4.3을 통해 Ω_V(T) 자체가 T‑수렴 r.e. 실수임을 보이며, 이를 기반으로 나머지 동등성을 구축한다. 결과적으로 부분 무작위성의 개념이 기존 무작위성 이론에 자연스럽게 확장됨을 확인한다.