[논문 리뷰] Solving Detachability Problem for the Polynomial Ring by Signature-based Groebner Basis Algorithms

Yao Sun, Dingkang Wang|arXiv (Cornell University)|2011. 08. 05.

Polynomial and algebraic computation참고 문헌 13인용 수 6

한 줄 요약

이 논문은 F5와 GVW와 같은 서명 기반 그뢰브너 기저 알고리즘의 출력만을 사용하여 다항식 환에서 탈리니어블리티 문제를 효율적으로 해결하는 방법을 제안한다. 서명 기반 알고리즘의 출력에서 전체 레이블이 부여된 그뢰브너 기저를 구성함으로써, 추가적인 그뢰브너 기저 계산 없이도 다항식 시간 내에 이상 소속성과 생성자에 대한 다항식의 명시적 표현을 계산할 수 있다.

ABSTRACT

Signature-based algorithms are a popular kind of algorithms for computing Groebner basis, including the famous F5 algorithm, F5C, extended F5, G2V and the GVW algorithm. In this paper, an efficient method is proposed to solve the detachability problem. The new method only uses the outputs of signature-based algorithms, and no extra Groebner basis computations are needed. When a Groebner basis is obtained by signature-based algorithms, the detachability problem can be settled in polynomial time.

연구 동기 및 목표

• 기본 생성자에 대한 그뢰브너 기저 원소의 표현을 계산하는 데 드는 계산 비용을 해결하는 것 — 이는 탈리니어블리티 문제를 해결하는 데 핵심적인 브레이크제이션 요소이다.
• 일반적인 방법이 표현을 추적하기 위해 보조 변수를 사용해 다항식 환을 확장해야 하는 비효율성을 해결하는 것.
• 알고리즘을 수정하지 않고도 서명 기반 알고리즘의 출력에서 직접 표현을 계산할 수 있도록 하는 것.
• 기존 서명 기반 알고리즘의 출력만을 사용하여 싸지지 모듈 기저를 복원하고 이상 소속성을 효율적으로 해결하는 방법을 제공하는 것.
• 서명 기반 알고리즘의 간단한 출력(예: 단항식 레이블 기반 또는 서명 레이블 기반 기저)으로부터 전체 레이블이 부여된 그뢰브너 기저를 구성하는 프레임워크를 수립하는 것.

제안 방법

• 각 기저 원소가 원래 생성자에 대한 계수의 벡터와 연결된 레이블이 부여된 그뢰브너 기저의 개념을 도입한다. 이 계수 벡터는 해당 기저 원소를 원래 생성자에 대해 표현하는 데 사용된다.
• 서명 비교를 기반으로 하는 재귀적 감소 과정을 통해 단항식 레이블 기반 또는 서명 레이블 기반 그뢰브너 기저에서 전체 레이블이 부여된 그뢰브너 기저를 구성한다.
• 기존 기저 원소와 그 레이블을 사용하여 감소를 추적함으로써, 각 그뢰브너 기저의 다항식에 대한 계수 벡터를 계산하는 데 'Representation' 함수를 사용한다.
• 서명 순서와 주어진 항의 최고차항(leading power product, lpp) 비교를 활용하여 표현 계산의 정확성과 종료 보장 보장.
• F5와 GVW와 같은 서명 기반 알고리즘의 출력에서 단순화된 레이블 기반 기저를 제공하므로, 이들의 출력에서 전체 계수 정보를 복원함으로써 해당 알고리즘에 적용한다.
• 결과로 얻어진 전체 레이블 기반 기저는 모든 그뢰브너 기저 원소가 원래 생성자에 대해 직접 표현 가능하게 하여 즉각적인 탈리니어블리티 문제 해결을 가능하게 한다.

실험 결과

연구 질문

• RQ1 추가적인 그뢰브너 기저 계산 없이 서명 기반 그뢰브너 기저 알고리즘의 출력만을 사용하여 탈리니어블리티 문제를 효율적으로 해결할 수 있는가?
• RQ2 서명 기반 알고리즘의 출력에서 각 그뢰브너 기저 원소가 원래 생성자에 대해 표현될 수 있는가?
• RQ3 서명 기반 알고리즘의 내부 추적 메커니즘이 다를 수 있음에도 불구하고, 이 방법이 F5와 GVW를 포함한 여러 알고리즘에 일반화될 수 있는가?
• RQ4 서명 기반 출력에서 표현을 복원하는 데 드는 계산 복잡도는 무엇이며, 다항식 시간 내에 달성 가능한가?
• RQ5 동일한 출력에서 원래 생성자의 싸지지 모듈을 효율적으로 복원할 수 있는가?

주요 결과

• 제안된 방법은 서명 기반 알고리즘의 출력만을 사용하여 원래 생성자에 대한 그뢰브너 기저 원소의 표현을 다항식 시간 내에 계산한다.
• 이 방법은 단항식 레이블 기반 또는 서명 레이블 기반 기저에서 전체 레이블 기반 그뢰브너 기저를 구성함으로써 탈리니어블리티 문제의 직접적 해결을 가능하게 한다.
• 알고리즘이 효율적이며 서명 기반 알고리즘을 수정하거나 재실행할 필요가 없어 원래 성능 특성을 유지한다.
• 이 방법은 F5와 GVW 알고리즘의 출력을 모두 효과적으로 처리한다. 비록 GVW의 출력이 그뢰브너 기저임을 보장하는 이론적 근거가 F5보다 더 강력하지만, 두 알고리즘 모두 성공적으로 처리된다.
• 이상에 속하는 임의의 다항식은 전체 레이블 기반 기저를 사용한 감소를 통해 계산할 수 있으며, 계수 벡터는 레이블에서 직접 추출할 수 있다.
• 서명 기반 계산 중 0으로 감소된 다항식의 서명을 활용하여 싸지지 모듈의 기저를 효율적으로 계산할 수 있다.