알고리즘적 독립성의 두 가지 정의와 그 한계

이 논문은 알고리즘적 정보 이론의 틀 안에서 무한 이진열 사이의 독립성을 정의하고 그 성질을 체계적으로 탐구한다 먼저 고전적인 확률 변수의 독립성 개념을 Kolmogorov 복잡도에 대응시켜 두 가지 새로운 정의를 제시한다 첫 번째 정의인 “통합형 독립성”(integral independence)은 각 열이 다른 열을 oracle 로 사용했을 때 그 복잡도가 원래 복잡도와 로그 수준만 차이 나는 것을 요구한다 즉 모든 n에 대해 C_y(x↾n)≥C(x↾n)−O(log n) 와 C_x(y↾n)≥C(y↾n)−O(log n) 가 동시에 성립해야 한다 두 번째 정의인 “유한형 독립성”(finitary independence)은 두 열의 임의의 앞부분 x↾n 과 y↾m 을 단순히 이어 붙였을 때 전체 복잡도가 개별 복잡도의 합과 로그 항만 차이 나는 것을 요구한다 즉 C(x↾n y↾m)≥C(x↾n)+C(y↾m)−O(log n+log m) 가 모든 n,m 에 대해 성립한다 두 정의는 모두 복잡도 차이를 로그 수준으로 제한함으로써 강인성을 확보하고, 평범한 복잡도와 전위 자유 복잡도 사이의 차이도 무시할 수 있게 만든다 논문은 먼저 기본적인 관계를 증명한다 통합형 독립성은 유한형 독립성을 함축하지만, 그 역은 일반적으로 성립하지 않는다 특히 computable 열이나 H‑trivial 열은 모든 열과 트리비얼하게 독립이 되므로 의미 있는 독립성은 비계산적 열에 한정된다 다음으로는 존재론적 측면을 조사한다 임의의 열 x에 대해, x와 유한형 독립성을 만족하는 열들의 집합은 레베게 측도 1을 차지한다는 정리를 증명한다 이는 거의 모든 열이 어떤 다른 열과 독립적일 수 있음을 의미한다 반면 동일한 결과가 통합형 독립성에 대해서는 아직 열려 있다 그 후 논문은 효과적 구축 가능성을 탐구한다 특히 양의 구성적 Hausdorff 차원을 가진 열 x가 주어졌을 때, 슈퍼 로그 복잡도를 가진 두 독립 열을 효과적으로 생성하는 것이 불가능함을 보이는 부정 결과를 제시한다 이는 어떤 튜링 변환도 입력 열의 정보량을 충분히 보존하면서 새로운 독립 열을 만들 수 없다는 강력한 제한이다 또한 두 독립 열 x와 y가 주어졌을 때, y에 대한 임의의 튜링 변환 g를 적용하면 x와 g(y) 사이의 통합형 독립성은 깨질 수 있지만, 유한형 독립성은 항상 유지된다는 흥미로운 현상을 발견한다 이는 정의 자체가 갖는 강인성과 약점 모두를 드러낸다 마지막으로 여러 독립 열을 입력으로 받아 새로운 독립 열을 구성하는 문제를 다룬다 무작위 열을 입력으로 하면 기존 결과에 따라 새로운 무작위 열을 쉽게 만들 수 있지만, 일반적인 비무작위 열에 대해서는 아직 해결되지 않은 질문이 남아 있다 특히 다중 입력에 대해 비트 복잡도가 높은 새로운 열을 생성하는 것이 가능한지 여부는 향후 연구 과제로 남는다 전체적으로 이 논문은 무한 열 사이의 알고리즘적 독립성을 두 가지 자연스러운 정의로 정립하고, 그 정의가 갖는 직관적 기대와 실제 수학적 성질을 상세히 검증한다 또한 독립성의 존재론적 풍부함과 동시에 효과적 구축의 불가능성을 명확히 구분함으로써, 알고리즘적 정보 이론에서 독립성 개념을 보다 깊이 있게 이해하는 데 중요한 발판을 제공한다