한계 복잡도 재조명

초록

이 논문은 조건부 및 전위 Kolmogorov 복잡도에 대한 “lim sup”·“lim inf” 관계를 통합적으로 정리하고, 이를 이용해 2‑랜덤성(0′‑Martin‑Löf 랜덤) 기준을 새롭게 증명한다. 또한 제한 빈도, 사전 확률, 효과적으로 열린 집합의 측도에 대한 기존 결과들을 간결한 증명으로 재구성하고, 저차원 기저 정리를 활용해 강력한 버전까지 제시한다.

상세 분석

논문은 먼저 평범한 Kolmogorov 복잡도 C(x|n)의 lim sup이 0′‑oracle 를 사용한 복잡도 C^{0′}(x)와 상수 차이 이하임을 매우 직관적인 “유한 부분 교체” 논법으로 증명한다. 핵심 아이디어는 0′ 의 유한 초기 부분 0_n 만으로 충분히 큰 n 에 대해 C(x|n)≤C^{0′}(x)+O(1) 를 얻고, 반대 방향에서는 “U_n={u | C(u|n)<k}” 라는 유한 집합들의 열을 고려한다. 0′‑계산으로 허용 가능한 “수평선 추가 연산”을 순차적으로 수행해 결국 모든 충분히 큰 n 에서 공통으로 포함되는 원소들을 0′‑열거 가능하게 만든다. 이 과정은 “∃∀” 형태의 정의를 “∃” 하나만 남겨 0′‑열거 가능성을 확보한다는 점에서 기술적으로 핵심이다.

전위 복잡도 K(x)와 사전 확률 m(x)에도 동일한 구조를 적용한다. 전위 복잡도는 −log m(x) 로 정의되므로, m(x|n)의 lim inf이 m^{0′}(x)와 상수 배율(Θ(1)) 차이임을 보이면 K(x|n)의 lim sup이 K^{0′}(x)+O(1) 와 동치임을 즉시 얻는다. 여기서도 “증가 연산”을 도입해 각 m_n을 점진적으로 올리면서 semimeasure 조건을 유지하도록 설계한다.

다음으로 제한 빈도 q_f(x)=lim inf_n #{i<n | f(i)=x}/n 에 대해, 부분계산 함수 f에 대해 q_f 가 0′‑하위 semimeasure 로 상한됨을 보인다. 이는 기존 결과를 일반화한 것으로, 부분계산 함수가 허용돼도 최대 빈도는 변하지 않는다.

효과적으로 열린 집합의 경우, 각 U_n 이 측도 ≤ε 인 열린 집합들의 열을 주면, lim inf_n U_n 을 포함하는 0′‑효과적으로 열린 집합 V 를 구성한다. 여기서는 “(x,N)‑연산”을 통해 Ω_x 를 모든 충분히 큰 n 에서 U_n 에 추가하는 방식을 사용하고, 0′ 로 허용 여부를 판단한다. 결과적으로 V 의 측도 ≤ε 가 보장된다.

마지막으로 2‑랜덤성(0′‑Martin‑Löf 랜덤)과 Kolmogorov 복잡도 사이의 연결을 재현한다. Miller(2004)의 정리를 새로운 관점에서 증명하는데, ω 의 모든 전위가 C(y)≥|y|−c 를 만족하는 y 로 연장될 수 있으면 ω 가 2‑랜덤임을 보인다. 이는 앞서 증명한 lim sup/lim inf 관계와 효과적 열린 집합 구성으로부터 직접 도출된다. 또한 저차원 기저 정리를 활용해 더욱 강력한 버전—즉, ε 보다 약간 큰 ε′ 로도 같은 포함을 얻을 수 있음을 보여, 2‑랜덤성 기준을 한층 강화한다.

전체적으로 논문은 “유한 부분 교체”, “허용 가능한 연산”, “0′‑열거 가능성 확보”라는 세 가지 메커니즘을 반복 사용함으로써, 복잡도 이론의 여러 전통적 결과들을 통일된 프레임워크 안에서 간결히 재증명하고, 새로운 응용까지 확장한다는 점에서 이론적 깊이와 기술적 통찰을 동시에 제공한다.