[논문 리뷰] Arrangements Of Minors In The Positive Grassmannian And a Triangulation of The Hypersimplex

Miriam Farber, Yelena Mandelshtam|arXiv (Cornell University)|2015. 09. 08.

Advanced Combinatorial Mathematics참고 문헌 22인용 수 3

한 줄 요약

이 논문은 양의 그라스만이안에서 미니어들 간 등식과 부등식의 조합적 구조를 조사하며, t번째로 큰 미니어들의 배열을 이중 그래프 위의 새로운 큐브 거리에 기반한 초단체의 삼등분과 연결한다. 주요 기여는 t번째로 큰 미니어들이 큐브 거리에서 가장 큰 미니어들에 대해 반지름 $2^{t-1}$ 이내에 위치함을 보여주는 반지름 경계를 제시하는 것으로, 이는 미니어들의 부분순서집합(poset) 구조와 Lam-Postnikov 삼등분에서의 기하적 실현에 대한 함의를 지닌다.

ABSTRACT

The structure of zero and nonzero minors in the Grassmannian leads to rich combinatorics of matroids. In this paper, we investigate an even richer structure of possible equalities and inequalities between the minors in the positive Grassmannian. It was previously shown that arrangements of equal minors of largest value are in bijection with the simplices in a certain triangulation of the hypersimplex that was studied by Stanley, Sturmfels, Lam and Postnikov. Here we investigate the entire set of arrangements and its relations with this triangulation. First, we show that second largest minors correspond to the facets of the simplices. We then introduce the notion of cubical distance on the dual graph of the triangulation, and study its relations with the arrangement of t-th largest minors. Finally, we show that arrangements of largest minors induce a structure of partially ordered sets on the entire collection of minors. We use the Lam and Postnikov circuit triangulation of the hypersimplex to describe a 2-dimensional grid structure of this poset.

연구 동기 및 목표

• 가장 큰 미니어와 가장 작은 미니어의 경우 외에, 양의 그라스만이안 내에서 미니어들 간 등식과 부등식의 전체 조합적 구조를 이해하기 위해.
• Lam-Postnikov 초단체 삼등분의 단체와 가장 큰 미니어들의 배열 간 알려진 이항관계를 t번째로 큰 미니어들의 배열으로 확장하기 위해.
• 삼등분의 이중 그래프 위에 정의된 큐브 거리 $d_{ij}(x,y)$를 정의하고 분석하여 감소하는 크기의 미니어들의 공간 분포를 특성화하기 위해.
• 가장 큰 미니어들의 배열에 의해 유도되는 모든 미니어들 위의 부분순서집합(poset) 구조를 정의하고, 삼등분을 통해 2차원 격자 구조로 나타내기 위해.

제안 방법

• Lam-Postnikov 초단체 삼등분의 이중 그래프 위에, $x_i + \cdots + x_j = r$ 형태의 초평면 $H_{i,j,r}$ 를 기반으로 큐브 거리 $d_{ij}(x,y)$ 를 정의한다.
• 정렬된 집합과 미니어들의 $\epsilon_I$-좌표 개념을 사용하여 거리를 형식화하고, 이를 미니어의 조합적 성질과 연결한다.
• Skandera의 부등식과 정렬 연산 $\text{Sort}_1, \text{Sort}_2$ 를 사용하여, 수학적 귀납법을 통해 t번째로 큰 미니어들이 큐브 거리에서 가장 큰 미니어들의 집합을 중심으로 반지름 $2^{t-1}$ 이내에 위치함을 증명한다.
• Lam-Postnikov 초단체 삼등분의 회로 삼등분을 활용하여, 미니어들의 부분순서집합을 2차원 격자로 나타내는 방법을 기술한다.
• [FP15]의 정렬된 집합과 약한 분리에 관한 결과를 적용하여, 삼등분의 기하학적 구조와 미니어 배열의 조합론적 성질 간의 관계를 규명한다.
• 초평면 분리 조건을 사용하여, 한 미니어가 다른 미니어로부터 특정 거리 이내에 위치하는지를 정의함으로써, t번째로 큰 미니어들의 반지름 경계를 확보한다.

실험 결과

연구 질문

• RQ1 양의 그라스만이안 내에서 t번째로 큰 미니어들의 배열은 초단체의 삼등분과 어떻게 관련이 있는가?
• RQ2 감소하는 크기의 미니어들의 상대적 위치를 규정하는 기하학적 또는 조합적 구조는 무엇인가?
• RQ3 삼등분의 이중 그래프 위의 큐브 거리를 사용하여, t번째로 큰 미니어들의 위치를 가장 큰 미니어들에 대해 경계 지을 수 있는가?
• RQ4 가장 큰 미니어들의 배열에 의해 유도된 모든 미니어들의 부분순서집합 구조는 삼등분에서의 2차원 격자 구조를 어떻게 반영하는가?
• RQ5 큐브 거리에서 가장 큰 미니어들의 집합에 대해, 모든 t번째로 큰 미니어들이 위치할 수 있는 정확한 반지름은 얼마인가?

주요 결과

• 두 번째로 큰 미니어들은 Lam-Postnikov 초단체 삼등분의 단체들의 면들에 대응한다.
• 모든 t번째로 큰 미니어들은 큐브 거리에서 가장 큰 미니어들의 집합을 중심으로 반지름 $2^{t-1}$ 이내에 위치한다.
• 가장 큰 미니어들의 배열에 의해 유도된 모든 미니어들의 부분순서집합(poset)은 Lam-Postnikov 초단체 삼등분을 통해 2차원 격자로 실현된다.
• 큐브 거리 $d_{ij}(I,J)$ 가 1 이하로 bound되는 것은 집합 $I$와 $J$ 가 정렬되어 있을 때에만 성립하며, 이는 거리가 알려진 조합적 구조와 연결됨을 보여준다.
• 반지름 경계의 증명은 Skandera의 부등식과 정렬 연산 $\text{Sort}_1, \text{Sort}_2$ 가 미니어 좌표에 미치는 영향을 수학적 귀납법으로 반복 적용하여 이루어진다.
• 이 결과는 t번째로 큰 미니어들의 배열이 가장 큰 미니어들 주변의 유계 영역에 제한됨을 시사하며, 이 경계는 t에 대해 지수적으로 증가한다.