알고리즘적 무작위성과 슈퍼마르티갈의 짝분할 불가능성

초록

마틴‑로프 무작위성을 초월하는 하위반계산 가능 슈퍼마르티갈은 짝수·홀수 자리만을 따로 베팅하는 두 슈퍼마르티갈의 조합으로는 대체될 수 없다는 사실을 증명한다.

상세 분석

이 논문은 알고리즘적 무작위성, 특히 마틴‑로프 무작위성을 슈퍼마르티갈(supermartingale)이라는 게임 이론적 도구를 통해 정의한다. 전통적으로, 하위반계산 가능(lower semicomputable) 슈퍼마르티갈은 무한 이진열 ω에 대해 그 자본이 무한히 커지는 경우를 ‘승리’라고 부른다. 저자는 먼저 계산 가능한 마팅게일에 대해서는 “짝·홀 단계만 따로 베팅하는 두 마팅게일”로 원래 마팅게일의 승리 집합을 커버할 수 있음을 보여준다. 이는 각 단계에서 자본을 절반씩 나누어 베팅하거나, 짝수 단계에서는 원래 마팅게일과 동일한 비율로 베팅하고 홀수 단계에서는 베팅을 하지 않는 식으로 구현된다. 그러나 하위반계산 가능 슈퍼마르티갈에 대해서는 같은 분해가 성립하지 않는다. 핵심 정리는 “짝·홀 단계만 베팅하는 두 슈퍼마르티갈이 모두 승리하지 못하는 마틴‑로프 무작위열이 존재한다”는 것이다.

이를 증명하기 위해 저자는 무한 게임을 설계한다. 두 플레이어, 수학자(M)와 적대자(A)가 번갈아 가며 각각의 슈퍼마르티갈에 대한 하위근사값을 제시한다. A는 짝수·홀수 단계 전용 슈퍼마르티갈 t₀, t₁을 구성하고, M은 일반 슈퍼마르티갈 t를 만든다. 각 움직임은 비감소적이며, 모든 노드에서 초기값은 1로 정규화한다. M의 목표는 어떤 무한 경로 ω에 대해 t가 무한히 성장하도록 하면서 t₀와 t₁은 유계하게 유지하는 것이다.

논문은 먼저 유한 깊이의 이진 트리에서 “t가 2를 초과하고 t₀, t₁은 1 이하”인 잎을 강제적으로 만들 수 있는 전략을 제시한다. 그런 뒤, 이러한 유한 게임을 무한히 중첩시켜 트리의 깊이를 늘려가면, 결국 무한 경로 상에서 t는 기하급수적으로 성장하고 t₀, t₁은 전혀 성장하지 못한다는 결론에 도달한다. 이 전략은 완전 계산 가능하므로, 존재하는 t는 하위반계산 가능 슈퍼마르티갈이며, 해당 ω는 마틴‑로프 무작위열이면서도 짝·홀 전용 슈퍼마르티갈 두 개로는 잡히지 않는다.

이 결과는 van Lambalgen 정리와도 흥미로운 대비를 만든다. van Lambalgen은 한 열이 무작위이면 그 짝·홀 부분열도 각각 오라클을 이용해 무작위임을 보장한다. 그러나 여기서는 “각 부분열이 온라인으로 무작위”라는 약한 조건만으로는 전체 열의 무작위성을 보장하지 못한다는 역설적 현상을 보여준다. 즉, 무작위성의 정의에 사용되는 베팅 전략이 전체 정보를 활용할 때와, 짝·홀 단계만 제한된 정보를 활용할 때 사이에 근본적인 차이가 존재한다는 점을 강조한다.

이 논문의 주요 기여는 (1) 계산 가능한 마팅게일에 대한 짝·홀 분해 가능성을 재확인하고, (2) 하위반계산 가능 슈퍼마르티갈에 대해서는 동일한 분해가 불가능함을 엄격히 증명한 점이며, (3) 이를 위해 새로운 게임 이론적 프레임워크와 유한·무한 트리 전략을 창의적으로 결합한 방법론을 제시한 점이다. 이러한 결과는 알고리즘적 무작위성 이론, 베팅 전략의 구조적 제한, 그리고 정보 이론적 무작위성의 근본적 성질을 이해하는 데 중요한 통찰을 제공한다.