[논문 리뷰] The image of a tropical linear space

Joshua Mundinger|arXiv (Cornell University)|2018. 08. 06.

Polynomial and algebraic computation참고 문헌 13인용 수 5

한 줄 요약

이 논문은 선형 사상에 의해 토픽스 선형 공간의 집합론적 상이 토픽스 다양체가 되지 않는 경우에도 포함하는 새로운 토픽스 선형 공간인 토픽스 이미지(tropical image)를 소개한다. 토픽스 수정과 매트로이드 구조를 통해 구성함으로써, 저자들은 스티엘러 토픽스 선형 공간을 일반화하고, 서로소 기저가 없는 쌍조차도 가능한 안정 합(stable sum)을 정의하며, 이전에 제한되었던 구성들을 위한 대수적 프레임워크를 제공한다.

ABSTRACT

Given a tropical linear space $L \subseteq \mathbb{T}^n$ and a matrix $A \in \mathbb{T}^{m imes n}$, the image $AL$ of $L$ under $A$ is typically not a tropical linear space. We introduce a tropical linear space $\mathrm{tropim}_A(L)$, the tropical image, containing $AL$. We show under mild hypotheses that $\mathrm{tropim}_A(L)$ is realizable if $L$ is and apply the tropical image to construct the stable sum of two tropical linear spaces without a disjoint pair of bases.

연구 동기 및 목표

• 선형 사상에 의해 토픽스 선형 공간의 상이 일반적으로 토픽스 다양체가 되지 않는 문제를 해결하기 위해.
• 집합론적 상을 포함하고 매트로이드 및 대수적 구조를 유지하는, 토픽스 선형 공간인 토픽스 이미지(tropical image)를 구성하기 위해.
• 서로소 기저가 없는 쌍에 대해서도 안정 합의 정의를 확장하기 위해.
• 토핑스 플루커 좌표와 소수를 사용하여 토픽스 선형 사상의 대수적이고 매트로이드 이론적 접근을 제공하기 위해.
• 기존의 토픽스 기하학의 구성, 예를 들어 스티엘러 공간과 안정 합을 하나의 프레임워크로 통합하고 일반화하기 위해.

제안 방법

• 행렬 $A$와 $L$의 좌표에서 유도된 소수를 활용한 토픽스 플루커 좌표를 사용하여, $L$에 대한 행렬 $A$의 상에 의해 생성되는 토픽스 선형 공간인 $\mathrm{tropim}_A(L)$를 정의한다.
• 반복적인 토픽스 수정과 일치하는 것으로 증명된 토픽스 선형 사상의 그래프를 통해 토픽스 이미지를 구성한다.
• $A$의 기본 이분할 그래프를 사용하여 $L$의 매트로이드 구조로부터 토픽스 이미지의 매트로이드 구조를 유도함으로써, 매트로이드 합 이론과의 호환성을 확보한다.
• 만약 $L$ 가 체 위에서 실현 가능하다면, 이는 해당 고전적 선형 공간의 상의 토픽스화와 일치함을 보여, 토픽스 이미지가 실현 가능하다는 것을 증명한다.
• $A_+ = [I\; I]$의 덧셈 사상에 대해 토픽스 이미지 구성법을 적용함으로써, $\mathrm{tropim}_{A_+}(L_w \oplus L_z)$ 가 $w \wedge z = 0$ 인 경우에도 안정 합 $L_w +_{st} L_z$ 를 유도함을 보여, 모든 토픽스 선형 공간 쌍에 대해 안정 합을 확장한다.
• 안정 합과 안정 교집합 사이의 이중성을 활용하여, 일반적인 $\gamma$ 에 대해 $\mathrm{trop}(\Lambda_1) \cap_{st} \mathrm{trop}(\Lambda_2) = \mathrm{trop}(\Lambda_1 \cap \gamma \Lambda_2)$ 를 도출함으로써, 토픽스 이미지 프레임워크를 통해 기존 결과에 대한 대수적 증명을 제공한다.

실험 결과

연구 질문

• RQ1 선형 사상에 의해 토픽스 선형 공간의 상이 집합론적 상이 토픽스 다양체가 아니더라도, 이를 포함하는 토픽스 다양체로 확장할 수 있는가?
• RQ2 서로소 기저 쌍이 없는 두 토픽스 선형 공간의 안정 합은 어떻게 정의할 수 있는가?
• RQ3 선형 사상에 의한 토픽스 선형 공간의 토픽스 이미지의 대수적 및 매트로이드 이론적 구조는 무엇인가?
• RQ4 토픽스 이미지 구성은 고유한 체 위에서의 실현 가능성과 고전적 토픽스화와 어떻게 관련이 있는가?
• RQ5 토픽스 이미지 프레임워크는 기존의 구성, 예를 들어 스티엘러 토픽스 선형 공간과 안정 합을 통합하고 일반화할 수 있는가?

주요 결과

• 토핑스 이미지 $\mathrm{tropim}_A(L)$ 는 집합론적 상 $AL$ 을 포함하고, 온건한 가정 하에 토픽스 선형 공간이다.
• 토픽스 이미지 $\mathrm{tropim}_A(L)$ 의 랭크는 $L$ 의 랭크 이하이며, 그 기초 매트로이드는 $A$ 의 이분할 그래프로부터 유도된다.
• 만약 $A$ 가 영이 아닌 최대 소수를 가진다면, $\mathrm{tropim}_A(S^E)$ 는 $A^T$ 와 관련된 스티엘러 토픽스 선형 공간이 되며, 이는 모든 행렬에 대해 이 구성법을 일반화한다.
• 만약 $L = \mathrm{trop}(\Lambda)$ 가 충분히 큰 체 위에서 실현 가능하다면, $\mathrm{tropim}_A(L)$ 도 실현 가능하며, $\Lambda$ 에 대한 $A$ 의 상의 토픽스화와 일치한다.
• 안정 합 $L_w +_{st} L_z$ 는 $A_+ = [I\; I]$ 일 때 $\mathrm{tropim}_{A_+}(L_w \oplus L_z)$ 로 정의되며, 이는 $w \wedge z = 0$ 인 경우에도 작동하여 모든 토픽스 선형 공간 쌍에 대해 안정 합을 확장한다.
• 체 $\kappa\{t^S\}^E$ 의 교차하는 부분공간 $\Lambda_1, \Lambda_2$ 에 대해, 일반적인 $\gamma$ 에 대해 $\mathrm{trop}(\Lambda_1) \cap_{st} \mathrm{trop}(\Lambda_2) = \mathrm{trop}(\Lambda_1 \cap \gamma \Lambda_2)$ 를 만족하며, 이는 기존 결과에 대한 대수적 증명을 제공한다.