对角化
在众多 dp 问题中，我们经常可以用矩阵快速幂进行优化。更进一步地，如果这个递推矩阵是一个形如
，矩阵快速幂就显得大财小用了。因为显然
。
对于这种只有主对角线上有值的矩阵，称为对角矩阵，它显然拥有很好的性质。
那么我们不禁思考，如何将一个普通矩阵变为对角矩阵
呢。
矩阵是线性变换，为什么对角阵有好的性质，是因为其仅仅是在各个坐标轴方向上的伸缩。
对于一个普通的矩阵，如果我们能通过相似变换把它换到对角阵的基下，那么计算它的幂次将也非常容易。
具体来说，我们反过来做。如果有一个对角阵
，考虑先将其通过
转换坐标到矩阵
的基底的意义下，然后施加操作
，最后再
回来。这与直接做
的效果是一样的。
也就是
。
现在的问题变成了如何求
。两边同时左乘
，得到
。我们设
，
（列向量组），最终左边乘出来的结果是
，右边乘出来是
。由于我们还要求
可逆，因此，选出来的这个
向量组还得线性无关。也就是说，对于这个矩阵
，我们要找到一些向量
，满足
。这就引出了我们接下来的主角。
特征值与特征向量
如果对于矩阵
，存在一个 非零向量
，和值
，满足
。那么就称
是
的一个特征值，
是
的一个属于
的特征向量。
意思是，
在
的作用下只做了伸缩操作。同时这个
不能为 0，要不然上面的
矩阵肯定就线性相关了。同时注意，特征向量表示的是矩阵变换中只有伸缩变换没有旋转变换的方向向量，特征值是这个方向的伸缩系数，一个方向当然只有一个伸缩系数。所以，不同特征值对应的特征向量是互相线性无关的。
考虑如何求解特征值和特征向量，对上式移项，得
。由于
不是 0，这意味着发生了坍缩，
要等于
。这个行列式是一个关于
的
次多项式，我们考虑对其进行因式分解，变成
注意这里我们把重根合并起来写了。然后就可以解出所有特征值了。如果还想求解特征向量，我们把每一个特征值回代，然后解出哪些向量在该线性变化下被缩到了 0。具体来说就是求出一个齐次线性方程组的基础解系之后再求出通解。
回到上面，我们称
是矩阵
的特征多项式，
是
的代数重数，而一个
对应所有线性无关的特征向量的个数叫做几何重数，也即
（直观上就是能让几个不同方向的向量坍缩到 0）。注意到
。
接下来，我们给出一条重磅性质，一个矩阵
能被相似对角化，当且仅当对于每个特征值几何重数 = 代数重数。
为了解决上面那个问题，我们进一步考虑，什么情况下一个矩阵无法被相似对角化。
一开始，我们提到
，也就是说，我们必须能选出
个线性无关的向量，来作为相似变换的
矩阵。观察发现，这个几何重数之和正好对应了我们能选出多少个线性无关的向量。那么稍微想一下，上面那个结论就很自然了。
既然有一些矩阵注定无法被对角化，那么就拿他们没办法了吗？由于最小多项式和特征多项式的一些性质和接下来的内容是分不开的，所以我们花一些篇幅来讲如何对一些没办法完全对角化的矩阵进行类似对角化的化简。
广义特征向量与 Jordan 型
我们延续上面对角化的思路，采用相似变换的方式。现在的问题是，我们在
中找不到足够的线性无关的向量。那么我们能否找一些别的向量来替补呢？
为此我们引入广义特征向量链，具体来说：特征向量
是满足
的向量，那么层级（秩）为
的广义特征向量
是满足
，并且
的非零向量。现在我们不是孤立地看一个广义特征向量，而是看一串有递推关系的向量。我们从一个秩最高的广义特征向量开始构造一条链。我们先选择一个秩为
的广义特征向量
。然后我们逆向生成
。以此类推
。这样我们最多生成
个向量，因为到
时，再乘一个就变成 0 了，也就是说
。那么
就是特征向量。
进一步地，我们发现上面这个递推式
。也就是说，我们如果正向考虑整个过程，
相当于在正常特征向量只在本方向拉伸的基础上，混入了上一层向量的影响。现在，我们在
的基意义下考虑
的影响。由于
，也就是说
的影响是这样的：
这个特殊的矩阵被称为特征值
的
阶 Jordan 块。更精确地，Jordan 块
的元素满足：
（对角线元素均为特征值
），
（主对角线上方的次对角线元素为 1），
（其他所有元素为 0）。这个矩阵已经近乎于对角矩阵了，如果我们能通过相似变换把矩阵
化为这种形式，也是一种不错的结果。下面给出步骤：
求出所有的特征值
。
对于每个特征值，令
，有
。并且我们总能找到一个最小的
，使得
，这个核称为
的广义特征空间。这是因为核的维度随着幂次而增长，而维度是有上限的（
只是一个
矩阵），而一旦停止增长之后就不会重新恢复增长。注意，我们有结论
就是
的代数重数
。现在我们开始构造这个特征值对应的 Jordan 块。假设这个特征值对应的
阶 Jordan 块有
个，那么要满足
为代数重数（要有代数重数个向量），
为几何重数（也就是对应有多少个广义特征向量链）。观察到
，因为每个
的 Jordan 块中都会包含一个
的向量。
因此
。接着对每个 Jordan 块找到它对应广义特征向量链。具体来说，先从
找一个向量
，然后继续在
找，并且我们找到的这个向量不能再之前已经找到的向量的张成之中，直到这其中找不到，再去
找。不难发现这样的构造刚好满足了前面的那两个条件。
合并每个特征值的特征向量空间。就像各个特征值对应的特征向量线性无关，我们每个特征值的广义特征空间也是不交的，这是保证矩阵可逆的条件。我们构造矩阵
，对于每条链
，我们按顺序把它放进
，也就是
。
最后，我们有
。其中
是一个分块对角矩阵
，其中
是所有特征值的几何重数之和，每一个
是一个 Jordan 块，注意这里向量链的放入顺序要和 Jordan 块一致。可以验证，此时，
。
这个
就是 Jordan 型。这个是对于任意矩阵都是存在且唯一的，也是在无法对角化的情况下，能被化简到的最好的情况。Jordan 型同时给出了一种把所有矩阵划分为如果等价类的方法（如果我们不考虑 Jordan 块之间的顺序）。
最小多项式
回到一开始，我们选择将一个矩阵变成 Jordan 型（对角矩阵是特殊的 Jordan 型），是因为计算他的幂将会变得非常容易。而当我们处理矩阵多项式时，就避不开幂的处理。
别忘了标题的后半部分线性递推，到现在我们仍然没有讨论过。还是以 dp 问题为背景。假设从第
个阶段到第
个阶段，有
，其中
是一个向量（表示所有
阶段的 dp 值），
是转移矩阵。那么
。如果存在一个次数为
的矩阵多项式
也就是 0 矩阵，并且我们求出
（就算用暴力多项式取模，搭配快速幂也只需要
求这个)，也就是说
，那么:
也就是说，只要递推出前
项，就可以算出
很大时的情况。
那么问题就变成了求一个次数最小的
，我们也称这样能让
最后变成 0 的多项式叫化零多项式，其中次数最小的首一多项式就叫做最小多项式。
别忘了，现在我们处理矩阵幂有了强有力的工具，Jordan 型。那么对于矩阵多项式
和
对应的
，有
。这是因为
，而
。这揭示了相似变换不改变化零多项式的性质，想让
化零等价于让
化零（当然，相似变换也不改变最小多项式）。
那么我们先研究如何让一个 Jordan 块化 0。可以发现，想让一个
化零，
是一个次数最小的多项式。因为
是一个只有主对角线上方一条斜线全是 1 的矩阵，乘一次就会让这个斜线向右上方移动一格。
貌似一切都明朗了。对于一个矩阵
，我们找到其每个特征值
，然后求出它的 Jordan 型
。对于每个
，假设其对应的 Jordan 块中阶数最大的是
，那么这个 Jordan 型的最小多项式（也是
的最小多项式）就是 :
进一步地，由于
小于等于代数重数，因此
，也就是说特征多项式
如果直接带入
的，也是可以化零的，这一结论也即 Cayley-Hamilton 定理。
在实际应用时，我们可以直接根据特征值猜最小多项式。注意，我们线性递推时只是用了化零的性质来简化计算，有些时候最小多项式不便观察时，直接用特征多项式/别的化零多项式也是可以的（只要复杂度不爆，也就是特征多项式的次数可以接受）。
一道例题
GDKOI2023 马戏团里你最忙：有一个数字，初始是
。进行
次操作，第
次操作从
均匀随机一个数字
，
有
的概率是
，有
的概率是
。一种方案的权值是
。对每个
求出，
的所有方案中，权值乘概率之和，对
取模。
。
考虑暴力
表示做了
次操作，最后一位是
的概率，
是对应的答案。转移高维前缀和（FWT），可以获得 20 pts。
我们考虑
时怎么做。先考虑概率，此时 and 的转移矩阵是
，or 的转移矩阵是
。为了推广到
更大的情况，这里我们引入矩阵张量积的概念：
设有两个矩阵
和
，其中
是一个
的矩阵，
是一个
的矩阵。
和
的张量积（Kronecker积），记作
，是一个
的分块矩阵。它的定义如下：
可以验证：
，进一步地
。'
由于每一位的转移情况是类似的，我们惊奇地发现，概率的转移矩阵正好就是
。可以自行验证。那么再把
加进来，整个转移就是
，其中
。
先考虑求
的最小多项式。因为下三角/上三角矩阵的特征值是方便观察的，即对角线上的元素（可以把
算一下）。而这里
都是三角的，并且他们对角线上的元素都是
。那么
和
也都是三角的，并且可以发现对角线上的元素都是
。实际上这一步可以不用观察，根据这里的思路
时，他们的特征值集合也会相应地进行笛卡尔积，考察 Jordan 型即可说明。那么
的最小多项式就是
（
的张量积幂次是可对角化的，因为
和
都是可对角化的）。但这里要求的是
的最小多项式，因为有一个相加，貌似还是不好处理。但最后结论是
的最小多项式
。更严谨的证明请见masterhuang大佬的题解。
求出
之后，我们发现
就是
的一个化零多项式。这是因为
，所以
，这里的
并不重要，因为我们自乘一次，就可以发现
。
那么我们就取
作为
的化零多项式，这个次数是
的，非常可以接受。然后再像上面说的那样，把
也求出来。这样，我们就只需要算出前
项就可以了，这个直接跑 20 pts 的暴力
