🔢 mathematics

On the principal minors of the powers of a matrix

受 2021 年普特南数学竞赛题启发，本文证明了任何矩阵幂次的对角线元素都由其主子式唯一确定，并可以表示为主子式的通用整系数多项式，这意味着如果所有主子式均等于 1，则所有幂次的对角线元素也均等于 1。

原作者： Darij Grinberg

发布于 2026-07-01

📖 1 分钟阅读🧠 深度阅读

原作者： Darij Grinberg

原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

以下是关于达里伊·格林伯格（Darij Grinberg）论文《论矩阵幂次的主子式》（On the principal minors of the powers of a matrix）的解释，已将其转化为通俗易懂的语言并辅以创意类比。

大局观：矩阵的“指纹”

想象你拥有一台复杂的机器，我们称之为矩阵 A。这台机器是一个由数字组成的网格（一个 $n \times n$ 矩阵）。

在数学的世界里，有一种特殊的方法可以对这台机器进行“快照”。你不需要观察其中的每一个数字，而是观察其中特定的、自包含的块。你通过选取一组行和与之完全相同的列来获取一个块。这个块的“快照”就是它的行列式（由这个较小的网格计算出的一个单一数值）。

这些快照被称为主子式（Principal Minors）。

最小的快照只是对角线上的单个数字（1x1 的块）。
最大的快照是整台机器本身（整个矩阵的行列式）。
总共存在 $2^n$ 种可能的快照。

论文提出了一个非常具体的问题：如果你知道了机器 A 的所有快照，你是否就掌握了关于机器 A 的一切？

答案是不。论文表明，两台不同的机器可以拥有完全相同的快照集，但在运行两次（平方）时表现却不同。这就像两个不同的人拥有相同的指纹，但声音却不同；指纹并不能告诉你全部的信息。

突破点：“对角线”的线索

然而，这篇论文发现了一个由这些快照完全决定的特定部分。

想象机器有一排从左上到右下的对角线灯光。这些是对角线元素。

论文证明了一个令人惊讶的事实：如果你知道矩阵 A 的所有主子式（快照），你就能完美地预测矩阵 A 平方、立方或提升到任何次幂后的对角线数字。

这仿佛是说，机器投下的“影子”（子式）包含了足够的信息，可以重建机器在多次运行过程中的“核心灯光”（对角线）。

它是如何运作的：“通用配方”

作者不仅说“这是可能的”，他还展示了“如何可能”。

他证明了对于每一个对角线灯光，都存在一个通用配方（一个由整数组成的数学公式）。

如果你想知道机器在运行 5 次后（ $A^5$ ）的左上角灯光，你不需要知道原始机器的内部布线。你只需要将原始快照的值代入这个特定的配方中即可。
这个配方适用于任何机器，无论它是由整数、分数还是抽象代数对象构成的。这个配方是“通用的”。

类比：
把主子式想象成汤里的食材（盐、胡椒、胡萝卜等）。

通常，知道食材并不能告诉你烹饪 10 小时后（幂次 $m$ ）汤的味道究竟如何。
但这篇论文证明了，对于“碗中心”的特定风味（对角线），存在一个神奇的公式。如果你知道每种食材的确切量（子式），你就可以使用一个永恒不变的公式，计算出经过任意烹饪时间后碗中心的风味。

特殊情况：“全一”机器

论文还探讨了一种特殊的情景。想象一台机器，其每一个快照（主子式）都等于 1。

论文证明，如果你对这台机器进行任何次数的运行过程（平方、立方等），其对角线上的灯光将始终保持为 1。

类比：
想象一个神奇的万花筒，你看到的每一个图案都是完美对称的（数值 = 1）。论文证明，无论你旋转万花筒多少次（将矩阵提升至幂次），视图的中心将始终保持完美的对称。

为什么这很重要（在论文的语境下）

这项研究受到了一个著名的数学竞赛题（普特南数学竞赛 2021 年）的启发，该题涉及“奇数”问题。该问题的官方解法非常复杂，且依赖于特定的数论性质。

格林伯格的论文则退后一步并说道：“让我们来看看代数结构。”他展示了快照与对角线之间的关系是如此强大，以至于它具有普遍性，而不仅仅适用于奇数。

他还解决了一个悬而未决的谜团：这个规则是适用于机器的每一个部分，还是仅仅适用于对角线？

结论： 仅限对角线。非对角线部分（其他数字）则更具混沌性；它们依赖于比简单快照更复杂的“准影子”（quasi-shadows）。

总结

问题： 你无法仅通过观察主子式（快照）来预测矩阵未来的行为。
发现： 你可以完全利用基于这些快照的通用公式，来预测矩阵幂次（ $A^m$ ）的对角线数字。
特殊情况： 如果所有快照均为 1，那么幂次矩阵的对角线数字也将始终为 1。
方法： 证明过程使用了涉及“形式幂级数”（可以理解为无限多项式）的高明数学技巧，将快照与对角线灯光联系起来，展示了这种联系是不可打破的。

这篇论文是纯代数领域的一次胜利，它表明即使在一个看似难以预测的系统中，也存在着某些被紧紧锁定在系统基本属性（子式）之上的隐藏模式（对角线）。

技术摘要：论矩阵幂次的主子式

问题陈述
本文探讨了一个源自 2021 年 Putnam 竞赛 B5 题的问题。该题已证明：若 $n \times n$ 矩阵 $A$ 的所有主子式均为奇数，则 $A^m$ 的所有主子式也均为奇数。虽然原题已得到解决，但其背后的代数机制仍然模糊不清。具体而言，目前尚不清楚 $A^m$ 的主子式是否由基矩阵 $A$ 的主子式唯一确定。作者指出，在一般情况下这是不成立的：例 1.2 表明，两个矩阵 $C$ 和 $D$ 可以拥有完全相同的主子式，但由于特定的非对角线相互作用，它们的平方（ $C^2$ 和 $D^2$ ）却具有不同的主子式。

尽管对于一般主子式存在这种非唯一性，本文研究了 $A^m$ 的对角线元素（其本身是 $1 \times 1$ 主子式）是否由 $A$ 的主子式唯一确定。

方法论
作者结合形式幂级数技术采用了通用代数方法。

通用多项式构造： 为了证明 $A^m$ 的对角线元素由 $A$ 的主子式决定，作者构造了一个定义在多项式环 $R = \mathbb{Z}[x_{i,j}]$ 上的“通用” $n \times n$ 矩阵 $A$ 。通过证明该通用矩阵的 $A^m$ 的对角线元素位于由该矩阵的主子式生成的子环中，该结果可以经由代数同态推广到任何交换环。
形式幂级数与伴随矩阵： 核心证明利用了环 $R[[t]]$ 中的矩阵 $B = I_n - tA$ 。该矩阵的逆由几何级数 $B^{-1} = I_n + tA + t^2A^2 + \dots$ 给出。 $B^{-1}$ 中 $t^m$ 项的系数恰好对应于 $A^m$ 的 $(i,i)$ 项。
行列式恒等式： 证明利用了恒等式 $B^{-1} = (\det B)^{-1} \cdot \text{adj}(B)$ $B^{- 1} = (det B)^{- 1} \cdot adj (B)$ 。作者利用关于标量倍单位矩阵之和的行列式的公式（一个将特征多项式与主子式联系起来的已知民间结论），展开了 $\det B$ $det B$ 以及伴随矩阵 $\text{adj}(B)$ $adj (B)$ 的对角线元素。
- 文中证明了 $\det B$ 是一个系数在 $P$ 中的幂级数，其中 $P$ 是由 $A$ 的主子式生成的环，且其常数项为 1，因此在 $P[[t]]$ 中是可逆的。
- 同样地，文中证明了 $\text{adj}(B)$ 的对角线元素也是以 $P$ 为系数的幂级数。
- 因此，乘积 $(\det B)^{-1} \cdot (\text{adj}(B))_{i,i}$ （即 $(B^{-1})_{i,i}$ ）的系数属于 $P$ 。

主要贡献与结果

定理 2.1（通用多项式）： 对于任何非负整数 $n, m$ 及指标 $i$ ，存在一个包含 $2^n$ 个变量的整数多项式 $P_{n,i,m}$ ，使得 $A^m$ 的第 $i$ 个对角线元素是通过将 $A$ 的主子式代入该多项式得到的。这证实了幂次的对角线元素由基矩阵的主子式唯一确定。
定理 2.2（子环隶属关系）： 令 $P$ 为由 $A$ 的所有主子式生成的交换环 $R$ 的子环。则 $A^m$ 的所有对角线元素都属于 $P$ 。这是定理 2.1 背后的代数引擎。
定理 5.1（非对角线变体）： 本文将分析扩展到了非对角线元素 $(A^m)_{i,j}$ 。作者引入了“ $(i,j)$ -拟主子式”（quasiprincipal minors）的概念（即行集和列集仅通过交换 $i$ 和 $j$ 而不同的子矩阵的行列式）。文中证明了 $(A^m)_{i,j}$ 属于由主子式与这些拟主子式的乘积所生成的模。
定理 5.2（单位主子式）： 如果 $A$ 的所有主子式都等于 1，那么 $A^m$ 的所有对角线元素都等于 1。证明显示，在这一假设下， $\det(I_n - tA) = (1-t)^n$ 且 $(\text{adj}(I_n - tA))_{i,i} = (1-t)^{n-1}$ ，从而导致 $(B^{-1})_{i,i} = (1-t)^{-1} = \sum t^k$ ，其中 $t^m$ 的系数为 1。

意义与范围
本文阐明了矩阵幂次关于主子式行为的代数结构。它区分了一般情况（即 $A^m$ 的主子式并非由 $A$ 的主子式决定，如例 1.2 所示）与特定情况（即对角线元素是被决定的）。

作者明确指出，这些结果为理解主子式在矩阵乘法下的行为提供了“新的视角”，并为 Putnam 2021 的结果提供了多项式框架。然而，本文对于更广泛的推广保持了审慎的态度：

它并未声称 $A$ 的所有主子式都决定了 $A^m$ 的所有主子式（引用例 1.2 作为反例）。
它留下了关于“主子式等于 1”是否意味着“ $A^m$ 的所有主子式等于 1”在任意环中成立的问题（问题 6.1）。作者指出，虽然对于整环结论为正，但在某些多项式环的商环中存在反例，且对于 $R = \mathbb{Z}/4$ 的情况仍处于开放状态（不过有一项更新提到，已由 LLM 找到了关于 $\mathbb{Z}/d$ 的证明）。

这项工作被呈现为对特定 Putnam 问题代数机制的技术性解决，提供了通用多项式和子环隶属关系证明，而未扩展到实验性应用或未经证实的未来影响。

大局观：矩阵的“指纹”

突破点：“对角线”的线索

它是如何运作的：“通用配方”

特殊情况：“全一”机器

为什么这很重要（在论文的语境下）

总结

类似论文