[논문 리뷰] Algorithms for commutative algebras over the rational numbers

H. W. Lenstra, Alice Silverberg|arXiv (Cornell University)|2015. 09. 29.

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

한 줄 요약

이 논문은 ℚ 위의 유한차원 가환 대수에서 기본적인 구조를 결정론적 다항시간 알고리즘으로 계산하기 위한 방법을 제시한다. 이는 근본적 아이디포텐트, 소 아이디얼, 국소화, 잔여체, 분리 부분대수, 그리고 원시 아이디포텐트를 포함한다. 기존의 헨젤-뉴턴 반복을 대체하기 위해, 유한한 가환환에서 항상 유효한 새로운 유도 기반 방법을 도입하여 아이디포텐트를 담수로 올리는 데 사용하며, 이는 다항식 시간 내에 이산 로그 문제를 효율적으로 해결할 수 있도록 한다.

ABSTRACT

The algebras considered in this paper are commutative rings of which the additive group is a finite-dimensional vector space over the field of rational numbers. We present deterministic polynomial-time algorithms that, given such an algebra, determine its nilradical, all of its prime ideals, as well as the corresponding localizations and residue class fields, its largest separable subalgebra, and its primitive idempotents. We also solve the discrete logarithm problem in the multiplicative group of the algebra. While deterministic polynomial-time algorithms were known earlier, our approach is different from previous ones. One of our tools is a primitive element algorithm; it decides whether the algebra has a primitive element and, if so, finds one, all in polynomial time. A methodological novelty is the use of derivations to replace a Hensel-Newton iteration. It leads to an explicit formula for lifting idempotents against nilpotents that is valid in any commutative ring.

연구 동기 및 목표

• 유한차원 가환 ℚ-대수에서 핵심 계산 문제를 위한 결정론적 다항시간 알고리즘을 개발한다.
• Henzel-뉴턴 반복을 대체하기 위해, 아이디포텐트를 담수로 올리는 데 유도를 사용하는 방법을 제안한다.
• 자기분해(분리 부분과 담수 부분)를 효율적이고 동시에 계산한다.
• 대수의 곱셈군에서 이산 로그 문제를 해결한다.
• 단위군의 구조를 규명하고, ℤ^S에서 E^*로의 군 준동형사상의 핵을 생성자와 함께 계산한다.

제안 방법

• 논문은 Hensel-Newton 반복을 대체하기 위해 유도 기반 접근법을 사용하며, 임의의 가환환에서 아이디포텐트를 올리는 보편 공식을 도입한다.
• E_sep의 핵이 되는 표준적인 ℚ-선형 사상 δ: ℚ[X]/(g) → ℚ[X]/(g, g')를 정의함으로써 분리 부분대수를 직접 계산할 수 있도록 한다.
• 정리 1.3에 기반한 반복이 없는 알고리즘을 통해 근본적 아이디포텐트와 분리 부분대수를 동시에 계산하며, 계수의 과도한 증가를 방지한다.
• E^*에서의 이산 로그 알고리즘은 소 아이디얼에 모듈로 줄이고 담수 부분에서 로그 상향을 이용하며, Jordan-Chevalley 분해를 활용한다.
• 단위군의 핵 계산은 잔여체와 담수 부분에서의 핵 알고리즘을 조합하고 정수 행렬 기법을 사용함으로써 달성된다.
• 기초 원소 알고리즘에 의존하며, 이는 존재 여부를 결정하고 다항시간 내에 기초 원소를 계산한다.

실험 결과

연구 질문

• RQ1 ℚ-대수에서 근본적 아이디포텐트와 분리 부분대수를 반복적 방법 없이 다항시간 내에 동시에 계산할 수 있는가?
• RQ2 모든 가환환에서 유효하고 Hensel-Newton 반복을 피할 수 있는, 유도 기반의 아이디포텐트 상향 방법이 존재하는가?
• RQ3 ℚ-대수의 곱셈군에서 이산 로그 문제를 결정론적 다항시간 내에 해결할 수 있는가?
• RQ4 유한차원 ℚ-대수에서 모든 소 아이디얼과 그에 대응하는 국소화를 결정하는 계산 복잡도는 얼마인가?
• RQ5 E가 유한차원 ℚ-대수일 때, ℤ^S에서 E^*로의 군 준동형사상의 핵을 효율적으로 계산하는 방법은 무엇인가?

주요 결과

• 결정론적 다항시간 알고리즘이 존재하며, E_sep와 √0에 대한 ℚ-기저, 그리고 Jordan-Chevalley 분해 사상과 그 역사를 함께 계산한다.
• 유도 사상 δ: E → Ω_{E/ℚ}의 핵이 항상 E_sep와 일치하지는 않으며, 비분리 원소가 ker(d)에 속하는 반례로 이를 보여준다.
• 유도를 사용하여 담수 부분에 대해 아이디포텐트를 올리는 명시적 공식을 유도하였으며, 이는 임의의 가환환에서 유효하다.
• E^*에서의 이산 로그 알고리즘은 소 아이디얼에 대한 모듈로 줄이고 담수 부분에서의 로그 상향을 조합함으로써 다항시간 내에 실행된다.
• ℤ^S에서 E^*로의 군 준동형사상의 핵은 잔여체와 담수 부분에서의 핵의 교차로 계산되며, 정수 행렬 핵 알고리즘을 사용한다.
• 기초 원소 알고리즘을 제공하여 존재 여부를 결정하고 다항시간 내에 기초 원소를 계산한다.