[논문 리뷰] An Improvement over the GVW Algorithm for Inhomogeneous Polynomial Systems

Yao Sun, Dongdai Lin외 1명|arXiv (Cornell University)|2014. 04. 05.

Polynomial and algebraic computation참고 문헌 12인용 수 4

한 줄 요약

이 논문은 비동차 다항식 시스템에서 그뢰브너 기저를 계산하기 위한 GVW 알고리즘의 변종인 M-GVW를 제안한다. 변형된 쌍과 서명 재할당을 통해 M-GVW는 고서명을 가진 저차수 J-쌍을 기각하는 것을 방지하여 다항식 차수 성장률을 감소시키고 계산 속도를 향상시킨다. 특히 M4RI에서 최적화된 선형 대수 알고리즘을 활용한 부울 다항식 링에서 뛰어난 성능을 발휘한다.

ABSTRACT

The GVW algorithm is a signature-based algorithm for computing Gröbner bases. If the input system is not homogeneous, some J-pairs with higher signatures but lower degrees are rejected by GVW's Syzygy Criterion, instead, GVW have to compute some J-pairs with lower signatures but higher degrees. Consequently, degrees of polynomials appearing during the computations may unnecessarily grow up higher and the computation become more expensive. In this paper, a variant of the GVW algorithm, called M-GVW, is proposed and mutant pairs are introduced to overcome inconveniences brought by inhomogeneous input polynomials. Some techniques from linear algebra are used to improve the efficiency. Both GVW and M-GVW have been implemented in C++ and tested by many examples from boolean polynomial rings. The timings show M-GVW usually performs much better than the original GVW algorithm when mutant pairs are found. Besides, M-GVW is also compared with intrinsic Gröbner bases functions on Maple, Singular and Magma. Due to the efficient routines from the M4RI library, the experimental results show that M-GVW is very efficient.

연구 동기 및 목표

• 기저 조건에 따라 고서명, 저차수 J-쌍이 기각되는 문제로 인해 GVW 알고리즘이 비동차 다항식 시스템에서 비효율적인 데에 대비하기 위해.
• 그뢰브너 기저 계산 과정에서 중간 다항식의 불필요한 차수 성장을 줄이기 위해.
• 서명 기반 알고리즘의 성능을 향상시키기 위해, 서명에 비해 낮은 차수를 가지는 다항식(변형된 쌍)을 탐지하고 처리하기 위해.
• 밀도 있는 GF(2) 선형 대수를 사용하여 M-GVW를 구현하고 최적화하며, M4RI 라이브러리를 활용해 효율적인 행렬 연산을 수행하기 위해.
• 특히 변형된 쌍이 존재할 경우 부울 다항식 시스템에서 GVW 및 기존 시스템(Maple, Singular, Magma)에 비해 M-GVW가 뛰어난 성능을 보임을 입증하기 위해.

제안 방법

• 서명에 비해 낮은 차수를 가지는 다항식인 변형된 쌍을 정의하여 입력 시스템의 구조적 비동차성을 나타낸다.
• GVW 알고리즘을 수정하여 계산 과정에서 변형된 쌍을 탐지하고, 새로운 고우선순위 서명을 부여하여 초기 시스템에 추가한다.
• 변형된 쌍의 서명을 재할당하여, 고서명을 가졌더라도 Syzygy 기준에 의해 J-쌍이 기각되지 않도록 보장한다.
• 서명 순서를 유지하기 위해 단방향 소거를 사용하고, GF(2)에서의 밀도 있는 행렬에 대해 M4RI 루틴을 적응시킨다.
• C++로 GVW와 M-GVW를 모두 구현하고, 부울 다항식 링에 특화된 최적화된 행렬 연산을 적용한다.
• 계산 오버헤드를 제한하기 위해 M-GVW에서 변형된 쌍 탐색을 제한하기 위해 차수 제한(Deg-Limit = 4)을 적용한다.

실험 결과

연구 질문

• RQ1 비동차 다항식이 존재할 경우, 서명-차수 불일치로 인해 J-쌍 선택 과정에서 GVW 알고리즘이 어떻게 비효율적으로 작동하는가?
• RQ2 기대치보다 낮은 차수를 가지는 다항식(변형된 쌍)을 탐지하고 재처리하는 것이 서명 기반 그뢰브너 기저 알고리즘의 성능 향상에 기여하는가?
• RQ3 비동차 시스템에서 M-GVW는 GVW에 비해 최대 행렬 차수와 계산 시간을 얼마나 감소시킬 수 있는가?
• RQ4 부울 다항식 시스템에서 M-GVW는 Maple, Singular, Magma의 내장 그뢰브너 기저 구현과 비교해 어떻게 성능을 발휘하는가?
• RQ5 M4RI에서 유래한 최적화된 밀도 있는 선형 대수 루틴을 서명 기반 알고리즘의 단방향 소거에 효과적으로 적용할 수 있는가?

주요 결과

• M-GVW는 비동차 시스템에서 행렬 크기와 계산 시간을 크게 감소시켰다: HFE_35_96의 경우 GVW는 1시간을 초과했지만 M-GVW는 57.988초 만에 완료되었다.
• 21×21 시스템에서 M-GVW는 차수 < 4인 924개의 변형된 쌍을 발견했고, 유사한 행렬 차수에도 불구하고 계산 시간은 14.991초에서 8.226초로 감소했다.
• HFE_25_96의 경우 M-GVW는 행렬 크기를 63341×68298에서 14271×15222로 줄였고, 시간은 131.806초에서 3.418초로 감소시켰다.
• 모든 테스트 예제에서 M-GVW는 Maple, Singular, Magma를 모두 앞섰으며, HFE 시스템에서는 최대 10배의 속도 향상을 기록했다.
• M4RI 최적화를 적용한 M-GVW는 Maple, Singular, Magma의 내장 함수보다 뛰어난 성능을 보였고, 특히 GF(2)에서의 밀도 있는 행렬 처리에 유리했다.
• 행렬 소거 과정에서 새롭게 도입한 스위핑 방법은 효율성을 유지했으며, mzd_ple()과 gvw_ple()는 거의 동일한 성능을 보였다.