[論文レビュー] On the tensor rank of multiplication in any extension of $\F_2$

Stéphane Ballet, Julia Pieltant|arXiv (Cornell University)|Mar 9, 2010

Coding theory and cryptography参考文献 21被引用数 25

ひとこと要約

本稿では、$ℚ_{2^4}$ 上のガルシア＝シュティッケノート塔の降下において、1次、2次、4次の場所での導関数評価を組み込んだ一般化されたチュドノフスキー型アルゴリズムを用いて、$ℚ_2$ 上の有限体拡張における乗法のテンソルランクの新たな上限を提示する。主な貢献は、$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次場所における導関数評価を組み込んだ一般化されたチュドノフスキー型アルゴリズムの開発および適用。
• $\mathbb{F}_{2^4}$ 上のガルシア＝シュティッケノート塔の降下を活用し、効率的な双線形乗法アルゴリズムを構築すること。
• アルゴリズム枠組み内での場所およびその導関数の使用を最適化することで、双線形複雑度 $\mu_2(n)$ のより緊密な上限を達成すること。

提案手法

• 著者らは、$\mathbb{F}_{2^4}$ 上のガルシア＝シュティッケノート塔の降下における1次、2次、4次場所での導関数評価を伴う一般化されたチュドノフスキー法を適用する。
• 代数関数体におけるリーマン・ロッホ定理および除数論を用いて、関数および微分形式の空間の次元と構造を分析する。
• この手法は、乗法写像のテンソル分解を通じて双線形乗法アルゴリズムを構築し、項の数（乗法的複雑度）を最小化することを目的としている。
• 2つの場合を検討する：より高い段階 $H_{k,s+1}$ でアルゴリズムを適用する場合、または $H_{k,s}$ で導関数評価を伴って適用する場合で、使用する場所の数を最適化する。
• 双線形複雑度をモデル化するための区分的線形関数 $\Phi_{k,s}(x)$ が定義され、利用可能な場所の数と必要な条件に応じて、傾きが9または $\frac{9}{2}$ に変化する。
• 漸近的上限は、関数 $\Phi(n)$ の上界を分析することで導出され、その値が傾き $\frac{9}{2}(1 + \frac{40}{13})$ の直線より下にあることが示され、最終的に $M_2 \leq \frac{477}{26}$ の上限が得られる。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{F}_2$ の拡張における乗法のテンソルランクの最良の可能な漸近的上限は何か？
• RQ2 1次、2次、4次場所における導関数評価を組み込んだ一般化されたチュドノフスキー法は、従来の手法よりも良い上限をもたらすか？
• RQ3 $\mathbb{F}_{2^4}$ 上のガルシア＝シュティッケノート塔の構造は、$\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}$ 上のガルシア＝シュティッケノート塔の降下において、1次、2次、4次場所での導関数評価を伴う一般化されたチュドノフスキー法を適用することで達成された。
• 導関数評価の使用により、それらを含まない手法と比較して、乗法的複雑度が顕著に低減された。
• 分析により、双線形複雑度 $\mu_2(n)$ が、$n$ に対して線形関数として上界に抑えられ、その傾きが $\frac{9}{2}(1 + \frac{40}{13}) \approx 18.35$ に比例することが示された。この境界は $n$ に依存しない。
• 境界は、関数場の塔からの除数および genus の推定値を用いて、複雑度をモデル化する区分的線形関数 $\Phi(n)$ を構築し、それが特定の傾きと切片を持つ直線の下にあることを証明することで得られた。
• この結果により、テンソルランクが $n$ に対して線形に増加することを確認し、$\mathbb{F}_2$ に対しては、これまでに得られた中で最も緊密な漸近的定数が得られた。