금지 문자열, 콜모고로프 복잡도와 거의 주기적 무한열의 조화

초록

길이가 n인 금지 문자열 집합 Fₙ이 2^{αn} (α<1) 이하로 제한될 때, 모든 n에 대해 금지 문자열을 포함하지 않는 무한 이진열 ω가 존재한다. 이를 콜모고로프 복잡도 관점에서 증명하고, 라소-로컬레마 기반의 전통적 증명과 비교한다. 또한 거의 주기적(Almost periodic)인 ω를 구성해 Levin과 Muchnik‑Semenov‑Ushakov 결과를 통합하고, 다차원 일반화까지 제시한다.

상세 분석

이 논문은 “금지 문자열”이라는 전형적인 조합론적 제약을 콜모고로프 복잡도 이론으로 옮겨 놓음으로써 새로운 증명 전략을 제시한다. 먼저 α<1인 상수와 함께, 각 길이 n에 대해 최대 2^{αn}개의 금지 문자열 집합 Fₙ을 고정한다. 목표는 모든 n에 대해 ω의 연속된 부분 문자열이 Fₙ에 속하지 않도록 하는 무한 이진열 ω의 존재를 보이는 것이다. 전통적으로는 라소-로컬레마(Lovász Local Lemma)를 이용해 “각 위치에서 금지 문자열이 나타날 확률이 충분히 작다”는 조건을 만족시키는 확률적 구성을 증명한다. 그러나 저자는 여기서 한 걸음 더 나아가, 무작위 이진열을 생성했을 때 그 부분 문자열들의 Kolmogorov 복잡도가 거의 최대(≈n)임을 이용한다. 구체적으로, 임의의 길이 n 문자열 x에 대해 K(x)≥n−c가 거의 모든 x에 대해 성립한다는 사실을 활용한다. 만약 ω에 금지 문자열이 포함된다면, 해당 부분 문자열은 Fₙ에 속하므로 복잡도 상한 K(x)≤αn+O(1) 를 갖는다. 이는 K(x)≥n−c와 모순이 되므로, 복잡도 관점에서 금지 문자열을 피하는 ω가 반드시 존재한다는 결론에 도달한다.

다음으로, 거의 주기적(Almost periodic)인 ω를 구성한다. 거의 주기성은 임의의 구간이 일정한 간격으로 반복되는 성질을 의미한다. 기존 연구인 Levin(1974)와 Muchnik‑Semenov‑Ushakov(2002)는 각각 “복잡도가 높은 무한열”과 “거의 주기적이면서도 복잡도가 높은 열”을 별도로 구축하였다. 본 논문은 두 결과를 하나의 구조 안에 통합한다. 구체적으로, 기본적인 무작위 열을 먼저 만든 뒤, 일정한 블록을 복제·삽입하는 과정을 통해 주기성을 부여한다. 이때 삽입되는 블록의 길이와 위치를 조절해 금지 문자열이 나타날 여지를 최소화하고, 복제 과정이 Kolmogorov 복잡도에 미치는 영향을 상수 수준으로 억제한다. 결과적으로, 거의 주기적이면서도 모든 n에 대해 Fₙ를 회피하는 ω가 존재함을 보인다.

마지막으로, 저자는 이 방법을 다차원(예: 2‑차원 격자)으로 일반화한다. 다차원 경우에는 “금지 패턴”이 n×n 정사각형 형태로 주어지며, 허용되는 패턴 수가 2^{αn²} 이하인 상황을 고려한다. 복잡도 기반 증명은 각 정사각형을 하나의 “문자열”로 보고 동일한 K‑복잡도 하한을 적용함으로써 그대로 확장된다. 라소-로컬레마 역시 의존도 그래프의 차수를 적절히 추정하면 다차원에서도 적용 가능함을 보여준다. 전체적으로, 복잡도 관점과 전통적 확률론적 접근이 상호 보완적으로 작용함을 입증하고, 거의 주기적 구조까지 포괄하는 강력한 존재론적 결과를 제공한다.