[論文レビュー] Some algorithms for skew polynomials over finite fields

Xavier Caruso, Jérémy Le Borgne|arXiv (Cornell University)|Dec 14, 2012

Coding theory and cryptography参考文献 9被引用数 12

ひとこと要約

本稿では、アズマヤ代数の理論と縮小ノルムを活用することで、複雑性が向上した非可換多項式の因数分解アルゴリズムを提案する。商環の構造を活用し、高速算術とノルムに基づく簡約を用いることで、可換多項式因数分解と同等の複雑性を達成し、理論的・実用的にGiesbrechtの手法を著しく上回る。

ABSTRACT

In this paper, we study the arithmetics of skew polynomial rings over finite fields, mostly from an algorithmic point of view. We give various algorithms for fast multiplication, division and extended Euclidean division. We give a precise description of quotients of skew polynomial rings by a left principal ideal, using results relating skew polynomial rings to Azumaya algebras. We use this description to give a new factorization algorithm for skew polynomials, and to give other algorithms related to factorizations of skew polynomials, like counting the number of factorizations as a product of irreducibles.

研究の動機と目的

• 有限体上の非可換多項式環における算術および因数分解のための効率的アルゴリズムの開発。
• Giesbrechtの手法などの既存手法よりも、非可換多項式因数分解の計算複雑性を低減すること。
• アズマヤ代数と縮小ノルムを用いた理論的枠組みを提供し、高速かつ構造的な計算を可能にすること。
• 非可換多項式の因数分解の数え上げおよび一様ランダム抽出のためのアルゴリズムの設計および実装。
• SageおよびMagmaにおける実装を通じて、実用的効率の妥当性を示すこと。

提案手法

• 理論的基盤：$k[X,\sigma][1/X]$ が $k^\sigma[X^r][1/X^r]$ 上でアズマヤ代数であることを証明し、縮小ノルム写像の利用を可能にする。
• 縮小ノルム $\mathcal{N}: k[X,\sigma] \to k[X^r]$ を用いて、非可換多項式を中心的要素へ写像し、因数分解を簡素化する。
• $k^\sigma$ 上の大きな行列計算を、$k[X,\sigma]/k[X,\sigma]P$ の構造を活用した、体拡大上のより小さな行列演算に置き換える。
• 非可換多項式環における最適化された算術を用いて、高速な乗算およびGCDアルゴリズムを開発する。
• 中心的倍数 $N = \mathcal{N}(P)$ を計算し、それを可換中心で因数分解した後、因数分解を持ち上げることで、因数分解アルゴリズム SkewFactorization を構築する。
• 商モジュール内の巡回ベクトルへの自己準同型代数の作用をシミュレートすることで、一様ランダム因数分解生成器を構築する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の非可換多項式の因数分解は、可換多項式因数分解と同等の複雑性で行えるか？
• RQ2 商環 $k[X,\sigma]/k[X,\sigma]P$ の代数的構造は、計算コストの低減にどのように利用できるか？
• RQ3 縮小ノルム写像 $\mathcal{N}$ は、効率的な因数分解および数え上げアルゴリズムを可能にする役割を果たすか？
• RQ4 非可換多項式のすべての因数分解から一様ランダムに抽出するための効率的アルゴリズムを設計できるか？
• RQ5 非可換多項式環における高速算術は、全体のアルゴリズム的性能向上にどのように活用できるか？

主な発見

• 提案された SkewFactorization アルゴリズムの複雑性は、$\tilde{O}(dr^3\log q + d\log^2 q + d^{1+\varepsilon}(\log q)^{1+o(1)} + F(d,k^\sigma))$ ビット演算であり、$F(d,k^\sigma)$ は $k^\sigma$ 上の次数 $d$ の可換多項式を因数分解するコストを表す。
• $r^3 \ll d$ の場合、支配的項は $F(d,k^\sigma)$ になり、結果として可換因数分解と漸近的に同等の効率性を達成する。
• 縮小ノルム写像 $\mathcal{N}$ により、中心的倍数の計算が効率的に行えるようになり、高価な行列ベースの構成が置き換えられる。
• 双対型とノルム因数分解を用いた、非可換多項式の因数分解の数え上げの閉形式式が提供されている。
• 自己準同型代数の作用を巡回ベクトル上でシミュレートすることで、一様ランダム因数分解アルゴリズムが設計され、成功確率は $0.53(1 - 1/q^d)$ 以上で下から抑えられる。
• すべてのアルゴリズムはSageおよびMagmaで実装されており、公開されたコードを用いて実用的効率性と正しさが確認された。