[논문 리뷰] On the tensor rank of multiplication in any extension of $\F_2$

Stéphane Ballet, Julia Pieltant|arXiv (Cornell University)|2010. 03. 09.

Coding theory and cryptography참고 문헌 21인용 수 25

한 줄 요약

이 논문은 $ℚ_2$의 유한체 확장에서의 곱셈에 대한 텐서 랭크에 대한 새로운 경계를 제시한다. $ℚ_{2^4}$ 위의 Garcia-Stichtenoth 타워의 내림내림에서 차수 1, 2, 4인 점들에서의 도함수 평가를 포함한 일반화된 Chudnovsky 유형 알고리즘을 사용하여, 이 경계를 도출한다. 주요 기여는 $M_2 \leq \frac{477}{26} \approx 18.35$로 향상된 渐近 경계를 제공함으로써 이전 결과를 초월하고, $\mathbb{F}_2$에 대한 이중선형 복잡도 분야에서 최신 기술 수준을 향상시킨다는 점이다.

ABSTRACT

In this paper, we obtain new bounds for the tensor rank of multiplication in any extension of $\F_2$. In particular, it also enables us to obtain the best known asymptotic bound. In this aim, we use the generalized algorithm of type Chudnovsky with derivative evaluations on places of degree one, two and four applied on the descent over $\F_2$ of a Garcia-Stichtenoth tower of algebraic function fields defined over $\F_{2^4}$.

연구 동기 및 목표

• 유한체 확장 $\mathbb{F}_2$에서의 곱셈에 대한 알려진 渐近 경계를 향상시키는 것.
• 차수 1, 2, 4인 점들에서의 도함수 평가를 포함한 일반화된 Chudnovsky 유형 알고리즘을 개발하고 적용하는 것.
• $\mathbb{F}_{2^4}$ 위의 Garcia-Stichtenoth 타워의 내림내림을 활용하여 효율적인 이중선형 곱셈 알고리즘을 구축하는 것.
• 알고리즘 프레임워크 내에서 점들과 그 도함수의 사용을 최적화하여 이중선형 복잡도 $\mu_2(n)$에 대한 더 날카운 경계를 달성하는 것.

제안 방법

• 저자들은 $\mathbb{F}_{2^4}$ 위의 Garcia-Stichtenoth 타워의 내림내림에서 차수 1, 2, 4인 점들에서 도함수 평가를 포함한 일반화된 Chudnovsky 알고리즘을 적용한다.
• 대수적 함수장 이론에서의 리만-로흐 정리와 분할 이론을 사용하여 함수와 미분형식의 공간의 차원과 구조를 분석한다.
• 곱셈 사상의 텐서 분해를 통한 이중선형 곱셈 알고리즘을 구성하고, 항의 수를 최소화함으로써 다항식 복잡도를 최소화한다.
• 두 경우를 고려한다: 더 높은 단계 $H_{k,s+1}$ 에서 알고리즘을 적용하거나, $H_{k,s}$ 에서 도함수 평가를 포함하여 사용함으로써 사용된 점의 수를 최적화한다.
• 이중선형 복잡도를 모델링하기 위해 조각별 선형 함수 $\Phi_{k,s}(x)$ 를 정의하며, 가용한 점의 수와 필요한 조건에 따라 기울기가 9 또는 $\frac{9}{2}$ 가 되는 영역에 따라 결정된다.
• 최종 경계 $M_2 \leq \frac{477}{26}$ 를 도출하기 위해 함수 $\Phi(n)$ 의 상한을 분석하며, 기울기가 $\frac{9}{2}(1 + \frac{40}{13})$ 인 직선 아래에 존재함을 보여준다.

실험 결과

연구 질문

• RQ1 $\mathbb{F}_2$ 확장에서의 곱셈에 대한 텐서 랭크에 대해 가능한 가장 좋은 渐近 경계는 무엇인가?
• RQ2 차수 1, 2, 4인 점들에서의 도함수 평가를 포함한 일반화된 Chudnovsky 알고리즘이 이전 방법보다 더 나은 경계를 도출할 수 있는가?
• RQ3 $\mathbb{F}_{2^4}$ 위의 Garcia-Stichtenoth 타워의 구조는 $\mathbb{F}_2$로 내림내림했을 때 어떤 방식으로 더 나은 경계를 가능하게 하는가?
• RQ4 도함수 평가는 $\mathbb{F}_2$에서의 이중선형 알고리즘에서 다항식 복잡도를 감소시키는 데 어떤 역할을 하는가?
• RQ5 점근적 영역에서 이중선형 복잡도 $\mu_2(n)$ 는 $n$ 과 무관하게 경계를 가질 수 있는가? 만약 그렇다면, 가장 날카운 경계는 무엇인가?

주요 결과

• 논문은 $\mathbb{F}_2$ 확장에서의 곱셈에 대한 텐서 랭크에 대해 새로운 渐近 경계를 확립한다: $M_2 \leq \frac{477}{26} \approx 18.35$, 이는 이전에 알려진 경계를 초월한다.
• 향상된 경계는 $\mathbb{F}_{2^4}$ 위의 Garcia-Stichtenoth 타워의 내림내림에서 차수 1, 2, 4인 점들에서 도함수 평가를 포함한 일반화된 Chudnovsky 알고리즘을 적용함으로써 달성된다.
• 도함수 평가의 사용은 이러한 평가가 없는 방법에 비해 다항식 복잡도를 상당히 감소시킨다.
• 분석 결과, 이중선형 복잡도 $\mu_2(n)$ 는 기울기가 $\frac{9}{2}(1 + \frac{40}{13}) \approx 18.35$ 인 선형 함수에 의해 위에서 유계이므로, $n$ 과 무관하게 유계임을 보여준다.
• 경계는 점들과 그 도함수의 사용에 기반한 함수장 타워의 분할 및 종수 추정을 사용하여, 복잡도를 모델링하는 조각별 선형 함수 $\Phi(n)$ 을 구성하고, 이 함수가 특정 기울기와 절편을 가진 직선 아래에 있음을 증명함으로써 도출된다.
• 결과는 텐서 랭크가 $n$ 과 함께 선형으로 증가하며, $\mathbb{F}_2$에 대해 알려진 바 중 가장 날카운 점근적 상수를 제공함을 확인한다.