【学习笔记】斯特林反演+单位根反演

仰望星空的蚂蚁

已于 2023-05-22 15:53:38 修改

阅读量693

点赞数

文章标签：学习笔记机器学习

于 2023-05-03 20:06:32 首次发布

本文链接：https://blog.csdn.net/cqbzlydd/article/details/130471645

版权

upd：抄了一下 $\text{ppt}$ 。

$1.1$ 斯特林反演

有两个恒等式：

$[i=j]=\sum (-1)^{i-k}\begin{bmatrix}i \\ k\end{bmatrix}\begin{Bmatrix}k \\ j\end{Bmatrix}$

$[i=j]=\sum (-1)^{i-k}\begin{Bmatrix}i \\ k\end{Bmatrix}\begin{bmatrix}k \\ j\end{bmatrix}$

证明：首先要用到恒等式： $n^m=\sum \begin{Bmatrix}m \\ k\end{Bmatrix}\binom{n}{k}k!$ ，证明考虑 $m$ 个不同的球放进 $n$ 个不同的盒子的情况。注意这里 $k$ 的求和上限是 $m$ 。组合数是我们所熟悉的，因此这个式子可以用来求幂和。

然后，如果你对第一类斯特林数的生成函数以及上升幂转下降幂比较熟悉的话：

$x^{\overline n}=\sum \begin{bmatrix}n \\ k\end{bmatrix}x^k$

转成下降幂：

$x^{\underline n}=\sum (-1)^{n-i}\begin{bmatrix}n \\ i\end{bmatrix}x^i \\=\sum (-1)^{n-i}\begin{bmatrix}n\\ i\end{bmatrix}\sum \binom{x}{j}j!\begin{Bmatrix}i\\ j\end{Bmatrix} \\=\sum x^{\underline j}(-1)^{n-i}\begin{bmatrix}n\\ i\end{bmatrix}\begin{Bmatrix}i\\ j\end{Bmatrix}$

比较左右两式就能证明了。

$n^m=\sum \begin{Bmatrix}m\\ i\end{Bmatrix}n^{\underline i} \\=\sum \begin{Bmatrix}m\\ i\end{Bmatrix}(-1)^i(-n)^{\overline i} \\=\sum \begin{Bmatrix}m\\ i\end{Bmatrix}(-1)^i\sum \begin{bmatrix}i\\ j\end{bmatrix}(-n)^j \\=\sum (-n)^j\sum (-1)^i\begin{bmatrix}i\\ j\end{bmatrix}\begin{Bmatrix}m\\ i\end{Bmatrix} \\=\sum n^j\sum (-1)^{i-j}\begin{Bmatrix}m\\ i\end{Bmatrix}\begin{bmatrix}i\\ j\end{bmatrix}$

同样比较两式可以证明。

然后有如下结论：

$g(n)=\sum_{i=0}^n\begin{Bmatrix}n \\ i\end{Bmatrix}f(i)\Rightarrow f(n)=\sum_{i=0}^n(-1)^{n-i}$ $\begin{bmatrix}n \\ i\end{bmatrix}g(i)$

$g(n)=\sum_{i=0}^n\begin{bmatrix}n \\ i\end{bmatrix}f(i)\Rightarrow f(n)=\sum_{i=0}^n(-1)^{n-i}$ $\begin{Bmatrix}n \\ i\end{Bmatrix}g(i)$

这两个式子的证明都是非常容易的。比如，我们设 $a_{i,j}=\begin{bmatrix}i\\ j\end{bmatrix},b_{i,j}=(-1)^{i-j}\begin{Bmatrix}i\\ j\end{Bmatrix},c_{i,j}=\sum a_{i,k}b_{k,j}=\sum \begin{bmatrix}i\\ j\end{bmatrix}(-1)^{j-k}\begin{Bmatrix}j\\ k\end{Bmatrix}=[i=j]=I$ ，那么 $AF=G\Rightarrow F=BG$ ，对矩阵运算法则比较熟悉的话显然不难理解。后者也同理。