[论文解读] 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

一句话总结

本文證明了若干矩陣問題的不可判定性——具體而言，是 Mortality 問題（Md(k)）與左上角或右上角零元素問題（Zd(k), Rd(k)）——其矩陣維度與矩陣集合大小均小於先前已知的範圍。透過將廣義 Post 對應問題歸約至零一矩陣的獨異點半群中的矩陣問題，作者證明了 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.

研究动机与目标

• 緊縮整數矩陣乘法情境中基本矩陣問題不可判定性的已知邊界。
• 解決 Mortality、左上角零元素與右上角零元素問題在可判定性上的開放案例。
• 建立從廣義 Post 對應問題至零一矩陣半群中矩陣問題的更緊密歸約。
• 釐清不同形式的零元素可達性問題之間的關係，並在歸約下確認其等價性。

提出的方法

• 將廣義 Post 對應問題（GPCP+）歸約至零一矩陣半群中受限的零元素角落問題。
• 引入標準矩陣嵌入，以矩陣乘法表示字串對及其串接。
• 使用線性代數構造將字串序列映射至矩陣冪，並保留零元素條件。
• 證明單一化半群 Md 中矩陣的最左一列對應至線性形式中的最左元素，進而實現對 Zd(k) 的歸約。
• 透過結構性矩陣變換與半群同態，建立 Zd(k)、Rd(k) 與 Md(k) 之間的歸約關係。
• 利用 GPCP+ 的已知不可判定性，推導出矩陣問題的不可判定性，並對 d 與 k 建立緊密邊界。

实验结果

研究问题

• RQ1 當矩陣集合大小為 6 或更少時，3×3 矩陣的 Mortality 問題是否不可判定？
• RQ2 對於 3×3 矩陣，當生成元數量分別為 5 或 6 時，左上角零元素與右上角零元素問題是否不可判定？
• RQ3 能否透過從廣義 Post 對應問題歸約，建立矩陣問題更緊密的不可判定邊界？
• RQ4 Mortality 問題變為不可判定的最小矩陣維度與集合大小為何？
• 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) 的邊界。
• 透過 Zd(k) 的歸約與命題 3，證明 R3(6)、R4(5) 與 R6(3) 為不可判定。
• R10(2) 為不可判定，係由 Z9(2) 的不可判定性與命題 3 中的歸約關係所導出。
• 首次正式建立 Zd(k) 與 Zd1,1(k) 的等價性，解決了先前被忽略的關聯。
• 本文透過將 GPCP+(k) 歸約至 ˚Z3(5)，證明其不可判定，並進一步利用定理 7 推導出更多不可判定結果。