17길이 6거리 6무게 이진코드 새로운 하한

초록

저자들은 길이 17, 최소 거리 6, 상수 무게 6인 이진 코드에서 113개의 코드워드를 구성함으로써 기존 하한 112를 넘어서는 새로운 하한 A(17,6,6) ≥ 113을 제시한다.

상세 분석

이 논문은 조합 부호 이론에서 오랫동안 알려진 함수 A(n,d,w)의 정확한 값을 좁히는 데 기여한다. A(n,d,w)는 길이 n, 최소 해밍 거리 d, 그리고 모든 코드워드가 동일한 무게 w를 갖는 이진 코드의 최대 가능한 코드워드 수를 의미한다. 기존에 알려진 가장 좋은 하한은 Nordstrom‑Robinson 코드 N₁₆에서 무게 6인 부분집합을 취해 A(16,6,6) ≥ 112를 얻은 것이었다. N₁₆은 길이 16, 최소 거리 6, 전체 코드워드 수 256을 갖는 비선형 코드이며, 그 가중치 열거식은 1 + 112 x⁶ + 30 x⁸ + 112 x¹⁰ + x¹⁶이다. 따라서 무게 6인 112개의 코드워드만을 추출하면 상수 무게 코드가 된다. A(17,6,6)는 A(16,6,6)보다 작을 수 없으므로 기존 하한은 112였다.

저자들은 이 한계를 깨기 위해 세 가지 알고리즘적 기법을 결합한다. 첫 번째는 시뮬레이티드 어닐링(Simulated Annealing)으로, 무작위 초기 해를 점차적으로 개선하면서 거리 제약을 만족하는 무게 6 코드워드 집합을 탐색한다. 두 번째는 길이 감소 기법(Length‑Reduction)으로, 기존의 긴 코드(예: N₁₆)를 부분적으로 삭제하거나 좌표를 압축해 길이 17에 맞는 구조를 만든다. 세 번째는 지역 최적화(Local Optimization) 단계로, 현재 집합에서 하나의 코드워드를 교체하거나 추가함으로써 전체 코드워드 수를 최대화한다. 이러한 절차를 반복하면서 자동화된 탐색이 진행되었으며, 최종적으로 113개의 코드워드를 얻었다.

흥미로운 점은 새 코드 C가 비자명한 대칭성을 전혀 갖지 않는다는 것이다. 즉, 자동군(automorphism group)이 자명(trivial)하므로, 구조적 특성을 이용한 간단한 확장은 불가능하다. 이는 무게 6인 코드워드들의 지원 집합(support set)이 매우 다양하고, 서로 겹치는 패턴이 복잡함을 의미한다. 논문에서는 모든 113개의 지원 집합을 표 형태로 제시했으며, 각 지원 집합은 6개의 인덱스로 구성된다. 이들 사이의 최소 교집합 크기가 0 또는 1임을 확인함으로써 최소 거리 6이 유지됨을 보였다.

결과적으로 A(17,6,6) ≥ 113이라는 새로운 하한은 기존 기록을 1만큼 상회한다. 비록 1개의 향상에 불과해 보일 수 있으나, 상수 무게 부호의 최적값을 찾는 문제는 일반적으로 매우 조밀한 탐색 공간을 갖기 때문에 작은 개선도 중요한 의미를 가진다. 또한, 시뮬레이티드 어닐링과 길이 감소, 지역 최적화를 결합한 방법론은 다른 (n,d,w) 조합에 대해서도 적용 가능성이 높으며, 향후 더 큰 개선을 기대하게 만든다.