카키야 집합과 조건부 콜모고로프 복잡성의 정보이론적 연결

이 논문은 “섬유화된 기하학적 집합”이라는 새로운 프레임워크를 도입하여, 디코더가 섬유 라벨이라는 부수 정보를 가졌을 때 남는 설명 길이(즉, 조건부 콜모고로프 복잡도)가 어떻게 변하는지를 체계적으로 분석한다. **1. 배경 및 동기** 정보이론에서 Slepian–Wolf, Wyner–Ziv 등은 소스와 부수 정보 사이의 상관관계를 이용해 전송률을 낮출 수 있음을 보여준다. 저자는 이를 기하학적 상황에 적용하고자 한다. 점 x∈ℝⁿ을 섬유 라벨 z와 섬유 내부 좌표 u의 함수 ψ(z,u)로 표현하고, 디코더가 z에 대한 완전한 정보를 가지고 있을 때 K(x↾r | z↾r) — 즉, 남은 설명 길이가 얼마나 되는지를 묻는다. **2. 정규 섬유화 정의** 정규 섬유화는 세 가지 핵심 조건을 만족한다. - **효과적인 양측 리프시츠**: 상수 L₁, L₂가 존재하고, 이들은 O(log r) 비트 안에 기술 가능하며, ψ가 양쪽에서 리프시츠를 유지한다. - **식별 가능성**: ψ가 Z×U에 대해 전단사이므로 각 점은 유일한 라벨 z와 좌표 u를 갖는다. - **계산 가능성**: ψ와 구성 함수 a, φ가 유한 시간 내에 근사값을 출력한다(즉, computable modulus of continuity). **3. 핵심 정리 – Proposition 1** 위 조건 하에서, 모든 x=ψ(z,u) 에 대해 \