삽입·삭제 채널을 위한 함수 복원 부호의 이론적 한계와 설계

초록

본 논문은 삽입·삭제(insdel) 채널에서 특정 함수값만을 복원하도록 설계된 함수‑복원 부호(FCB)의 최적 중복량을 연구한다. 함수‑복원 삽입 부호, 삭제 부호, 그리고 삽입·삭제 부호의 정의를 제시하고 이들 간의 동등성을 증명한다. 이후 불규칙(insdel‑distance) 부호와 거리 행렬을 도입해 하한·상한을 구하고, Gilbert‑Varshamov 및 Plotkin‑type 길이 한계를 도출한다. 마지막으로 VT 신드롬, 런 수, 최대 런 길이, 그리고 지역적으로 제한된 함수 등 여러 함수 클래스에 대해 구체적인 중복량 결과를 제공한다.

상세 분석

이 논문은 기존의 Hamming 기반 오류 정정 부호와 달리 삽입·삭제 오류가 발생하는 동기화 채널에 초점을 맞추었다. 먼저 함수‑복원 삽입 부호(FCI), 함수‑복원 삭제 부호(FCD), 그리고 함수‑복원 삽입·삭제 부호(FCIDC)의 세 가지 모델을 정의하고, 각각이 동일한 설계 목표를 갖는다는 동등성을 정리 1에서 증명한다. 핵심 아이디어는 “함수 복원”이라는 목표가 전체 메시지 복원보다 훨씬 낮은 중복을 요구한다는 점이며, 이를 정량화하기 위해 불규칙(insdel‑distance) 부호라는 새로운 구조를 도입한다.

불규칙 insdel‑distance 부호는 전통적인 최소 거리 부호와 달리 각 코드워드 쌍에 대해 서로 다른 거리 제한을 허용한다. 저자들은 이러한 부호를 거리 행렬 (I\in\mathbb{N}^{M\times M}) 로 표현하고, 행렬의 특성(예: 행·열 합)과 함수의 구조적 복잡도 사이의 관계를 수학적으로 연결한다. 이를 통해 최적 중복 (r^(f))와 불규칙 부호의 최소 길이 (n_{\min}) 사이에 (r^(f)=n_{\min}-k) (여기서 (k)는 원본 메시지 길이)라는 등식이 성립함을 보인다.

하한 측면에서는 Gilbert‑Varshamov 유형의 존재론적 증명을 사용해, 임의의 함수 (f)에 대해 (r^*(f)\ge \log_2\frac{|\mathcal{X}|}{A_{insdel}(t)}) 형태의 식을 얻는다. 여기서 (A_{insdel}(t))는 (t) 삽입·삭제 오류를 정정할 수 있는 최대 코드워드 수이며, 기존의 Hamming 거리 결과와 비교해 약 (2t) 배 정도의 여유가 있음을 확인한다.

상한은 Plotkin‑like 부등식을 활용해, 거리 행렬의 평균 행합이 일정 수준을 초과하면 코드 길이가 선형적으로 제한된다는 결과를 도출한다. 특히, 함수가 “locally bounded” 즉, 입력이 작은 변동을 보일 때 출력 변화가 제한되는 경우, 중복량이 (\Theta(\log n)) 수준으로 크게 감소함을 증명한다.

구체적인 함수 클래스에 대한 적용도 상세히 다룬다. VT 신드롬 함수는 기존 VT 코드와 직접적인 연관성을 가지며, 저자들은 기존 VT 코드의 삽입·삭제 정정 능력을 그대로 활용해 중복을 (r= \lceil \log_2 (n+1) \rceil) 로 유지한다. 런 수 함수와 최대 런 길이 함수는 문자열의 구간 구조에 의존하므로, 런 기반 거리 행렬을 설계해 각각 (r = O(\log n)) 와 (r = O(\log n)) 수준의 중복을 달성한다. 마지막으로 지역적으로 제한된 함수에 대해서는 함수의 민감도 (\Delta_f) 를 이용해 (r \ge \Delta_f \cdot \log_2 n) 형태의 하한을 얻고, 이를 만족하는 명시적 부호 구성을 제시한다.

전체적으로 논문은 삽입·삭제 채널에서 함수 복원을 위한 이론적 틀을 정립하고, 기존 Hamming 기반 결과와 비교해 중복 효율성을 크게 향상시킬 수 있음을 보인다. 또한 불규칙 거리 부호라는 새로운 개념을 도입함으로써, 다양한 함수에 대해 맞춤형 부호 설계가 가능함을 증명한다.