상수 구성 코드의 PBD 폐쇄와 최적 길이 결정

초록

본 논문은 일정 거리와 크기 조건을 만족하는 상수 구성 코드들의 길이 집합이 PBD(부분 설계 블록) 폐쇄성을 가진다는 새로운 결과를 제시한다. 이 폐쇄성을 이용하면 하나의 최적 코드를 알면 무한히 많은 파라미터군에 대한 최적 코드 크기를 바로 도출할 수 있다. 특히 거리 4, 무게 3인 코드에 대해 충분히 큰 길이에서는 최적 크기가 완전히 규명되며, 이전에 홀수 길이에 대해 미해결이던 문제도 7과 11을 제외하고 해결한다.

상세 분석

상수 구성 코드(constant‑composition code, CCC)는 각 코드워드가 동일한 알파벳 빈도 분포를 가지는 특수한 선형 코드 계열로, 통신 및 저장 시스템에서 전력 균형과 오류 정정 효율을 동시에 만족시키는 장점이 있다. 이러한 CCC의 설계에서 가장 핵심적인 두 파라미터는 최소 해밍 거리 d와 코드워드의 무게(즉, 각 심볼이 나타나는 횟수) w이며, 주어진 (n, d, w) 에 대해 가능한 최대 코드 크기 A_q(n,d,w) 를 구하는 것이 전통적인 문제이다. 기존 연구에서는 작은 n에 대해서는 완전 탐색이나 조합적 구성을 통해 최적값을 얻었지만, n이 커질수록 일반적인 상한·하한 기법만으로는 정확한 값을 파악하기 어려웠다.

이 논문은 “부분 설계 블록 설계(Partial Balanced Incomplete Block Design, PBD)” 이론을 CCC에 적용함으로써 새로운 폐쇄성 결과를 도출한다. PBD‑closure란, 특정 정수 집합 K에 대해, K에 속하는 모든 정수 n에 대해 존재하는 설계가 있다면, K가 어떤 연산(예: 합, 차 등)에 대해 닫혀 있음을 의미한다. 저자들은 거리 d와 크기 M이 특정 관계를 만족하는 CCC 집합 C가 존재하면, 그 길이 집합 L(C) 가 PBD‑closure 를 가진다는 정리를 증명한다. 핵심 아이디어는 코드워드들을 블록으로 해석하고, 블록 간의 교차 구조를 PBD의 균형 조건과 일치시키는 것이다. 이를 통해 하나의 “시드 코드”(예: n₀=7 혹은 11인 최적 코드)만 확보하면, PBD‑construction을 반복 적용해 n₀의 선형 조합 형태인 무한히 많은 n에 대해 동일한 (d, w) 조건을 만족하는 최적 코드를 생성할 수 있다.

특히 논문은 거리 4, 무게 3인 CCC에 초점을 맞춘다. 이 경우 기존에는 짝수 길이에 대해서는 라틴 사각형(Latin square)이나 완전 그래프 분해를 이용해 최적 크기 ⌊n/2⌋·⌊(n‑1)/2⌋ 를 얻을 수 있었지만, 홀수 n에 대해서는 일반적인 구성법이 부재했다. 저자들은 n=7, 11에서 직접 최적 코드를 구성하고, 이를 PBD‑closure 정리의 시드로 사용한다. 그 결과, n≥31인 모든 홀수 길이에 대해 동일한 크기 공식이 성립함을 보인다. 즉, 충분히 큰 홀수 n에 대해서도 A_q(n,4,3)=⌊n/2⌋·⌊(n‑1)/2⌋ 가 최적임을 증명한다.

이러한 결과는 두 가지 측면에서 의미가 크다. 첫째, PBD‑closure 라는 추상적인 설계 이론이 실제 코딩 문제에 직접 적용될 수 있음을 보여준다. 둘째, 하나의 최적 예시만으로 무한히 많은 파라미터에 대한 최적값을 도출할 수 있다는 “전파 효과”가 실현되어, 향후 다른 (d, w) 조합에 대해서도 유사한 접근법이 가능함을 시사한다. 또한, 논문은 기존에 알려진 상한(예: Plotkin bound, Johnson bound)과 하한을 정밀히 비교하여, 제시된 구성법이 실제 최적임을 엄격히 검증한다.

마지막으로, 저자들은 PBD‑closure 를 이용한 추가적인 무한 가족(예: 거리 5, 무게 4인 경우)도 제시하고, 향후 연구 방향으로는 비균등 구성, 다중 알파벳 확장, 그리고 비정규 PBD 구조를 활용한 고차원 코드 설계 등을 제안한다. 전체적으로 이 논문은 조합 설계와 코딩 이론 사이의 교차점을 새롭게 정의하고, 실용적인 코드 구축 방법론을 제공함으로써 상수 구성 코드 연구에 중요한 전환점을 마련한다.