완전 코드에 임베딩하는 방법

초록

이 논문은 임의의 이진 1‑오류 정정 코드를 적절히 길이를 늘린 뒤, 길이가 2^m − 1인 1‑완전 코드(해밍 코드)의 한 부분집합으로 삽입할 수 있음을 증명한다. 구성 방법은 기존 코드의 검증 행렬에 추가 열을 부착하고, 필요한 경우 좌표를 재배열하는 방식으로 이루어진다. 결과적으로 모든 1‑오류 정정 코드는 어떤 완전 코드 안에 포함될 수 있음을 보인다.

상세 분석

논문은 먼저 이진 1‑오류 정정 코드와 1‑완전 코드(해밍 코드)의 정의를 명확히 정리한다. 1‑오류 정정 코드는 최소 거리 d ≥ 3을 만족하는 코드이며, 1‑완전 코드는 길이 n = 2^m − 1, 차원 k = 2^m − m − 1, 최소 거리 3을 갖는 선형 코드로, 모든 n‑비트 문자열을 정확히 하나의 코드워드와 거리 ≤ 1인 구역에 배정한다는 완전성 특성을 가진다. 기존 연구에서는 완전 코드가 존재하는 길이가 제한적이라는 점을 강조했지만, 임베딩 문제에 대해서는 충분히 일반적인 해법이 제시되지 않았다.

핵심 아이디어는 임의의 1‑오류 정정 코드 C ⊆ 𝔽₂^ℓ에 대해, ℓ보다 큰 정수 m 을 선택해 n = 2^m − 1을 만들고, C의 검증 행렬 H_C 에 적절한 열들을 추가해 n × (n − k) 형태의 행렬 H 을 구성한다는 것이다. 이때 추가되는 열들은 해밍 코드의 검증 행렬 H_Ham 에 포함된 열들 중에서, 기존 열들과 선형 독립성을 유지하면서도 전체 행렬이 해밍 코드의 검증 행렬과 동형이 되도록 선택한다. 구체적으로, H_C의 열 집합을 H_Ham의 일부 열 집합에 매핑하고, 남은 열들을 보완 열로 채워 넣어 전체가 완전 코드의 검증 행렬이 되게 만든다.

그 다음 단계는 좌표 재배열(permutation)이다. 추가된 열들에 대응되는 좌표를 적절히 순열함으로써, 원래 코드 C 의 모든 코드워드가 확장된 n‑비트 공간에서 해밍 코드의 한 코사인(coset) 안에 들어가도록 만든다. 이 과정에서 코드워드 사이의 거리 구조가 보존되는지 확인하기 위해, 각 코드워드에 대해 거리‑1 구역이 해밍 코드의 구역과 정확히 일치함을 증명한다.

논문은 또한 비선형 1‑오류 정정 코드에 대해서도 동일한 임베딩 절차가 적용 가능함을 보인다. 비선형 코드의 경우 검증 행렬이 존재하지 않지만, 대신 코드워드 집합을 직접 확장하고, 추가 좌표를 통해 거리‑1 구역을 완전 코드의 구역에 맞추는 방법을 제시한다. 이때 사용되는 추가 좌표는 각 코드워드에 대해 개별적으로 선택될 수 있지만, 전체 집합에 대해 일관된 선택 규칙을 적용해 전체 코드가 하나의 완전 코드에 포함되도록 만든다.

결과적으로, 논문은 “모든 이진 1‑오류 정정 코드는 어떤 1‑완전 코드에 포함될 수 있다”는 일반적인 정리를 증명한다. 이는 기존에 알려진 해밍 코드의 완전성 특성을 활용한 새로운 임베딩 기법이며, 코드 설계 및 확장에 있어 이론적 기반을 제공한다. 또한, 임베딩 과정이 다항식 시간 내에 수행될 수 있음을 보이며, 실제 구현 가능성도 제시한다.