해시 특성을 이용한 고정률 보편 코딩 정리

본 논문은 (α,β)‑해시 특성을 중심으로 고정률 보편 코딩 이론을 전개한다. 서론에서는 해시 특성이 손실없는 소스 코딩, 손실 코딩, Slepian‑Wolf, Gel’fand‑Pinsker 등 다양한 정보 이론 문제에 충분조건으로 작용한다는 기존 연구를 소개한다. 그러나 기존 연구는 코드 설계 시 소스·채널 분포를 알고 있어야 하는 제한이 있었으며, 본 연구는 이를 해시 특성만으로 대체한다는 목표를 제시한다. 제2절에서는 기본 정의와 기호를 정리한다. 함수 A:Uⁿ→U, 그 이미지 Im A, 코사트 집합 C_A(c)=\{u:A u=c\} 등을 정의하고, 엔트로피·조건부 엔트로피·발산·상호정보 등을 표준 방식으로 소개한다. 최소 엔트로피 디코더 g_A(c)=arg min_{x′∈C_A(c)} H(x′) 와 최소 발산 인코더 g_{AB}(c,m)=arg min_{x′∈C_{AB}(c,m)} D(ν_{x′}‖μ_X) 를 각각 소스와 채널 코딩에 사용한다. 제3절에서는 (α,β)‑해시 특성을 공식화한다. (H1)‑(H4) 네 가지 조건을 통해, 임의의 두 집합 T,T′⊂Uⁿ에 대해 충돌 확률이 Im A에 비해 α,β에 의해 제한됨을 보인다. 두 예시를 들어 보편 해시 함수 집합(α=1,β=0)과 q진법 희소 행렬 집합(α_A,β_A) 를 제시한다. 특히 희소 행렬은 각 열에 τ번 비영(非零) 원소를 무작위로 삽입하는 방식으로 생성되며, 이 과정에서 Im A가 짝수 개 비영 원소를 갖는 경우와 일반 경우를 구분한다. 기존 연구(12‑Theorem 2)에서 이 집합이 (α_A,β_A)‑해시 특성을 만족함을 증명한다. 제4절에서는 고정률 손실없는 보편 소스 코딩을 다룬다. 인코더 ϕ(x)=A x, 디코더 ϕ⁻¹(c)=g_A(c) 로 정의하고, 오류 확률 Err_X(A)=Pr