[논문 리뷰] Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

Yves Aubry, Elena Berardini외 2명|arXiv (Cornell University)|2019. 04. 17.

Coding theory and cryptography참고 문헌 23인용 수 8

한 줄 요약

이 논문은 유한체 위의 아벨 곡면에서 정의된 대수기하학적(AG) 코드를 구성하기 위한 이론적 프레임워크를 개발하며, 최소 거리에 대한 일반적인 하한을 수립하고, 저항성 수준이 낮은 산술 기하학적 종수를 가진 절대적으로 기약 곡선이 존재하지 않는 조건 하에서 이를 개선한다. 주요 기여는 단순 아벨 곡면에서 종수 ≤2인 곡선이 존재하지 않을 경우 더 날카운 보다 날카로운 하한을 제공하는 것으로, 특히 타원 곡선의 Weil 제약과 비주어진 극성적 표준형을 가진 곡면에서 유래된 경우에 해당하며, 이는 더 큰 q와 r에 대해 향상된 코드 성능을 가능하게 한다.

ABSTRACT

We provide a theoretical study of Algebraic Geometry codes constructed from abelian surfaces defined over finite fields. We give a general bound on their minimum distance and we investigate how this estimation can be sharpened under the assumption that the abelian surface does not contain low genus curves. This approach naturally leads us to consider Weil restrictions of elliptic curves and abelian surfaces which do not admit a principal polarization.

연구 동기 및 목표

• 유한체 위의 아벨 곡면에서 생성된 AG 코드의 최소 거리에 대한 일반적인 하한을 수립하기 위해.
• 고정된 ℓ에 대해 아벨 곡면이 산술 기하학적 종수가 ≤ℓ인 절대적으로 기약 곡선을 포함하지 않는 조건 하에서 이 하한을 개선하기 위해.
• 특히 타원 곡선의 Weil 제약과 비주어진 극성적 표준형 곡면을 포함한, 종수 0, 1 또는 2인 곡선이 존재하지 않는 아벨 곡면을 식별하고 특성화하기 위해.
• ℓ=2일 때의 개선된 하한이 ℓ=1일 때의 하한보다 현저히 향상되는 조건을 명시적으로 제공하기 위해.
• 아벨 곡면의 기하학적 및 산술적 성질을 활용하여 더 나은 최소 거리를 가진 AG 코드를 실용적으로 구성할 수 있도록 하기 위해.

제안 방법

• 편재적 분할의 기하학과 Weil의 점 수에 대한 바운드를 이용하여 아벨 곡면 위의 평가 코드에 대한 일반적인 최소 거리 하한을 유도한다.
• 조인크션 공식을 적용하여 곡면 위의 편재적 분할 H에 대해 H²의 자기교차수를 계산한다.
• 표현형의 프로베니우스 준동형사상과 제타 함수를 사용하여 #A(𝔽_q)와 Tr(A)를 계산하며, 이는 최소 거리 하한에 필수적이다.
• 저항성 수준이 낮은 곡선의 부재에 따라 의존하는 개선된 하한을 도입하며, 이러한 곡선의 기여로 인한 거리 손실을 모델링하는 함수 φ(x)를 사용한다.
• Isogeny 분류 결과(Howe, Nart, Ritzenthaler)를 활용하여 종수 ≤2인 곡선이 존재하지 않는 아벨 곡면을 특성화한다.
• 세 가지 경우에 대해 #A(𝔽_q), Tr(A), H²의 명시적 값을 계산한다: 종수 2 곡선의 아벨 곡면, 타원 곡선의 곱, 타원 곡선의 Weil 제약.

실험 결과

연구 질문

• RQ1 편재적 분할의 제곱수 H²와 Tr(A)와 같은 기하학적 불변량을 사용하여 아벨 곡면 상의 AG 코드에 대한 최소 거리에 대한 일반적인 하한을 수립할 수 있는가?
• RQ2 산술 기하학적 종수가 ≤ℓ인 절대적으로 기약 곡선이 부재할 경우, 아벨 곡면 상의 AG 코드의 최소 거리는 어떻게 영향을 받는가?
• RQ3 Weil 제약 또는 비주어진 극성적 표준형 곡면과 같은 특정 클래스의 아벨 곡면 중에서 저항성 수준이 낮은 곡선이 존재하지 않는 경우는 무엇인가?
• RQ4 ℓ=2일 때의 개선된 하한이 ℓ=1일 때의 하한보다 아벨 곡면 상의 코드에서 현저한 향상을 이끌어내는가?
• RQ5 𝔽_{q²} 위의 타원 곡선의 추적과 이sovence 클래스에 대한 명시적 조건은 무엇이어야 하며, 이에 따라 그 Weil 제약이 𝔽_q 위에서 종수 0, 1 또는 2인 절대적으로 기약 곡선을 포함하지 않는가?

주요 결과

• 일반적인 최소 거리 하한 d(A,rH)는 d(A,rH) ≥ #A(𝔽_q) − rH²(q+1−Tr(A)+m) − r²mH²/2로 주어지며, 여기서 m = ⌊2√q⌋이다.
• 산술 기하학적 종수가 ≤ℓ인 절대적으로 기약 곡선이 존재하지 않는 단순 아벨 곡면의 경우, ℓ가 더 클수록 하한이 크게 향상된다. 특히 ℓ=2일 때 두드러진 개선이 이루어진다.
• q가 충분히 크고 1 < r < √q일 경우, ℓ=2일 때의 하한은 ℓ=1일 때의 하한보다 엄밀히 우수하며, 이는 향상된 코드 성능을 의미한다.
• 특정 추적(예: Tr(E/𝔽_{q²}) = 2q−1 또는 q)을 가진 𝔽_{q²} 위의 타원 곡선의 Weil 제약은 𝔽_q 위에서 종수 ≤2인 곡선이 존재하지 않는 아벨 곡면을 생성한다.
• 𝔽_q 위의 비주어진 극성적 표준형 아벨 곡면은 산술 기하학적 종수가 0, 1 또는 2인 절대적으로 기약 곡선을 포함하지 않는다.
• 세 가지 경우에 대해 #A(𝔽_q), Tr(A), H²의 명시적 공식을 제공한다: 종수 2 곡선의 아벨 곡면, 타원 곡선의 곱, Weil 제약으로서의 아벨 곡면이며, 이는 실용적인 코드 구성에 기여한다.