标签：mathbb 17 闲话 矩阵 23.2 bmatrix text prod 对应

闲话

发现自己没学过欧拉数相关的推导
开 koishi 的排列去（

一会儿补个 eulerian number 的 bgf 的推导。现在从略（

今日放了 be 的歌？
不谈演唱中只有少部分人能接受的部分
其实失真的人声还是比较自然的 感觉术力口在表达方式上也有类似的元素
副歌的编曲还行吧 我感觉和演唱的表现不是很搭
当然如果这是刻意为之的当我没说吧（

今日推歌：我的悲伤是水做的 - chilichill feat. 洛天依

模拟赛 T3

我们改写原式为 \(A(B - I) = 0\)，并记 \(M = B - I\)。考察非平凡的 \(M\) 后容易发现，假设 \(\text{rank}(M) = k\)，则对应的 \(A\) 有 \(p^{(n - k)m}\) 种取法，因 \(M\) 有 \(n - k\) 行被其他维表出，乘后定为 \(0\)，则这些行对应 \(A\) 上 \(n - k\) 列取值随意。

因此现在的问题就是对 \(k\) 计数 \(M \text{ s.t.} \text{rank}(M) = k\)。考虑将其拆分。
由经典结论可以知道，一个 \(\mathbb F_p^n\) 内空间的 \(k\) 维子空间数是 \(\begin{bmatrix} n \\ k\end{bmatrix}_p\)，即 \(\text{q-binomial}\)。我们首先选出一个 \(k\) 维子空间，以及它的一组基 \(\langle b_k\rangle\)。构造矩阵 \(B = [b_1 \ b_2 \ \cdots \ b_k]\)，这是一个 \(n\times k\) 的满秩矩阵。
可以发现，\(M\) 一定形如 \(B\times C\)，其中 \(C\) 为一个 \(k\times n\) 的满秩矩阵，且不同的 \(C\) 对应不同的 \(M\)。我的理解是，考虑矩阵是线性变换，\(B\) 对应一个 \(\mathbb F_p^n\to \mathbb F_p^k\) 的置换，\(C\) 对应一个 \(\mathbb F_p^k\to \mathbb F_p^n\) 的置换，而两者的乘法对应置换的复合，因此得到了一个 \(\mathbb F_p^n\to \mathbb F_p^n\) 但只保留了 \(k\) 维彼此独立信息的置换。因此最后 \(M\) 两两不同且 \(\text{rank}(M) = k\)。由经典结论可以知道，\(C\) 的数量为 \(\prod_{i = 0}^{k - 1}(p^n - p^i)\)。
因此对 \(k\) 的答案即为

\[\begin{bmatrix} n \\ k\end{bmatrix}_p\prod_{i = 0}^{k - 1}(p^n - p^i) \]

最后得哈希，因此不平凡的矩阵的答案就是

\[\sum_{k\ge 0} q^{p^{(n - k)m}} \begin{bmatrix} n \\ k\end{bmatrix}_p\prod_{i = 0}^{k - 1}(p^n - p^i) \]

注意到还有一个平凡的全 \(0\) 矩阵，对任意 \(A\) 都满足如上的性质，因此答案再加上 \(q^{p^{nm}}\) 即可。

如果有人对导出公式的部分有（除了扔进 oeis 外的）其他做法可以找我交流

标签：mathbb,17,闲话,矩阵,23.2,bmatrix,text,prod,对应
From： https://www.cnblogs.com/joke3579/p/chitchat230217.html