[논문 리뷰] Complex Multiplication Tests for Elliptic Curves

Denis Charles|ArXiv.org|2004. 09. 26.

Cryptography and Residue Arithmetic참고 문헌 14인용 수 3

한 줄 요약

이 논문은 수체 위의 타원곡선이 복소곱승(CM)을 가지는지 확인하기 위한 결정론적 다항시간 알고리즘을 제시한다. 이 알고리즘은 ℓ-진 표현의 갈루아 군의 가역성에 기반한다. 충분히 큰 소수 ℓ에 대해, 갈루아 군이 가역일 조건과 곡선이 CM을 가질 조건이 동치임을 증명함으로써, Masser-Wüstholz 정리에 의해 효과적인 경계를 갖는 결정 절차를 가능하게 한다. 다만 실행 시간의 곱계수는 여전히 비효율적이다.

ABSTRACT

We consider the problem of checking whether an elliptic curve defined over a given number field has complex multiplication. We study two polynomial time algorithms for this problem, one randomized and the other deterministic. The randomized algorithm can be adapted to yield the discriminant of the endomorphism ring of the curve.

연구 동기 및 목표

• 수체 위의 타원곡선이 복소곱승(CM)을 가지는지 확인하기 위한 효율적인 알고리즘을 개발하는 것.
• 기존의 확률적 방법에 대한 비가설적, 비해석적 대안을 제공하는 것.
• ℓ-진 갈루아 표현의 이미지에 기반한 결정론적 다항시간 알고리즘을 수립하는 것.
• 갈루아 군 Gal(L(E[ℓ])/L)의 가역성이 CM 성질과 어떻게 연결되는지 분석하는 것.

제안 방법

• 타원곡선의 ℓ-토르션 점들과 관련된 갈루아 표현 ρℓ를 사용하여 Gal(L(E[ℓ])/L)의 구조를 분석한다.
• ℓ ≥ 5일 때 GL₂(𝔽ℓ)는 비가역적임을 고려하고, ρℓ의 이미지가 가역일 조건과 곡선이 CM을 가질 조건이 동치임을 이용한다.
• E가 CM을 가지지 않을 경우, ρℓ(G_L)가 SL₂(𝔽ℓ)를 포함하는 최소 소수 ℓ를 Bound하기 위해 Masser-Wüstholz 정리를 적용한다.
• 고정된 ℓ에 대해, L(E[ℓ])/L의 가역성을 확인하기 위해 Landau와 Miller의 알고리즘과 같은 계산 대수 도구를 사용한다.
• Weil j-불변량의 높이를 이용해 입력 크기를 유한하게 제한하고 다항시간 복잡도를 보장한다.
• 비효율적 상수 c, γ에 대해 ℓ > c(max{d, h})^γ 를 선택함으로써, 비-CM 곡선이 비가역 갈루아 군을 갖도록 보장한다.

실험 결과

연구 질문

• RQ1 수체 위의 타원곡선이 복소곱승을 가지는지 결정론적 다항시간으로 테스트할 수 있는가?
• RQ2 비-CM 곡선에 대해 ℓ-토르션 표현의 갈루아 이미지가 비가역이 되는 최소 소수 ℓ는 무엇인가?
• RQ3 갈루아 군 Gal(L(E[ℓ])/L)의 가역성은 CM 탐지 기준으로 어떻게 사용될 수 있는가?
• RQ4 Weil j-불변량의 높이는 CM 테스트 알고리즘의 실행 시간을 유한하게 제한하는 데 얼마나 활용될 수 있는가?
• RQ5 초기의 초확률 알고리즘(초특수 소수 기반)을 갈루아 표현 결과를 활용해 한쪽 오류만 허용하는 알고리즘으로 전환할 수 있는가?

주요 결과

• 논문은 수체 위의 타원곡선에서 복소곱승을 테스트하는 결정론적 다항시간 알고리즘을 수립한다.
• 비효율적 상수 c, γ에 대해 ℓ > c(max{d, h})^γ 이면, 갈루아 군 Gal(L(E[ℓ])/L)이 가역일 조건과 곡선이 CM을 가질 조건이 동치임을 보였다.
• 알고리즘은 ℓ-진 갈루아 표현의 이미지가 곡선이 CM을 가질 때에만 가역적임을 이용하며, 그렇지 않으면 큰 ℓ에 대해 비가역적임을 보장한다.
• Weil j-불변량의 높이는 입력 크기의 다항식으로 유한하게 제한되며, 이는 다항시간 인코딩을 보장한다.
• 기존 접근 방식과 달리, 이 방법은 비가설적이고 비해석적인 추론에 기반한다.
• 실행 시간은 다항시간이지만, 현재의 반복수의 경계에 대한 지식 부족으로 인해 지수항의 곱계수는 여전히 비효율적이다.