선형 크기 최적 q진 상수 가중 및 상수 구성을 위한 새로운 구성법

초록

이 논문은 가중치 w와 거리 d=2w‑1을 갖는 q진 상수 가중·상수 구성 코드가 선형 크기를 가질 수 있는 조건을 완전히 규명한다. 기존에 이 경우는 이진·삼진 코드에만 알려졌으나, 저자들은 차이 삼각 집합을 일반화한 새로운 차이 구조와 준순환(quasicyclic) 코드를 이용해 모든 q와 충분히 큰 길이에 대해 최적 코드를 구성한다. 또한 w≤6인 경우에도 대부분의 길이에 대해 최적 크기를 정확히 구한다. 이는 Etzion이 제기한 열린 문제를 해결한 결과이다.

상세 분석

본 연구는 상수 가중(constant‑weight) 코드와 상수 구성(constant‑composition) 코드라는 두 클래스를 통합적으로 다루면서, “선형 크기(linear size)”라는 중요한 규모 특성을 중심에 놓는다. 선형 크기란 코드의 길이 n에 비례하여 코드의 최대 가능한 크기 A_q(n,d,w)가 Θ(n) 형태로 성장한다는 의미이며, 이는 실용적인 통신·스토리지 시스템에서 효율적인 설계 기준이 된다. 기존 이론에 따르면, A_q(n,d,w) 가 선형 규모를 갖기 위한 필요충분조건은 거리 d가 최소 2w‑1 이상이어야 한다는 것이 알려져 있었다. 특히 d≥2w인 경우에는 단순히 거리 제한만 고려하면 최적 크기가 바로 n·(q‑1)/(w) 정도로 쉽게 구해진다. 그러나 경계값인 d=2w‑1에서는 복잡한 조합 구조가 개입해 정확한 크기와 구성법을 찾기가 어려웠다.

이전까지는 이진(b=2) 및 삼진(b=3) 코드에 대해서만 완전한 해답이 제시되었으며, 그 외의 q진 경우는 몇몇 특수한 파라미터에 한정된 결과만 존재했다. Etzion이 제기한 “모든 q와 충분히 큰 n에 대해 d=2w‑1인 최적 상수 가중·구성 코드를 구성할 수 있는가?”라는 질문은 아직 미해결 상태였다.

저자들은 차이 삼각 집합(difference triangle sets, DTS)의 개념을 확장하여 “일반화 차이 삼각 집합(generalized DTS)”을 정의한다. 전통적인 DTS는 서로 다른 두 원소의 차이 집합이 겹치지 않도록 배열하는 combinatorial design이며, 이는 비순환(quasicyclic) 구조와 결합될 때 코드의 거리와 가중을 동시에 제어할 수 있다. 일반화 DTS에서는 각 행에 대해 차이 집합을 다중 집합으로 허용하고, q진 알파벳의 각 기호에 대해 별도의 차이 패턴을 부여함으로써 q‑ary 환경에서도 동일한 비충돌 성질을 유지한다.

이러한 설계를 기반으로, 저자들은 길이 n이 충분히 클 때 (정확히는 n≥N(w,q)라는 임계값 이상) 다음과 같은 두 가지 핵심 정리를 증명한다. 첫째, 주어진 w와 d=2w‑1에 대해, 일반화 DTS를 이용해 만든 준순환 코드의 크기가 이론적 상한인 ⌊n·(q‑1)/(w)⌋와 정확히 일치한다는 것. 둘째, 이 코드는 상수 가중 코드와 상수 구성 코드 양쪽 모두에 적용 가능하므로, 두 클래스의 최적 크기가 동일하게 결정된다는 점이다.

특히 w≤6인 경우에 대해서는 작은 n에서도 일반화 DTS를 직접 구성할 수 있는 구체적인 알고리즘을 제시한다. 여기서는 두 개의 예외 경우(예: (w=5, q=4)와 (w=6, q=5) 등)만이 아직 완전한 해답을 얻지 못했으며, 이는 차이 집합의 존재 여부와 직접 연관된다.

이 논문의 기여는 다음과 같이 요약될 수 있다. ① 차이 삼각 집합을 q‑ary 환경에 맞게 일반화함으로써 기존 설계의 한계를 극복했다. ② 일반화 DTS와 준순환 구조를 결합해 d=2w‑1인 경우에도 선형 규모의 최적 코드를 체계적으로 구성했다. ③ Etzion이 제시한 열린 문제를 전면 해결했으며, 특히 w≤6에 대한 전 범위 결과를 제공했다. ④ 구성 방법이 알고리즘적으로 구현 가능하므로, 실제 통신·저장 시스템에서 바로 적용할 수 있는 실용적 가치를 갖는다.

이러한 결과는 조합 설계, 대수적 코딩 이론, 그리고 실제 시스템 설계 사이의 다리 역할을 하며, 향후 더 높은 w나 복합 제약(예: 다중 거리, 다중 가중) 상황에서도 유사한 일반화 차이 구조를 탐색하는 연구 방향을 제시한다.