[论文解读] Computing Igusa's local zeta functions of univariate polynomials, and linear feedback shift registers

W. A. Zúñiga‐Galindo|ArXiv.org|Apr 16, 2002

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

一句话总结

本文提出了一种计算单变量多项式 $ f(x) \in \mathbb{Z}[x] $ 的 Igusa 局部 zeta 函数 $ Z(s,f) $ 的多项式时间算法，其分裂域为 $ \mathbb{Q} $，利用 $ p $-进积分域的树状分解。关键贡献是给出了 zeta 函数系数的显式、可高效计算的公式，从而实现了对 $ f(x) \equiv 0 \mod p^m $ 的 $ p^m $-解数量的高效计算，时间复杂度为 $ O(nd_f l_f) $ 次算术运算。

ABSTRACT

In this paper we present a polynomial time algorithm to compute the local zeta function Z(s,f) attached to a polynomial f(x) in Z[x] (in one variable, with splitting field Q) and a prime p. The algorithm reduces in polynomial time the computation of Z(s,f) to the computation of a factorization of f(x) over Q. This reduction is accomplished by constructing a weighted tree from the p-adic expansion of the roots of f(x) modulo a certain power of p, and then associating a generating function to this tree. The generating function constructed in this way coincides with the local zeta function of f(x). We also propose a new class of candidates for one-way functions based on Igusa's zeta functions attached to polynomials in one variable.

研究动机与目标

• 开发一种计算单变量多项式在分裂域为 $ \mathbb{Q} $ 条件下的 Igusa 局部 zeta 函数 $ Z(s,f) $ 的多项式时间算法。
• 为 $ Z(s,f) $ 的计算提供显式的时间复杂度估计，填补先前研究中缺乏此类界值的空白。
• 建立 Igusa zeta 函数与新型线性反馈移位寄存器（LFSRs）构造之间的联系。
• 解决高效计算序列 $ \{N_m(f,p)\} $ 的问题，即模 $ p^m $ 下的解数，针对整数环上的单变量多项式。

提出的方法

• 该方法使用树结构 $ T(f, l_f) $ 对 $ p $-进积分域 $ \mathbb{Z}_p $ 进行分解，基于牛顿多边形和奇点解耦数据。
• 对每个顶点 $ u \in T(f, l_f) $，通过涉及 $ p $、$ l(u) $、$ W(u) $ 和 $ W^*(B_u) $ 的显式有理函数计算 zeta 函数 $ Z(t,f) $ 的局部贡献 $ L_u(t) $。
• 幂级数 $ Z(t,f) = \sum c_j t^j $ 的系数 $ c_j(f,p) $ 表示为 $ c_j(f,p) = \sum_{u \in T(f,l_f)} a_j(u) $，其中 $ a_j(u) $ 是 $ p $ 和顶点 $ u $ 的组合不变量的有理函数。
• 通过恒等式 $ N_n(f,p) = p^n - \sum_{j=1}^n p^n c_{j-1}(f,p) $ 计算 $ N_m(f,p) $，使用 $ O(n) $ 次算术运算，操作数的二进制长度为 $ O(n \log p) $。
• 计算 $ c_j(f,p) $ 的复杂度由 $ O(d_f l_f) $ 次算术运算控制，操作数的二进制长度为 $ O(\max\{(j+l_f)\log p, \log p, \log(d_f l_f)\}) $。
• 新型 LFSR 的构造基于序列 $ \{N_m(f,p)\} $，该序列被证明可通过 zeta 函数在多项式时间内计算。

实验结果

研究问题

• RQ1 能否为分裂域为 $ \mathbb{Q} $ 的单变量多项式高效计算 Igusa 局部 zeta 函数 $ Z(s,f) $？
• RQ2 在给定条件下，计算模 $ p^m $ 下解数 $ N_m(f,p) $ 的计算复杂度是多少？
• RQ3 zeta 函数的系数能否用分辨率树 $ T(f,l_f) $ 的组合不变量表示？
• RQ4 Igusa zeta 函数与新型线性反馈移位寄存器（LFSRs）设计之间是否存在可构造的联系？
• RQ5 尽管相关问题（如模 2 下解数的计数）是 NP-完全的，能否将 $ Z(s,f) $ 的计算归约为图灵机上的多项式时间可解问题？

主要发现

• 本文为分裂域为 $ \mathbb{Q} $ 的单变量多项式 $ f(x) \in \mathbb{Z}[x] $ 提供了一种计算 $ Z(s,f) $ 的多项式时间算法，解决了计算数论中长期悬而未决的开放问题。
• 计算 zeta 函数级数系数 $ c_j(f,p) $ 的复杂度由 $ O(d_f l_f) $ 次算术运算控制，操作数的二进制长度为 $ O(\max\{(j+l_f)\log p, \log p, \log(d_f l_f)\}) $。
• 模 $ p^n $ 的解数 $ N_n(f,p) $ 可通过 $ O(n) $ 次算术运算从系数 $ c_j(f,p) $ 计算得出，操作数的二进制长度为 $ O(n \log p) $。
• 该算法基于序列 $ \{N_m(f,p)\} 构造了一类新型线性反馈移位寄存器（LFSRs），该序列可通过 zeta 函数高效计算。
• 该方法显式地将 $ Z(t,f) $ 表示为有限树 $ T(f,l_f) $ 上的求和，其中每一项 $ L_u(t) $ 由依赖于 $ p $、$ l(u) $、$ W(u) $ 和 $ W^*(B_u) $ 的有理函数给出。
• 本文证明了在给定条件下，$ N_m(f,p) $ 的计算与 $ Z(s,f) $ 的计算相互多项式时间归约。