실수계 콜모고로프 복잡도와 초월 차수의 놀라운 연결

초록

본 논문은 BSS(Blum‑Shub‑Smale) 기계 위에서 정의된 실수 버전 콜모고로프 복잡도 K_U(·)와 입력 벡터의 초월 차수(trdeg) 사이의 정확한 관계를 밝힌다. K_U는 상수‑자유 보편 기계 U₀에 대해 trdeg와 차이가 상수 1 이하이며, 이는 최적임을 보인다. 또한 K_U의 불계산성, 근사 가능성, BSS‑완전성 부재 등을 실수 대수학적 관점에서 증명하고, 무작위 실수 벡터가 거의 모두 압축 불가능함을 보여준다.

상세 분석

논문은 먼저 전통적인 이산 콜모고로프 복잡도 K_U(·)의 네 가지 핵심 성질(기계 독립성, 압축 불가능성, 불계산성, 알고리즘 분석 응용)을 실수 영역으로 옮기는 작업을 수행한다. 이를 위해 BSS 기계 모델을 상세히 정의하고, 실수 입력을 길이 n인 유한 시퀀스로 보는 방식으로 입력 크기를 측정한다. 핵심 정리인 Fact 7은 상수‑자유 보편 BSS 기계 U₀에 대해 모든 실수 벡터 ~x에 대해
 trdeg_Q(~x) ≤ K_U₀(~x) ≤ trdeg_Q(~x)+c
가 성립함을 보이며, 이후 c를 정확히 1로 낮출 수 있음을 증명한다. 이는 초월 차수가 바로 압축 가능한 최소 프로그램 길이와 일치한다는 강력한 결과이며, 초월 차수가 n인 임의의 n‑차원 실수 벡터는 K_U₀(~x)=n을 만족한다.

정리 12는 K_U의 세 변형(K^o, K^s, K^d)을 도입해 각각 출력, 반결정, 결정 역할을 하는 프로그램 길이를 정의하고, 이들 사이의 관계를 초월 차수와 연결한다. 특히 K^s와 K^d는 정확히 max{1, trdeg_Q(~z)(~x)}와 일치하고, K^o는 그보다 1 이하 차이만 존재한다. 이를 통해 “압축 불가능한 실수 문자열은 거의 전부”라는 사실을 정량적으로 뒷받침한다.

불계산성 측면에서는 전통적인 대각선 논증이 연속적인 실수 공간에서는 바로 적용되지 않음에 주목한다. 대신, BSS 기계가 반결정 가능한 언어는 기본 반대수집합의 가산 합으로 표현된다는 사실(Michaux 1990)을 이용해, K^o가 BSS 기계에 의해 계산될 수 없음을 보인다. 또한 K^o는 위에서 보인 상수 차이만큼 근사 가능함을 증명하고, 그러나 NP_R‑완전 문제와 같은 수준의 BSS‑완전성은 없다는 결론을 내린다.

마지막으로, 실수 상수 집합을 고정하고 프로그램 코드에 실수 상수를 압축하는 새로운 “compact BSS 모델”을 제안한다. 이 모델에서는 모든 이산 제어 정보를 첫 번째 실수 상수에 인코딩함으로써 프로그램 크기를 최소화하고, 전통적인 전처리(프리픽스) 문제를 회피한다. 결과적으로, 실수 콜모고로프 복잡도와 대수적 독립성 사이의 깊은 연관성을 명확히 밝히며, 실수 계산 이론과 대수기하학 사이의 교량을 놓는다.