벡터 번들을 활용한 새로운 대수기하 코드와 효율적 디코딩

본 논문은 대수기하(Algebraic‑Geometric, AG) 코드를 벡터 번들을 이용해 일반화하고, 그에 맞는 디코딩 알고리즘을 제시한다. 전통적인 AG 코드는 곡선 C 위의 선형 번들 O(D) (또는 그 전역 섹션 L(D)) 을 이용해 정의되며, 이는 평가점 P₁,…,P_n 에서 함수값을 추출해 F_qⁿ 에 매핑한다. 이러한 코드는 BCH·RS·Goppa 코드의 일반화이며, 싱글턴 결함이 곡선의 genus g 에 의해 제한된다. 그러나 선형 번들에만 의존하면 전송률이 제한되고, 다중 심볼을 동시에 전송하는 인터리브 방식이 필요하다. **1. 벡터 번들을 이용한 코드 정의** 저자는 임의의 계수 r 벡터 번들 E 을 도입한다. 각 평가점 P_i 에 대해 섬유 E_{P_i} 는 F_q‑벡터 공간 F_Q ( Q = q^r )와 동형이며, 전역 섹션 H⁰(C,E) 의 원소 f 를 평가하면 (f(P₁),…,f(P_n)) ∈ F_Qⁿ 을 얻는다. 이 코드는 일반적으로 F_Q‑선형이 아니지만, F_q‑선형 부분공간을 형성한다. 코드 길이는 n, 알파벳 크기는 Q, 차원은 k = log_Q|C| 이며, 전역 섹션 차원 h⁰(C,E) 에 의해 결정된다. **2. 안정성 조건과 파라미터 분석** 벡터 번들의 전역 섹션 구조를 제어하기 위해 ‘약한 안정성(weak stability)’을 도입한다. 정의에 따르면, 모든 라인 서브번들 L⊂E 에 대해 deg(L) ≤ μ(E) (μ는 슬로프 = deg(E)/rank(E)) 이어야 한다. 이 조건 하에 다음 정리를 얻는다: - 전역 섹션 f∈H⁰(C,E) 는 최대 ⌊μ⌋ 개의 점에서만 영이 된다. 따라서 평가 맵은 주입(injective)이며, 최소 거리 d ≥ n − ⌊μ⌋ 을 만족한다. - 리만‑로흐 정리로 h⁰(C,E) ≥ deg(E)+rank(E)(1−g) 이므로 차원 k ≥ μ+1−g 을 얻는다. - 결과적으로 싱글턴 결함 n−k+1−d 은 g 이하로 제한된다. 또한, E와 E* 가 모두 약하게 안정하고 μ>2g−2 이면 차원 k = μ+1−g 이 정확히 성립한다. **3. 디코딩 알고리즘** 디코딩은 Q‑ary 대칭 채널을 가정한다. 오류 수 ε 가 주어졌을 때, 파라미터 t (설계 정정 용량)와 보조 선형 번들 L (차수 l = t+g) 을 선택한다. 알고리즘은 두 단계로 진행된다. - **Step 1**: (v,w)∈H⁰(C,E⊗L)×H⁰(C,L) 쌍을 찾는다. 여기서 v(P_i)=y_i⊗w(P_i) 가 모든 i 에 대해 성립해야 한다. 존재하지 않으면 디코딩 실패. - **Step 2**: 찾은 (v,w) 가 v=f⊗w 형태인지 확인한다. 그렇다면 f∈H⁰(C,E) 가 원본 전송 코드워드이며, 이를 복원한다. 아니면 디코딩 실패. 정리 9는 ε ≤ t 및 ε+t ≤ n−μ−g 이면 위 알고리즘이 반드시 성공함을 증명한다. 여기서 설계 정정 용량 t* = ⌊(n−μ)/2⌋ 이며, 실제 정정 가능한 오류 수는 t*−g/2 까지이다. 이는 기존 인터리브 AG 코드가 제공하는 t* 보다 g/2 만큼 더 큰 정정 범위를 의미한다. 또한, 오류와 소실을 동시에 다루는 확장도 가능함을 언급한다. **4. 안정성 만족 벡터 번들 구성** 마지막 섹션에서는 실제 코드 설계에 필요한 안정성 조건을 만족하는 벡터 번들을 만드는 방법을 제시한다. 예를 들어, 직합 E=⊕_{i=1}^r O(D_i) 에서 각 D_i 가 동일한 슬로프를 갖도록 선택하거나, 텐서 곱 E⊗L 과 같은 연산을 통해 새로운 안정한 번들을 얻을 수 있다. 또한, 표준적인 안정성 이론(예: 미분 기하학적 접근)을 활용해 고유 번들을 구성하는 방법도 간략히 소개한다. **5. 결론** 벡터 번들을 이용한 AG 코드는 기존 코드보다 더 높은 전송률과 넓은 오류 정정 범위를 제공한다. 제시된 디코딩 알고리즘은 다항식 시간 내에 구현 가능하며, Q‑ary 대칭 채널에서 실용적인 성능을 보인다. 앞으로는 보다 일반적인 곡선·번들 조합, 복합 채널 모델, 그리고 실제 통신 시스템에의 적용을 위한 최적화 연구가 기대된다.