[논문 리뷰] On tropical Kleene star matrices and alcoved polytopes

M. J. de la Puente|arXiv (Cornell University)|2012. 10. 05.

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

한 줄 요약

이 논문은 영 대각성분을 가진 실수 행렬이 켈레인 스타 행렬이면 그 토프로이컬러 열 생성공간이 볼록임을 보여주는 초등적인 증명을 제공하며, 토프로이컬러 대수학과 볼록 기하학 사이의 기본적인 연결 고리를 확립한다. 주요 기여는 정규의등행렬—켈레인 스타의 부분집합—에 대해 토프로이컬러 노름이 그 토프로이컬러 생성공간의 초평면 절단의 반지름과 같음을 보여주어 알코베드 폴리토프와 그 극단적 구조를 위한 새로운 계산 도구를 가능하게 한다.

ABSTRACT

In this paper we give a short, elementary proof of a known result in tropical mathematics, by which the convexity of the column span of a zero--diagonal real matrix $A$ is characterized by $A$ being a Kleene star. We give applications to alcoved polytopes, using normal idempotent matrices (which form a subclass of Kleene stars). For a normal matrix we define a norm and show that this is the radius of a hyperplane section of its tropical span.

연구 동기 및 목표

• 토프로이컬러러 열 생성공간의 볼록성에 대한 켈레인 스타 행렬의 특성화를 수립하기 위해.
• 이 특성화를 알코베드 폴리토프—조합적이고 기하학적으로 의미 있는 볼록 폴리토프의 클래스—에 적용하기 위해.
• 정규의등행렬에 대해 토프로이컬러 노름을 정의하고, 그것이 그 초평면 절단의 반지름과 어떻게 관련되는지 기술하기 위해.
• 토프로이컬러 연산을 이용해 알코베드 폴리토프의 극단점(정점과 가짜정점)을 위한 새로운 계산 방법을 가능하게 하기 위해.
• 폴리토프 표현을 개선하고, 토프로이컬러 대수학을 통해 반지름과 같은 내재 기하학적 불변량을 계산하기 위해.

제안 방법

• 영 대각성분을 가진 행렬 $A$가 켈레인 스타(즉, $A = A^2$)임을 보이기 위해 초등 부등식을 사용하며, 이는 $\operatorname{span}(A)$가 볼록임과 동치임을 증명한다.
• 정규의등행렬에 대해 $a_{ii} = 0$ 이고 $a_{ij} \leq 0$ 이면, 토프로이컬러 노름 $|||A||| = \max_{i,j} |a_{ij}|$ 를 정의한다.
• 거리 함수 $\operatorname{d}(p,q) = \max_{i,j} \{ |p_i - q_i|, |p_i - q_i - p_j + q_j| \}$ 를 사용하여, 초평면 절단 $\operatorname{span}(A) \cap \{x_n = 0\}$ 의 반지름이 $|||A|||$ 와 같음을 보인다.
• 행렬 $A$에서 각 열 $j$ 의 모든 원소에서 $a_{nj}$ 를 빼어 얻는 $A_0$ 에 대해 $\operatorname{span}(A) = \operatorname{span}(A_0)$ 이라는 사실을 이용하여 문제를 초평면 $\{x_n = 0\}$ 으로 축소한다.
• 정규의등행렬의 구조를 활용하여 생성공간 내 점들 사이의 토프로이컬러 거리를 유 bounds 하고, 이를 행렬 노름과 연결한다.
• 알코베드 폴리토프에 결과를 적용하기 위해, 그들의 초평면 절단이 켈레인 스타 행렬의 토프로이컬러 생성공간으로 나타남을 보여주며, 반지름과 극단점 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 영 대각성분을 가진 토프로이컬러러 행렬의 토프로이컬러러 열 생성공간이 볼록일 조건은 무엇인가?
• RQ2 정규의등행렬의 토프로이컬러 노름은 그 토프로이컬러 생성공간의 기하학적 불변량과 어떻게 관련되는가?
• RQ3 토프로이컬러 대수학을 사용하여 알코베드 폴리토프의 반지름과 극단점(정점 및 가짜정점)을 계산할 수 있는가?
• RQ4 정규 행렬에 대해 행렬 노름 $|||A|||$ 와 초평면 절단 $\operatorname{span}(A) \cap \{x_n = 0\}$ 의 반지름 사이의 관계는 무엇인가?
• RQ5 켈레인 스타 행렬의 구조는 일반적인 토프로이컬러 생성공간에 비해 알코베드 폴리토프 분석을 어떻게 단순화하는가?

주요 결과

• 영 대각성분을 가진 실수 행렬 $A$ 는 그 토프로이컬러러 열 생성공간 $\operatorname{span}(A)$ 가 볼록일 때이고 그때에만 켈레인 스타이다.
• 정규의등행렬 $A$ 에 대해 토프로이컬러 노름 $|||A|||$ 는 초평면 절단 $\operatorname{span}(A) \cap \{x_n = 0\}$ 의 반지름과 같다.
• 행렬 $A$ 가 추가로 의등행렬이면, $|||A|||$ 는 알코베드 폴리토프 $C_A$ 의 반지름과 같다.
• 초평면 절단 $\operatorname{span}(A) \cap \{x_n = 0\}$ 의 반지름은 $|||A|||$ 로 유계이며, 이 경계는 날카롭다.
• 거리 함수 $\operatorname{d}(p,q)$ 는 $\mathbb{R}^{n-1}$ 에서 토프로이컬러 메트릭을 유도하며, 집합 $S$ 의 반지름은 $\sup_{s \in S} \operatorname{d}(s,0)$ 이다.
• 예제 9 는 $|||B||| = |||A||| = 10$ 이며, $\operatorname{span}(B) \cap \{x_4 = 0\}$ 과 $C_A$ 는 모두 반지름 10 을 가지며, 이는 노름-반지름 등식을 확인한다.