快速数论变换NTT学习笔记

什么是NTT？

数论变换（number-theoretic transform, NTT）是离散傅里叶变换（DFT）在数论基础上的实现。
NTT是一种计算卷积的快速算法，FFT也是其中一种。

但是FFT具有一些实现上的缺点，举例来说，向量必须乘上复数系数的矩阵进行处理，而且每个复数系数的实部和虚部是一个正弦及余弦函数，因此大部分的系数都是浮点数，也就是说，必须做浮点复数运算，计算量会比较大，并且浮点数运算产生的误差会比较大。

NTT解决的是多项式乘法带模数的情况，受到模数的限制，数也比较大。
在数学中，NTT 是关于任意环上的DFT。在有限域的情况下，通常称为数论变换，即NTT。

原根

FFT的实现是找单位圆上的$n$个点${\omega }_n^0,{\omega }_n^1,\dots ,{\omega }_n^n$（称为单位根） ，然后对这些点进行FFT。因此，对于NTT，我们需要在取模域上找到和这个点等价的数。为了找到这$n$个等价的数，我们要使用原根。

令$n$为大于1的2的幂，$p$为质数且$n|(p-1)$，即$n$整除$p-1$ ，则存在本原$n$次方根。对于质数$p=qn+1$，（模$p$意义下的）原根$g$满足：$g^{qn}=1(\mathrm{mod}p)$，将$g_n=g^q(\mathrm{mod}p)=g^{\frac{p-1}{n}}(\mathrm{mod}p)$看作${\omega }_n$的等价。

于是原根$g_n$和单位根${\omega }_n$满足相似的性质！

原根和单位根的等价性

$$g_n=g^{\frac{p-1}{n}}$$

于是，
$$g_n^n=g^{n\cdot \frac{p-1}{n}}=g^{p-1}$$

$$g_n^{\frac{n}{2}}=g^{\frac{p-1}{2}}$$

$$g_{an}^{ak}=g^{\frac{ak(p-1)}{an}}=g^{\frac{k(p-1)}{n}}=g_n^k【对应单位根消去引理】$$

可以得到：
$$g_n^n\equiv 1(\mathrm{mod}p)【对应单位根{\omega }_n^n\equiv 1】$$

$$g_n^{\frac{n}{2}}\equiv -1(\mathrm{mod}p)【对应单位根{\omega }_n^{\frac{n}{2}}\equiv -1】$$

$$g_n^{k+\frac{n}{2}}=g_n^k\cdot g_n^{\frac{n}{2}}=-g_n^k(\mathrm{mod}p)【对应单位根折半引理】$$

$$(g_n^{k+\frac{n}{2}}{)}^2=g_n^{2k+n}=g_n^{2k}\cdot g_n^n=g_n^{2k}(\mathrm{mod}p)$$

我们发现单位根具有的性质原根都有，所以我们将$g_n^k$和$g_n^{k+\frac{n}{2}}$代入，本质上和将${\omega }_n^k$和${\omega }_n^{k+\frac{n}{2}}$代入并无二异！

在INTT中，乘单位根的共轭复数的操作也就会相应地变为乘原根在模意义下的逆元。

常见的模数和原根如下：
$$\begin{gathered} p=1004535809=479\times 2^{21}+1,g=3 \\ p=998244353=7\times 17\times 2^{23}+1,g=3 \end{gathered}$$

快速数论变换（FNTT）

简而言之，FNTT是NTT增加分治操作之后的快速算法，也是FFT在数论基础上的实现。FNTT使用的分治办法，与FFT使用的分治办法完全一致。

DFT、FFT、NTT、FNTT的关系

• 在 DFT与NTT的基础上，增加分治操作，得到FFT与FNTT。分治操作同FFT一致。
• 在DFT与FFT的基础上，将复数加法与复数乘法替换为模$p$意义下的加法和乘法，一般大小限制在0到$p-1$之间；将本原单位根改为模$p$意义下的相同阶数的本原单位根，阶数为2的幂，即可得到NTT与FNTT。

一大堆参考资料

• 快速数论变换（NTT）超详解
• OI Wiki 快速数论变换
• 快速数论变换NTT
• 快速傅立叶变换FFT学习笔记