[논문 리뷰] The Tropical Rank of a Tropical Matrix

Zur Izhakian|ArXiv.org|2006. 04. 09.

Polynomial and algebraic computation참고 문헌 16인용 수 11

한 줄 요약

이 논문은 확장된 트로픽 반군 위에서 트로픽 선형 종속성의 엄밀한 개념을 도입하여, 고전적 선형대수 개념과 일치하는 잘 정의된 행렬 질량을 가능하게 한다. 트로픽 행렬의 질량이 그 가장 큰 비특이 소행렬식의 크기와 동일하다는 것을 증명하고, $ n \times n $ 행렬이 트로픽적으로 비특이(가역)임과 그 질량이 $ n $임이 동치임을 보여, 트로픽 선형대수학의 기본적인 모순을 해결한다.

ABSTRACT

In this paper we further develop the theory of matrices over the extended tropical semiring. Introducing a notion of tropical linear dependence allows for a natural definition of matrix rank in a sense that coincides with the notions of tropical regularity and invertibility.

연구 동기 및 목표

• 트로픽 선형대수학에서 선형 종속성의 일관된 개념이 부족한 문제, 특히 표준 최대-합 반군에서의 문제를 해결하기 위해.
• 고전적 선형대수학과 유사한 강력한 행렬 질량 개념을 확장된 트로픽 반군에서 정의하기 위해.
• 행렬 질량, 가역성, 최대 비특이 소행렬식의 크기 간의 관계를 설정하기 위해.
• 랭크-널리티와 유일한 해가 존재하는 문제와 같은 고전적 결과를 뒷받침하는 트로픽 선형대수학의 기초를 마련하기 위해.

제안 방법

• 실수 및 가짜 성분을 포함하는 더 rich한 대수적 구조를 지원하기 위해, $ \mathbb{T} = \overline{\mathbb{R}} \cup \overline{\mathbb{U}} $로 정의된 확장된 트로픽 반군을 도입한다.
• 확장된 반군의 실수 성분 $ \overline{\mathbb{R}} $에서의 계수를 가진 선형 조합이 가짜 벡터를 만족할 때, 트로픽 선형 종속성을 정의한다.
• 자연적 전상사 $ \pi: \mathbb{T} \to \overline{\mathbb{R}} $를 사용하여 확장된 구조를 표준 트로픽 대수학과 연결한다.
• 종속성의 개념을 적용하여 트로픽 질량을 최대의 트로픽으로 독립적인 행 또는 열의 수로 정의한다.
• 확장된 반군 위에서 정의된 소행렬식을 사용하여, 행렬의 질량이 그 가장 큰 비특이 소행렬식의 크기와 동일하다는 것을 증명한다.
• 모든 $ n \times n $ 행렬이 트로픽적으로 비특이(가상의 역행렬이 존재함)임과 그 질량이 $ n $임이 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 표준 최대-합 반군이 이러한 구조를 갖지 못하는 바탕에서, 트로픽 선형대수학에서 일관된 선형 종속성의 개념을 어떻게 정의할 수 있는가?
• RQ2 확장된 트로픽 반군에서 행렬 질량의 올바른 해석은 무엇이며, 그것이 가역성과 소행렬식과 어떻게 관련되는가?
• RQ3 독립성에 기반한 트로픽 질량이 가장 큰 비특이 소행렬식의 크기와 일치하는가?
• RQ4 표준 최대-합 설정과 비교할 때, 확장된 반군 프레임워크는 질량과 특이성에 대한 모순을 어떻게 해결하는가?

주요 결과

• 행렬의 트로픽 질량은 그 가장 큰 비특이 소행렬식의 크기와 동일하며, 이는 질량의 조합론적 특성화를 제공한다.
• $ n \times n $ 행렬이 트로픽적으로 비특이임과 그 트로픽 질량이 $ n $임이 동치이며, 이는 가상의 가역성과의 등가성을 확립한다.
• 행렬의 질량은 그 열들 중 최대 독립 부분집합의 크기와 동일하며, 이는 고전적 랭크 성질을 일반화한다.
• 실수 행렬(성분이 $ \overline{\mathbb{R}} $에 속함)의 경우, 제안된 질량은 Develin, Santos, Sturmfels가 정의한 트로픽 질량과 일치하며, 이는 이전 연구와의 일관성을 검증한다.
• 트로픽 질량의 계산은 NP-완전임을 보여, 최대-합 설정에서 관련된 질량 계산의 NP-완전성에 기반한다.
• $ n $개의 동차 트로픽 선형방정식의 계수 행렬이 특이행렬이면, 그 방정식계는 순수한 실수 해를 가진다. 이는 해의 존재성과 행렬 질량 간의 연결 고리를 제공한다.