上三角矩阵零因子图的哈拉里指数

为何抽象网络中的距离重要

乍看之下，题为“上三角矩阵的零因子图”的论文似乎与日常生活相去甚远。然而，其背后的思想与工程师设计弹性通信网络、化学家预测分子行为时使用的原理是一致的。本文研究如何为由矩阵构成的特殊网络分配一个数值——哈拉里指数，并展示该数值如何反映网络的紧密程度。以精确的数学方式理解此类连通性，是现代密码学、容错系统乃至某些复杂化学结构模型的基础。

从代数规则到连接图像

许多代数对象，例如数环或矩阵，都可以可视化为网络。在零因子图中，每个节点代表一个在与某个非零元素相乘时能使其变为零的元素。只要两元素的乘积为零，它们之间就有一条连线。本文关注的是上三角矩阵——即主对角线下方全为零——且其矩阵元来自简单的二值数系 Z₂（取值为0和1）。即使在这种简化的情形下，矩阵之间的相互作用仍能产生出出人意料的丰富网络结构。

用哈拉里指数衡量接近度

为了比较不同网络，数学家使用称为拓扑指数的数值摘要。哈拉里指数就是其中之一：它通过考察连通图中每一对节点之间的步数距离，并将这些距离的倒数相加得到总和。直接相连的节点对对总和的贡献大于相距较远或不连通的节点对。在化学中，该数值曾被用来将分子结构与沸点等性质联系起来。在这里，作者把相同的思想引入纯粹的代数背景，将哈拉里指数应用于由上三角矩阵构成的零因子图。

由简单矩阵构建网络

作者首先考察了所有在 Z₂ 上的上三角2×2和3×3矩阵。对于2×2矩阵共有八种可能，其中七个是非零并参与零因子关系。这些关系形成了早期研究中已有描述的一个小型零因子图。对于3×3上三角矩阵，可能性共有64种；去掉全零矩阵后剩下63个候选节点。可以把每个矩阵视为网络中的一个节点，边根据其乘积的行为画出。由于矩阵乘法不一定可交换——即 AB 可能为零而 BA 不为零——作者区分了所得图的有向和无向两种版本。

有向与无向连通性的区别

在有向零因子图中，当一个矩阵按该顺序与另一个相乘得零时，就从前者指向后者画一条箭头。此方向性使网络更为复杂，反映了矩阵乘法的非对称性。作者对来自2×2矩阵的一个小型有向图显式计算了哈拉里指数，得到值7/2。对于更大的3×3情形，列举所有成对距离将显得繁琐，因此他们把距离组织到详细表格中，并用包含二项式系数的紧凑组合式表达了哈拉里指数。他们还证明，随着矩阵规模增大或所用环元素增多，哈拉里指数必须超过某一下界，反映出整体连通性不能低于某个特定水平。

当乘法变为双向时

作者还分离出那些以完全对称方式相互作用的3×3矩阵：若矩阵 P_i 与 P_j 的乘积为零，则 P_j 与 P_i 的乘积也为零。将注意力限制在这些可交换的零因子上，会得到一个无向零因子图。在这个无向图中，边不带方向，团队再次计算了哈拉里指数。他们推导出第二个简洁的公式，反映了当每个零乘积关系双向发生时出现的更短且更对称的路径。同样地，他们证明了一个类似的下界，说明当网络规模或复杂性增加时该指数的行为规律。

这对结构有什么启示

对非专业读者来说，关键结论是：单一数值——哈拉里指数——能编码代数系统中元素如何相互连接的微妙信息。在 Z₂ 上的上三角矩阵情形中，有向和无向零因子图的哈拉里指数不同，反映了一方通行与双向交互的差异。鉴于此类指标已被用于评估密码网络的鲁棒性和将分子结构与物理性质相关联，这些结果为分析更复杂的矩阵环和相关图提供了道路。作者建议的后续工作可以将该框架扩展到更大矩阵、其它数系以及称为共零因子图的互补构造，从而进一步加深抽象代数与实际网络设计之间的联系。

引用: Alshanqiti, O., Sharma, S. & Bhat, V.K. Harary index of the zero divisor graph of upper triangular matrices. Sci Rep 16, 7239 (2026). https://doi.org/10.1038/s41598-026-37880-6

关键词: 零因子图, 哈拉里指数, 上三角矩阵, 图不变量, 代数网络