[논문 리뷰] Primitive sets of nonnegative matrices and synchronizing automata

Balázs Gerencsér, Vladimir V. Gusev외 1명|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2016. 02. 24.

semigroups and automata theory참고 문헌 8인용 수 6

한 줄 요약

이 논문은 비음수 행렬의 원시 집합과 동기화 자동기계 사이의 깊은 등가성을 확립하며, $n \times n$ 행렬에 대해 최대 지수의 지수적 성장률이 $\frac{\log 3}{3}$임을 증명하고, 조심스럽게 동기화되는 자동기계에 대한 Černý 추측을 해결한다. 또한, 영 행렬이나 열을 가지지 않는 행렬의 지수를 계산하는 것은 $FP^{NP[\log]}$-완전이며, 총 지지가 있는 행렬에 대해서는 $2n^2 - 5n + 5$의 이차 상계를 제공한다.

ABSTRACT

A set of nonnegative matrices $\mathcal{M}=\{M_1, M_2, \ldots, M_k\}$ is called primitive if there exist indices $i_1, i_2, \ldots, i_m$ such that $M_{i_1} M_{i_2} \ldots M_{i_m}$ is positive (i.e. has all its entries $>0$). The length of the shortest such product is called the exponent of $\mathcal{M}$. The concept of primitive sets of matrices comes up in a number of problems within control theory, non-homogeneous Markov chains, automata theory etc. Recently, connections between synchronizing automata and primitive sets of matrices were established. In the present paper, we significantly strengthen these links by providing equivalence results, both in terms of combinatorial characterization, and computational aspects. We study the maximal exponent among all primitive sets of $n imes n$ matrices, which we denote by $\exp(n)$. We prove that $\lim_{n ightarrow\infty} frac{\log \exp(n)}{n} = frac{\log 3}{3}$, and moreover, we establish that this bound leads to a resolution of the Černý problem for carefully synchronizing automata. We also study the set of matrices with no zero rows and columns, denoted by $\mathcal{NZ}$, due to its intriguing connections to the Černý conjecture and the recent generalization of Perron-Frobenius theory for this class. We characterize computational complexity of different problems related to the exponent of $\mathcal{NZ}$ matrix sets, and present a quadratic bound on the exponents of sets belonging to a special subclass. Namely, we show that the exponent of a set of matrices having total support is bounded by $2n^2 -5n +5$.

연구 동기 및 목표

• 비음수 행렬의 원시 집합과 동기화 자동기계 사이의 공식적 등가성을 수립함으로써, 특히 조합적 구조와 계산 복잡도 측면에서.
• 모든 $n \times n$ 원시 행렬 집합에 대해 최대 지수 $\exp(n)$의 점 渐진적 성장률을 규명함.
• 매트릭스 이론적 도구를 사용하여, 특히 조심스럽게 동기화되는 자동기계의 특수한 경우에 대해 Černý 추측을 해결함.
• 영 행렬이나 열이 없는 행렬의 클래스인 $\mathscr{NZ}$에 속하는 행렬의 지수 계산의 계산 복잡도를 특성화함.
• 총 지지가 있는 행렬에 대해 지수의 이차 상계를 유도하고, Černý 추측에 대한 함의를 탐색함.

제안 방법

• 행렬 곱셈을 논리적 OR와 AND의 조합으로 간주하는 부울 반군 프레임워크를 활용하여, 행렬 곱을 상태 전이의 순서로 모델링함.
• 행렬 곱이 양수임과 자동기계의 단어가 동기화 가능함이 등가임을 이용하며, 특히 자동기계 전이로부터 전이 행렬을 구성함.
• 행렬 집합이 $\mathscr{NZ}$에 속할 경우 일반화된 Perron-Frobenius 이론을 적용하여, 매트릭스 작용 하에서 주기적 분할이 존재하지 않음으로써 원시성을 특성화함.
• 동기화 자동기계 문제(예: 리셋 임계값 결정 및 근사)에서의 감소를 활용하여, 매트릭스 지수 문제를 알려진 복잡도 클래스로 감소함.
• NP[\log]-질의를 사용하여 다항적으로 유계된 지수 값에 대해 이진 탐색을 수행함으로써 정확한 지수를 결정함으로써, 계산을 $FP^{NP[\log]}$에 포함시킴.
• 전이 그래프의 구조 분석과 경로 존재 조건을 활용하여, 총 지지가 있는 행렬에 대해 $2n^2 - 5n + 5$의 이차 상계를 도출함.

실험 결과

연구 질문

• RQ1 원시 행렬 집합에 대해 $n \times n$ 행렬의 최대 지수 $\exp(n)$의 점 渐진적 성장률은 무엇인가?
• RQ2 매트릭스 이론적 방법을 사용하여, 조심스럽게 동기화되는 자동기계에 대한 Černý 추측을 해결할 수 있는가?
• RQ3 행렬 집합 $\mathscr{NZ}$에 속하는 행렬 집합의 지수가 최대 $k$인지, 정확히 $k$인지 결정하는 문제의 계산 복잡도는 무엇인가?
• RQ4 총 지지가 있는 행렬 집합에 대해 지수에 대한 이차 상계가 존재하는가, 그리고 이는 Černý 추측에 어떤 함의를 갖는가?
• RQ5 행렬 집합의 구조적 성질(예: 총 지지, 비가역성)은 짧은 양수 곱의 존재와 어떻게 관련이 있는가?

주요 결과

• 극한 $\lim_{n \to \infty} \frac{\log \exp(n)}{n} = \frac{\log 3}{3}$이 확립되어 최대 지수의 정확한 점 渐진적 성장률을 제공함.
• 모든 $\mathcal{M}$이 $\mathscr{NZ}$에 속하는 세 개의 $n \times n$ 행렬로 구성된 경우, $\exp(\mathcal{M}) \leq k$인지 결정하는 문제는 $NP$-완전임.
• $\exp(\mathcal{M}) = k$인지 결정하는 문제는 $DP$-완전이며, $\exp(\mathcal{M})$을 계산하는 것은 $FP^{NP[\log]}$-완전임.
• 모든 $\varepsilon > 0$에 대해, $\exp(\mathcal{M})$을 인자 $n^{1-\varepsilon}$ 이내로 근사하는 것은 $NP$-난이도임을 보여주며, 강한 근사 불가능성을 시사함.
• 총 지지를 가진 모든 $n \times n$ 행렬 집합의 지수는 최대 $2n^2 - 5n + 5$이며, 이는 이차 상계임.
• 이곳에서 유도된 지수 상한이 추측된 $n^2$ 임계값과 일치하므로, 조심스럽게 동기화되는 자동기계에 대한 Černý 추측이 해결됨.