[論文レビュー] 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行列の安定インデックス——Aᵏ⁺¹に2以上の要素が現れるまでの最大の整数kで、A, A², ..., Aᵏがすべて0-1行列のままである——を導入する。n×n 0-1行列の最大有限安定インデックスは、n mod 4 に基づく区分的関数g(n)として与えられ、この上限に達する行列は、特定の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行列の安定インデックスを定義・分析し、行列のべき乗が1を超えるまでの期間を測る新しい不変量を定義する。
• すべてのn×n 0-1行列において、最大有限安定インデックスを特定する問題を解決する。
• 最大有限安定インデックスに達する0-1行列を同定する。
• 安定インデックスの鋭い上界g(n)を確立し、ダイグラフ構造に基づく等号成立条件を示す。
• n=10における例外的なケースで、極値構造が一般のグラスズダイグラフ形から逸脱するかどうかを特定する。

提案手法

• 安定インデックスθ(A)を、Aᵏが0-1行列である最大のk（すべてのべきが0-1のままであれば∞）として定義する。
• 0-1行列を、非ゼロ要素に対応する有向グラフD(A)としてモデル化する。
• 有向グラフを非可約成分に分解し、頂点間の長さkのウォークを分析する。
• ある頂点xとyの間にθ(A)+1の長さの異なる2つのウォークが存在する極値ケースを同定する。
• ウォークの和集合の構造的解析を適用：非循環的、単一サイクル、複数サイクルのケースで、−→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が奇数のとき(n²−1)/4、n≡0 mod 4のとき(n²−4)/4、n≡2 mod 4のとき(n²−16)/4である。
• n ≥7 かつ n ≠10 のとき、最大有限安定インデックスは、行列のダイグラフが、nが奇数のとき{ (n+1)/2, (n−1)/2 }、n≡0 mod 4のとき{ (n+2)/2, (n−2)/2 }、n≡2 mod 4のとき{ (n+4)/2, (n−4)/2 }をとるグラスズダイグラフ−→g(p,q)と同型である場合に限り達成される。
• n=10のとき、最大有限安定インデックスは21であり、これは−→g(3,7)、−→g(7,3)、−→g(4,3,5)、−→g(5,3,4)と同型なダイグラフを持つ行列によって達成される。
• 安定インデックスはg(n)で上界が与えられ、等号成立は指定されたダイグラフ型に限る。
• この上界は、1を超える要素の増加を引き起こす最小ウォーク長の分析、サイクル分解および最小公倍数の議論に基づく。
• 安定インデックスがkである0-1行列のスペクトル半径ρ(A)はρ(A) ≤ n^{1/k}を満たし、θ(A) = g(n)のとき等号が成立する。