[논문 리뷰] Monoids of Upper Triangular Matrices over the Boolean Semiring

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

semigroups and automata theory인용 수 1

한 줄 요약

이 논문은 SIA-인덱스를 도입하며, 이는 수렴하는 랭크-일치 행렬(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-인덱스를 정의하고 분석하며, 이는 수렴하는 랭크-일치 행렬이 되는 최소 길이의 확률행렬 곱의 길이다.
• n×n 확률행렬에 대해 SIA-인덱스의 날카운 상한과 하한을 규명한다.
• 주어진 정수 k에 대해 SIA-인덱스가 그에 유한한지 여부를 결정하는 문제의 NP-완전성을 증명한다.
• SIA-인덱스를 자동기계 이론의 고전적 개념, 특히 동기화 자동기계에 대한 Černý 추측과 연결한다.
• SIA, 스캐러빙, Sarymsakov, 또는 양의 열을 가진 곱의 존재 여부를 다루는 다항시간 결정 절차를 개발한다.

제안 방법

• 3-SAT에서의 축소를 통해, 대각선 원소가 모두 양수인 행렬에 대해 SIA-인덱스 ≤ k 여부를 결정하는 문제의 NP-완전성을 증명한다.
• 집합 커버 인스턴스로부터 (0,1)-확률행렬의 가족을 구성하며, SIA-인덱스를 최소 집합 커버 크기와 연결한다.
• 수렴 성질을 분석하기 위해 리드넘 단어와 조합론적 행렬 이론을 사용한다.
• 양의 열 인덱스와 스캐러빙 행렬에 대한 기존 결과를 활용하여 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에 대해 최소 선형적으로 증가하므로, 실제 증가율이 선형에 가깝다는 것을 시사한다.
• 모든 행렬의 대각선 원소가 양수인 경우에도, 주어진 k에 대해 SIA-인덱스가 그에 유한한지 여부를 결정하는 문제의 NP-완전성이 입증된다.
• 확률행렬 집합에서 SIA 곱의 존재성은 양의 열, 스캐러빙, 또는 Sarymsakov 곱의 존재성과 동치이다.
• 모든 α>0에 대해 (1−α)log(n) 요인 내에서 SIA-인덱스를 근사화하는 것은 NP-난해하며, 강한 근사 불가능성을 시사한다.
• SIA-인덱스를 계산하는 것은 NP-난해하며, P=NP가 아닌 한 O(log n) 요인 내에서 근사화할 수 없다.