[논문 리뷰] Faster integer and polynomial multiplication using cyclotomic coefficient rings

David Harvey, Joris van der Hoeven|arXiv (Cornell University)|2017. 12. 11.

Coding theory and cryptography참고 문헌 11인용 수 8

한 줄 요약

이 논문은 순환계수환을 이용한 새로운 정수 곱셈 알고리즘을 제안하며, 시간 복잡도 $ O(n\log n\,(4\sqrt{2})^{\log^{*}n}) $을 달성하여 이전에 알려진 최선의 bound인 $ O(n\log n\,6^{\log^{*}n}) $ 보다 향상시킨다. 이 방법은 모듈로 산술을 통한 재귀적 분해와 순환환 내에서 최적화된 단위근의 구조에 기반하며, 동일한 프레임워크를 사용하여 유한체 위 다항식 곱셈에도 유사한 향상이 이루어진다.

ABSTRACT

We present an algorithm that computes the product of two n-bit integers in O(n log n (4\sqrt 2)^{log^* n}) bit operations. Previously, the best known bound was O(n log n 6^{log^* n}). We also prove that for a fixed prime p, polynomials in F_p[X] of degree n may be multiplied in O(n log n 4^{log^* n}) bit operations; the previous best bound was O(n log n 8^{log^* n}).

연구 동기 및 목표

• 기존에 알려진 최선의 bound인 $ O(n\log n\,6^{\log^{*}n}) $ 보다 정수 곱셈의 점근적 시간 복잡도를 향상시키는 것.
• 프러러의 방법과 같이 근사적인 복소수 산술에 의존하지 않는, 모듈로 산술 기반의 알고리즘을 개발하는 것.
• 고정된 $ p $ 에 대해 $ \mathbb{F}_p[X] $ 위에서 다항식 곱셈에 대해 $ O(n\log n\,4^{\log^{*}n}) $ 의 복잡도를 달성함으로써 개선된 복잡도 bound를 확장하는 것.
• 데이터 확장을 재귀 수준 간 최소화하기 위해 순환계수환과 정교한 재귀적 분해 기법을 사용하여 새로운 이론적 기반을 구축하는 것.
• 정수 곱셈에서 상수 $ K_{\mathbb{Z}} = 4\sqrt{2} \approx 5.657 $ 가 조건 없이 달성 가능하다는 것을 입증하여, $ K_{\mathbb{Z}} = 4 $ 라는 열린 추측에 다가서는 것.

제안 방법

• 알고리즘은 순환환 위에서의 모듈로 산술에 기반한 재귀적 분해 전략을 사용하며, 근사적인 복소수 산술이 필요로 하지 않는다.
• 데이터 확장을 재귀 수준 간 제어하기 위해 $ p $-허용 가능한 길이와 철저히 선택된 가중치를 활용하는 정교한 재귀적 구조를 도입한다.
• 세 번의 연속된 재귀 호출을 적용한다: 첫 번째로 허용 가능한 곱셈 비용을 추정하고, 두 번째로 다항식 곱셈 비용을 정밀화하며, 마지막으로 다시 정수 곱셈으로 환원한다.
• 다양한 척도에서의 볼록 조합 경계를 가능하게 하는, 합이 1이 되는 새로운 가중치 체계 $ \gamma_{p,i} $ 와 $ \gamma_{p,i,j} $ 를 사용한다.
• 분석은 $ \operatorname{\mathsf{C}^{\star}_{\mathrm{int}}}(n) $ 를 포함하는 재귀 부등식에 기반하며, 상수 배수와 더 작은 정수 곱셈 비용 $ \operatorname{\mathsf{C}^{\star}_{\mathrm{int}}}(n_{p,i,j}) $ 의 가중합으로 유계화된다.
• 핵심 기술적 구성 요소로는 $ \Psi(x) = 2^{(\log\log x)^8} $ 와 같은 천천히 증가하는 함수를 사용하여 모든 재귀 하위 문제들이 필요한 크기 범위 내에 유지되도록 보장하는 것이다.

실험 결과

연구 질문

• RQ1 모듈로 산술을 사용하여, 복잡도 상수 $ K_{\mathbb{Z}} $ 를 6 이하로 낮출 수 있는가?
• RQ2 근사적인 복소수 산술에 의존하지 않고도 정수 곱셈에서 $ K_{\mathbb{Z}} = 4\sqrt{2} \approx 5.657 $ 를 달성할 수 있는가?
• RQ3 동일한 재귀 프레임워크를 고정된 $ p $ 에 대해 $ \mathbb{F}_p[X] $ 위에서 다항식 곱셈에 대해 개선된 bound 를 달성하도록 적응시킬 수 있는가?
• RQ4 순환계수환은 재귀 곱셈 알고리즘에서 데이터 확장을 최소화하는 데 어떻게 활용될 수 있는가?
• RQ5 오직 결정적이고 모듈로 산술 연산만을 가정할 때, 정수 곱셈의 최소 달성 가능한 $ K_{\mathbb{Z}} $ 값은 무엇인가?

주요 결과

• 논문은 정수 곱셈 복잡도 $ O(n\log n\,(4\sqrt{2})^{\log^{*}n}) $ 을 달성하여 이전 최선의 bound인 $ O(n\log n\,6^{\log^{*}n}) $ 보다 향상시켰다.
• 새로운 알고리즘은 완전히 모듈로 산술에 기반하며, 빠른 단위근이나 근사적인 복소수 산술을 필요로 하지 않는다.
• 고정된 $ p $ 에 대해 $ \mathbb{F}_p[X] $ 위에서 다항식 곱셈에 대해 $ O(n\log n\,4^{\log^{*}n}) $ 비트 연산을 달성하여 이전의 bound인 $ O(n\log n\,8^{\log^{*}n}) $ 보다 향상시켰다.
• 순환계수환을 이용한 재귀적 분해와 다양한 척도에서의 가중 평균을 통한 데이터 확장 제어를 통해 향상이 이루어졌다.
• 분석은 모든 재귀 하위 문제가 $ \Psi(\Psi(n)) $ 의 크기 범위 내에 유지됨을 확인하였으며, 여기서 $ \Psi(x) = 2^{(\log\log x)^8} $ 이다. 이는 재귀적 구조가 잘 정의되어 있음을 보장한다.
• 결과적으로 $ K_{\mathbb{Z}} = 4\sqrt{2} \approx 5.657 $ 가 조건 없이 달성 가능하다는 것이 입증되었으며, 이는 $ K_{\mathbb{Z}} = 4 $ 라는 열린 추측에 한층 더 가까워지게 한다.