최소거리 그래프만으로 확장 완전 1오류정정 코드 복원

초록

본 논문은 확장 완전 이진 1오류정정 코드(extended perfect binary 1‑error‑correcting code)를 그 코드의 최소거리 그래프(minimum distance graph)만으로 완전 복원할 수 있음을 보인다. 그래프가 동형이면 해당 코드는 동등(equivalent)하며, 그래프의 자동군은 코드의 자동군과 동형임을 증명한다.

상세 분석

논문은 먼저 이진 코드와 최소거리 그래프의 정의를 명확히 하고, “약한 등거리(weak isometry)”와 “등거리(isometry)” 개념을 구분한다. 기존 연구에서 약한 등거리인 1‑완전 코드는 등거리이며, 등거리인 경우에는 동등함이 알려져 있었지만, 확장 1‑완전 코드에 대해서는 길이 n ≥ 256에서만 결과가 존재했다. 저자들은 이 한계를 극복하기 위해 최소거리 그래프에서 거리 4인 코드워드 쌍을 식별하고, 거리 6인 쌍도 그래프 구조만으로 구분할 수 있음을 보인다(정리 1). 이를 바탕으로 모든 코드워드 간의 해밍 거리를 복원함으로써 약한 등거리 코드는 실제 등거리임을 증명한다(정리 2).

핵심 기술은 스티어너 사분면계(SQS)와 그 블록 그래프의 최대 클리크를 이용하는 방법이다. 레마 2와 3에서, v ≥ 16인 SQS(v)의 블록 그래프에서 “점 하나가 모든 블록에 포함되지 않는” 클리크의 크기 상한을 정하고, 최대 클리크가 바로 한 점에 대응한다는 것을 보인다. 따라서 최소거리 그래프에서 각 코드워드의 이웃 SQS를 복원하고, 그 SQS의 블록 그래프에서 최대 클리크를 찾아 좌표를 식별한다. 이 과정을 모든 코드워드에 반복하면, 무게 ≤ 4인 코드워드와 무게 6인 코드워드까지 완전히 복원할 수 있다(정리 3).

그 다음 1‑완전 코드를 다루기 위해, 기존 1‑완전 코드에 패리티 비트를 추가해 확장 코드를 만든 뒤, 새로 만든 거리 4의 에지를 그래프에 삽입한다(레마 4). 이렇게 하면 1‑완전 코드의 최소거리 그래프는 확장 코드의 그래프와 동형이 되며, 앞서 증명한 복원 절차를 그대로 적용해 원래 코드를 복원한다(정리 4).

마지막으로 자동군 동형성에 대해 논한다. 그래프의 자동군은 코드의 자동군에 자연스럽게 대응하고, 정리 5와 6을 통해 n ≥ 16(확장) 및 n ≥ 15(비확장)에서 두 자동군이 서로 동형임을 보인다. 이는 코드의 구조적 대칭성을 그래프 이론으로 완전히 포착한다는 의미다.

전체적으로 논문은 최소거리 그래프라는 매우 제한된 정보만으로도 완전한 코드 복원과 동형성 판별이 가능함을 보여주며, 기존의 복잡한 등가성 검사 방법을 그래프 동형성 검사로 대체할 수 있음을 시사한다.