[论文解读] The stable index of 0-1 matrices

Chen, Zhibing, Zejun Huang+1 more|arXiv (Cornell University)|Dec 9, 2019

Matrix Theory and Algorithms参考文献 23被引用 3

一句话总结

本文引入了0-1矩阵的稳定指数——即最大的整数k，使得所有幂次A, A², ..., Aᵏ仍为0-1矩阵，而Aᵏ⁺¹中首次出现≥2的元素。该文确定了n×n 0-1矩阵的最大有限稳定指数为g(n)，其定义基于n mod 4分段给出，并刻画了达到该上界的矩阵结构：当n≠10时，为特定p,q的眼镜有向图−→g(p,q)；当n=10时，为−→g(4,3,5)/−→g(5,3,4)形式。

ABSTRACT

We introduce the concept of stable index for 0-1 matrices. Let $A$ be a 0-1 square matrix. If $A^k$ is a 0-1 matrix for every positive integer $k$, then the stable index of $A$ is defined to be infinity; otherwise, the stable index of $A$ is defined to be the smallest positive integer $k$ such that $A^{k+1}$ is not a 0-1 matrix. We determine the maximum finite stable index of all 0-1 matrices of order $n$ as well as the matrices attaining the maximum finite stable index.

研究动机与目标

• 定义并分析0-1矩阵的稳定指数，这是一种新不变量，用于衡量矩阵幂次保持为0-1矩阵的持续时间，直到某元素首次超过1。
• 解决所有n×n 0-1矩阵中最大有限稳定指数的确定问题。
• 刻画达到该最大有限稳定指数的0-1矩阵。
• 建立稳定指数的严格上界g(n)，并基于有向图结构给出等号成立的条件。
• 识别在n=10时出现的例外情况，此时极值结构偏离一般眼镜有向图形式。

提出的方法

• 将稳定指数θ(A)定义为最大的k，使得Aᵏ为0-1矩阵；若所有幂次均保持为0-1矩阵，则θ(A)=∞。
• 通过有向图D(A)对0-1矩阵建模，其中邻接关系对应非零元素。
• 将有向图分解为不可约分量，并分析顶点间长度为k的路径。
• 刻画极端情况：存在两个不同的长度为θ(A)+1的路径连接某对顶点x和y。
• 应用路径并集的结构分析：无环、单环或多重环情形，根据是否存在−→g(p,k,q)子图进一步细分。
• 使用最小公倍数与不等式等数论方法，推导出r + up ≤ g(n)，从而得出θ(A) < g(n)，除非满足等号成立条件。

实验结果

研究问题

• RQ1 任何n×n 0-1矩阵可实现的最大有限稳定指数是多少？
• RQ2 哪些0-1矩阵实现了最大有限稳定指数？
• RQ3 稳定指数如何与矩阵的底层有向图结构相关联？
• RQ4 是否存在极值结构偏离一般眼镜有向图形式的例外情况？
• RQ5 能否利用路径与环路的组合与数论性质对稳定指数进行有界控制？

主要发现

• 任意n×n 0-1矩阵的最大有限稳定指数由g(n)给出，其定义为：当n为奇数时，g(n) = (n²−1)/4；当n≡0 mod 4时，g(n) = (n²−4)/4；当n≡2 mod 4时，g(n) = (n²−16)/4。
• 当n≥7且n≠10时，最大有限稳定指数当且仅当矩阵的有向图同构于眼镜有向图−→g(p,q)，其中：当n为奇数时，{p,q} = { (n+1)/2, (n−1)/2 }；当n≡0 mod 4时，{p,q} = { (n+2)/2, (n−2)/2 }；当n≡2 mod 4时，{p,q} = { (n+4)/2, (n−4)/2 }。
• 当n=10时，最大有限稳定指数为21，由其有向图同构于−→g(3,7)、−→g(7,3)、−→g(4,3,5)或−→g(5,3,4)的矩阵实现。
• 稳定指数的上界为g(n)，且仅当有向图属于指定类型时等号成立。
• 该上界源于对强制元素值增长超过1的最短路径长度的分析，结合环路分解与最小公倍数论证。
• 具有稳定指数k的0-1矩阵的谱半径满足ρ(A) ≤ n^{1/k}，当θ(A) = g(n)时该不等式为紧致。