[論文レビュー] Monoids of Upper Triangular Matrices over the Boolean Semiring

Ryzhikov, Andrew, Vladimir V. Gusev|arXiv (Cornell University)|Jan 1, 2024

semigroups and automata theory被引用数 1

ひとこと要約

本稿では、ランク1の行列に収束する最小の確率的行列の積の長さとして定義されるSIAインデックスを導入する。n×nの確率的行列に対して、SIAインデックスの上界がO(n³)であることを確立し、与えられたk未満にSIAインデックスが収束するかどうかを判定する問題がNP完全であることを証明するとともに、自動機理論におけるČerný予想と関連づけ、SIAインデックスの改善された境界が、同期化理論における長年の未解決問題を解消することを示している。

ABSTRACT

Given a finite set 𝒜 of square matrices and a square matrix B, all of the same dimension, the membership problem asks if B belongs to the monoid ℳ(𝒜) generated by 𝒜. The rank one problem asks if there is a matrix of rank one in ℳ(𝒜). We study the membership and the rank one problems in the case where all matrices are upper triangular matrices over the Boolean semiring. We characterize the computational complexity of these problems, and identify their PSPACE-complete and NP-complete special cases. We then consider, for a set 𝒜 of matrices from the same class, the problem of finding in ℳ(𝒜) a matrix of minimum rank with no zero rows. We show that the minimum rank of such matrix can be computed in linear time.We also characterize the space complexity of this problem depending on the size of 𝒜, and apply all these results to the ergodicity problem asking if ℳ(𝒜) contains a matrix with a column consisting of all ones. Finally, we show that our results give better upper bounds for the case where each row of every matrix in 𝒜 contains at most one non-zero entry than for the general case.

研究の動機と目的

• SIAインデックスを定義・分析し、ランク1の行列に収束する最小の確率的行列積の長さを求める。
• n×nの確率的行列に対して、SIAインデックスのタイトな上界および下界を確立する。
• 与えられた整数kに対してSIAインデックスがその値以下かどうかを判定する問題がNP完全であることを証明する。
• SIAインデックスを自動機理論の古典的概念、特に同期化自動機に関するČerný予想と関連付ける。
• SIA、スクランブル、Sarymsakov、または正の列を持つ積の存在を確認する多項式時間の決定手続きを開発する。

提案手法

• 3-SATから帰着することで、正の対角成分をもつ行列に対してSIAインデックス ≤ k かどうかを判定する問題がNP完全であることを証明する。
• 集合被覆問題のインスタンスから(0,1)-確率的行列の族を構成し、SIAインデックスと最小集合被覆サイズを関連付ける。
• Lyndon語と組合せ行列論を用いて、行列積の収束性を分析する。
• 正の列インデックスおよびスクランブル行列に関する既知の結果を活用し、SIAインデックスを他の行列クラスと関連付ける。
• 確率的行列集合において、SIA積の存在と正の列、スクランブル、またはSarymsakov積の存在が同値であることを証明する。
• 小さなnに対して総当たりのコンピュータ探索を行い、SIAインデックスがnに比例して増加するという仮説を支持する。

実験結果

リサーチクエスチョン

• RQ1 すべてのn×n確率的行列集合におけるSIAインデックスの最大値は何か？ そしてnとともにどのように増加するか？
• RQ2 与えられた確率的行列集合が長さk未満のSIA積を持つかどうかを判定する問題は、計算的に難しいか？
• RQ3 SIAインデックスはスクランブル、Sarymsakov、正の列を持つ行列といった他の行列クラスとどのように関連しているか？
• RQ4 SIAインデックスをO(log n)要因以内に近似できるか？ その近似の限界は何か？
• RQ5 SIAインデックスにサブクアドレティックな境界が存在するならば、それはČerný予想の解決に進展をもたらすか？

主な発見

• 任意のn×n確率的行列集合のSIAインデックスは、O(n³)未満である。これは、この量に対する初めての一般上界である。
• SIAインデックスはnに対して少なくとも線形に増加する。したがって、真の増加率は線形に近い可能性がある。
• すべての行列が正の対角成分をもつ場合でさえ、SIAインデックスが与えられたk未満に収束するかどうかを判定する問題はNP完全である。
• 確率的行列集合において、SIA積の存在は、正の列、スクランブル、またはSarymsakov積の存在と同値である。
• 任意のα>0に対して、(1−α)log(n)要因以内にSIAインデックスを近似することはNP困難であり、強い近似不能性を示している。
• SIAインデックスは計算がNP困難であり、P=NPでない限りO(log n)要因以内に近似できない。