[논문 리뷰] Symbolic Hamburger-Noether expressions of plane curves and construction of AG codes

Antonio Campillo, José Ignacio Farrán|ArXiv.org|1999. 10. 28.

Coding theory and cryptography참고 문헌 11인용 수 3

한 줄 요약

이 논문은 평면 대수곡선의 유리 특이점에서 리만-로흐 공간 L(G)과 위에르슈트라스 반군을 알고리즘적으로 계산하기 위해 기호적 하머버그-노이만 표현식을 도입한다. 이를 통해 기호 계산 기법과 하머버그-노이만 전개, 가상 통과 조건을 조합함으로써, 펑-라오의 한점 코드를 포함한 대수기하학적(AG) 코드의 효과적 구성과 디코딩이 가능해진다.

ABSTRACT

We present an algorithm to compute bases for the spaces L(G), provided G is a rational divisor over a non-singular absolutely irreducible algebraic curve, and also another algorithm to compute the Weierstrass semigroup at P together with functions for each value in this semigroup, provided P is a rational branch of a singular plane model for the curve. The method is founded on the Brill-Noether algorithm by combining in a suitable way the theory of Hamburger-Noether expansions and the imposition of virtual passing conditions. Such algorithms are given in terms of symbolic computation by introducing the notion of symbolic Hamburger-Noether expressions. Everything can be applied to the effective construction of Algebraic Geometry codes and also in the decoding problem of such codes, including the case of the Feng and Rao scheme for one-point codes.

연구 동기 및 목표

• 비특이 대수곡선에서 유리 인수 G에 대해 리만-로흐 공간 L(G)을 알고리즘적으로 계산하기 위한 방법을 개발하는 것.
• 특이 평면 곡선 모델의 유리 분지에서 위에르슈트라스 반군과 관련 함수를 계산하는 것.
• 기호적 기반의 프레임워크를 제공하여 하머버그-노이만 전개와 가상 통과 조건을 통합함으로써 알고리즘적 효율성을 확보하는 것.
• 특히 펑-라오 체계 하에서의 한점 코드를 포함한 대수기하학적 코드의 구성과 디코딩을 지원하는 것.
• 대수기하학에 기반한 기호 계산 기법을 활용하여 AG 코드의 실용적 구현을 가능하게 하는 것.

제안 방법

• 기호적 하머버그-노이만 표현식을 도입하여 국소 곡선 특이점을 기호적으로 표현하고 다루는 계산 도구로 활용하는 것.
• 브릴-노이만 알고리즘과 하머버그-노이만 전개를 결합하여 L(G) 공간의 기저를 체계적으로 계산하는 것.
• 가상 통과 조건을 적용하여 유도 조건을 기호적으로 강제함으로써 선형 계열 계산의 정확성을 확보하는 것.
• 기호 프레임워크를 활용하여 각 갭과 노터 갭에 대응하는 위에르슈트라스 반군의 생성자와 관련 함수를 추출하는 것.
• 기호 계산 시스템과 호환되는 방식으로 알고리즘을 구현하여 재현 가능성과 효율성을 확보하는 것.
• 평면 곡선 특이점의 구조를 활용하여 유리 분지에서의 위에르슈트라스 반군 계산 복잡도를 감소시키는 것.

실험 결과

연구 질문

• RQ1 비특이 대수곡선에서 유리 인수에 대해 어떤 기호적 방법을 사용하면 리만-로흐 공간 L(G)을 효과적으로 계산할 수 있는가?
• RQ2 어떤 기호적 표현이 평면 곡선의 특이 유리 분지에서 위에르슈트라스 반군의 알고리즘적 계산을 가능하게 하는가?
• RQ3 하머버그-노이만 전개를 가상 통과 조건과 어떻게 통합하여 선형 계열을 알고리즘적으로 계산할 수 있는가?
• RQ4 기호적 하머버그-노이만 표현식은 펑-라오 체계 하에서의 한점 AG 코드 구성에 어떻게 기여하는가?
• RQ5 기호 대수기하학을 기반으로 하여 AG 코드의 구성과 디코딩을 동시에 가능하게 하는 계산 프레임워크는 무엇인가?

주요 결과

• 저자들은 기호적 하머버그-노이만 표현식을 사용하여 L(G) 공간의 기저를 계산하는 완전한 알고리즘적 프레임워크를 제시한다.
• 이 방법은 평면 곡선의 유리 특이점에서 위에르슈트라스 반군과 관련 함수를 성공적으로 계산한다.
• 하머버그-노이만 전개와 가상 통과 조건의 통합은 선형 계열의 정확하고 체계적인 계산을 가능하게 한다.
• 이 접근법은 특히 펑-라오 체계 하에서의 한점 AG 코드를 기호 계산을 통해 효과적으로 구성하는 데에 유용하다.
• 기호 프레임워크는 모든 계산이 알고리즘적이며 재현 가능하고, 컴퓨터 대수 시스템에 구현하기 적합하다는 점을 보장한다.
• 계산된 반군 구조와 함수 기저를 활용함으로써 이 방법은 AG 코드의 디코딩 문제에 대해 구축적 해결책을 제공한다.