아핀 직선 배열로 만든 선형 코드와 새로운 디코딩 알고리즘

초록

본 논문은 유한체 위에서 일반 위치에 놓인 n개의 아핀 직선과 각 직선 위에 선택된 m개의 유리점을 이용해 차수 d 이하의 다항식 공간을 평가함으로써 (n·m) 길이의 선형 코드를 구성한다. 생성 행렬은 각 점의 (x, y) 좌표를 이용한 모노미얼 형태로 명시적으로 구할 수 있다. 코드 차원은 (d+2)(d+1)/2이며 최소 거리는 n(m−d) 혹은 m(n−d) 이상으로 추정된다. 또한 직선·점 배열에서 유도된 새로운 디코딩 절차를 제시해, 오류 개수가 최소 거리의 절반이 아니라 최소 거리 자체에 가까운 수준까지 복구 가능함을 보인다.

상세 분석

이 논문은 전통적인 대수기하학적 코드 구성 방식에서 영감을 받아, 복잡한 고차 곡선 대신 “아핀 직선의 배열”이라는 매우 단순한 기하학적 구조를 활용한다. n개의 직선 L₁,…,Lₙ이 일반 위치(general position)라 함은 어떠한 세 직선도 동시에 교차하지 않음을 의미한다. 각 직선 Lᵢ 위에 서로 다른 m개의 F_q-유리점 Pᵢ₁,…,Pᵢₘ을 잡고, 이들을 행렬 형태의 인덱스 집합 P={Pᵢⱼ} (i=1…n, j=1…m) 로 정한다.

다항식 공간 F_d는 차수가 ≤d 인 2변수 다항식들의 선형 부분공간이며, 차원은 δ=(d+2)(d+1)/2 로 계산된다. 평가 사상 e: F_d → F_q^{nm} 은 f ↦ (f(Pᵢⱼ)) 로 정의되고, 논문은 이 사상이 전사(injective)임을 증명한다. 핵심은 “효과적인 집합(effective set)”이라는 개념으로, 각 직선에서 (d+1)개의 점을 골라 만든 부분집합 Q⊂P에 대해 제한 사상 e_Q가 전단사임을 보이는 것이다. 이는 각 직선에 대한 일변량 다항식의 차수가 d 이하임을 이용한 귀납적 인수분해 논증으로 이루어진다.

전사성을 바탕으로 코드는 e(F_d)의 이미지이며, 생성 행렬 E는 각 점 Pᵢⱼ에 대해 1, x(Pᵢⱼ), y(Pᵢⱼ), …, x(Pᵢⱼ)^d, y(Pᵢⱼ)^d 로 구성된 (nm)×δ 행렬이다. 따라서 코드는