완전 다중파트 그래프의 원인자분해와 거리 제약 최적 코드

초록

본 논문은 $K_{n\times g}$(각 파트 크기 $g$, 파트 수 $n$)의 원인자 $F$가 $(g+1)$진 코드의 길이 $n$, 무게 2인 상수 가중치 코드를 만든다는 점을 이용한다. $F$가 특정 거리 제약을 만족하면 최소 거리 3의 최적 코드를 얻는다. 저자들은 이러한 거리 제약을 만족하는 원인자분해를 연구하고, $n\le g$인 경우 $g^{2}$개의 최대 서브그래프로 완전 분해함을 보였다. 또한 $gn$이 짝수이고 $n>g$일 때는 $g(n-1)$개의 거리‑3 원인자를 얻으며, $gn$이 홀수이면 전혀 불가능함을 증명한다.

상세 분석

이 논문은 그래프 이론, 설계 이론, 그리고 코딩 이론을 교차시켜 새로운 구조적 통찰을 제공한다. 먼저 $K_{n\times g}$의 한 원인자 $F$를 선택하면, 각 파트의 두 정점이 매칭되는 형태가 된다. 이 매칭을 $g+1$진 알파벳으로 인코딩하면, 길이 $n$, 무게 2인 코드워드가 생성된다. 여기서 “거리 제약”이라 함은, 어떤 두 코드워드가 동일 파트 내에서 겹치지 않도록 하는 조건이며, 이는 그래프 측면에서는 매칭된 두 정점 사이의 거리(즉, 파트 간 연결) 가 최소 3이어야 함을 의미한다. 이러한 제약을 만족하면 코드의 최소 해밍 거리 $d_{\min}=3$이 보장되고, 이는 주어진 알파벳 크기와 길이에서 이론적 상한에 도달하는 최적 코드가 된다.

저자들은 두 경우를 구분한다. 첫 번째는 $n\le g$인 경우이다. 여기서는 파트 수가 파트 크기보다 작거나 같으므로, 각 파트 내에서 충분히 많은 정점을 활용해 $g^{2}$개의 서로 다른 서브그래프를 구성할 수 있다. 각 서브그래프는 거리‑3 제약을 만족하는 최대 크기의 원인자 집합이며, 이들을 겹치지 않게 배치하면 전체 $K_{n\times g}$를 완전하게 분해한다. 이 결과는 $g^{2}$라는 정수값이 $n$과 $g$의 조합에 독립적이라는 점에서 특히 흥미롭다.

두 번째는 $n>g$이며 $gn$이 짝수인 경우이다. 이때는 파트 수가 파트 크기보다 많아지므로, 모든 정점을 균등하게 매칭하기가 어려워진다. 저자들은 $g(n-1)$개의 거리‑3 원인자를 구성하고, 남은 $n$개의 정점(각 파트당 하나씩)은 매칭이 불가능한 “갭”으로 남는다. 이 갭은 $g$에 비해 선형적으로 작아, 실용적인 코딩 응용에서는 무시할 수 있는 수준이다. 반대로 $gn$이 홀수이면 정점 수 자체가 짝수가 아니므로, 어떠한 거리‑3 원인자 분해도 존재하지 않음이 증명된다.

핵심적인 수학적 도구는 라틴 사각형, 순열 그룹, 그리고 완전 다중파트 그래프의 대칭성 이용이다. 특히 라틴 사각형을 이용한 구성법은 기존의 완전 그래프 $K_{v}$에 대한 원인자분해와 유사하지만, 파트 구조가 추가됨에 따라 새로운 제약식이 도출된다. 또한 저자들은 기존 문헌에서 다루어지지 않았던 “최대 서브그래프” 개념을 정의하고, 그 크기를 $g^{2}$ 혹은 $g(n-1)$으로 정확히 규정한다. 이는 코딩 이론에서 최소 거리 3을 만족하는 코드의 최대 크기를 구하는 문제와 직접적으로 대응한다.

결과적으로, 이 연구는 그래프 기반 코드 설계에 새로운 설계 원칙을 제공한다. 특히 대규모 통신 시스템이나 분산 저장소에서 파트별로 독립적인 채널을 할당하고, 서로 간에 최소 3비트 이상의 차이를 유지해야 할 때, 제시된 원인자분해 방법을 직접 적용할 수 있다. 또한 “갭” 문제에 대한 추가 연구가 진행된다면, 완전한 무결점 코드를 얻는 것이 가능해질 전망이다.