무작위성과 미분가능성의 새로운 연결

초록

이 논문은 알고리즘적 무작위성 개념을 효과적인 실함수의 미분가능성과 정확히 일치시킨다. 주요 결과는 (1) 계산 가능 비감소 함수가 모든 계산 가능 무작위 실수에서 미분가능하고, (2) 약한 2‑무작위 실수는 거의 어디서나 미분가능한 계산 가능 함수에서 미분가능하며, (3) 마틴‑로이드 무작위 실수는 유계 변동을 갖는 계산 가능 함수에서 미분가능하다는 것이다. 또한 무작위성의 기수 불변성 및 보존 성질도 증명한다.

상세 분석

논문은 먼저 알고리즘적 무작위성의 계층을 정리하고, 각 계층에 대응하는 함수 클래스들을 정의한다. 계산 가능 무작위(computable randomness)는 전통적인 마팅게일 베팅 전략으로 정의되며, 이는 이진 전개에 대한 베팅으로 해석된다. 저자들은 이 개념이 ‘베이스 불변성’—즉, 이진 전개가 아닌 다른 진법에서도 동일하게 정의될 수 있음을 정리한다(정리 3.7). 핵심 정리는 다음과 같다.

1. 계산 가능 무작위와 비감소 함수: 비감소이며 계산 가능한 함수 f에 대해, z가 계산 가능 무작위이면 f′(z) 가 존재한다. 이는 고전적 Lebesgue의 비감소 함수 미분정리를 효과적으로 구현한 것으로, 전통적 Vitali 커버링 대신 기본 dyadic 구간을 스케일·시프트하여 베팅 전략을 구성한다. 반대 방향(미분불가능 → 비무작위)에서는 ‘톱니함수(sawtooth)’들의 합을 이용해, 특정 z가 테스트에 실패하면 해당 함수의 미분이 무한대가 되도록 만든다.

2. 약한 2‑무작위와 거의 어디서나 미분가능한 함수: 거의 어디서나 미분가능한 계산 가능 함수들의 비미분점 집합은 Σ⁰₃ 효과적 Gδσ 집합이다. 약한 2‑무작위 실수는 이러한 Σ⁰₃-널 집합에 속하지 않으므로, 모든 이러한 함수에서 미분가능함을 얻는다. 반대로, 주어진 Π⁰₂-널 집합에 대해 해당 집합을 비미분점 집합으로 만드는 a.e. 미분가능 함수가 효과적으로 구성된다(정리 6.1).

3. 마틴‑로이드 무작위와 유계 변동 함수: 고전적 Jordan 정리(유계 변동 함수는 두 비감소 함수의 차)와 Demuth의 1975년 결과를 효과적으로 재해석한다. 마틴‑로이드 무작위 실수는 모든 계산 가능 유계 변동 함수에서 미분가능하고, 반대로 비마틴‑로이드 실수에 대해 하나의 유계 변동 함수가 미분불가능하도록 만든다(정리 6.5).

또한, 절대 연속 함수(variation‑computable)와 Lipschitz 함수에 대한 Schnorr 무작위성의 특수화도 논의한다. 여기서는 함수가 변동 노름에서 계산 가능해야 함을 요구함으로써 Schnorr 무작위와 정확히 일치한다.

마지막으로, 함수의 효과성 수준을 ‘유리수에서만 계산 가능’으로 완화하거나 Markov‑computable와 같은 중간 개념을 도입해 결과를 확장한다(섹션 7). 이러한 확장은 무작위성 보존 성질과 역수학적 해석을 가능하게 한다. 전체적으로 논문은 무작위성 개념을 미분가능성이라는 고전적 분석적 성질에 정확히 매핑함으로써 두 분야 사이의 깊은 상호작용을 밝힌다.