🔢 mathematics

On the Number of Cholesky Roots of the Zero Matrix over F2

本文研究了有限域 $\mathbb{F}_2$ 上零矩阵的 Cholesky 根的数量，并建立了这些根与零矩阵的上三角平方根之间的一个保秩双射。

原作者： Hays Whitlatch

发布于 2026-08-10

📖 1 分钟阅读🧠 深度阅读

原作者： Hays Whitlatch

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你是一位大师级建筑师，在一个完全由两种砖块组成的奇特微小世界中工作：一种是“关”（零），另一种是“开”（一）。在这个被称为二元域（ $\mathbb{F}_2$ ）的世界里，建筑规则与众不同。如果你把两块“开”砖头叠在一起，它们会神奇地抵消变成“关”。这就是有限域的世界，是数学家研究数字如何像时钟指针一样循环转动的游乐场。

在现实世界中，我们经常使用一种名为“Cholesky 分解”的工具，将复杂的形状分解为更简单的三角形碎片。你可以把它想象成将一个复杂的对称雕塑拆解，并弄清楚究竟是用哪些三角形模块构建而成的。通常情况下，对于一个特定的雕塑，只有一种正确的分解方式。但在我们的这个由两种砖块构成的微小世界里，情况变得混乱了。有时，一个由“关”砖块组成的雕塑（零矩阵）可以用许多种不同的三角形模块来构建。问题不仅在于“我们能否构建它”，还在于“存在多少种不同的蓝图”。这些模式出现在密码学（秘密代码）、纠错消息以及理解数字的深层结构中。

这篇由 Hays Whitlach 撰写的论文深入探讨了这个混乱且神奇的世界，旨在精确计算构建“零”雕塑的各种不同三角形蓝图的数量。作者证明了一个令人惊讶且优美的联系：构建零矩阵的三角形蓝图的数量，恰好等于构建“零平方根”（即一个块乘以自身等于零）的方法数，也等于构建“单位矩阵平方根”（即一个块乘以自身等于标准的“不做任何事”块）的方法数——但这种特定的等价关系仅在我们的这个二元砖块世界（ $\mathbb{F}_2$ ）中成立。

这篇论文并非仅仅是猜测；它提供了一个严谨的数学证明。它表明，对于该特定域中的任何规模的矩阵，这三组不同的解集之间都存在着完美的、秩保持的匹配。换句话说，如果你知道有多少种构建零平方根的方法，你就能立刻知道有多少种构建零的 Cholesky 根的方法。作者还提供了一个专门用于计算这些在 $\mathbb{F}_2$ 上矩阵数量的具体公式，显示出对于更大的矩阵，解的数量增长得极其迅速，遵循着一个涉及组合求和的复杂模式。

然而，论文也谨慎地指出，这种魔术般的技巧仅在二元砖块世界中奏效。如果你尝试将这些相同的计数规则应用到拥有更多砖块类型的世界（其他有限域）中，这种联系就会破裂，因为数学行为会发生变化。作者总结道，虽然我们现在掌握了对这个二元世界的精确计数，但要在其他世界中计算这些根的数量，将需要全新的工具和技术。这项工作是对这一特定情况的确定性证明，而非模拟或建议，它为数学中一个非常具体却又基础的角落提供了一张清晰的地图。

技术摘要：关于 $\mathbb{F}_2$ 上零矩阵的 Cholesky 根的数量

问题陈述
本文研究了在有限域 $\mathbb{F}_2$ 中，具有不同 Cholesky 分解（Cholesky factorizations）的矩阵计数问题。具体而言，作者关注的是零矩阵 $0_n$ 。若上三角矩阵 $U$ 满足 $U^T U = M$ ，则称 $U$ 为对称矩阵 $M$ 的一个 Cholesky 根。虽然在实数或复数域中，对于正定矩阵，Cholesky 分解是唯一的（且零矩阵在 $\mathbb{C}$ 上有唯一的根，即其自身），但在有限域以及对于半正定矩阵时，这种唯一性会丧失。本文旨在解决的核心问题是：确定满足 $U^T U = 0_n$ 的上三角矩阵 $U$ 的精确数量，并按其秩（rank）进行分类。

方法论
作者采用组合与归纳法来分析 $\mathbb{F}_2$ 上上三角矩阵的结构。该方法依赖于定义三个特定的 $n \times n$ 上三角矩阵集合：

$A_n(r)$ : 满足 $U^2 = I_n$ 且秩为 $r$ 的矩阵（单位矩阵的平方根）。
$B_n(r)$ : 满足 $U^2 = 0_n$ 且秩为 $r$ 的矩阵（零矩阵的平方根）。
$C_n(r)$ : 满足 $U^T U = 0_n$ 且秩为 $r$ 的矩阵（零矩阵的 Cholesky 根）。

证明策略涉及建立一个保秩双射（rank-preserving bijection）：

$A_n$ 与 $B_n$ 之间的双射： 作者观察到在 $\mathbb{F}_2$ 中， $(X + I_n)^2 = X^2 + I_n$ 。这一代数性质意味着存在直接对应关系，即 $X^2 = 0_n$ 当且仅当 $(X + I_n)^2 = I_n$ ，从而证明了 $|A_n| = |B_n|$ 。
$B_n$ 与 $C_n$ 之间的双射： 本文的核心是通过归纳证明来展示 $|B_n(r)| = |C_n(r)|$ 对于所有 $n$ 和 $r$ 均成立。通过根据主 $(n-1) \times (n-1)$ 子矩阵对矩阵进行划分，并分析剩余行/列向量的约束条件（特别是在与子矩阵的零空间和列空间相关的方面），作者推导出了 $B_n$ 和 $C_n$ 基数相同的递推关系。
利用现有文献： 本文利用已知的关于平方为零的上三角矩阵计数的公式（引用自文献 [3]），以提供一个闭式求和公式。

主要贡献与结果

保秩双射： 主要的理论贡献是证明了零矩阵的 Cholesky 根集合 ( $C_n$ ) 与零的平方根的上三角矩阵集合 ( $B_n$ ) 之间存在保秩双射。因此，零矩阵 $0_n$ 的 Cholesky 根的数量等于满足 $U^2 = 0_n$ 的上三角矩阵的数量。
精确计数公式： 通过结合双射与文献 [3] 的结果，本文为大小为 $n$ 的零矩阵的 Cholesky 根总数提供了一个闭式求和公式：
$|C_n| = \sum_{j} \left[ \binom{n}{\lfloor n/2 \rfloor - 3j} - \binom{n}{\lfloor n/2 \rfloor - 3j - 1} \right] 2^{\lfloor n/2 \rfloor \lceil n/2 \rceil - 3j^2 - (\lceil n/2 \rceil - \lfloor n/2 \rfloor + 1)j}$
文中还指出，对于秩 $r \ge n/2$ ，此类矩阵集合为空。
对前导主非奇异（LPN）矩阵的应用： 本文确立了对于处于“前导主非奇异”（LPN）形式的秩为 $r$ 的对称矩阵 $M$ ，其不同 Cholesky 分解的数量恰好为 $|C_n(n-r)|$ 。这建立了一般计数问题与特定类对称矩阵之间的联系。

意义与范围
本文将其贡献谦逊地定位为有限域线性代数中的一个枚举问题。它强调了 Cholesky 分解的唯一性（这是实数和复数分析中的标准性质）在 $\mathbb{F}_2$ 上并不成立。其意义在于为这些非唯一分解提供了精确的组合计数。

作者明确指出了当前工作的局限性与边界：

Cholesky 零根、零的平方根以及单位根之间的双射依赖于特定的性质 $(X+I)^2 = X^2 + I$ ，而这一性质是 $\mathbb{F}_2$ 所特有的。因此，这些技术无法推广到其他有限域。
用于 LPN 矩阵的计数公式不适用于非 LPN 形式的对称矩阵，文中给出的反例证明了这一点。
虽然本文观察了求和项的渐近行为，但作者提醒，由于求和项可能为负，因此不能直接使用最大项作为总计数的简单下界。

论文最后指出， $|C_n(r)|$ 的渐近行为以及将这些计数技术扩展到其他有限域是未来的研究方向。

类似论文