[논문 리뷰] Noncommutative Involutive Bases

Gareth A. Evans|ArXiv.org|2006. 02. 07.

Polynomial and algebraic computation참고 문헌 38인용 수 3

한 줄 요약

이 논문은 비가환 다항식 환으로의 그뢰브너 기저 이론을 일반화하기 위해 비가환 비가환 기저를 도입하며, 강한, 약한, 전역적, 국소적 비가환 분할을 사용하여 이를 계산하는 새로운 알고리즘을 제시한다. 주요 기여는 비가환 기저의 감소를 통해 그뢰브너 기저를 계산하는 증명 가능하게 올바른 알고리즘으로, 비가환 분할의 안정성 및 확장 가능성 성질을 도입함으로써 종료 보장을 한다.

ABSTRACT

The theory of Groebner Bases originated in the work of Buchberger and is now considered to be one of the most important and useful areas of symbolic computation. A great deal of effort has been put into improving Buchberger's algorithm for computing a Groebner Basis, and indeed in finding alternative methods of computing Groebner Bases. Two of these methods include the Groebner Walk method and the computation of Involutive Bases. By the mid 1980's, Buchberger's work had been generalised for noncommutative polynomial rings by Bergman and Mora. This thesis provides the corresponding generalisation for Involutive Bases and (to a lesser extent) the Groebner Walk, with the main results being as follows. (1) Algorithms for several new noncommutative involutive divisions are given, including strong; weak; global and local divisions. (2) An algorithm for computing a noncommutative Involutive Basis is given. When used with one of the aforementioned involutive divisions, it is shown that this algorithm returns a noncommutative Groebner Basis on termination. (3) An algorithm for a noncommutative Groebner Walk is given, in the case of conversion between two harmonious monomial orderings. It is shown that this algorithm generalises to give an algorithm for performing a noncommutative Involutive Walk, again in the case of conversion between two harmonious monomial orderings. (4) Two new properties of commutative involutive divisions are introduced (stability and extendibility), respectively ensuring the termination of the Involutive Basis algorithm and the applicability (under certain conditions) of homogeneous methods of computing Involutive Bases.

연구 동기 및 목표

• 비가환 다항식 환으로의 비가환 기저 이론을 확장하기 위해.
• 다양한 비가환 분할을 사용하여 비가환 비가환 기저를 계산하는 새로운 알고리즘을 개발하기 위해.
• 조화로운 단항식 순서에서 비가환 환으로의 그뢰브너 워크와 비가환 워크를 일반화하기 위해.
• 비가환 환 환경에서 종료성과 동차 방법의 적용 가능성을 보장하기 위해 안정성 및 확장 가능성 등의 이론적 성질을 수립하기 위해.

제안 방법

• 오버랩 조건과 곱셈 변수를 기반으로 강한, 약한, 전역적, 국소적 비가환 분할을 포함한 네 가지 새로운 비가환 비가환 분할을 제안한다.
• 이 분할을 사용하여 비가환 비가환 기저를 계산하는 알고리즘을 개발하며, 비가환 감소 및 연장 단계를 포함한다.
• 비가환 그뢰브너 및 비가환 워크에서 순서 간 변환을 가능하게 하기 위해 조화로운 단항식 순서의 개념을 도입한다.
• 비가환 기저 계산의 정확성과 종료성을 보장하기 위해 연속성 및 완전성의 개념을 적용한다.
• 비가환 환 환경에 맞게 수정된 부흐버거 알고리즘의 버전을 사용하며, 감소 및 S다항식 처리를 위한 기준을 설정한다.
• 재현 가능성을 위해 부록 B에 소스 코드를 제공하며, ANSI C와 AlgLib를 사용하여 알고리즘을 구현하고 테스트한다.

실험 결과

연구 질문

• RQ1 비가환 다항식 환으로의 비가환 기저 이론은 성공적으로 일반화될 수 있는가?
• RQ2 비가환 환 환경에서 적합한 비가환 분할의 유형은 무엇이며, 어떻게 종료성과 정확성을 보장하는가?
• RQ3 그뢰브너 워크는 비가환 환으로 확장될 수 있으며, 어떤 조건에서 비가환 기저의 구조를 유지하는가?
• RQ4 비가환 비가환 기저에서 종료성과 동차 방법의 적용 가능성을 보장하기 위해 필요한 성질(예: 안정성 및 확장 가능성)은 무엇인가?
• RQ5 다양한 비가환 비가환 분할 간의 계산 효율성과 기저 크기 측면에서의 비교는 어떻게 이루어지는가?

주요 결과

• 제안된 비가환 비가환 기저 알고리즘은 새로운 비가환 분할을 사용할 경우 종료 시 항상 그뢰브너 기저를 정확히 계산한다.
• 안정성 및 확장 가능성의 도입으로 종료성 보장과 비가환 환에서의 동차 방법 적용이 가능해진다.
• 조화로운 단항식 순서에서 비가환 그뢰브너 워크 알고리즘이 두 순서 간 변환에 대해 유효하며, 기존의 가환 경우를 일반화한다.
• 동일한 조건 하에서 비가환 비가환 워크 알고리즘 역시 유효하며, 기저 변환 과정에서 비가환 기저의 구조를 유지한다.
• ANSI C와 AlgLib를 사용한 구현은 비가환 기저 및 기저 축소된 그뢰브너 기저를 성공적으로 계산하였으며, 이상 소속 문제를 포함한 테스트 케이스에서 이를 입증하였다.
• 시스템은 다항식이 아이디얼에 속하는지 정확히 식별하며, 예를 들어 $ zyx + 1 $ 및 $ xz^2 + yz^2 - 1 $ 이 $ \{x+y+z-3, x^2+y^2+z^2-9, x^3+y^3+z^3-24\} $ 에 의해 생성된 아이디얼에 속하는지 확인하는 데 성공했고, 반면 $ x^{10} $ 는 속하지 않음을 확인하였다.