대규모 상수 차원 코드의 최소 거리 보장을 위한 새로운 설계 기법

초록

**
본 논문은 상수 차원 서브스페이스 코드의 최소 거리 조건을 만족하면서 코드워드 수를 극대화하는 방법을 제시한다. 기존의 q‑아날로그 디자인 이론을 확장해 디오판틴 선형 방정식 시스템을 구성하고, 자동동형군과 Singer 사이클을 이용해 문제 규모를 크게 축소한다. 이를 통해 이전에 알려진 최적 코드보다 더 많은 코드워드를 갖는 새로운 상수 차원 코드를 다수 발견하고, 최적 코드표를 제공한다.

**

상세 분석

**
이 논문은 네트워크 코딩에서 서브스페이스 코드를 활용하려는 최근 연구 흐름에 발맞추어, 상수 차원 코드(constant dimension code, CDC)의 구성 문제를 ‘패킹 문제’라는 그래프 이론적 관점에서 재정의한다. 먼저 L(GF(q)^v) 라는 부분공간 격자 위에 정의된 서브스페이스 거리 d_S(V,W)=dim(V+W)−dim(V∩W)=dim(V)+dim(W)−2dim(V∩W)를 이용해 최소 거리 D_S(C)를 정의하고, 주어진 거리 d에 대해 가능한 최대 코드워드 수 m을 찾는 최적화 문제(P1)를 제시한다.

핵심 아이디어는 이 문제를 ‘디오판틴(정수) 선형 시스템’으로 변환하는 것이다. k 차원의 서브스페이스 집합 {V_i}가 최소 거리 2d를 만족하려면, (k−d+1) 차원의 부분공간이 두 개 이상의 k‑공간에 동시에 포함되지 않아야 한다. 이를 행렬 M (행: (k−d+1)‑공간, 열: k‑공간) 로 표현하고, 0/1 벡터 x가 Mx ≤ 1, Σx=m을 만족하면 원하는 CDC가 존재한다는 정리를 증명한다. 이 접근법은 기존 q‑아날로그 Steiner 시스템을 찾는 방정식(Mx=1)과 직접적인 일반화 관계에 있다.

하지만 M의 크기는 Gaussian 계수 (\binom{v}{k}_q) 로 급격히 증가해 실용적인 계산이 불가능해진다. 이를 해결하기 위해 자동동형군 G⊂GL(v,q)를 미리 지정하고, G의 궤도(orbit) 위에서 변수와 제약을 집계한다. 즉, 동일 궤도에 속하는 k‑공간은 하나의 변수로, (k−d+1)‑공간의 궤도는 하나의 제약식으로 축소한다. 이렇게 축소된 행렬 M_G는 훨씬 작은 차원을 가지며, 정수선형계획법(ILP)이나 LLL 기반 휴리스틱을 이용해 해를 탐색한다.

특히 Singer 사이클을 이용한 특별한 경우를 상세히 다룬다. Singer 군은 1‑차원 부분공간에 대해 전이 작용을 하며, 그 궤도 구조를 이용하면 각 k‑공간을 ‘숫자 집합’으로 코딩할 수 있다. 이때 두 숫자 사이의 모듈러 거리 분포 D_U를 정의하고, 같은 궤도 내 모든 k‑공간은 동일한 D_U를 갖는다. Lemma 1에 따르면, D_U에 중복된 거리가 없을 경우 해당 궤도는 최소 거리 2(k−1)를 만족하는 코드가 된다. 따라서 거리 분포를 설계함으로써 자동동형군 없이도 대규모 CDC를 효율적으로 구성할 수 있다.

실험에서는 GF(2)^7에서 k=3, 최소 거리 4인 코드를 구성했으며, 자동동형군 G를 이용해 567개의 변수와 129개의 제약식으로 문제를 축소했다. ILP 솔버 CPLEX를 적용해 304개의 코드워드를 얻었으며, 이는 기존에 알려진 289·294 코드보다 현저히 큰 규모이다. 또한, Singer 사이클 기반의 구성법을 활용해 v=5, k=2, q=2인 경우에도 최적에 가까운 코드 집합을 얻었다.

결과적으로, 이 논문은 (1) 디오판틴 시스템을 통한 CDC 존재 조건의 일반화, (2) 자동동형군을 이용한 문제 차원 축소, (3) Singer 사이클을 활용한 구조적 설계라는 세 가지 혁신적 방법을 제시함으로써, 기존 설계 기법이 도달하지 못했던 코드 규모를 실현하였다. 또한, 새로운 최적 코드표를 제공함으로써 향후 네트워크 코딩 및 q‑아날로그 디자인 연구에 중요한 기준점을 제공한다.

**