[논문 리뷰] Tropical Arithmetic and Tropical Matrix Algebra

Zur Izhakian|arXiv (Cornell University)|2005. 05. 22.

Polynomial and algebraic computation참고 문헌 32인용 수 21

한 줄 요약

이 논문은 실수의 이중 복사본과 형식적 $-\infty$ 원소를 포함하는 표준 토프로피 반군을 일반화함으로써, 잘 정의된 정규성 및 가역성 개념을 갖춘 정교한 행렬 대수를 가능하게 하는 확장된 토프로피 반군을 도입한다. 주요 기여는 토프로피적 정규성과 가역성이 동치임을 증명하고, 고전적 선형대수학과 유사한 명시적 공식을 통해 가역역행을 제공하는 것이다.

ABSTRACT

This paper introduces a new structure of commutative semiring, generalizing the tropical semiring, and having an arithmetic that modifies the standard tropical operations, i.e. summation and maximum. Although our framework is combinatorial, notions of regularity and invertibility arise naturally for matrices over this semiring; we show that a tropical matrix is invertible if and only if it is regular.

연구 동기 및 목표

• 고전적 토프로피 선형대수학의 근본적 한계, 특히 표준 토프로피 반군 $(\mathbb{R} \cup \{-\infty\}, \max, +)$ 에서의 덧셈의 등幂성으로 인해 정의되는 역행성과 질량의 개념이 약화되는 문제를 해결하기 위해.
• 실수 $\mathbb{R}$, $\mathbb{R}^\nu$, $-\infty$ 의 분리합집합을 취하여 새로운 교환 반군 구조—확장된 토프로피 반군으로 불리는—를 구성하고, $\mathbb{R}^\nu$ 에서의 덧셈이 등幂가 아닌 방식으로 수정된 토프로피 덧셈 $\oplus$ 와 곱셈 $\odot$ 를 갖춘다.
• 이 반군 위에서 고전적 체 위의 선형대수학과 유사한 자연스러운 정규성과 역행성 개념을 지원하는 행렬 대수를 개발한다.
• 이 대수적 프레임워크와 토프로피 기하학 사이의 연결 고리를 설정하기 위해, 덧셈의 다중성을 표현함으로써 토프로피 대수적 집합의 정의를 가능하게 한다.

제안 방법

• 표준 실수의 순서를 확장하는 전순서 $\prec$ 를 갖춘 $\mathbb{T} = \mathbb{R} \cup \{-\infty\} \cup \mathbb{R}^\nu$ 를 정의하고, $\max$ 와 $+$ 를 일반화하는 연산 $\oplus$ 와 $\odot$ 를 갖춘다.
• 요소 $\mathbb{R}^\nu$ 를 $\overline{\mathbb{R}} = \mathbb{R} \cup \{-\infty\}$ 로 매핑하는 준동형사상 $\pi: \mathbb{T} \to \overline{\mathbb{R}}$ 를 도입하여 고전적 토프로피 대수학으로의 다리를 놓는다.
• 행렬 곱셈과 덧셈을 $\mathbb{T}$ 에서 정의하고, 행렬 $\mathcal{A}$ 의 가역역행 $\mathcal{A}^{\triangledown}$ 을 고전적 수반행렬 공식과 유사하게 구성한다: $\mathcal{A}^{\triangledown} = \text{Adj}(\mathcal{A}^2) / |\mathcal{A}^2|$.
• 행렬 $\mathcal{A}$ 가 정규이면 가역역행이 되고, 그 역도 성립함을 증명하며, $\mathcal{A} \mathcal{A}^{\triangledown}$ 과 $\mathcal{A}^{\triangledown} \mathcal{A}$ 는 등幂 행렬임을 보인다.
• $\pi_*$: $M_n(\mathbb{T}) \to M_n(\overline{\mathbb{R}})$ 를 사용하여 확장된 반군 위의 행렬과 고전적 토프로피 행렬을 연결하며, $\pi_*(\widetilde{\mathcal{I}}' \mathcal{A}) = \mathcal{A}$ 와 $\pi_*(\mathcal{A}^{\triangledown} \widetilde{\mathcal{I}}') = \mathcal{A}^{\triangledown}$ 를 보여주며, 여기서 $\widetilde{\mathcal{I}}'$ 는 $\mathcal{A} \mathcal{A}^{\triangledown}$ 의 곱이다.
• 모노이드 $M_n(\mathbb{T})$ 가 E-밀도임을 증명하며, 가역역행이 반군 이론의 그린 관계와 유사한 성질을 만족함을 보인다.

실험 결과

연구 질문

• RQ1 기하학적 의미를 유지하면서도 덧셈의 등幂성을 허용하지 않는 더 풍부한 대수적 구조를 지원할 수 있는 일반화된 토프로피 반군을 구성할 수 있는가?
• RQ2 토프로피적 맥락에서의 행렬 정규성 개념이 고전적 선형대수학과 마찬가지로 정확히 가역성과 일치하는가?
• RQ3 고전적 수반행렬-행렬식 공식과 유사한 명시적 공식을 갖는 토프로피 행렬의 가역역행을 유도할 수 있는가?
• RQ4 확장된 토프로피 반군 위의 행렬 대수적 성질이 준동형사상 $\pi$ 를 통해 표준 토프로피 반군 위의 성질과 어떻게 관련되는가?
• RQ5 이중 복사본 $\mathbb{R}^\nu$ 는 다중성을 어떻게 표현하고, 이를 통해 토프로피 대수적 집합의 정의를 어떻게 가능하게 하는가?

주요 결과

• 행렬 $\mathcal{A}$ 가 가역역행 가능할 때이고 오직 그 때에만 토프로피적 정규성과 동치임을 증명함으로써, 이 프레임워크 내에서 대수적 정규성과 역행성 사이의 근본적인 동치관계를 확립한다.
• 정규 행렬 $\mathcal{A}$ 의 가역역행 $\mathcal{A}^{\triangledown}$ 은 명시적으로 $\text{Adj}(\mathcal{A}^2) / |\mathcal{A}^2|$ 로 주어지며, $\mathcal{A}^2 = \begin{pmatrix} 3 & 4 \\ 5 & 6 \end{pmatrix}$ 일 때 $\mathcal{A}^{\triangledown} = \begin{pmatrix} 6 & 4 \\ 5 & 3 \end{pmatrix}(-9)^\nu$ 를 얻으며, 이는 $(\mathcal{A}^{\triangledown})^2 \neq (\mathcal{A}\mathcal{A})^{\triangledown}$ 임을 보여준다.
• $\mathcal{A} \mathcal{A}^{\triangledown}$ 과 $\mathcal{A}^{\triangledown} \mathcal{A}$ 는 모두 등幂 행렬이며, 이는 모노이드 $M_n(\mathbb{T})$ 가 E-밀도임을 확인한다.
• 준동형사상 $\pi_*$ 는 가역역행 관계를 고전적 맥락으로 매핑한다: $\pi_*(\widetilde{\mathcal{I}}' \mathcal{A}) = \mathcal{A}$ 와 $\pi_*(\mathcal{A}^{\triangledown} \widetilde{\mathcal{I}}') = \mathcal{A}^{\triangledown}$, 여기서 $\widetilde{\mathcal{I}}' = \mathcal{A} \mathcal{A}^{\triangledown}$ 이다.
• $\mathcal{A} = \begin{pmatrix} 1 & 1 \\ 2 & 3 \end{pmatrix}$ 일 때, 가역역행은 $\mathcal{A}^{\triangledown} = \begin{pmatrix} -1 & -3 \\ -2 & -3 \end{pmatrix}$ 이며, $\mathcal{A} \mathcal{A}^{\triangledown} = \begin{pmatrix} 0 & (-2)^\nu \\ 1^\nu & 0 \end{pmatrix}$ 이다. 이는 $\mathbb{R}^\nu$ 가 다중성을 표현하는 데 기여함을 보여준다.
• 이 프레임워크는 $\oplus$ 연산에 의해 표현되는 덧셈의 다중성을 통해 자연스러운 토프로피 대수적 집합의 정의를 지원하며, 토프로피 다양체의 기하학적 해석을 풍부하게 한다.