[논문 리뷰] A new conception for computing gröbner basis and its applications

Lei Huang|arXiv (Cornell University)|2010. 12. 24.

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

한 줄 요약

이 논문은 F5, 확장된 F5, GVW 알고리즘을 일반화하는 통합된 TRB(상위 감소 기저) 알고리즘 프레임워크를 제안하며, 이는 이 알고리즘들의 유한 종료성에 대한 체계적 분석을 가능하게 한다. 또한, 불필요한 S다항식을 차단하는 데 기존 기준보다 뛰어나며, 모든 TRB 쌍이 정확히 계산됨을 보장하는 Mpair 기준을 제안한다.

ABSTRACT

This paper presents a conception for computing gröbner basis. We convert some of gröbner-computing algorithms, e.g., F5, extended F5 and GWV algorithms into a special type of algorithm. The new algorithm's finite termination problem can be described by equivalent conditions, so all the above algorithms can be determined when they terminate finitely. At last, a new criterion is presented. It is an improvement for the Rewritten and Signature Criterion.

연구 동기 및 목표

• F5, 확장된 F5, GVW와 같은 다양한 그로버 기저 알고리즘을 동일한 계산 프레임워크 아래 통합하기.
• GVW 및 F5 알고리즘에 대한 오랫동안 미해결된 유한 종료 문제를 동치 종료 조건을 제공함으로써 해결하기.
• 기존의 Rewritten 및 서명 기준보다 더 많은 불필요한 S다항식을 차단하는 새로운 필터링 기준(Mpair) 개발하기.
• 그로버 기저 계산에서 알고리즘 비교, 구현, 향후 확장에 적합한 일반 플랫폼 구축하기.

제안 방법

• F5, 확장된 F5, GVW를 특수 케이스로 포함하는 일반적인 TRB(상위 감소 기저) 알고리즘을 정형화하기.
• 핵심 구조 정의: P^d × P에 속하는 쌍 (u,v), 서명(lm(u)), 순서(단항식, 서명, 쌍 순서).
• Mpair 기준 도입: DONE 집합의 초기 또는 M쌍이 아닌 경우, 쌍 [m,p]는 차단된다.
• M쌍을 정의: m ≠ 1 이고, 서명 및 쌍 순서에서 다른 쌍보다 동치이거나 열등하지 않은 최소 곱셈 쌍 [m,p]로 정의한다.
• 상위 감소와 CheckStore 메커니즘을 사용하여, MJCriterions(GSyzygy + Mpair)를 통과하는 유효한 J쌍은 항상 수락된다.
• TRB-MJ 알고리즘이 모든 TRB 쌍을 계산하고, 시지지 또는 TRB 서명만 저장함을 증명하여 정확성과 완전성을 확보한다.

실험 결과

연구 질문

• RQ1 F5, 확장된 F5, GVW 알고리즘이 어떤 조건에서 항상 유한하게 종료되는가?
• RQ2 현대 그로버 기저 알고리즘의 정확성과 종료성을 분석하고 비교하기 위한 통합 프레임워크를 구축할 수 있는가?
• RQ3 Mpair 기준은 기존 기준(Rewritten, 서명)과 비교해 불필요한 S다항식을 얼마나 더 효과적으로 차단하는가?
• RQ4 Mpair 기준은 Rewritten 및 서명 기준이 놓친 비-TRB 서명을 감지할 수 있는가?
• RQ5 TRB-MJ 알고리즘은 중복 계산을 피하면서 모든 TRB 쌍을 충분히 계산할 수 있는가?

주요 결과

• F5 및 확장된 F5 알고리즘은 항상 정규 TRB 알고리즘으로서 유한하게 종료된다.
• GVW 알고리즘은 단항식 순서와 서명 순서가 거의 호환될 경우에만 유한하게 종료된다.
• Mpair 기준은 Rewritten 및 서명 기준보다 더 많은 불필요한 쌍을 차단할 수 있으며, 기존 기준이 놓친 비-TRB 서명도 감지할 수 있다.
• Mpair 기준은 오직 TRB 서명(또는 시지지 서명)만 계산되도록 보장하여 검색 공간을 줄인다.
• 모든 TRB 쌍은 TRB-MJ 알고리즘에 의해 계산되며, 이는 모든 TRB 서명이 MJ-서명으로서 실현됨을 증명한 바 있다.
• TRB-MJ 알고리즘은 정규 TRB 알고리즘이며, MJCriterions를 통과하는 유효한 J쌍에 대해 CheckStore는 항상 참을 반환한다.