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

본 논문은 Kolmogorov 복잡도 이론을 실수 영역으로 확장한 연구로, BSS(Blum‑Shub‑Smale) 기계라는 실수‑RAM 모델을 기반으로 한다. 서론에서는 이산 컴퓨팅에서의 Kolmogorov 복잡도 K_U(·)가 갖는 네 가지 기본 성질(기계 독립성, 압축 불가능성, 불계산성, 알고리즘 분석 응용)을 소개하고, 이를 실수 버전으로 옮기기 위한 배경을 제시한다. BSS 기계의 정의를 상세히 제시하며, 입력을 유한 실수 시퀀스 R^* 로 보고, 프로그램 길이는 실수 시퀀스의 크기(size)로 측정한다. 1. **실수 Kolmogorov 복잡도 정의** 보편 BSS 기계 U와 입력 ~x∈R^*에 대해 K_U(~x) = 최소 size(~p) such that U(~p) on empty input outputs ~x and halts. 이 정의는 이산 경우와 구조적으로 동일하지만, 실수 상수와 연산이 허용된다는 점에서 차이가 있다. 2. **초월 차수와 복잡도의 정확한 관계** Montana‑Pardo(1998)의 초기 결과(Fact 7)를 바탕으로, 상수‑자유 보편 기계 U₀에 대해 trdeg_Q(~x) ≤ K_U₀(~x) ≤ trdeg_Q(~x) + c 가 성립함을 증명한다. 이후 논문은 c를 정확히 1로 낮출 수 있음을 보이며, 이는 최적임을 논증한다. 즉, 입력 벡터의 초월 차수가 바로 프로그램 길이와 일치한다는 강력한 결과가 도출된다. 3. **다양한 복잡도 변형** 정의 11에서 출력 전용(K^o), 반결정(K^s), 결정(K^d)용 프로그램 길이를 각각 정의하고, 이들 사이의 관계를 초월 차수와 연결한다. 정리 12는 - K^s_z(~x) = K^d_z(~x) = max{1, trdeg_Q(z)(~x)} - max{1, trdeg_Q(z)(~x)} ≤ K^o_z(~x) ≤ trdeg_Q(z)(~x) + 1 - 만약 Q(z,~x) 가 Q(z) 위에서 순수 초월이면 K^o_z(~x) = trdeg_Q(z)(~x) 를 보인다. 이는 압축 불가능한 실수 문자열이 거의 전부이며, 무작위 실수 벡터는 거의 항상 최대 복잡도를 갖는다는 사실을 정량화한다. 4. **불계산성 및 근사 가능성** 전통적인 대각선 논증이 실수 연속성 때문에 바로 적용되지 않음을 지적하고, 대신 BSS 기계가 반결정 가능한 언어는 기본 반대수집합의 가산 합으로 표현된다는 Michaux(1990)의 결과를 활용한다. 이를 통해 K^o가 BSS 기계에 의해 계산될 수 없음을 증명한다(불계산성). 또한 K^o는 위의 상수 차이만큼 위에서 아래로 근사 가능함을 보이며, 이는 이산 경우와 유사한 근사 가능성을 제공한다. 5. **BSS‑완전성 부재** K^o가 NP_R‑완전 문제와 같은 수준의 BSS‑완전성을 갖지 않음을 증명한다. 즉, K^o는 어떤 BSS 기계에 의해 모든 언어를 환원할 수 없는 함수임을 보인다. 이는 Kolmogorov 복잡도가 자체적으로 복잡도 클래스 사이의 경계를 측정하는 도구이지만, 그 자체가 완전 문제는 아니라는 점을 강조한다. 6. **Compact BSS 모델** 새로운 모델에서는 보편 기계 U_z가 고정된 실수 상수 집합 z₁,…,z_D 를 갖고, 프로그램 코드에 실수 상수를 압축한다. 이때 제어 흐름은 순수 이산 객체이며, 첫 번째 실수 상수에 모든 이산 정보를 인코딩함으로써 프로그램 크기를 최소화한다. 이 접근법은 전통적인 프리픽스 복잡도 문제를 회피하고, K_z(~x,~y) ≤ K_z(~x)+K_z(~y) 와 같은 부등식을 자연스럽게 만족한다. 또한, 실수 → 실수 전단사 함수가 BSS‑계산 가능하지 않다는 사실을 이용해, BSS‑계산 가능한 함수가 전단사일 수 없음을 보이는 관찰(Observation 28)을 제시한다. 7. **예시와 응용** - e^{√2}, e^{√3}, …, e^{√p_n} 와 같은 벡터에 대해 K_U₀ = n을 얻는다. - (t, √2) 쌍에 대해 t가 대수적이면 K=1, 초월이면 K=2임을 보인다. 이러한 예시는 초월 차수와 복잡도가 정확히 일치함을 실증한다. 또한, 실수 다항식의 알게브라적 복잡도 하한을 Kolmogorov 복잡도 관점에서 재증명한다. 결론적으로, 논문은 실수 Kolmogorov 복잡도가 초월 차수와 거의 동일하게 동작함을 보이며, 압축 불가능성, 불계산성, 근사 가능성, 비완전성 등 이산 경우와 유사한 핵심 특성을 실수 영역에서도 확보한다. 이는 실수 계산 이론과 대수기하학 사이의 깊은 연관성을 밝히는 동시에, 실수 알고리즘 분석에 새로운 도구를 제공한다.