[논문 리뷰] The Berlekamp-Massey Algorithm via Minimal Polynomials

Graham H. Norton|arXiv (Cornell University)|2010. 01. 11.

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

한 줄 요약

이 논문은 아핀 다항식과 색인 함수를 사용하여 교환 법칙을 따르는 정수환 위에서 재귀적 최소 다항식 정리를 제시하며, 베르레크람-마스비 알고리즘의 새로운 유도를 가능하게 한다. 이는 체 위에서 $2\lfloor n^2/4 \rfloor$의 곱셈 연산을 가지는 나눗셈이 없는 반복 알고리즘을 제공하며, 고전적 서술 방식에 비해 투명하고 대수학적으로 탄탄한 대안을 제공한다.

ABSTRACT

We present a recursive minimal polynomial theorem for finite sequences over a commutative integral domain $D$. This theorem is relative to any element of $D$. The ingredients are: the arithmetic of Laurent polynomials over $D$, a recursive 'index function' and simple mathematical induction. Taking reciprocals gives a 'Berlekamp-Massey theorem' i.e. a recursive construction of the polynomials arising in the Berlekamp-Massey algorithm, relative to any element of $D$. The recursive theorem readily yields the iterative minimal polynomial algorithm due to the author and a transparent derivation of the iterative Berlekamp-Massey algorithm. We give an upper bound for the sum of the linear complexities of $s$ which is tight if $s$ has a perfect linear complexity profile. This implies that over a field, both iterative algorithms require at most $2\lfloor \frac{n^2}{4} floor$ multiplications.

연구 동기 및 목표

• 교환 법칙을 따르는 정수환 위의 유한 수열에 대해 아핀 다항식 산술을 사용한 재귀적 최소 다항식 정리를 개발한다.
• 확장 유클리드 알고리즘에 의존하지 않고, 색인 함수의 재귀적 성질과 간단한 귀납법을 통해 베르레크람-마스비 알고리즘을 재유도한다.
• 나눗셈이 없는, 그리고 임의의 교환 법칙을 따르는 단위를 갖는 정수환에 적용 가능한, 투명하고 대수학적으로 탄탄한 반복 베르레크람-마스비 알고리즘의 유도를 제공한다.
• 완벽한 선형 복잡도 프로파일을 갖는 수열의 선형 복잡도 합에 대한 날카운 상한을 확립한다.
• $\mathbb{F}_q$ 위에서 주어진 선형 복잡도를 갖는 길이 $n$의 수열의 개수에 대한 닫힌 표현식을 유도한다.

제안 방법

• 논문은 베르레크람-마스비 알고리즘의 표준 $m$-파라미터를 대체하기 위해 재귀적 '색인 함수'를 도입하여, 최소 다항식의 재귀적 구성이 가능하게 한다.
• 교환 법칙을 따르는 정수환 $D$ 위에서 아핀 다항식 $D[x^{-1}, x]$의 대수적 구조를 사용하여 유한 수열의 소거 다항식과 최소 다항식을 정의한다.
• 최소 다항식은 수열 길이에 대한 귀납법을 통해 재귀적으로 구성되며, 영원소가 없는 성질과 기본적인 아핀 다항식 산술에만 의존한다.
• 재귀적 최소 다항식의 역수를 취하면 재귀적 베르레크람-마스비 정리가 도출되며, 이는 나눗셈이 없는 반복 알고리즘을 이끈다.
• 선형 복잡도 프로파일의 구조, 특히 완벽한 프로파일을 갖는 수열에 대해 복잡도 경계를 유도하며, 이는 날카운 곱셈 경계를 이끈다.
• 특정 알고리즘 서술에 의존하지 않고, 귀납적 증명을 통해 $\mathbb{F}_q$ 위에서 길이 $n$이고 선형 복잡도 $\ell$인 수열의 정확한 개수를 유도한다.

실험 결과

연구 질문

• RQ1 어떻게 교환 법칙을 따르는 정수환 위에서 아핀 다항식을 사용한 재귀적 최소 다항식 구성으로 베르레크람-마스비 알고리즘을 재유도할 수 있는가?
• RQ2 길이 $n$인 수열이 완벽한 선형 복잡도 프로파일을 갖는 경우, 선형 복잡도 합에 대한 가장 날카운 상한은 무엇인가?
• RQ3 직접적으로 재귀적 최소 다항식 정리에서 나눗셈이 없는 반복 베르레크람-마스비 알고리즘을 도출할 수 있는가?
• RQ4 $\mathbb{F}_q$ 위에서 길이 $n$이고 주어진 선형 복잡도 $\ell$을 갖는 수열의 정확한 수는 얼마인가?
• RQ5 반복 알고리즘의 평균 복잡도는 고전적 서술 방식과 비교해 어떻게 되며, 알고리즘 구현에 의존하지 않고도 도출될 수 있는가?

주요 결과

• 논문은 아핀 다항식과 새로운 색인 함수를 사용한 재귀적 최소 다항식 정리를 확립하여, 임의의 교환 법칙을 따르는 정수환 위에서 베르레크람-마스비 알고리즘의 기초를 마련한다.
• 유도된 반복 베르레크람-마스비 알고리즘은 나눗셈이 없으며, 이전 서술 방식(예: [9, p.148])보다 간단하며, 투명한 유도를 제공한다.
• 체 $\mathbb{F}$ 위에서 이 알고리즘이 요구하는 곱셈 연산의 수는 최대 $2\lfloor n^2/4 \rfloor$이며, 이는 이전의 $\lfloor 3n^2/2 \rfloor$의 상한보다 향상된 것이다.
• $\mathbb{F}_q$ 위의 수열에 대해, 선형 복잡도 $\ell$을 갖는 길이 $n$의 수열의 수는 $1 \leq \ell \leq \lfloor n/2 \rfloor$일 때 $q^{2\ell - 2n - 1}(q - 1)$이며, $\lfloor n/2 \rfloor < \ell \leq n$일 때는 $q^{2n - 2\ell}(q - 1)$이다.
• 논문은 [7, Proposition 1]의 평균 복잡도 공식을 알고리즘 구현에 의존하지 않고 직접 귀납적 증명을 통해 유도하여, 선형 복잡도에 따른 수열의 분포를 확인한다.
• 선형 복잡도 합의 상한은 수열이 완벽한 선형 복잡도 프로파일을 갖는 경우 날카로우며, 도출된 복잡도 상한의 최적성은 검증된다.