의존성과 독립성 문자열의 크기 추정

초록

이 논문은 고정된 문자열 x에 대해 C(y)−C(y|x)≥α 를 만족하는 문자열 y들의 집합 크기와, 문자열들 사이에 C(x_i)−C(x_i|x_j)≤α 를 만족하는 쌍별 α‑독립 집합, 그리고 모든 순열에 대해 C(x_{π(1)}…x_{π(t)})≥∑_{i}C(x_i)−α 를 만족하는 상호 α‑독립 튜플의 가능한 최대 크기를 콜모고로프 복잡도 관점에서 상하한을 제시한다.

상세 분석

논문은 먼저 의존성 개념을 Kolmogorov 복잡도 차이로 정의한다. 문자열 y가 x에 대해 α‑dependency를 가진다는 것은 y를 x가 주어졌을 때 압축할 수 있는 정보량이 최소 α만큼 감소한다는 의미이며, 이는 C(y)−C(y|x)≥α 로 수식화된다. 이 정의를 이용해 고정된 x에 대해 “의존도가 정확히 α인” 문자열들의 수를 추정한다. 저자는 일반적인 압축 가능성 원리를 적용해, 복잡도 C(x)=k인 경우, C(y)≈n인 길이 n의 문자열 중 C(y|x)≤n−α 인 것들의 비율이 약 2^{−α}에 수렴함을 보인다. 따라서 전체 2^{n}개의 문자열 중 약 2^{n−α}개가 α‑dependency를 만족한다는 하한을 얻는다. 동시에, C(y|x)가 너무 작아지는 경우는 복잡도 제한에 의해 불가능하므로, 상한도 2^{n−α+O(log α)} 로 잡힌다.

다음으로 쌍별 α‑independent 집합을 다룬다. 정의에 따르면, 임의의 서로 다른 i, j에 대해 C(x_i)−C(x_i|x_j)≤α 가 성립한다. 이는 각 문자열이 다른 문자열에 의해 크게 압축되지 않음을 의미한다. 저자는 무작위 문자열을 선택하면 대부분이 서로 독립적임을 보이기 위해, 무작위 선택된 t개의 문자열이 쌍별 α‑independent 를 만족할 확률을 분석한다. 이때 t가 2^{α/2} 정도까지는 거의 확실히 만족하지만, t가 2^{α}를 초과하면 충돌 확률이 급격히 증가한다는 결과를 얻는다. 구체적으로, t≤2^{α/2−O(1)} 일 때는 존재성을 보장하고, t≥2^{α+O(1)} 일 때는 어떠한 집합도 쌍별 α‑independent 를 만족할 수 없다는 상한을 제시한다.

마지막으로 상호 α‑independent 튜플에 대한 결과를 제시한다. 여기서는 모든 순열에 대해 전체 복합 문자열의 복잡도가 개별 복잡도 합에서 α만큼 감소하지 않아야 한다는 강한 조건을 부과한다. 저자는 정보 이론적 부등식과 복합 문자열의 복잡도 합산 정리를 결합해, t개의 문자열이 상호 α‑independent 가 되려면 t≤2^{α/3−O(1)} 정도로 제한된다는 상한을 도출한다. 또한, 무작위 선택을 통해 t≈2^{α/3−O(log α)} 정도까지는 실제로 존재함을 보이며, 이 범위가 거의 최적임을 논증한다. 전체적으로 논문은 Kolmogorov 복잡도와 조건부 복잡도 사이의 미세한 차이를 정량화함으로써, 의존성 및 독립성 문자열 집합의 크기에 대한 정확한 지수적 추정치를 제공한다.