[논문 리뷰] Computing the Automorphism Groups of Hyperelliptic Function Fields

Norbert Goeb|ArXiv.org|2003. 05. 20.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 7

한 줄 요약

이 논문은 유한체 및 그 대수적 폐쇄에서 초타원함수체의 자기동형군을 효율적으로 계산하는 알고리즘을 제시한다. Brandt의 정규형과 그뢰브너 기저 기법을 활용하여 모비우스 변환과 스케일링 인자로부터 유도된 다항식 체계를 해결함으로써, 암호보안 평가에 핵심적인 자기동형군의 구조를 신속하게 파악할 수 있다.

ABSTRACT

The purpose of this paper is to propose an efficient method to compute the automorphism group of an arbitrary hyperelliptic function field (genus>1) over a given ground field of characteristic >2 as well as over its algebraic extensions.

연구 동기 및 목표

• 유한체 및 그 대수적 폐쇄에서 초타원함수체의 자기동형군을 계산하는 효율적 알고리즘을 개발하기.
• Pohlig-Hellman 및 Frey-Rück 공격을 저지하기 위해 필요로 하는 바와 같이 자기동형군이 작다는 것을 확인함으로써 초타원곡선의 양자군의 암호보안성을 실용적으로 평가하기.
• 일반적인 초타원곡선의 양자군 순서를 직접 계산하는 데 있어 계산이 불가능한 문제를 해결하기 위해, 자기동형군의 구조를 사전 필터로 사용함으로써 이를 해결하기.
• 특히 자기동형군이 큰 경우 Stoll의 AutomorphismGroup 기능이 매우 느려지는 상황에서 기존 방법들(예: Stoll의 방법)에 대한 대안을 제공하기.
• Brandt의 자기동형군의 유한부분군 분류를 이용하여 초타원함수체를 그 유형에 따라 분류함으로써 체계적인 군 구조 복원이 가능하도록 하기.

제안 방법

• Brandt의 정규형을 사용하여 초타원함수체를 자기동형군 유형으로 분류함으로써 문제를, 주어진 곡선이 알려진 정규형과 일치하는지 확인하는 것으로 축소한다.
• 유리수 매개변수 $ t $ 에 대해 변환 $ x = \frac{\alpha_0 t + \alpha_1}{\alpha_2 t + \alpha_3} $ 를 적용하고, 정의 다항식 $ D_x $ 에 대입하여 $ t $ 에 대한 유리함수를 얻는다.
• 스케일링 인자 $ \varphi \in k(t) $ 를 계산하여 $ \varphi^{-2} D_x(x(t)) = D_t $ 를 만족시키며, 변환된 다항식이 원래 정의 방정식과 일치하도록 한다.
• 다항식 $ D_t $ 와 $ \varphi^{-2} D_x(x(t)) $ 의 계수를 비교함으로써 $ \alpha_i $ 를 변수로 하는 다항식 체계를 유도하며, 이는 일致성 여부를 확인하기 위한 것이다.
• 기저체 $ k $ 에서 그뢰브너 기저 기법을 사용하여 유도된 체계를 해결함으로써, 모든 자기동형을 알고리즘적으로 결정할 수 있다.
• 대수적으로 폐쇄된 체가 아닌 경우, 체 확장을 통해 방법을 확장하고 $ \mathrm{Aut}(F/k) \leq \mathrm{Aut}(\overline{F}/\overline{k}) $ 라는 사실을 활용하여 $ \overline{k} $ 에서 계산하고 $ k $ 로 내림림한다.

실험 결과

연구 질문

• RQ1 유한체 위의 초타원함수체의 자기동형군을, 비용이 많이 드는 이상군 계산에 의존하지 않고 효율적으로 계산할 수 있는가?
• RQ2 주어진 초타원곡선이 작은 자기동형군을 가지는지 확인하는 방법은 무엇인가? 이는 Pohlig-Hellman 및 Frey-Rück 공격에 저항하기 위한 필수 조건이다.
• RQ3 제안된 알고리즘의 계산 성능은 Stoll의 AutomorphismGroup 기능과 비교해 볼 때, 특히 자기동형군이 큰 경우에 어떻게 되는가?
• RQ4 대수기하학과 다항식 체계 해법을 통해, 개별 원소 외에도 자기동형군의 구조를 얼마나 잘 복원할 수 있는가?
• RQ5 내림림 기법을 사용하여, 특성 > 2인 임의의 체 위의 함수체, 특히 폐쇄된 체가 아닌 체로도 이 방법을 일반화할 수 있는가?

주요 결과

• 모비우스 변환과 스케일링 인자로부터 유도된 계수 매칭 체계에 그뢰브너 기저 기법을 적용함으로써, 초타원함수체의 전체 자기동형군을 효율적으로 계산하는 데 성공하였다.
• 성 $ g \leq 4 $ 인 경우, 1.7 GHz Celeron에서 100초 이내에 실행되며, 자기동형군 크기에 관계없이 시간이 안정적이다. 반면 Stoll의 방법은 큰 군일수록 상당히 성능이 떨어진다.
• 다양한 유한체에서 성 2에서 4인 곡선에 대해 크기가 2, 4, 12, 24, 48, 240, 672, 1440인 자기동형군을 정확히 식별하였으며, 계산 시간은 9.2에서 90.3초 사이였다.
• 특히 자기동형군이 큰 곡선에 대해 매우 효과적이며, Stoll의 방법이 군 크기 1440일 때 1347.3초가 걸리는 데 비해, 본 방법은 34.1초 만에 완료되었다.
• 개별 자기동형을 넘어서 군의 구조와 생성자를 제공하므로, 단순히 원소 목록을 반환하는 방법보다 더 깊은 통찰을 제공한다.
• 암호학적 응용에서 이 방법은 빠른 사전 필터링 단계를 가능하게 한다: 비자명한 자기동형군을 가진 곡선은 안전한 양자군을 유도할 가능성이 낮으므로, 이 테스트를 통해 비용이 많이 드는 이상군 계산을 피할 수 있다.