[论文解读] 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$ 中乘法的张量秩，采用了一种广义的 Chudnovsky 型算法，结合在 $ℚ_{2^4}$ 上的 Garcia-Stichtenoth 塔下降过程中对一、二、四次数的点进行导数评估。关键贡献在于实现了 $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$ 有限域扩张中乘法张量秩的渐近界。
• 开发并应用一种广义的 Chudnovsky 型算法，整合对一、二、四次数点的导数评估。
• 利用 $\mathbb{F}_{2^4}$ 上 Garcia-Stichtenoth 塔的下降结构，构建高效的双线性乘法算法。
• 通过优化算法框架中对点及其导数的使用，实现对双线性复杂度 $\mu_2(n)$ 的更紧界限。

提出的方法

• 作者在 $\mathbb{F}_{2^4}$ 上 Garcia-Stichtenoth 塔的下降过程中，对一、二、四次数的点应用广义 Chudnovsky 算法并进行导数评估。
• 利用代数函数域中的 Riemann-Roch 定理与除子理论，分析函数与微分空间的维数与结构。
• 该方法通过乘法映射的张量分解构建双线性乘法算法，最小化项数（即乘法复杂度）。
• 该构造考虑两种情形：在更高阶步骤 $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 在对一、二、四次数点进行导数评估的广义 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 塔的下降过程中，对一、二、四次数点应用广义 Chudnovsky 算法并进行导数评估而实现。
• 导数评估的使用显著降低了乘法复杂度，相比无此类评估的方法。
• 分析表明，双线性复杂度 $\mu_2(n)$ 上界为关于 $n$ 的线性函数，其斜率为 $\frac{9}{2}(1 + \frac{40}{13}) \approx 18.35$，且与 $n$ 无关。
• 该界限通过构建一个建模复杂度的分段线性函数 $\Phi(n)$ 并证明其位于特定斜率与截距的直线之下而得出，该分析依赖于函数域塔的除子与亏格估计。
• 结果确认张量秩随 $n$ 线性增长，并为 $\mathbb{F}_2$ 提供了目前最紧的渐近常数。