[논문 리뷰] On the Complexity of the F5 Gröbner basis Algorithm

Magali Bardet, Jean‐Charles Faugère외 1명|arXiv (Cornell University)|2013. 12. 05.

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

한 줄 요약

이 논문은 변수가 동시에 노이터 위치에 있을 때 페우제르의 F5 그로버 기저 알고리즘의 복잡도를 분석하며, 다항식의 수와 연산 수에 대한 날카러운 경계를 제공한다. 표준 가우스 소거법을 사용할 경우 F5는 중간에서 높은 차수의 경우 기존의 행렬 축소 기법보다 성능이 뛰어나며, 특히 스트라센 행렬 곱셈을 사용할 경우 변수 수가 증가함에 따라 성능 향상이 지수적으로 증가함을 보여준다.

ABSTRACT

We study the complexity of Gröbner bases computation, in particular in the generic situation where the variables are in simultaneous Noether position with respect to the system. We give a bound on the number of polynomials of degree $d$ in a Gröbner basis computed by Faugère's $F_5$ algorithm~(Fau02) in this generic case for the grevlex ordering (which is also a bound on the number of polynomials for a reduced Gröbner basis, independently of the algorithm used). Next, we analyse more precisely the structure of the polynomials in the Gröbner bases with signatures that $F_5$ computes and use it to bound the complexity of the algorithm. Our estimates show that the version of~$F_5$ we analyse, which uses only standard Gaussian elimination techniques, outperforms row reduction of the Macaulay matrix with the best known algorithms for moderate degrees, and even for degrees up to the thousands if Strassen's multiplication is used. The degree being fixed, the factor of improvement grows exponentially with the number of variables.

연구 동기 및 목표

• 변수가 동시에 노이터 위치에 있을 때 F5 알고리즘의 복잡도를 일반적인 경우에 분석하는 것.
• grevlex 순서에서 F5가 계산하는 그로버 기저에 포함된 차수 d의 다항식 수를 경계하는 것.
• 표준 가우스 소거법을 사용한 F5의 계산 복잡도를 추정하고 기존의 행렬 축소 기법과 비교하는 것.
• 특히 고차수 및 고변수 시스템에서 F5가 기존 방법보다 성능상 우월한 이유를 조사하는 것.
• 암호학과 같은 실용적 응용에서 F5의 효율성에 대한 이론적 기초를 제공하는 것.

제안 방법

• 저자들은 F5 계산에서 서명의 구조를 이용하여 그로버 기저에 포함된 차수 d의 다항식 수에 대한 경계를 유도한다.
• 특히 상단 감소와 완전 감소에 중점을 두어 F5에서 사용하는 행렬의 희박성과 감소 구조를 분석한다.
• 맥컬레이 행렬에 대한 가우스 소거법에 필요한 연산 수를 모델링하여 복잡도를 추정하며, 행렬 곱셈의 지수 ω를 포함한다.
• 시스템이 동시에 노이터 위치에 있다고 가정하여 정규성 지수 경계가 유지됨을 보장한다.
• 상단 감소와 완전 감소 버전의 F5를 비교하여, 완전 감소가 더 희박한 행렬을 생성하고 성능이 뛰어남을 보여준다.
• 맥컬레이의 중간 다항식의 차수에 대한 경계를 사용하여 渐近 복잡도 추정을 도출한다.

실험 결과

연구 질문

• RQ1 일반적인 경우에서 grevlex 순서에서 F5가 계산하는 그로버 기저에 포함된 차수 d의 다항식의 최대 수는 얼마인가요?
• RQ2 고차수 다항식 시스템에서 F5의 복잡도는 표준 행렬 축소 기법과 비교해 어떻게 되나요?
• RQ3 스트라센 행렬 곱셈 알고리즘을 사용할 경우 F5의 성능에 어떤 영향을 미치나요?
• RQ4 변수 수가 증가함에 따라 완전 감소 버전의 F5가 상단 감소 버전보다 성능이 뛰어나지는 이유는 무엇인가요?
• RQ5 F5에서의 행렬 희박성은 조밀한 행렬 연산 대비 계산 비용을 얼마나 줄이는가요?

주요 결과

• F5가 계산하는 그로버 기저에 포함된 차수 d의 다항식 수는 (δ^m - 1)/(δ - 1) 이하로 경계된다. 여기서 δ는 입력 다항식의 평균 차수이다.
• 고정된 차수 δ에 대해 F5의 성능 향상은 변수 수 n에 따라 지수적으로 증가한다.
• 표준 가우스 소거법을 사용한 F5는 중간 차수의 경우 기존의 행렬 축소 기법보다 뛰어나며, 스트라센 행렬 곱셈을 적용할 경우 수천 차수까지도 성능이 뛰어나다.
• 완전 감소 버전의 F5는 상단 감소 버전보다 더 희박한 중간 행렬을 생성하므로 변수 수가 증가함에 따라 더 효율적이다.
• 이론적 경계와 실험 결과 사이의 격차는 실생활에서의 행렬 희박성과 비균일한 감소 패턴 탓이다.
• 복잡도 추정은 n에 대해 지수적으로 증가하며, 차수 δ의 시스템에 대해 지수 ω(n - ℓ)를 가지며, 해의 다양체 크기와 다항식으로 표현 가능한 경우에 해의 다양체가 0차원일 때 이는 다양체 크기의 다항식이다.