대수곡면 위 2‑형식 잔여와 오류 정정 코드의 새로운 접근

이 논문은 알랭 쿠브레(A. Couvreur)의 박사학위 논문으로, 대수곡면 위의 2‑형식 잔여 이론을 체계적으로 구축하고 이를 오류 정정 코드에 적용하는 두 단계의 연구를 수행한다. 첫 번째 장에서는 잔여의 기본 개념을 도입한다. 곡면 S 위의 유리 2‑형식 ω를 (u, v) 로 표현된 라우렌트 급수로 전개하고, 각 차원에 대한 잔여 연산자를 정의한다(I.3). 이어서 라우렌트 전개의 수렴성 문제와 완비화(complete) 개념을 다루며, 확대에 대한 잔여의 불변성을 증명한다(I.6.1). 특이점 집합과 잔여의 관계를 분석하고, 잔여의 합법칙과 교환법칙을 정리한다(I.6.2, I.7). 이러한 기초 위에, 전역적인 잔여 정의(I.5)를 제시하고, 기하학적 프레임워크(Δ‑유전, Δ‑유전성)를 도입해 곡면 전반에 적용 가능한 일반화된 이론을 완성한다. 두 번째 장에서는 이론을 코딩에 적용한다. 먼저 전통적인 함수코드 C_L(D,G) 와 미분코드 C_Ω(D,G) 를 곡면 버전으로 정의한다(II.2). 여기서 D는 F_q‑점들의 유한 집합, G는 효과적인 디버전스(또는 선형 결합)이다. 곡면에서는 함수코드와 미분코드 사이의 직교 관계가 일반적으로 성립하지 않음을 보이며, 구체적인 반례(예: 평면, 곱곡면) 를 제시한다(II.5). 그 후, 직교 보완 코드 C_L(D,G)⊥ 를 여러 미분코드의 합으로 표현할 수 있는 충분조건을 제시한다. 핵심은 Δ‑유전(divisor) 가 존재하고, 그 Δ‑유전성이 베르티니‑일반성(Δ‑유전성) 을 만족할 때이다(III). 이 조건 하에서, C_L(D,G)⊥ 은 Δ‑유전성에 대응하는 미분코드들의 직합으로 구성될 수 있음을 정리한다(III.4). 또한, 베르티니 정리의 고차원 일반화 문제를 코딩 이론에 연결한다. 베르티니‑일반성은 곡면 위의 일반적인 초평면 절단이 충분히 매끄럽고, Δ‑유전과 교차하지 않음을 보장한다. 이를 통해 코드의 최소 거리 하한을 개선하는 새로운 방법을 제시한다(III.6). 네 번째 장에서는 이러한 이론을 실제 코드 설계에 적용한다. 저차원 곡면(예: 사면체, 사차원 사면체) 위에서 LDPC 코드의 파리티 검증 행렬을 미분코드의 저중량 검증식으로 구성한다(V). 구체적으로, 그래프 이론(탐색 그래프, Tanner 그래프)과 미니‑서머 디코딩 알고리즘을 도입하고, 마그마(MAGMA) 프로그램을 이용해 파라미터(길이, 차원, 최소 거리)를 계산한다(V.4). 실험 결과, 전통적인 함수코드 대비 동일한 길이·차원에서 더 큰 최소 거리를 얻을 수 있음을 확인한다. 마지막으로, 부록에서는 라우렌트 급수 이론, k((u))