[논문 리뷰] The Termination of Algorithms for Computing Gröbner Bases

Senshan Pan, Yupu Hu외 1명|arXiv (Cornell University)|2012. 02. 16.

Polynomial and algebraic computation참고 문헌 14인용 수 7

한 줄 요약

이 논문은 일반화된 F5GEN 알고리즘을 도입하여 F5, F5B, GVWHS 알고리즘의 그뢰브너 기저 계산에 대한 종료성과 정당성을 완전히 증명한다. 적절한 단항식 및 모듈 순서가 호환될 경우 종료성이 보장됨을 입증하여, 계산대수기하학 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

The F5 algorithm is generally believed as one of the fastest algorithms for computing Gröbner bases. However, its termination problem is still unclear. Recently, an algorithm GVW and its variant GVWHS have been proposed, and their efficiency are comparable to the F5 algorithm. In the paper, we clarify the concept of an admissible module order. For the first time, the connection between the reducible and rewritable check is discussed here. We show that the top-reduced S-Gröbner basis must be finite if the admissible monomial order and the admissible module order are compatible. This paper presents a complete proof of the termination and correctness of the GVWHS algorithm. What is more, it can be seen that the GVWHS is in fact an F5-like algorithm. Different from the GVWHS algorithm, the F5B algorithm may generate redundant sig-polynomials. Taking into account this situation, we prove the termination and correctness of the F5B algorithm. And we notice that the original F5 algorithm slightly differs from the F5B algorithm in the insertion strategy on which the F5-rewritten criterion is based. Exploring the potential ordering of sig-polynomials computed by the original F5 algorithm, we propose an F5GEN algorithm with a generalized insertion strategy, and prove the termination and correctness of it. Therefore, we have a positive answer to the long standing problem of proving the termination of the original F5 algorithm.

연구 동기 및 목표

• 기본 F5 알고리즘의 종료성을 증명하는 데 오랫동안 미해결이었던 문제를 해결하기 위해.
• 서명 기반 그뢰브너 기저 알고리즘에서 감소 가능 여부와 재기입 가능 여부 검사 간의 관계를 명확히 하기 위해.
• GVWHS 알고리즘에 대한 종료성과 정당성의 완전하고 엄밀한 증명을 제공하기 위해.
• F5B와 원래 F5 알고리즘이 서로 다른 삽입 전략을 가진 일반화된 F5GEN 알고리즘의 특수 케이스임을 보여주기 위해.
• 서명 기반 알고리즘들의 이론적 기반을 통합하기 위해, 이들이 서로 다른 삽입 및 선택 메커니즘을 가진 F5의 변종임을 보여주기 위해.

제안 방법

• 적절한 모듈 순서의 새로운 정의를 제시하고, 이가 적절한 단항식 순서와 호환됨을 입증한다.
• 호환되는 순서에서 상단-기저화된 S-그뢰브너 기저의 유한성을 증명하여 핵심 이론적 기초를 마련한다.
• F5와 F5B를 일반화하는 일반화된 삽입 전략을 가진 F5GEN 알고리즘을 제안한다.
• 상단-기저화된 서명에 대한 귀납법을 사용하여 F5GEN의 종료성을 증명하며, 이러한 서명의 유한성을 활용한다.
• 잘못된 쌍의 분석과 그들을 $\prec_{pm}$ 순서를 통해 수정함으로써, 잠재적인 중복성에도 불구하고 종료성을 보장한다.
• GVWHS를 F5 유사 알고리즘(F5G)으로 재구성하여 구조적 유사성에 기반해 비교 및 종료성 증명을 가능하게 한다.

실험 결과

연구 질문

• RQ1 기본 F5 알고리즘이 호환되는 단항식 및 모듈 순서 하에서 유한한 동차 다항식 집합에 대해 종료하는가?
• RQ2 서명 기반 그뢰브너 기저 알고리즘에서 감소 가능 여부와 재기입 가능 여부 검사 간의 정확한 관계는 무엇인가?
• RQ3 중복적인 시그널-다항식을 생성하는 F5B 알고리즘은 종료성과 정확한 그뢰브너 기저 생성을 증명할 수 있는가?
• RQ4 GVWHS 알고리즘은 진정으로 F5와 구조적·행동적으로 동일한가, 그리고 그 종료성은 엄밀하게 증명할 수 있는가?
• RQ5 F5와 F5B가 모두 특수 케이스가 되는 일반화된 F5GEN 알고리즘을 구성할 수 있으며, 이는 종료성과 정당성을 보장하는가?

주요 결과

• 기본 F5 알고리즘은 단항식 및 모듈 순서가 호환될 경우, 임의의 유한한 동차 다항식 집합에 대해 종료하고 정확한 그뢰브너 기저를 계산한다.
• 일반화된 삽입 전략을 가진 F5GEN 알고리즘은 F5와 F5B를 모두 특수 케이스로 포함하는 통합 프레임워크를 제공한다.
• GVWHS 알고리즘은 종료성이 증명되었으며, F5와 구조적으로 동일하므로 F5 유사 알고리즘으로 간주된다.
• F5B 알고리즘은 상단-기저화된 서명의 유한성과 잘못된 쌍의 통제된 수정 덕분에 중복적인 시그널-다항식을 생성함에도 불구하고 종료성이 보장된다.
• 종료성 증명은 호환되는 순서 하에서 상단-기저화된 S-그뢰브너 기저의 유한성에 기반하며, 이는 기본 결과로 확립된다.
• 기존 문헌에서 잘못된 종료성 증명(예: Gash, 2009; Arri 및 Perry, 2011)을 보완하여 엄밀하고 완전한 논증을 제공함으로써 이를 수정한다.