컬모고로프 복잡도와 로바시 지역 보조정리로 본 임계 지수의 전 범위 구현

초록

**
Kolmogorov 복잡도가 거의 최대인 부분열을 갖는 무한 문자열을 Lovász 지역 보조정리를 이용해 구성하면, 임계 지수가 任의 실수 > 1인 문자열을 만들 수 있음을 보인다. 또한 주어진 상한을 초과하는 “근사” 분수 거듭제곱을 전혀 포함하지 않는 문자열도 같은 방법으로 생성한다.

**

상세 분석

**
본 논문은 두 가지 핵심 아이디어를 결합한다. 첫 번째는 Kolmogorov 복잡도가 길이와 거의 동일한 무한 이진열을 존재시킨다는 사실이다. 구체적으로, 임의의 충분히 큰 n에 대해 앞 n개의 비트에 대한 최소 프로그램 길이 K(x₀…x_{n‑1})가 n − O(log n) 이상이 되는 부분열을 선택할 수 있음을 보인다. 이는 확률적 방법과 Lovász 지역 보조정리(LLL) 를 적용해 “복잡도 부족” 사건들의 의존 그래프가 충분히 희박함을 보증함으로써 얻어진다.

두 번째 아이디어는 임계 지수(critical exponent) 와 복잡도 사이의 직접적인 연결 고리를 이용한다. 문자열 w에 r‑거듭제곱(u^r) 형태의 구간이 존재한다면, 그 구간은 u와 r만으로 압축될 수 있어 K(구간) ≤ |u|·⌈r⌉ − Ω(|u|) 정도가 된다. 따라서 복잡도가 거의 최대인 문자열에서는 r이 충분히 크게 되면 복잡도 하한을 위배하게 된다. 이를 역으로 해석하면, 복잡도가 높은 문자열은 특정 상수 α보다 큰 거듭제곱을 포함하지 않으며, 반대로 α에 임의에 가깝게 접근하는 거듭제곱은 의도적으로 삽입함으로써 임계 지수 = α 를 달성할 수 있다.

논문은 이 논리를 정형화하여 다음과 같은 정리를 얻는다.

1. 모든 실수 α > 1에 대해, 임계 지수가 정확히 α인 무한 문자열이 존재한다.

   • 복잡도가 거의 최대인 기본 문자열 X를 선택하고, X의 적절한 위치에 α에 근접한 유리수 r = p/q를 이용한 p‑길이 블록을 삽입한다. 삽입 과정은 LLL를 이용해 기존 복잡도 하한을 깨지 않도록 설계한다.

2. 주어진 β > 1에 대해, β를 초과하는 “근사” r‑거듭제곱을 전혀 포함하지 않는 문자열을 만든다.

   • 여기서 “근사”란 Hamming 거리 ≤ ε·|w| 로 정의한다. LLL를 사용해 각 길이 n에 대해 “ε‑근사 r‑거듭제곱이 존재한다”는 사건을 회피하도록 무한 문자열을 구성한다. 복잡도 하한은 여전히 n − O(log n) 수준을 유지한다.

이러한 접근법은 기존에 Krieger‑Shallit이 조합론적 방법(주로 Dejean‑type 회피와 자동수열)으로 증명한 결과를 Kolmogorov 복잡도와 확률적 존재 증명이라는 새로운 관점에서 재해석한다는 점에서 의미가 크다. 또한, 복잡도 기반 방법은 “근사” 패턴 회피와 같이 정밀한 오류 허용 모델에도 자연스럽게 적용될 수 있음을 보여준다.

핵심 기술적 난관은 LLL 적용 시 사건들의 의존도를 정확히 계산하고, 복잡도 하한을 유지하면서도 필요한 거듭제곱 구간을 삽입하거나 배제하는 것이다. 논문은 이를 위해 “블록‑레벨 의존 그래프” 를 정의하고, 각 사건의 확률을 2^{‑Ω(n)} 수준으로 낮추어 LLL의 조건을 만족시킨다. 결과적으로, 무한히 긴 문자열을 단계별로 확장하면서도 전역적인 복잡도와 패턴 회피 특성을 동시에 보장한다.

이와 같이 Kolmogorov 복잡도와 Lovász 지역 보조정리라는 두 강력한 도구를 결합함으로써, 임계 지수와 근사 거듭제곱 회피라는 두 클래식 문제를 하나의 통합 프레임워크 안에서 해결한다는 점이 본 논문의 가장 큰 공헌이라 할 수 있다.

**