[論文レビュー] Efficiently Computing the Minimum Rank of a Matrix in a Monoid of Zero-One Matrices

Kiefer, Stefan, Ryzhikov, Andrew|arXiv (Cornell University)|Jan 1, 2025

graph theory and CDMA systems被引用数 4

ひとこと要約

本稿は、以前に知られていたよりも小さい行列次元および小さい行列集合に対して、いくつかの行列問題の決定不能性を確立している。具体的には、モーティリティ問題（Md(k)）およびゼロ・イン・コーナー問題（Zd(k), Rd(k)）について、それらの決定不能性を示している。零一行列からなるモノイドにおける一般化されたポスト対応問題（GPCP+）を行列問題に還元することで、M3(6), M5(4), M9(3), M15(2), Z3(5), Z5(3), Z9(2), R3(6), R4(5), R6(3) が決定不能であることを証明した。これは、整数行列乗算の文脈におけるこれらの問題の既知の境界を著しく緊縮している。

ABSTRACT

A zero-one matrix is a matrix with entries from {0, 1}. We study monoids containing only such matrices. A finite set of zero-one matrices generating such a monoid can be seen as the matrix representation of an unambiguous finite automaton, an important generalisation of deterministic finite automata which shares many of their good properties. Let 𝒜 be a finite set of n×n zero-one matrices generating a monoid of zero-one matrices, and m be the cardinality of 𝒜. We study the computational complexity of computing the minimum rank of a matrix in the monoid generated by 𝒜. By using linear-algebraic techniques, we show that this problem is in NC and can be solved in 𝒪(mn⁴) time. We also provide a combinatorial algorithm finding a matrix of minimum rank in 𝒪(n^{2 + ω} + mn⁴) time, where 2 ≤ ω ≤ 2.4 is the matrix multiplication exponent. As a byproduct, we show a very weak version of a generalisation of the Černý conjecture: there always exists a straight line program of size 𝒪(n²) describing a product resulting in a matrix of minimum rank. For the special case corresponding to complete DFAs (that is, for the case where all matrices have exactly one 1 in each row), the minimum rank is the size of the smallest image of the set of states under the action of a word. Our combinatorial algorithm finds a matrix of minimum rank in time 𝒪(n³ + mn²) in this case.

研究の動機と目的

• 整数行列乗算の文脈における基本的行列問題の決定不能性の既知の境界を tighter にすること。
• モーティリティ問題、左上コーナーにゼロを含む問題、右上コーナーにゼロを含む問題の未解決事例を解消すること。
• 一般化されたポスト対応問題から、零一行列からなるモノイドにおける行列問題へのより緊密な還元を確立すること。
• さまざまなゼロ要素到達可能性問題の変種（Zd(k), Rd(k), Md(k)）の間の関係を明確にし、それらの還元的同等性を明らかにすること。

提案手法

• 一般化されたポスト対応問題（GPCP+）を、零一行列からなるモノイドにおける制限付きゼロ・イン・コーナー問題に還元した。
• 文字列ペアとその連結を行列乗算によって表現するための標準的行列埋め込みを導入した。
• 線形代数的構成を用いて、文字列列を行列のべき乗に写像し、ゼロ要素条件を保持した。
• モノイド Md に属する行列の左端の列が、線形形式における左端の要素に対応することを証明し、Zd(k) への還元を可能にした。
• 構造的行列変換と半群準同型を用いて、Zd(k), Rd(k), Md(k) 相互間の還元を確立した。
• 既知の GPCP+ の決定不能性を活用し、行列問題の決定不能性を示した。d と k に対するタイトな境界を特定した。

実験結果

リサーチクエスチョン

• RQ1 3×3 行列に対して、行列集合のサイズが 6 以下の場合、モーティリティ問題は決定不能か？
• RQ2 3×3 行列に対して、それぞれ 5 個および 6 個の生成子を用いた場合、左上コーナーにゼロを含む問題および右上コーナーにゼロを含む問題は決定不能か？
• RQ3 一般化されたポスト対応問題からの還元によって、行列問題の決定不能性の境界をより緊密に設定できるか？
• RQ4 モーティリティ問題が決定不能になる最小の行列次元と集合サイズは何か？
• RQ5 ゼロ要素到達可能性問題の異なる変種（Zd(k), Rd(k), Md(k)）は、還元可能性および同等性の観点からどのように関係しているか？

主な発見

• M3(6), M5(4), M9(3), M15(2) が決定不能であることが証明され、以前の境界 M3(7), M13(3), M21(2) よりも緊縮された。
• Z3(5), Z5(3), Z9(2) が決定不能であることが示され、それぞれ以前の境界 Z3(7), Z13(2), Z9(2) よりも緊縮された。
• R3(6), R4(5), R6(3) は、Zd(k) からの還元と命題 3 を用いて決定不能であることが示された。
• Z9(2) の決定不能性と命題 3 の還元から、R10(2) が決定不能であることが導かれた。
• Zd(k) と Zd1,1(k) の同等性が、初めて形式的に確立され、以前に見過ごされていた関係が解消された。
• 本稿では、GPCP+(k) を ˚Z3(5) に還元することで、˚Z3(5) が決定不能であることを示し、これにより定理 7 を用いてさらなる決定不能性結果を導出した。