[논문 리뷰] Semigroup identities of tropical matrices through matrix ranks

Zur Izhakian, Glenn Merlet|arXiv (Cornell University)|2018. 06. 28.

Polynomial and algebraic computation참고 문헌 26인용 수 6

한 줄 요약

이 논문은 $n \times n$ 토폴로지 행렬의 모노이드가 모든 $n$에 대해 비자명한 군합 항등식을 만족함을 증명한다. 이는 행렬 거듭제곱의 토폴로지 랭크와 인수 랭크 사이의 핵심적 관계를 규명함으로써 달성된다. 새로운 랭크 비교 결과와 삼각형 행렬 항등식 기반의 귀납법을 통해, 길이가 $e^{Cn^2 + o(n^2)}$로 증가하는 항등식을 구성하였으며, 여기서 $C \leq 1/2 + \ln 2$이다. 이는 토폴로지 군합 이론에서 오랫동안 남아있던 추측을 해결한다.

ABSTRACT

We prove the conjecture that, for any $n$, the monoid of all $n imes n$ tropical matrices satisfies nontrivial semigroup identities. To this end, we prove that the factor rank of a large enough power of a tropical matrix does not exceed the tropical rank of the original matrix.

연구 동기 및 목표

• 모노이드 $\mathcal{M}_n(\mathbb{T})$가 모든 $n \in \mathbb{N}$ 에 대해 비자명한 군합 항등식을 만족함을 증명하는 것.
• 행렬의 토폴로지 랭크와 그 고차 거듭제곱의 인수 랭크 사이의 연결 고리를 확립하여, 항등식의 귀납적 구성 가능성을 제공하는 것.
• 삼각형 행렬 모노이드에서의 알려진 항등식을 인수 랭크의 반복에 대한 불변성에 기반해 전체 행렬 모노이드 $\mathcal{M}_n(\mathbb{T})$로 확장하는 것.
• 해당 항등식의 길이에 대한 정량적 상한을 제공하여, 길이가 $e^{Cn^2 + o(n^2)}$의 순서로 증가함을 보여주는 것. 여기서 $C \leq 1/2 + \ln 2$이다.

제안 방법

• 정리 2.20을 도입하고 증명한다: 임의의 $A \in \mathcal{M}_n(\mathbb{T})$에 대해 $t \geq (n-1)^2 + 1$일 때 $\operatorname{rk}_{\text{fc}}(A^t) \leq \operatorname{rk}_{\text{tr}}(A)$임을 보이며, 이는 인수 랭크와 토폴로지 랭크를 연결한다.
• 제2.6조를 사용하여 $\operatorname{rk}_{\text{tr}}(A^{\overline{n}}) < n$이면 $t \geq 3n-2$일 때 $\operatorname{rk}_{\text{fc}}(A^{t\overline{n}}) < n$임을 보이고, 이를 통해 귀납적 감소를 가능하게 한다.
• 이전 연구에서 도입된 약한 CSR 전개 방법을 활용하여 행렬 거듭제곱과 그 랭크 행동을 분석한다.
• 레마 3.1을 적용하여 행렬 분해와 단어 치환을 통해 더 작은 행렬 모노이드에서 더 큰 모노이드로 항등식을 이전하는 방법을 적용한다.
• 상삼각 토폴로지 행렬 모노이드에서 알려진 항등식을 사용하여 재귀적으로 항등식을 구성한다. 여기서 $\langle q,r\rangle \in \operatorname{Id}(\mathcal{U}_n)$이다.
• 최종 항등식의 길이를 $\overline{n} = \operatorname{lcm}(1,\dots,n)$의 지수적 증가와 삼각형 행렬 항등식의 지수적 길이를 조합하여 상한으로 제시한다.

실험 결과

연구 질문

• RQ1 모노이드 $\mathcal{M}_n(\mathbb{T})$가 모든 $n \geq 1$ 에 대해 비자명한 군합 항등식을 만족하는가?
• RQ2 행렬 거듭제곱의 인수 랭크는 원래 행렬의 토폴로지 랭크로 유계될 수 있는가?
• RQ3 삼각형 하위모노이드 $\mathcal{U}_n$에서의 항등식을 이용해 $\mathcal{M}_n(\mathbb{T})$에 대한 통일된 항등식 구성 방법이 존재하는가?
• RQ4 항등식의 길이가 $n$이 증가함에 따라 渐近적 증가율은 어떻게 되는가?

주요 결과

• 모노이드 $\mathcal{M}_n(\mathbb{T})$는 모든 $n \in \mathbb{N}$ 에 대해 비자명한 군합 항등식을 만족하며, 이는 추측을 확인하는 것이다.
• 항등식 길이는 $e^{Cn^2 + o(n^2)}$로 증가하며, 여기서 $C \leq 1/2 + \ln 2$이다. 이는 최소공배수 $\overline{n} = \operatorname{lcm}(1,\dots,n)$와 $\mathcal{U}_n$에서의 지수적 길이 항등식에서 유도된다.
• 정리 2.20은 $t \geq (n-1)^2 + 1$일 때 $\operatorname{rk}_{\text{fc}}(A^t) \leq \operatorname{rk}_{\text{tr}}(A)$임을 보여주며, 이는 핵심적인 랭크 제어 메커니즘을 제공한다.
• 제2.6조는 $\operatorname{rk}_{\text{tr}}(A^{\overline{n}}) < n$이면 $t \geq 3n - 2$일 때 $\operatorname{rk}_{\text{fc}}(A^{t\overline{n}}) < n$임을 보여주며, 이를 통해 귀납적 감소를 가능하게 한다.
• 결론 3.9: $\mathcal{M}_n(\mathbb{T})$에 의해 춵실하게 표현되는 임의의 군합은 비자명한 항등식을 만족한다. 이는 행렬 모노이드 내에서 이러한 항등식의 존재성 때문이기 때문이다.
• $n=3$일 때, 이 방법은 기존에 알려진 1,795,308 길이의 항등식보다 훨씬 짧은 길이 4,968과 5,808의 항등식을 도출한다. 이는 효율성을 보여준다.