[논문 리뷰] A tropical morphism related to the hyperplane arrangement of the complete bipartite graph

Federico Ardila|ArXiv.org|2004. 04. 16.

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

한 줄 요약

이 논문은 통계 모델의 트로피컬 기하학에서 나타나는 트로피컬 사상 $ g: \mathbb{R}^{2(m+n)} \to \mathbb{R}^{m \times n} $를 연구한다. 이 사상은 $ g_{ij} = \min(a_i + b_j, A_i + B_j) $ 로 정의되며, $ g $ 의 이미지, 즉 바르비노크 랭크가 2 이하인 행렬의 집합은 두 개의 다면체 분할을 갖는다: 거친 분할과 더 세밀한 분할이다. 더 세밀한 분할의 최대 차원 세포 수는 $ 2\binom{m}{2}\binom{n}{2} r_{m-2,n-2} $ 이며, 여기서 $ r_{m-2,n-2} $ 는 초평면 배치 $ \mathcal{A}_{m-2,n-2} $ 의 영역 수이다. 이는 이미지의 가장 세밀한 분할에 대한 조합적 수세기를 제공한다.

ABSTRACT

We undertake a combinatorial study of the piecewise linear map g : R^{2m+2n} --> R^{mn} which assigns to the four vectors a, A in R^m and b, B in R^n the m by n matrix given by g_{ij} = min (a_i + b_j, A_i+B_j). This map arises naturally in Pachter and Sturmfels's work on the tropical geometry of statistical models. The image of g has been a subject of recent interest; it is the positive part of the tropical algebraic variety which parameterizes n-tuples of points on a tropical line in m-space. The domains of linearity of g are the regions of the real hyperplane arrangement A_{m,n}, corresponding to the complete bipartite graph K_{m,n}. We explain how the images of (some of) the regions provide two polyhedral subdivisions of the image of g, one of which is a refinement of the other. The finer subdivision is particularly nice enumeratively: it has 2 {m \choose 2} {n \choose 2} r_{m-2,n-2} maximum-dimensional cells, where r_{m-2,n-2} is the number of regions of the arrangement A_{m-2,n-2}.

연구 동기 및 목표

• 통계 모델의 트로피컬 기하학에서 나타나는 조각별 선형 사상 $ g: \mathbb{R}^{2(m+n)} \to \mathbb{R}^{m \times n} $ 의 조합적 구조를 분석하는 것. 이 사상은 $ g_{ij} = \min(a_i + b_j, A_i + B_j) $ 로 정의된다.
• 사상 $ g $ 의 선형성 영역을 기술하는 것. 이들은 완전 이분 그래프 $ K_{m,n} $ 와 관련된 실수 초평면 배치 $ \mathcal{A}_{m,n} $ 의 영역이다.
• 이 영역들의 이미지가 사상 $ g $ 의 이미지를 어떻게 분해하는지 조사하는 것. 이 이미지는 $ m \times n $ 행렬 중 바르비노크 랭크가 2 이하인 행렬의 집합이다.
• 이미지에 대해 두 개의 다면체 분할을 구성하고 수세기하는 것: 거친 분할과 더 세밀한 분할이며, 특히 더 세밀한 분할은 조합적으로 잘 정의되어 있다.

제안 방법

• 사상 $ g $ 는 그 선형성 영역을 통해 분석되며, 이들은 완전 이분 그래프 $ K_{m,n} $ 와 관련된 초평면 배치 $ \mathcal{A}_{m,n} $ 의 여집합의 연결 성분이다.
• $ \mathcal{A}_{m,n} $ 의 각 영역 $ R $ 에 대한 $ g $ 의 이미지는 다면체 세포이며, 이러한 세포들이 $ g $ 의 이미지를 두 가지 다른 방식으로 테일러링함을 보였다.
• 더 세밀한 이미지 분할은 $ g $ 의 이미지에서 온 세포들을 그룹화하여 구성되며, 각 세포는 다면체 분해에서의 작은 세포에 대응한다.
• 더 세밀한 분할의 최대 차원 세포 수는 세포 다이어그램의 외곽 행과 열을 제거함으로써 $ \mathcal{A}_{m-2,n-2} $ 의 영역가 되며, 레이블링과 회전 대칭성에 따른 조합적 선택을 고려하여 유도된다.
• 수식 $ 2\binom{m}{2}\binom{n}{2} r_{m-2,n-2} $ 는 작은 세포의 수를 세어 얻었으며, 이는 상단과 하단 행에 대한 $ m(m-1) $ 가지의 선택과 왼쪽 및 오른쪽 열에 대한 $ n(n-1) $ 가지의 선택을 고려하고, 회전 대칭성을 보정하여 유도된다.
• 거친 분할은 생성 함수를 통해 분석되며, 큰 세포의 수에 대한 지수 생성함수는 $ \frac{1}{2}(xX + yY) + \frac{2XY + X^2(e^x - 1) + Y^2(e^y - 1)}{2(e^x + e^y - e^{x+y})} $ 로 유도되며, 여기서 $ X = x(e^y - y - 1) $, $ Y = y(e^x - x - 1) $ 이다.

실험 결과

연구 질문

• RQ1 트로피컬 사상 $ g $ 의 선형성 영역은 $ K_{m,n} $ 와 관련된 초평면 배치 $ \mathcal{A}_{m,n} $ 와 어떻게 관련되어 있는가?
• RQ2 사상 $ g $ 의 이미지의 구조는 어떠한가? 그리고 $ \mathcal{A}_{m,n} $ 의 영역들의 이미지는 이 이미지를 어떻게 분해하는가?
• RQ3 사상 $ g $ 의 이미지는 다면체 복합체로 분할될 수 있는가? 만약 가능하다면, 이러한 분할의 조합적 성질은 무엇인가?
• RQ4 사상 $ g $ 의 이미지에 대한 가장 세밀한 다면체 분할에서 최대 차원 세포의 수는 얼마이며, 이는 $ \mathcal{A}_{m-2,n-2} $ 의 영역 수와 어떻게 관련되어 있는가?
• RQ5 거친 분할에서 큰 세포의 수에 대한 생성함수는 무엇인가?

주요 결과

• 트로피컬 사상 $ g $ 의 이미지는 바르비노크 랭크가 2 이하인 $ m \times n $ 행렬의 집합이며, 이는 $ m \times n $ 행렬의 $ 3 \times 3 $ 소수의 이상으로 생성된 아이디얼의 트로피컬 다양체의 양의 부분이다.
• 더 세밀한 다면체 분할은 정확히 $ 2\binom{m}{2}\binom{n}{2} r_{m-2,n-2} $ 개의 최대 차원 세포를 갖는다. 여기서 $ r_{m-2,n-2} $ 는 초평면 배치 $ \mathcal{A}_{m-2,n-2} $ 의 영역 수이다.
• 더 세밀한 분할의 각 작은 세포는 유일한 $ \mathcal{A}_{m-2,n-2} $ 의 영역에 대응하며, 외곽 행과 열의 레이블링과 회전 대칭성을 고려한 추가적인 조합적 선택이 있다.
• 이미지의 일반적인 점의 원상은 $ \mathbb{R}^{2(m+n)} $ 에서 네 개의 두 차원 사분면으로 이루어져 있으며, 이는 네 차원의 다면체 복합체를 이룬다. 이는 $ 2m + 2n $ 에서 $ 2m + 2n - 4 $ 로 예상되는 차원 감소와 일치한다.
• 거친 분할의 이미지에 대한 생성함수는 $ \sum_{m,n \geq 0} \text{large}_{m,n} \frac{x^m}{m!} \frac{y^n}{n!} = \frac{1}{2}(xX + yY) + \frac{2XY + X^2(e^x - 1) + Y^2(e^y - 1)}{2(e^x + e^y - e^{x+y})} $ 로 기술되며, $ X = x(e^y - y - 1) $, $ Y = y(e^x - x - 1) $ 이다.
• 이미지의 일반적인 점의 섬유는 네 개의 원상으로 이루어져 있으며, 각 원상은 배치 $ \mathcal{A}_{m,n} $ 의 서로 다른 영역에 위치한다. 이러한 원상들은 $ \mathbb{R}^{2(m+n)} $ 에서 네 개의 두 차원 사분면을 이루며, 정점은 $ A_m $ 과 $ b_n $ 을 고정함으로써 결정된다.