[논문 리뷰] Efficiently Computing the Minimum Rank of a Matrix in a Monoid of Zero-One Matrices

Kiefer, Stefan, Ryzhikov, Andrew|arXiv (Cornell University)|2025. 01. 01.

graph theory and CDMA systems인용 수 4

한 줄 요약

이 논문은 기존에 알려진 바보다 더 작은 행렬 차원과 더 작은 행렬 집합에서 몇 가지 행렬 문제의 결정 불가능성을 입증한다. 특히, Mortality 문제(Md(k))와 Zero-in-Corner 문제(Zd(k), Rd(k))에 대해 다룬다. 0-1 행렬의 모노이드에서 일반화된 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, Zero-in-Left-Upper-Corner, Zero-in-Right-Upper-Corner 문제의 결정 가능성에 대한 열린 케이스를 해결하는 것.
• 일반화된 Post 대응 문제에서 0-1 행렬의 모노이드 내의 행렬 문제로의 더 강력한 감소를 수립하는 것.
• 다양한 형태의 영원소 도달 가능성 문제 간의 관계를 명확히 하고, 감소에 따라 동치임을 밝히는 것.

제안 방법

• 일반화된 Post 대응 문제(GPCP+)를 0-1 행렬의 모노이드 내에서 제한된 영-코너 문제로 감소시켰다.
• 문자열 쌍과 그 연결을 매트릭스 곱으로 표현하기 위해 표준 매트릭스 임bedding을 도입했다.
• 선형 대수적 구성법을 사용하여 문자열 시퀀스를 매트릭스 거듭제곱으로 매핑하고, 영원소 조건을 유지했다.
• 모노이드 Md 내의 매트릭스에서 첫 번째 열이 선형 형식의 왼쪽 끝 원소에 대응됨을 증명함으로써, Zd(k)로의 감소가 가능해졌다.
• 구조적 매트릭스 변환과 준군 준동형을 통해 Zd(k), Rd(k), Md(k) 간의 감소를 수립했다.
• 기존에 알려진 GPCP+의 결정 불가능성을 활용하여, 행렬 문제의 결정 불가능성을 유도하였으며, d와 k에 대해 엄밀한 경계를 확립했다.

실험 결과

연구 질문

• RQ1 3×3 행렬에 대해 집합 크기가 6 이하일 경우 Mortality 문제가 결정 불가능한가?
• RQ2 3×3 행렬에 대해 각각 5개, 6개의 생성자로 구성된 Zero-in-Left-Upper-Corner 및 Zero-in-Right-Upper-Corner 문제의 결정 불가능성은 어떻게 되는가?
• 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)를 좁힌 것이다.
• Proposition 3를 활용한 Zd(k)에서의 감소를 통해 R3(6), R4(5), R6(3)가 결정 불가능하다는 것이 입증되었다.
• Z9(2)의 결정 불가능성과 Proposition 3의 감소를 통해 R10(2)도 결정 불가능하다는 것이 유도되었다.
• Zd(k)와 Zd1,1(k) 간의 동치성이 처음으로 공식적으로 입증되었으며, 이는 이전에 간과된 연결 고리를 해결한 것이다.
• GPCP+(k)를 ˚Z3(5)로 감소시킴으로써 ˚Z3(5)의 결정 불가능성을 입증하였으며, 이를 바탕으로 Theorem 7를 활용해 추가적인 결정 불가능성 결과를 도출하였다.